less than or equal to 0?
True
Let v = 18 + -8. Let i = 333 - 396. Let l be v/(-14) + 18/i. Is 0 >= l?
True
Suppose -4*n - 3*v = -1027, 102*n - 105*n + v = -754. Which is smaller: -2 or n?
-2
Let x(s) = s**3 - 6*s**2 - 11*s + 23. Let f be x(5). Which is smaller: f or -59?
-59
Suppose -3*y = -2*s - 98, -2*y + 146 = 3*y + s. Suppose -27*h + y*h = 0. Which is greater: h or -9?
h
Suppose 5*l - 525 = -2*u, -5*u - 78 - 132 = -2*l. Suppose 33 = -9*c + l. Let p(s) = 2*s**2 + 2*s - 3. Let j be p(2). Are j and c nonequal?
True
Let m be 2/(6 - 2439/405). Is m <= -3?
True
Let d = 283306/7 - 40396. Is d bigger than 75?
True
Let j(f) = -2*f**3 - 2*f**2 + 9*f + 6. Let b be j(-3). Which is bigger: 18 or b?
18
Suppose -4*c = 5*c + 27. Is c bigger than 60?
False
Let o = -939/2 + 460. Let m = -14 - -17. Suppose -2*c + 4*l - 23 = l, -3*c - m*l = 27. Is c at most o?
True
Let y = -64 + 46. Let n be 2*3/y*3. Let q = -347 - -1034/3. Which is smaller: n or q?
q
Suppose -4*w = 5*r - 31, -4*w + 10 + 0 = -2*r. Let a = 12 + -7. Which is smaller: a or w?
w
Suppose 2*p = 3*w - 5, 2*w = 3*p + 3 + 7. Let a be (-1 + 1)/(1*2). Let k be a/(-3) + (-2)/15. Which is greater: w or k?
k
Suppose -3672 = -168*b + 177*b. Which is smaller: b or -407?
b
Suppose 85*z + 32969 = -17436. Is -595 > z?
False
Let v be 28 + 2 - 15/((-60)/(-8)). Let u be (v + 2)*(-8)/(-12). Which is smaller: u or 23?
u
Let o = -11 - -22. Let h = -10 + o. Which is bigger: h or 2.3?
2.3
Suppose -5*l + 20 = s - 0*l, -3*s + 2*l = -26. Let m = -945 - -945.1. Which is smaller: s or m?
m
Let j be (-26)/(-6) - 4/(-6). Let h = 5 - j. Let y be -3 + ((-3)/(-1) - h). Does -4/11 = y?
False
Suppose -4*h = -12*h - 184. Which is bigger: h or -0.1?
-0.1
Suppose 4*k = -5*m - 13, -3*k = 2*m + 8 - 0. Let q = -2/3195 - 2683/1278. Are q and m unequal?
True
Let x = -5 - 2. Suppose -29*c - 72 = -33*c. Let i be ((-6)/4)/(c/(-8)). Is i < x?
False
Suppose 3*b = 2 + 1. Suppose t = -4*z + 14, 52 = 4*t + 2*z + 10. Suppose -m = 4*m - t. Is b < m?
True
Let c(i) = i**3 - 16*i**2 - 5*i - 8. Let l(g) = -g**3 + 16*g**2 + 6*g + 9. Let y(v) = 6*c(v) + 5*l(v). Let o be y(16). Which is bigger: o or -5/3?
-5/3
Let a = -303 - -302. Let l be (2/(-3))/(1 + -7). Which is bigger: a or l?
l
Let f = 1/292 + 2031/3796. Is f bigger than 1?
False
Let s = 26 - 45. Let p be 70/(-21)*-6 + (0 - 1). Let g = p + s. Which is smaller: g or -13/4?
-13/4
Suppose 2*c + 2*c = -12. Let z be (3 + -3 - 1)*c. Which is smaller: z or 4?
z
Let y be (-1)/(-5) - (-27)/((-2160)/(-6304)). Is y < 77?
False
Let s be (-21)/3 + 6 - 0/1. Is s equal to -2/1131?
False
Let k = -32 - 316. Which is bigger: -349 or k?
k
Let r = 9 + -20. Let i(v) = -v**3 - 21*v**2 - 24*v - 90. Let j be i(-20). Which is greater: r or j?
j
Let u(y) = -2*y + 1. Let h be u(-2). Suppose j + j - h*t + 21 = 0, -2*t = -5*j. Is j smaller than -16?
False
Let m = -14 + 18. Let x = 5 - m. Are 0.27 and x unequal?
True
Suppose 4*q + p = -0*q + 49, 0 = 2*q + 5*p - 29. Let a be (-22)/(-18) - q/54. Is a < -1/85?
False
Let d = 1.7 + -1.58. Let m = 302 + -296.88. Let k = d - m. Which is smaller: k or 2?
k
Let g(w) = w**3 + 5*w**2 - 14*w + 6. Let h be g(-7). Suppose h = -5*a + d, -3*a - 4*d + 11 = 33. Which is bigger: -8/9 or a?
-8/9
Let r = 22 + -58. Let a = 5225 + -5225. Is r not equal to a?
True
Let h be (-9060)/(-9) + 2/6. Let f = h - 4914/5. Let s = f + -24. Is s bigger than -2/7?
True
Let g(m) = m**2 + 24*m + 18. Let r be g(-17). Which is bigger: r or -102?
r
Let t(p) = -3*p - 10 + 4*p**2 + 26 - 2*p**2 - 9*p. Let r be t(5). Is 8 bigger than r?
True
Suppose 0 = 5*w - 9 - 16. Suppose -2*t = 4*k - 2*k - 8, -w*t = -2*k + 8. Let s be (1 + (4 - k))*-9. Which is smaller: s or -7?
s
Suppose -11 = -4*y + 5*l, -3*y + 0*l = -l. Does -1 = y?
True
Suppose 16*p + 672 = -8*p. Let b = -54 + 27. Is p > b?
False
Let t = 58 + -29. Let l = 29 - t. Does 1/29 = l?
False
Suppose -4*a - 64 = -5*i, 4*i - 5 = -4*a + 3*a. Let b = a - -9. Let f be 5/b + 18/(-36). Is -1 < f?
False
Let y = 2.36 + -1.16. Is y != 1/3?
True
Let d be (-13)/130 + (-13803)/(-30). Which is smaller: 459 or d?
459
Let u be -6*-1*(-8)/(-6). Suppose 36 = -18*s + 27*s. Suppose -s*w + 36 = -b, 0 = 5*w - 7*w - b + 18. Is u at most w?
True
Suppose -20 = y + 4*y. Let f be ((-15)/(-10))/((-3)/y). Suppose -3*v + 6*m - 2*m - 8 = 0, -4*v = f*m - 4. Do v and -2 have the same value?
False
Let p = 59 + -46. Let w = -25 + p. Which is greater: -1/4 or w?
-1/4
Let w be (-294)/(-9) + 6/(-9). Let x = -27 + w. Which is greater: 1 or x?
x
Let m(g) = -24*g**3 + 3*g**2 - 9*g + 8. Let f be m(2). Does -188 = f?
False
Let o be (-722)/(-5320) + (-2)/8. Is o >= 0?
False
Let j = -375/224 - -17/32. Let n(h) = -h**3 + 7*h**2 - 6*h + 4. Let c be n(6). Suppose -u + 4*l - 1 = 0, 0 = -c*u + u - 5*l - 3. Is u < j?
False
Let q = -2579 - -33525/13. Let i be (-2*(-2)/(-4))/1. Which is bigger: i or q?
q
Let y = -50 - 24. Let d = -32 - y. Is 0 at most d?
True
Let y be (-240)/42 + 6 - 8/(-70). Which is smaller: -2/285 or y?
-2/285
Let n = -34 - -26. Let o be (-32)/(-10) - n/(-40). Suppose 6*i - i + 14 = 3*x, 3*i + 12 = o*x. Are 3/23 and i unequal?
True
Let i = -219 - -218. Is i bigger than -4/75?
False
Suppose -4 = 192*j - 193*j. Which is greater: j or 58/19?
j
Suppose -15*v = 2410 - 1780. Let c = -17 + -24. Is v less than or equal to c?
True
Let b = 55 + -40. Let y = 17 - b. Which is greater: 6 or y?
6
Suppose 3826 = 7*s - 843. Which is greater: 669 or s?
669
Let k(p) = -p**3 + 14*p**2 + 15*p + 14. Let x be k(15). Let z be 5/(5/3) - -30. Suppose 3*b - z = 12. Is x equal to b?
False
Let j = -6.27 - -198.27. Which is smaller: j or -0.2?
-0.2
Let s = -28/9 - -38/3. Are s and 11 equal?
False
Let b be 135/(-6) + (-1 - 0). Let l = b + 24. Which is smaller: l or -2?
-2
Let x(n) = 2*n**2 + 2*n - 3. Let z be x(-3). Suppose m - r + 6 = 4*m, 5*r + z = -2*m. Suppose -26 = -3*c + 5*w, -5*w - 14 = 5*c - 4. Is m less than c?
False
Let g be 4/(4*(-2)/76). Let u be (-14 - -13)/((-2)/g). Which is smaller: u or -17?
u
Let a be (-2)/(1 - -3 - 2). Let x(d) = d**3 - d. Let l be x(0). Suppose -3*q = -l*q. Which is greater: a or q?
q
Let q = 173 - 862/5. Let r(i) = -i**2 - i + 2. Let f be r(0). Suppose 2*l - l = -f*l. Which is smaller: l or q?
l
Let c = 4/8227 + 946049/115178. Let x = c + -17/2. Which is bigger: -1/5 or x?
-1/5
Let g(v) = -19*v**2 + 4*v - 4. Let r be g(2). Let t = r - -74. Which is bigger: t or 3?
3
Suppose -g + 78 = -128. Which is bigger: g or 207?
207
Let y = -16 + 52. Let u = 32 - y. Is 5/6 at most as big as u?
False
Let k = -73/10 + -5881/30. Is k at most as big as -202?
True
Suppose -190 - 130 = 5*i - p, 5*i = -3*p - 320. Is 0 at least as big as i?
True
Let g be 23*(-2 - (-80)/(-5)). Which is smaller: -413 or g?
g
Let q be 8/((-56)/21) + -3. Are -46/7 and q unequal?
True
Let y(m) = 12*m - 193. Let c be y(16). Is c less than or equal to 2/59?
True
Let c be (-5 + 2)/3 - 0. Let x(t) = 5*t**3 - t**2. Let l be x(1). Let g be (c + l)*80/24. Which is smaller: 9 or g?
9
Let g = -5699736/1045 - -60044/11. Let f = 20/19 - g. Which is bigger: -4 or f?
f
Let m = 0 - -2. Suppose 3 = 3*r + 3*g, 0 = 3*r - 0*g - m*g - 23. Let t be (-1 - (-1)/r)*-20. Which is bigger: -0.1 or t?
t
Let v = -2.7 - 0.3. Let x be 2/9 - (-4)/63. Is v < x?
True
Suppose -4*h = 5*v - 1306, 5*v - 2*h - 1282 = -0*v. Which is greater: 1/2 or v?
v
Suppose 5*f + 749 - 244 = 0. Are f and -697/7 unequal?
True
Let h = -16 - -22. Let v be ((-24)/16)/(h/4). Is -8/7 less than v?
True
Let t be ((-3)/(-9)*-3)/(1/(-58)). Let z = t + -47. Let u = 19 - 7. Which is smaller: z or u?
z
Let f = -6 - -6. Let q = 23876/69 + -346. Is q less than or equal to f?
False
Let a = 489.92 - 492. Which is smaller: a or -2/7?
a
Let h = 3.758 + -0.758. Which is smaller: h or 296?
h
Let a = -2348 - -2585. Which is smaller: 234 or a?
234
Let b(c) = 8*c + 44. Let n be b(-16). Is n less than or equal to -82?
True
Let i = -37 - -51. Let s = -14 - -29. Which is bigger: s or i?
s
Suppose 0 = g - 5*g + 8. Suppose g*l - 237 = -l. Suppose -7*c + 16 - l = 0. Do c and -11 have the same value?
False
Let y = 830 + -74699/90. Is y <= 1/2?
True
Let n be -2*(-1)/205*(-230)/(-736). Which is bigger: n or 1?
1
Let j be (-1 + -1)*49/2. Suppose 2*n - 5*p = -115, 2*n = 4*n - p + 103. Is j less than or equal to n?
False
