-1?
True
Suppose 25 - 5 = 5*y. Suppose -5 = -9*f + y*f. Are f and 1/4 unequal?
True
Suppose j - 3*j - 8 = 0. Let i be 32/15 + 8/(-60). Let v be (-3)/(i - 5)*j. Is v smaller than -3?
True
Let h = -4 + 7. Suppose 0 = f - 2*f - h*z, 3*f = z. Is f at most as big as 2?
True
Let b(g) = g**2 + 8*g - 2. Suppose -5*u = 10 + 15. Let v be b(u). Is -17 <= v?
True
Let s be (2 + -4)*(41 - -1). Let x be (-4)/(-14) + (-32)/s. Let d = 2 + -1. Are x and d equal?
False
Let b = 13.9 + -13.8. Which is smaller: b or -53?
-53
Let r = -0.25 + 0.45. Do r and -0.02 have different values?
True
Let u = -1 - -3. Let s = 3 - u. Is 4 >= s?
True
Let a(t) = -t**2. Let u be a(-1). Let z be (u/5)/(1/2). Which is greater: 1 or z?
1
Suppose 2*v = -v + 9. Suppose 5*o + 3*t = 31, 0 = -4*o - 3*t + 26. Suppose r + 4 = v*c, -o*r = 4*c - 5*c - 8. Is 2 less than c?
False
Suppose -f + 3 + 6 = 0. Is f at least 10?
False
Let y(f) = f - 3. Let v be y(9). Suppose v - 26 = -4*z + 2*t, -20 = -3*z - t. Suppose -5*u + 2*r = -0 + z, -5*r = -5*u. Which is greater: -3 or u?
u
Let f be ((-29)/(-3))/(2/10). Let a = f - 47. Which is bigger: a or 1?
a
Let d(c) = 4*c**3 - 2*c**2 + c. Let z be d(1). Suppose w + z*w + 2*r = 2, 3*r = -4*w + 1. Let o be (-160)/(-72) - 4/18. Is o at least w?
True
Suppose 5*d + 46 = 4*n, 3*d - 17 - 4 = -3*n. Suppose 0 = 4*t - t - n. Suppose -t*k = 4*s - 19, -2*s + 7*s - 18 = 2*k. Which is smaller: k or -2/15?
-2/15
Let b = 7/27 - 43/27. Do 0 and b have different values?
True
Let u = 1.2 + -0.7. Let v = u + -0.6. Which is smaller: v or -2?
-2
Let f = -38 + 38. Do 2/119 and f have the same value?
False
Suppose 4*r - 2*o + 742 + 96 = 0, 0 = -4*r - 3*o - 843. Let p = r + 2312/11. Which is greater: p or 1?
1
Let b be (-3)/(-45) - 3/(-9). Suppose 3*c = -4*m - m + 15, -25 = -4*m - 5*c. Do b and m have different values?
True
Let o = -101/1003 + -1/59. Let p = -80 + 79. Which is smaller: o or p?
p
Let c = -6.59 + -0.41. Is -4 >= c?
True
Suppose 0 = -3*q - 11 - 7. Are q and -6 equal?
True
Suppose -4*s + 3*s = -3*c - 15, c + 7 = s. Let i be (-1)/(1 + c/2). Suppose i = -0*q + q. Which is smaller: 5/3 or q?
q
Let l = 0.12 + -0.12. Which is greater: 34 or l?
34
Suppose -4*k - 71 = -5*a, -4*a - 4*k = -6 - 22. Is -1 less than a?
True
Let a = 2 - 0. Let q be (2 - a)/(2/1). Let g be (-2)/(-2) - 14/10. Are q and g equal?
False
Let s = -10972/15 - -732. Which is bigger: 0.1 or s?
s
Let d = 0.36 - 0.56. Are d and 0.13 non-equal?
True
Let i = -32 - -35. Let s = 12 - 8. Suppose o + 2 = s. Which is bigger: i or o?
i
Let o be 8/72*-16 + (-4)/18. Is -8 > o?
False
Let r(i) = i**3 + 15*i**2 + 13*i - 14. Suppose -5*f = j - 5*j + 50, 0 = 2*f + 3*j + 43. Let m be r(f). Which is bigger: -0.03 or m?
m
Let m = -3.6 - -9. Let t = m + 1.6. Let y = t - 14. Which is smaller: -2/3 or y?
y
Let y(o) = o + 11. Let c be y(-8). Suppose i = -2*f, -2*f + 6 = -c*i + i. Is -1 at most as big as i?
False
Suppose 4 = 2*i + 2, 0 = 3*y + i - 4. Let t(j) = -3*j + 1. Let n be t(y). Which is greater: -2/3 or n?
-2/3
Let o be ((-12)/63)/(12/(-54)). Which is smaller: o or 1/4?
1/4
Suppose 0 = -2*n + 5*n - 15. Suppose -2*c + 4*j + n = c, -5 = -5*c + 5*j. Which is smaller: 1 or c?
c
Let q(s) = s**3 + 8*s**2 - 8*s + 13. Let k be q(-9). Suppose -4*b + 4 = 4*n - 3*n, -k*n = -2*b - 16. Which is bigger: -2/3 or b?
b
Let h be 2 - ((-10183052)/370)/1. Let t = -27524 + h. Let k = t - 6/37. Does 1 = k?
False
Suppose 0 = -17*l + 20*l. Which is smaller: l or 1/18?
l
Let f = 14 + -20. Let o = 79.2 + -73. Let g = o + f. Which is greater: 1/2 or g?
1/2
Let r be 0 + 97 + (-8)/2. Is r less than or equal to 92?
False
Let w be (7 - 5)*(-5 + (-52)/(-10)). Suppose g = 3*g - 2. Which is smaller: g or w?
w
Suppose -3*k - 5*y - 8 = -1, 0 = -k + 3*y + 7. Is -12/7 not equal to k?
True
Suppose 2*k - 5*b = -4, -2*b = 5*k + b - 21. Suppose -m - 9 = 2*m. Let i = k + m. Is -1 at most as big as i?
True
Let d = -0.08 - 4.92. Are -5 and d non-equal?
False
Suppose -2*s = -17 + 5. Suppose 2*i = -3*h - 5, 4*i + 2 = -4*h - s. Is -1 bigger than i?
False
Suppose -6*k = -85 - 113. Which is greater: k or 164/5?
k
Let i be (-4 - -46)/(2 - 0). Let x be 3/i*(-7)/6. Is 0 equal to x?
False
Let t be 3/(1 + (-2)/(-4)). Suppose -2*j - t = -0. Which is smaller: j or 1/16?
j
Let u(o) = o + 12. Let y be u(-8). Suppose -t - 1 + y = 0. Let p(w) = w**3 + 3*w**2 + w. Let q be p(-2). Which is greater: t or q?
t
Let j(z) = z**3 + 5*z**2 - 5*z + 5. Let k be j(-6). Which is bigger: k or 1/16?
1/16
Let h = 133 - 133. Are h and -6 non-equal?
True
Let a = -9 + 9.8. Let f = a - -0.2. Let n = f - 2. Is -0.1 less than or equal to n?
False
Let n be (44/(-12))/((-1)/6). Let u = 3 + n. Suppose 5*l + 1 = -z, 3*l + u = 3*z + 10. Is l bigger than 1/3?
False
Suppose 2*j + 2*r - 3 = -1, -r - 5 = -2*j. Which is smaller: j or 16?
j
Let h = -13.1 + 13. Let p = -2.1 - h. Let x = 0 - -0.2. Which is bigger: x or p?
x
Let v = 258 + -71984/279. Is v smaller than 0?
True
Suppose 4*v - 4*f = -5*f + 2, -3*v + 6 = 3*f. Let i be (-2)/(-10)*30/12. Which is bigger: i or v?
i
Suppose 0 = 2*q - 3*q + 1. Let f = -7 + q. Which is smaller: f or -5?
f
Let l(x) = 2*x**2 + x + 1. Let k be l(-1). Let d be (k + -1)*(-1 - -3). Suppose 0 = -5*w - 4 + 9. Which is greater: w or d?
d
Let u be (-1)/(3/219*-1). Which is smaller: u or 75?
u
Suppose 5*m - 3*m - 16 = 0. Suppose 0 = c + 2 - 5. Suppose c*s - 2 = -l, -4*l + s + 3*s - m = 0. Is l greater than or equal to -2/7?
False
Suppose 32*u - 4 = 36*u. Let d = -17/9 + 13/9. Which is smaller: d or u?
u
Let u = 67 - 466/7. Suppose 2*j - 4 = -2*j. Is u at most j?
True
Let m(b) = -4*b**2 - 2*b + 2. Let n be m(-2). Which is greater: n or -9?
-9
Let s = -69/37 + 6895/3737. Are 1 and s nonequal?
True
Let d be 1/(-10)*-124 + -4. Is d > 9?
False
Let n = 8.7 + -9. Let m = n - 1.7. Which is greater: 1 or m?
1
Let z = 143 - 143.3. Which is greater: z or 21?
21
Let y = -2/205 - 364/4715. Let a be (1/(-5) - (-2)/10)/2. Is y != a?
True
Let f(y) = y**2 - 4*y - 12. Let g be f(5). Let o = g - -9. Let l be (-1)/5*(-20)/8. Which is smaller: l or o?
l
Suppose 2*k - 2 + 0 = 0. Suppose 3*h - k = y + 3*y, 7 = h + 2*y. Which is bigger: h or 2?
h
Let z = -2 + 3. Let n be (3 + (z - 1))/7. Let g = 1/14 + n. Which is greater: 1 or g?
1
Let n(o) = o**3 + 3*o**2 - 4*o - 3. Let t be n(-4). Let p be (150/220)/(t/4). Is 0 at least p?
True
Let i = 1.7 - 0.7. Which is smaller: i or 0.06?
0.06
Let p(w) = -w - 5. Let v be p(4). Let j = v - -8. Which is smaller: j or -1/31?
j
Let i(d) = 2*d**2 + 14*d + 12. Let t be i(-6). Which is bigger: t or 2/67?
2/67
Let t be -2*(3 + (-18)/4). Let y be 57/135 + t/(-15). Which is bigger: 1 or y?
1
Let c = 3.97 + 0.03. Let a = -3 + 0. Let l = a + c. Which is bigger: 2 or l?
2
Let k = 381 - 382.99. Let s = k + 2. Which is smaller: -0.1 or s?
-0.1
Let g be (-30)/(-40) - (-34)/(-56). Which is smaller: -1/4 or g?
-1/4
Let o be ((-18)/(-63))/(198/(-14)). Which is greater: o or -1?
o
Let c(z) = -2*z**3 + 8*z**2 + 11*z - 13. Let f(j) = -j**3 + j. Let u(b) = -c(b) + f(b). Let y be u(9). Is y at most 6?
True
Suppose -3*t + 2*z - 14 = -44, 5*z - 1 = -2*t. Let a = 7 - t. Is a > -1?
False
Suppose 2*d + 14 = -0*a + a, 0 = d - 4*a + 14. Let k(v) = -v**2 - 3*v + 5. Let w be k(d). Let g = -10 - w. Is 5/2 equal to g?
False
Let y be (0*1/1)/2. Suppose -5 = -0*r + r. Let v(a) = -a - 5. Let h be v(r). Is y greater than h?
False
Let j be (3 - 57/18)*-2. Which is smaller: j or 1?
j
Suppose 7*g = 12*g. Let v = g + -1. Is -1 bigger than v?
False
Let f = 13 - 7. Let u be (-3)/f - (-3)/4. Is u smaller than -1?
False
Let w(i) = i**3 + 9*i**2 - 14*i + 3. Let j be w(-10). Is 43 bigger than j?
False
Let y be 6*(-4)/18*6/2. Is y <= -6?
False
Let i(m) = -m**2 + 10*m + 9. Let j be i(11). Which is greater: -4 or j?
j
Let m = -287 + 530. Let w = 3643/15 - m. Is w smaller than 0?
True
Let z be -1 - ((-9)/(-5) + -2). Suppose 1 = -2*w + 7. Let p be (-7 - -1)/w - 0. Which is smaller: p or z?
p
Let d = -7229/22 + 659/2. Which is bigger: d or -2?
d
Let h be 1 + 2 - (1 - -1). Let a(i) = -i**2 - 8*i - 1. Let p be a(-8). Let m be 0/(2 + p + 1). Is m greater than h?
False
Let r be (54/(-21) + 2)*(-4)/96. Does r = -1?
False
Suppose -5*a - 20 = -9*a. Let l = a - 9. Is l < -4?
False
Suppose y = 2*y - 6. Let k(b) = b**3 - 6*b**2 - 3*b +