(-2). Is -65/19 at least as big as y?
False
Suppose 4*i - 52 = 8*i. Let s be 2*5/10*-34. Let h = s + 22. Which is smaller: h or i?
i
Let b(j) = -j**3 + j**2 - 24*j. Let h be b(3). Which is bigger: h or -88?
-88
Let v = 563 + -563. Which is smaller: v or 11/52?
v
Suppose 41*n - 12*n = 9106. Which is smaller: n or 313?
313
Suppose -8*u + 32 + 8 = 0. Suppose 0*q = -2*d + 5*q + 14, u*d + 19 = -q. Is d >= 6?
False
Suppose -66 = 2*n - 4*n + 2*p, -2*n = p - 60. Is n <= 61/2?
False
Let z = -6 + 7. Let y be (-6)/10 - (-1)/z. Let k = -639 - -645. Which is smaller: k or y?
y
Suppose -312 = 53*y - 51*y - 5*c, 2*y + 320 = c. Which is bigger: -157 or y?
-157
Let o(s) = -3*s**2 + 2*s + 3. Suppose 0 = -3*x - 2*y - 28, 2*x = 2*y + 2 - 4. Let h be o(x). Let z be ((-4)/h)/(32/48). Is z <= -1/3?
False
Suppose -2*f = -4*w + 3*f + 147, 0 = -3*f + 15. Let d = -38 + w. Is d greater than or equal to 9/2?
True
Suppose 16*u - 24*u - 72 = 0. Which is smaller: -13 or u?
-13
Let g = -1193/4 + 302. Let o = 586 + -582. Which is smaller: g or o?
g
Let l(x) = -2*x - 115. Let u be l(-38). Are -35 and u non-equal?
True
Let d = 74 - 73.895. Does d = -1?
False
Let h be 253 + (0 - -1) + 1. Let q = -92238828/31 + 2975191. Let r = q + h. Is r at most 0?
True
Let q = -44 - -49. Let u(n) = n**2 + 3*n - 5. Let l be u(-5). Suppose -3*p - l*w + 23 = -0*p, -p + 3 = -3*w. Is p < q?
False
Let m = 900 + -901. Let a be -1 + 0 - (-225)/228. Which is greater: m or a?
a
Suppose -3*w + w - 5*x - 462 = 0, 2*x = 3*w + 712. Let t = w - -3301/14. Which is smaller: 0 or t?
t
Let l = 38 - 20. Let c = l - 38. Which is smaller: c or -19?
c
Let b = -114 - -118. Suppose 0 = -5*q + m - 531, 208 = -2*q - b*m. Which is smaller: q or -107?
-107
Let t = 82 - 72. Let h = -1.8 - -9.8. Let o = h - t. Which is bigger: -2/5 or o?
-2/5
Let a = 0.0124 + -0.0452. Which is bigger: a or -2?
a
Suppose 0 = -3*c + 69 - 318. Is -85 at most c?
True
Let a = -1742 - -1741. Is a at most -1239?
False
Suppose 2*o - 2*m = -0*m - 2, 0 = -o + 4*m - 10. Suppose 0 = 4*j - q + 5, -o*j - 5*q = 10 - 35. Is j < 11/12?
True
Let j = -102 + 104. Suppose 57 = -j*c + 37. Are c and -10 non-equal?
False
Let k(i) = i - 3. Let j = 97 + -93. Let n be k(j). Which is smaller: n or 2/233?
2/233
Let w(l) = -3*l**2 - 16*l - 54. Let i be w(-9). Is -153 equal to i?
True
Suppose -2*c + 77 = 3*j - 4*c, 2*j = 4*c + 46. Let u be 4/12*j/(-1467). Is 1 greater than or equal to u?
True
Suppose 20 = 3*a + 4*o, -2*a + 4*o = -0*o - 20. Let g be a + 0 + 0 + -2. Suppose 0 = -4*q + 22 - 2. Which is greater: g or q?
g
Let n be 1*6/15*2/116. Which is bigger: n or 1?
1
Let d = 0.64 + -23.04. Let c = d + 8.1. Let x = c + 14. Is -0.2 >= x?
True
Let u = 8 - 7. Suppose -3*g + u = -b, 0*b - 4 = -2*b. Let h be 234/14 + 8/28. Is h equal to g?
False
Let h = 198 + -191. Is -3/2 != h?
True
Suppose -203 = -3*c + 139. Is c equal to 0.1?
False
Let o(a) = 3*a + 11. Let n(m) = 4*m + 11. Let x(q) = 2*n(q) - 3*o(q). Let t be x(-7). Is t > -7/2?
False
Let a be 2/(-3) + (-15)/(-36). Let q be 0 + -2 - -6 - (-23)/(-6). Is q smaller than a?
False
Let b(k) = k**3 - 25*k**2 + 25*k - 5. Let i be b(24). Is 16 smaller than i?
True
Suppose -4*q - n + 2364 = 0, -3*q + 1754 = -3*n - n. Let v be -2 + -1 + 1790/q. Is v at least 0?
True
Let t = 19.93 + -20. Let x be (49/21 - 2)*-12. Is x not equal to t?
True
Let u(n) = -35*n - 111. Let f be u(-5). Is 3 less than or equal to f?
True
Suppose 47*n + 2574 + 716 = 0. Is -68 <= n?
False
Let w be -244*(-7)/196 + -9. Is w smaller than -275?
False
Let r = -0.41 - -2.51. Let z = r + -4.1. Which is smaller: -0.11 or z?
z
Suppose -5*d - 40 = -4*s + 73, -4*d - 97 = -s. Is -15 greater than d?
True
Let q be (3 - -1)*21/(-12). Let i(t) = t**3 + 9*t**2 + 15*t + 1. Let p be i(-7). Which is greater: p or q?
p
Suppose 5*g - 56 = -3*g. Suppose -2*y + 4*n - 1 = g, -n = 4*y + 52. Does y = -10?
False
Let o = 27 + -44.6. Let n = o + 16. Let k = -1.2 - -0.2. Which is smaller: k or n?
n
Suppose -5*s + 18 + 62 = 0. Let y = 47/3 - s. Is 0.17 bigger than y?
True
Let d(i) = 9*i**2 - 2*i - 13. Let u be d(-2). Which is bigger: u or 33?
33
Let h be (73/(-18))/((-4)/(-72)*6). Is h < -12?
True
Suppose 0 = -4*p - 5*l + 8, 4*p - 16*l = -18*l - 4. Which is bigger: -19/5 or p?
p
Let v = 450 + -450. Which is smaller: v or -1/65?
-1/65
Let n = 446.82 + -439. Let z = n - -0.18. Let f = z + -8. Is -1/4 at most f?
True
Let r be 2 - (2726/14 + 3). Let z = r + 196. Which is smaller: 34 or z?
z
Let a(n) = n**3 + n - 99. Let i be a(0). Let u be (-96)/360 - 2962/30. Is i less than or equal to u?
True
Suppose 5*s + 8 = -2. Let z = -71343/4 + 17668. Let r = 167 + z. Are r and s unequal?
True
Let o = -0.29 + -0.01. Which is greater: -3.5 or o?
o
Let x = 30978/7 - 22188/5. Let j = 845 + -4278/5. Let m = j - x. Is m <= 3?
True
Let d be 4/((-32)/6315) - 84/(-224). Which is smaller: d or -790?
-790
Let h = 30.3 + 4.7. Let m = -35 + h. Let a = -4 - m. Which is bigger: a or 4?
4
Let c be (-58)/5 - 36/90. Let r be -8 + c/(-16)*4. Let p = 4 + r. Which is greater: -4 or p?
p
Let y be 5 - (-1 + -109) - -2. Let p = 84 - y. Which is bigger: p or -34?
p
Let x be (-1)/6*(-2 - -4). Let j = -16.83 + 17.23. Is x > j?
False
Suppose 339 = -m + 201. Let w = m - -137. Let f = 4783/680 - 120/17. Which is bigger: f or w?
f
Let z = 5371/436 - 15/218. Suppose 219*v - 153*v - 858 = 0. Is v bigger than z?
True
Let p be 54/513 + (-5390)/(-57). Which is greater: p or 94?
p
Let z be 60/(-9)*(-108)/(-90). Let x = -9 - -1. Are z and x nonequal?
False
Let c = 3.232 - 2.832. Are c and -205 equal?
False
Let s = 7.4 + -7.5. Are s and -22 equal?
False
Let z be 12/(-42)*1/34. Which is greater: z or -1?
z
Let c be 12/(-20) - (7 + 570/(-75)). Let v be 2/(-4) - 1/10. Which is smaller: c or v?
v
Let s = 53 + -319/6. Suppose 2*r = -0*r. Suppose r*m = -3*m + 3. Which is bigger: m or s?
m
Let x be 2/16 + 355/40. Suppose -x*d = -6*d + 6. Let m be (d + -11)*(2 - 1). Which is smaller: -12 or m?
m
Let n = -1113.7 - -1116. Is n less than or equal to 0.1?
False
Let j = 773 - 772.7. Which is greater: j or 0.73?
0.73
Let v(w) = 9*w**2 - 3*w - 9. Let d be v(4). Let n be -3 - 0 - (-351)/d. Are n and 0 equal?
False
Let j(t) = -3*t + 61. Let k be j(17). Let o = 455/8 - 1145/24. Is o smaller than k?
True
Suppose r = 5*y + 26, -5*y = 8*r - 11*r + 28. Is r bigger than -1/1087?
True
Let s = 23.05344 + -22.97. Let m = -37.05344 + s. Let g = m - -37. Is g less than or equal to -3?
False
Let k be ((-16)/6)/(-3 - 214/(-72)). Let w = k + -477/5. Let q be -1 + 2 - 0/(-1). Which is greater: w or q?
q
Suppose -13 = -3*d + 71. Suppose 4*b + d = 2*l, 3*l = -3*b - 2 - 1. Are -11/3 and b nonequal?
True
Let u(n) = -n + 8. Let q be u(0). Let m(o) = -3*o. Let y be m(-1). Suppose 0 = -4*h - 4*d + 56, y*h + 5*d = 58 - 8. Is q at least as big as h?
False
Suppose 4*l + 4 = 4*n, -n + 0*l + 13 = 3*l. Suppose -h = -4*k + 8, h + 1 = k - 1. Suppose 5*x = y + 12, h = 5*x + 2*y - 28 + 7. Is n at most x?
False
Let d be 501/(-12) + 3/(-3*4). Let t be d/264 + (-1)/(-4). Is t smaller than 1?
True
Let s be 306/(-10) + 12/20. Let y be s/(-9)*(-7)/28. Which is smaller: y or 0?
y
Suppose -o + 177 = 178. Which is greater: 2/17 or o?
2/17
Let v = -14.91 + -0.09. Let u = 46 - 65. Let d = u - v. Which is greater: 1/2 or d?
1/2
Let m = -18 + -44. Let l be (-4)/(32/12) - m/(-28). Does l = -5?
False
Let t(j) = -j**3 + 9*j**2 - j + 2. Let a(c) = 2*c**2 - 7*c + 5. Let d be a(4). Let s be t(d). Suppose -9*n + 37 = 109. Which is smaller: n or s?
n
Suppose 5*y - y + 20 = 5*o, -3*y - 2*o - 38 = 0. Let p be 0*((-45)/y + -5). Let m = 2/911 - -1788/15487. Is p greater than m?
False
Let x be ((-2)/(-6))/((-2)/6). Let k = -3 + x. Let d be (38/4)/(2/k). Is -20 less than d?
True
Let l(y) = -y**2 - 9*y - 6. Let g be l(-8). Suppose 9*v + g = 7*v. Is v >= 3?
False
Let o(p) = -p**3 - 15*p**2 - 8*p - 2. Let u be o(-8). Which is greater: -387 or u?
u
Let u(b) = -b**3 + 2*b**2 + 4*b - 1. Let r be u(3). Let p be 12/3*(r - 1). Let s be (8/3)/((-4)/(-6)). Is s < p?
False
Let z = -4 - -4. Suppose 9*g - 12*g = z. Suppose g = -5*j + 7*j + 2. Which is greater: j or -2/13?
-2/13
Suppose 0 = -9*p - 0*p - 27. Let y be 8*p/(-6)*2/(-18). Is -1 at least as big as y?
False
Let f(s) = s + 4. Let v be f(6). Let a = v - 5. Suppose 0 = t - 