lse
Let i = 167 + -107. Let x = i + -58. Are x and 13/8 equal?
False
Let c = 5.4 - 34.2. Let v = 28 + c. Let q = v - -0.9. Is 1/3 >= q?
True
Let r = -185 + 182. Is -110/27 smaller than r?
True
Let y = 28441 + -2559733/90. Let n = -7/9 - y. Suppose -2*s + 4*o - 7 = -o, 5*s + 2 = -3*o. Is s greater than or equal to n?
False
Let t = 1 + -3. Let s be (-4 + 2 - t) + -7. Let i be (6/6 + 0)*-9. Is s < i?
False
Let o = -0.2 + 0. Let d = o - 0.8. Let i = -1458 - -1455. Which is smaller: d or i?
i
Let i be (-1 - -1)*3/12*4. Suppose i = -5*m + 9*m - 80. Which is bigger: 19 or m?
m
Let w = 0.1725 + 0.1475. Is -3.5 at most w?
True
Suppose -2*i - 4*t - 6 = 0, 3*i - 5*t + 4*t - 26 = 0. Suppose 3*a - 12 = -5*r, -4*r + 3*a - i = 5. Let n be 16/(-40) + (9/10)/1. Is n at most as big as r?
False
Suppose 5*f - 7 = 2*j, -j + 15*f = 12*f + 2. Which is greater: j or -10?
-10
Suppose -2*y - 7 = -b + 2*y, -5*y - 10 = 0. Let l be (2/30)/((-7)/(-7)). Let r = l - 101/165. Is r smaller than b?
False
Suppose -4*c - t = -227 - 765, 5*c - t = 1249. Is -1/4 greater than or equal to c?
False
Let d = 2.4 + -2.8. Let s = -0.6 - d. Which is smaller: 0 or s?
s
Let o = 19 - 79/4. Let w(f) be the second derivative of -f**5/20 + f**4/12 + f**3/2 - f**2 - 2*f. Let c be w(2). Which is bigger: c or o?
c
Let m(g) = -g**2 + 3*g. Let i be m(3). Suppose -5*h + c = -6*h, 4*h + c - 15 = i. Suppose 0 = h*q - 23 - 47. Which is bigger: 13 or q?
q
Let v = -62 - -56. Let j be 5/390 + 1/v. Is 0.7 > j?
True
Suppose 2*m + 13 + 10 = 5*o, 3*o = -2*m + 1. Let q be (-7)/97 - o - -3. Let k = -200/1261 + q. Is k at least as big as -1?
True
Suppose 3*h = -3*n + 21, -5*n + 21 = -6*h + 4*h. Suppose -4*f + 2 = -h*j, 3*f - 4*j - j = -2. Which is smaller: -2/7 or f?
-2/7
Let k be 7/(-10)*96/168. Is -2/225 at least as big as k?
True
Suppose -505 + 1415 = -5*w. Which is smaller: w or -181?
w
Let q be 8/6 + 26/39. Suppose 5 = 3*b - s, -3*b = -2*b - 4*s + q. Let m(r) = r**2 - 4*r - 56. Let v be m(10). Which is greater: v or b?
v
Let i = 24 + -32. Suppose -22 = 4*j + f - 3*f, -4*j - 5*f = 57. Is i < j?
False
Let z = 486 - 491. Is z equal to 0.14?
False
Suppose x + 4*o - 3 = 0, -2*x - 5*o = -3*o. Let b = -419 + 17599/42. Which is greater: b or x?
b
Let x be 51*8*4*(-3)/(-9). Is 543 greater than x?
False
Suppose -65*m = -62*m. Is -5/76 > m?
False
Let y = 0 + -3. Let k = 3.54 - 1.43. Let u = -0.11 + k. Is u greater than y?
True
Let a = -292 - -292. Which is bigger: -20 or a?
a
Let x = -41 + 60. Suppose -9 = -4*h + x. Let u = -13/2 + h. Is 1 greater than u?
True
Let i = -2734/3 - -1008. Let p = 12479/129 - i. Is p equal to 1?
False
Suppose -7*x - 4 = -3*x. Let s = 35 - 42. Let r = x + s. Do -8 and r have the same value?
True
Suppose 32 = -2*r - 9*d + 4*d, 0 = -2*r + 3*d. Let x be r/9*(-15)/5. Which is greater: x or -4?
x
Let x = 220258/39 - 5648. Is 0 at least as big as x?
True
Suppose -4*s + 8*s - 12 = 0. Let l(g) = -g + 2. Let i be l(-4). Let t = -4 + i. Is t >= s?
False
Let t = -19 + 25. Suppose -1 = -m - 3*s - t, -2*m - 5*s - 8 = 0. Suppose -3*c + 4 = m. Which is smaller: -0.4 or c?
-0.4
Suppose 0*d + 4*d + 3*n - 25 = 0, d - 3*n - 10 = 0. Suppose 4 = -z + d. Suppose 0*l - z*l = -3. Does l = 1?
True
Let b be (-4)/(-6) + 8/(-12). Let l be -3 - 7578/(-1592) - b. Let q = l - 2/199. Is q != 2?
True
Let u be (-4 - -1) + 1 + 2. Suppose -5*x + 2*x + 2*w - 101 = 0, u = -2*x + w - 67. Is x greater than or equal to -32?
False
Let i = -1 - -2. Let n = 0.42 + 0.48. Let p = i - n. Are p and -7 equal?
False
Let x(p) = -2*p**2 - 4*p - 3 + p**3 + 0 - 3*p**2. Let n be x(6). Let u = 1 + n. Is 10 at least as big as u?
True
Let l be (-10)/2 - (11 + 5)/(-4). Let x be 1/(-2)*(-10)/(-8). Is l != x?
True
Let m = 179 - 178. Which is greater: 49 or m?
49
Let o(p) = -3*p**2 - 9*p + 130. Let c be o(10). Which is bigger: c or -258?
-258
Let b = 270.527 - 269.4. Let f = b - 1.1. Is -1 at most as big as f?
True
Let n be (0 - (-4)/4)*(-10)/(-5). Suppose 5*s + n*s = 7. Which is greater: s or 3/4?
s
Let a = -19 - -9. Let v be (2 + a/8)*-4. Suppose 8 = 4*u - 0. Which is bigger: v or u?
u
Let q = -10 - -8. Let n = -0.07 - -0.03. Which is smaller: q or n?
q
Let h be (0 + -3)*5593/45. Let q = -373 - h. Let x = 0.04 + -0.14. Is x >= q?
True
Let a = -81 - -86. Suppose 3*q = -3*x + 4*q + 14, -5*q = -3*x + 22. Suppose -a = -x*h - 1. Is h greater than 0?
True
Let i = -1 + 0. Suppose -36 = -5*b - 3*l, b - 2*l = -5*l. Let s = i + b. Which is smaller: s or 9?
s
Let w be 5*(-2630)/1300 + 1/(-2). Is w greater than or equal to -11?
True
Suppose c - 12 + 6 = 3*l, 0 = -2*l - 4. Is c greater than or equal to -6/23?
True
Suppose -17 = -8*l - 41. Is 0.02 != l?
True
Suppose 10*m - 9 = 12*m - 3*r, -4*m + 9 = 3*r. Is -47 not equal to m?
True
Let w = 52 + -43. Let y(j) = j**3 - 8*j**2 - 8*j - 9. Let q be y(w). Is -14 smaller than q?
True
Let s = 1087457/25 - 215392/5. Let c = s - 420. Which is smaller: c or -1?
-1
Let j(k) = -3*k + 102. Let d be j(34). Let o be (1 + 30/(-28))/(-1). Is o > d?
True
Let o = 126/23 + -584/115. Which is smaller: o or 248?
o
Let i = -2 + 11. Is 14 at least as big as i?
True
Let y = 1024 + -1164. Is 0.2 greater than y?
True
Let o = 0.097 + -7.797. Let q = -9 - o. Which is smaller: q or -3?
-3
Let i = 713 - 717. Do i and -97 have the same value?
False
Let n = -52 + 38. Let h(r) = -r**3 - 14*r**2 + 2*r + 23. Let d be h(n). Which is greater: -8 or d?
d
Let s = -1755/11 + 121403/759. Do 0 and s have the same value?
False
Suppose -176 = 100*k - 98*k. Is -88 > k?
False
Suppose 0 = -4*h + 8, 0*a = -a + 3*h - 10. Let t be 6*2/a - -2. Suppose -4*x + 0*s - 5*s - 8 = 0, 4*x + 8 = s. Do x and t have different values?
True
Let x(d) = d**2 - 2*d - 1. Let z be x(3). Let v be (-18)/(-9)*25/z. Suppose 0 = 5*y - 0 + v. Which is smaller: -11/2 or y?
-11/2
Let w = -74 - -82. Let f be (w - 2)*(-11)/(-22). Is 1 equal to f?
False
Let f(q) = -q**2 - 8*q - 1. Let z be f(-8). Let c be (-1 + 1)*z - 360/15. Is -1/2 != c?
True
Let o be (56/(-35))/((-18361)/18370 + 1). Let n = o + 3270. Is n equal to 3?
False
Let p be (-24)/36*1/2*-39. Suppose 3 = 2*u + 13, 3*c - 2*u = p. Do c and -1/8 have different values?
True
Suppose -5*v = -5 - 65. Suppose -4*b + 2*g = -v, 3*b + 2*b - 1 = -3*g. Let f be 8/b*(-8)/4. Is f less than -9?
False
Let a = 8 - 15. Let c = -24 - -16.7. Let x = c - a. Which is bigger: -2 or x?
x
Let u = -160 - -174. Which is bigger: 59/4 or u?
59/4
Let l(f) = f + 3. Let i be l(-5). Let b be ((-76)/(-28) - 3) + (-56)/49. Which is bigger: i or b?
b
Suppose -o - i - 78 - 3 = 0, 0 = -i - 3. Let a be (1/o*2)/(-1). Which is smaller: -1 or a?
-1
Let k be 10/(-8) - (-5)/20. Let s = -1 + k. Let z be (2/6)/(5/(-45)). Is z <= s?
True
Let a = -33 - -35.4. Let c = a + -2.33. Which is greater: c or 1?
1
Let o(g) = -g**2 - 3*g + 50. Let n be o(-9). Which is greater: 2 or n?
2
Let s = 721148/429 - 1681. Is s at most 1?
True
Suppose 2*i - 93 = 5*i. Let a = -33 - i. Which is bigger: -5 or a?
a
Let q be (-30)/(-10) - (1 - 2 - 13). Let p = q - 19. Which is bigger: -3/5 or p?
-3/5
Suppose -3*d = g - 5, 4*g + 4*d = -9 + 29. Suppose 2*n + 21 = 7*n + z, 0 = n - g*z + 1. Which is smaller: n or 3?
3
Let k = 1/1764 - 3575/82908. Let u = -6 - -11. Suppose -20 = -3*h - 2*h + u*j, -4*h + 4 = -j. Is k bigger than h?
False
Let v be (-1)/((2/(-114))/(-2 - -3)). Which is greater: v or 59?
59
Let a = 593 - 592.7866. Is -1 bigger than a?
False
Let s = -0.6 - -5.6. Let i = s + -3. Are -11 and i equal?
False
Let a = -675 + 11481/17. Let u be (-8)/10 + 240/(-75). Let b(x) = -x**3 - 4*x**2 + 2*x + 9. Let o be b(u). Which is smaller: a or o?
a
Suppose 0 = 4*q + 5*a - 28, 0 = 2*q - 2*a - 0 + 4. Let s = 37.9 - 0.9. Let k = -31 + s. Which is bigger: q or k?
k
Suppose 10*v - 22 = 9*v. Let c = -263/12 + v. Which is bigger: -1 or c?
c
Suppose 3*v + 0*v - 15 = 0. Let a(o) = o - 4. Let u be a(v). Is 4/5 smaller than u?
True
Let l(a) = 5*a. Let y be l(9). Let f be 10/y + 17/(-60). Let p = 1/20 - f. Is 0.3 smaller than p?
False
Let o be (-196)/(-10) - (-4)/10. Let u(z) = z**3 + 5*z**2 + 80*z + 854. Let m be u(-8). Which is smaller: o or m?
o
Let o be 1 - 2758/(-49) - 9. Is 49 less than or equal to o?
False
Let z be (((-560)/32)/(-35))/(1/2). Which is greater: 1/2124 or z?
z
Let p(n) = -2*n**2 + 9. Let q be p(11).