ller: f or -2/57?
f
Suppose h + 3*t = -3, -4*h - 1 = -2*t + 25. Let z be (-4)/h*(-3)/2. Let v = 2 + z. Is 2/9 >= v?
False
Let r = 3 - 1. Suppose 4*w = r*d + 28, d + 4*w = -3*d + 4. Suppose -2*o - 5 = i, 0 = -4*o - 1 - 3. Which is bigger: i or d?
i
Suppose -4*h + 7 + 1 = 0. Let b = h - 5. Let c(f) = f + 8. Let s be c(-10). Which is greater: b or s?
s
Let y(l) = 19*l**2 + 3*l + 4. Let j be y(-3). Let t = j - 659/4. Which is smaller: 1 or t?
1
Let i = -8 - -12. Suppose 3*v + 6 = 0, i*y + 1 = v - 1. Is -1/4 at most y?
False
Suppose l - 23 = -2. Suppose q - l = -5*b, -b + 2*q = -9 - 4. Which is bigger: 4 or b?
b
Let r be (0 - 4)*2 - -4 - -5. Which is smaller: 3/49 or r?
3/49
Let q = 12.4 + -0.4. Let m = 12 - q. Which is greater: m or -1?
m
Let z = 631086 + -779391296/1235. Let b = 8/95 - z. Is 0 at least b?
False
Let r be -10 + 10 + 3/(18/(-4)). Does r = -61?
False
Let g = -3 - -3. Suppose -2*m + 5*n = -12, g*m - 4*m + 5*n + 14 = 0. Do m and 1 have the same value?
True
Let r = 117 - 116. Which is smaller: -3/61 or r?
-3/61
Suppose -12 + 0 = -3*v. Let o be 26/(-40) + v/10. Let w be (-1)/(-8)*-2 + 1/(-28). Is w smaller than o?
True
Let c = 21/20 + -69/20. Which is greater: -3 or c?
c
Suppose 0 = 6*x - 4*x. Is x at most as big as -9/7?
False
Let d = -109/150 + 3/50. Suppose -3 = s + 7. Let p be 1/(s/(-4)) + 0. Which is greater: d or p?
p
Let k be -1 + 1 + (-110)/121. Let s = 130299/440 + -2365/8. Let f = s + k. Does -1 = f?
False
Suppose 4*u = u. Let z(a) = a**2 - 7*a + 4. Let m be z(6). Let j be m - -4 - 24/11. Is j at most u?
True
Let o be (-2)/5*(-4 - 204/(-6)). Which is smaller: o or -4?
o
Let p = -11.4 - 1.6. Let d = p + 14. Is d less than -5/4?
False
Let j(u) = u**3 - 3*u**2 + u + 1. Let w be j(3). Suppose t - 5*v + 8 = -12, -2*t - w*v + 30 = 0. Is t bigger than 3?
True
Let d = 0.16 + -6.16. Let x = -3 - d. Let u = x - 2. Is 1 > u?
False
Let n = -23 + 2. Let l be (6/n)/((-8)/6). Do l and 0 have the same value?
False
Let j = -0.3 + -2.7. Let x = 60 + -62. Which is smaller: x or j?
j
Let z = -8 + 9. Let n(b) = b**3 - b**2 - b. Let g(j) = 2*j**3 - 9*j**2 - 7*j + 5. Let x(k) = -g(k) + 3*n(k). Let h be x(-5). Is h not equal to z?
True
Let s be 217/142 - (-2)/(-2). Let r = 2/71 - s. Let i = -5.7 + 6. Which is greater: i or r?
i
Suppose -4*g - 155 + 315 = 0. Is g at least 38?
True
Let q(z) = -3*z. Let t be q(-1). Suppose b = t*b. Which is smaller: b or 2?
b
Let v be (2/3 + 0)*6. Suppose v*t + 5 = -t. Let p = t - 2. Which is bigger: -4 or p?
p
Let k = -5 - -10. Let m = -4.9 + k. Let q = 15 - 11. Which is greater: q or m?
q
Let r be (1 - (-6)/(-6))/(0 + -1). Let u be (0*(-1)/2)/(-1). Is r less than or equal to u?
True
Let i = 5/131 + -3023/262. Is i > -13?
True
Suppose 5*h = l + 70, 7*h - 4*h = 3*l + 54. Let x be (-3)/(-3 - (-40)/h). Let o be 2/(36/x) - -2. Which is smaller: -2 or o?
-2
Let v(f) = 3*f**2 + 4*f**2 - 3*f - f**2 - 5*f**2 + 3. Let q be v(-3). Suppose 5*h - a + 17 = 0, 2*a + 5 = -5*h - q. Do -5 and h have different values?
True
Suppose 2*x + 1 = -3. Let a be ((-2)/10)/(1/5). Is x at most as big as a?
True
Let o be (-26)/8 - 6/8. Let q be o/(-4) + 2/(-2). Which is smaller: q or 6?
q
Let m(s) = -s**3 - 3*s**2 + 3*s + 2. Let j be m(-3). Which is bigger: j or -9?
j
Let r be ((-2)/(-5))/(4/5). Which is smaller: r or 0.047?
0.047
Let y = -1/6 - 5/42. Let u be (-99)/(-5) + (-2)/(-10). Suppose 2*v + 2*v = u, -2*v = -5*g - 15. Which is greater: y or g?
y
Suppose 16 + 22 = -2*l. Let d = -27 - l. Let w be (d/(-30))/(-2)*-3. Which is smaller: 1 or w?
w
Let t(i) = i**2 + 6*i - 5. Let q be t(-8). Is q equal to 11?
True
Let v be (-2)/13 - (-806)/3042. Let x(m) = -m**3 + 5*m**2 - m + 4. Suppose 4*f = -3*y + 20, f - 3 = -3*y + 2. Let g be x(f). Which is greater: v or g?
v
Let i(k) = -k**3 + 6*k**2 + 3*k. Let c(v) = -6*v**3 + 31*v**2 + 15*v. Let x(y) = -2*c(y) + 11*i(y). Let z be x(-3). Which is smaller: 2 or z?
z
Let b = 8 - 12. Which is bigger: -1/13 or b?
-1/13
Let o = -169 + 65. Let r be 6*(o/34 + 3). Let v = r - -8/119. Which is greater: v or 0?
0
Let i = 94/185 - 4/37. Which is smaller: i or -0.4?
-0.4
Let z be -4 + ((-8)/(-7 - -3) - 0). Which is greater: -5 or z?
z
Let a = 269/945 + 3/35. Is a less than 1?
True
Let f = -3 + 5. Let g be (f/(-3))/(7/3). Which is greater: g or -1?
g
Let f = 0.29 - -0.47. Which is smaller: f or 0?
0
Let c = -21.6 + 16.755. Let o = -1.065 + c. Let v = 0.09 - o. Which is bigger: v or 1?
v
Let o(w) = 2*w**3 - 17*w**2 - 7*w - 18. Let j be o(9). Is 3/35 smaller than j?
False
Let r = 39/82 + 1/41. Suppose 3*x + 15 = -2*x + 4*f, 8 = -2*x + 2*f. Which is smaller: x or r?
r
Suppose 43 = -5*q + 13. Let v(k) = -k**3 - 5*k**2 + 5*k - 6. Let m be v(q). Let g = -39/10 - -7/2. Which is greater: m or g?
m
Let v be -2 + 3/(9/15). Suppose 3*s + 35 = x - 0*x, -3*x - 15 = v*s. Are s and -11 nonequal?
True
Let d = -0.12 + -0.88. Which is bigger: -2/5 or d?
-2/5
Suppose -14 = 5*v - 4*r, 5*v + 0 = -r - 9. Which is greater: v or 6?
6
Let m = 7389/14 - 528. Which is greater: -1 or m?
m
Let l(o) be the third derivative of -3*o**2 - 1/120*o**6 + 0*o**4 + 0*o - 1/60*o**5 + 0*o**3 + 0. Let b be l(-1). Which is smaller: -1 or b?
-1
Suppose -20*g + 17*g = -6. Which is greater: 0 or g?
g
Let y be 23/(-7) + 20/70. Let s be -2 - (12/(-2) + 2). Let m = s + y. Which is bigger: m or 2/5?
2/5
Let p be (-1162)/(-4) - (-3)/(-18). Let l = p + -281. Let o = 10 - l. Which is bigger: o or 1?
1
Suppose -3*d + 6 = 0, 2*d + 10 - 4 = -5*n. Suppose -2*b = -2*h - 2, -3*b + 3*h = h. Does n = b?
True
Suppose p - 13 = -3. Suppose 3*l - l - p = 0. Suppose 0 = l*t - 2*u + 23, -5*u + 6 + 2 = 4*t. Which is smaller: t or -4?
-4
Let l be 15/(3 - 0) + -3. Suppose 5*n + 8 = -l. Let r = 1 + n. Which is smaller: -2/25 or r?
r
Let y be (12/3)/2 - 2. Suppose 3 = 3*t - y. Let q be (t/(-2) - -1)*4. Which is bigger: q or 3?
3
Let t(k) = 2*k**3 - 13*k**2 - 8*k + 3. Let w(j) = j**3 - 6*j**2 - 4*j + 1. Let n(d) = -3*t(d) + 7*w(d). Let b be n(4). Is 2 <= b?
False
Let o = 3 - 28. Is -24 equal to o?
False
Suppose 4*p + 103 = 467. Is 2/7 at least as big as p?
False
Suppose -5 = 3*n - 2. Is n greater than or equal to -2/13?
False
Let k = 0.22 - 0.6. Let s = k + 0.4. Let f = s + -0.32. Is -1 at most f?
True
Let s be 60/(-3) + 0 + -3. Let k = -10 - s. Is k less than or equal to 14?
True
Let p be 5 - (1 + -2 - 1). Let o be (-605)/p + 5/(-5). Let z = o - -88. Is z greater than 2?
False
Let t = -0.4 + 0.4. Let s = -0.3 + t. Is -2/7 at most s?
False
Let h = -1 - -2. Let t = 1.6 - 2.7. Let c = t + -0.9. Is h >= c?
True
Suppose -6*t = -2*t. Let y be t*((-4)/(-2) - 1). Is 3/11 greater than y?
True
Let m be (12/(-22))/(30/(-330)). Do m and 4 have the same value?
False
Suppose 0*j + 19 = -4*k - 3*j, 3 = j. Let z = 5 + k. Let o be -2 + (-42)/(-9) + z. Which is greater: o or -1/3?
o
Suppose 9*r - 4*r - 10 = 0. Suppose r*n - 2 = 3*t + 3*n, 3*n = -3*t. Is -3/2 bigger than t?
False
Suppose -5*k = 1 - 21. Suppose -28 = 4*d - d + k*b, -3*d + b = 23. Is d at most -9?
False
Let x = -9925/4 - -2449. Let w = -33 - x. Let d be (4/(-6))/(1/3). Which is smaller: d or w?
d
Let z = 0.188 - 8.288. Let q = 8 + z. Let b = -0.9 + q. Is 0 > b?
True
Let y be (-20)/(-22) + 0 + -1. Let z be 4/14 + (-115)/(-161). Is y greater than z?
False
Suppose -s = -3*s + 3*h + 57, -2*s + 77 = h. Let j be 12/8*16/s. Which is bigger: -9 or j?
j
Let i = 12 - 17. Is 1/4 >= i?
True
Let h be 87/9 - (-6)/(-9). Let u = -13 + h. Let c = u + 13/3. Which is smaller: 2/11 or c?
2/11
Let w be -12 + (-3 - (-4 - -1)). Let c be (w/(-8))/(1/(-2)). Let k be (c - -1)*(-4)/(-4). Is 0 at least as big as k?
True
Let g = 21 + -18. Suppose 2*u = -g*u - 20. Which is greater: u or -1?
-1
Let o = -15.92 - -16. Let i = o + -1.08. Which is bigger: i or 2/5?
2/5
Suppose -z - 6 = -2*r + 6, 5*z = -2*r. Suppose 0 = 4*a - 5*a - r. Which is smaller: -6 or a?
-6
Let c = 13445/6328 - 117/56. Let i = c + -706/791. Do i and -2 have different values?
True
Suppose -d + 5*w = 2*d - 28, -5*d - 15 = 4*w. Are d and 1/10 unequal?
True
Let c = 8 + -6. Let p = c - 5. Let a = 1 + p. Which is smaller: a or -1?
a
Let t = -2.08 - -0.48. Which is bigger: -1/3 or t?
-1/3
Let q be (1 - -2)/1 + -3. Let k = 4 + q. Which is smaller: k or 3?
3
Let k = 2.1 + -1.9. Let v = 3.3 - 3. Let z = k + v. Whi