lse
Let s = -51 + 35. Let m be (-25)/(-2)*s/20. Which is smaller: -13 or m?
-13
Let w be (15/(-9))/(10/(-12)). Suppose 5*v + y = -68, -v + 7*y + 2 = w*y. Let q = -32 - -20. Is q at least as big as v?
True
Let d(b) = -b**3 + b**2 + 2*b. Let r be d(0). Is r less than or equal to 235?
True
Let q = -1964 - -1966. Which is smaller: q or 8/9?
8/9
Let a be (-300)/(-77) + 1*-2. Let z be (2/(-55))/((-4)/240). Let t = a - z. Is -1 bigger than t?
False
Suppose 5*d - 32 = -12. Let u = 20 - 10. Is u <= d?
False
Let t = 2 - 1. Let w = -40.24 - -41. Let c = 0.86 - w. Is t > c?
True
Let o(b) = -2*b - 4. Let w be o(-4). Suppose -j - w*j = 0. Suppose -2*f + 311 - 317 = 0. Which is greater: j or f?
j
Let u be (-4)/14 + 11908/28. Let i = u + -8072/19. Is i at most 0?
False
Let i be (8 - (-1 - -16)) + 0. Let c = -1 + -6. Do i and c have the same value?
True
Suppose -m + 4*z = 17, -2*m + 8 = 4*z - 6. Which is greater: -2/209 or m?
-2/209
Suppose 0 = -3*s - 12, -5*s = z - 4*s + 34. Let x be 231/(-49) - -5 - z/(-7). Is -2 > x?
True
Let l(j) = j**2 - 6*j + 12. Let p = 14 + -10. Let r be l(p). Is r at least 3/5?
True
Suppose -5*s + 61 + 11 = 2*z, -4*s + 72 = -2*z. Suppose -11*p - 30 = -s*p. Is p at most 4?
False
Let m be 3268/(-36) + -5 + (-16)/72. Is m not equal to -97?
True
Let o be (396/(-84) - -5)/(-16). Which is bigger: 0.1 or o?
0.1
Let r = 7.35 - 7.15. Which is smaller: 10.2 or r?
r
Let v = 180 - 126. Is 53 > v?
False
Let v = -2 - 8. Let k be v/(-30) + (-10)/12. Which is bigger: 0.15 or k?
0.15
Suppose -7*f + 150 = -25. Let b be f/(15/3) + -5. Do 4 and b have the same value?
False
Let y = 9 - 9.2. Let v = 3.6 + 3.2. Let r = v - y. Is r at most -1?
False
Let b be (0 + (-1)/(-2))*2. Let m(q) = q**3 + 4 - 17*q**2 + 2 + 7*q**2. Let h be m(10). Which is smaller: h or b?
b
Let g be (-3)/9 - (-9215)/(-171). Which is smaller: -54 or g?
g
Let d(r) = 5*r + 2. Let w be d(0). Which is smaller: w or 18/13?
18/13
Let x(b) be the third derivative of -11*b**4/24 + 2*b**2. Let j be x(1). Let s = j - -26. Which is smaller: 14 or s?
14
Let d be (-6)/(-8) - 159/(-12). Let y = 16 - d. Let l be y/3 + 76/(-60). Does 0.3 = l?
False
Let w be -1*1 + (-8 - -39). Suppose -43 = -4*l + y, 0 = -5*l - 4*y + 50 + w. Let d = 3 - l. Is -8 >= d?
True
Let q = -30.35 + 0.05. Is 1/4 < q?
False
Let c = 13.56 - 13.66. Does c = -970?
False
Let h = -55 - -46. Let i be (-6)/h - 5/3. Are -2/67 and i equal?
False
Let r be (28 - 0) + (3 - 3). Let h be (-174)/r + 10/(-35). Suppose -30 = 10*y - 5*y. Which is greater: y or h?
y
Let n be (-8)/(-12)*((-396)/(-8) + 3). Is 39 > n?
True
Let o(i) = -i**3 - 8*i**2 - 8*i - 7. Let n(w) = w**3 - 10*w**2 + 20*w. Let c be n(7). Let a be o(c). Which is bigger: 13 or a?
13
Suppose 2*v = z - 2*z - 492, -5*z - 5*v = 2465. Let q be z/972 - (-2)/4. Is q < 1?
True
Let n be (0 - -1) + (-3 - 0). Let k = -412.1 + 368. Let j = 44 + k. Which is bigger: n or j?
j
Let q = 1103 - 5524/5. Let g(c) = 2*c - 6. Let p be g(5). Let x be 69/(-21) - p/(-14). Which is smaller: x or q?
x
Suppose b = 5*h + 3*b - 17, 4*h - 13 = -b. Let m = h + 5. Let u = m - 9. Does u = -1?
True
Let s be 2/(-8) - 21*155/3300. Let w = s + 18/11. Is w equal to 27?
False
Let u = 1462/27 + -54. Let h = 32/27 + u. Let v = 2 + h. Which is bigger: 3 or v?
v
Suppose -5*n - c = -12 - 22, 0 = -5*n + 5*c + 40. Let d = n + -3. Suppose 0 = -d*z + w + 4, -z - 4*w + 1 = -0*w. Is -2/5 smaller than z?
True
Suppose 119 - 2 = 3*i. Let s = -1197 - -1237. Is i smaller than s?
True
Let t = 4 + -12. Let b = 0.08 + 0.03. Let o = -0.01 + b. Which is bigger: t or o?
o
Let s(d) = -d**3 - 14*d**2 - 3*d + 33. Let y be s(-8). Do -328 and y have the same value?
False
Let r = 82.95 + 2.05. Let l = r - 84. Which is smaller: -6 or l?
-6
Let c(r) = -r**2 + 8*r - 10. Let y be c(6). Suppose 3*f - y*n = -3*n + 69, 3*f - 4*n - 54 = 0. Let o = 14 - f. Is o equal to -8?
True
Suppose 0 = -8*l + 2 + 14. Let y(h) = -h**3 + 5*h**2 - 6*h + 6. Let n be y(4). Are n and l non-equal?
True
Suppose -140 = -32*f - 364. Which is smaller: -22/3 or f?
-22/3
Let q = 4 - 4. Let v = 7 - q. Let l = v + -10. Which is greater: 2 or l?
2
Let s(i) = -i**2 + 8*i + 254. Let h be s(-14). Which is greater: -58 or h?
h
Let z = 6.91 - -0.09. Let x = 9 - z. Let i = -1.5 + x. Which is smaller: 1 or i?
i
Let x(r) = 6*r**3 + 1. Let u be x(1). Suppose 7*b - 3*b = 0. Let q be (u - 6)*(b - -1). Is -1/16 less than q?
True
Let f = -8/13 - 101/26. Suppose 0 = g - 4*g + 3. Let j = g - 5. Which is smaller: f or j?
f
Suppose -2*d + 0*d - 2 = 5*b, d + 2*b = 0. Suppose 0 = -d*a - 6 + 2. Let m = 23 - 24. Is m >= a?
True
Let j = -0.425 + 0.375. Is j less than or equal to 0?
True
Let u be (-123952)/31049 - -1*1*4. Which is greater: u or -1?
u
Let u = -0.1766 + 5.1766. Let l = 0 - -1. Let r = l + -2. Is r at most u?
True
Let q = 0.061 - -2.589. Let m = q - 2.6. Let y = m + -1.65. Is y <= 2/3?
True
Let o(g) = 6*g**2 + 12*g - 24. Let m be o(-11). Let j be (-258)/m + (-4)/(-10). Which is smaller: j or -1?
-1
Let s be (-1 + 3)/(2/(-8)). Let n = -59 + 137. Let q be s/n*6/(-4). Is q greater than 1?
False
Let l be ((-555)/296)/(0 - (-531)/(-12)). Which is greater: -1 or l?
l
Let f = -21 - -24. Suppose -5*m = -f*m - 0*m. Suppose 4*c - 3 = -n, -3*c + 4*n = -0*c - 7. Which is bigger: m or c?
c
Let o(c) = -c**3 + 8*c**2 - 3*c + 12. Let a be o(8). Let z be a/(-10)*(-130)/3. Let w be (2/(-4))/(2/z). Is 14 less than or equal to w?
False
Let m = -0.444 - -0.405. Is m <= 4?
True
Let f = -11 + 5. Let o = f - -11. Let l = 1.1 + -1.2. Is l greater than or equal to o?
False
Let l = 0.96 + -0.27. Let u = 16.09 - l. Let i = 15 - u. Is i at least 0?
False
Suppose -4*g + 30 = 5*k - 0*k, -4*g + 2*k = -16. Suppose -2 = -g*o + 8. Let z be (-98)/20 + 55/22 - -4. Which is bigger: o or z?
o
Let d = -62/53 - -91903/318. Let g = -284 + d. Which is smaller: 3 or g?
3
Let c(k) = 3*k**2 - 5*k + 2. Let g be c(-4). Which is greater: 67 or g?
g
Let q = -4.6 - -4.9. Let w = 3.62 + -3.4. Is w <= q?
True
Let l = 39.97 + 0.03. Let a = l + -20. Let r = 20.3 - a. Which is smaller: r or -2/7?
-2/7
Let u = -70 + 75. Suppose 2*s + r = u*r + 46, -5*s + 115 = -r. Is s equal to 24?
False
Suppose 0*m + 15 = 5*m. Let s = -5 - -10. Suppose -4*z + s*p - 12 = 0, 0 = -2*z - p + 5 + m. Are z and 3 non-equal?
True
Let q = -10442.834 - -10432. Let g = -0.266 + q. Let r = -0.1 - g. Which is smaller: -1 or r?
-1
Suppose 0 = -4*i - 1415 + 1407. Is i less than or equal to 1?
True
Let j be (-252)/297 + 4/22. Let s = 531 - 6361/12. Let w = s + j. Is 3/5 > w?
True
Let z be ((-28)/42)/(6/(-274)). Let o = -266/9 + z. Is 2 > o?
True
Let i = 43 + -26. Suppose -3 = -g + q, 2*g + 4*q - i = 7. Suppose k = -0*k + 3*h + g, -4 = 4*h. Is 3 at most k?
True
Suppose 4*w - 717 = j, 5*w - 10*w + 906 = 2*j. Which is greater: w or 179?
w
Let a be (1 - 2)/(-1 - 126/3). Suppose b = 3*b - 4. Let f = -3 + b. Which is smaller: a or f?
f
Let m = 24 + 9. Let g be 2/(-2 + 0)*37/111. Are g and m unequal?
True
Let z = -205 + 204. Which is smaller: z or -1.894?
-1.894
Let b be (-2)/(-13) + (-766128)/(-429). Is b equal to 1786?
True
Suppose -30*m = -29*m. Suppose -5*b = -3*o + 15, 2*b + m*b + 4*o = 20. Is 1/29 at least b?
True
Let z be 0 + 11/(-5) + 2. Is 0.2 at least z?
True
Let v = 2.96 - -0.04. Let r = -433 + 436.1. Let w = v - r. Is w != -2?
True
Let m = -50 + 83. Suppose 2*q - c = 38, 35 = 3*q + 4*c - m. Is 22 > q?
True
Let z = -110 - 16. Let w = -126 - z. Which is greater: w or -25?
w
Suppose 1297 - 985 = 12*w. Do w and 29 have the same value?
False
Suppose 0*f = 2*f + 10, 0 = -4*u + 4*f + 216. Suppose 21*b - 20*b = u. Let t = 22 - b. Which is smaller: -26 or t?
t
Let r be (24/15)/((-2)/(-5)). Suppose 0 = r*w + 6 + 10. Let m(c) = -c**2 + 39*c - 81. Let a be m(37). Which is bigger: w or a?
w
Let h = 2832/7 + -2894/7. Let w = h - -47/7. Which is bigger: w or -2?
-2
Suppose 0 = 99*g - 93*g + 120. Which is bigger: g or -22?
g
Let c be -1 - -4 - 1*715/231. Suppose 0 = -3*r + 5*r + 4*s - 20, 0 = -r - 3*s + 13. Which is smaller: r or c?
c
Let a be 660/9*-9*(-5)/(-30). Which is bigger: 2/13 or a?
2/13
Let a(h) = h**3 + 3*h**2 - 4*h. Let d be a(-4). Let l be (3/(3/2))/((-36)/234). Let o = l - -23. Is o at least as big as d?
True
Let m = 0.122 - 97.122. Let p = m - -96.9. Is p greater than -2?
Tr