Is -719 smaller than b?
True
Let s(r) = -12*r**3 - 21*r - 22. Let c be s(-1). Does 6 = c?
False
Let p = -839/6 - -140. Let o be (-13)/(-2) + (-2)/(-4). Let y be ((-2)/o)/((-3)/7). Is y less than or equal to p?
False
Let l be ((-16)/(-5))/(8/20). Let k be 1 + -22*4/l. Let a = 11 + k. Is -4/9 <= a?
True
Let v be 0/1 + 14/(-49). Let g(n) = n**2 + 2*n - 3. Let h be g(-4). Suppose 5*t - 6*s + h = -s, -2*t - 5*s + 12 = 0. Which is bigger: t or v?
t
Let g = -8 + -2. Let b = -30 - -10. Let h be b*(-2 - (-15)/6). Is h not equal to g?
False
Let r(m) = 4*m**3 + 7*m**2 + 2. Let k be r(-3). Let u = -35 - k. Which is smaller: u or 7?
7
Let f = -467/598 + -3/46. Let a = -103/91 - f. Let r = -18/59 + 95/118. Is a >= r?
False
Let u = 1.9 - 0.5. Let m = -1.4 + u. Let h = m - -0.5. Is 1/2 at most h?
True
Suppose -19 = -5*c + 2*a + 25, -5*a = -15. Are c and 0.08 equal?
False
Let s be (-1)/(-5) - (-2)/30*-48. Are -4 and s unequal?
True
Let n = -24020/1907689 + 2/11849. Let f(q) = -q**2 - 9*q - 19. Let a be f(-6). Is a smaller than n?
True
Let f be 10/(-6)*(-198)/55. Let w be (-8)/(-34) - 0/f. Is 0 less than w?
True
Suppose -5*y - 56 = 3*h, -y + 6*y + 29 = -2*h. Let f(p) = -p**3 - 5*p**2 + 4*p + 1. Let u be f(-3). Is h at least u?
True
Suppose -2*f = -p + 4, 0 = 5*p - 3*p + 3*f + 6. Is p less than -1/44?
False
Let g = -32.1 - 5.9. Let j = 15 + g. Let p = j - -24. Is -2/7 smaller than p?
True
Suppose 36*h - 37*h = 1, -2*r - 2*h = 4. Let f = 20069/318 + -379/6. Which is greater: r or f?
f
Let r = -484 - -460.3. Let z = r + 17.7. Let d be (-2)/3 + (-22)/(-24). Is d bigger than z?
True
Let m = -48.2 + 0.2. Let a = -29 - m. Let f = a + -20. Which is smaller: f or -8?
-8
Suppose -5*y + 144 = y. Suppose 5*w + y = -6. Which is smaller: -28/5 or w?
w
Let q be 2/((-495)/485 - -1). Let d = 97 + q. Which is greater: 4 or d?
4
Let t be (12/21)/(6/30). Let q = 267/91 - t. Do 0 and q have different values?
True
Suppose -2*b + 16 = 3*b - 2*w, -19 = -2*b + 5*w. Suppose b*d + 9 + 21 = 0. Is d at most -16?
False
Let n be (-9)/7 + -11 + 12. Let b be -4 - 8/6*-3. Suppose b = -4*h - 0 + 76. Is h at most n?
False
Let r be (-2)/(-5) - (-1 - -1). Let f = 66 + -38. Let j = f + -25. Which is greater: j or r?
j
Let k = -14 + 12. Suppose -5*x = -3 - 17. Let s(i) = -i**3 + 3*i**2 + 3*i + 4. Let w be s(x). Which is smaller: k or w?
k
Suppose 0 = -11*x - 794 + 24. Do 0 and x have the same value?
False
Let y = -168.1 + 177. Let j = y + -9. Let r = 10.13 - 10. Is r smaller than j?
False
Suppose -7*a + o - 10 = -12*a, 0 = 3*a + 5*o + 16. Is a bigger than 30/11?
True
Let u be -1 - (3 + -10) - 3. Suppose 4*r + 20 = 4*f, 4*r + 21 = u*f + 3. Suppose -f*v + 5*x - 18 = v, x = 0. Which is greater: v or -5?
-5
Let r be (0/(-1) - -1) + 2. Suppose 0 = 2*b - r*u, 0*u = -b + 5*u - 7. Suppose 3*y + y = 4*t + 16, 5*t + 10 = b*y. Which is bigger: y or 4?
y
Let k(p) = -2*p**2 - 6*p + 7. Let x be k(-5). Let d be 107/(-9) + (-48)/432. Which is greater: d or x?
d
Let b = 1138 - 1096. Is 42 at most as big as b?
True
Suppose 0 = 28*t - 34*t + 66. Let j(p) = p**3 - 2*p**2 - p - 1. Let f be j(2). Let l be (t + -8)*(-2)/f. Which is smaller: 0.1 or l?
0.1
Suppose 20 = 4*k - 4*a, -2*k + 22 - 6 = -4*a. Is -69.3 < k?
True
Suppose 65 = 5*f - 110. Suppose 5*j + w - 10 - 10 = 0, 5*j - 2*w - f = 0. Suppose 61 = 3*k + j*v, -4*k = -5*k + v + 7. Does k = 11?
False
Suppose 2*r = -0*r - 72. Let f be (-2)/4 + 6/r. Let l be (-15)/(-35) - 522/(-105) - 5. Do l and f have the same value?
False
Let n = 6 + -20. Let y = n + 21. Let m be (-1)/y + 4/(-21). Is 1 less than m?
False
Suppose -3*d + d = 5*v - 7, 2*v + 4*d = -10. Let u be (-18)/15 + v + -2. Let m(n) = n**2 - 3*n - 10. Let p be m(-2). Which is bigger: p or u?
p
Let a(l) = -l**3 + 10*l - 13. Let z be a(2). Let n be 2/(-7) + 358/651. Let v = n - -2/93. Is z < v?
True
Suppose 2*t = 3*t + 3. Suppose -4*b + 2*a = 26, 3*a - 4 = -4*b - 5. Is b at most t?
True
Let a be (-485)/3 - -5*(-2)/(-15). Do -161 and a have the same value?
True
Let w = -16 - -32. Let g be 16/(-12)*3 + w. Is 10 equal to g?
False
Suppose 7*y - 2*y = 90. Suppose -u - 2*g - 6 = 0, -4*u - y = -5*g + 10*g. Let c be u/(-5) - (-938)/(-70). Is -12 <= c?
False
Suppose 4*z = 6*z + 4, 0 = 4*l + 3*z + 26. Is l at most as big as -1/3?
True
Suppose 0 = 5*o - j + 2, -5*j + 3*j = 5*o - 4. Which is smaller: o or 3/49?
o
Let r(g) = g**2 - 27*g - 66. Let d be r(30). Are 23 and d non-equal?
True
Let r = 133 - 155. Which is bigger: -18 or r?
-18
Let u = 0 + 5. Let r be -3 + u + (-40)/(-3 + 1). Which is smaller: 21 or r?
21
Let b = -118652779/176 + 674168. Let t = -3/176 - b. Are t and -0.2 non-equal?
True
Let p be (-7)/119 - 6/306. Is p at least as big as -1?
True
Let c(l) = l - 24. Let v = -11 + 22. Let i be c(v). Which is greater: -15 or i?
i
Let b be ((-6)/(-115))/(17/5 - 3). Let p(k) = -k**3 + 8*k**2 - 6*k - 3. Let s be p(7). Suppose 5*o - 1 = s*o. Which is greater: o or b?
o
Suppose t + 121 - 18 = 0. Let c = -367816/7 + 52648. Let m = t + c. Is m bigger than -1?
True
Let o = -2.9 + 3. Suppose 3 = -2*y + 3*r, 8*r - 4*r + 11 = y. Let t(m) = m**3 + 9*m**2 + 2. Let a be t(y). Is a greater than or equal to o?
True
Suppose m + 4 = 0, 4*x = -x - 2*m - 48. Let l(z) = -z**3 - 8. Let n be l(0). Is n bigger than x?
False
Let j = -99 + 28. Which is bigger: j or -70?
-70
Suppose -f - 6*o = -o - 15, 3*o = 4*f + 9. Does -2/839 = f?
False
Let d = 7 - 7. Suppose -3*w = -d*w. Let n be 90/10 + w/(-2). Which is smaller: n or 11?
n
Let q(n) = -n**3 + n**2 - n + 10. Let t be q(0). Let g be (-24)/(-20)*t/3. Suppose 0*p = -4*p + g, -x - p = -2. Which is smaller: -2 or x?
-2
Let k = -115 - -118. Which is greater: k or 1?
k
Let o = -198 - -199. Is -24 equal to o?
False
Suppose -4*b = -2*r - 62, -5 = 2*r - 3. Suppose -b*j = -13*j + 72. Do j and -36 have different values?
False
Let o = 1813.7 - 1815.7. Let c = 0.64 + -5.94. Which is bigger: c or o?
o
Let m(u) = 4*u**2 - 5*u - 16. Let o be m(6). Does o = 99?
False
Let n = 50.7 - 4.7. Is -0.3 bigger than n?
False
Let j = 8.23 - 63.23. Is j bigger than 2/7?
False
Suppose 5*l + 10 = -0*l. Suppose 9 = -27*n + 36*n. Which is bigger: l or n?
n
Let c(p) = 4*p - 32. Let t be c(8). Suppose 5*b + 1 = -2*k, -3*k = 3*b - t*k + 6. Which is bigger: 1/6 or b?
b
Suppose -44 = -2*w + 4*c, -4*w + 23 = -4*c - 57. Is 17 at most as big as w?
True
Let k(g) = 13*g**2 + 2. Let n be k(1). Suppose -h + 2*l + 10 = -2*h, -3*l - n = 3*h. Which is greater: h or 1/18?
1/18
Let l be (6/(-75))/((-16)/10). Suppose o = 4*k - 3*o + 44, 17 = -2*k - 3*o. Let r be (-1 + 1)/(20/k). Which is smaller: r or l?
r
Let t = 9591/44431 - 35/157. Is 1 at least t?
True
Let k = 21/5 + -4. Let f be 105/84 - (6/28)/((-30)/(-35)). Which is bigger: k or f?
f
Let u = -37 + 316. Which is smaller: 280 or u?
u
Let g = -56 - -30. Let q = -28 - g. Which is smaller: -0.4 or q?
q
Let l = -321.8 + 363. Let d = -40 + l. Is d <= 3?
True
Let p(x) = 2*x - 6. Let z be p(4). Suppose -4*l = 2*f - 48, -73 = -5*l + 6*f - z*f. Let h be 1*2*13/2. Is l <= h?
True
Suppose -4*u + 3 = 19. Let p be 0*u/16 - 9. Let z = p - -10. Are z and 1/20 unequal?
True
Let x = -2148/11 - -195. Suppose 5*s - 2 - 3 = 0. Is x != s?
True
Let n = -666 + 744. Which is greater: 66 or n?
n
Suppose 0 = -3*i - 12 - 21. Which is greater: -13 or i?
i
Let t = -6586147/939 + 7014. Which is smaller: t or 0?
t
Suppose 2 = 2*h, k + 0*h - 3*h = 423. Suppose 3*u + 0*u + k = 0. Let q = u - -2415/17. Do -1 and q have different values?
True
Let g = -46 + 49. Suppose 164 = g*s - m, s + s - 2*m = 108. Is 54 less than or equal to s?
True
Suppose -8 = -6*b - 98. Is b < -14?
True
Let g = -3.134 + 0.034. Let y = g - -3. Let s = -0.97 + 1. Which is greater: y or s?
s
Let z = 49 + -24. Let d be -8*(3/4 - 4). Which is bigger: z or d?
d
Let a be (-1)/(-4)*-2 + 7139/14322. Are 1 and a nonequal?
True
Let x be (11 - 7) + 1 - 6. Which is greater: 2/219 or x?
2/219
Suppose -o - 6 = -4*o, n + 5*o = 2. Which is smaller: n or 2?
n
Suppose -51*y + 61*y = 20. Does y = 22/25?
False
Let t be (-450)/(-180) + (-883)/(-26). Is t at most 36?
False
Let b(f) = -f**2 + f + 2. Let h be b(-2). Let z(a) = -3*a + 20. Let n be z(8). Do h and n have the same value?
True
Suppose 0*c - 5*c = -125. Suppose 5*v - 83 - 272 = 0. Let i = v - 45. Which is smaller: c