.3 + -1. Let z = o - 0.3. Which is smaller: s or z?
s
Let b = -93.41 - -0.41. Which is greater: -2/9 or b?
-2/9
Let z = 29 + -29. Is 3 greater than z?
True
Let c = 1.02 + -0.02. Let o = 2 - c. Let p = o + -0.8. Is 1/2 equal to p?
False
Let g be -1 - 2 - (-12 - -6). Let x be (-8)/(3 + (1 - g)). Is -8 less than x?
False
Let k(m) = 2*m**2 - m + 1. Let d be k(1). Suppose -3*p - 9 = 0, -4*b - d*p - 10 = -8*b. Suppose 3*z = -5*f + b - 10, -2*f - 4*z = 12. Is 3/5 <= f?
False
Suppose -2*k + x + 3*x = 22, -3*k + 3*x - 36 = 0. Let w = k - -21. Is w at least 0?
True
Let x = 21573426/95 - 1132964/5. Let s = 496 - x. Is s greater than -1?
True
Suppose 2*w = -y + 13, 3*w - 33 = -5*y - 3. Which is bigger: 9 or w?
9
Suppose 2 = 5*c + 47. Let g be 4/(-14) - c/7. Let v be ((-2)/(-3))/((-28)/(-12)). Is g equal to v?
False
Let u be (2 - 1) + 2 - (-134)/(-46). Which is greater: u or 0?
u
Suppose -4*o = 5*w - 2*o - 283, -3*w + 2*o + 157 = 0. Which is bigger: w or 56?
56
Let j(w) = w**2 - 9*w + 2. Let z be j(11). Let d be 20/z + 2/12. Let i = -127/693 + -3/77. Which is smaller: d or i?
i
Suppose l = j + 2, 3*j = -2*l - l. Let x be -2 - 0 - 13/(-6). Which is smaller: j or x?
j
Let y be 9/(4*(-6)/(-16)). Let a = y + -10. Suppose 3*w + 15 = 3*k, -2*w + 6 - 16 = -5*k. Which is bigger: w or a?
a
Let g(l) = 2*l**3 + 12*l**2 - 13*l - 3. Let y be g(-9). Let n be (-2)/(-32)*y/21. Let f = -1/7 + n. Which is bigger: 0 or f?
0
Let u = -0.4 + 0.3. Which is smaller: u or -2?
-2
Let l be 1/(4/(-8)) + 9/4. Which is smaller: 2.5 or l?
l
Let u be 2 + ((-6)/3 - -1). Let b be u + 2 + (-34)/12. Which is greater: 0 or b?
b
Suppose 4*n + c - 10 = -41, c = 5. Which is bigger: n or 3?
3
Suppose -5*j + 0*u = -u - 19, -2*j = u - 2. Let l be (j/3)/(-6)*-2. Is 0 greater than l?
False
Let z = -0.2 + 0.3. Let h = 19 + -18. Are z and h equal?
False
Let y = 0 + -0.1. Let b = y + -0.1. Do b and -5 have the same value?
False
Let h be ((-9)/6)/(2/4). Let m be (2/(-6))/(7/h). Suppose -4*o = -2*o. Is o greater than m?
False
Let x be (1/2)/((-2)/12). Let b be (1125/372 + x)*22. Let i = 1/31 - b. Are i and -3/2 non-equal?
True
Suppose 0 = o + d - 25, -3*o - 2*d + 4*d + 70 = 0. Which is bigger: 23 or o?
o
Suppose y = -2*v + 29, -5*y + v + 134 = -0*v. Is y >= 2?
True
Suppose -4*j = -3*i + 4, 8 + 21 = 3*i + j. Is 6 > i?
False
Let d = 11.1 + -12. Let b = d - -1.3. Is b equal to -0.1?
False
Let r(t) be the second derivative of -t**5/20 - t**4/6 + t**3/2 - t**2/2 + t. Suppose 0*j - 5*v = j + 3, 4*j = -4*v - 12. Let x be r(j). Are x and -1 non-equal?
False
Suppose 0 = 2*x - 2*c - 12, -2*x - 2*c = -5*c - 16. Suppose x*z = 4*z. Let b(l) = -l**2 + l. Let k be b(-1). Which is greater: z or k?
z
Let m(x) = x**2 - 9*x + 9. Let u be m(8). Suppose -3*o - 3 = 12, 3*c - 15 = 3*o. Is u smaller than c?
False
Let c = 13 + -6.6. Do -0.1 and c have different values?
True
Let w = 0.46 - 0.96. Is 0 bigger than w?
True
Let v be -6*(2 - 10/4). Suppose -5*c = 5*s, c - 2*s = -s + 6. Is c greater than or equal to v?
True
Suppose 0 = 3*y + 3, -102 = -4*h + 4*y + 22. Does h = 28?
False
Let b be (84/(-10))/(12/(-40)). Let t = -85/3 + b. Is t bigger than 1?
False
Let n = -15.25 + 15. Is 1 not equal to n?
True
Suppose 2*j - x = 10, -5*j - 3*x = -7*x - 28. Suppose w - j*w = 3. Suppose 2 = -0*d - d. Which is greater: d or w?
w
Let q = 3 + -7. Which is greater: -1 or q?
-1
Let n = -24 + 1. Let l = n - -22. Which is smaller: l or -1/7?
l
Let s = 3.9 + -4. Let n = -8 - -12. Let h = -3.8 + n. Is s at most as big as h?
True
Let w be 0 + 0/((-3)/(-1)). Is -1/137 at most w?
True
Let f be (-7 + (-195)/(-28))*8/(-10). Which is bigger: -0.1 or f?
f
Let w(o) = 5*o**2 - 20*o + 15. Let u(a) = 2*a**2 - 7*a + 5. Let t(p) = 8*u(p) - 3*w(p). Let i be t(-4). Let r be -1 + 0/(i + 2). Which is bigger: 0.2 or r?
0.2
Let n(o) = -o**3 + 2. Let f be n(2). Let l(m) = m. Let i(s) = -8*s - 3. Let z(p) = 2*i(p) + 14*l(p). Let h be z(f). Is h at most 5?
False
Let g = 1.12 - 0.62. Which is greater: -5 or g?
g
Suppose 2*f = 7*f - 30. Suppose -1 = -p, 4*s - 6 - 13 = 5*p. Is s bigger than f?
False
Let n = -5.4 + 2.4. Is n != 10?
True
Suppose 0*z - 2*z = 0. Suppose -18 = -2*a + 18. Let c = -20 + a. Is c > z?
False
Let a = 62/23 - 1021/46. Are -20 and a non-equal?
True
Let y(k) = -k**2. Let z be y(1). Let q = -3 - -2. Let n be 0/(-1 - 0/q). Which is bigger: n or z?
n
Suppose 5*c - 19 = 1. Suppose -4*k = -0*k - 4*d - 32, 5*k + 5 = -c*d. Which is smaller: 3/2 or k?
3/2
Suppose -12*v + 6*v = 66. Which is smaller: -12 or v?
-12
Let g be -13*2/(-10) + -2. Suppose 0 = -5*v - 3*d + 160, 2*d - 1 = 9. Suppose -5*t = -2*x + v, 5*t + 8 = -17. Does x = g?
False
Let u be ((-2)/4)/((-3)/(-12)). Let b(w) = -1. Let j(d) = d + 13. Let y(p) = 6*b(p) + j(p). Let l be y(-5). Which is smaller: u or l?
u
Let p be 152/(-4)*2/8. Which is smaller: p or -9?
p
Let x = 1.06 + 0.04. Let t = x - 1.6. Is -1/2 < t?
False
Let u = -2691/11 + 245. Let f = -83/3 + 904/33. Let t = u + f. Is 1 less than or equal to t?
False
Let p = -1.8 - 0.2. Let y = p - -2.4. Let o = y + -0.3. Which is bigger: o or -2/3?
o
Let s = -35 - -34.7. Which is smaller: s or 1?
s
Let m be 132/(-20) - 4/10. Is m > -7?
False
Let m = 231/4 - 57. Suppose -2*l + 0*l + 4 = 0. Do l and m have different values?
True
Suppose 35 = -5*c + 5*n, 3*c = c - 4*n + 16. Let f be (-7 - -8) + (c - 1). Let w be 2/6 + (-1)/12. Is f greater than w?
False
Suppose -2*g - 3 - 9 = 0. Let b be ((-54)/(-45))/((-1)/5). Is g at least b?
True
Let b = -3.38 + -0.62. Let o = -0.2 - 0.8. Let l = 1 + o. Is l less than b?
False
Suppose -4*b - 8 = h - 2*b, -32 = 4*h - 3*b. Which is smaller: -7 or h?
h
Suppose 0 = 5*j - 0 - 10. Suppose -j*f = -f. Which is smaller: -1/6 or f?
-1/6
Let g = -11581/42 + 549/2. Let y = g - -4/7. Let u = -1/25 - -11/25. Which is bigger: y or u?
u
Let p(o) = o**2 - 12*o. Let m be p(12). Suppose m*c + c + 1 = 0. Is c equal to -5/6?
False
Let k = -5 + 2. Let m = -1 + 3. Let i be (-4)/(-10) + m/(-5). Is k <= i?
True
Suppose 20 = -2*s - 3*s. Let u be ((-6)/44)/(15/s). Which is bigger: 1 or u?
1
Let y be 16/3320*(-1 - -6). Do y and 1 have different values?
True
Let c(x) = x - 2. Let f be c(0). Let n = 1655/2 - 849. Let o = 20 + n. Which is smaller: f or o?
f
Suppose -3*d + 24 = t, 4*t + 0 = 4*d - 32. Suppose -2*s + 6*s = -a + 29, s - 4*a - 3 = 0. Do s and d have the same value?
False
Let i(r) = -r**2 - 13*r - 1. Let z be i(-13). Let g be 0 + (-3)/5 + 1. Which is smaller: z or g?
z
Let z(f) = f**3 - 6*f**2 - 11*f + 29. Let u be z(7). Is 15 at most as big as u?
False
Let m be 2/8*3/(-6). Which is smaller: 0 or m?
m
Let f(s) = s**3 - 8*s**2 + 8*s - 9. Let v be f(7). Is 2 at most as big as v?
False
Let d = 42 + -41.78. Which is greater: d or -2/7?
d
Suppose -4*r = 2*p - 2, -5*r + p + 5 = -8. Suppose 3*k = y - 0 + r, 4*y - 14 = k. Is k bigger than 2?
False
Let z(l) = l**2 + 14*l + 14. Let o be z(-13). Is o smaller than 1?
False
Let j = 85/2 + -42. Is j at least as big as 78?
False
Suppose 2*t = t - 1. Is t greater than -2/33?
False
Suppose -h = 4*h. Which is smaller: -2/23 or h?
-2/23
Let y = -1/26 + -63/52. Suppose 0 = f + 3*i - 0*i - 9, 5*f + 4*i = 12. Is f > y?
True
Let k = 16 - 15. Is k greater than or equal to -2/111?
True
Let t = -1603/10881 + -1/1209. Is 0 greater than or equal to t?
True
Let f = 513/5 + -103. Let t be 3 - 30/(-16)*-2. Is f less than t?
False
Let m(j) = j**2 - 6*j - 9. Let o be m(7). Let s be o/(-3) - (-112)/(-24). Let x be 2/s*12/3. Does -0.1 = x?
False
Let a(y) = -7*y - y**2 - y - 4*y + 2*y - 3. Let m be a(-9). Which is greater: m or 5?
m
Suppose 0*w = -4*q - 3*w + 25, 30 = 2*q - 2*w. Which is bigger: 8 or q?
q
Let w be (-6)/(-9)*(32 + -5). Which is smaller: w or 22?
w
Let n(r) = -3*r. Let t be n(-1). Let b be -6*1*4/(-8). Suppose -b*h + g = t*g, 2*h - 4*g = 0. Is h at least as big as 2/3?
False
Suppose 4*n - 4 = 4. Let a be 2 - (-9)/(-3) - n. Let u(d) = -d**2 - 2*d + 2. Let m be u(a). Which is smaller: m or -4/7?
m
Let q(k) be the third derivative of -k**4/12 + 2*k**3/3 + 3*k**2. Let n be q(4). Let r be n/18 + 23/63. Is 0 < r?
True
Let o = -2/1561 + 18754/17171. Let p = o - 37/44. Which is bigger: p or -1?
p
Let d(q) = 2*q - 7. Let j be d(4). Is 3 >= j?
True
Suppose -5*r = -3*w + 68 - 12, w = 3*r + 36. Let o = 11 + r. Are -1 