r than -40?
False
Let o = 2.25 + -2.3. Let f = 3.98 + -4. Let v = o + f. Which is smaller: 0 or v?
v
Let h(o) = o**2 + 5*o - 7. Let w(p) = 2. Let u(y) = 5. Let v(c) = -3*u(c) + 7*w(c). Let b(q) = -h(q) + v(q). Let f be b(-6). Is -1/4 at most as big as f?
True
Let g be 3/4458*(19 - (3 + 4)). Which is smaller: g or 0?
0
Let p(j) = 7*j + 8. Let f be p(-1). Is 8/83 != f?
True
Let t be (-2 - (-1 + 1)) + (-789)/3. Is -265 at least as big as t?
True
Let q = 0.1 + 0. Let g = 0.2 - q. Let x = 1.1 - g. Which is greater: x or 4?
4
Suppose 10 = -155*t + 150*t. Are t and 24 nonequal?
True
Let w = -0.178 + 1.108. Let s = w + -1. Which is greater: s or -0.4?
s
Let v = 75/7 + -361/35. Let h = -0.3 - -2.4. Let d = 1.4 - h. Is d < v?
True
Let m = 86 - 58. Let c = 26 - m. Do -13/6 and c have different values?
True
Let w = 237 + -153. Is 4 > w?
False
Let u = 4 - 3. Let x be (-45)/(-630) - (-66)/(-140). Do u and x have different values?
True
Let o be (-5)/(5/3) - (3 - -7). Let i(j) = -j - 5. Let a be i(-4). Which is greater: o or a?
a
Let s = -16 - -5. Let m(a) = a**3 + 11*a**2 - a - 10. Let t be m(s). Is t less than 1/15?
False
Suppose -25 = 16*j - 41. Is j > 3/86?
True
Let z = 5 + -8. Let y = 0.492 + -0.592. Is z equal to y?
False
Let z be 205 + -6 - 21/(-3). Is z equal to 204?
False
Suppose -4*l = 0, -2*l + 0*l = 3*c - 21. Suppose -r = 2*t - 3*r + 16, -16 = 3*t - 5*r. Let n be 1 + t/9 - (-50)/6. Which is greater: c or n?
n
Let m = 3437 - 3053.1. Let p = -400 + m. Let f = p + 16. Which is bigger: -5/6 or f?
f
Suppose 3*h = 4*u + 217, h + 4*u - u - 68 = 0. Suppose -21*m = 9*m - 2100. Which is smaller: m or h?
m
Let w = 13 - 9. Suppose -w*r = -16, -3*i + 4 = i + 5*r. Let y be i - (-5 + (-1)/(-1)). Which is smaller: 3/8 or y?
y
Let b = -108 - -95. Which is smaller: b or 0.1?
b
Let z be (-18)/117 - 158/156. Suppose 0 = -6*r + 2*r. Is r > z?
True
Let d = 140 + -109. Let k = d + -36. Which is bigger: k or 2/11?
2/11
Let i = -37 + 34. Is -9/7 less than or equal to i?
False
Suppose 505 = 4*a - 1463. Let o be 15/(-12)*22832/(-58). Let j = a - o. Which is greater: -1 or j?
j
Let v = -4 + 4.3. Let z = -4.8885 - 0.1115. Which is bigger: v or z?
v
Let q be 5/(-2*2/52). Let h = q + 58. Which is greater: -8 or h?
h
Let r be 1/(5/(-20)*2) + 4. Let z(c) = 3*c. Let m be z(6). Suppose -12 = -2*i - 3*f, i - m = -r*i + 2*f. Which is greater: 16/3 or i?
i
Let r = -480 + 13917/29. Which is smaller: 0.2 or r?
r
Let l be (9052/496)/((-2)/8). Which is greater: l or -76?
l
Let l = 178147/26 - 6853. Is -2 greater than l?
False
Let h = 305 + -348. Let c(v) = 6*v. Let t be c(-7). Are t and h nonequal?
True
Let h = 16 - 5. Let c = h + -11.8. Let a = c + -1.2. Is 0 <= a?
False
Let l be -9 - ((-1)/(-1) - 0). Let g be (-506)/55 - 2/l. Let i = g + 8. Which is smaller: 3/7 or i?
i
Suppose u - 2*z + 7 + 10 = 0, -2*u - z = 44. Let i be -2*((-54)/u - 2). Which is smaller: i or -1?
i
Let b = 63370/19 - 3336. Let r = b + 80/57. Let i = 8 - 7.6. Is i <= r?
True
Let l = -17 + 21. Let b be (2/4)/((-2)/l). Let j be ((-2)/(-1))/(17 + 0). Is j smaller than b?
False
Let q be 0/(1 + 0/(-3)). Let z be (-19)/(-2) - 3/(-2). Suppose -12*t + z*t + 4 = q. Is t at most 3?
False
Suppose 3*g + 2*t - 5*t - 6 = 0, -2*g - 5*t - 24 = 0. Let x be g - 4/(-114)*1422/24. Do x and 1 have different values?
True
Let c = -224.8 - -224.6. Which is smaller: c or -7/150?
c
Suppose 15*y + 8 = 17*y. Suppose -2*p + p - 18 = -v, -y*p + 47 = 3*v. Is 17 != v?
False
Let q be 2/(-3) - ((-130)/(-30))/13. Is -16/35 equal to q?
False
Let l be (2/(-3))/((-6)/441). Let j be ((-1)/2)/(l/(-14)). Let a = 9 - 8. Is a > j?
True
Let k = -33 - -35. Let f(w) = -8*w + 15. Let l be f(k). Let z be -1 + 1/(-2)*-6. Which is smaller: z or l?
l
Let r(s) = -4*s + 147. Let f be r(37). Let u = 233818/3 + -25720771/330. Let x = u - -38/15. Which is bigger: x or f?
x
Let t = -5645.885 - -5590. Let v = t + -0.115. Which is smaller: v or 1?
v
Let y be (22 - -4) + 1 + -1. Let k be (-316)/y + (-8)/(-52). Is -11 < k?
False
Suppose 2*g + 1 - 9 = 0. Let t = -7 + g. Let k be (-4 - 60/(-14)) + 120/(-28). Which is greater: t or k?
t
Suppose 2*a = -2*n + 277 + 571, -3*a + n + 1292 = 0. Let s be 2 - (1719/a + -2). Is -1 > s?
False
Let l = -41 - -33. Let v be (-2 - 4)*l/84. Which is greater: 1 or v?
1
Suppose 0 = -x - 3*x - 16, -5*x + 77 = l. Let j = -91 + l. Is 3 at least as big as j?
False
Suppose -7*f + 3*b = -3*f - 935, 3*f + 3*b = 717. Which is smaller: f or 238?
f
Let w = 15 - 13. Suppose 4*n + w*n + 78 = 0. Which is smaller: n or -11?
n
Let x be (2 + (-90)/36)*(-4)/2. Is 32/41 less than or equal to x?
True
Let o = -29.6 + -3.4. Let h = o - -35. Is -2/19 greater than h?
False
Let a(l) = -2*l**3 + 66*l**2 - 127*l + 63. Let i be a(31). Which is smaller: i or -560/19?
i
Suppose 4*h = -12, 0 = -3*n + 4*h + 66 - 18. Suppose n*m = 5*m - 7. Let g = 2136/13715 + -2/1055. Which is smaller: g or m?
m
Let n be 58/12 - (-17)/102. Suppose -n*t = 4*v - 18, -4*t = -0*v - 4*v - 36. Which is smaller: t or 5?
5
Suppose -2*q - 15 = 3. Let m = q - -13. Suppose 2*o - 10 = m*o. Is -5 not equal to o?
False
Suppose 5*a + 5*d + 15 = 0, -3*a - 6*d + 3 = -9*d. Are -66 and a equal?
False
Let b = -309 - -322. Let s be (-12)/(-1) - (-4)/(-2). Which is smaller: b or s?
s
Suppose -3*t + 3 = 4*d, 3*t - t = 2. Do -1/333 and d have the same value?
False
Let h = -16465/4431 + 1/633. Is -3 not equal to h?
True
Let t(h) = h. Suppose -3 = 3*c - 0*c. Let a be t(c). Let w be 2*-1 + 9 + -9 + -1. Is w != a?
True
Let w = 0.012 - 1.012. Let n = -6 + 6.05. Let k = n + 4.95. Which is greater: w or k?
k
Let b = -2/467 - 459/1868. Let n be (-1)/4 - 1 - -1. Is b greater than n?
False
Let m = -33.3 - -26.94. Let s = 0.64 - m. Which is greater: -0.05 or s?
s
Let g = 490 - 1007/2. Is -14 < g?
True
Let l = 59 - -11. Is l at most 71?
True
Suppose 4*p = -5*n - 1408, 1341 + 419 = -5*p + 5*n. Let a be (-280)/p + ((-9)/(-12))/(-3). Which is bigger: a or 5?
5
Suppose -m - 2*g - 12 = 0, m + 4*g + 27 = -g. Let y(l) = -l**3 + 12*l**2 + 13*l - 18. Let h be y(13). Let i be 4/h + 111/(-108). Which is greater: i or m?
i
Let g = 17483 - 11335. Let q = 42880/7 - g. Let o = -160/7 - q. Which is smaller: o or -1?
-1
Let q(j) = -j - 5. Let g(a) = 7*a**3 + a**2 + a + 1. Let i be g(-1). Let w = i - 0. Let x be q(w). Is x > 2?
False
Suppose 0 = -41*r + 2 + 39. Which is bigger: r or 2/391?
r
Let b be ((-6)/328)/(-11 - (-5535)/504). Is b at least as big as 0?
True
Let c = -1236 - -1178. Which is bigger: -178/3 or c?
c
Let a be 124 - (-3 + 1) - 0. Is 130 at least a?
True
Let h(b) = -b**2 + 16*b - 33. Let c be h(13). Let f be (2/14*c)/((-2)/14). Is f greater than or equal to -6?
True
Let b(t) = -3*t. Let u be b(1). Let y be -3 - -6 - (7 + -2). Is y >= u?
True
Let s = -173 - -309. Is s at most as big as 136?
True
Suppose -r + 2*u - 6 = 0, 2*r = -2*r + 3*u + 1. Let m(b) = -r + 6*b - 7*b + 10. Let i be m(0). Is i >= 5?
True
Suppose 30*s - 627 - 93 = 0. Is s at most as big as 18?
False
Let j be 11*3*(-4 - -5). Let l be 14/21 + (-34)/j. Suppose o + 8 = -o - 5*d, 2*d = -2*o - 2. Which is smaller: l or o?
l
Suppose u - 4 = -3. Let t = 1177/10 + -117. Let y = t - -1/20. Does y = u?
False
Let h = 243 + -1695/7. Is 5 > h?
True
Let c = -69 - -72. Let o be c*20/(-8)*2/(-3). Which is bigger: o or 6?
6
Let f(w) = 6*w - 5. Let r be f(1). Suppose -24 = -5*s - s. Let k be s + 46/(-12) + 2. Is k greater than r?
True
Let a(i) = i**3 + 6*i**2 - i - 5. Let z be a(-6). Let r be 4/6 + (-44)/(-33). Which is greater: r or z?
r
Suppose 3 = 3*j - 3. Suppose -3 - 1 = -j*b. Suppose -2*d = -0*d. Which is greater: d or b?
b
Let s = -4 - -1. Let i = 25 - 7. Suppose 0*q + i = -6*q. Is q at least as big as s?
True
Let p be -4*((-122)/(-8) - 1 - 4). Let a = p - -5. Is a greater than -36?
False
Let n = -1736 + 2143. Is -0.2 greater than or equal to n?
False
Suppose j + 0*q = -4*q + 4, -j + 16 = -2*q. Suppose 3*u - j = 0, -6 = -3*l + l - u. Let k = -3/52 - -167/1092. Which is bigger: l or k?
l
Let r = 97.51 - 98. Let w = r + 0.25. Let x = w - -0.14. Is x < -1?
False
Let n(u) = u**3 - 5*u**2 - 5*u - 2. Let o be (-12)/(-3) - 6/(-3). Let k be n(o). Which is smaller: 7 or k?
k
Let i be ((1 - 5) + 1)*-1. Let v(o) = -3*o**3 - 4*o - 3. Let j be v(-1). Suppose -4*k + 5 = 2*b + 15, -j*b + 5