-7). Suppose 96*y - 113*y + 357 = 0. Is g less than or equal to y?
True
Suppose -20 = -5*s + 35. Let a be 37303/(-110) + (-2)/s. Let z = a + 339. Which is smaller: z or 1?
z
Let y(t) = t - 27. Let l be y(3). Let s be -4*6/l*0. Which is bigger: s or -6/41?
s
Suppose 3*v = 75 + 15. Let w = -18 - v. Is -49 > w?
False
Let v(x) = -x**2 + 3*x + 3. Let c be v(4). Let m = -139783/101 + 1384. Let r = 173/2929 + m. Is c < r?
True
Suppose -2*q - 12 + 28 = o, 4*o = -q + 29. Let f be ((-12)/o)/((-2)/(-1)). Which is greater: f or 1/52?
1/52
Let g be (-6)/(-15) - (-13)/5. Let i(p) = 3*p - 6. Let r be i(g). Is r less than 26/7?
True
Let z = -458 + 457.3. Which is greater: z or 0.09?
0.09
Let j = -4.24 + 4.2. Let n = 0.02 - -0.04. Let g = n - j. Which is smaller: g or -0.3?
-0.3
Suppose -4*x - 16 = -5*o - 0, -4*o - 5*x = 20. Is 2/3 greater than o?
True
Let c = 0.236 - 63.236. Which is bigger: 0.2 or c?
0.2
Let g = 9 + -8. Let r be -2 + 1 + 2 - -24. Let y be g/(-4) + r/(-60). Is y <= -2?
False
Let d be -4*(-21)/12*218/7. Do 219 and d have different values?
True
Suppose 0 = 2*v, 0 = 5*c + 5*v - 6 + 1. Is c >= 7/33?
True
Let y = 1889749119 + -440310449159/233. Let i = y + -4702. Which is bigger: i or 0?
i
Suppose -4*k = k. Suppose -4*i - 75 = -k*i - q, q = -5. Let l be (-10)/(-12)*(-6)/i. Which is greater: l or -22?
l
Let v = -10 - -5. Let p be 1/(-5) - 11/v. Suppose -p*d = -0*d + 10. Which is smaller: d or -4?
d
Suppose -4*d = p - 0*p + 17, -3*p - 2*d = 21. Let b be p/(-10)*2/9. Let v = 1 + 1. Which is greater: b or v?
v
Let s = 637 + -661. Is -9 at most as big as s?
False
Let v = 5.11 - -33.96. Let r = v - 39. Is -2 greater than or equal to r?
False
Suppose 28 = 16*n - 9*n. Do -25 and n have the same value?
False
Suppose 4*i - 791 = 69. Is 215 at most as big as i?
True
Let z be ((-3)/(-6) - 1) + (-3)/6. Let p be (-3 + 16/6)/(177/36). Is p greater than or equal to z?
True
Let d = 4 - 2. Suppose -4 = -f - d*m, 3*f + m = -m + 8. Suppose -3*p + 18 = 5*a, -2*a + 6*a - 4*p - 8 = 0. Which is greater: f or a?
a
Let z be 2/(((-6)/(-18))/((-78)/270)). Is z <= -1?
True
Let a = 1268/42395 + 2/695. Is a at least 0?
True
Let u be 8 + (11 - 22) + 8/2. Is u at least 5/37?
True
Let f be (16 + 7 + -11)/((-9)/(-64)). Which is bigger: f or 85?
f
Let o be (-7 + -99)*5/(-2). Let h = -4237/16 + o. Let k = h + -7/16. Are 2/3 and k non-equal?
True
Let o = 138.1 - 88.1. Is 0.08 at most as big as o?
True
Let i be ((-8)/(-21)*144/96)/(-2). Is i <= -2/195?
True
Suppose -4*l + f = -375, 15 = 2*f - 7*f. Let z be (1/104)/(l/(-62)). Which is smaller: 1 or z?
z
Let q = -41 + 41. Let z be (-2 + 1)*(-4)/(-4). Let v be 4 + z + (-215)/75. Is q at least v?
False
Let y = 0.132 - -0.868. Is y at most as big as -1.16?
False
Suppose -5*w - 15 = -2*p, 2*p - 27 = 2*w - 3*p. Which is smaller: -2/487 or w?
w
Let n be 0/(2 - 0)*62/62. Which is smaller: n or 1/24?
n
Let n(g) = -3*g**3 - 16*g**2 - 14*g - 23. Let a be n(-6). Which is smaller: a or 132?
132
Let l be ((-44)/8)/((-3)/6). Suppose -2 = -13*y + l*y. Are y and 19 unequal?
True
Let l = -321.9035 - 0.0965. Are -2/5 and l nonequal?
True
Let x = 3 - 3. Suppose -2*k = -6, 4*k = 4*r - x*k. Suppose 0*v + 4*h - 6 = v, r*v + 3*h + 3 = 0. Is v < -10/3?
False
Suppose 0*p - 182 = -7*p. Let w(c) = -3*c + 77. Let l be w(p). Suppose 5*t - 3*h = -11, -5*h + 7 + 8 = -5*t. Do l and t have different values?
False
Let k = -12 + 14. Suppose z = -k*z. Suppose -3 = 3*p - z. Which is bigger: -2 or p?
p
Let l = 64 - 92. Let z = -38 - l. Which is bigger: z or -1?
-1
Suppose -2*z + 61 = -3*y, 0*z + 10 = 2*z. Which is smaller: -22 or y?
-22
Suppose -2*n + 5*n - 24 = 0. Let q(x) = -x + 6. Let g be q(n). Suppose -15 = -2*s - 2*s - 3*b, -15 = -s - 3*b. Which is smaller: g or s?
g
Let t be 3*-1 + 7/(20349/8703). Is t less than or equal to 0.1?
True
Let t be (2 + (-2 - 1))/(1 - 0). Which is smaller: 12/49 or t?
t
Suppose 0 = 2*b - 3*b. Let z(o) be the third derivative of o**5/60 + o**4/24 + 25*o**3/6 - 29*o**2. Let l be z(b). Which is smaller: l or 24?
24
Suppose 0*b + 8 = -3*r + 2*b, 4*r + b - 4 = 0. Let w = -2779.08 + 2779. Is w less than or equal to r?
True
Let z be 4 - (-12 + 8 - 7). Which is smaller: 18 or z?
z
Let k = 152.228 + -0.228. Let d = k - 69. Is d != -0.1?
True
Let l = 0.04 - -2.96. Let w = 43.68 - -0.32. Let c = w + -48. Which is greater: c or l?
l
Suppose 0 = 9*j - 12*j - 36. Are j and -11 nonequal?
True
Let f be (-97)/(-436) + 14/(-56). Is 0 bigger than f?
True
Let b be 0 + -1 + (-6)/(-3). Suppose q + q - 4 = 0. Which is greater: q or b?
q
Let s(f) = -f**3 + 2*f**2 + 15*f - 5. Let x be s(-4). Is 349/11 at least as big as x?
True
Let h = -0.9 - -1. Let x = 8 - 11.4. Let j = x - 0.6. Which is smaller: h or j?
j
Suppose 0*x + 17 = 4*x + g, -5*g = 2*x - 13. Suppose 4*z = 2*z - s + 5, 0 = 3*z - x*s - 24. Let a = -7310/7 + 1044. Which is smaller: a or z?
a
Let r = 2.06 - -0.14. Let u = r + 0.8. Suppose -49*p + 363 = p + 463. Is p at most u?
True
Let h = 412 - 70. Let c be (-2)/(-3)*h/(-19). Which is smaller: c or 0?
c
Let n = 861 + -808. Is n greater than 45?
True
Suppose -11 = -4*f + 29. Suppose -5*k + 7*o - 2*o = -f, 3*o + 11 = -2*k. Suppose v + 2 = -0*v. Which is greater: k or v?
k
Suppose -20 = -4*z + 16. Let x = 6 - z. Let h = 0 + -1. Is x > h?
False
Suppose -5*x = -3*g + 878, -3*g = -x - 2*g - 174. Let j = x - -167. Which is bigger: -52/5 or j?
-52/5
Let f be 4/14 + (1 - 1308/(-28)). Let k be (-2)/4*(6 - f/8). Does k = 8/17?
False
Let w(c) = -2*c**2 + 71*c + 76. Let k be w(35). Is 0.1 at most k?
True
Suppose -83*x + 5346 = -65*x. Which is bigger: x or 1/3?
x
Let b be (-469)/(-465) - (-8 - -9). Let m = b - -2642/17205. Which is greater: -1 or m?
m
Let q = -92 - -101. Let n be (q/16)/(51/(-34)). Which is bigger: -1 or n?
n
Let b be 105/(-39) + (-8)/(2 + -6). Which is smaller: -2 or b?
-2
Suppose -5*c + 4*r - 129 = -6*c, -5*r = -2*c + 258. Which is greater: c or 898/7?
c
Let w = -10 + 16. Let h = 4.9 - w. Let n = 1.1 - 0.1. Is h smaller than n?
True
Suppose -3*t + 1 = 2*z, 2*t - 29 = 5*z - t. Let q be -2*z/(240/(-99)). Are -4 and q non-equal?
True
Let p(n) = -n**3 - 24*n**2 - 51*n + 63. Let b be p(-22). Which is greater: 218 or b?
218
Let j be (3/(-18))/(4/3). Suppose 9*q = -0*q - 9. Is q less than j?
True
Let g(b) = b**2 + b + 3. Let q be g(0). Suppose 2*f - 7 - 19 = -5*d, q*f + 7 = 4*d. Let w be d/6*3/(-20). Is w smaller than 0?
True
Let d = -115 + 59. Let z = -44 - d. Suppose -2*f - 3 - 1 = 0. Is z smaller than f?
False
Suppose -3*i - 1 - 17 = -3*n, -22 = -5*n + 3*i. Let v = -3794/9 - -1268/3. Which is greater: v or n?
n
Let z(l) = -3*l - 1. Let h be z(-1). Suppose -131 - 3 = -f. Let m = f + -131. Which is smaller: h or m?
h
Suppose -3*z = -z - 16. Let y be z/(-3)*2*(-45)/200. Is 1 bigger than y?
False
Let g = 45 - 87. Let m = g - -41. Let v be 1 + 0 + 23/(-21). Is v > m?
True
Let m = 7 - 6. Let u = 648 + -40822/63. Is u <= m?
True
Let c(b) = b**3 + 49*b**2 - 102*b + 1. Let q be c(-51). Is q less than or equal to 24/25?
False
Let r(x) = x**3 + 10*x**2 - 12*x - 13. Let q be r(-11). Let s be (q + (-36)/(-32))/(-2). Is s <= -1?
False
Let l be (-246)/(-82) - (2 - 432/(-430)). Which is greater: 0 or l?
0
Let s = 13 - 14. Let c = 0.6 + s. Let u = c - -0.5. Which is greater: u or -11?
u
Suppose -1575*y - 3990 = -1554*y. Are y and -192 non-equal?
True
Let p be ((-1)/(-1))/(2/36) - 3. Suppose 2*c = -5*c + 112. Is c bigger than p?
True
Let x = 11 + -19. Let v(d) = -d - 13. Let o be v(x). Which is smaller: -6 or o?
-6
Let h = -174 - -175. Which is smaller: -41/4 or h?
-41/4
Let a = 69 + -129. Let i be 2/3*a/8. Let l(y) = -5*y + 1. Let p be l(1). Which is greater: i or p?
p
Suppose 5 = -4*s + 9*s. Suppose -s = -n + 25. Let x = -23 + n. Is x at least 6?
False
Let a = -285 + 285.1. Which is greater: -1/6 or a?
a
Let a = 189/20 + -46/5. Are a and -8/43 non-equal?
True
Let l(h) = -h**3 - 37*h**2 - 38*h - 154. Let w be l(-36). Which is greater: -83 or w?
w
Let g = 12 + -12. Suppose -5*d + g - 5 = 0. Is d greater than 1/31?
False
Let h = -1/16 - 3/16. Let a = -11.8 - -7.9. Let f = -23.9 - a. Is f >= h?
False
Suppose z = 2, k - 2*k - z - 1 = 0. Let y be -3 - -18 - 6/k. Let g be (-2)/5 - y/(-5). Is 3 less than g?
False
Let b be 8/36 + (-536)/(-18). Let u be (172/b - 1)/(-1). Let p