(x). Is h less than or equal to -1?
True
Suppose 4*m - 3*m = -5*r - 5, 15 = 2*r - 3*m. Which is greater: -1/135 or r?
r
Let m be 282/165 - (-2)/10. Let o = 293/165 - m. Are 0 and o equal?
False
Let i(v) = -v**2 + 5*v - 8. Let f be i(2). Let q be (3 - 10)*-3*(3 + f). Do q and 21 have the same value?
True
Suppose 3*z = a + 292, 7*a - 9*a - 578 = -3*z. Is -285 smaller than a?
False
Let n be (-55 - (-1 + 0)) + -1. Let k be (-24)/360*1*n/2. Which is smaller: 2 or k?
k
Suppose -i - 3*y - 24 = 3*i, 0 = 2*y + 8. Let u(g) = 9*g + 6. Let t be u(i). Are -21 and t unequal?
False
Let v = -32 - -32.9. Let x = -8.9 + v. Which is greater: x or 1?
1
Suppose -2*k = 17 - 19. Is -1/102 less than k?
True
Let a(f) = f**3 - 6*f**2 + 5*f + 1. Let j be a(5). Suppose -4*u + 2*u - 4 = 0. Let i be (6/(-3) - -2)/u. Is j less than i?
False
Let r = 6 - 4. Let n(v) = -v + 23. Let p be n(14). Suppose -p*s + 20 = 20. Which is smaller: s or r?
s
Let x = 23940 - 311780/13. Which is bigger: -42 or x?
-42
Suppose 7326 = -32*h + 670. Which is bigger: h or -209?
h
Let w be 2 + (-3)/(-99)*-21. Are w and 1 equal?
False
Let k(i) = i**3 + 11*i**2 - 25*i + 13. Let f = 30 - 43. Let u be k(f). Which is bigger: u or -4?
u
Let q be 16/(2/1)*-1. Suppose 11*t = -93 + 27. Which is bigger: q or t?
t
Let u be 10865/(-10988) - 6/(-8). Is u smaller than -1?
False
Let s be 22/55 + (-27321)/65. Let z = 421 + s. Let b = -281/273 + z. Which is smaller: 0.1 or b?
b
Let c = -15399/5 + 3094. Which is smaller: 14 or c?
14
Suppose -2*t = -4*v - 188, 2*v + 16 = -t - 70. Let b = v + 48. Suppose -3*u - 18 = -2*i, -3*i + 2*u = -u - 21. Do i and b have the same value?
True
Let f be (-2)/(4/(0 - 2)). Suppose 0 = -4*k + f + 11. Let s(x) = -x - 1. Let h be s(k). Do h and 1 have the same value?
False
Let q be -1 + -1 + -14 + 15. Is q equal to 2/213?
False
Let n be 5/((-30)/518) + 3. Is n at most -84?
False
Let f(s) = s**3 - 7*s**2 + 11*s - 11. Let t be f(4). Is -103/7 > t?
True
Let q = 35 - 59. Let s = q + 26.4. Let t = s + 4.6. Which is greater: t or -2?
t
Let s be (-1)/(-6 + 2 - (-3 - 758)). Which is smaller: s or 0?
s
Let q be 0*(76/(-12) - -6) - -941. Which is smaller: q or 939?
939
Let h be (-40)/6 - 8/(-12). Let m be h/45 - (-34)/30. Is m at least 2?
False
Let s = -13 - -9. Let a = 990.11 + -986. Let h = s + a. Which is greater: 2/5 or h?
2/5
Let b = -0.25 - 18.75. Let g = b + 19.09. Which is bigger: -1/3 or g?
g
Let h be (-16)/(-12)*((-612)/(-88))/(-3). Let y = h + 113/33. Is -1/4 bigger than y?
False
Let u be (-84)/30*(-10)/4. Let a be 6/(-24) + u/(-4). Let q(t) = t**3 + t**2 - t - 1. Let s be q(-1). Which is bigger: a or s?
s
Let p(s) = 35*s - 19. Let a be p(1). Which is bigger: a or 13?
a
Let g be -2 - (0 + (-8 - -3)). Suppose -5*k + 30 = -d, -g*d - 66 + 24 = -3*k. Let q = 0 + -10. Is d >= q?
True
Let b(v) = v + 12. Let n be b(-6). Suppose -8 = -2*o, 0 = 5*h + n*o - 2*o - 26. Suppose 6 = y + h*y. Which is smaller: y or -1/2?
-1/2
Let c(d) = -45 + 3 + d + 43. Let n(a) = -3*a. Let t be n(-3). Let f be c(t). Which is bigger: f or 11?
11
Let w(o) = 72*o**2 + 4*o - 2. Let m be w(3). Let r be (4/(-6))/(m/(-42)). Is 1 at most r?
False
Let c = -4/1249 - -51241/9992. Which is smaller: c or -1?
-1
Suppose j - 9 = -2*j + 4*w, 4*j + 3*w - 12 = 0. Let s(z) = 11*z**2 + 10*z - 2 + 3 + z**j - 3 + 1. Let q be s(-10). Which is bigger: 1/14 or q?
1/14
Suppose -4*s + 48 = -2*x, -4*x - 24 - 39 = 3*s. Let w(j) = j**3 - 6*j**2 - 3*j - 3. Let d be w(6). Is x greater than or equal to d?
True
Let f(y) = -y**3 + 28*y**2 - y + 40. Let q be f(28). Let n be ((-8)/q)/(-1) - 1/3. Which is greater: n or 0.1?
n
Suppose -4*l = -2*a + 4*a - 28, -3*a - 5*l = -39. Let k be a + -4 + -5 + 1. Which is bigger: 1 or k?
1
Suppose -290*l = -277*l - 13. Which is smaller: l or -10/187?
-10/187
Suppose -1034 = -4*s + 1486. Let c be s/(-520) + (9/4)/3. Is c at least -1/3?
False
Suppose -y = 4*i - 16, -3*i = 4*y - i + 6. Let x = -698/213 - 4/71. Is y less than x?
True
Let c be 18492/1495 - (-8)/20. Is 14 at least as big as c?
True
Let q = 10/7 - 11/7. Let r be (-10)/(-182) + 36/(-84). Let y = q - r. Is -1 less than or equal to y?
True
Let l(s) = -s**2 - 13*s + 71. Let t be l(-42). Is t less than -1148?
False
Let m = 1171 - 1205. Is -32 smaller than m?
False
Let i be -4 - (0 + 0 - -1). Suppose 39*d - 35*d = 19*d + 60. Which is smaller: d or i?
i
Let l(c) = 121*c - 412. Let q be l(5). Are 194 and q unequal?
True
Let a be 7/28 + (-27)/12 + 3. Is 3/733 at least as big as a?
False
Let r be (2/(-5) - 0) + 1273/(-5). Is -255 < r?
False
Let y = 55 - -7. Let h = 111 - y. Let p be (8/14)/(21/h). Which is bigger: p or 1?
p
Let k = -0.14 + 0.2. Let h = 72.6 - 72.4. Is k bigger than h?
False
Suppose 12 = -0*q + 2*q. Suppose 2*r + 4*c - 24 = 0, -12 = -4*r - 2*c + 3*c. Suppose -3*u - q = -r*u. Is 6 at least u?
True
Let x = -11 - -21. Suppose 2*q + 2*q = -d + 17, q - 38 = -4*d. Is d at least as big as x?
False
Let l(w) = -6*w - 38. Let u be (-5)/(-10)*(-12 + 2 - 2). Let b be l(u). Which is greater: b or -4/3?
-4/3
Let v be 6/2*35/(-21). Let c be (v/(-2))/((-1)/(-2)). Suppose -a + 5 = 4*a, 2*s - 5 = -c*a. Do 3 and s have different values?
True
Let t(s) = s + 36. Let d be t(1). Is 38 bigger than d?
True
Let w = 30.06 + -0.06. Let f = w - 30.2. Which is smaller: f or 23?
f
Let m(u) = -u**3 - 7*u**2 - 11*u - 2. Let g be m(-6). Suppose 4*a - g = -20. Which is bigger: 4 or a?
4
Suppose -93*n + 217*n - 109*n - 90 = 0. Suppose 3*b = 5*v + 16, 32 = 5*b - v - 2*v. Let f = 12 - b. Which is bigger: n or f?
n
Suppose -8 = 5*c - 23. Suppose -18 = -4*n + 2*h, 6*h + c = -4*n + h. Is 2 at least n?
False
Let i(x) = -x**3 - 15*x**2 - 14*x - 1. Let g be i(-14). Let r = g - 7. Is -8 less than r?
False
Let i(s) = s**2 - 6*s - 8. Suppose 3*m + l + 18 = 0, -3*m + m - 1 = -3*l. Let v be i(m). Is v greater than 46?
True
Suppose 3*x - 1018 = -2*m, 10*m - 11*m = -x + 336. Do x and 339 have the same value?
False
Suppose 4*b + 15*k = 19*k - 256, b + 70 = -5*k. Is b less than -31?
True
Let y be (7/(-13))/((-52)/338). Is y less than 3?
False
Let s(j) = -j + 12. Let u(b) = -b**2 + 7*b. Let c be u(4). Let y be s(c). Let k = y + 1. Which is greater: -1/7 or k?
k
Let j = 118/7 + -965/56. Let y(l) = -3*l - 2. Let i be y(-1). Suppose -2*s - 3 = -3*n - 2*n, 0 = s - i. Is j at most as big as n?
True
Suppose 5*b - 25 = 5*k, 1 + 6 = 5*k + 3*b. Which is greater: k or -14/13?
k
Let t = 56.625 - 63. Let v = t + -0.025. Let h = -6 - v. Is h at least as big as -1/3?
True
Let r = -1044 + 60557/58. Which is bigger: 0 or r?
r
Let g be 348/90 - 2*1/(-15). Which is bigger: 12 or g?
12
Let x = -143 - -127. Is x bigger than 8?
False
Suppose h + 3 = -0*h, -79 = 4*m + 5*h. Suppose -3*f - 2*p - 21 - 34 = 0, -2*p - 4 = 0. Do m and f have different values?
True
Let g(j) = -j**2 + 6*j + 18. Let u = -7 + 15. Let x be g(u). Let n be 1*(-3 + x + 0). Which is bigger: n or 1/45?
1/45
Let m = 27221/40325 - -8/1613. Let u = 149/75 + m. Let y(q) = -2*q - 9. Let c be y(-6). Does c = u?
False
Let g = 2.79 + -2.8. Let l = 11.01 + g. Is l greater than 1?
True
Let i = -27.971 + -0.029. Let q = i + 28. Which is greater: q or 34?
34
Let j be ((-85)/30)/(3*(-1)/(-66)). Let p = -62 - j. Which is bigger: -1 or p?
p
Let c = 388 - 389. Which is greater: c or 7/50?
7/50
Let m be 176023965/(-58674657) + (-6)/(-2). Let s = 40798445692/8390475951 - m. Let r = s + -64/13. Is 1 greater than or equal to r?
True
Let w(q) = -7*q - 10. Let b be w(-10). Let j be (-14)/(-2)*b/140. Let a(k) = 6*k - 1. Let s be a(1). Do j and s have the same value?
False
Let d be 4/18 - (-68)/18. Suppose 5*z - 33 = -4*s + 6, -s + 4*z - 6 = 0. Let y = d - s. Is -3/5 smaller than y?
False
Let d be 283 + (10/(-2) - -3) + -4. Is 280 at most d?
False
Let j = 111 + -443/4. Which is greater: j or 31/5?
31/5
Let p(a) be the third derivative of -a**4/24 - 2*a**3/3 - 15*a**2. Let d = -7 - -3. Let h be p(d). Which is smaller: 1 or h?
h
Let j(u) = -1. Let x(f) = -f**2 + 2*f - 4. Let l(s) = -3*j(s) - x(s). Let n be l(3). Do 11 and n have different values?
True
Let l(p) = -p**2 + 1 + 2 + 8*p + 0. Let i be l(8). Suppose q - 4*q - i = 0. Which is greater: q or -1/3?
-1/3
Let i = -0.07 + -0.23. Let o be (-2)/1*(-1 - (-16)/20). Is i <= o?
True
Suppose 10*k - 5*k = 0. Let q(r) = -r**3 + 3*r**2