?
f
Let d be 41/(-57) - 4/(-6). Let t be ((-8)/4 - -3)*0. Is d at least t?
False
Suppose -2*u = -3*s + 5, 6*s - 2*s + 12 = -2*u. Let h = u + 4. Is h at most 0?
True
Let u = 765/7 - 109. Which is bigger: u or -0.053?
u
Let r(t) = 2*t + 2. Let d be r(5). Suppose -z + 36 = 2*z. Is d smaller than z?
False
Let y(g) = g**3 + 5*g**2. Let q be y(-5). Let o(h) = -h**3 - 4*h**2 - 2*h + 2. Let z be o(-3). Is q less than or equal to z?
False
Let p = -0.2 - 0. Let i = p - -0.2. Let g = -2 + 3. Which is smaller: i or g?
i
Let v = -5 - -2. Is -3 greater than or equal to v?
True
Let l(d) = d**3 + 4*d**2 - 5*d - 1. Let p be l(-5). Let w be 2 - (-1)/(16/(-34)). Which is bigger: p or w?
w
Let s(g) = g**2 - 2*g - 4. Let a be s(3). Is 2 < a?
False
Let i(z) = 7*z**3 - z**2. Let q be i(1). Suppose 2*n - k + 7 = 0, -5*n + q*k - k - 30 = 0. Is 0 at least n?
True
Let x = -17 + 15. Let u be 2*x/(24/(-4)). Which is smaller: u or 0.01?
0.01
Let n = 51 + -51.1. Which is bigger: n or -2/61?
-2/61
Suppose -3*q = -6*q. Suppose -x + 0*x = q. Let y = -5 + 7. Is y at least as big as x?
True
Let c = -0.5 + 9.5. Is c at least as big as 0?
True
Suppose 0 = -3*d + 2 - 5. Let f be 1 + (0 - -2)/(-2). Let o = d + f. Which is greater: -3/8 or o?
-3/8
Let s be (113/(-8) + 1)/(3/(-12)). Is s at least 54?
False
Let p = 9.9 - -0.1. Let q = -4 + p. Is q less than -1?
False
Let o be 0 + (0/1 - -1). Let x(d) = -d - 4. Let c be x(-4). Suppose -3*u + 0 + 6 = c. Do o and u have the same value?
False
Suppose 2*f = -0*f - 36. Let q be 1/(-6)*(-27)/f. Let m = 3 - 4. Which is bigger: q or m?
q
Let c be (2/3)/((-4)/(-12)). Suppose -c = 2*y - 4. Suppose -4 = 2*i - 10. Which is smaller: i or y?
y
Suppose 0 = -3*t + 1 - 4. Suppose 4*s - 28 = 4*v, -2*s + 3 + 3 = 2*v. Which is bigger: v or t?
t
Suppose -7*i = -8*i. Is -8/7 greater than i?
False
Let z = -7 + 3. Let s = -10 + 5. Let t = s - z. Is 0 != t?
True
Suppose -5*q = 2*t - 45, -3*t - 2*t - 10 = -5*q. Let u be -2 + 1*q/4. Let l be (-11)/((-110)/4) + (-2)/5. Which is bigger: l or u?
l
Let b = 5 - 5. Suppose -9 = -f - 2*f, b = s - 5*f + 15. Is s bigger than 1/6?
False
Let m = -9 + 14. Let s be 14/(-21) - m/(-3). Which is bigger: s or 2/35?
s
Let g be (-22)/8 + (5 - (2 - 0)). Suppose 5*j - 13 = -4*n, 3*j = 4*n + 2*j - 7. Which is smaller: n or g?
g
Let z = -39042/29 - -1346. Is 1 at most as big as z?
False
Suppose 20*i = 15*i + 20. Let b be ((-2)/(-1))/(i/18). Is b greater than or equal to 9?
True
Suppose 4*y + 5 = -y. Which is bigger: -5/4 or y?
y
Suppose 0*w = 3*u + 2*w + 15, -5*u + 4*w - 3 = 0. Let h(d) = -d**2 + 9*d - 12. Let x be h(8). Let z be (-20)/8 + (-2)/x. Is z != u?
True
Let a be (-2 - 1)*(5 + -3). Let t = a - -9. Let h = 7 + -3. Which is smaller: h or t?
t
Let i = 171 + -171. Which is bigger: i or 0.084?
0.084
Suppose -5*p = 5*f + 15, 0 = -5*f + 2*p + 7 - 1. Is f smaller than 0?
False
Let j = 2 + -13. Do j and -10 have different values?
True
Let f(o) = o**2 - 4*o - 14. Let t be f(6). Let c be 1/(-2)*-4 + t. Which is bigger: c or 5/4?
5/4
Suppose 4*x - 3*i = 0, 0*i = -5*x - i. Is 6/19 bigger than x?
True
Let p be 20/(-35) - (-137)/7. Let v = p - 14. Which is bigger: v or 6?
6
Let i = 5 - 2. Suppose 0 = 4*k + b - i*b + 48, -4*b + 41 = -3*k. Are -10 and k nonequal?
True
Let h = 93 - 467/5. Which is smaller: h or -1?
-1
Let c = 19 + -17.2. Let u = c + -2. Let x = 1 - 0. Is u less than x?
True
Let g = 108 - 869/8. Suppose 5*p = 3*y - 9, -17*y = -19*y - 3*p - 13. Which is smaller: g or y?
y
Suppose 0 = 5*r + 4*b + 5, 2 = -r - 2*b - 5. Suppose -s - 10 = -r*s. Suppose -15 = -4*z + s. Is z bigger than 6?
False
Let t = 0.5 + -0.5. Let s = t + 0.2. Let l = 0.1 + -0.2. Which is smaller: l or s?
l
Let i be (268/420)/(2/(-6)). Let v = i - -11/5. Which is bigger: v or 2/9?
v
Let a(z) = 12*z + 13*z + z**2 - 1 - 25*z. Let h be a(-1). Suppose 4*n + 2*k + 28 = 4*k, -2*n - 22 = -3*k. Do n and h have different values?
True
Suppose 1 = z + f, -3*z - 4 = -f - 3. Suppose z = -4*k - 2*k - 6. Which is smaller: k or 7?
k
Let m = -11 + 15. Let v = m - 10. Suppose a - 2*f - 2 = 0, 4*a + 34 = a - 4*f. Are a and v non-equal?
False
Let z = -187/4 - -47. Let r(j) = -j - 6. Let w be r(-5). Is z > w?
True
Let a be 3/(-12) + (-355211)/244. Let v = 1456 + a. Are 1 and v unequal?
True
Suppose 1 = -3*k + 2*k - w, 2*k = -3*w. Is -3 >= k?
True
Let c(o) = -o**3 + o**2 + 3*o + 4. Let l be c(3). Let r = l + 0. Let q = 10 - 10.1. Which is bigger: r or q?
q
Let l = -0.06 - 3.94. Is l >= 4?
False
Let d(i) = -5*i**2 + 9*i + 10. Let k(h) = 4*h**2 - 8*h - 9. Let x(a) = 3*d(a) + 4*k(a). Let l be x(6). Are l and 12 equal?
False
Let d = 7 - 12. Let l = d - -27/5. Which is smaller: -1/3 or l?
-1/3
Let j = 0.2 + -0.22. Let c = 2.78 - j. Let x = c + -3. Which is bigger: 1 or x?
1
Let m(t) = -t**3 + 7*t**2 - t + 9. Let c be m(7). Suppose -x + 18 = -3*s + c*x, -x = 3*s - 2. Which is greater: s or 1/4?
1/4
Let d be (-2)/(-6) - (-152)/30. Is 4 at least as big as d?
False
Let v = 36/11 + -673/209. Let p(h) = 18*h - 1. Let x be p(0). Which is smaller: x or v?
x
Let p = 0.14 - -6.86. Is p at least -2?
True
Suppose f - 10 = 53. Let s be f/12 - (-4)/(-16). Which is smaller: s or 2?
2
Let l be (-8)/24*(-13 - -1). Are 4 and l equal?
True
Suppose 0 = 3*s - 3*f - 69, -4*s + 2*f + 52 + 42 = 0. Which is smaller: 27 or s?
s
Suppose 23 = 4*h - 17. Let j be 0 + 34/h + -3. Which is smaller: j or 2?
j
Let t = 1 + 2. Suppose f = 4*b - 15, -3*f + t*b = f + 21. Suppose -3*s = 2 + 7. Is s != f?
False
Suppose 2*q + u = 23, -3*q + 4*u - u = -39. Suppose g = 3*g + q. Let d be g/(2/((-2)/2)). Is 4 > d?
True
Suppose 0 = t - 3*t + 12. Let j = t + -7. Let g = 2 + -2. Which is smaller: g or j?
j
Suppose 0 = 4*v - 2*t + 54, 2*t + t + 62 = -5*v. Are -11 and v equal?
False
Let h(s) = s**2 - 2*s + 0*s + s - 11 - 6*s. Let o be h(8). Let u be 4 + o + 0 - 3. Is u greater than -5/2?
True
Let v = -0.17 - -3.17. Which is greater: 0.1 or v?
v
Suppose -7 = g + 5*h, -2*g = 2*g - h - 14. Let i be ((-12)/(-10))/(g/(-10)). Is -9 <= i?
True
Suppose -36*x + 3 = -33*x. Which is greater: x or -0.2?
x
Suppose 14 = -4*m - 2. Let k = m - -3. Which is smaller: k or -1/9?
k
Suppose -2*a + 10 = -0. Let p be a/(-4) - 2/(-8). Let o be 2/p*(-1)/2. Is o less than or equal to 1/2?
False
Let l be (-2)/(-11) + 8/(-44). Which is bigger: -4/13 or l?
l
Suppose 0 = -2*j - 4*l - 4, 3*l - 4 = -2*j - 3*j. Suppose -3*s + 0*s - j*o - 16 = 0, -4*o = 20. Let v be s/15*(4 - 7). Which is smaller: v or -2/5?
-2/5
Let y be 18*-3*(-2)/(-6). Let x = 25 + y. Is 6 greater than x?
False
Let y = -0.96 - -1. Let q = -0.26 - y. Which is smaller: q or 2?
q
Let k = 21/2 - 10. Let u be 1/2 - 93/(-6). Let v be u/(-6)*4/16. Are k and v unequal?
True
Suppose -2*x + 29 = 3. Is x >= 12?
True
Let g(h) = -h**2 + 3*h + 16. Let v be g(6). Are -13/11 and v equal?
False
Let t be 53*2/(-95) + 1. Let o = t - -6/19. Which is bigger: o or 0.1?
o
Let r be 4 + (-54 + -3 - -3). Is -48 at least r?
True
Let f = 2 - 3. Let x = f + 9. Suppose -2*t - x = -3*w + w, -t = 3*w - 12. Is -1 smaller than t?
True
Let n(b) = b - 7. Let j be (5 + -3)/((-6)/(-15)). Let w be n(j). Which is greater: -1 or w?
-1
Let p = 19 - 28. Let z = p - -7. Let a be -1 + (-2 - (-1 + 0)). Is z <= a?
True
Let t = 0.3 - -1.7. Which is smaller: 0 or t?
0
Let y(o) = o**3 + 9*o**2 - 10*o + 5. Let c be y(-10). Is 4 at least c?
False
Let a be (-6)/8 + (-2)/(-8). Let s be 1 + -4 + (-1)/(-1). Let n = -3 - s. Is n at most a?
True
Suppose -n - 4*n + 2*t = 26, -n - t - 8 = 0. Let i(o) = o. Let c be i(n). Let s be (c + 10)*2/12. Which is bigger: 1 or s?
1
Let a be (4 - (-3 - -5))*1. Let o be 1 + 15/9 - a. Is o bigger than -0.2?
True
Let x(z) be the third derivative of z**6/120 + z**5/12 - 5*z**4/24 - 6*z**2. Let p be x(-6). Is p >= -6?
True
Let j be ((-1)/158)/(2/(-8)). Let d = -144/553 - j. Which is greater: 0 or d?
0
Let i = 492 + -936. Let r = 2651/6 + i. Which is bigger: r or -2?
-2
Let v = -3 - 2. Let c be 17/5 + 2/v. Suppose -2*x - x - c = n, 0 = 4*n - 5*x - 39. Is 5 < n?
True
Let j = 60.9 - 61. Is j > -5.1?
True
Suppose 0 = -4*r - 2*y + 4, 0*y - 4*y = 2*r + 4. Let t(q) = q + 9. Let a be t(-7). Suppose -4*n + 6 + a = 0. Is r at least n?
True
Suppose 3*j + 3*z = 6, -2*j + 0 - 4 = 4*z. Suppose 0 = -2*q - 6, 15 = n + n - q. Is j <= n?
True
L