w + 6*w + 1932. Let k = w + 7332/19. Which is bigger: 1 or k?
1
Let q = -1.2 + 0.7. Let w = q - -2.5. Let y = 2.3 - w. Is 0 < y?
True
Suppose 4*v = -4*z - 20, 5*v = 5*z - 8*z - 15. Suppose 4*r = v, 4*f = -3*r + r - 16. Let g = -6 - f. Which is bigger: 0 or g?
0
Let u = -10 - -4. Let t(x) = x**2 + 5*x - 3. Let l be t(u). Let w be l/(3*10/4). Which is bigger: 0 or w?
w
Let b(r) = 12*r - 9. Let o be b(6). Suppose -4*s - 3*t = -0*s - o, -3*s + 21 = -3*t. Is s equal to 12?
True
Let h be 2*(6/1)/(-1620). Which is smaller: h or 0?
h
Let b be 2/10 + 34/5. Suppose 3*t + 9 = -3*x, b*t - 3*t = -2*x + 4. Let c be 4/(-14) + x/(-14). Which is bigger: c or 0?
c
Let z = 0.962 - -0.038. Are z and -0.067 equal?
False
Let i = 40/627 - 14/57. Which is greater: i or 1?
1
Let h(l) = l**2 + 3*l - 40. Let z be h(5). Which is smaller: 9/8 or z?
z
Let i = -1.4 + -2.6. Is 0.1 greater than or equal to i?
True
Suppose -5*w + 26 = 2*c, -5*c + 2*w + 3 = -4. Let h = c - -10. Which is bigger: 14 or h?
14
Suppose 0*n - 32 = -4*n. Suppose 2*z - n = 62. Let c = 107/3 - z. Is 0 greater than or equal to c?
False
Let j = 13601/26 + -523. Which is bigger: 0 or j?
j
Suppose -3*b + 10 = -5*b, 4*y = -5*b - 25. Let p = y - 0. Which is smaller: p or 1?
p
Suppose 5*a - d + 15 = 0, a - 6*a - 5 = d. Let u(b) = b**3 - 6*b**2 + 5*b - 4. Let w = 15 - 10. Let f be u(w). Are a and f non-equal?
True
Let t be (1 + -2)/(22/4). Let s = -21 - -21. Which is smaller: s or t?
t
Let z = 3 - 1. Suppose -2*s + m = -11, 2*m = -z*s - 5 + 19. Suppose -2*n = -s + 2. Is 1 <= n?
True
Let q = -6 - -7. Suppose -4*p + s + 0 = -3, 2*p = -s + 3. Let z = q + p. Is z less than or equal to 1/2?
False
Let p = -14 + 2. Let a = 11.97 + p. Which is bigger: 1 or a?
1
Let n be (1 - -1) + 28/(-15). Let p(l) be the second derivative of -l**4/12 + 7*l**3/6 + 4*l**2 - l. Let g be p(8). Is n >= g?
True
Suppose 0 = 4*m - 10*m + 6. Is m <= -4/21?
False
Let d = -21 - -33. Let q = -14 + d. Are q and -0.2 nonequal?
True
Let o = -31/2 - -16. Suppose q - 5*p = 24, 3*q + 2*q = 5*p + 40. Let t(u) = -u**2 + 4*u + 2. Let z be t(q). Which is greater: z or o?
z
Suppose -3*x - 5*h = -15, -h = -5 + 2. Let a = 789/7 + -113. Is a >= x?
False
Let n(o) = -2*o - 39. Let z be n(-20). Let p = 0.1 + 0. Let s = p - 0.1. Is s < z?
True
Let g = -15.07 - -15. Let c = g + -3.93. Let w = 6 + c. Which is smaller: 1/2 or w?
1/2
Let t be 56/(-32) + 3/4. Is -2/59 != t?
True
Suppose -7*k + 2*k = 5*z - 30, z - 21 = 4*k. Let b = 8 - z. Let q be 2*(-1 - (-3)/2). Which is smaller: b or q?
b
Let p = -0.2 - -0.6. Let s = -1.4 + p. Is 0.1 greater than or equal to s?
True
Let i = 0 + 4. Let l = 5 - i. Let x = 0.3 - 0. Which is bigger: x or l?
l
Suppose 3*x + 0*u = -3*u + 3, 5*x = 2*u + 26. Suppose -8 = 3*s + x, 5*i - 3*s = 17. Is 2 at most as big as i?
False
Suppose -4*p = -g + 3, -2*g - g + 9 = 0. Which is smaller: -4/33 or p?
-4/33
Let z be 2/(-15) + (-2)/(-15). Is z != 3/13?
True
Suppose -2*q + 3*u = 3 + 202, 4*q + 390 = 2*u. Which is bigger: q or -96?
q
Let a = -6.7 - 0.3. Let j = 4 + a. Do j and -3 have the same value?
True
Suppose 0 = -2*y + 1 + 5, j = y - 2. Let h = j - 1. Suppose u - 2*z + 1 = h, -z + 2*z = 0. Is 1 smaller than u?
False
Let a = 603583/153 - 3945. Is a > 0?
False
Let x(a) = -a + 1. Let d = 22 - 9. Suppose h - d + 4 = -3*t, 3*h + 5*t = 15. Let q be x(h). Which is greater: -0.3 or q?
q
Let i = -30.2 - -24. Let g = i - -6. Which is smaller: -3 or g?
-3
Let w be (-1)/4 + 17/44. Which is bigger: 0 or w?
w
Suppose 0 = -z - 2*t + 11 - 3, -3*t = -6. Suppose 164 + 16 = -z*r. Let v be 12/r*(-3)/2. Which is bigger: -1/2 or v?
v
Let x(s) = -s**2 - 12*s - 15. Let f be x(-10). Suppose -2*h - 3 = -f*h. Is h at most 2/5?
False
Let c = 34 + -21. Let q be 2 - (c/5 + 0). Is 1 != q?
True
Suppose 12 = -4*t + 5*f - 6, 2*t + 20 = -3*f. Is t >= -6?
False
Let q be -9 + -1 - (-4 - -2)/(-1). Which is smaller: -15 or q?
-15
Suppose -4*y + 5 = -3. Which is greater: y or 3/5?
y
Let m = -0.05 - -0.04. Let j = m - 0.09. Is j >= 5/4?
False
Let x = -3 + 0. Suppose 0 = -3*g + 24 - 9. Suppose -y - 2 = 0, 5*w + 22 = 2*w - g*y. Is x equal to w?
False
Let m(a) = 3*a**3 - 6*a - 9. Let s be m(-9). Let t be s/(-49) - 2/(-7). Let x be 8/(-44) + 118/t. Is 3 at least as big as x?
True
Let p = 1/509 - -464/22905. Let b = -49/180 + p. Is b >= 1?
False
Let t be ((-2)/(-14))/((-144)/168). Is 0 bigger than t?
True
Suppose c - 4*p - p - 24 = 0, 5*p + 12 = -2*c. Suppose -7*d + c*d = 0. Which is smaller: d or 1?
d
Let r(v) = -v**3 - 13*v**2 + v + 11. Let z = -29 - -16. Let t be r(z). Which is bigger: t or -5/3?
-5/3
Let m = 26 - 15. Let w = m - 7. Is w less than -0.1?
False
Let p = 475/644 - -2/161. Is 2 bigger than p?
True
Suppose 0 = 3*g - g + 6. Let l be (2/(-6))/(1/g). Let v be (-4)/(-8) - l/3. Which is smaller: 0 or v?
0
Suppose 3*x - 72 = -2*f, -4*f + 41 = -5*x - 103. Do f and 35 have different values?
True
Let c = -9 - -10.1. Let b = 1 - c. Are -4 and b nonequal?
True
Suppose 6*s + 55 = -53. Is s at most as big as -17?
True
Let x(l) = 5*l - 1. Let t be x(1). Let c = 7 - t. Suppose -7*a + 3*a = 4*p, 0 = c*a + 2*p. Is -3/5 at least a?
False
Let q = 670/11 - 3097/55. Let l(h) = h - 2. Let x be l(-3). Let v = x + q. Which is bigger: 1 or v?
1
Suppose d - 3*f + 4*f = -26, -4*d + f = 104. Let y be d/42 + 12/42. Let u = 0.8 + 0.2. Which is bigger: y or u?
u
Suppose -5*t + 6 = -24. Suppose -t*o + o = 5. Let u = -228/847 + -2/121. Do u and o have different values?
True
Let r(m) = -m**3 - 5*m**2 + 4*m + 1. Let b be r(-6). Let x(j) = 11*j - 13. Let u(q) = 5*q - 6. Let s(w) = b*u(w) - 6*x(w). Let g be s(1). Is g >= -1/13?
False
Let u be (-2)/(-8) - (-108)/(-48). Which is smaller: -7/5 or u?
u
Let n = 0.39 - -1.61. Is n smaller than 4?
True
Let v = 2 + -5. Let d(u) = 9*u**3 + 3 - 3*u + u + 4 - 5*u**2 - 8*u**3. Let p be d(5). Is p > v?
False
Let x = 408/5 - 82. Suppose 0 = -2*m - 0*m + s - 21, 5*m + 50 = 2*s. Let t = m - -8. Which is smaller: x or t?
x
Let z(a) = -2*a**3 + 17*a**2 - 8*a + 5. Let s be z(8). Is -3 greater than or equal to s?
False
Let m = -0.101 + 0.001. Which is smaller: m or -1/2?
-1/2
Suppose -2*k - k = -12. Suppose 4*l = k - 0. Let r = -20 - -21. Are r and l equal?
True
Let o = 3/41 - 129/82. Let n = 19/10 + o. Which is greater: -1 or n?
n
Let h = -1.03 + 1.4. Let n = -1.73 - h. Let u = n + 0.1. Is u > -1?
False
Suppose -19 = -q - 29. Is 1 at least q?
True
Let f(x) = x - 1. Let d = 9 + -10. Let o be f(d). Is o equal to 2?
False
Let w(d) be the first derivative of -d**2/2 + 3*d - 1. Let k be w(3). Which is smaller: k or 1?
k
Let y be 8/15 + 2/(-10). Let g be -3 - (-1)/((-7)/(-20)). Is y >= g?
True
Let n = 1 - -16. Which is smaller: n or 4?
4
Let v = -77 + 33. Let m = 31 + v. Is m greater than -13?
False
Let y = 17 - 24. Which is smaller: y or -2?
y
Let z be -2 + (2 - 2/(-1)). Let s be ((-6)/21)/(3/(-21)). Suppose s = -4*b - z*u, -4*b + 0 = -3*u - 3. Do -1/6 and b have different values?
True
Let z = 8 + -10. Which is smaller: -5/6 or z?
z
Let a = 14 - 13. Is -1/29 bigger than a?
False
Let i be 369/(-6)*(1 + (-14)/6). Which is smaller: i or 84?
i
Let d = 14 - 22. Is d less than or equal to -7?
True
Let t = 1 + -2. Let r = -46 - -46. Let m be (0 + t/(-2))*r. Which is bigger: -3/4 or m?
m
Let q = -2/697457 - 133213097/414986915. Let x = q - -3/85. Let t = -1 + -2. Is x at most as big as t?
False
Let f be (-1)/((2 + -1)/(-1)). Let i be (((-6)/20)/3)/(1/(-2)). Is f at least as big as i?
True
Let h be -2 + 0 - 1 - -4. Which is smaller: 2/21 or h?
2/21
Let o(t) = -2*t - 23. Let d be o(-12). Which is bigger: d or 41?
41
Let f(l) = -23*l**2. Let b be f(-1). Is -23 at least as big as b?
True
Let p = 19 + -18. Let n = 0 + -1. Which is smaller: p or n?
n
Let d be 9/(-6)*20/105. Let c = 1.95 + 0.05. Is d equal to c?
False
Let p(n) = -n**2 + 10*n - 10. Let k be p(8). Suppose -4*y + k + 4 = -3*o, 2*o = -5*y + 24. Suppose 8 = -o*l - 0, 5*g + 26 = -4*l. Which is smaller: g or -3?
-3
Let l(j) be the second derivative of -j**4/12 + j**3/3 - j**2/2 + 8*j. Let g be l(1). Which is greater: g or 2?
2
Suppose -2*o + 3*z + 5 = 4*z, -5*o = 4*z - 20. Is o greater than -3/29?
True
Let d be -9*3/(2 - 11). Let r(y) = -2*y + 2. Let w(h) = -8*h + 7. Let z(c) = 9*r(c) - 2*w(c). Let f be z(d). Which is smaller: -1 or f