 -0.6. Is z < t?
False
Suppose 0 = -2*k - 3*k + 5. Which is bigger: 4/19 or k?
k
Let c = 0 - 13. Let z = 1 + c. Let g = z + 9. Which is bigger: 0 or g?
0
Suppose 2*j - 25 = 3*v, -5*v = j - 0*j + 20. Suppose -j*x = -1 - 9. Suppose -2*o + x = 4. Is o at least -6/7?
False
Let o be 1 + (-6)/8 - 0. Suppose -67 = -j + 2*u, 3*j + 2*j = -u + 335. Let r = j + -66. Is r != o?
True
Let b(a) = 4*a - 36. Let v be b(10). Let i(p) = 3*p - 13. Let q be i(v). Do q and 4 have the same value?
False
Let r = 1.3 - -0.7. Are r and -0.007 nonequal?
True
Let f = -229832 - -51482539/224. Let k = f - -3/32. Suppose -8*r + 25 = 17. Are k and r unequal?
True
Let w = 2.4 - 50.4. Which is greater: w or -3?
-3
Let k be (-9)/(-12)*16/18. Let t = 10.01 - -5.99. Which is bigger: t or k?
t
Let u = 223 - 223.1. Is u at most 0.002?
True
Suppose 0 = 11*l + 24*l + 2975. Is -511/6 bigger than l?
False
Let p = -288937/12 + 24060. Let v = p - -77/4. Let x = -73 + 75. Are x and v equal?
False
Suppose 0 = -2*x + 4*x - 24. Let a = -51 + 59. Suppose -2*w + a = 0, x = -5*i + 4*w - 14. Which is smaller: -3 or i?
-3
Let i = -4 + 9. Let s be i/30 + (-2822)/(-16692). Let f = s + -3/107. Which is bigger: 0 or f?
f
Let t = -12757/20 + 638. Let c = 8 - 9. Which is smaller: t or c?
c
Let o(w) = w**2 + 4*w - 4. Let h be o(-6). Let p be (h/(-10))/((-14)/35). Suppose 1 = 3*r - p. Which is smaller: r or 7/5?
r
Let i be 4/6 + (-75)/126. Let l = 2.1 + -1.5. Let h = l - 0.6. Is h >= i?
False
Let h = -123 - -202. Let z = 56 - h. Which is smaller: z or -21?
z
Suppose -3*w - 24 = -4*u, -4*w = -6*w. Let q(k) = -6*k**2 - 9*k + 6. Let x be q(u). Let i be (-2)/3 - x/342. Is 1 less than or equal to i?
False
Let v be -3*3/(-18)*(-40)/230. Which is bigger: 0 or v?
0
Suppose 0 = -7*a + 1390 + 3636. Is 720 less than a?
False
Let h(n) = -3*n**2 + n - 11. Let x be h(8). Let g be (-45)/x*4/(-3). Is -1 smaller than g?
True
Let h be -4 + (-5 - 174/(-18)). Let c(p) = 3*p + 1. Let u be c(2). Suppose -u = 5*b + 2*v + 16, 0 = 2*b + 3*v + 18. Which is bigger: b or h?
h
Let p be 2/(-14) - (-1190)/13475. Is -1 != p?
True
Let d be -2*(5 - (-6)/5*-4). Which is bigger: 36/5 or d?
36/5
Let w be (-10)/25 - (-164)/10. Suppose -1 = 5*r - w, -o = -4*r + 10. Suppose 3*g + o = 5. Is g greater than 1/2?
True
Let m be 2*(26/(-4) + 7). Which is smaller: 3/4 or m?
3/4
Let g be ((-9)/(-4))/1*128/24. Suppose -5*i = -i + g. Is -5/2 >= i?
True
Let d(q) = -q**2 - 10*q + 44. Let i be d(-14). Let y be (-40)/5*6/i. Let b be ((-1)/2)/(3/(-6)). Which is bigger: b or y?
y
Let a be (-7)/(-56)*-1 + -5. Is -5 bigger than a?
True
Suppose 0 + 3 = l. Let c(n) = n**3 + 4*n**2 + 2*n - 1. Let f be c(-3). Let d = 0 + f. Which is smaller: l or d?
d
Suppose 29*o - 30*o - 2 = 0. Let g be (-85)/150 - o/12. Which is smaller: -4.3 or g?
-4.3
Let a = 71.3 - 93.3. Which is smaller: 0 or a?
a
Let b(h) = h**3 + 9*h**2 + 15*h + 13. Let g be b(-8). Is -44 > g?
False
Let h be ((-112)/80)/(4/(-120)). Which is smaller: h or 45?
h
Let y be 3 + -5 + 5 + 1. Let p be (-10)/4*(y + -2). Suppose 2*v = 2, -8 = 5*g - 2*g + 4*v. Which is smaller: g or p?
p
Suppose g - 7 = -r, 3*r - 17 = -3*g + 2*g. Suppose 0 = -m + r - 0. Suppose 4*l = -l - m. Which is smaller: 1/7 or l?
l
Let x be 96/(-15)*((-14)/4 - -1). Suppose 11*j - 6 = x. Is 2 less than j?
False
Let l = -65.9 + 66. Let y = 2 + 16. Let w = -10 + y. Which is smaller: w or l?
l
Let k = 3 - 3. Let x = 23 + -22. Let d = x + -1. Is d greater than k?
False
Suppose 3*u - 71 = b - 240, 61 = -u - 2*b. Are -396/7 and u equal?
False
Let v(f) = -41*f**3 - f**2. Let k be v(-1). Let z be (-10)/(-15) - k/57. Let r(l) = 4*l - 12. Let m be r(3). Which is smaller: m or z?
z
Suppose -m + 25 + 50 = -2*w, -4*w - 369 = -5*m. Is m > 74?
False
Let r be (12/406)/((-80)/(-35)). Which is bigger: r or 1?
1
Let z be (24/15)/(10/25). Let l be (7/56)/((-1)/(-2)). Is z < l?
False
Let u = -19/125 - 17818/375. Let q be -12*-4*(1 - 2). Let n = q - u. Which is smaller: n or 1?
n
Let d = 26924/885 + -1260/59. Which is bigger: d or 8?
d
Let t = -213 + 192. Suppose -2*l = 2*o + 34, 3*l - 3*o + 60 = -9. Which is greater: l or t?
l
Let u(c) = -c**3 + 17*c**2 + 2*c - 44. Let p be u(17). Let m be 7348/110 - (-8)/p. Which is greater: m or 65?
m
Let f = -527 - -526. Which is smaller: f or 8/37?
f
Suppose -2*z = -298 + 78. Let l = z - 151. Are -42 and l unequal?
True
Let h = -60 + 59.69. Let q = -0.36 - h. Is 2 < q?
False
Suppose 2*x + f = 5 + 5, -8 = -2*f. Let d = x - 4. Let p be (-1)/(2 + d) + 0. Is 0 less than p?
False
Let w(d) be the third derivative of d**5/60 - d**4/24 - 5*d**2. Let r(a) = 6*a**2 + 3*a + 6. Let p(l) = -r(l) + 5*w(l). Let s be p(-7). Are s and 7 unequal?
True
Let p be (-70)/(-9) + (-12)/(-54). Suppose 0 = -p*x + 4*x + 52. Let c = -83 - -96. Is c less than or equal to x?
True
Let u be (2 - 9)*5/(-5). Let r = 35 - 30. Which is smaller: r or u?
r
Let d = -157 + 159. Let n = 4 - 1. Let j = n - d. Which is smaller: j or 4?
j
Let y = 23 - -4. Let x = y + -17. Let t = x - 10. Is 2 not equal to t?
True
Let h(v) = 6*v - 265. Let k be h(44). Let o be (-3)/15 + (-72)/(-110). Which is smaller: k or o?
k
Let z(n) = n - 8. Let v be z(12). Let y be (-1)/22 - (4/v + -1). Is -0.1 at most y?
True
Let x be ((-18)/1)/(-6) + 5. Let d(h) = -h**3 + 9*h**2 - 6*h - 16. Let c be d(x). Which is bigger: 31 or c?
31
Suppose -6*n = -2*n + 208. Let z be (n/12 - -4)*-3. Which is smaller: z or 2/47?
2/47
Let t(m) = 7*m + 16. Let h be t(-12). Let c be (-4 - h/20) + (-2)/5. Which is bigger: c or -5/3?
c
Let o be 182/(-260)*8/(-1022). Is 1 less than o?
False
Let p be 415/104 + 60/(-15). Is 0 >= p?
True
Let p(f) = f**3 - 23*f**2 - 55*f + 147. Let n be p(25). Is n > 27?
False
Let k(n) = 20*n + 117. Let z be k(-6). Let f be (3/14)/((-3)/52). Which is smaller: f or z?
f
Suppose z = -5 + 7. Suppose 0*v + v = -z. Let x = -235 + 698/3. Does v = x?
False
Let f be (-12)/21*(-14)/(-4). Let l be f/((-1)/(-3) - 1). Suppose -3*o = 2*k - 0*k + 5, -l*k + 1 = -4*o. Is 2/9 smaller than o?
False
Let d = 615 + -671. Which is greater: d or -58?
d
Let g(b) be the third derivative of -b**6/120 + 7*b**5/30 + b**4/24 - 19*b**3/6 - 12*b**2. Let o be g(14). Which is smaller: -6 or o?
-6
Let k = 160 - 143. Which is smaller: k or 13?
13
Suppose 2*t = 13*t - 198. Does 14 = t?
False
Let c(r) be the first derivative of r**4/4 - 4*r**3/3 - r**2/2 + 5*r + 12. Let u be c(4). Is u less than or equal to 3/8?
False
Let l(j) = -33*j**3 + 3*j**2 - 3*j + 1. Let f be l(1). Let a = f - -36. Is a at most 7?
True
Let a(x) = 2*x**2 - 5*x + 2. Let r be a(3). Suppose r*l - 8 = 7. Let y(g) = 3*g**2 - 16*g - 137. Let c be y(10). Is c < l?
False
Let w = -6 + -16. Let m = -25 - w. Is -1 less than m?
False
Let s = 18 - 14. Suppose -4*x = 4*l, s*l + 8 = 4*x + 6*l. Let u be -2 + (x - 3) - -4. Are u and 3 non-equal?
False
Let u = -11394 + 307718/27. Is u at most 4?
True
Suppose 0 = -k + 4*q - 207, 803 + 280 = -5*k + 4*q. Does -218 = k?
False
Let x = -883/21 + 42. Let q = -0.217 + 1.217. Is q at least x?
True
Let n = -10/329 + 4856/8225. Which is smaller: n or 1?
n
Suppose 0*l = -5*l + 540. Let x = l - 977/9. Which is bigger: -2 or x?
x
Let x = -86910943/894 - -97216. Let v = x - 2/149. Which is greater: -5 or v?
v
Let y = -199.6 + 200. Are y and 6 nonequal?
True
Let d be (-49 - 1)/(8/(-20)). Suppose 0 = -19*l + 14*l + d. Let p be 5/15*(l - 1). Is p at least as big as 6?
True
Let c = 0.62 - 18.62. Let u = 0.5 - 19.5. Let m = u - c. Which is smaller: m or -4?
-4
Suppose t + 1 - 2 = 0. Let q = t + -6. Let p be (32/(-104))/((-4)/26). Is q greater than or equal to p?
False
Suppose 7 = -c + 8. Suppose -b + 0*u - 2*u = -2, -2*b + u = c. Are b and -1/62 equal?
False
Suppose -14*j + 36 = 22*j. Which is smaller: j or 3/40?
3/40
Let g(n) = 5*n. Let l be g(1). Suppose -4 = 4*k - 3*y + 11, -l = -y. Suppose -5*v - 5 = -k*v. Which is bigger: 3/11 or v?
3/11
Let h = 590 - 8261/14. Suppose -w - 15 + 3 = -5*d, 0 = -5*d - 4*w + 27. Suppose 0 = 2*s + 3*r + 5, -d*s + 2*r - 6 = 5*r. Is s > h?
False
Let i(q) = -2*q + 9. Let h be i(9). Let d be (-3 + 1)*22/4. Let p be 90/d + (-2)/(-11). Is p > h?
True
Let r = 18 + 55. Which is greater: r or 0?
r
Suppose 10 = -2*p, -z - 3*p = -2*z + 12. Let g be (3 + -158)*1/z. Let f = g + -51. Which is greater: 1 or f?
1
Suppose 