h is greater: 0.01 or o?
o
Suppose -4*j + 3*n = -185, -2*j = -0*j - 2*n - 94. Let p = j - 45. Let t be 1*2*(-2)/18. Is t less than or equal to p?
False
Let p be (-11316)/(-56)*(-2)/(-3). Let c = p - 136. Which is greater: 0 or c?
0
Let j = -50 - -105. Let g = j + -54. Which is smaller: g or 1/3?
1/3
Suppose 0*j = 4*j. Suppose j = 4*g - 3*g + 4*b - 6, -3*g - b = 15. Suppose -5*r + z = 38, -40 = -3251*r + 3255*r - 4*z. Do r and g have the same value?
False
Let j be -4298174 - (1 - (-9)/3). Let k = 6288234691/1463 + j. Let y = k - 1/133. Which is bigger: 2 or y?
2
Let y = -19.77 + 19.37. Let s = 6 - 12. Which is bigger: y or s?
y
Let o = -26 - -26.3. Let x = -0.4 + o. Is x less than or equal to 0.2?
True
Let n = -285986/5355 - -908/17. Which is greater: -1 or n?
n
Let a be 153260/3201 - 6/11. Which is bigger: a or 48?
48
Suppose 2*d + 29 - 7 = 0. Let m = -4 + -8. Which is greater: d or m?
d
Let h be (-126)/(-336) + (-33)/24. Is h less than 0.1026?
True
Let r be (-15)/25 + (-444)/453. Let l = r - 3/151. Is l smaller than -2?
False
Let l = -4.9 - 0.1. Let a = 86 - 92. Let s = a - l. Which is smaller: -2 or s?
-2
Let i = 857 + -856.9. Does i = 0.021?
False
Let a(q) = -q**2 + 6*q + 3. Let t be a(6). Let d be t*(-2)/(-6) - -4. Let z be (-2)/6*(-15)/d. Is z < -2/11?
False
Let r be (-1)/(0 - 10/6). Let z(d) be the third derivative of -5*d**4/24 + 16*d**3/3 + d**2 + 34*d. Let m be z(6). Which is bigger: m or r?
m
Let c(x) = -x**3 + 2*x**2 + 1. Let k be c(2). Let m be 10/25*(13/(-14) + k). Which is smaller: m or -1?
-1
Suppose v - 70 = -63. Suppose 2*g + v - 5 = 0. Is g < -1?
False
Let z = -109/24 + 5/24. Which is smaller: -5 or z?
-5
Let v = 776 + -784. Which is bigger: -0.29 or v?
-0.29
Let k be ((-260)/1976)/(2/(-36)). Is 3 less than k?
False
Suppose -4*l - 20 = 0, 17*f + 855 = 22*f + l. Which is smaller: 176 or f?
f
Let j be -78 - 0 - 2/(-2). Let w(o) = o**2 + 20*o - 707. Let x be w(17). Which is smaller: j or x?
x
Let i = -19 + 21. Let d be (-9)/(-3) + (0 - i). Is 0.2 <= d?
True
Suppose -407 = -u + 1026. Is u at most 1433?
True
Let o = 2 - 2. Let l = -3627/11504 + 2/719. Which is greater: l or o?
o
Let m(a) = 2*a + 147. Let k be m(16). Which is smaller: k or 182?
k
Let a = -92.3 + 90. Which is greater: a or 1?
1
Let i(p) = -2*p - 13. Suppose -7*z = -3*z + 32. Let c be i(z). Let s = 1 + -1. Which is smaller: s or c?
s
Let g be 2/(160/75)*(-6)/(-9). Is g greater than 0?
True
Let f be -1*(-1)/2*6. Let x = -86 + 65. Let s = 26 + x. Is f not equal to s?
True
Let x be -3 - (33/(-12) + 3). Let b = 103/28 + x. Is 0 bigger than b?
False
Suppose 0*o = -6*o - 528. Which is smaller: -86 or o?
o
Suppose -18*y - 2 + 236 = 0. Which is smaller: 15 or y?
y
Let m = -246 + 272. Which is greater: m or 4?
m
Let i(m) = -m + 1. Let n be i(0). Suppose 3*r - 3*h = -210, 0*h - 2*h + 73 = -r. Let p be r/(-69) + -1*1. Do p and n have the same value?
False
Suppose b + 4 = -0, -4*b - 24 = -4*w. Suppose -6 = -5*q + 3*q, 2*q + 58 = -w*o. Is o < -31?
True
Let j be (-1 + -1)*246/164. Suppose 4*l - 9 + 3 = 2*f, -3*f + 9 = 3*l. Is f less than or equal to j?
False
Let j = -2 - 7. Let l = -671 + 662. Is l less than j?
False
Let j = 43.8831 - -0.1169. Is 0.6 greater than j?
False
Let x be 1 + -1 - (-384)/(-256). Which is bigger: -0.051 or x?
-0.051
Let x = 369 + -200. Which is smaller: x or 170?
x
Let s = -286 - -398. Which is smaller: 114 or s?
s
Let m be (-11)/3 + (1 - (4 + -5)). Let f = -0.08 + 2.08. Let k = f - 1.9. Is k bigger than m?
True
Let b = 0.298 - -35.702. Is b less than -1?
False
Let n be -1 - (-3 + (-4 - -1)). Suppose -3*g + q + 18 = -0*g, -n*q = -g + 20. Suppose 0 = -2*i - r - 1, -g*i = -4*i + r. Is i less than or equal to 3/8?
True
Suppose z - 2*i = -7, 0*i - 2 = -4*z - 2*i. Let u be z/4 + (-981)/(-36). Suppose -u = -5*m - 3*l, -6*l + 19 = 4*m - l. Which is bigger: m or 8?
8
Let k be ((-14)/(-6))/(-7)*0/4. Let q = 1/40 - 73/1320. Is q smaller than k?
True
Suppose 4*l = 5*f + 238, -f = 2*f - l + 140. Let k = f - -24. Is -21 < k?
False
Let r be (-30)/15 - ((-277)/(-4) + 0). Let l = r + 71. Let i = -1.96 + 2. Is i at least as big as l?
True
Let k = -0.59186 + -0.00814. Let s = -18 - -13. Which is greater: s or k?
k
Let f(g) = -g**3. Let r be f(0). Suppose 2*v = 8, 0 = -5*i + 4*v - r*v - 126. Is i < -22?
False
Let v be (-20)/(-12)*(-12231)/(-135). Which is smaller: v or 153?
v
Let y be 3249/69 - -3 - 3. Let q = y - 47. Suppose -4*o = -0*o + 4. Which is bigger: q or o?
q
Suppose 42*x - 31*x + 242 = 0. Suppose 4*f + 74 = 2*i - 18, -5*f = 5*i + 85. Which is smaller: f or x?
x
Let h = 3.39 - 25.39. Let i be 3/2*12/(-27). Which is bigger: i or h?
i
Let p = -2448 + 2435. Are p and -6 unequal?
True
Let q = -5 - -9. Let u(y) = 2 + 6*y**2 - 3*y**2 - 9*y + 7 - q*y**2. Let f be u(-10). Are -2/15 and f equal?
False
Let z be -3 - -3 - (-3)/(-1). Suppose 3*b + 42 = 5*b. Let m be (-6)/b - 26/7. Which is smaller: m or z?
m
Suppose -2 = 3*j - 20. Let k be j/36 - (-1037)/(-264). Let w = 33/8 + k. Which is greater: 1 or w?
1
Let v = 362 + -509. Is -147 bigger than v?
False
Let u = -70.6 + 60. Let a = -41.6 - -43. Let l = u - a. Which is greater: l or -1?
-1
Suppose 4*y + 4*p - 28 = 0, -3*y - 4*p - 2 = -21. Suppose -20 = 10*a - 12*a. Is a at least as big as y?
True
Suppose 2*x - 7 = -19. Let r(m) = -5*m - 7. Let q(y) = -14*y - 20. Let c(p) = x*q(p) + 17*r(p). Let h be c(-3). Is h less than or equal to 4?
True
Let w(p) = -5*p**2 + 4*p + 4*p**2 - 23 + 4*p**2 - 2*p**2. Let x be w(-7). Which is smaller: x or -4?
-4
Let r(w) = w**3 + 16*w**2 - 17*w + 12. Let x be r(-17). Let n = -48 - -20. Let h = -16 - n. Is x less than or equal to h?
True
Let g(j) = -j - 26. Let a be g(-17). Let t = -32 + 25. Is t less than or equal to a?
False
Let v(t) = t**3 - 5*t**2 + 8*t + 6. Let g be v(6). Let a = 58 + -58. Suppose 7*f - f + g = a. Which is smaller: f or -1?
f
Let f(d) = d**2 - 5*d - 6. Let p be f(6). Let r = -1/3 + -1/3. Is p less than r?
False
Suppose -5*b - 2*j = -0*b + 15, 16 = -b - 3*j. Let c = b - 0. Is 3/11 >= c?
True
Let c = 188 + -192. Let o be ((-87)/21)/(-1 - -2). Which is smaller: c or o?
o
Let q be -4 - (2/(-1) - 4). Suppose -q = -s + 3*s. Let f = -5 + 0. Are s and f unequal?
True
Let f = -9 + 8.4. Let n = -3.2 + 2.5. Let o = f - n. Which is greater: 7 or o?
7
Let q = 71 - 31. Let d be (-2 - 0) + (q/9)/1. Let c(t) = -t**2 + 7*t - 5. Let o be c(6). Is d > o?
True
Let l be (-58)/435 + 844/30. Are 24 and l non-equal?
True
Let m = 0.0803 - -0.0197. Is m at least -0.067?
True
Let b be (-4)/((-24)/(-39))*32. Let y be b/65*(8 - -2). Let o = y + 32. Which is smaller: -3/14 or o?
-3/14
Let c = -1367 - -1361. Which is smaller: c or -58?
-58
Suppose 3*l + 40 = 13*l. Suppose 3*g - 2 = -2*m + l*g, 4*m = -3*g - 16. Is m at least 3/76?
False
Let w = 7868 + -487805/62. Is 0 less than w?
True
Let l(g) be the first derivative of -g**2 - g + 3. Let p be l(-5). Let m = 484 - 476. Is p less than or equal to m?
False
Let u = 41 - 7. Which is greater: 33 or u?
u
Let k(q) = 15*q + 53. Let n(y) = 7*y + 26. Let h(c) = 3*k(c) - 7*n(c). Let x be h(-7). Which is greater: 6 or x?
6
Suppose 61*y - 55*y + 6 = 0. Is 3/41 at most as big as y?
False
Suppose -4*a - 51 = 4*o - 19, a + 11 = -2*o. Let c be 0/(-2) + o + 1 - 13. Are c and -16 nonequal?
True
Let q = -1761/2 - -22881/26. Suppose -3*w + 7 + 2 = 0. Suppose -w*z = -z. Which is smaller: z or q?
q
Let i(p) = p**2 + 16*p + 60. Let j be i(-10). Is j <= 7/65?
True
Suppose 6*y - 4*y + 6 = 0, 0 = 2*p + y + 75. Let b be 4 + 4 + 272/p. Let d be ((-2)/(-6))/((-1)/(-3)). Which is smaller: d or b?
b
Suppose 3*d - j + 0*j - 15 = 0, -5*d + 3*j = -25. Suppose d*f - 48 = 7. Is f > 12?
False
Let q(y) be the first derivative of -y**3/3 - 3*y**2/2 + 2*y - 3. Let k be q(-4). Are 10 and k unequal?
True
Let u = -27484168/1015 - -27078. Do u and 0 have different values?
True
Let d(h) = -7*h - 222. Let n be d(-31). Is n >= 41?
False
Let r = 234 + -237. Suppose 5*m - 29 = 4*o, -2*m + 11 = -2*o - 1. Let a be (1/(-7))/(m/60). Are r and a nonequal?
True
Let l be 10/9*42/196. Is 0 greater than or equal to l?
False
Let y = -3.3 + 0.3. Let f = 0.71 + -3.71. Let x = y - f. Which is bigger: x or 4?
4
Suppose -14*l + 0*l - 2604 = 0. Let o = l - -184. Let t = -7279/11 + 661. Is o less than t?
True
Let l b