lse
Let s = 137 + -144.7. Is 0 <= s?
False
Let l(p) = p**2 + 15*p + 27. Let f = -28 - -15. Let w be l(f). Is 1 <= w?
True
Let w = 0.11 + -1.21. Let o = -2 - -2. Is w < o?
True
Suppose -11 = t + 8. Let c(n) = n**3 - 16*n**2 + 15*n - 19. Let p be c(15). Is t at most as big as p?
True
Let h = 11/34 + -133/306. Does 2/25 = h?
False
Let g = 389 + -375. Is g < 67/5?
False
Let c(q) = 16*q**2 - 27*q - 29. Let y be c(5). Are 469/2 and y nonequal?
True
Let v = 566 - 564. Which is bigger: 50/17 or v?
50/17
Let u = 97 - 100. Which is smaller: u or -6?
-6
Let r be (-185)/(-25) + 6/10. Which is smaller: 7 or r?
7
Let c = 6 - 1. Suppose 3*i = -4*w + 23, i + 2*i - 5*w = -22. Let y = c + i. Do 7 and y have the same value?
False
Let l(a) = -a**3 - 16*a**2 + 18*a + 33. Let z be l(-17). Does z = 17?
False
Suppose 2*t = -c + 36, 2*t = 4*t - 4. Let s = 18 - c. Let p be (-15 - s) + 3/2. Is 0 greater than p?
False
Let j(u) = 12*u + 97. Let o be j(-7). Suppose -77 = -o*z + 326. Is 30 bigger than z?
False
Suppose 4*d + 447 = 4*q - 33, -5*q = d - 570. Which is smaller: 114 or q?
114
Let t(s) = 14*s - 60. Let v be t(4). Which is smaller: -18 or v?
-18
Let c = -6 - -2. Let d = 5.04 + -0.04. Let q = c + d. Which is greater: 0.1 or q?
q
Let y = 0.2 + -0.3. Let p be ((-25)/6 + 4)*-24. Which is greater: y or p?
p
Let f = 2609177 - 59997636/23. Let n = 584 - f. Is 1 at least n?
True
Let f(q) = -2 + q - 3 - 1. Let y be f(7). Let a be ((-5)/(60/(-8)))/3. Is y at most as big as a?
False
Let m(r) = 2*r**2 + 21*r - 31. Let w be m(-12). Is 1/4 equal to w?
False
Let v = -170 - -361. Suppose -2*t = -0*t + 10, -h - v = -5*t. Let p = 1073/5 + h. Is -1 >= p?
True
Let b = 613383/71 - 8639. Which is greater: b or 1?
1
Let j = -39 + 42. Suppose 2*s - 6 = 0, -9 + 3 = j*z + s. Is z smaller than -1?
True
Let d be 3 + (-32)/12 - (-464)/(-6). Are d and -79 equal?
False
Let c(a) = -a**3 - 7*a**2 - a - 2. Let m be c(-7). Suppose 4*i + m + 3 = 3*n, 3*i + 15 = 0. Let l(g) = g + 6. Let v be l(n). Is v less than 3/5?
False
Suppose 140 = -3*j + 41. Suppose -d - 2*q + 28 = 0, 4*q + 151 = 4*d - q. Let t = d + j. Is -1/20 != t?
True
Let m = 7.237 + -0.037. Let v = 2.2 - m. Let k = 1.4 + 0.6. Which is smaller: k or v?
v
Let u = -99 - 288. Let t be u/96 + 2*4/2. Do -1 and t have the same value?
False
Let m = 0.1 - 0.2. Let y = -143 - -143. Which is greater: m or y?
y
Let f = -0.43 - -0.73. Is 2/13 less than or equal to f?
True
Suppose -12*s = -w - 17*s - 14, -3*s + 6 = 0. Suppose -4*j + 0*j + 92 = 0. Let r = j + w. Is 2/15 > r?
True
Let l = 27.45 + -4.45. Are -1/19 and l equal?
False
Suppose -2*b + 113 - 17 = 0. Let j be -2 - b/(-14)*12/18. Do 6 and j have the same value?
False
Let r = -108 - -184. Which is bigger: r or -2/3?
r
Let r(f) = 0*f + 31 - 2*f - 2*f - 3*f. Let c be r(7). Is -16 > c?
True
Suppose 2*z = 10 + 8. Are z and 1.2 unequal?
True
Suppose -6*l + 2*l + 34 = 2*f, 0 = l - 2*f - 11. Let s = -5 - -11. Let m be (s/2)/(6/18). Is m equal to l?
True
Let z(s) = 2*s + 6. Let d be z(-4). Let k be 20/5 - (d - -1). Let n(u) = -u + 4. Let h be n(k). Is 6/11 at least h?
True
Let i(k) = 6*k - 8. Let l be i(6). Let s = l + -27. Is s less than 1/7?
False
Let i = -83 + 69.9. Which is bigger: i or -1?
-1
Let g(d) = -11*d**3 + d**2 + 3*d - 3. Let q be g(2). Let j = -81 - q. Which is greater: 4/21 or j?
4/21
Suppose 3*p + 2 + 4 = 0. Let x(j) = -j**3 - 2*j**2 - 2*j + 1. Let s be x(p). Suppose s*l = -6 + 1. Which is bigger: l or -2/19?
-2/19
Let i be (-13)/91 + 2076/13748. Which is smaller: i or 1?
i
Let t = -290 - -325. Which is greater: 29 or t?
t
Let n = -688 + 689. Let i = 10092/17 - 594. Is n less than i?
False
Let u be (-2)/(-5) + (7840/650)/(-14). Suppose c + 17 = 5*a, -3*a + 5*c = -0*a - 19. Suppose 0*o - a*o - 3 = 0. Is o bigger than u?
False
Suppose -z - 4 = 3*h - 12, 0 = -5*z + 25. Let s be ((-2358)/(-63))/((-92)/(-3)). Let x = s - -3/46. Is h less than or equal to x?
True
Let c be 8350/(-147750) + 2/30. Is -1 smaller than c?
True
Suppose 8*w = 665 - 201. Let d = w - 48. Is d > 10?
False
Let h(x) = -x**3 + 7*x**2 + 8*x + 8. Let c be h(7). Let a(f) = -2*f**3 - 19*f**2 - 9*f - 1. Let j be a(-9). Is j < c?
True
Let x(s) = 389*s**2 + 6*s - 5. Let y be x(1). Is 390 at most y?
True
Let z = -25 + 27. Let s be 3 - (12/3)/z. Let f be 0 + (0 - 0/2). Which is greater: f or s?
s
Let o = 67/21 - 27/7. Is o > -624?
True
Suppose -3*s + 6*s = 3*j + 78, 2*s - 49 = 3*j. Is s at most 204/7?
True
Suppose 2*f - 4 = -2*q, 0*f = q + 5*f - 10. Let w be ((-1 - (3 - 6)) + -4)/2. Let m be ((-23)/460)/(w/2). Is q less than m?
True
Suppose -2*d - 101 = -3*b, 0*b - 185 = -5*b - 5*d. Do -2 and b have the same value?
False
Let w(y) = y - 10. Let v = -19 - -25. Let b be w(v). Is 0 less than b?
False
Let r = 9/133 - 8663/266. Which is greater: r or -33?
r
Let c(q) = 3*q**2 - 23*q - 8. Let y be c(14). Is y bigger than 258?
False
Let c(w) = w - 5. Let q be c(4). Let y be (-18)/4 + (-4 - -8). Which is bigger: y or q?
y
Let g(q) = -q**3 - 14*q**2 - 4*q - 57. Let s be g(-14). Let z be ((-6)/(-555))/((-3)/(-5)). Is s <= z?
True
Suppose 5*s = 350 - 350. Is 4/787 at least as big as s?
True
Let n = 694/15 + -46. Is n > 2/9?
True
Let c be ((-4)/(-6))/((-1)/213). Let k = -143 - c. Is k at least 20?
False
Suppose -3*x - 5 - 7 = 0. Suppose 7 - 16 = -r - 3*p, 0 = 4*r - 3*p - 6. Suppose -f = u + 8, -f = -r*f - 8. Is x != u?
False
Let w(x) = -5*x. Let d be w(-1). Suppose -4 - 4 = 2*k, -2*k - 26 = 3*v. Let z = d + v. Is z at most as big as 1/16?
True
Let r be (-124)/(-651)*(-3)/2. Is -0.63 less than r?
True
Let d = -9 - -7. Suppose p + 0*p + 5*g = 17, -5*p - 5*g = -25. Let k be p + (-45)/12 - d. Is -0.3 > k?
False
Let l = 1.1 - 0.8. Let j = 4.7 + -5.7. Let c = -1.5 - j. Which is smaller: c or l?
c
Let t(n) = 10*n**3 + 2*n**2 + 2*n - 4. Let x be t(2). Which is bigger: x or 90?
90
Let m = -93 + 54. Suppose 5*h - 9 - 1 = 0, -4*h - 106 = 3*y. Is y <= m?
False
Let b be 2/(-30)*-7 - -2. Let w = b + -8/3. Let a be 0 + 2*3/(-6). Is a at most as big as w?
True
Suppose -f = w - 3 - 11, -4*f + 5*w + 20 = 0. Let h(j) = -27*j + 66. Let a be h(11). Let o = 239 + a. Are f and o equal?
False
Let k = -449 + 430. Let t be 1 - (0 + -2*2). Suppose 99 = -t*i + 9. Which is smaller: i or k?
k
Let y = -152 + 180. Which is smaller: y or -0.03?
-0.03
Suppose 0 = 2*d + 3*d + 2*t - 102, -4*d + 100 = -3*t. Let s be d/(-35) - (-9)/45. Which is smaller: s or -2?
-2
Let x be 33/39 - 14/(-91). Is x equal to -2/497?
False
Suppose 36*o = 15*o - 19320. Which is smaller: -922 or o?
-922
Let k = -69660 - -143032. Let a = 13353737/182 - k. Let c = 9/14 - a. Is c at least as big as -1?
True
Suppose -k = -5*f + 13, 0 - 3 = -3*k + f. Let o be (k + (-65)/(-2))*(-14)/(-21). Is 23 bigger than o?
False
Let g be (-28)/3 - (-1)/3. Suppose -3*j - 3*h = 36, -4*j = -2*h + 48 - 6. Let i = j - g. Is 0 bigger than i?
True
Let o(f) = -7*f - 14. Let u be o(1). Suppose 5*t = 3*t - 40. Is t equal to u?
False
Let v be (-26)/(-16) - 2 - 0. Suppose 4 = -8*q + 12*q. Which is smaller: q or v?
v
Suppose 2*v = 12*v + 1370. Let t = 56 + v. Is -80 != t?
True
Let n be 26*45/(-20)*(-4)/(-6). Is n < -34?
True
Let n = -245.09 + 242. Let u = -0.91 + n. Let z = -4 - -4.3. Which is smaller: u or z?
u
Suppose 4*y + 0*p + 1624 = 4*p, 0 = 4*p - 12. Let a be (-3)/(-5)*(-5991)/9. Let f = y - a. Is -4 at most f?
True
Let j(v) = v**3 + 7*v**2 - 3*v - 9. Let u be j(-7). Let a = -8 + u. Let n(l) = -l**3 + 5*l**2 - 3*l. Let p be n(a). Which is smaller: 3 or p?
3
Let g be ((6/14)/3)/((-85)/595). Which is greater: -8/39 or g?
-8/39
Let q be 48/15*(-5)/(-2). Let n = 8 - q. Let m be (n - (-2)/1) + -3. Is m greater than -5/6?
False
Let q = 51 - 51.2. Is -21 at most q?
True
Let i = 6/575 - -339/575. Suppose 4*a + 3 = -37. Which is greater: i or a?
i
Let a = 48.21 + -48. Let u = 11.79 + a. Let y = 13 - u. Which is greater: y or 3?
3
Let n = -60.239 - -0.239. Is 0.1 != n?
True
Let n = -2123/9 - -237. Let g = 26 - 26.2. Is g > n?
False
Let t(r) = 11*r + 285. Let b be t(-26). Which is smaller: 1/552 or b?
b
Let c = -660 - -660. Is 0.052 greater than c?
True
Suppose 11*a - 20*a + 279 = 0. Let j be (-114)/4 - (1 - 0). Let m = a + j. Are m and 2 equal?
False
Suppose -3*l = l + 36. Let j be 2/8 - 6/l. Do j and 0 have the same value?
False
Let c =