Let m be ((-15)/(-27))/(91/213). Let x = m + k. Is x > 0?
True
Suppose -2*u = -21 - 29. Let o = u + -23. Suppose -z + 2*b + 14 = 0, -5*b + 5 + 5 = o*z. Which is greater: z or 11?
11
Let s be ((-2)/(-3))/(22/264) + -8. Which is smaller: s or -1/1029?
-1/1029
Let z be ((-575)/10 - -3)*(0 + 2). Which is bigger: z or -108?
-108
Let d be (-2)/(-8) + 522/24. Let k be d/15*(-108)/386. Let a = k + 2/193. Is -2 at least as big as a?
False
Let t = 434/9 - 48. Suppose 3*r = 2*r + 1. Let w = r + -1. Which is smaller: t or w?
w
Let m = -131 + 132. Which is bigger: m or 2?
2
Let x be (-2)/8*1 - 14287/1092. Which is greater: -13 or x?
-13
Let z be 134/4 - 11/(-22). Let u = -67 + z. Is -32 bigger than u?
True
Suppose 0 = 4*g + 2*v + 18, 3*g + 7 = g + v. Let h be (-1)/g - 179/(-4). Let j be (-9)/h + (-9)/5. Is -5/9 greater than j?
True
Suppose 28 = -2*i - 4*g, 3*i - 2 = -g - 29. Let a be ((-3)/i)/(-1 + -1). Is -1 at least a?
False
Let j be -26 + 28 + 352/(-174). Which is greater: j or 0?
0
Suppose 5*c = -10 + 75. Let u = 27 - c. Is 1 at least as big as u?
False
Let j be (-9)/(-12) + 151/(-228). Is j < 1?
True
Let k = -12.21 + 0.21. Let b = -7 - k. Let r = b + -8. Which is greater: 2/9 or r?
2/9
Suppose g = -5, 4 = -3*p + g - 3*g. Suppose -15 = -5*v + 50. Suppose -c + p*c = -v. Is -14 smaller than c?
True
Let b = -65 + 11. Let t be (-2 - b/28)*-4. Which is smaller: 0 or t?
0
Let x = -258 - -256. Is x != -36/31?
True
Suppose -d + 16 = 3*d. Let l be d/18 - 79/18. Let k = l - -49/12. Is k less than 1?
True
Suppose 2*f - 20 = u, 0 = -4*f - 4*u + 9*u + 28. Let i be -1*3/(-3 - f). Let n be (-2)/5 + (-4)/(-10). Which is smaller: n or i?
n
Let o be (-6 - -12)*(-1)/(-2). Let i be (-5)/180*-1030*o. Let x = 86 - i. Is x greater than 0.1?
True
Let j = 3754/39 + -96. Do j and 1 have different values?
True
Let c(h) = -h**2 - 16*h - 9. Suppose 10 = -o - 5. Let z be c(o). Is z at least as big as 6?
True
Let o be 2/(25/900*-6*12/10). Let u be 68/(-6) - (-4)/(-6). Is o bigger than u?
True
Let z = 52 - 37. Let u be 6/z*(-4 - -3). Is u less than or equal to -9?
False
Let h = -9.92 + 9.91. Which is smaller: h or 2.4?
h
Let o = 31 - 28. Suppose 5*d + 83 = o*s - 9, -4*d - 72 = -2*s. Which is smaller: -15 or d?
d
Let p = 1450 - 7273/5. Suppose -9*n = 560 - 506. Is p at most as big as n?
False
Let k = -2488/11 + 226. Let w be (-3 + 1718/110)*1. Let j = -64/5 + w. Is k at least j?
True
Let f = -1 - 16. Let c(q) = -6*q - 7. Let p be c(-3). Let j = f + p. Which is bigger: j or -4?
-4
Suppose 0 = -0*w + 2*w - 5*x + 2201, -x = -3. Let f be 3 + -6 + w + 0. Let n be (12/(-21))/(f/28). Which is smaller: 0 or n?
0
Let j be 0 + 0 - (1 - 4). Let q = j - -1. Suppose 2*b - q = b. Which is smaller: 6 or b?
b
Suppose -8*h + 140 = -4*h. Suppose -3*s - h = 5*m + 98, -4*m = -5*s - 271. Which is bigger: s or -50?
-50
Let j = 3 - 2. Let z(l) = l**3 - 9*l**2 + 12*l + 16. Let k be z(7). Let u be (k/(-21))/(4/6). Which is smaller: u or j?
u
Let v be ((-118)/(-4))/(23/(-152)). Let r = 327 + -132. Let m = v + r. Is -1 at most m?
True
Let w(n) = n**3 - 12*n**2 - 7*n + 41. Let x be w(13). Which is smaller: x or 1?
1
Let b(r) = 2*r - 12. Let h be b(12). Suppose -h*f + 15*f + 42 = 0. Which is bigger: f or -17?
f
Let d = 0.0517 - -0.2483. Which is greater: -0.015 or d?
d
Let b = 31.003 - 31. Let m = 3.997 + b. Which is smaller: m or 3/7?
3/7
Let c = -79 + 82. Let o be 29/(-3) + 2/c. Is o equal to -66/7?
False
Suppose 2*i = -4*y + 12, 4*i = -2*y - i - 10. Let l(j) = j**3 - 6*j**2 + 4*j + 9. Let t be l(y). Which is greater: 1 or t?
t
Suppose 2*l - 7*l = -5. Suppose 4*q - l = -k, -2*q - 3*q - 88 = -4*k. Which is smaller: 15 or k?
15
Suppose -b = b - 5*m - 12, -5 = -3*b + m. Let n be 1/(-3) - 111/(-74). Is b less than n?
True
Let k = 1117.93 + -1118. Which is bigger: -2 or k?
k
Suppose -2*r + 3 = 4*v - 7, 0 = -5*r + 5*v - 20. Let a(i) = -7*i + 1. Let g be a(r). Suppose g = -5*s + 28. Is s bigger than 3?
True
Let f(h) = 7*h - 31. Let l be f(11). Let s = l + -45. Which is greater: -3/56 or s?
s
Suppose 0*m - m + 107 = 5*n, 0 = 4*n + 3*m - 79. Is n equal to -0.1?
False
Let z be 48/(-65) + (-2)/(-10). Suppose 6 = 166*b - 169*b. Which is smaller: b or z?
b
Let q = -44 - -50. Let s be (-1 - -5) + (3 - q). Which is smaller: s or -6?
-6
Let l = -359/9 - -1445/36. Suppose 2*q + 52 = -0*q. Let s be (-5 + 1)*(-2)/q. Which is greater: s or l?
l
Suppose 0 = 37*j - 30*j + 196. Let q = -43 + 15. Is j bigger than q?
False
Let b = -1/901 + -1497/274805. Is b less than 1?
True
Suppose v - s + 3 = 0, s = -3*v - 2 - 3. Let m = -6 - 7. Let b = m - -13. Are b and v equal?
False
Let c = -12 + 11. Let k be c + 5 - 486/130. Let a = k + -6/13. Do a and -5 have different values?
True
Let q = 637 - 681. Do q and 0 have different values?
True
Let c be 0 + 3 - (10 + -9). Let g be (-85)/(-119) + c + (-24)/14. Which is bigger: -3/28 or g?
g
Let s be (-1 + 1 - 0) + (-9)/(-603). Is s <= 0?
False
Let v = 5 - 5. Suppose -3*m + n = 5*n + 8, -2*m + n - 9 = 0. Is v bigger than m?
True
Let q(t) = -t**3 + 6*t**2 - 14*t + 46. Let z be q(7). Is -100 > z?
True
Let f(o) = 5*o + 16. Let x(g) = -g. Let a(l) = f(l) + 3*x(l). Let z be a(-12). Are z and -3 non-equal?
True
Suppose 5*n = -6 - 9. Let c(f) = -9*f - 40. Let h be c(n). Is h smaller than -14?
False
Suppose 0 = -4*v - 2*n + 10, 2*v - 12 = 5*n - 1. Suppose o = -v*o + 4. Let k be ((2 - -1)/(-3))/o. Which is bigger: 0 or k?
0
Suppose -3*x + 7*x = 56. Suppose -x*z - 68 = -12*z. Which is bigger: -33 or z?
-33
Let m be -80 - 3/(15/(-25)). Is m at least -73?
False
Let u(z) = -7*z + 3. Let v(i) = -6*i + 3. Let f(p) = -5*u(p) + 6*v(p). Let x be f(7). Let y = 5 + x. Which is smaller: 8 or y?
y
Suppose 5*j - 3*i = -5*i + 78, 3*j - 49 = i. Suppose 23 + j = -3*h. Let o = -11 - h. Is 4 at most o?
False
Let h = 2/427 + -5134/2135. Does h = -1?
False
Let v = -3 + -16. Let k = -24 - v. Is -4 greater than k?
True
Suppose 4*v = -3*c - 9, 10*c = 5*v + 5*c - 15. Suppose v = -10*q + 13*q + 9. Is q != -1/2?
True
Let u(n) = 24*n - 338. Let m be u(5). Is m not equal to -219?
True
Let j = 87.794 + -87.8. Do j and -2/7 have different values?
True
Suppose 0*b = 3*b + 3*j + 21, 0 = 2*j. Let p be 21/b - (-34)/10. Let h = -6/35 - -34/35. Is h bigger than p?
True
Let t(w) = 3 - w - 3. Let q be t(-1). Let c(p) = -p**3 + 7*p**2 + 33*p - 214. Let j be c(5). Is q != j?
False
Let t be (-178)/384 - (-56)/112. Which is greater: 0 or t?
t
Suppose 0*t + 4*t = -20. Let w be 12*(5/(-2) - -2). Which is bigger: t or w?
t
Let n = 39.3 - 42. Let a = n - -3.7. Let o = -0.24 - -0.33. Is o at most as big as a?
True
Let o(l) = 4*l + 1. Let s be o(-2). Suppose -3*q - 28 = 5*v, 3*q = -2*q - 5. Which is greater: s or v?
v
Let c = -1.63 - -0.63. Is c at most 86?
True
Suppose 0 = -6*b - 45 - 9. Which is greater: b or -8?
-8
Let a(v) = 106*v**3 + 4*v**2 - v - 2. Let u be a(1). Let y = u + -96. Which is bigger: y or 3/4?
y
Suppose -4*n - 121 = -p - 50, 101 = -4*n - 5*p. Is n at most as big as -132/7?
True
Let r be 7/(-21) - (-14)/(-30). Let z = 311 + -311. Is z at least r?
True
Let o = 34 - 27. Suppose 4*w - 2 = -x - o, -3*x = 2*w + 5. Is w bigger than -2/323?
False
Suppose -3*q - 13 = 2*x - 4*x, -q + 25 = 2*x. Let v = 7 - x. Let f = 23 - 28. Which is greater: v or f?
v
Let s(u) = -u**3 + 2*u**2 + 2*u - 2. Let h be s(1). Let n be (1 - 0) + 6/(-3). Let t be n + 178/58 + -2. Is h != t?
True
Let n = -5 + 3.96. Let j = n + 4.04. Which is greater: -16 or j?
j
Suppose -5*v + 15 = -5*c, 5*v - 12 = 2*c - 0*c. Let o = 0.07 - -0.13. Is o less than c?
False
Suppose -4*n = -154 - 18. Suppose -27 = -4*q + 3*c + n, -2*q + 24 = 4*c. Are q and 16 non-equal?
False
Let q = -0.2947 - -0.3947. Let y be (-382)/4 + (-2)/4. Is y < q?
True
Let o = -0.66 + 0.16. Let l = o - -4.5. Let p = 19 + -20. Which is greater: p or l?
l
Let p(f) = -f**3 + 2*f**2 + 4*f + 5. Suppose a - 9 = -3*u, -4*u = -a - 0*u - 5. Let z be p(a). Is 4 at least as big as z?
False
Let u = -59799/17 + 3515. Is u less than or equal to -4?
False
Suppose 136*p = 132*p - 20, -5*m = -p - 5. Let n be 37/(-42) - (-6)/(-21). Is n at least as big as m?
False
Let b(x) = -x**3 - 6*x**2 + 4*x - 10. Let n be b(-7). Let u = n + -3. Is 7 at least u?
False
Let h(g) = -2*g**2 - 4*g + 72. Let o be h(-9). Which is smaller: -56 or o?
-5