
y
Let g(o) = o**3 + 12*o**2 + 21*o + 14. Let z be g(-10). Which is bigger: 56/13 or z?
56/13
Let b = 39 - 105. Let j = b + 63.1. Let o = 3 + j. Is o at least -0.6?
True
Let j = 42 + -19. Suppose -5*r = -p - 23, 5*p - 4*r + 2*r + j = 0. Let y = 2 + p. Does y = 1/12?
False
Let c = 28 - 3. Suppose 0 = -4*x + 4, -5*x = m + m + c. Let l = -15 - m. Which is smaller: -9/7 or l?
-9/7
Let i = 447 - 369. Which is smaller: i or 2/9?
2/9
Suppose 6*o = o - 5*y + 1200, -o - 3*y = -248. Let r be (-2)/(-10) - o/80. Let s be (-8)/4*(-2)/(-2). Which is smaller: r or s?
r
Suppose 2*x + 4*v - 683 = 1625, 4*x - 4681 = 5*v. Let p = x - 3454/3. Which is smaller: 13 or p?
p
Let c = -34/7 + 313/63. Let o = 9069 + -9068.99. Is o >= c?
False
Let d(w) = -4*w - 49. Let q be d(18). Let h be 1/4 - q*(-18)/8904. Which is bigger: h or -1?
h
Let s = -8.7 + 7.7. Let p = 0.09 - 6.09. Which is greater: p or s?
s
Let x = -0.03 + -1.97. Suppose -7*y - 228 = 16*y - 297. Is y >= x?
True
Let i be 6 - 15/(105/49). Let q = -28/15 - -518/15. Let x = q + -69/2. Is i greater than or equal to x?
True
Let k(f) = f**2 - 7*f + 1. Let z be k(7). Let i be 416/10 + (-11)/((-275)/10). Let w be 5/(-20)*48/i. Which is greater: w or z?
z
Let s = -5 - 6. Let v(j) = -5*j + 109. Let x be v(24). Is s at least as big as x?
True
Let i = 297/4 + -73. Let w be -4 - 1*(-4 + -2). Which is smaller: i or w?
i
Let v = 240.9 + -241. Which is greater: -0.148 or v?
v
Let b = -1/56 + 1541/56. Is 2/11 at most as big as b?
True
Let g = 0.3 - 0.33. Let q = -13.742 + 10.742. Are g and q unequal?
True
Let w = 3604/1435 + -110/41. Which is bigger: -2/7 or w?
w
Let u = 7.6 + -1.9. Let f = u - 1.5. Are 0.1 and f unequal?
True
Let r = -814 - -1324. Let j = r + -5107/10. Is j less than -2?
False
Let y = -1.42 + 0.62. Does y = 0.04?
False
Let d = -37405/4 + 9295. Do -57 and d have different values?
True
Let d be (14 - (-2574)/77) + 6/(-14). Is 44 >= d?
False
Let l = 32 - 9. Let o = 43 + -25. Let a = l - o. Which is smaller: 2/3 or a?
2/3
Let l = -0.1 - -0.3. Let z = 258.83 - 260. Let j = 1.83 - z. Which is smaller: j or l?
l
Let f(n) = -11*n**2 + 84*n + 31. Let z be f(8). Which is smaller: z or -3/881?
z
Let m = 0.2 - -4.84. Let t = 1.35 - m. Let b = t - 0.31. Do 0.2 and b have different values?
True
Let c(m) = m**3 - 9*m**2 - 11*m - 3. Let x be c(10). Let k be 2 + 4 + (-2 - x). Let j = -16 + k. Which is smaller: 1/21 or j?
1/21
Let u = -19.81 + 19.81. Let a = 27 + -19. Is u smaller than a?
True
Suppose f = 2*z + 14, -5*f - 50 + 141 = -3*z. Is 10 > f?
False
Let n = -1 - -27. Let u(q) = -q + 23. Let y be u(n). Is -3 < y?
False
Suppose -2*u + 21 + 23 = 0. Let i(m) = m**3 - 22*m**2 - m + 23. Let z be i(u). Is z greater than or equal to -2/7?
True
Let r be 3*(-3)/(-9) + (-6 - -9). Suppose 54 = r*p + 2*m, 5*p = 6*m - m + 60. Let k = -0.3 + -0.7. Which is smaller: k or p?
k
Suppose -3*l = -2*w + 16, 2*l + 3*w = 3 - 18. Let y(p) = -p - 6. Let s be y(l). Which is smaller: s or -2/125?
-2/125
Let m = -16002/13 + 1231. Are m and -1 non-equal?
True
Let j = -1497 + 1497.3. Is j at most 196?
True
Suppose 0 = -24*d + 25 + 47. Suppose g - 5*s + 29 = 0, 10*s = 4*g + 5*s + 41. Let f = g - -6. Which is greater: d or f?
d
Let c = -124.97 - -123. Let l = -0.03 + c. Let f = -2/33 - 3/11. Is f < l?
False
Let g = 18.643 - -0.357. Is g less than -2/27?
False
Let f(n) = 4*n**2 - n. Let t be f(1). Let r be 1/1*-3*t. Let u be (-18)/117 - r/(-26). Is -1 at most u?
True
Let k = -1055/6 + 358/3. Let u = 821/14 + k. Which is smaller: 3 or u?
u
Let c be 7/2 + ((-25)/(-10))/(-5). Suppose -5*a + 178 = -c*l, 3*a - 68 - 33 = -4*l. Is 35 at most a?
True
Let h = -6668 + 79783/12. Is -20 greater than h?
False
Let c(a) = -3*a**2 - 25*a - 8. Let j be c(-8). Suppose 2*d = -j*d. Are d and -2/49 unequal?
True
Let s be 1/((-5)/(-219)) + 6/30. Let g = s + -38. Which is smaller: g or 7?
g
Let j = 129 + -136. Which is bigger: -70/11 or j?
-70/11
Suppose -3*a - 5*p + 15 = -13, 4*a - 46 = 2*p. Suppose -4*h + 4 = v + 15, -h + 4 = v. Is a < v?
False
Suppose 30 = -0*h - 2*h. Let i = 7 + h. Is i at least as big as -8?
True
Let y = 502/39 - -266/13. Which is bigger: 33 or y?
y
Let p(b) = -2*b**2 - 2*b + 8. Let d be p(-5). Let k = d - -33. Let q = -2 - -28/15. Which is greater: q or k?
k
Let l(h) = -h**3 + 2*h**2 + 3*h + 3. Let k be l(4). Suppose 5*t + 26 = -4*j - 14, 0 = -j + t - 19. Which is greater: k or j?
j
Let g(v) = v**2 - 3*v - 13. Let x be g(6). Let p = 2 - x. Let a be p - (-4)/((-48)/(-45)). Do 2 and a have the same value?
False
Let c = 259/132 + -51/26. Which is bigger: -1 or c?
c
Suppose 30*j - 62*j + 3584 = 0. Which is greater: 453/4 or j?
453/4
Let l = 23/24 - 349/264. Let n = -3/11 - l. Which is bigger: 1 or n?
1
Let q(n) = 13*n + 23. Let f be q(-5). Let z be -2 - 2 - (-3 - f/(-33)). Let w be ((0/1)/(-2))/(-1). Is w less than z?
True
Let a = -1.5 + -7.5. Let o = -11 - a. Let d = o - -3. Which is greater: d or 1/3?
d
Suppose 5*k - 9 = 41. Let m(u) = u**3 - 10*u**2. Let j be m(k). Let x = 151 + -607/4. Which is smaller: x or j?
x
Suppose 333*z + 1038 = 336*z. Is z less than 348?
True
Let s = 167 - 197. Is -27 smaller than s?
False
Let v be (-2)/(-503)*-4*(-12)/32. Which is bigger: -1 or v?
v
Suppose -111 = 5*r - 3*c + c, -15 = -5*c. Let x = r - -18. Is x at most as big as -4?
False
Let h = -2188336687/803 - -2725201. Let d = 808699/22484 - h. Let k = d + -145/4. Which is greater: 0 or k?
k
Let o = -84 - -44. Let f be 48/o*(-44)/18. Let u = -26/15 + f. Is 2 > u?
True
Let o be 20/285*((-21)/(-6) - 2). Is o < -16?
False
Suppose -7*n - 44 = 54. Is n at least -2?
False
Suppose 0 = 2*k + 12 + 30. Is k < -20?
True
Let c = -122 - 114. Let l = 141 + c. Let n be (-14)/120 + (-19)/l. Is n at least 1?
False
Let v = 85/19 + -321/76. Which is smaller: 24.7 or v?
v
Let d = -1732627/2780 + 2493/4. Are d and -1 equal?
False
Let a be 9*(2/6 - 0). Suppose 33*v - 2 = 31*v. Which is greater: v or a?
a
Let z be 2 - ((-1414)/(-882) - 2/(-7)). Let j = -0.09 + -0.91. Is z less than j?
False
Suppose -5*y = 5*l - 40, 4*l - 5*y - 9 + 4 = 0. Suppose q - q = l*q. Which is greater: q or -7/12?
q
Suppose 2*a = 6, 2*u - 5*a + 10*a = 11. Let q be ((-30)/(-20))/(u/4). Is -13/3 at least q?
False
Let s = -47 - -54. Let t(z) = 3*z - 9. Let r be t(s). Suppose 0 = a + 1 - 14. Is a greater than r?
True
Let d be 5*(1 - 0)*-1. Let o(q) = -3*q + 11. Let r be o(2). Suppose -s - r = -1. Is s at most d?
False
Let n = -994 + 993.8. Is n bigger than 68?
False
Let h be -3 + 2 + (4 - 0). Suppose 0*l - 3 = 2*q - 5*l, h*q + 1 = 4*l. Let a = -5 - -7. Which is bigger: q or a?
a
Let r be 0/(3/(-9)*6/(-2)). Let d be -1 + 822/710 - 12/60. Does r = d?
False
Let h = 1202099/202 - 5951. Is -1 smaller than h?
True
Suppose 0 = s - 3*a - 10, 4*a + 8 = -11*s + 15*s. Is -57 <= s?
True
Let f = 14 - 9. Suppose 4*c + 3*w = 15, 5*c - w = -4*w + 21. Does c = f?
False
Let i be (-166)/200 - (-24)/32. Which is greater: i or 0.2?
0.2
Suppose -i = -3*h - 11, -4*h = -5*i - h + 7. Which is bigger: 217 or i?
217
Let u = 7/16 + 299/48. Which is smaller: u or 8?
u
Let v = -13474 + 13687.03. Let m = v + -214. Let p = m + -0.03. Which is smaller: p or -15?
-15
Let f be 13 + (-2)/2 + -2. Let m = 7 - f. Is m < -5?
False
Suppose l = 5*k - 20, 4*l + 5 = -3*k - 2*k. Let s(n) = 2*n**3 - 7*n**2 - 3*n - 1. Let v be s(4). Suppose 3 + 9 = -k*d, 4*u - 4 = -v*d. Which is smaller: 6 or u?
u
Let w = 4177 + -2306. Are w and 1870 unequal?
True
Suppose i + 1018 = -5*o + 245, 4*i = 3*o + 473. Does o = 0.3?
False
Suppose 0 = 2*s + 2*v, s + 4*v + 7 = 1. Let q be s/(-9) - (0 + 50/(-144)). Suppose -2*f = f. Is q less than or equal to f?
False
Let v = 68 - 55. Let s = 13 - v. Which is bigger: s or 1/19?
1/19
Let b(d) = 35*d**2 - 414*d - 69. Let f be b(12). Suppose 3*u - 10 = -4*h, 3*h + 5 = -10. Is u not equal to f?
True
Suppose -10*f - 169 = 411. Let c = -64 - f. Which is smaller: -7 or c?
-7
Suppose 64*a - 63*a = 0. Is -2/1689 at least as big as a?
False
Let s = 19 + -29. Let g be 8/62*(9 + -4)/s. Suppose -5 = 4*n - 1. Which is bigger: g or n?
g
Suppose 3*o - 1 - 3 = 2*u, -2*o = -2*u - 4. Suppose 2 = -2*m - a, m + 5*a = -o*m - 1. Which is smaller: -0.16 or m?
m
Let j = 2 + 1. Suppose 4*l - 2*l + 10 = 0, j*r - 89 = 4*l. Is 23 less than r?
False
Let c = -99 - -193/2. 