lse
Let d = 34 + -7. Let z = -126 - -126.1. Is d not equal to z?
True
Suppose 22*k = 18*k + 8. Is k bigger than 10/9?
True
Let r = -16 - -13.8. Let g = r - -2. Let z(s) = 20*s - 1035. Let k be z(52). Which is smaller: g or k?
g
Let q = -133495 - -671880333/5033. Is 0 < q?
False
Let f = 3.97 - 4. Let h = 0.03 + f. Let j be 15/(-9) + (-1)/(-1). Are j and h non-equal?
True
Let z be 11/(-110)*(5 + 617). Which is smaller: -61 or z?
z
Let x(w) = -w**2 + 3*w - 4. Suppose -2*h + 5*c - 1 = -7, -4*h + 12 = 2*c. Let s be x(h). Which is smaller: -3 or s?
s
Let l = 184 + -177. Is l less than 7?
False
Let b(f) = -f**2 + 22*f - 21. Let d be b(21). Suppose v - 2 = -3. Let o be 3 + 1 + -8 + v. Is d >= o?
True
Suppose 68 + 332 = 5*x. Suppose x = -3*a - 2*a. Is 2 greater than a?
True
Let s be 64/36 - 2/(-9). Suppose s*u - 5*q - 5 = 0, 5*u = 2*u - 4*q - 50. Which is bigger: u or -2?
-2
Suppose 0*h = 5*h. Suppose -3*a = -h*a. Do 1/3 and a have the same value?
False
Let m = -270 - -150. Which is smaller: -121 or m?
-121
Let m = -325.3 - -310. Let g = 14 + m. Let k = -1.9 - g. Do 1 and k have different values?
True
Let h = -34.1 + -1.9. Let k = h - -27. Which is greater: 0.3 or k?
0.3
Let p(x) = x**2 - 12*x - 3. Suppose 62 = 5*c - i, -5*c - i = 3*i - 52. Let f be p(c). Which is bigger: -10 or f?
f
Suppose 0 = 4*w - 8. Let r be (-3479)/(-858) - w/(-4). Let z = -60/13 + r. Which is bigger: -1 or z?
z
Let s be 18/(-2)*533/(-117). Which is smaller: 43 or s?
s
Let m = 0.27 - 23.27. Let d = m + 23.05. Is d greater than -1/6?
True
Let j be (-28)/(-7) + 750/(-188). Is 1/4 bigger than j?
True
Let n = -39648/11 - -3597. Which is bigger: n or -7?
-7
Let l(d) = 8*d - 3. Let o(b) = b**2 + 10*b + 13. Let t be o(-9). Let r be l(t). Suppose 88 = 3*j + 4. Is r not equal to j?
True
Let t be 578 - 6/((-3)/(-1)). Let c be (t/135)/(2/35). Let d = 74 - c. Which is smaller: 0.05 or d?
d
Suppose y = 4*y - 66. Let h = y + -17. Suppose -5*l + 0 = -h. Which is smaller: 3 or l?
l
Let r be (-3)/21 + (-17600)/84. Which is smaller: r or -211?
-211
Suppose 2*m + 0*m + g - 20 = 0, 5*m + 5*g = 60. Let n be (m - 9)/((-1)/3). Suppose 2*q - 16 = -f - 2*f, 4*q - 2*f = 0. Is q at least n?
False
Let u = 2/637 - 771/42679. Suppose 0 = 4*m - 4*v + 20, 0 = -3*m + v + 3*v - 19. Which is greater: u or m?
u
Let p(r) = -1 - 13 - 6 - 4 - 2*r. Let m be p(-9). Let b = 11 - 17. Is b at least as big as m?
True
Let s = 217/6 + -431/12. Is 12.1 at most s?
False
Let r be (186/(-30) - -4)*30/948. Which is greater: r or 1?
1
Let u = 4113.89 + -4085. Let h = -29 + u. Let g = h + 0.11. Is 11 equal to g?
False
Let j = -12.75 + -0.25. Let o = j - -12.1. Let l = o + -1.1. Which is greater: l or -1?
-1
Let a be (2/8)/((-7)/700). Is a at most -5?
True
Let z = 32.5 + -35.5. Suppose -d + 2*c - 4 = -3*d, -3*c = 4*d - 7. Which is greater: d or z?
d
Let r(a) = 15*a**3 + a. Let c be r(1). Let u = -225 - -240. Which is bigger: c or u?
c
Suppose 114 = -3*i + 15. Let m = 369 + -403. Which is smaller: i or m?
m
Let d = 0.73 + 133.27. Is d bigger than 1?
True
Let k = 12 - 11.99. Let l = k - 1.01. Is l < 2/7?
True
Let f = 10 - -5. Let s = -17 + f. Which is smaller: -11/6 or s?
s
Let v(f) = -f**2 - 12*f - 1. Let j be v(-9). Let q = j - 20. Let h = q + -6. Which is smaller: -1/25 or h?
-1/25
Suppose 2*i + 2*l = l + 84, 4*i - 4*l = 168. Let r = i - 42. Suppose g - 27 = -3*v - 2*g, -5*g + 17 = -2*v. Are r and v non-equal?
True
Let d be ((-94)/(-564))/((-2)/4). Is -32.5 greater than or equal to d?
False
Suppose 11 + 9 = 4*w, 4*m + 63 = -w. Suppose -5*d + 95 = 5*i, 0*i + 31 = 2*i - 5*d. Let y = i + m. Is y >= 2?
False
Let v be 372/(-165) + (-40)/(-50). Is 1 less than v?
False
Suppose 7*u - 1443 = -1191. Are u and 37 non-equal?
True
Let u = -112.3 + 112.4819. Is 1/3 less than u?
False
Let o = -14 + 62. Let j = o + -38. Which is bigger: j or 9?
j
Let a(l) = l + 21. Let p be a(-16). Suppose -2*n - 2*w = 6, n - w - p + 4 = 0. Let d be n/(-2) + (-49)/90. Is 0 equal to d?
False
Let j be 42 + 4 + (-12)/3. Let o = j - 45. Is o not equal to 6?
True
Let o(x) = -19*x + 2. Let q be o(-1). Suppose 2*r + 2*p = 4, -2*r + 5*p = 2*p + q. Is -3 equal to r?
True
Let b = 4 + -4. Let g = -6/13 + 8/13. Which is greater: g or b?
g
Let n = 3.283 + 0.837. Are n and 0.1 non-equal?
True
Let d = -653 + 1412. Let o = 5297/7 - d. Are o and -1 non-equal?
True
Let q be -1 + 3 + 2/2. Suppose 4 + 8 = 3*y. Is y > q?
True
Suppose y + y = 2. Let x be 3 - (7/7 + (-82)/(-44)). Do x and y have the same value?
False
Let q(u) be the second derivative of -u**3/3 + 9*u**2/2 - 5*u. Let y be q(6). Let m = -7 - y. Which is greater: -3 or m?
-3
Let b = 4037/16 - 505/2. Which is bigger: 0.08 or b?
0.08
Let y = 640/3 - 1921/9. Let g be (-5)/4 - 1/(-4). Which is bigger: g or y?
y
Let y be (41/205)/(-1 - 1798/10). Which is smaller: 0 or y?
y
Let l be 4074/(-108) + (-4)/(-18). Which is bigger: l or -37?
-37
Suppose -4*l = -78 - 90. Suppose l = 6*f + 15*f. Let x(j) = -j**3 + 6*j**2 - 3*j - 6. Let m be x(5). Is m < f?
False
Let s(p) = -8*p + 1 + 0*p + p**2 - 5. Let f be s(7). Let j = 9 + f. Which is bigger: -3 or j?
j
Let o(h) = h**2 + 11*h + 12. Let r be o(-10). Let t be ((-60)/(-8))/3*r. Suppose t*u = 4*u + 1. Is u != 3?
True
Suppose 0 = -3*r - 5*g + 29, -20*r - 3*g = -18*r - 18. Let b(z) = -z**2 - z + 2. Let q be b(0). Suppose -l - q*l - r = 0. Which is smaller: -8/11 or l?
l
Let w = 163.3 + -166.3. Do w and -293 have the same value?
False
Let f = 4899/1625 + 27/125. Let w be (-2 + 14/5)*5. Which is smaller: f or w?
f
Suppose -113 = 5*f - r, -f + 2 = -2*r + 30. Let s be ((-3)/2)/(6/88). Is s at most f?
True
Let a(k) = -k**2 - 38*k + 114. Let v be a(-41). Is -8 bigger than v?
True
Suppose -9*n - 15 = -14*n, 377 = -z - 3*n. Is -387 at least z?
False
Let q = -5.9 - -33.9. Let n = 27.9 - q. Is n at most as big as 0.4?
True
Let l = -24.6 + 25.2. Is l greater than 19?
False
Let f = -94 + 88. Is f at most 2/13?
True
Suppose 3*b = b - w + 37, w + 17 = b. Let g be (b/(-24) - -1) + (-270)/(-8). Are 34 and g nonequal?
False
Let s(r) = 336*r + 3697. Let y be s(-11). Let k = -9/8 - -127/120. Which is bigger: k or y?
y
Let k(z) = z**3 + 19*z**2 + 19*z + 18. Let i be k(-18). Which is bigger: -20/71 or i?
i
Let i = -9.86 - -12.86. Is 12 greater than i?
True
Let m be 22/(352/24)*80/3. Is -6 at most as big as m?
True
Let f = -3594/29 - -124. Is f at least as big as 17?
False
Let z = 2.2 - 2.5. Let p = -0.48 - -0.18. Is p <= z?
True
Suppose 2*r + 2*q - 6 = 0, 11*r + q = 8*r + 9. Let x be 4 + r/1 + -3 - 13. Is -11 < x?
True
Let p = 5.02 - 5.6. Let w = 1.58 + p. Suppose -4*y + 4 = y + 2*t, -8 = y - 4*t. Does w = y?
False
Let n(a) = -a**3 - a - 1. Let l be n(-1). Suppose 3*k - 5 = 7*k + 3*u, -5*u = 5*k + 10. Let t be k/2*(-6)/(-33). Which is bigger: l or t?
l
Let j = -1244 + 1326. Which is bigger: j or 87?
87
Let h(z) be the first derivative of -z**3 - 5*z**2/2 - 4*z - 1. Suppose -5 = 2*x - t, -2*t - 8 = 7*x - 2*x. Let i be h(x). Which is smaller: i or -7?
-7
Let p = 91 - -212. Let z = 1508/5 - p. Which is bigger: z or -2?
z
Let b = 27 + -18. Suppose -b*r + r = -88. Which is smaller: r or 21/2?
21/2
Let u = 36 - 53. Let h = 22 + u. Which is bigger: 0.04 or h?
h
Let b = 1 + -0.216. Let h = 0.016 + b. Is 3 less than h?
False
Let s = -361 - -320. Are -38 and s non-equal?
True
Suppose 3*d - 5*m - 12 = 0, 0 = -5*d - 5*m - 20. Let u = -40 - -38. Let g be u*(15/70)/(-1). Which is smaller: g or d?
d
Suppose -d + 2*u = -116, -d + 5*u = -65 - 42. Is d equal to 1332/11?
False
Let x(o) = -o**3 + 8*o**2 + 6*o + 3. Let v be x(8). Suppose 0 = -2*s - 3*n - 9 - 0, -4*s - v = -5*n. Let t be (s/(-7))/((-26)/91). Which is smaller: t or -6?
-6
Let s = -4 + 2. Let m be (-2)/(-3)*s/4. Suppose 12 = -3*v + 3. Which is smaller: m or v?
v
Let r be 0*(6 - (-34)/(-6)). Do -1/12 and r have different values?
True
Let b = -30.62 + 30. Let m = b - -0.41. Do m and 0.1 have the same value?
False
Let c = 1997 + -1996. Which is smaller: c or 1/1362?
1/1362
Let t = 7.7 - 8. Let f = t + -0.2. Let i = 3.1 + -3. Do f and i have different values?
True
Let l be ((-1)/(-1))/(2/4). Let y be 6/12 - l/(-4). Let x(o) = 9*o**3 + o**2 - 2*o + 1. Let a be x(y). Is a greater than 8?
True
Let h = -362 + 304. Which is smaller: h or -57?
h
Let s(u) = 7*u**2 + 5*u + 5.