Suppose -3*o = 5*t + 67, 49 + 67 = -5*o - 4*t. Do -25 and o have the same value?
False
Suppose 0 = 12*t - 17*t - 75. Is t equal to -15?
True
Let t = 3.2 - 3. Let f = 10 + -9.9. Which is smaller: t or f?
f
Suppose -13 = -5*n + k, -2*k - 3*k = 2*n - 16. Let w be (2 + -1)/(n/9). Is 3 < w?
False
Let n = 17 + -20. Suppose 3*z = -2*z + 10. Let t be 1 - z - (-2)/1. Which is greater: t or n?
t
Let r(z) = -z + 6. Let i be r(-8). Let s = i - 12. Which is greater: 0 or s?
s
Let g = 114 - 103. Which is greater: 12 or g?
12
Let r be 11 - 3 - (-6)/(-2). Let k(i) = i**2 - 5*i + 5. Let u be k(5). Are r and u non-equal?
False
Let n = 0.5 - 0. Let h = -1.6 - -0.1. Let l = h + n. Which is bigger: -3 or l?
l
Let o = -7 - -11. Let g be (6/o)/(6/16). Suppose -5*d + 14 = g. Is d at most as big as 2?
True
Let w = 25 - 3.9. Let q = w + -21. Which is bigger: 1/4 or q?
1/4
Let n be 90/(-675) - 2*(-22)/60. Is -0.3 < n?
True
Let v = 7.2 + -1.2. Let s = v - 6. Which is smaller: -3 or s?
-3
Let v = -0.035 + 0.095. Is -3/2 smaller than v?
True
Let p = 47/48 - 5/16. Are p and -7 nonequal?
True
Let l = -1/382 - 757/2674. Let y(w) = w**3 + 2*w**2 - 8*w + 7. Let j(m) = 2*m**3 + 5*m**2 - 15*m + 14. Let d(o) = 3*j(o) - 5*y(o). Let z be d(-6). Is l < z?
True
Let m be (-1)/(-3) - 10/(-6). Let c = m + 2. Suppose -3*t = -3*v - 21, c*t - 13 = 2*v - v. Do -5 and v have the same value?
True
Suppose -18*v - 10 + 28 = 0. Which is bigger: -3/32 or v?
v
Let z = -4.9 - 0.1. Let o = z + 7. Which is bigger: 0 or o?
o
Let d = 40 - 21. Let q = d + -25. Is -6 not equal to q?
False
Let k = 14 - 27. Let q = k - -12. Is q <= -2/5?
True
Let l be ((-1)/4*-118)/((-1)/2). Is l greater than or equal to -59?
True
Let l = -10.38 + 1.48. Let u = -9 - l. Which is smaller: -7 or u?
-7
Let n = -1/10 - -17/20. Let x = 22 - 20. Is x equal to n?
False
Let i be (-10 - -8)*(-6)/(-1). Does -12 = i?
True
Let s be 22/(-12) + 1 + 2. Are 2 and s non-equal?
True
Let k(h) = -h - 1. Suppose 9 = -4*v + u, 7 = -5*v + 4*u + 4. Let s be k(v). Which is smaller: 3 or s?
s
Let c(f) = 10*f - 27. Let y be c(9). Are 64 and y non-equal?
True
Suppose 0 = -4*t + 20, -5*c + 5*t = -4*c + 25. Let g(l) = -l + 4. Let d be g(3). Let q be 3/d*3/(-9). Which is bigger: q or c?
c
Let w = 0.1 + -0.3. Let g = -0.8 + w. Let o = 7 + -6.9. Which is bigger: o or g?
o
Let z(s) = -s**2 + s - 1. Let a(o) = -o**2 + 9*o + 14. Let m be a(10). Let q be z(m). Which is greater: -14 or q?
q
Let t = -16 + 15. Let l be (-4)/(-5)*(-12)/(-32). Which is greater: l or t?
l
Let b = -6 + 47. Is 41 at least b?
True
Let u = 41 - 6. Let i = -24 + u. Is i not equal to 10?
True
Let d = -2 - -1. Let h be 14/8 + d/(-4). Let r be (-5)/h + 2/4. Is -3 <= r?
True
Let s = 97/476 - 9/28. Is -0.1 smaller than s?
False
Suppose 0 = -5*u - 4*f + 7*f, 2*f + 22 = -4*u. Which is bigger: u or -5?
u
Let a(d) = d**2 - 5*d - 1. Let u be a(5). Let b be (0 + 4/22)/u. Let f(n) = -n**2 - n. Let m be f(-1). Is b < m?
True
Let g = -2 - -26. Let z = g + -14. Suppose -d + 4*n - 3 = 0, -5*d + 2*n + z = 7*n. Is 2 greater than d?
True
Suppose -3*p = 1 + 8. Suppose 6*z = 12*z + 30. Is p >= z?
True
Let w(o) = 2*o**2 - 6*o - 11. Let d be w(6). Do d and 0.1 have different values?
True
Let z be 2/(-7) + 128/56. Which is greater: 15/11 or z?
z
Let q = -3 + 7. Suppose q*g - h = g - 29, 3*g + 2*h = -32. Let m be 5/g*(0 - -1). Which is smaller: -1 or m?
-1
Let k = -2 - 0. Let l be (-5 - -5)*(-1 - k). Let y = 2/317 - 967/2536. Which is bigger: y or l?
l
Let w(h) = h. Let m be w(0). Let v(z) = -z**2 - z. Let s be v(m). Let u be 85/51*(-12)/(-130). Is u < s?
False
Let f = 13 - 15. Which is smaller: f or -0.3?
f
Let o = -209/4 - -52. Is o less than -9?
False
Let c(o) = -2*o + o**3 + o**3 - 2*o**3 + 1 - 2*o**2 + o**3. Let b be c(3). Which is smaller: 2 or b?
2
Let i be ((-4)/30)/((-57)/95). Suppose 3*u - 10 = -4*q - 1, 3*q + 4*u = 12. Let t = q + 0. Are t and i nonequal?
True
Let r = 40 - 40. Suppose 0 - 60 = -4*q. Suppose d - 5*n = -q, 5*n - 9 = 4*d + 2*n. Is d != r?
False
Let h = 1 - -1. Suppose -8*t = -4*t - 8. Suppose 0 = 3*p + 9, h*s = -t*p - 0 - 8. Which is greater: s or 3/10?
3/10
Let p = 0.063 - -0.037. Which is smaller: -8 or p?
-8
Let x(m) = 2*m**2 - 7*m + 5. Let n be x(5). Let f = n - 4. Let l be (f/(-7) - -2)*1. Is l != 1?
True
Let v be -1 - ((-12)/3 - -1). Let y(f) = -f**3 - f + 1. Let j be y(v). Let n(i) = i + 10. Let h be n(j). Which is smaller: h or -2/7?
-2/7
Let d = -25.3 + 0.3. Let n = d - -35. Which is smaller: n or 0?
0
Suppose -12 = 5*v + 3. Let j be (-9)/3 + 1*-1. Let y = v - j. Which is bigger: y or -3/7?
y
Let g(n) = -n**3 + 9*n**2 + 2*n - 17. Let a be g(9). Is 2 < a?
False
Suppose 10*s - 3*s = 7. Which is bigger: -3/38 or s?
s
Let f = -22 + 22. Let c be (-2)/(0 + -2) - 1. Is f smaller than c?
False
Let r = 35 - 89. Do -0.1 and r have the same value?
False
Suppose 0*x + 2*x = 5*y + 57, y = x - 12. Let k be (-12)/2 - (-11)/y. Let d be -9*4/(-6)*-1. Are k and d unequal?
True
Let h be 0/(-1*(0 + 1)). Suppose 3*j + 3*l + 12 = h, -3*j - l + 4 = 10. Suppose 11 = -3*w - 2*s, 4*s + 28 = -2*w + 10. Are w and j non-equal?
False
Let c = 1114 - 119200/107. Which is smaller: c or 1?
c
Let n be (-2)/(-8) + 12/(-176). Suppose 0 = -5*o - 0*f + 2*f - 5, 0 = f - 5. Which is bigger: o or n?
o
Let y be 7/28 + (-26)/24. Is y greater than -1?
True
Let m(c) = -c**2 + c - 1. Let j be m(0). Let f = -21 + 21. Is j smaller than f?
True
Let i = 0.09 - 0.89. Let s = 0.7 + i. Is s smaller than 0?
True
Let w = -10219/52716 + -82/573. Let p = w + 2/23. Which is bigger: -1 or p?
p
Let m = -1 - -1. Let b = 2 - m. Let w = -0.09 + 1.09. Is w >= b?
False
Let v(t) = t**3 - 3*t + 4*t + 5 + 2 + t**2 + 5*t**2. Let q be v(-6). Is -2/13 bigger than q?
False
Let d(g) = 7*g**2 + g - 1. Let o be d(-2). Let v = o - 17. Does v = 7?
False
Let x = 11 + -2. Suppose 0 = -3*f + 3*h + x, 2*f - 3*h - 21 = 5*f. Let q(s) = s**2 + s - 1. Let k be q(f). Which is greater: -2/3 or k?
k
Let j = -8 - -5. Let c = -2.9 - j. Let t = -3.2 + 3. Is c at least as big as t?
True
Let f(y) = y**2 - 2. Let o be f(-2). Suppose 8 = p - 5*p, 5*p = o*k - 4. Let c be 1*(-3 - (k - -1)). Is c > 1/6?
False
Let r = -0.48 - -0.48. Is r greater than or equal to -2.8?
True
Let u(o) be the second derivative of -3/4*o**4 + 0 + 1/20*o**5 + 7/2*o**2 + 7/6*o**3 + 2*o. Let w be u(8). Which is bigger: w or -1/3?
-1/3
Let x = -172 - -169. Suppose -2*u = 0, -w - 4*u = 1 + 4. Which is bigger: x or w?
x
Let t be ((-5)/10)/((-1)/10). Which is smaller: 0 or t?
0
Let s(q) = -q - 5. Let v be s(-6). Let l be 0/(-11) - (0 + -3). Which is smaller: v or l?
v
Suppose 2*g = 3*g + 1. Let l be 1 - 2*g/(-2). Do -5/4 and l have the same value?
False
Let a = 181 + -202.9. Let s = a + 22. Which is greater: -8 or s?
s
Let b be ((-18)/(-12))/(18/4). Do 1 and b have different values?
True
Suppose s - 3*s = -4. Suppose 33 = 3*k - s*v + 5*v, -3*k + 27 = v. Suppose 3*p + k = 7*p. Which is greater: p or 1?
p
Let a = -2 + 6. Suppose 2*f = a*f + 6. Let d = f - -6. Which is smaller: d or 2?
2
Let h(x) = -8 + x**2 - 5*x + 1 - 1 + x. Let z be (-2)/(-8) - (-69)/12. Let d be h(z). Is 3 at least d?
False
Let m(a) = 90*a - 7. Let k be m(8). Let i be k/(-60) - 0/2. Let n = i + 47/4. Which is greater: 0 or n?
0
Suppose -4*l - 4 = 0, -5*f = -2*l + 21 - 8. Let r(p) = -2*p**2 - 2*p + 2. Let h be r(f). Let v be (h/25)/(3/(-5)). Which is bigger: v or 1?
1
Suppose 4*r - 20 = -4*f, 5 = r + f - 6*f. Let y be 5/1 - 2/4. Let i = r - y. Which is smaller: i or 0?
0
Suppose 3*p = -c - p, 0 = 2*p. Let u be 2/(2 + c + 6). Are 5 and u unequal?
True
Let d = 47769/2 + -23394. Let q = 501 - d. Is 11 >= q?
True
Let d(k) = k**2 - 7*k - 6. Let i = 12 + -6. Let s = 2 + i. Let m be d(s). Are 1 and m unequal?
True
Let r = -81 - -165. Let f be (2/7)/(18/r). Which is smaller: 1 or f?
1
Let f = 47 + -47. Are -3/10 and f unequal?
True
Suppose -5*n + 20 = -0*n. Suppose 0 = -2*o + 4*h + 26, 0 = -n*o - 2*h - 1 + 3. Suppose -k = o*k. Are k and 3 non-equal?
True
Let p = -2.5 + 3.5. Is p smaller than -4?
False
Let v be 18*1*3*(-3)/(-18). Is 9 bigger than v?
False
Let v(o) = o**3 + o - 1. Let i be v(0). Let s be (2 + 2 - 5)/1. Is i greater than or equal to s?
True
Let n = -0.4 - -1. Let p = n - 0.3. Let m = 0.1 - -0.9. Which is smaller: p or m?
p
Suppo