 h bigger than x?
False
Suppose -84*a + 40 = -86*a. Which is smaller: -25 or a?
-25
Let t be 2381600/(-1168) + (1 - 0/2). Let n = -2038 - t. Is n < -1?
False
Suppose 5*j - 48 = -4*n, -48 = -4*n - j - 0*j. Suppose -q - 2*q = -n. Suppose 8 + q = -2*c. Is c at least as big as -7?
True
Suppose -3*q - 60 = 4*y - 6*y, 5*q + 188 = 7*y. Which is greater: 249/11 or y?
y
Let p = 0.29 - -26.71. Let v = 34 - p. Which is bigger: -0.07 or v?
v
Let b be 0 + -1 + 36/24. Which is greater: b or -23?
b
Let j be (-12)/52 - 119/273. Let p = 26 + -16. Which is smaller: p or j?
j
Let n be 5052154/(-168)*5602/(-26). Let g = n + -6479432. Let b = -51/28 + g. Which is greater: 1 or b?
1
Let c = 11781 + -341685/29. Which is bigger: -1 or c?
-1
Suppose 0 = -3*v - 4*i + 25, 3*v - 2*i = 3*i - 11. Let n be -1 - v/6*-2. Is 6/5 <= n?
False
Suppose -3*l + 35 = 5*d, -6*l + 4*d = -2*l - 4. Suppose 0 = -4*f + 6*f + 2*z + 4, 0 = -l*z + 25. Is -11 >= f?
False
Let q(b) = b**2 - 4*b + 11. Let u be q(5). Suppose -u + 15 = d. Is d less than -1/28?
True
Suppose -2*g - 128 + 376 = 2*z, 0 = -5*g + 20. Is 120 greater than z?
False
Let t be -4*3/(-18)*6. Suppose 5*u + t*a = -42, 5*u - 3*u + 24 = -4*a. Is u > -36/5?
True
Let g(y) = -42*y - 1. Let p be g(-1). Let h = p - 28. Suppose -3*o = 4 - h. Which is smaller: 2 or o?
2
Let k = -1145 + 1142. Which is smaller: 10 or k?
k
Let o be -4 + -137 + 0/2. Are o and -141 nonequal?
False
Suppose 2*q - 16 = 4*d, d - 5*q + q = -18. Let b be -1*(3/1 + d). Let w be (-5)/30 + 68/(-168). Is w at most b?
False
Let v(a) = 287*a. Let z be v(-1). Let b = -97 - z. Let g be 144/b - 27/45. Is -1 equal to g?
False
Let m = -0.5 + 0.14. Let f = -2.64 + m. Which is greater: f or 1?
1
Let k = 126/65 - 4782/455. Suppose 0*u - 3*u - 27 = 0. Which is bigger: k or u?
k
Let y be (-122)/(-33) - (-6)/9. Suppose -3*z = 5*u - 0*u - 27, z = 3*u - 5. Is y at least u?
True
Let a(f) = -f - 43. Let z be a(-15). Let l = -21 - z. Is l at least 9?
False
Let b = 47 - 47. Suppose -5*d = -4*l - 17, -l = -2*l - 5*d + 27. Suppose 3*a + c + l*c - 9 = 0, -7 = 3*a - c. Is b at most as big as a?
False
Let x = 0.64 + -0.29. Which is smaller: 10/9 or x?
x
Suppose f + 0 - 5 = 0. Suppose -2*q = -0*q - 10. Suppose 0 + 6 = 3*p - 2*o, q*p - o = 10. Which is smaller: p or f?
p
Let g be 3254/(-120) - (-12)/(-90). Are g and -26 non-equal?
True
Let j(y) = -y**3 + 3*y**2 + 11*y - 5. Suppose 2*n - 9 = 3*z - 2, -n = -3*z - 2. Let t be j(n). Is -3 equal to t?
False
Suppose -1 = 11*f - 10*f. Let k be 1 + 0 + 1*f. Suppose -2*c - 6 = 4*o - 5*o, -2*c - 2*o = k. Which is smaller: 0 or c?
c
Let f(y) = y**3 - 9*y**2 + 10*y - 18. Suppose 0 = 6*k - 3*k - 24. Let j be f(k). Are 10 and j nonequal?
True
Let y = -0.243 - -15.343. Is -1/2 at most as big as y?
True
Suppose 0 = -489*r + 494*r - 5. Which is greater: 523/3 or r?
523/3
Let r = 38567749637351/56994 + -676698418. Let z be (-1655)/(-826) + (75 - 77). Let q = z - r. Which is smaller: 0 or q?
q
Let w = -86.3 + 101.3. Which is smaller: -13 or w?
-13
Suppose l + 4 = 0, -5*y + 5*l + 4 = -3*y. Let d(r) = -r**2 - 4*r - 7. Let i be d(-2). Let j be i/((-9)/(-22)) + (-1)/(-3). Is y > j?
False
Let x = 12 - 9. Let o be ((-15)/6)/(x/(-6)). Suppose o = -9*k + 4*k. Are -4 and k equal?
False
Let v(y) = y**2 - 2*y - 8. Let o be v(5). Suppose -2 = -6*j + 40. Is j at least as big as o?
True
Let x be (-2013)/44*76/(-330). Let q = -2/55 + x. Let d = q - 11. Are d and 0.04 nonequal?
True
Let z(k) = -k**2 + 1. Let b be z(0). Let h = 6/17 + 16/51. Let j = h - 1. Is j less than b?
True
Suppose 56 = -3*p + 5*t, 0 = 4*p - 2*t - 3*t + 83. Let f = 15 + p. Let m(s) = 9*s + 6. Let q be m(-2). Is q >= f?
True
Let a = 10 - 9.5. Let f = 585 + -1171/2. Is f equal to a?
False
Let r = 5.31 - 5.38. Is 19 less than r?
False
Let i be (-4)/(-14) + 48/28 - -147. Is 148 less than i?
True
Let j = -14 + 12. Let o be j/11 + (-97)/11. Let a be ((-2)/33)/((-3)/o). Are a and 1/4 nonequal?
True
Let c be (-912)/2030*-1 + (-8)/20. Which is smaller: c or -1?
-1
Let d = -5 - -5. Let s be (-3)/(-27) + (-812)/4959. Is s greater than d?
False
Let d = 69 - 73. Let z be d/6*4/((-96)/(-9)). Which is smaller: z or -0.5?
-0.5
Suppose -4*i + i + c + 851 = 0, 5*c + 550 = 2*i. Is 285 at most i?
True
Let w = -456 - -507. Which is smaller: w or 251/5?
251/5
Let x = -22 - -25. Suppose -41*g = -44*g + x. Which is greater: 0 or g?
g
Suppose -3 - 24 = -3*u. Let t = -7 + u. Suppose -3*f + 12 = -0*f + t*l, 20 = 5*f + 3*l. Which is greater: f or 5?
5
Suppose -5*h - 2*s + 18 = -4*s, -2*s = 4*h. Let r(c) = c**2 + 3*c + 1. Let f be r(-3). Suppose -h + f = -k. Is k not equal to 1/3?
True
Let t = -2156/129851 + -233788501/1208782959. Let b = 1/321 + t. Which is smaller: 1 or b?
b
Let k = 3.12 + -3.22. Is k greater than 59?
False
Let f(h) = h**2 + 18*h - 3. Let s(l) = -2*l**2 + 8*l + 6. Let b be s(6). Let p be f(b). Let o(k) = -k**3 - 3*k**2 + k. Let x be o(-3). Are x and p non-equal?
False
Let x = 59 + -26. Let u be (x/2)/(18/(-24)). Let l(r) = 16*r + 9. Let n be l(-2). Which is greater: u or n?
u
Suppose 5*o + 4*s = 3 + 1, o = 5*s + 24. Let a be ((-1)/o)/((-9)/72). Suppose 3*q = 5 - a. Which is smaller: q or 5/7?
5/7
Let c = 12598 - 7080073/562. Let a = c + 737/72498. Let l = a + 248/645. Is l >= 1?
False
Let p = -309 + 306. Is -58/19 less than or equal to p?
True
Let m(c) = -2*c**3 - 13*c**2 + 49*c + 23. Let k be m(-12). Which is smaller: k or 1017?
1017
Let m = -0.02 - -1.42. Let v = 1.6 - m. Let f = -0.1 + v. Which is greater: f or -3?
f
Let r be -3 + -14 + (-9 - -6). Is r less than or equal to -20?
True
Let g(a) = a**3 - 2*a**2 - 5*a + 4. Let l be g(3). Let h be (-3 - -2 - l) + 21. Let x be 2/(-7) - h/(-28). Which is smaller: x or 0?
0
Let v = -1.324 + 1.524. Is -49/4 at most as big as v?
True
Let m be 51/9 + 1/3. Let q(y) = -y**2 - 6 - y + 8 + 4 - 8*y. Let h be q(-9). Is h equal to m?
True
Let l be (4 - -7)*(-3)/1 + 3. Let z = 59 - l. Which is greater: 90 or z?
90
Let t = 0.06 + -0.007. Let d = t + -4.053. Is 0.04 greater than d?
True
Let i = 2035/553 - -14/79. Which is smaller: 4 or i?
i
Suppose -2*x = -3*i + 2 + 4, i = -5*x + 2. Is x less than 62?
True
Let q be (12/(-10))/(6/(-20)). Suppose -6*p - 2 = -q*p. Let w be ((-6)/(-3) - 1)*p. Is w less than or equal to 1/4?
True
Let p = -4/611 - 204673/1833. Which is smaller: -113 or p?
-113
Let i = -1/960 - 101/5440. Is 0.2 <= i?
False
Let w = 107/3 + -35. Let c = 79 - 73.7. Let h = c + -5.3. Which is smaller: h or w?
h
Let z = 32 - 46. Let o be z/(-46)*30/35. Is o equal to 0?
False
Let x be 3654/210 + -1 + (-16)/(-10). Which is bigger: 17 or x?
x
Let b be -1*12/7 - -2. Let y(n) be the first derivative of -n**2 + 5*n + 17. Let z be y(3). Is b less than z?
False
Let n = -6449/21 - -307. Let i(h) be the third derivative of h**4/12 - 3*h**3 + 25*h**2. Let u be i(9). Is u bigger than n?
True
Let n = 2 + -2. Let p = -182.95 + 183. Let d = p - n. Which is greater: 0.1 or d?
0.1
Let x(l) = l + 6 + 0 + 1. Let p be x(-9). Which is smaller: 1 or p?
p
Let h = 14.6 + -14.6. Which is smaller: 5.28 or h?
h
Let x = 213 + -1062/5. Which is smaller: -2 or x?
-2
Let q = -40 + 76. Let d = q - 33. Suppose 1 = i + 2*x, -i = -0*i - d*x - 6. Is i at most as big as 7?
True
Let v = 1003 + -1005.5. Does v = 5?
False
Suppose -2*l + 9 + 11 = 0. Suppose l = 2*x, -3*a - 2*x - 18 = a. Let r be 3 - (2*12)/2. Is a at most as big as r?
False
Let i be (1 + -2)*(2 + -9). Suppose 3*r + y - 3 = 0, 5*r - 2*y - 4 - 1 = 0. Which is smaller: r or i?
r
Suppose -4*b = -20, 3*b = 4*n - 0*b + 95. Suppose 89 = -3*t + 14. Let i = 6 + t. Is i equal to n?
False
Let r be (6 - -1)*(450/175 + -3). Let u = -4.7 - -5. Let i = -0.4 + u. Which is smaller: i or r?
r
Let k be 5/15 - 422/1932. Let s = -436/23 - -19. Let q = k - s. Is 1 less than q?
False
Suppose -55*m + 7770 = -6255. Are m and 256 unequal?
True
Let q = 4 + -5. Let v = -14 - -23. Which is bigger: v or q?
v
Let x = -35 + 32. Let j = -758/189 - -62/27. Is j less than or equal to x?
False
Suppose 0 = -264*s + 271*s + 189. Which is greater: -254/9 or s?
s
Suppose 9*x - 7*x = 0. Let s = 88 - 1495/17. Which is smaller: x or s?
x
Let g = 175 + -183. Do -22/3 and g have the same value?
False
Let a(h) = -2*h**3 - 28*h**2 + 68*h + 72. Let l be a(-16). Suppose 4*v - 3*v + u = 8, 5*v = -3*