lse
Let b = 31 - 30.92. Which is greater: b or 5/2?
5/2
Let p = -0.04 - -0.19. Let s = 0.05 - p. Suppose 3 = 5*w - 2. Which is bigger: s or w?
w
Let k be (2/6)/(1/(-3)). Let i be 6235*1/(-18) - (-20)/90. Let n = i + 345. Which is smaller: k or n?
n
Let g = -19 + 11. Let r(q) = -2*q + 1. Let b be r(-5). Suppose b = 2*x + 29. Do x and g have the same value?
False
Let o = 1 + -9. Let w(i) = 2*i**3 - 18*i**2 - 46*i + 13. Let x be w(11). Is x >= o?
False
Let o(m) = 3*m + 27. Let q be o(6). Let y = q - 44. Are y and 1/23 unequal?
True
Let a = -3241.99 + 3242. Which is bigger: 95 or a?
95
Suppose -3 = -l - 0. Suppose 0 = 5*n - 2*t, -2*n + l*n = 2*t. Are -7/5 and n equal?
False
Let o be (0 + 1)/(14/406). Suppose 5*c - 4*c = o. Is c at most as big as 29?
True
Let u(o) = -o**3 + 4*o**2 - 2*o + 1. Suppose 6 = d + 2*b, -4*d - 5*b = -24 + 3. Let v be u(d). Let p = -0.111 + 0.011. Which is greater: v or p?
p
Let k(d) = d**3 + 11*d**2 + 27*d - 7. Let q be k(-7). Does q = -1/89?
False
Suppose -2*q = 4*m + 62, 3*q + 22 - 7 = 0. Which is smaller: m or -82/7?
m
Let w be (-5775)/(-392) + 11/88. Is 16 less than w?
False
Suppose 436 = 5*h - 384. Suppose 14*w = 32 + h. Is w >= 15?
False
Suppose 4*w - 7*w = -48. Let b = -16 + w. Suppose b*t = t. Which is smaller: t or 3/7?
t
Let r = 1 - 3. Let q = 2477/17290 + -1/2470. Which is smaller: q or r?
r
Let y be (4/14)/(750/(-70)). Suppose 8 = 4*j + 3*v - 11, -v = -3*j - 2. Is y bigger than j?
False
Let m = 0.2 + -1.2. Let g = 0.04 - 0.04. Let k = m - g. Is k < 4?
True
Let y = 5 - 20. Let q = 16 + y. Let h = -153/20 + 33/4. Is q greater than h?
True
Let z = 3124/1728315 + -2/2895. Let d = z - -55513/7164. Let n = 8 - d. Do n and 0 have the same value?
False
Suppose -x + 4*g - 12 = -0*x, 3*g = 3*x - 9. Suppose 2 = 2*i - x. Suppose -b = -i*b. Which is bigger: b or -1/62?
b
Suppose -3*o + 2*w - 17 = 33, -4*o - 5*w = 59. Which is smaller: o or -15?
o
Let w = 295 - 293. Which is smaller: w or -54?
-54
Let h(a) = -a**2 - 5. Let s be h(0). Suppose 4*g = -l - 40 + 27, 3*g + l + 10 = 0. Are s and g nonequal?
True
Let f(l) = -10*l**3 - l**2 - l + 1. Let x be f(1). Suppose -4*a - a = 105. Let g = 10 + a. Is x at least as big as g?
True
Let d = 38035/77 - 5124/11. Is 27 smaller than d?
True
Let q = 454 + -230. Suppose 0 = -11*i + 4*i - q. Let x be (40/(-352))/((-2)/i). Are x and -3 equal?
False
Suppose 0 = 2*d + 9*d - 495. Suppose 0*f = 4*f - 80. Let p be d/f + (-1 - 1). Which is smaller: p or 0?
0
Let d be (8/10)/(4/(-30)). Let x = 19 + -15. Let l = x - 11. Which is smaller: d or l?
l
Suppose 2 = -0*n + 2*n. Let m = -10 - -1. Let i be (-16)/(-72) - 7/m. Is n > i?
False
Let c = 23.27 + -1.27. Let y = c - 25. Which is greater: 2/65 or y?
2/65
Let b(r) = -13*r + 92. Let s be b(7). Is -1/233 equal to s?
False
Let x = -18.3 + 16. Let l = -2 + 4. Let f = l + x. Which is greater: -1 or f?
f
Let u = -602 + 427. Let m = u + 155.3. Let d = m + 20. Which is greater: -1 or d?
d
Let x = -397 - -489. Is -0.2 smaller than x?
True
Let y = 10.68 + 0.32. Let i = -7.7 + y. Is i less than or equal to 1?
False
Suppose -44 = -2*g - 2*g. Let m = 62 - 62. Suppose m*h = -h - 5*z + 12, 5*h - 2*z - 60 = 0. Is h at most g?
False
Let c = -77/247 - -3/19. Let w = -194/105 + 12/7. Are w and c equal?
False
Let f(n) = 7*n + 100. Let z be f(-14). Suppose 4*r - 6 = z*b, 2*r = 7*r + b - 4. Let h = 2 - 0. Which is smaller: h or r?
r
Let m be 2/(-17) - 102/(-867). Is -1/166 < m?
True
Let w be (-24)/2244*11 - (-2650)/(-17). Are w and 0.1 non-equal?
True
Let s = 3 - -1. Let q(v) = v**3 - 7*v**2 - 4. Let m be q(7). Let i = m + s. Which is smaller: -1 or i?
-1
Let r = -207 + 207. Which is greater: r or 12/19?
12/19
Let d(a) = 3*a - 3. Let h be d(3). Let z be (-4)/12 + 176/24. Is h > z?
False
Let l(q) = 13408*q - 2*q**2 - 6703*q - 2*q**3 + q**3 + 5 - 6698*q. Let w(h) = -h**2 + h + 2. Let d be w(3). Let g be l(d). Is 8 at most as big as g?
True
Let t = -29 + 17. Which is smaller: -9 or t?
t
Suppose -53 = -4*i - 9. Let y = i + 1. Is 14 <= y?
False
Let c be 3*-1 + (27 - 17). Let u be 44/77*c/10. Which is smaller: u or -4/7?
-4/7
Suppose 39*k - 288 = 42*k. Let y = k - -5761/60. Is 1 < y?
False
Let z = 97/10 + -69/5. Is -4 at most z?
False
Suppose 2*c - 9 = 5*c. Suppose 3*b - 5 = d, 5*b - 2*d + 0 - 8 = 0. Suppose 0 = 5*v - b + 17, -2*s - 2*v - 2 = 0. Is c greater than s?
False
Let p be 1/5*15/186072. Let n = -4527423/20405896 - p. Let i = n + -3/47. Are 2/19 and i nonequal?
True
Suppose -17*z = 2*z + 266. Are -13 and z nonequal?
True
Let j = 15.1 + -18. Let m = j - -3. Let i = -84.5 - -85. Is m greater than i?
False
Let z = 2/251 + -516/1757. Let o(w) = w**2 - 9*w + 9. Let q be o(8). Which is greater: z or q?
q
Suppose -3*u = -2*y - 13 + 1, -y + 5*u - 13 = 0. Let o be (y/18)/((-2)/16). Suppose 7 = x + 2*x - h, 4*h + 6 = x. Which is bigger: o or x?
x
Let o = -23481/10 - -4645/2. Which is smaller: o or -25?
o
Let j be ((-3)/(17 - 14))/((-8)/(-1)). Let g = 4 - -1. Let q = 4 - g. Is j smaller than q?
False
Let z(l) = 13*l**2 + 15*l + 14. Let t be z(-1). Does 14 = t?
False
Let w = -423 + 430.3. Suppose 0*s - 5*n + 7 = 2*s, -3*s + 2*n + 1 = 0. Which is greater: s or w?
w
Let f(c) = -c**3 + 2*c**2 + 17*c - 9. Let n be f(5). Is n not equal to -1/621?
True
Let h be (-3)/(-6)*(-2 + 6 + -2). Let i = 56 - 276/5. Which is smaller: h or i?
i
Suppose -12*v + 7*v - 10 = 0. Let j be (0 + v)*((-21)/(-14) - 3). Which is greater: 1 or j?
j
Let c = 26 - 21. Let j = c + -39/8. Let k = 0.03 - -0.07. Is k greater than j?
False
Let i be (-1263451)/(-36) + (19 - 22). Let p = i - 35098. Let n = 44/9 + p. Which is smaller: 1 or n?
n
Let f be 3/12 + 11/4. Let m be 2/(-6) - 2/f. Let q(c) = c + 3. Let u be q(-4). Is u <= m?
True
Let p = 28.86 - 29. Let o = p - -0.04. Let k = 3/5 + -2. Which is smaller: o or k?
k
Let m = 21 + -1. Let u be (4 + -3)/(8/128). Suppose 5*s - u = s, -n + 3*s + 7 = 0. Is m < n?
False
Let n = -17 + 17. Suppose 3*h - 2*a = 12, n = -3*h + 4*a + 9 - 3. Let m be h/(((-21)/(-4))/(-1)). Is -1 at most m?
False
Suppose -2*w - 8 = 2. Let q = 21 - 18. Suppose m = 3*c, q*c - 2*c = -1. Is w < m?
True
Suppose -4*t - c + 8 = -2*c, -5*t = 3*c + 7. Suppose 983 - 977 = -6*o. Is t < o?
False
Let f be (-1044)/66 + (-2)/11. Which is bigger: f or -11?
-11
Suppose 49*d - 81 = -32*d. Which is greater: d or 2?
2
Let x = 4501 + -2597. Is x equal to 1904?
True
Let p be (-480)/(-3502) + 50/(-425). Is p bigger than 1?
False
Let p = 42 + -14. Suppose 0 = 7*w + p + 7. Is w equal to -6?
False
Let o = 1 + -1.2. Let v = 29 - 34. Let p = v - -4. Is p greater than or equal to o?
False
Let w(y) = -y**3 - 6*y**2 + 15*y - 23. Let v be w(-8). Do v and -0.1 have different values?
True
Let d = 307 - 300. Which is bigger: -8/7 or d?
d
Let g(z) = z + 11. Let h be g(-7). Let l = 12 - 7. Is l >= h?
True
Let t(d) = -d**3 - 6*d**2 - 7*d. Let w be t(-5). Suppose 3*l - 1 + 55 = 0. Let y be (-6)/l - 26/(-3). Is y >= w?
False
Let w = -0.81 - -0.5. Let h = w + 0.41. Which is bigger: h or -2.6?
h
Let r = 1356 + -73219/54. Which is smaller: 0.2 or r?
r
Let l be 2/(-9) - 5/(-225). Let u = 27/10 - 16/5. Let x = 0 - u. Which is smaller: x or l?
l
Suppose 9*d + 119 = 2*d. Is d greater than or equal to -19?
True
Let h = 32378 - 17127956/529. Which is smaller: 1 or h?
h
Suppose -2*a + 91 + 13 = 0. Suppose f = -2*s + 51, 2*f - 102 = -6*s + s. Which is smaller: f or a?
f
Let c = -74 + 730. Let u be ((-18)/c)/((-6)/8). Let k = u + 117/164. Which is bigger: 0 or k?
k
Let z = 170 + -112. Is 58 equal to z?
True
Let o = 90 - 361/4. Let y = 0.3 + -0.5. Is y at least as big as o?
True
Let t(k) = k**3 + 6*k**2 - 17*k - 35. Let z be t(-7). Which is greater: z or 32?
z
Let k be 3/(21/2)*14. Let f be 27/(-54)*(k + (-1 - 0)). Which is greater: f or 25?
25
Let m = -0.024 + -0.376. Let r = 0.41 + m. Is r != 1/7?
True
Let n(q) = 5*q**2 + 41*q + 9. Let b be n(-9). Let o = b + -31. Which is greater: -2/3 or o?
o
Suppose 0 = -2*r - 5*n - 9, -2*r = 3*r - 5*n + 5. Suppose -5*j + 3*b - 12 = 0, j + b - 4 = 2*j. Let p be (j/(-4 - r))/(-2). Which is greater: p or -4/15?
p
Let k = 3.93 + -2.93. Which is smaller: -791 or k?
-791
Let d = 7373951 - 228615950/31. Let o = d - -757. Is o equal to -6/5?
False
Suppose -4*y - 199 - 761 = 0. Let z be (-3)/(15/46)*-26. Let b = y