. Are j and 2 unequal?
True
Suppose 2*i - 3*q = 11, -2*q - 17 = 4*i + 1. Let t be i/(-7) + (-52)/(-14). Which is greater: 3 or t?
t
Suppose 18*t - 21*t = 0. Is t bigger than -2/39?
True
Suppose -5*g = -10*g - 5. Let d = -14644/3055 - 4/611. Let v = d - -91/20. Is v at most g?
False
Let b = 0 - -0.02. Let h = 0.08 - b. Let q = h + 1.94. Which is greater: -1/4 or q?
q
Suppose -u + 42 = 2. Is 41 at most u?
False
Suppose z = -0*z + 10. Suppose z = -t - 4*t. Which is greater: t or -3?
t
Let o(i) = i**3 + 4*i**2 - 8*i - 5. Let c be o(-5). Let g be (-16)/c - -2*1. Suppose 4*k + 2 = 3*p + 3*k, -6 = -4*p - 2*k. Is p < g?
False
Let u = 80 - 80.2. Is -0.1 smaller than u?
False
Let m(j) = -j**2 + 5*j - 3. Suppose -5*n + 7 + 13 = 4*u, 20 = 5*n + 5*u. Let a be m(n). Which is greater: 3/7 or a?
a
Let v = -27 - -35. Which is bigger: 7 or v?
v
Suppose -4*b - 24 = 4*r, 4*r = -5*b + 3*r - 10. Let x = -38846/39 - -996. Which is bigger: x or b?
x
Let v = 1 - 1. Let x = 10/53 + -305/212. Which is smaller: x or v?
x
Let i(x) = -x**2 + x + 16. Let g be i(0). Is 16 bigger than g?
False
Let y be (-3)/((-33)/16) - 1. Is 1 < y?
False
Suppose -u + 9 = 2*s, -9 - 12 = -5*s - 2*u. Let g = 24 - 26. Let t = s + g. Which is smaller: 2 or t?
t
Let c = 0 - 2. Let i = -1.7 - c. Let x = 1.7 + i. Is -2 bigger than x?
False
Let k = -4 - -8. Let u be k/10 + (-40)/(-25). Suppose 5*s + 6 = 2*s + x, 0 = -u*s - 5*x - 21. Which is smaller: -2 or s?
s
Let d = 11 - 28. Let n = -16 - d. Which is bigger: -6/17 or n?
n
Let y be 73/5 + (-6)/(-15). Do 12 and y have different values?
True
Let u be ((-11)/(-238))/(6/60). Let w = 3/17 - u. Is -0.4 smaller than w?
True
Let n be (6/15)/(2/(-10)). Let p be n/((1 + 1)*-7). Which is greater: p or 0?
p
Let j be (2 - 1)*2/(-2). Let m(z) = -z - 1. Let t be m(0). Do t and j have different values?
False
Suppose 2*n = -3*q + 17 + 39, -n - 44 = -3*q. Suppose -2*a - 2*a = -q. Let g(m) = m**2 + 5*m - 1. Let u be g(-6). Is a at most as big as u?
True
Let z = -273/5 - -55. Is 1/3 less than z?
True
Let j be 14/2 - (-2 - 1). Is j equal to 78/7?
False
Let b(q) = -q. Let w be b(-5). Let r = w + -5. Is 0 not equal to r?
False
Let r = -50 + 61. Which is smaller: 8 or r?
8
Let i(d) = -d**3 + 9*d**2 - d + 13. Let q = 6 - -3. Let f be i(q). Is 4 > f?
False
Let p = 31 - 30. Suppose -1 + 7 = -3*y. Let b = y + -1. Which is greater: b or p?
p
Let z = 2 + -1.9. Let k = 0.1 - z. Let w = k + -0.1. Which is greater: w or 1/2?
1/2
Let k be 18/(-63) + 44/7. Is 7 < k?
False
Suppose c + c = -6. Suppose -25 = -w + 6*w, 5*r + 45 = -5*w. Are r and c unequal?
True
Let z be (-18)/27 - 20/(-3). Let p be 20/84 - (-2)/z. Which is smaller: p or 2?
p
Let j be (-4 + 95/20)*2/213. Which is smaller: j or 1?
j
Suppose s - 16 = 4*y - 116, 0 = 4*y - 5*s - 100. Let o = 51/2 - y. Let f = 1 - 1. Do f and o have the same value?
False
Suppose -12*l + 4*l - 480 = 0. Is -60 > l?
False
Let v(q) = -q**2 + 13*q - 17. Let p be v(14). Is -29 <= p?
False
Let s = -4.8 - 0.2. Let v = -6 - s. Which is greater: 0.1 or v?
0.1
Let b = 9 + -6. Let z(p) = -2*p**2 - 13*p. Let i(k) = -2*k**2 - 14*k. Let y(f) = 4*i(f) - 5*z(f). Let h be y(-5). Which is greater: h or b?
h
Suppose 2*r + 7 = -1. Let s be (r/(-16))/((-1)/(-4)). Is s < 1?
False
Let s = 7 - 4. Suppose 0*t - 4*t + s*h = -135, -3 = -h. Let l be 2/t*(-4)/(-1). Is 0.1 >= l?
False
Let w be 2 - 4/(-120)*-64. Is -2/5 less than or equal to w?
True
Let n(m) = 0 + 3*m**3 + 4*m - 3*m**3 + 2 + m**3 + 4*m**2. Let c be n(-3). Let b = -313/60 - -52/15. Are c and b nonequal?
True
Suppose 7*k = 2*k + 5. Suppose -j - 3*v - k = 0, 2*j - 3*v = -0*v - 11. Let y(x) = -x**2 + 9*x + 86. Let p be y(-6). Is j <= p?
True
Let p = -11 - -23. Let y be (-2)/p + 8/(-16). Are y and 0 unequal?
True
Let b = -92/3 + 31. Let t(f) = 4*f. Let d be t(1). Suppose 7 = q + 2*m, 0 = -4*q + 3*m - d - 1. Is b smaller than q?
True
Let a be 35/40 - (3 - 2). Suppose t - 4*h = h + 9, -2*h - 6 = 2*t. Which is smaller: a or t?
t
Suppose 0*r = 3*r. Is r <= -1/3?
False
Suppose 4*r + 44 = q + q, -2*r + 3*q - 22 = 0. Which is bigger: r or 0.04?
0.04
Suppose 14 = 2*j - 38. Which is smaller: 24 or j?
24
Let q be 21/28*(-4)/6. Is q at least -5/3?
True
Let w = -1 + -7. Let g = -14 - w. Is g <= -6?
True
Let a = 6.011 + -0.011. Which is smaller: a or -1/2?
-1/2
Let s be (2/4)/(1/2). Let c be 4 - s/(-3)*-3. Suppose -c*w + 8*w = -5. Is w > -1/3?
False
Let i = 0.137 - 1.137. Which is smaller: i or 1.1?
i
Let x = -86 + 256/3. Does 1/4 = x?
False
Suppose -5*k - 2 = -4*x - 6, -2*k + x = -1. Let s = k + 3. Is s greater than 3?
False
Suppose -b + 6 = 2. Let y = 3 - b. Let x be (-2*2/(-4))/y. Is x != 2?
True
Let t(k) = -k - 1. Let q be t(-4). Suppose q - 1 = 2*y. Is 1/3 < y?
True
Let m(u) = 3*u - 1. Suppose g + g - 4 = 0. Let k be m(g). Let f(s) = -s**3 + 4*s**2 + 5*s + 4. Let v be f(k). Which is bigger: v or 5?
5
Let m be 5 - (5 + (-4 - -4)). Are m and -1/68 nonequal?
True
Let y be 8/70 + (-60)/35 + 2. Let m be ((0 + 0)/2)/(-1). Let v = 1 + m. Which is bigger: y or v?
v
Let j be ((-10)/(-6))/(2/(-30)). Let y = j - -19. Is -6 greater than y?
False
Suppose -5*b + 5 = -0*b. Is b != 1/3?
True
Let t be (2 - 11)*4/6. Let y(j) = -j - 4. Let l be y(t). Which is greater: l or 4?
4
Let m be 8/24*6/97. Which is smaller: m or 1?
m
Let g = -314/21 - -44/3. Suppose -3*o = -j, 0 = 4*o - o + j. Which is greater: g or o?
o
Suppose 2*j - 2*g + 14 = 0, -3*j - 3*g = -2*j + 3. Let v = 7 + j. Does v = 1?
True
Let i = 19 - 20. Let p = -2 - i. Is p greater than or equal to -2/13?
False
Let u = 29.74 + -30. Let n = u - -0.06. Which is greater: n or 0.2?
0.2
Let n = 11 + 2. Suppose -a - 30 = 3*h - 6*a, -n = 5*h + 4*a. Is -5 at most h?
True
Suppose -7*i + 1750 = -2*i. Let m = 5248/15 - i. Which is bigger: 0 or m?
0
Suppose z + 9 = -6. Let w be (-81)/105 - 3/z. Which is greater: 0 or w?
0
Let k be -1*(-4 + -1 + 1). Suppose 3*n = -15, 2*v = -2*v - k*n - 12. Let m be v/(-6)*(2 + 0). Which is smaller: -2 or m?
-2
Let y(n) be the second derivative of n**3/3 + 5*n**2 - 6*n. Let t be y(-5). Is t at least as big as -5/7?
True
Suppose -2*c + 5*v - 10 = -32, -26 = -5*c - 2*v. Suppose 2*g - c*g - 4 = 0. Let r be (-1)/2 - 10/(-12). Is r greater than or equal to g?
True
Let f = 8 - 11. Let p = 3.2 + f. Let q = -2.2 + p. Does q = -2?
True
Let n(v) = v**3 - 3*v**2 - v + 3. Let k(a) = 6*a**3 - 16*a**2 - 6*a + 16. Let s(b) = -2*k(b) + 11*n(b). Let x be s(0). Is 2 equal to x?
False
Let n = 18 + -17. Do n and -3 have the same value?
False
Let l be (20/15)/(3/18). Suppose -2*v + l = 4. Which is smaller: 4/3 or v?
4/3
Suppose -1 = h - 3. Suppose 4*a + 3*j = 13, -5*a + 5*j - 1 = 9. Is a at most as big as h?
True
Let z = -4 - -7. Suppose 0*r + z = -r. Let v be (4/(-6)*3)/1. Are v and r nonequal?
True
Suppose 10*b = 11*b - 2. Let o = -17/8 + b. Which is smaller: o or 0.1?
o
Let i = 32 + -32.1. Let n = -6 + 1. Is n bigger than i?
False
Let x = 13 - 12. Let v = -2 + 2. Suppose 0 = -5*u - v*u - 4*d - 2, 0 = u - 2*d - 8. Which is smaller: u or x?
x
Let u = -1 + 7. Is u <= 1?
False
Let f(l) = l**3 + 14*l**2 - 3*l - 16. Let n be f(-14). Which is smaller: 27 or n?
n
Let a be 3 + (-2 - (10 + -2)). Let y = -12 - a. Which is greater: 0.1 or y?
0.1
Let x = 5.9 - 5.57. Which is bigger: x or 1?
1
Suppose 0 = j - 3*w + 6, w - 3 = -4*j - 1. Let b be 0 - (2 - j - 2). Let o = 2 + 0. Are b and o non-equal?
True
Let m be 5/(-2) - 1 - 24/(-16). Is -2 bigger than m?
False
Let i = -0.02 + -0.98. Is -15 at most i?
True
Let j be (-2 + 1)*(-1 - 2). Suppose 0 = -g - 0*g + j. Which is smaller: 0.1 or g?
0.1
Let y be (-1 - 1) + 9/4. Suppose -16 = -4*v + 2*r - 2, -r - 3 = 0. Suppose -v = 4*g - 6. Is g > y?
True
Let y = 1 - -4. Let w = y + -5. Is w equal to -1?
False
Suppose 2*c - 2*i = 56, 5*c + 5*i = -9 + 149. Which is smaller: 0.3 or c?
0.3
Suppose 2*j = 3*j + 2. Let n be (-1)/(-50)*(-6 - j). Let i = 29/50 + n. Is i greater than -3?
True
Let d = -5 - -9. Suppose -6 = -d*r - 2. Are -1/9 and r unequal?
True
Let i be (4 - (-96)/(-18))/(52/6). Let v = 1.3 + -0.3. Is v greater than i?
True
Let t = -30 + 28. Which is smaller: 27 or t?
t
Let f = -4.05 - -4. Let d = 0.45 + f. Let m = d + -0.5. Which is bigger: m or -3?
m
Let w = -16 + 15. Which is smaller: -4/21 or w?
w
Let x = 1253/356 - 1125059/339980. Let b =