 c?
False
Suppose -i + x = 2, 0 = 10*i - 12*i - 4*x + 2. Let q be (2/(-58))/(4 + -3). Is q <= i?
False
Let z(k) = k**2 - 5*k. Let c be z(-6). Let s be (2/3)/(8/c). Let h be 12/(-9) - 418/(-57). Which is bigger: h or s?
h
Suppose 2*c - 3*g + 24 = 3*c, 3*g - 24 = 0. Let b = -2 + 2.3. Is c less than or equal to b?
True
Let x(h) = 2*h**2 - 4*h - 4. Let p be x(3). Suppose 9 = p*r - 5*r. Which is smaller: r or -1?
r
Suppose 3*s + 5*k - 3 = 0, -3*s + 4*k - 18 = -8*s. Let t(c) = 4*c - 18. Let j be t(s). Is 19/3 smaller than j?
False
Let u(t) be the third derivative of t**5/60 + 13*t**4/24 + 13*t**3/6 + 2*t**2. Let c be u(-12). Is c greater than or equal to 8/11?
True
Suppose 18 = 3*f - 6*f. Let o be (f/(-4))/((63/582)/7). Is 97 < o?
False
Let u = -5.1 + 5. Let w = u + 0.2. Let h = -0.1 + -2.9. Is w greater than h?
True
Let v be (2/(-4))/((-3)/(-6))*-34. Which is bigger: 39 or v?
39
Let d = -17.94 + -0.06. Let k = -1.0273 - -0.0273. Which is greater: k or d?
k
Suppose 5*x + 6*r - 166 = 3*r, 3*x - 120 = 5*r. Is x bigger than -4?
True
Let z(x) = -8*x + 1 + 54*x**2 + 11 - 55*x**2. Suppose 11*j = 10*j - 9. Let r be z(j). Are 2 and r equal?
False
Let k be (0 - 2)/(16/((-48)/(-6))). Which is smaller: k or -719?
-719
Let g(y) = 6*y - 26. Let j be g(6). Which is bigger: j or 2?
j
Suppose 4*y + y = 5. Let m(i) = -7*i**3 + i**2 + 5*i + 10. Let z(g) = 3*g**3 - 3*g - 5. Let u(n) = 2*m(n) + 5*z(n). Let f be u(-3). Is f less than y?
False
Let c = 8 + 1. Let f = 15/2 - c. Let y = -7/6 - f. Do 0 and y have the same value?
False
Let v = -19 - -20.1. Let p = -0.1 + v. Is p != -26?
True
Let c be 2/(-3) - (-47)/75. Let r be -2 - ((-22)/18 + (-86)/(-387)). Is c not equal to r?
True
Let x be (-3)/6*0 - 1. Let i be ((-14)/4)/(x/(-2)). Let l be (-8)/(-14) + (-3)/i. Are l and 3 non-equal?
True
Let u(g) be the third derivative of -g**6/120 - g**5/60 - g**4/8 - 5*g**3/6 - 20*g**2. Let m be u(-2). Let y = 0.02 + -4.02. Is m equal to y?
False
Suppose -13 + 9 = -z. Let g be (3/2)/(14/z). Which is smaller: g or 1?
g
Let x(m) be the third derivative of -m**4/12 - 2*m**3/3 + 2*m**2. Let k be x(-8). Suppose -2*r = 4 + k. Which is bigger: r or -1?
-1
Let u = -465785/229 - -2034. Which is greater: -1 or u?
u
Let i be 16/4*3/4. Suppose i*k = -c + 18, 4*k - k - 2*c = 9. Which is smaller: 8 or k?
k
Suppose 552 - 442 = -10*j. Is j <= -7?
True
Let l = 291 - 76. Which is smaller: l or -0.2?
-0.2
Let a be (1 - (-9)/(-15))/(-1). Is a <= -463?
False
Suppose 0 = -4*f + 2*f + 6. Let a = f - 3. Suppose -4*c + 20 = -o, 0 = -3*o - 2*c - a*c + 10. Which is greater: 1/6 or o?
1/6
Suppose 0 = -5*x - k - 445, x + 109 - 24 = -k. Let h be 214/9 - 20/x. Suppose r - 3*i - 2*i = -h, 3*r + 32 = -5*i. Which is smaller: r or -13?
r
Let w = -977/93 + -5/31. Let f = 11 + w. Does 0 = f?
False
Let t = -3.325 - -3.15. Which is greater: 0 or t?
0
Suppose 122 = -3*f + 4*d, 5*f + 5*d = d - 182. Let w = f - -40. Is w > 0?
True
Let d(j) = 4*j**2 + 3*j - 2. Let k(h) = 2*h - 10. Let l be k(9). Suppose -2*a - l = 2*a. Let f be d(a). Is f at most as big as 8?
True
Let y = 291 - 320. Which is smaller: -1/2 or y?
y
Suppose -4 = l + 3. Suppose -3*t = 5*r, 4*r = -2*t + 5*r. Let j = l + t. Does -2 = j?
False
Let u = 17 - 14. Let g(z) = 3*z + 11. Let y(b) = 2*b + 5. Let m(p) = u*g(p) - 5*y(p). Let v be m(7). Is v >= 1?
True
Let a(r) = 14 - 46*r**3 + 47*r**3 + 3*r**2 - 3*r**2 - r. Let v be a(0). Let w = 17 - v. Is w at most 3?
True
Let g = -0.719 - -55.719. Which is bigger: 0 or g?
g
Let j = 4.44 + -4.49. Is 7 >= j?
True
Suppose 3*n = 2*t - 17, 5 = 3*n + 5*t - 6. Let u be n*4*(-1)/(-2). Do u and -7 have the same value?
False
Let v = -4.49 - -5.49. Is 0.22 < v?
True
Let t(s) = -s**2 + 8*s - 2. Let r be t(10). Let j be 14/(-63) + r/(-18). Let k be 12/76*4/6. Which is smaller: j or k?
k
Let h = 73362/5 + -519924/35. Let y = h + 183. Which is smaller: -0.4 or y?
-0.4
Let g = 165 + -171. Let l = -0.3 + 0.4. Let a = 0.9 + l. Which is smaller: g or a?
g
Suppose p + 11 - 23 = 0. Let l be ((-4)/(-120))/(p/(-32)). Which is smaller: l or 0?
l
Let i = 149.27 - 149. Is i > -8?
True
Let k = -2064/181381 + 2659207400/205504673. Let w = k - 142/11. Is w greater than 0?
True
Let j(t) = -6*t - 6. Let m(k) = 5*k + 5. Suppose -5*r - 3*f - 14 = -6*f, 10 = -2*r - f. Let y(a) = r*m(a) - 3*j(a). Let n be y(0). Is -1 at most n?
False
Let v be -7 + 4 + 5*(-655)/(-250). Which is smaller: 9 or v?
9
Suppose 8*o = 76 + 68. Let t be (-16)/(-12)*(-6)/(-4). Suppose c - 6*n = -n + 5, -t*c + 3*n = o. Which is smaller: 1 or c?
c
Let x be (20/3)/((-5)/(-15)). Suppose -2*d = 2*d - x. Suppose 4 = -3*u - d*z, 0 = 4*u - 3*z + 6*z + 9. Is 0 greater than or equal to u?
True
Let v = -215 + 313. Is 98 <= v?
True
Let w = 1949 - 9766/5. Is w greater than or equal to -0.6?
False
Let v = 249 - 254.95. Let c = v + 6. Which is bigger: 0.1 or c?
0.1
Let u be (-214)/30 - (-14)/105. Let w = -7 - u. Suppose w*o + o - 3 = 0. Which is smaller: o or 5?
o
Suppose -45*o - 2142 = -59*o. Is o <= 153?
True
Let p(d) = -d**2 - 6*d - 17. Let r be p(-4). Suppose -3*b = -3*i + 12, -5*b + 4*i - 8 = 5*i. Let c be ((-1)/(-3))/(b/6). Which is bigger: c or r?
c
Let v = -8901/4 - -2237. Which is greater: 12 or v?
12
Let i(x) = x**3 + 8*x**2 - 47*x + 9. Let o be i(-14). Is o <= -510?
False
Suppose -4*y - 528 = -0*y. Which is greater: y or -131?
-131
Let d(a) = 5 - 17*a + 2 - 18*a**2 - a**3 + 60*a**2 - 32*a**2. Let v be d(8). Which is smaller: v or 8?
v
Let r = 122 + -122. Let f = -30.17 - -30. Which is smaller: f or r?
f
Let c = -1/1164 - 3431/71004. Do c and -1 have the same value?
False
Let z = -973 - -1893/2. Let b be (22 - -2)*1 + 3. Let q = b + z. Which is smaller: q or -0.5?
-0.5
Let v = 16 + -26. Let w be (-164)/v + (-8)/20. Let g be (w/24)/((-4)/(-6)). Is g less than 2/53?
False
Let a = -126 + 125.49. Let s = a + -1.49. Does -12 = s?
False
Let f be ((-1)/(-1))/(-2) + 460/(-8). Are -55 and f nonequal?
True
Suppose -73 = t + 4*u, -t - 89 = -4*u - 16. Is -78 < t?
True
Suppose -o - 3 = -5. Suppose -34 = -4*n - o. Suppose -z = -4*t + z + 20, 5*t - 51 = -4*z. Does n = t?
False
Let p(h) = -h - 2. Let s be p(-6). Let v(m) = 3*m - 2. Let j be v(s). Suppose 4*t + 868*o - 870*o = 50, 4*t + 5*o + 13 = 0. Which is greater: j or t?
j
Suppose -6 = -s - 2. Suppose 6*l - l + 24 = j, 0 = 2*j + s*l + 8. Suppose 0*c - 4*c + 5*z + 5 = 0, j = -4*c - 4*z. Is -4/5 bigger than c?
False
Let h = 158 + -130. Suppose -i - n = -2*i + 41, 3*i = -n + 115. Let y = i - h. Are y and 11 nonequal?
False
Let k be -5 + (34624/(-17304) - -7). Is k > -1?
True
Let c = -8 - -1. Suppose 3*z + 2*z = -55. Let v be z + (-1 - -1) - (-5 - -2). Is v less than or equal to c?
True
Suppose 0 = 3*j - 3*d + 270, -5*d - 9 = j + 105. Are j and -94 equal?
True
Let w(o) = o**2 + 7*o - 10. Let p be w(-7). Let y be (p/2 - -3)/(-2). Suppose -2*z + y = -3*z. Does z = 2/9?
False
Let o = 3.8 + -44.8. Let r = -37.8 - o. Let h = 3 - r. Which is greater: -1 or h?
h
Suppose -p + 5*s + 3 - 33 = 0, 3*s = 15. Let i be 3/6*-2 - (3 + p). Which is bigger: i or -1/88?
i
Let l = -89403253/58621 + 768530056191197/503914674666. Let p = -2/22503 + l. Let t = p + 2197/7258. Which is greater: 1 or t?
1
Suppose 11 = 4*l - 5. Suppose s - 4*f + 10 = 0, l*f + 80 = -3*s - s. Let t = s - -19. Is -1/24 smaller than t?
True
Let c = 71/252 - 2/63. Suppose -5*z - 35 = 4*j, -j - 6 = -1. Let u be 7 + z + (-3)/1. Which is bigger: c or u?
u
Let l(x) = -x**3 - x + 1. Let b be l(0). Suppose -5*u + 4*p = 208, -2*u = -7*u + p - 217. Let v be (-4)/(u - 0)*b. Is 2/5 at most as big as v?
False
Let z be -2 + (-3 - -4)*-6. Let h be (-2 - 24/(-9))/(z/12). Is -24/13 bigger than h?
False
Let h be (1 + 2)*6/78. Let d = h - 5/26. Suppose 0 + 16 = 16*a. Is a greater than d?
True
Let b = -7/5 + 11/15. Are b and -59 non-equal?
True
Suppose -3 = 3*w + 6. Let s be (w/(-6))/((-1)/(-26)). Suppose -c - 4*q = -s, -5*c - 2*q - q - 3 = 0. Is -4 > c?
False
Let l = 390 + -1956/5. Let q = -7/15 + l. Which is bigger: q or -1?
-1
Suppose -12*c + 19*c - 28 = 0. Suppose 8 - 5 = -3*o. Which is smaller: c or o?
o
Let w = -3172 + 15902/5. Let t be ((-28)/(-6))/((-2)/(-3)). Which is smaller: t or w?
t
Let m = -41.2 + 54.2. Is m > 16?
False
Let v be (-105)/3*3*(-48)/180. Which is bigger: 38 or v?
38
Let g be 80/(-50)*(-75)/(