ch is greater: 0.19 or q?
0.19
Let c be 2/11 - 560/(-308). Suppose s = 3*s. Suppose t + 5*l = 2*l + 9, s = 4*l - 12. Which is greater: c or t?
c
Let o = 2683/108 + 38/27. Is 25 > o?
False
Let r = -1320 - -1299. Are -2 and r equal?
False
Let r be ((-57)/(-15) + -1)*10. Suppose 5*q - r = 19*q. Is -7/12 <= q?
False
Suppose 4 = -4*c - m, 4*m + 8 = 2*m. Suppose -2 = -c*y - 2*y. Let j(i) = 4*i**2 + i - 1. Let p be j(y). Which is bigger: 3 or p?
p
Let s = -2938 + 3013. Which is smaller: -21 or s?
-21
Let a be -10 + 1 - 2635/155. Which is bigger: -25 or a?
-25
Suppose -66 = -94*v + 88*v. Let b = 21 + -31. Let f = v + b. Which is greater: 2/21 or f?
f
Suppose 0 = 5*h - 7*h + 40. Suppose -19*x + 2 = -h*x. Let a(m) = -3*m - 1. Let j be a(1). Is j >= x?
False
Let b be 2/(-78)*8/(16/(-54)). Let i be (-2)/(-4) + 10/20. Is i > b?
True
Let m be (12/21)/(4/56). Suppose -m + 28 = 4*d. Which is greater: 2 or d?
d
Let g be -671*(1/(-3) - (-4)/3). Let q = g - -3332/5. Which is smaller: q or -5?
-5
Let z be 3 - (372/21 - -1). Which is greater: z or -16?
z
Let j(h) = -h**3 - h**2 + 4. Let m be j(0). Suppose m*n - 3 = 5. Suppose -n = i - 5*v, 2*v = 2*i + 5*v - 9. Are i and 1 equal?
False
Let r = -19 - 9. Let k = -17 - r. Let u = -25 + 37. Which is smaller: u or k?
k
Let x = -57 + 284/5. Suppose -1 = -m, -7*m = 4*s - 2*m - 5. Suppose 4*i + 12 = s, 2*i = -4*d + 4 - 14. Which is bigger: x or d?
x
Let d = -51 + 33. Let r = d - -18. Which is smaller: -2/11 or r?
-2/11
Let s be ((-5)/3)/(1/6). Let d be (-3)/(-6)*(53 + -5). Let v be d/(-13) - (s - -8). Is 1 smaller than v?
False
Let w = 7711 - 7711.2. Let c = 0.25 - 0.3. Let a = c - 2.95. Are w and a non-equal?
True
Let x(p) = p**3 - 4*p**2 - 9*p - 14. Let u be x(6). Let c be u/(-38)*6/12*3. Is -1 not equal to c?
True
Let k(x) = x**3 - 12*x**2 - x + 11. Let v be k(12). Let a = 3 - 4. Let u be ((-2)/(-54))/(a/2). Which is bigger: u or v?
u
Let m be (-19)/(-7) + (-2)/(-7). Let y be 10/(-15) - 82/(-24). Let g = y - m. Which is smaller: g or 0?
g
Let i be -3 - 2/(6/(-57)). Let v(a) = 3*a - 32. Let f be v(10). Which is smaller: i or f?
f
Suppose 17 = 5*m - 43. Suppose 0 = 2*b - 4*l + m, 5*b + 0*l + 69 = -3*l. Is b >= -12?
True
Let n be (84/35)/((-1)/5). Let x be 1*18 + n/(-12). Suppose -2*b + 10 = 2*m, -3*m - 2*m + x = -b. Do b and 0.4 have the same value?
False
Let i = 6 + -7. Is -1/17 < i?
False
Let v = 380 - 381. Which is bigger: v or 6/427?
6/427
Suppose 15*o - 17*o = -d - 113, -d + o - 117 = 0. Which is smaller: -122 or d?
-122
Let u = -4.2 + 3.8. Let k = -263.12 - -263. Which is smaller: u or k?
u
Suppose -5 = -2*k - 3*k. Let s = -1068 + 53401/50. Is s >= k?
False
Let m = -293 - -3806/13. Which is bigger: m or -0.08?
-0.08
Let a = 72 - 59. Is a less than or equal to 13?
True
Suppose r = u - 39, 0*r - 33 = r + u. Let y = -30 - r. Suppose -10 - 8 = y*a. Which is smaller: -4 or a?
-4
Let k = 652/7525 + -2/301. Is k less than 2?
True
Let y = -1083.3 + 1165. Let i = y - 83. Is 1 equal to i?
False
Let o = -16.3 - -15. Let s = o - -1.3. Is 0 less than s?
False
Let r(y) = -y**3 + 3*y**2 - 2*y + 1. Let w be r(3). Let d be -3*(-3 - w)/6. Which is bigger: -1/3 or d?
-1/3
Let b = -0.0162 - 15.9838. Which is smaller: b or -0.12?
b
Let v = 3 + 4. Let m(p) = -p**3 - 5*p**2 - 11*p - 22. Let d be m(-4). Which is smaller: v or d?
d
Let g(y) = 15*y + 60. Let s be g(-4). Let b = 2/1355 + 1078/4065. Is b equal to s?
False
Let v = -1.6 - -1.63. Let n = -0.03 + v. Which is smaller: n or -0.5?
-0.5
Suppose -5*a + 4 = -3*h - 17, 4*h + 14 = 2*a. Let c be ((-2)/(-40))/(2/(-132)). Are c and h equal?
False
Let m(u) be the first derivative of -u**3/3 - 2*u**2 + 7*u - 5. Let f be m(-5). Suppose -2*p = o - 8, -6*p + 20 = -f*o - p. Which is bigger: o or 2?
2
Suppose -3*h + g = -40 + 123, -2*h + 8*g = 48. Is 11 less than h?
False
Let i = 4/25002303 + -6436704695/4308730217. Let p = -155624/102707 + 2/28011. Let t = p - i. Which is bigger: t or -1?
t
Suppose -3*z - 4*v = 32, z = 6*z + 4*v + 40. Let x be (-2 - (-98)/48)*(6 + z). Is -0.2 bigger than x?
False
Let m = -26.55 - -0.55. Let d = 27 + m. Are d and -11 nonequal?
True
Suppose 10063*h - 6 = 10060*h. Let w = 857/44 - 67/4. Which is smaller: h or w?
h
Let n = 12/7 - 34/21. Let h = -31/42 - n. Suppose 0 = 4*x + 30 - 26. Is h smaller than x?
False
Let u = -0.05 - -0.06. Suppose 0 = 3*s + 5*i + 25, 2*s - 10 = 6*s + 2*i. Suppose -g + 6*g - 15 = s. Which is greater: u or g?
g
Suppose -156 = -50*q + 37*q. Suppose -5*c + 16 = -y, 2*y + c - 23 = -0*y. Is q less than or equal to y?
False
Let t be (1*-1)/(-11 + 15 + -5). Does t = -4/29?
False
Let t = -2696 + 2649.02. Let g = t + 47. Let f = 18 - 52/3. Which is smaller: f or g?
g
Let f(w) = -w**2 - 4*w + 9. Let m be f(-5). Let q = m - 3. Let j be -8 + q + -5 + 2. Is 1 smaller than j?
False
Let n = -2 + 2. Let d = 0.27 - -74.73. Let h = d - 75.4. Which is bigger: n or h?
n
Let s(m) = 6*m**2 + 2*m - 2. Let n be s(-2). Let k be (-30)/(-75) + ((-176)/(-10) - 1). Does n = k?
False
Let f = 8 - 12. Let l be 33/(-22) + (-26)/f. Suppose -3*j + 3*q - 7*q + 35 = 0, -3*j + l*q - 10 = 0. Is 5 equal to j?
True
Let o(b) = -b + 4. Let k be o(4). Suppose k = 2*l - 3*f - 15, -3*l + 2*f + 43 = 2*l. Let p be l + (3 - 1 - 5). Is 7 greater than p?
True
Let b = 43.9 - 42.9. Which is greater: -0.105 or b?
b
Let s be -10 - -8 - 2*1. Suppose -20*j - 28 = -24*j. Do j and s have the same value?
False
Suppose 0 = y - 16 + 15. Which is smaller: y or -8.5?
-8.5
Let l = 1.5 - 1.5. Let c = -1167/55 - -107/5. Is l not equal to c?
True
Suppose 3*u + 22 = 5*b, b - u + 0 - 4 = 0. Suppose 6 = -2*j - b*x - 13, 5*x - 5 = 0. Let z(k) = k + 7. Let g be z(j). Which is bigger: -3 or g?
-3
Let s = -11 + 16. Let o = s - 5. Which is bigger: 6/5 or o?
6/5
Let d be (-1 - -5)*10/8. Let m be 0 - d/((-20)/(-12)). Let y be -4 - (m + 3 + -4). Is y not equal to 0?
False
Let g(v) = -v**3 - v**2 + 3. Let j be g(-2). Suppose -3*c - 12 = 5*i + 1, i - j = c. Is c smaller than -6?
False
Suppose 38640 = -24*b - 4*b. Is b greater than -1380?
False
Let m = -1.4 - -25.4. Let y = 24.03 - m. Is y at most as big as 1?
True
Let j = 7793/2466 + -60/137. Let k be 2/10 - (408/(-135) + 3). Let x = j - k. Do x and 4 have the same value?
False
Suppose -97*g = -115*g + 18. Which is bigger: g or -1/2105?
g
Let l = 290 + -360. Is l < -71?
False
Let q = 126.265 + -126. Let d = q + -18.965. Let c = -18 - d. Which is smaller: -0.2 or c?
-0.2
Let z = -34 - -34.002. Let v = -8.002 + z. Which is smaller: v or 0?
v
Let p = -0.01 + -0.06. Let j = 5705 + -5709. Which is greater: p or j?
p
Let w be ((-20)/5 + 5)*0. Suppose 5*x + z + 9 = 0, w = -4*x + 6*x - 3*z - 10. Let b be 2 - (-2)/(2 - 3). Is x at most b?
True
Let j = -1 + 4. Let k be 2/4 - 9/(-18). Suppose 5*f = -2*m - k, j = 4*f - f. Which is smaller: m or -12/5?
m
Let l = 257 - 258. Is 18 <= l?
False
Suppose -o = -4 + 7, -763 = 5*y + o. Which is bigger: y or -151?
-151
Let w(f) = f**2 - 2. Let b be w(4). Suppose -g + b = -4*k, -6*g + 2*g - 3*k - 1 = 0. Suppose g*r + 9 + 6 = 5*x, 0 = 4*r - 4*x + 12. Which is smaller: r or 3/5?
r
Let s = -218 + 241. Is 23 at most as big as s?
True
Suppose 0 = -5*n - a - 5, -6*n = -2*n - 5*a - 25. Suppose 4*y + r - 20 + 4 = 0, 4*y + 4*r - 28 = n. Is 2 greater than or equal to y?
False
Let a be 4/(-7938)*99/(-66). Which is bigger: a or 0?
a
Let v(d) be the first derivative of d**4/4 - 7*d**3/3 + 4*d**2 - 9*d - 1. Suppose -12 = -3*f, 4*f - 21 = -p + 1. Let h be v(p). Is h at least 3?
True
Let q(d) = d**2 - 4*d + 1. Let c be q(4). Suppose 28*u + 30 = 25*u. Let r be ((-63)/(-27))/(u/(-6)). Is r not equal to c?
True
Let z = 0.05 + -23.05. Is 31 >= z?
True
Let l = -348 + 347.1. Is 0.3 less than l?
False
Let b be 4*3*(-20)/(-6). Suppose 0 = 4*s - 5*m + 2*m + b, 5*m - 50 = 5*s. Let l be 2/(-7) - s/(-14). Do l and -3 have different values?
True
Let l(n) = -2*n**2 - 10*n - 30. Let o be l(-9). Let x = o - -104. Is x >= -1?
True
Let z be ((-2)/10)/((-4)/25). Let x be (35 - 34)*(0 - 1 - -2). Is z > x?
True
Suppose -7 - 5 = -4*m. Let w be m/(-12) - 3/(-12). Let j be (w/(-4))/(0 - 1). Is -2 smaller than j?
True
Let q = -0.4 - 0.6. Let m = -7 - -2. Let i be (-2)/(2/m)*(-270)/75. Which is greater: q or i?
q
Let j be 0 - (33/(-55) + (-4)/10). Which is bigger: 1/330 or j?
j
Supp