 Let c be u(6). Which is smaller: c or -461/5?
-461/5
Suppose -7*z = -2 - 12. Suppose -2 = d + z. Is d < -11?
False
Let r = 113 - 55. Let n = r - 62. Which is greater: 1 or n?
1
Let g = 0 - 0. Let l(b) = -12 + 10 + 3 - b**2. Let h be l(g). Is h at most as big as -2/19?
False
Suppose 2 = -q + 12. Suppose 0 = -11*y + q*y + 2. Which is bigger: 0 or y?
y
Let o be (-1 + 3)/(5/10). Suppose -o = 5*k - 9. Let w be 7/((-35)/10) - 1. Which is bigger: w or k?
k
Let d(q) = -3*q**3 - 3*q**2 - 4*q - 2. Let m be d(-2). Let k = -2 + m. Suppose -k = -3*p - 43. Is -8 at most as big as p?
False
Let u be 550/4 + (-155)/(-62). Are u and -5 nonequal?
True
Suppose -c + 16 - 7 = 0. Suppose -5 = -5*l + z, 0*z + 5*z + 25 = 4*l. Let x = c - l. Which is greater: 6 or x?
x
Let s = 82.34 - 83. Let p = s - -0.26. Which is bigger: 0 or p?
0
Let p = -318 + 279. Is p > -38?
False
Let b = 28 + -25. Suppose -19 = -b*c + 2. Suppose 0 = l + 5, -f - 3*l = -2*l + 4. Which is smaller: c or f?
f
Let m be 3/(-296) + (-9)/72. Let g = m - -469/185. Is 2 > g?
False
Let h be 3 - -10 - (-2 - 1). Let i(c) = -c**2 + 15*c + 10. Let f be i(h). Suppose -2*q - 25 = 3*q. Which is bigger: f or q?
q
Let f(g) = -4*g**2 + 13*g - 33. Let w be f(4). Which is smaller: w or -49?
-49
Let r be -1 - 0 - (2 + 3 + -7). Is r greater than or equal to 2/3439?
True
Let k be (-1)/4 - 38/8. Suppose 0*t - 12 = 6*t. Let f be t - (72/27)/(4/6). Which is smaller: f or k?
f
Let p = 5713/4 + -5039/4. Is 170 < p?
False
Let h = -637.05 + 637. Is h not equal to 28?
True
Suppose 3*x + 4*z - 203 = 3*z, x = -2*z + 61. Let k = x + -10. Which is smaller: k or 58?
58
Suppose -5*o + 30 = -5. Let a = -2.14 + 2.2. Let h = a - 0.16. Is o smaller than h?
False
Let t(r) = 2*r**2 - r**2 - 2*r**2 - 5 - r - 3. Let a be t(-5). Is a bigger than -29?
True
Suppose -5*g + 4*q - 520 = 0, 4*q - 5*q + 405 = -4*g. Let r = g - -397/4. Is r smaller than -18?
False
Let q = -4 - -7. Let k be (-2)/2 + 5/q. Let u(c) = -2*c**3 - 12*c**2 - 8*c - 47. Let z be u(-6). Is k at most as big as z?
True
Suppose -37*d - 94 = -35*d. Which is greater: -48 or d?
d
Let f = -1 - -10. Let j be (-36)/10 - f/6. Let q = j - -439/90. Is q less than or equal to -2/9?
True
Let k be 156/15 - 2/5. Suppose -4*l + 60 = -4*h, -27 = 364*l - 367*l - 3*h. Which is smaller: l or k?
k
Let j = 4.04 + 1.96. Do 20 and j have different values?
True
Let q be ((-130)/(-15))/(20/(-180)). Is -78 smaller than q?
False
Suppose -15*q - 6 = -36. Does q = 12/11?
False
Let z(b) = 8 + 0*b**3 - 6 + 11*b**2 + 9 - 11*b - b**3. Suppose 0 = 5*y - 2*y - 30. Let r be z(y). Is -2/43 less than r?
True
Let v(q) = -q + 4. Let u be v(3). Let l be (-4 - (-6 - 2)) + -4*2. Let c be (9/18)/(2 + 15/l). Which is smaller: c or u?
c
Suppose 0 = -3*g - 2*s + 6, 0 = -g - 2*s + 6. Let z be 28/(-48)*-3*(-12)/56. Is g < z?
False
Let h = -0.015 + 53.015. Let x = h + -53. Do -2/3 and x have the same value?
False
Suppose 62 - 17 = 3*t. Let o = 15 - t. Is o at most 2/15?
True
Suppose -2*x = -4*t - 24, -4*x + 6 = -2*x + 2*t. Suppose 0 = 4*o - 7 - 9. Suppose o*d + 2 = x. Is d at least 0?
True
Let n = 0.12 - 0.1. Let c = -0.02 + n. Let b = 47 - 54. Which is bigger: c or b?
c
Suppose 4*t + 27 + 177 = 0. Let i = -4245 + 4195. Which is smaller: t or i?
t
Let s = 0 + 0. Let a be -1 - s - (3 + -3). Let i be (0 + 4 + -8)/2. Is a < i?
False
Let o be (-15)/240 + (-66)/992. Is o < 0?
True
Let d = -3.97 - -4. Let v = 1.67 + d. Is 2 not equal to v?
True
Suppose -36*i = -32*i, 4*p - 5*i + 552 = 0. Which is smaller: -139 or p?
-139
Let z = -3.381 - -0.081. Let w = z + -3.3. Let r = w + -2.4. Is r equal to -1?
False
Let b(r) = r - 1. Let g be b(-2). Let t = -1 + g. Let u(l) = l**2 + 6*l + 6. Let m be u(t). Which is bigger: m or -1?
-1
Let g = -99/14 - -7. Let t = 14 + -12. Suppose -3*y + 1 - 3 = 2*v, -t*y - 4 = 4*v. Is v greater than g?
False
Let n = -43 + 69. Let f be 2/(-12)*n + 5. Which is greater: -1/3 or f?
f
Suppose -5*z = 2*q + 5, -4 = 4*z - q + 3*q. Let c(g) = 3*g**2 - 2*g - 2. Let b be c(z). Suppose -b*a = -7*a - 28. Does a = -7?
True
Let k be (-2 + 2)/(4 + -2). Suppose -2*a + 17 - 5 = k. Let i be (-2)/4*(-2 + a). Is i greater than or equal to -0.4?
False
Let w = 0.03 - 0.14. Let y = 0.12 + w. Let b = 0.11 - y. Which is greater: b or 2/3?
2/3
Let a(m) = m**2 - 23*m + 21. Let n be 1/(-2) + (-1)/((-8)/180). Let y be a(n). Let h be (-40)/16*(-2)/5. Is y smaller than h?
True
Let f(j) = -j - 3. Let y be f(-6). Let s be y + (-3 - (-6)/14). Suppose 5*z + 0*z + 5 = 0. Is z > s?
False
Let s = -3335/9 - -20779/45. Which is bigger: s or 91?
s
Let i = 118 - 107. Is i at most 6?
False
Suppose 91*d - 1 = 90*d. Is d bigger than -1/661?
True
Let a(n) = -2*n**2 + 15*n. Let l be a(11). Let s be (l/44)/((-2)/(-40)). Let p = s - -36. Is p != 3/5?
True
Suppose -2060 + 33700 = 40*z. Which is greater: 790 or z?
z
Suppose -5*n + 16*n - 132 = 0. Which is smaller: 12/5 or n?
12/5
Let b(t) = -5*t**2 - 52*t - 99. Let p be b(-2). Which is bigger: -21 or p?
p
Suppose -30*m - 533 = -143. Does m = -38/3?
False
Suppose 2*w = -2*b - 3*w + 24, 5*b - w - 60 = 0. Let z = -157/80 - -25/16. Which is bigger: z or b?
b
Let p = 502 + -500.83. Is -2/15 > p?
False
Let x = 182 - 127. Let j = -49 + x. Is 8 < j?
False
Let i = 12.12 - 0.12. Let z = 11.7 - i. Suppose 0 = -2*a + 5*a. Which is smaller: z or a?
z
Let b = -3 + 1. Let r = 3.42 + -0.22. Let k = r + -3. Which is bigger: k or b?
k
Suppose 0 = -5*g + 2*v - 10, 4*v - 1 = -g + 5*v. Let j = -98 + 91. Which is bigger: j or g?
g
Suppose 2*k = 3*k - 4. Suppose 0 = g + 3*b + 29, -78 = 4*g + k*b - 2. Which is greater: g or 1?
1
Suppose a = 2, -5*a = -3*n + 27 + 32. Is n < 14?
False
Let u = -285/1552 - 3621983/678224. Let x = u + 100/19. Which is smaller: x or 1?
x
Let i be ((29 - 33) + 974/8)*4. Do i and 473 have the same value?
False
Let q = 401/4 + -101. Let i(b) = b - 7. Let t be i(-9). Let f = t + 16. Which is bigger: f or q?
f
Let l be (6/(-4))/((-8)/208). Suppose 199 - l = 5*w. Suppose -4*q + 24 = g - 2, -4*q + w = 2*g. Is 6 at least as big as g?
True
Let x(t) = -t**3 + 46*t + 10. Let s be x(7). Suppose f = -b - 16 + 2, -5*b = -2*f + 35. Which is smaller: b or s?
s
Let r be 1/(-3) + (-2)/(-6). Let n = -3 + 6. Suppose -h = -y + n, h = -0*h - 2*y + 12. Is r less than or equal to h?
True
Let v be ((-270)/945)/((-4)/14). Is v less than -4/41?
False
Let k = 3787 + -3806. Let o = 6 + -4. Are o and k equal?
False
Suppose -4*g + 37 + 19 = 0. Let m = 54 + -42. Let d be (-13)/(m/(-3) + 3). Which is smaller: g or d?
d
Let x = -0.32 + 9.32. Let w = -33 + 22. Let v = w + x. Which is bigger: v or -2/5?
-2/5
Let g = 2.821 - 2.99. Let c = -0.069 - g. Which is smaller: c or -6?
-6
Let k be 2/14 + (-123)/(-21). Suppose k*d = d. Let h be 3 + 1*14/(-5). Is h at most as big as d?
False
Let p = 2.3 - 1.6. Let f = -23 + 21. Let o be (8/16)/(f/((-2)/(-2))). Do o and p have different values?
True
Let z be (-8)/(-10) - 4*(-51)/(-30). Which is bigger: z or -16/3?
-16/3
Let n be (3/(-3))/((-2)/26). Is n greater than 8/7?
True
Let o = 4.72 + -3.31. Let i = 0.11 - o. Do i and -0.2 have different values?
True
Let k(n) = -n**2 - 5*n + 8. Let j be k(-6). Suppose -j*z + 92 = -10. Are z and 50 equal?
False
Let v = 376/35 + 22/5. Is v < 14?
False
Let f be 33/12 + -2 - (-239)/(-348). Which is smaller: f or 1?
f
Let v be (1/(-3))/(-8 - -9)*6. Let l be (v/141)/(34/6 + -6). Is l less than -1?
False
Let p be -1 - -2 - 0 - -1. Let l = 22 + -14. Suppose -4*u + l = -p*u. Which is smaller: 3 or u?
3
Let k = 99 + -46. Let a = k - 264/5. Which is greater: -23 or a?
a
Suppose -2*y - 2 = 3*x - 16, 4*x = y + 15. Is -1/461 bigger than y?
False
Let s = -171309/47 - -3645. Suppose 5*u + 8 = 2*m, -11*u + 7*u = -4*m + 4. Which is smaller: m or s?
m
Suppose 28*j + 200 + 388 = 0. Is -26 < j?
True
Let m be 4431/(-294) - 4/(-7). Is m less than -16?
False
Let p be (-24)/(-3)*6*3/6. Which is smaller: 26 or p?
p
Let y = 13.3 + -11. Let s = y - 2.5. Which is greater: 2/19 or s?
2/19
Suppose -95 = 5*d - 2*f + 41, -15 = -5*f. Let c be (-52)/2 + 7 + -8. Let r = c - d. Is r at most 10?
True
Let a = 33 - 32.981. Let l = a + -2.119. Let n = -1.1 - l. Which is smaller: n or 0?
0
Let p(a) = -a**2 - 22*a - 172. Let k be p(-23). Which is greater: 0.2 or k?
0.2
Let o be (80/30)/((-2)/(-150)). Let 