lse
Suppose v - 6*v + t + 35 = 0, -4*v + 12 = -4*t. Let m = 5 + -14. Let r = m + v. Is r < 3?
True
Let f be ((-78)/(-9))/(4/6). Let k = -9 + f. Suppose 0 = 5*y - k - 31. Is y smaller than 7?
False
Let l = 42 + -28. Suppose -4*u - 15 = -3*b, 0*u + 4*u = 2*b - l. Which is smaller: 1/3 or b?
1/3
Let d = 51 - 50. Suppose 0*f - 2*f = 0, 5*u = 3*f. Let q = u - 1. Which is bigger: q or d?
d
Let z = 1357 - 107205/79. Which is smaller: 2 or z?
z
Let i be (0/(18/3))/(-2 - -3). Which is smaller: 0.34 or i?
i
Let n be (1/(-2 + 1))/(-1). Suppose 0 = 5*v - v - 12. Suppose -2*p = -0*p - 2*r - 12, -v = r. Does p = n?
False
Let h = -1 - -0.9. Let j = 1618.9 - 1747. Let a = -130 - j. Is h > a?
True
Let c = 6 + 1. Suppose c*o = 2*o - 3*t + 47, -3*o + 5*t + 1 = 0. Suppose -15 = -o*f - 43. Are f and -4 non-equal?
False
Let r = 0.2056 - 22.2306. Let j = -22 - r. Which is smaller: j or 2/5?
j
Suppose 3*w - 5*o + 0*o = 15, 0 = 4*w + o - 43. Suppose 4*s + 2*g - w = -0*s, -s + 3*g = -13. Suppose 5 = 3*j + 2*j - 2*q, -s*j + 5*q = -4. Is 1 at most j?
True
Let y(d) = d**3 + 16*d**2 - 18*d - 52. Let z be y(-17). Is -34 less than or equal to z?
False
Let k = -96 + 87. Let n be k/(-19)*32/48. Which is bigger: n or 1?
1
Let j be (-2836)/15 - (-2)/30. Is -189 at most j?
True
Let o be (-4)/(-16) - (-23)/4. Let j be (-8)/(-44) - (-158)/(-22). Let p = o + j. Do 1/18 and p have the same value?
False
Suppose -36*j + 27 = -9*j. Is 31.3 > j?
True
Let m(s) = -41*s - 63. Let r be m(11). Is r at least -513?
False
Suppose 2*k - 6 = 3*u - 0*u, 22 = -2*k - 4*u. Which is smaller: 23 or k?
k
Suppose 0 = -6*u + u + 165. Let t be 1/(3 - u/12). Let h(d) = 5*d**2 + d + 1. Let r be h(-1). Which is bigger: t or r?
r
Let v be 2/((-8)/(-4)*1). Suppose -f - o + 10 = 0, f = -5*o - 3 + v. Suppose 3*j - f = -r, 0*r - 3*r + 12 = 0. Which is bigger: 2 or j?
j
Suppose -560 = 14*d + 574. Let g = d + 96. Let v = 33 + -17. Is v greater than g?
True
Let k be 1*(-12 + 4) - -4. Let n be -4*(k - -3) + -4. Suppose n = -2*s - 30 + 24. Is -4 at most s?
True
Let d = 1.9826 - -0.0174. Is d < 23.3?
True
Let m = -2 + 0. Let f(k) be the first derivative of -k**3/3 - 22. Let x be f(2). Which is smaller: m or x?
x
Let r = -196 + 195. Is -142 greater than r?
False
Let j = 789 + -823. Is 2 at least j?
True
Let x be 4/10 + (-14)/10. Let t = -1999/1110 + -6/185. Is x less than or equal to t?
False
Let x be (-238)/(-92) + 7/14 - 3. Let o = 25.9 - 26. Are o and x non-equal?
True
Let b be 2/(-4) + (-2)/(-4 - -8). Let m be ((0 - b) + 1)*244/8. Is 61 at most as big as m?
True
Suppose -42*p = -43*p - 6. Let r be (-2)/p + (-32)/24. Which is greater: r or 1/3?
1/3
Suppose -358 + 466 = -6*w. Is w at least as big as -18?
True
Let t(v) = -6*v - 1. Let a be t(-6). Suppose -3*p = b - p + 5, -5*b + 2*p = -a. Let s = -3 - -5. Is b at most as big as s?
False
Let i = -195 - -195. Is -5/33 equal to i?
False
Let l be 6/(-15) + (-38)/5. Let g = 119 - 37. Let x = 73 - g. Which is greater: x or l?
l
Let l = 0.6 - 0.9. Let c = -14.5 + 16. Let m = -1.5 + c. Do m and l have the same value?
False
Let s(x) = x - 9. Let c be 75/11 + 2/11. Let g be s(c). Is -36/11 less than g?
True
Let k(j) = -5*j - 43. Let u = -106 + 96. Let v be k(u). Which is smaller: v or 28/5?
28/5
Let d = -20 - -24. Let i be 33*(-5)/(-79 + d). Let p(n) = -n**2 + 2*n. Let x be p(2). Which is bigger: x or i?
i
Suppose -2*n + 5*v + 43 = 0, 6*n - 73 = n + v. Let q = -12 + n. Which is greater: 7/4 or q?
q
Suppose m - 16 = -m + 4*r, 2*r + 6 = 2*m. Is -0.1 less than m?
False
Let l = -0.32 + -13.68. Let t = 7 + l. Let v = 8611 + -8611.1. Is v smaller than t?
False
Let r = -76 + 75.36. Which is bigger: r or 0?
0
Let x(k) = 2*k**2 - 13*k - 1. Let w be x(7). Suppose -2 = -2*h + w. Suppose -3*p + 7 = -n - 7, -30 = h*n + p. Is -9 at most as big as n?
True
Let o be ((-243)/(-246) + -1)*7466. Let s = o - -91. Which is smaller: s or 1?
s
Suppose 13*k + 449 - 1957 = 0. Do 117 and k have the same value?
False
Let u(d) = -2*d**3 - 216 + 3*d**3 + 223 - 11*d - 3*d**2. Let g be u(5). Let h = 175/114 + -2/57. Is h not equal to g?
True
Let k = -6 + 1. Let n = -57 - -55. Let m be -1*(-11)/n - (-7)/14. Is k greater than or equal to m?
True
Let j(g) = 11*g**2 - 12*g + 3. Let a(t) = 5*t**2 - 6*t + 2. Let u(r) = 9*a(r) - 4*j(r). Let p be u(4). Let q be 1*(-3)/18*4. Which is bigger: p or q?
q
Suppose -4*i + 40 = -40. Suppose -41*t + 46*t = 3*j + 18, 2*j = -2*t - 12. Are i and t non-equal?
True
Let m(w) = -w**2 + 28*w + 187. Let z be m(38). Which is smaller: z or -191?
z
Suppose 4 = h - 0. Let g(b) = b**2 + 18*b - 19. Let n be g(-19). Let a = 3 - n. Is a greater than or equal to h?
False
Suppose 0 = -y - 3*m - 7, -3*m - 2 = -2*y + 2. Do y and -9/32 have the same value?
False
Let k(v) = v**3 + 4*v**2 + 2*v. Let y be k(-3). Let n be (-3)/3 - -40 - y. Let r be 69/n*-1 - -2. Which is bigger: r or -1?
r
Let x = -2.201 + 2.701. Which is smaller: -138 or x?
-138
Suppose -3*z + 3*j = -9, -3*z - j = -1 - 4. Suppose 2*i = -i + z*w - 9, -i + 3*w = 10. Let o = 586/55 - 126/11. Which is bigger: o or i?
o
Let s(b) = -2*b**2 + 41*b + 248. Let o be s(26). Which is smaller: o or -43?
-43
Let u = 1.3 + -0.3. Let d = -6837 - -6837.18. Which is smaller: u or d?
d
Let w be (-3)/4 - (-374)/(-88). Is w at least -3?
False
Let h(d) = -10*d**2 - 46*d - 6. Let b be h(-4). Suppose 3*q = -2*q - 2*y - 115, 0 = 4*q - 4*y + 92. Let a = q + b. Is -3 <= a?
False
Suppose 6 = 2*v, -11 = 5*s - 3*v + 18. Let y be (-6)/10 + 104/40. Let u be -1*y - (0 - -6). Is u less than s?
True
Let f be (-31)/3038*(104/(-1))/(-2). Do f and 0 have different values?
True
Let o = 60 + -55. Let d be 1 + o/(-6)*2. Which is greater: d or -27?
d
Suppose -4*q - 75 = 2*i - 1, i = -4*q - 77. Which is bigger: -19 or q?
-19
Let t = 314 + -314.2. Which is bigger: t or -8?
t
Let o be -7 + (-3 - -4)*(-4)/(-2). Let b be 11/o + (-2)/(-10). Which is bigger: -7 or b?
b
Let r = -106 + 62. Are -46 and r equal?
False
Let t be (-2 - -1)*3 - 0. Let y(a) = -3*a**2 - 10*a. Let m be y(t). Which is bigger: 2 or m?
m
Let g = 30/41 + -297/574. Suppose 20*f - 28*f + 16 = 0. Which is smaller: g or f?
g
Let t be (-2 - -2)/(-3) - (0 - -1). Let v be 216/44 + t - 4. Is v not equal to 0.2?
True
Let k = 1586.1 + -1586. Which is smaller: -271 or k?
-271
Suppose 3*u = -719 + 404. Is -105 < u?
False
Let h be 3*2/16*2. Let l be 1*(-5 - -2)*(2 - 1). Which is smaller: l or h?
l
Suppose 13*g + 36 = 14*g. Let v = g - 35. Is 18/25 >= v?
False
Let x = 84 - 83. Let p = 0.339 - 16.639. Let z = 17 + p. Is z bigger than x?
False
Suppose 0 = -0*a - 5*a + 15. Let l be (3 - a)/(-1*4/4). Which is greater: l or 97?
97
Let q(l) = l**3 + 3*l**2 - 2*l + 2. Let i be q(-4). Let a be 1/(2/(-3)*i). Let h = -0.855 - -0.455. Is h bigger than a?
False
Let u = -76 + 28. Let d = u + 47. Does d = 2/119?
False
Let s(l) = -98*l + 79. Let d be s(-4). Which is bigger: 470 or d?
d
Let k(j) = 5*j + 2. Let r be k(2). Let h(p) = -1499 + 4*p**3 + 3*p - 3*p**3 + 1502 - 3*p**2. Let x be h(3). Is x bigger than r?
False
Suppose 4*n - 3*n + 2 = 2*i, 5*i = -2*n + 23. Let t be 5 + 2/(n/(-4)). Suppose -5*r = 20, -g - t*r - 15 = 2*g. Which is greater: g or 1/15?
1/15
Suppose 49*u = 25*u - 2688. Is -111 < u?
False
Let b be -7 + 5 + (2 - 0). Let s(i) = -i + 8. Let z be s(b). Suppose u + z = -2. Do u and -10 have different values?
False
Suppose -48*d + 7005 = -16323. Which is smaller: d or 485?
485
Let t = 50.992 + -33. Let m = -0.008 - t. Which is greater: 1/3 or m?
1/3
Let l be (-30 - 38)/(-4 - (0 + -2)). Let u(t) = 3*t**2 - 2*t - 5. Let m be u(4). Is l > m?
False
Let q be (-8 + (20 - 12))/2. Which is smaller: 1/11 or q?
q
Suppose 100 = 18*p - 17*p. Let f = p - 106. Is -7 <= f?
True
Suppose -4*y - 4*b - 16 = 0, 5*y + 0 = 5*b + 20. Is 1/489 >= y?
True
Let m(q) = -q**2. Let l be m(0). Let d be (0 - -7) + 21/(-3). Is l bigger than d?
False
Let o(h) = -h**2 + 13*h + 15. Let a be o(14). Let d be (17/2)/(4/(-8)). Let w = -13 - d. Which is greater: w or a?
w
Let n = -11 - -8. Let h = n - -2.9. Let x = -424 - -430. Which is smaller: h or x?
h
Suppose s = -3*j - 2, -2*j - 6 = 5*s - 2*s. Let a be (-2)/(-6) + 35/(-123). Which is smaller: j or a?
j
Let d be (1 - 2) + -2 - (-49 + 46). Do 12/89 and d have the same value?
False
Let g(t) = 5*t**3 + 8*t**2 + 2*t + 