i or t?
i
Let j = -58 + 60. Suppose -38 = -0*z + j*z. Which is greater: z or -17?
-17
Let q = -8591/7 + 1230. Which is smaller: 3 or q?
q
Let z = 132 - 33. Suppose w = -3*l + 107, -3*l + w = 4*w - z. Let d = l - 36. Which is greater: 2/27 or d?
d
Let v be 112/(-6) + (-110)/(-66). Which is bigger: -16 or v?
-16
Suppose 44 = -3*f - 4*q, -f + 11 = -3*f + q. Let t = -5 - 3. Is f smaller than t?
False
Let z(h) = 7*h + 13. Let p be z(-2). Suppose -2*j + 26 = k - 4*j, 3*j = 0. Is k at most as big as p?
False
Let g = 69 - 110.7. Let m = g - -14.7. Which is greater: m or 3?
3
Let g be (-6)/4*(-488)/(-20). Let l = g - -36. Let o be 4/6*(-162)/(-378). Do o and l have the same value?
False
Let x be 58/116*(-86 + -4). Let g be (1 - 7/2)*18. Is x >= g?
True
Let v = -644.4 + 644. Is v < 0.102?
True
Suppose 7*v - 2*v + 3*p + 62 = 0, -5*p = -4*v - 20. Let y = v + 7. Which is smaller: -5/3 or y?
y
Let v = -620/9 - -293254/4257. Which is greater: v or -1?
v
Let m(p) be the second derivative of -p**4/6 + 5*p**3/2 - 5*p**2/2 + 11*p. Let b be m(7). Let j = 1.2 + -0.2. Is b at least j?
True
Let d = 0.575 - 0.375. Which is smaller: -196 or d?
-196
Suppose -5*x + 4*p - 46 = 122, 2*x + 66 = 2*p. Suppose 0 = 4*k + 49 + 87. Is x < k?
True
Let p = -213 + 167.8. Is -2/7 at least as big as p?
True
Suppose -9*c + 3*c + 60 = 0. Let j be c/1*(-8)/88. Is j less than 0?
True
Let d = -2675209 + 136452796/51. Let s = 336 - d. Which is smaller: 1 or s?
s
Let r = -1 + 2/3. Let m = -40 + 39. Let i = -4 - m. Is i bigger than r?
False
Let y = 2/83 + 233/664. Let q = -0.086 - 0.014. Which is smaller: q or y?
q
Let b(h) = h**3 - 6*h**2 + 7*h - 5. Suppose 0 = -2*j + 9 - 1. Let a be b(j). Let o = a - -17. Which is smaller: 7 or o?
7
Let j(k) = k**2 + 2*k - 4. Let r be 1*(3 - -2)/(-1). Let x be j(r). Let y = -11 + x. Are 0 and y equal?
True
Let o(r) = 199*r**3 + 2*r**2 + r - 2. Let f be o(1). Are f and 200 equal?
True
Suppose -7*f - 67 = -6*f. Let o = -107 - -41. Is o at most as big as f?
False
Let m = 644 - 35422/55. Let q(t) = 10*t + 1. Let l(c) = -c. Let a(i) = 44*l(i) + 4*q(i). Let r be a(1). Which is greater: r or m?
r
Let w = -22 + 23. Let k be 10/61*(-9)/(-18). Let o = 337/2623 - k. Is o smaller than w?
True
Let a be 2 + (-227)/75 + 1. Suppose -4 = -5*m - 4*t, -2*t = 2*m + t - 3. Which is smaller: a or m?
a
Suppose -117 = -6*w + 177. Suppose 4*n + r = 2*n + w, 3*r = -9. Let y(g) = g**2 + 2*g + 3. Let d be y(-6). Is n bigger than d?
False
Let h(k) = 34*k. Let x be h(1). Which is smaller: 30 or x?
30
Let c be (1180/(-16))/(-5) - (-4)/16. Are 11 and c unequal?
True
Let v(h) be the first derivative of -h**4/4 - 5*h**3/3 - 5*h**2/2 + 2. Let y be v(-4). Which is smaller: 2 or y?
2
Let d = 14968/7 + -2131. Let s(k) = -709*k + 12061. Let y be s(17). Which is greater: d or y?
y
Suppose 0 = 4*z + 5*p - 14, 2 = 8*z - 12*z + 3*p. Is z >= -4/171?
True
Let h(v) = -2*v**2 - 49*v + 75. Let r be h(-28). Which is greater: -2 or r?
-2
Let r = 1288 + -1637. Are r and -349 non-equal?
False
Let o be -2 + 4 + 12/3. Let c(l) be the third derivative of l**6/120 - 7*l**5/60 + l**4/4 - 4*l**3/3 + 3*l**2. Let n be c(o). Is n at least as big as -8?
True
Suppose -3*s - 4*b = 12, -7*b - 15 = -2*s - 2*b. Let z be (s - -1)*5/25. Is 10 bigger than z?
True
Suppose 540 = -31*b + 27*b. Let i = 139 + b. Is 44/9 bigger than i?
True
Let g = -84 + 81. Let o be 48 + -30 + 0 + g + 1. Is o smaller than 16?
False
Let n = -27 - -9. Let w = -17 - -16.9. Which is smaller: n or w?
n
Let c = -18 - 12. Which is bigger: -28 or c?
-28
Let p = 56 - 53. Suppose -3*z = 3*m - 93, 0*m - 126 = -4*m - p*z. Is 35 equal to m?
False
Let c be (-4)/22 - 23/55. Let p(n) = -n**2 - 14*n + 1. Let i be p(-6). Let m be (-2)/(-7) - 14/i. Is c less than m?
True
Let u(d) = -2*d**2 + 1. Let o be u(1). Suppose -15 = -5*z + 4*i, -i - 2*i = 4*z - 12. Let s be 3 + (15/95 - z). Which is smaller: s or o?
o
Suppose 3*v = -3*t - 9, v = 2*t + t - 11. Do v and -11 have different values?
True
Let k be 3/44 - (-22)/121. Suppose m - 5*g - 1 = 0, -3*m = -g + 2*g - 35. Are m and k equal?
False
Let k = -29.86 + 30.7. Do k and 2 have the same value?
False
Suppose 0 = -77*t + 68*t - 81. Is -6 > t?
True
Let y = 5 - 4. Let m = 3 - 6. Let j = y + m. Does j = 0.2?
False
Suppose 3*k = c + 180, 4*k + 3*c = -0*c + 240. Let n = k - 65. Which is smaller: 0.1 or n?
n
Suppose -5*z = -p - 2, -7*z + 4*z - 2 = p. Which is greater: 2/247 or z?
2/247
Let s = 11/2 + -21/4. Let z(f) = -6*f + 133. Let w be z(22). Is w >= s?
True
Let x = 187/100 - -3/100. Which is smaller: x or 2?
x
Let x be 0 + (-8 - (-5 - -2)). Let h = -6 - x. Which is smaller: h or -6/11?
h
Suppose 0 = 4*s - 472 - 28. Which is greater: s or -4?
s
Let j(b) = -b + 14. Let x be j(4). Let l = x - 9. Which is bigger: l or 11/10?
11/10
Let a = 4 + -6. Suppose 2 = 3*n + 5. Let k = a + n. Which is smaller: -2/7 or k?
k
Let s be -3 + (1 - 11)*6/(-15). Which is bigger: 23/13 or s?
23/13
Let m = -845 - -250. Let b be m/55 + (-4)/22. Suppose 0*a = -5*a - 55. Is a greater than or equal to b?
True
Suppose -4*l - 3*d - 56 = -d, 0 = -5*l + 2*d - 88. Let c be 18/(-8)*l/4. Let h be 3/c*(3 - 5). Which is smaller: 0.07 or h?
h
Let d = 1217 - 1210. Which is bigger: -102 or d?
d
Let x = -24 + 26. Let l be x/(-10) - ((-21)/5 - -4). Is 9/7 at most as big as l?
False
Let t = -707 - -2092/3. Let r = -11 - t. Is r not equal to -1?
True
Let r be 2/4 + (-414)/36. Let b = r - -10. Which is greater: 2/121 or b?
2/121
Let y = -0.7 - 18.3. Let q = y - -4. Is q greater than 0?
False
Let g(s) = -s**2 + 26*s + 47. Let b be g(28). Is b at most -10?
False
Let m = 317/969 - -2/323. Is m at least 1.7?
False
Let t be 2/(-14)*2 + (-21024)/504. Is 1 not equal to t?
True
Let y = -26871/37 + 726. Is 1 equal to y?
False
Let n be (-1)/(-1 - 0) - -1. Suppose 3*l = -3*q + 4*q - 1, -q - n*l + 6 = 0. Let a be (4/5)/(q/10). Which is greater: 1 or a?
a
Let y = -268 + 269.22. Which is smaller: y or -2/5?
-2/5
Let i be (-12)/(-3) - ((-1488)/36 - -2). Which is smaller: 44 or i?
i
Let c be -4 + (-2)/(-8)*-33. Let d = -11 - c. Let o = d + -3/4. Which is bigger: o or 3/4?
3/4
Let i = 280777 + -1962055/7. Let b = 486 - i. Let d(k) = 5*k**3 - k**2 - k + 1. Let g be d(1). Which is smaller: g or b?
b
Let v be -4 + 2 + 10/(-4). Suppose 4*b + 1 + 24 = 5*n, 4*b = n - 21. Is v greater than b?
True
Let d(h) = -4*h**2 + 16*h + 58. Let y be d(-4). Which is greater: -71 or y?
y
Suppose j + n = 10, 3*j - 2*n = 11 + 44. Let k be (-9)/j + 246/(-15). Let l = -84/5 - k. Does l = 0?
False
Let j be (-154)/(-21) - 7 - (-53)/3. Let k = 136 + -82. Suppose 4*r - 22 = k. Are r and j nonequal?
True
Suppose 7*s = 13*s + 108. Let o be 1 + (4/(-3))/((-2)/(-30)). Is o less than s?
True
Let i be 31/3 - (-4)/6. Let h = -36546 + 36558. Which is bigger: i or h?
h
Suppose -4*z = z - 30. Suppose -u + z*u = 0. Suppose u*b = 5*b. Is 2/3 bigger than b?
True
Suppose -4*i + 44 = -5*t - 45, -4*i = 4*t - 116. Is 21 not equal to i?
True
Let n be -4*4/(-32)*-68. Let k = n - -53. Is 19 bigger than k?
False
Let c be 444/(-594) + (-3)/(-9). Let p = c - -7/11. Does p = 0.5?
False
Let d = 99 - 78. Suppose 4*s + 20 = -4*k, -d = 5*k + 2*s + 7. Which is bigger: k or -7?
k
Let m(y) = -17*y + 6*y + 27 + 5*y. Let v be m(3). Is v greater than or equal to -4?
True
Let v = 6 - -6. Suppose -4*s + v = -2*s. Let w be (2/s)/(16/30). Which is greater: 1 or w?
1
Let l = 14609 + -540595/37. Which is bigger: -2 or l?
l
Let x = -370 + 523. Suppose l - x = 215. Let g be -4 - 2*(-740)/l. Which is bigger: g or -1?
g
Let o = 61 + -304/5. Let c be (-3)/21*(2 - (2 - 1)). Is o greater than c?
True
Suppose -34 + 2 = -4*q. Suppose a = 2*j - q - 26, a - 3*j = -37. Is -27 not equal to a?
True
Let x = -2101 + 2148. Which is smaller: 56 or x?
x
Let g be 0 + 2 - (-76)/(-2). Suppose -210 = 11*a + 186. Does g = a?
True
Let c = 0 - 0.3. Let n be (4 - 3) + 6/(-2) - 1. Is c >= n?
True
Let w = 3 + 1. Suppose -5*u - 5*h - 3 = -2*h, h = -2*u - 1. Suppose u = -5*l - a + 20, -3*l + 4*l - 3*a = -12. Is w < l?
False
Let w(f) = f + 15. Let l be w(-10). Suppose 6 = 3*s + 2*j, l*s + j - 9 = -2*j. Let x = 4 + s. Is x smaller than 4?
False
Let g = -668 - -447. Is -221 > g?
False
Let q = 23.5 - 25. Let c = 3.1 + q. Let u = -0.6 + c. Do u and -15 have the same value?
False
Le