65?
False
Let m be (1/5)/(416/(-240)). Is m equal to -1?
False
Let h = -1426 + 144025/101. Which is smaller: h or -1?
-1
Suppose 3*i - 2*h - 5 = 6*i, 0 = -i + 4*h + 3. Let f(g) = g**3 - 2*g**2 + g + 3. Let q be f(i). Is q > -3?
True
Suppose 2*b = 2*n + 50 + 74, 2*b = -2*n + 132. Which is smaller: b or 62?
62
Let h = -23 - -15. Let d = 9 + h. Let p = 13 + -21. Which is greater: p or d?
d
Let m be (-5)/2*(-8)/(-10). Let n = -75 - -80. Do m and n have different values?
True
Let w = 483 + -458. Are w and -10 equal?
False
Let k = 0.98 + -0.6. Let m = k + 1.32. Which is smaller: 0.1 or m?
0.1
Let l be (9077/2*1)/((-275)/(-10)). Let q = l - 165. Which is smaller: q or 0?
0
Let b = 466 - -272. Is 739 at least b?
True
Let l(a) = -2*a**2 + 37*a + 179. Let n be l(-4). Is n > 0.1582?
False
Let z be (-2)/9 - (-4224)/(-1404). Is z at most as big as -4?
False
Let c = -41/4 - -43/4. Is -16 at least c?
False
Let f(v) = 5*v - 1. Let n be f(3). Suppose -165 = -5*g - 145. Let u = n - g. Is u bigger than 10?
False
Let n = 30 + -34. Let m = n - -9. Suppose -m*q + 35 = 2*q. Is q less than 2?
False
Let b be (-5)/1 + (-848)/(-176). Let j be 3/(-2) - (-4)/16. Do b and j have different values?
True
Suppose -4*p - 16 = x, -p + 0*p = -3*x + 17. Let l be (-8)/(-20)*(-10)/x. Which is bigger: l or -2/23?
-2/23
Let p(h) = 5*h**3 - 6*h**2 + 4*h + 8. Let k be p(3). Which is smaller: k or 99?
99
Suppose 4*g = 6*g + 19*g. Is g less than or equal to -2/41?
False
Let m = -66 + 42.8. Let g = -23 - m. Which is greater: g or 0.08?
g
Let p = 6.89 - 7. Let w = -0.12 - p. Let r = w - 0.59. Is r greater than -0.1?
False
Let t(j) = j - 3. Let b be t(4). Let f(r) = 5*r**2 + r. Let i be f(b). Let w be 2 - ((-9)/i + 3). Which is smaller: 1 or w?
w
Let n(r) = -r + 19. Let a(b) = -1. Let t(u) = -a(u) + n(u). Let i be (-34)/8*(5 - 6)*4. Let p be t(i). Do p and -2/5 have different values?
True
Let k be (-3)/(-27) + (4 - (-138)/(-27)). Is k > 1/6?
False
Let n = -30 - -30.2. Let l = -9.6 + -0.4. Let t = l + 8. Which is smaller: t or n?
t
Let i = 128 - 515/4. Let p(h) = 9*h - 127. Let y be p(15). Which is smaller: i or y?
i
Let s = -65 + 51. Let d be s/35*5/4. Let f = -34 - -47. Which is greater: f or d?
f
Let o(f) = -f**3 - 2*f + 4. Let b be o(0). Suppose 8 = s + b*r - 0, -4*s = -3*r + 25. Let d(c) = c**3 + 6*c**2 + 6*c. Let m be d(-5). Are m and s equal?
False
Let p(x) = 74*x + 176. Let o be p(-7). Which is smaller: o or -343?
-343
Let t be (-2 - -304)/(2/(-1) - -4). Let h = t + -102. Is h less than 51?
True
Let a = 7161 + -35597/5. Is 42 at least as big as a?
True
Let i(y) = y**3 + 33*y**2 + 31*y - 69. Let g be i(-32). Is -73/2 at least as big as g?
True
Suppose 8 = -2*q - 4*z, 3*z + 21 = q + 10. Which is smaller: 8/5 or q?
8/5
Let q be (-101 - -97) + (-158)/(-40). Let m(w) = -w**3 - w**2 - w - 1. Let d be m(-1). Which is greater: d or q?
d
Suppose 3*f = 4*f - 2. Let k be (f - 2) + 0 + 0 + 5. Let b(o) = -o**2 + 6*o - 4. Let a be b(3). Is a != k?
False
Let w be (-78)/15 + 5 - (-14)/(-5). Let c be -2*w/19*(-9)/27. Which is smaller: c or -6?
-6
Let n be (132/8 + 2)/((-4)/(-8)). Which is smaller: 153/4 or n?
n
Let s = 4 + 1. Suppose -2 + s = -3*j. Let z(a) = a**3 - 5*a**2 - 17*a + 21. Let l be z(7). Does j = l?
False
Suppose b + 564 = 4*a - b, 699 = 5*a - b. Let q = a + -135. Which is smaller: q or 25/7?
25/7
Let n(c) = -2 + 2 + 0 + 4*c - 7. Let t be n(6). Which is smaller: 16 or t?
16
Suppose 55*i = 50*i + 240. Let p = i - 38. Which is greater: p or 9?
p
Let d be (32/(-7272))/((-14)/(-147)). Which is smaller: 1 or d?
d
Let t = -232.19 + 232. Let m = -0.99 - -1. Let r = m - t. Which is smaller: r or 4?
r
Let h = 16 + -33. Let d = h - -26. Let c = 0.06 + 0.04. Which is smaller: d or c?
c
Suppose -42 = -2*o + 90. Let k = -70 + o. Which is bigger: -3 or k?
-3
Suppose 2*o + 3*c + 7 = 0, -8 = 5*o - c - c. Let j = -56 - -62. Suppose -a - 5 + j = 0. Which is bigger: o or a?
a
Let w = -146/475 - -9/25. Suppose 55*x - 16399 = -16344. Which is smaller: w or x?
w
Let v = 790 + -40292/51. Let b = v - 292/357. Let k = -115 + 115. Is k less than or equal to b?
False
Let m be (-320)/(-8 + 3) - (-2)/(-2). Let z = m - 71. Which is greater: -11 or z?
z
Let p = -21.69 + 22. Let d = 0.7 + -0.7. Which is smaller: d or p?
d
Suppose -5*o - 5*m - 3 - 2 = 0, 2*o - 3*m = 23. Suppose -7 = -r + 2*b, -32 = -4*r - 4*b - 28. Which is smaller: r or o?
r
Let i(z) = 61*z**3 + 1. Suppose 4 = 3*v + v. Let m be i(v). Let p = m + -249/4. Which is smaller: p or 2/11?
p
Let i = 14 - 13. Let o = 6 - -12. Let k be (1/2)/((-45)/o). Is i equal to k?
False
Let u = -3 - -2. Suppose -3 = -g + 5. Suppose -13*f = -g*f. Does u = f?
False
Let g be ((-63)/(-24))/(9/12). Which is greater: 1/3 or g?
g
Let n be (4/(8/3))/3. Let w(b) = b**2 + 13*b - 3. Let g be w(-13). Let s = -3 - g. Which is bigger: n or s?
n
Suppose f - 2*f = -v - 17, v = -4*f + 73. Let m = f - 0. Let t = m - 14. Which is smaller: t or 6?
t
Suppose -4*z + 345 = 5*k, -3*z - 3*k + 0*k + 255 = 0. Let x be 2/z + (-40)/100. Which is greater: x or 0.3?
0.3
Suppose 2*p = -5*k + 7*p + 15, -3*p + 3 = k. Suppose 0 = u - k - 0. Suppose -u*g = -g. Is -3 >= g?
False
Let b be -2455*(-19 + 9)/(-50). Is b < -2462/5?
False
Let u(g) = g**2 + g - 9. Let w be u(-4). Let c be ((6 - w) + -3)*1. Is c < 2/69?
True
Let d = -97/65 - 1/130. Which is greater: -1.3 or d?
-1.3
Let w be 5*(9 - (-176)/(-20)). Let s be 140/(-119) + 1/1. Which is greater: s or w?
w
Let p be (-2)/(-4) - (-4)/(16/438). Let u = p + -150. Do -118/3 and u have different values?
True
Let f(a) be the third derivative of a**4/24 - 3*a**3/2 + 3*a**2. Let v be f(7). Which is greater: 10 or v?
10
Let o(d) = 2*d**2 - 6*d - 5. Let b be 27/6 + (-1)/(-2). Let f be o(b). Let p(x) = -2*x**2 + 54*x + 15. Let y be p(27). Is y > f?
False
Let b be (-2 - -2) + 4 + -4. Suppose 2*w - 4 + 26 = b. Is -10 bigger than w?
True
Let j = 0.11 - 0.11. Let v = 56 + j. Do 0.1 and v have the same value?
False
Let c = -2/21 + 152/273. Let f = 5.1 - 5. Which is greater: c or f?
c
Let r = 4 + -13. Let m be (-6)/r*1 - 0. Suppose 10*z + 9 - 19 = 0. Are z and m non-equal?
True
Let u = -486 + 433. Is u not equal to 13?
True
Suppose 3*q = 2*q. Let b be (-18)/21*42/(-261). Is q less than or equal to b?
True
Let z = 14 - 13. Let a be 0 - (1 + 0) - -11. Let p be ((-5)/a)/(-1*13). Which is smaller: z or p?
p
Let t(r) = -7*r + 71. Let n be t(12). Does n = -140/11?
False
Let p(u) = 2*u**2 + 2. Let y be p(-2). Let q = y + -7. Let x = -854 - -858. Is q less than x?
True
Suppose 6*n - 55 = n. Let a(d) = n + d - d - d. Let j be a(10). Which is bigger: -1 or j?
j
Let j = -24 + 25. Which is smaller: 3/7 or j?
3/7
Let c be ((-40)/(-15))/((-4)/(-6)). Suppose 5*j = -19 + c. Are j and -5 unequal?
True
Suppose 4*q + 34 + 2 = 2*l, 5*q = -3*l - 23. Is -10 >= q?
False
Let p(i) be the second derivative of -i**4/4 - i**2/2 + i. Let x be p(1). Suppose -2*n = 3 - 1. Is n less than x?
False
Let g = 66 - 64. Let z be (1/g)/((8/(-2))/88). Which is smaller: -8 or z?
z
Let x = 830 - 48141/58. Which is smaller: -1 or x?
-1
Let j = -8.6 - 26.4. Let y = j - -33. Let i = 4 + 0. Which is smaller: y or i?
y
Let k(o) = -o**2 - 4*o + 4. Let i be k(-4). Let j(g) = -4*g + 1. Let z(r) = -3*r + 1. Let l(f) = i*j(f) - 5*z(f). Let n be l(0). Which is bigger: n or 0?
0
Suppose 3*x - 39 = -5*b, -b - 17 = -5*x + 20. Let z be ((-16)/4 - 0) + -29. Let o be 4/(-6) - 220/z. Which is smaller: o or x?
o
Let l = -128 + 127.8. Which is greater: -2/611 or l?
-2/611
Let d = 164 + -143. Which is smaller: 22 or d?
d
Suppose 14 = -3*m + 44. Let y(w) be the third derivative of 3*w**4/8 + w**3/6 - 8*w**2. Let f be y(1). Do m and f have the same value?
True
Let u = 150.4 + -138. Let b = 11.4 - u. Is 50 less than b?
False
Let a(q) = -3*q + 25. Let y be a(-13). Suppose 61*b + y = 57*b. Does -16 = b?
True
Let s(t) = 61*t**2 + 4*t - 17. Let x be s(-2). Is 0 at least x?
False
Let g = -0.5 - 43.5. Let i = g - -43.88. Which is bigger: i or -3/5?
i
Let i(b) = 2*b + 4. Let n be i(-5). Let o be n*3/(-6) - 2. Let c be (0 + -2)*(-1)/(-7). Is c bigger than o?
False
Let i be 2086/120 - (-10)/(-75). Let r = i - 17. Is 0 less than r?
True
Let o(f) = 3*f + 37. Let g be o(-11). Which is bigger: -29 or g?
g
Let q be 1/5*(-25)/(-40). Let c = 18.851 - 0.0