lse
Suppose -3*q + 78 = -5*q. Let n = 33 + q. Let h = n - -14. Are 9 and h equal?
False
Let c be (-12)/(-36)*30 - 10. Do c and -4/1215 have different values?
True
Let r(l) be the second derivative of 1/2*l**3 + 0 + 1/3*l**4 - 4*l - 1/2*l**2 + 1/20*l**5. Let t be r(-3). Is 1 at least as big as t?
True
Let g(y) = y. Let h be g(2). Let r(l) = -l**2 - 7*l - 6. Let v be r(-7). Let u be (-2 - -1) + 12/v. Which is smaller: h or u?
u
Let h be -26*(-5)/(-110) + 1. Let v = -7 - -6. Are h and v non-equal?
True
Let b = -236 - -173. Is -66 smaller than b?
True
Suppose k = -2*y + 11, -5*y + 7 + 10 = k. Let v(d) = d**2 - 7*d. Let x be v(k). Let z = 405/2 - 202. Which is smaller: z or x?
x
Let o(z) = -4*z - 18. Let u be o(0). Let r = -29 + 8. Let d = u - r. Which is smaller: d or 4?
d
Let w(i) = 311*i**3 - 2*i**2 + 3*i. Let t be w(1). Suppose 9*b = 1770 - t. Is 163 bigger than b?
True
Let v be ((-14)/(-1029))/((-12)/28). Let g(p) = -p**3 - 3*p**2 + 5*p + 5. Let r be g(-4). Do r and v have the same value?
False
Let o = -56 - -78. Let l = -535 + 534.9. Which is smaller: l or o?
l
Let j = 0.306 + -0.076. Let l = 0.17 + j. Which is greater: l or -0.2?
l
Let b = -1/3420 - 17069/106020. Is 1 not equal to b?
True
Suppose u + 6 = -0*u. Let r be (-8 - u)*1/(-2). Is 4/35 <= r?
True
Let y = -9 + 14. Suppose x - 2*x - 5*r + 4 = 0, -y*r = -5*x - 10. Which is smaller: x or 0?
x
Let i be (-574)/98 + 1/(-7). Let l be (8/42)/(i/(-9)). Is 0 equal to l?
False
Let r be 8/(-534)*3/14. Which is smaller: 1 or r?
r
Let m be 236/(-10)*(-33)/(-11990). Let n = m - 6/109. Which is smaller: n or -1?
-1
Let o = 122.03 - 122. Which is greater: 1 or o?
1
Suppose 5*m - 655 = 3*l - 8*l, 0 = -4*l + 3*m + 489. Let t be 6/4*364/l. Is 3 less than t?
True
Let m(y) = y**3 - 33*y**2 - 33*y - 59. Let c be m(34). Is -20 smaller than c?
False
Let u = -280 + 269. Which is smaller: u or -13?
-13
Suppose 4*b - 7 = -3*i + 9, 0 = -4*i - 3*b + 19. Suppose i = 3*z + 7. Which is smaller: z or -19/9?
-19/9
Let j = -174 - -176. Suppose 5 = -j*i + 11. Let u(v) = -v**3 + 6*v**2 - 2. Let f be u(6). Is f != i?
True
Let a be 230 - ((-15)/18 + (-14)/84). Is a bigger than 232?
False
Let u(k) = k**2 - 21*k + 68. Let j(x) = -x**3 - x**2 + 7*x - 3. Let c be j(-4). Let o be u(c). Is o smaller than -3/16?
False
Suppose -2*x = 2*b - 20, x + 44 = 5*x + 3*b. Let m(c) = -6*c + 42. Let j be m(7). Suppose 3*n - n - 30 = j. Which is greater: x or n?
n
Let g(n) = 26 - 3*n + 22*n - 19*n - 8*n**2 + n**3 - 12*n. Let k be g(9). Is k > 2/15?
False
Let n be (-14)/(-49) - (-23)/(-7). Let p be (-10 - -18) + 656/(-56). Which is smaller: p or n?
p
Let o = 0 - 0. Suppose 4*d - 8 = 4*j, o = d - 2*j + 6*j - 2. Let t = 365/1652 - -12/413. Do t and d have different values?
True
Let g be (6/42)/((-1)/(-7)). Is g equal to -1/83?
False
Let c = 5.92 - -6.6. Let t = -13 + c. Is t at most 2/5?
True
Let w = 38/3 - 12. Let n = 2.32 - -0.28. Let c = n + -1.6. Which is smaller: w or c?
w
Let k(a) = a**3 + 17*a**2 + 7*a + 37. Let n(m) = -m - 1. Let t(b) = k(b) + 5*n(b). Let q be t(-17). Is q less than or equal to -7/12?
True
Suppose 4*l - 5*i = 44, 2*l - 9 - 3 = 5*i. Suppose -28 = 4*m + l. Is -11 at least as big as m?
True
Let o = -17 - -25. Let n be (-231)/55 - o/10. Which is smaller: -4 or n?
n
Let y = -4/71 + -122/355. Which is smaller: y or -0.1?
y
Suppose -o = -3*o + 2*u - 2, 4*o - 2 = 2*u. Let n(b) = 1 + 0*b - b**3 - b - 5*b + 5*b + b**2. Let m be n(0). Is o less than m?
False
Let b = 7 - 4. Let z(p) = 2 - 14*p**b - 1 - 3*p**2 + 13*p**3. Let v be z(-2). Which is greater: -0.1 or v?
-0.1
Suppose 2 = 10*c - 8*c. Do c and 1/481 have the same value?
False
Let s(h) = h**3 + 4*h**2 - 10*h - 27. Let n be s(-5). Let b(r) = -r**3 + 5*r**2 + r - 4. Let z be b(5). Let i be 19/(-14) - z/(-2). Which is bigger: i or n?
i
Let k = 0.058 - 0.11. Let n = k + -0.348. Do n and -2/33 have the same value?
False
Let n = -3 + 1. Suppose m + c + 6 = 0, -3*c - 7 = -5*m + 3. Let v be (-2)/(m + 0 - -7). Is v >= n?
True
Let j be ((-24)/(-15))/(8/(-20)). Let x be (j/(-110))/((-33)/(-55)). Which is smaller: -1 or x?
-1
Let i = 8.869 - 9. Let r = i - -0.231. Is -35 greater than r?
False
Let p(r) = -13*r + 646. Let u be p(52). Which is smaller: -4 or u?
u
Suppose 2*p - 20 = 4*x, -x - 4*p + p + 2 = 0. Let y be 2/x*6*3. Let z be (y/(-12))/((-3)/2). Which is smaller: z or 0?
z
Suppose -19 + 7 = -4*y. Suppose 0 = l - y*l + 4. Let b = -5 - -5. Which is smaller: b or l?
b
Let z = -6.2 + 0.2. Let h = -4.9 - z. Which is smaller: -0.1 or h?
-0.1
Suppose 4*r + 3*d = -204, 3*d + d + 51 = -r. Is -52 bigger than r?
False
Let i(l) = -23*l**2 - 22*l - 30. Let z be i(-2). Which is bigger: z or -155/2?
-155/2
Suppose 4*r - 6 - 6 = 0. Suppose 0*o = 5*f - 4*o - 19, r*o = -f. Which is smaller: -6 or f?
-6
Let j be (-12)/(-18) + (-981)/(-27). Which is smaller: j or 34?
34
Let v(g) = -g**3 - g + 2. Let l be v(0). Let n = 5 + 3. Suppose -3*u + 3*c - 38 = n*c, l*u + 24 = -3*c. Is -6 at most as big as u?
True
Suppose 5*w + 21 = y, -5 + 17 = -4*y - 4*w. Let x = 454 - 4060/9. Let r = -28/9 + x. Which is bigger: y or r?
y
Suppose -5*h + 5*s = -36 + 11, 5*h = 3*s + 15. Let r(t) = -7*t + 1. Let c be r(-1). Let d = c + -31/4. Are d and h unequal?
True
Suppose -10*m + 71 = 11. Which is smaller: 10 or m?
m
Let c = -795 - -794. Which is smaller: c or 583?
c
Let a be (19800/32)/(-11)*6/(-9). Which is smaller: -1 or a?
-1
Suppose o = 2*o - 29. Let y be ((-8)/(48/81))/((-2)/(-4)). Let f = y + o. Which is smaller: f or 4?
f
Suppose 0*t - 2*t = 5*j + 135, 3*j + 291 = -4*t. Which is smaller: -76 or t?
-76
Let h = -432 - -601. Which is smaller: h or 171?
h
Suppose -3*n - 42*n + 1395 = 0. Which is greater: n or 28?
n
Let z be (-3 - -1)/(-2) - (-12 - -5). Suppose -162 = z*r + 22. Which is smaller: 1 or r?
r
Let n = 59 - 12. Let i = 3579 - 14505/4. Let b = n + i. Which is smaller: -1/12 or b?
b
Let x = -60 + 58. Let f be 21/(-6) - x/4. Is 8 equal to f?
False
Suppose -5*a + 3*z - 59 = 0, -5 = -a - 7*z + 2*z. Let s be a*(64/20 - 0). Are s and -32 equal?
True
Suppose 1613 + 115 = -6*p. Is p >= -290?
True
Suppose 391 = 10*r + 391. Which is smaller: r or 3/250?
r
Suppose -c - w = -6*c + 10, -3*c - 3*w = 12. Let t be c + -3 + (-4)/(-3). Suppose 4*u = n - 4*n + 13, -5*u = 5*n - 15. Is n smaller than t?
True
Suppose -83 = 22*m - 17. Which is greater: m or -24?
m
Let w be 0/(-2) + 12/(-1). Let j(a) = a**3 + 7*a**2 - 2*a + 35. Let n be j(-8). Is n less than w?
True
Let o(m) = -2*m - 18. Let z be o(-14). Let h be 4/z + (-528)/920. Is h <= 0?
True
Suppose -4*w = -w + 6, 3*d - 21 = 3*w. Let k(u) = 11*u + 125. Let x be k(-10). Suppose -d*m + 3*o - 11 - x = 0, o = -3*m - 10. Which is smaller: m or -3?
m
Let s = -0.1 - -0.1. Let b = -4.56 + 5.8. Let a = b - 16.24. Is s < a?
False
Suppose -124*o - 1873 + 7453 = 0. Suppose -2*g = 4*u - 6*g - 20, -4*g = -u + 17. Which is greater: o or u?
o
Let t = 2 + -4. Let q be (-6)/(-39) + (-3)/((-195)/250). Suppose 2*w - 7*w + u + 44 = 0, 4*u = q. Which is smaller: w or t?
t
Suppose 5*n + 4*d - 18 = 0, 3*d + 2*d = 3*n + 4. Let o be (n - 12/8)*-16. Which is smaller: o or -7?
o
Suppose k = -0*k + 4*f + 18, -2*f - 6 = k. Suppose -4 + 2 = k*p. Suppose 0 = 8*h - 253 + 45. Are p and h equal?
False
Suppose 6*u = 2*u + 32. Suppose 4*s = 4*d - 12, 5*s + u = 2*d - 1. Which is smaller: s or -2/13?
s
Let h be (-8)/12 + 45/27. Is 6/611 bigger than h?
False
Let i = 247 + -229. Which is smaller: 22 or i?
i
Let s = -139.266 + 0.266. Is s <= 0?
True
Suppose 2 = 2*y - 6. Suppose -y*x - c = c - 62, 0 = 3*c - 9. Let p be (-36)/(-21) - (-4)/x. Are 3 and p nonequal?
True
Suppose 5*p - 31 = -4*j, 14 = -5*p + 3*p + 5*j. Suppose -4*f + 10 = -p*f. Let w be f/(-45) + (-4)/9. Is -2 < w?
True
Let w = 340 + -2057/6. Let v = -4 - -6. Which is smaller: v or w?
w
Let f = -32 - -36. Suppose f*s = 5*r + 5, r + 2*s = 6*r - 5. Let v be -2*(2 + 0 - 3). Are r and v unequal?
True
Suppose 3*u = -2*u. Suppose u = -j + 2*j + 6. Let z be (12/(-90))/((-2)/j). Which is greater: z or -0.2?
-0.2
Let v = -391 + 198. Let a = v + 179. Let i = 5 + -18. Is a at most as big as i?
True
Let t = -434 + 433. Which is greater: 1/12 or t?
1/12
Suppose -7 = -423*a + 420*a + 4*f, a = 5*f + 6. Is -4/279 <= a?
True
Let i(j) = -4*j**3 - j**2 - 4*j + 32. Let c be i(3