t h be 11/((-44)/(-960)) - 0. Let r be (-2)/5 + h/(-25) + 5. Does -38/9 = r?
False
Suppose 0*a - c = -2*a - 1, -3*c = -4*a - 7. Let o = 56 + -50. Let f = o - a. Which is greater: f or 5?
5
Let d be 0/3 - 12/40. Let w(n) = n**2 - 10*n + 10. Let l be w(9). Let g(y) = -y**3 + y**2 - 1. Let p be g(l). Is p at least d?
False
Let t = -22/147 + 404/735. Do -3.77 and t have different values?
True
Let b(t) = 6*t**3 - 51*t**2 + 11*t - 4. Let j be b(8). Which is greater: -116 or j?
j
Suppose j = -13 - 1. Let c = j - -37. Which is smaller: c or 24?
c
Let f(a) = a**2 - 8*a + 8. Let t be f(9). Let d = t + -29. Which is greater: d or -13?
d
Let f be (6 - 7)*(-1 + 4). Let g = 37.1 - 33. Let q = -4 + g. Which is bigger: f or q?
q
Let u(k) = 3*k**2 - k + 1. Let d be u(1). Let v = 32 - 0. Let q be -3 + v/28*d. Is q greater than or equal to 2?
False
Let o be ((-6)/18)/(2/(-18)). Suppose -d + 9 - 3 = -o*l, -5*l = 10. Is d greater than or equal to 5?
False
Suppose -x = 2 - 5. Let o be 15/145*(-1)/x. Let a = 26/87 - o. Is a greater than -5?
True
Suppose 10*n - 1201 + 861 = 0. Is n bigger than 283/8?
False
Suppose 462 - 1167 = 3*z - 3*t, -3*z + 5*t = 695. Which is smaller: -241 or z?
-241
Suppose 2*c = -5*q - 1066, -10*q + 5*c - 866 = -6*q. Which is smaller: -213 or q?
q
Let x(z) = z - 39. Let q(s) = s - 19. Let f(v) = -5*q(v) + 2*x(v). Let y be f(5). Which is greater: y or 0?
y
Let p = 7470 + -98023/13. Let o = -70 - p. Suppose 0 = 9*a - 6*a - 3. Which is smaller: a or o?
o
Let j = 0.2412 - 0.2412. Is j less than -97.9?
False
Let l be (-4)/(-5) - (-42)/10. Suppose a - 4*a = -5*m - 55, 4*m + l*a = -44. Let g = m + 15. Which is bigger: 5 or g?
5
Let n = -48 - 9. Let v = 111/2 + n. Which is smaller: v or -1?
v
Suppose 0 = 5*v, -3*v = f + 2*v + 19. Let t be (3 + (1 - 3))/f. Which is smaller: t or 0.1?
t
Let i = 0.28 - 0.08. Let z = -2 + 6. Let s be (-2)/z*8/(-20). Is i <= s?
True
Let d(s) = 1163*s + 1. Let y be d(-1). Let r = y + 8116/7. Let v be 2*2*(-12)/16. Which is bigger: r or v?
r
Suppose -500 = -4*y - 4*u, -610 = -2*y - 3*y - 2*u. Let m be ((-1)/(-4))/(-1) + (-90)/y. Is -7/8 at least m?
True
Let p = 25.83 - 26. Let l = p + 0.27. Is -26 less than or equal to l?
True
Let m be (-3 - -1)*(-29)/(-2). Let i = 28 + m. Let q be (-1)/(-2)*-1*6. Is i less than q?
False
Suppose 0 = -9*i + 8*i + 4. Let y be 2/4 - (0 + (-6)/i). Which is smaller: 32 or y?
y
Let h(t) = 31*t + 547. Let a be h(11). Is a greater than 888?
False
Suppose -6 = -3*z - 30. Suppose 0 = v + 6 - 11. Suppose 2*b - 27 = v*u, 3*u + 0*u - 3*b = -9. Is z greater than u?
False
Let b = -31 - -30.9. Let r(g) = -g**2 + 7*g + 2. Let h be r(5). Which is bigger: b or h?
h
Let p = -2.05 - 0.15. Let s = -4.6 - -6.8. Let v = p + s. Is 0.4 at least as big as v?
True
Suppose 0*i + 7*i = -7. Let p = 151927 - 1673889/11. Let f = p + 245. Which is bigger: f or i?
f
Let d = -1.4 - -2.4. Is d at most 58?
True
Let h(s) = s + 2. Let g be h(5). Let n be g/3 - 3/9. Let p be 32/48*45/10. Which is smaller: p or n?
n
Let z be (1*14/(-2))/(-1). Suppose -5 = -2*x - 2*v + 3, 0 = x - 4*v + 6. Suppose -13 = 3*n + x*r, 6*n - z*n - 21 = 4*r. Which is bigger: n or -2/37?
-2/37
Suppose 24 = -12*i + 10*i. Let j be 3/2 + 6/i. Do j and -1/35 have different values?
True
Let k = -9 + 11. Suppose 52 - k = 5*g. Suppose -g*u = -12*u - 2. Which is greater: u or -1/6?
-1/6
Let i = 432.1 - 432. Which is smaller: i or -73?
-73
Let y = 0.42 + -0.847. Which is smaller: y or -0.1?
y
Let q = 33 + -35. Let f be (8/10)/(q/100). Is -39 greater than f?
True
Let l(k) be the first derivative of k**4/4 + 8*k**3/3 - 4*k**2 + 10*k - 10. Let o be l(-9). Which is smaller: 3 or o?
o
Let t be -10 + 14*14/49. Is -115/2 != t?
True
Let x = 13.1 + 17.9. Is 1 > x?
False
Suppose 5*g + 1 = 6. Suppose 3*l = -3*v + 21, 4*l - g = 3*v + 6. Is l at least as big as 4?
True
Let w be (8/(-5))/(10/(-25)). Let r(d) = 6*d**2 + 1. Let a be r(1). Let p = 11 - a. Is w bigger than p?
False
Let d be 14/(0/4 + (-1 - 1)). Let i be (8 - (d + 5)) + 3 + -1. Is i less than or equal to 0?
False
Let n be (-2)/(-9) + 0 + 0. Let i(c) be the first derivative of -c**4/4 + 17*c**3/3 - 8*c**2 - c + 42. Let p be i(16). Is p greater than or equal to n?
False
Let m be ((-6)/4)/((-27)/(-36)). Let i(q) = -2*q. Let t be i(m). Suppose -t*p = p. Which is bigger: 2 or p?
2
Suppose -c - 24 = -5*c. Let y be (c/3 + -2)/(-3). Suppose -5*x - v = -0*x + 3, y = 3*v - 6. Which is smaller: x or -4/21?
x
Suppose -5*k + 3*q + 71 = -12, 4*q + 36 = 2*k. Suppose -8*l = 120 - k. Which is greater: -94/7 or l?
l
Let x be 2/3*-2*(-30)/(-20). Which is smaller: -11/9 or x?
x
Suppose 2536 - 4406 = -10*g. Is 183 bigger than g?
False
Let d(r) be the second derivative of r**3/6 + 5*r**2/2 + 13*r. Let g be d(13). Do 18 and g have the same value?
True
Let i(s) = 88*s - 131. Let r be i(-7). Which is smaller: r or -745?
r
Let b = 6.77 - 0.73. Let c = 6 - b. Which is smaller: c or -2?
-2
Let g be (-3 - (-2 - 0))*-5. Let i(v) = v**3 + 6*v**2 - 56*v - 14. Let q be i(-11). Which is smaller: g or q?
q
Suppose 8*n = 6*n + 120. Suppose -6*v = -2*v - n. Suppose -a = a, v = -5*o - a. Is o smaller than -1?
True
Suppose 0*d = 4*d + 156. Let m = d - -56. Let l = -9 + m. Does l = 8?
True
Let r(z) = z**2 - 13*z + 13. Let l = 9 + 3. Let i be r(l). Let j = -1 + i. Do 3/4 and j have different values?
True
Let y be (12/324)/((-9)/6 + 1). Suppose -2*u - 4 = -2*a + 6*a, 8 = -a - 4*u. Which is greater: y or a?
a
Suppose -4*y + 13 = 4*t - 27, 4*t = y + 20. Let m be (-16)/84*t*2. Which is greater: m or 0.2?
0.2
Let h = 222 - 222. Which is bigger: -38 or h?
h
Let a be (-4)/(-2 - 0/2). Let s be ((-6)/1782)/((-3)/(-151)). Let t = 1/81 - s. Which is greater: t or a?
a
Let b be -6 + (4725/36)/21. Which is bigger: 111 or b?
111
Let d = 1/557 - 560/1671. Which is smaller: -205 or d?
-205
Let s be ((-401)/(-5))/((-158)/(-4)) + -2. Are s and 1 nonequal?
True
Let n be (1/(-20))/(6/8). Let u = -47 - -47. Which is smaller: n or u?
n
Let h = -2113/8 - -264. Which is greater: 2 or h?
2
Let p be -7 + 0 + 28310/4050. Are p and 0 unequal?
True
Suppose 11*s = 222 + 174. Which is greater: s or 35?
s
Suppose 0 = 4*k - 4 - 0. Let s be (4/(-290))/(k/(-5)). Let h = s - -40/261. Does h = -1?
False
Let h = 1.93 - -0.07. Let y = 0.2 - 0.16. Which is smaller: h or y?
y
Let g = 4/75 + 11/75. Do g and 1 have different values?
True
Let w(f) = -7*f**3 - 2*f**2 - f. Let j be w(-1). Let a be 16/j*81/(-420). Let c = -5/7 - a. Is c bigger than 0?
False
Let j be (-5128)/((-2 - -4)*-1). Let s be j/16 - (-1)/(-2). Let n = 159 - s. Does -4 = n?
False
Let y = -51 - -74. Let m = -3 + y. Let c = m + -15. Is c equal to 5?
True
Let n = 228 + -228.18. Are -1/9 and n non-equal?
True
Let s = -1.412 - -14.472. Let h = s - 13. Is -9 <= h?
True
Let p = 22.8 - -12.2. Which is bigger: p or 4?
p
Suppose -3*g + 333 = -4*z, -3*z - 4*g = -0*g + 281. Which is smaller: z or -88?
-88
Suppose 0 = -12*h + 5*h. Suppose h*v = 6*v - v. Is v at least as big as -10/9?
True
Let f be 3 + (1/4 - 3). Let t(i) = i**2 + 8*i + 4. Let n be t(-5). Let b be 12/(-16) - n/4. Is b equal to f?
False
Suppose 20 = -4*k + 8. Let b be (2 - 3)/(3/15). Is k at most as big as b?
False
Let v = -0.09417 + -0.00583. Let c = -3 + 13. Is c greater than v?
True
Let c(r) = -r**3 + 5*r**2 + 3*r - 16. Let v be c(5). Let g be (-1)/144*(-2)/v. Which is smaller: g or -1?
-1
Suppose 33 + 3 = 6*c. Suppose 4*l + 18 = -c. Let q = l - -7. Are -4/11 and q equal?
False
Let q(o) = -2*o**3 - 25*o**2 - 193*o - 1. Let b be q(-13). Is b greater than 2677?
False
Let v = 262 - 261.819. Let x = v - 0.081. Which is smaller: 4 or x?
x
Let v be (-5)/1 - (-4 - -1). Let u(d) be the second derivative of -d**5/10 - d**4/4 - d**3/6 - d**2/2 + 2*d. Let n be u(v). Is 6 smaller than n?
False
Let b be ((-476)/(-24))/17 + 0. Suppose 4*m + 9 - 3 = -2*c, -m = c - 1. Let j = -3 + c. Which is smaller: b or j?
b
Let t be ((-8)/30)/(13/((-22386)/(-564))). Let d = 2/141 + t. Which is smaller: -2/21 or d?
d
Let f = 27.065 - 0.065. Let y = 414 - 414.1. Is y <= f?
True
Let z(n) = -n**3 + 9. Let m be z(0). Let o(u) = -u**3 - 5*u + 11. Let x be o(0). Which is smaller: m or x?
m
Let k = -10/673 + 14813/45764. Is k greater than or equal to 1?
False
Suppose 15 = -4*k + 3*w, 4*k - w + 5*w = 20. Let n 