
True
Let q = 3 + -4. Let c = 0.4 - 0.1. Let x = 0.5 - c. Which is smaller: x or q?
q
Let y = -0.2 + -0.8. Let g(x) be the first derivative of -x**4/4 + x**3/3 - x**2 + 4*x - 7. Let w be g(0). Is y bigger than w?
False
Let i be 0/((-4)/(-2)*1). Is 2/17 bigger than i?
True
Let m(v) = -v**2 + 25*v + 49. Let i be m(27). Which is smaller: i or -4?
i
Let u = 17.8 - 18. Which is smaller: u or 2/5?
u
Let r be (1 + -4)/(2/6). Let x be ((-8)/6)/(42/r). Which is smaller: x or 0?
0
Let x = 20 - 20.1. Let q = -1 + 2. Is x equal to q?
False
Let d(g) = -g**3 + 5*g**2 + 2. Let y be d(5). Suppose -m = y*v - 3, -2*v - 3*m + 13 = -0*v. Which is smaller: v or 1?
v
Let l = 16 + -28. Which is smaller: -14 or l?
-14
Suppose -5*l - 5 = -20, -2*r = -3*l + 9. Do r and -2/45 have the same value?
False
Let s = -5 - -4.2. Let a = -0.2 + s. Let q = 1.1 + a. Is 0 != q?
True
Let y(q) = -6*q + 7. Let j be y(3). Is -11 greater than j?
False
Suppose -n + 3*p - 10 = 0, p + 0*p = -2*n + 1. Let s be (n/10)/((-6)/96). Is s at most -2/5?
False
Let q = 25 + -16. Let j be (-6)/q*1*3. Is j <= -2?
True
Let l be -2 + 4 + 13/(-5). Suppose -3 = 4*d + 9. Let s be d/15 + 14/(-30). Is l greater than s?
True
Let m be ((-4)/3 + 2)/((-16)/(-36)). Suppose -d + 15 = -0*d. Let k be (6/d)/(6/(-10)). Which is smaller: m or k?
k
Let g be 0 + 8 - 0/2. Suppose 0 = 2*a - g - 4. Are 6 and a equal?
True
Let u = -13 + 20. Let m(n) = n**2 + 2*n - 7. Let b be m(-7). Suppose 3*d - v + 8 = b, -d + 4*v = -3. Is u < d?
False
Let c = -9 + 9.1. Let a = -0.1 + c. Is a at least 0.4?
False
Let x be 7/(-3)*(9 + 9). Let a be (-3)/9 + (-8)/x. Which is bigger: a or 1?
1
Let z be 3 - 6/3 - 12. Let j = 5 + z. Which is smaller: j or -8?
-8
Let d = -4 - -10. Let r = -6.03 + d. Let b = -0.13 - r. Is b < 0?
True
Suppose 0 = 2*h - 7*h + 20. Suppose -5*m - 96 = 3*w, -h*m + 0*m - 68 = -2*w. Does m = -19?
False
Suppose -2*r = -x + 7, 4*r + x + 11 = 6*x. Let h be -2*(-2)/(r/(-5)). Suppose -m = 6*t - h*t, -m = 5*t + 12. Do -3 and t have different values?
False
Let u(g) = -g**3 - 2*g**2 + 4*g - 3. Let d be u(-4). Suppose -d - 7 = -5*n. Suppose 14 = -n*j - 2. Which is greater: -2 or j?
-2
Let d = -9 - -9. Which is smaller: -0.1 or d?
-0.1
Let d = 51/2 + -25. Let a = -2 - -2.15. Let v = 0.05 - a. Which is bigger: d or v?
d
Let w = -1 + -30. Is -31 at most w?
True
Let b be (340/45)/(6/(-9)) - 3. Is -13 >= b?
True
Let i = -13 + 12.68. Which is greater: i or 1/3?
1/3
Suppose 0 = -4*n + 4*p + 2 + 2, 5*n + 5*p = 35. Let l be n/(-10) - 12/(-30). Which is greater: l or -2/19?
l
Let s be 62/78 + 2/(-6). Let r be (-26)/(-30) - (-4)/30. Is r not equal to s?
True
Let y(z) = 5*z - 24. Let k be y(6). Do k and 8 have different values?
True
Let n be (-32)/(-12)*(-27)/(-6). Let q = n + -10. Suppose -2*g + r + 5 = 2*r, 4*g = r + 13. Which is smaller: g or q?
q
Suppose -4*t = -2*j - 3*j + 14, 0 = -5*j + 3*t + 13. Let q be -2 - (-26)/6 - j. Is q < -2?
False
Let w be (-2 + 5)/((-6)/(-4)). Suppose 0 = -q + 5*m + 14, -w*q = -4*q + 3*m. Is -6 at most q?
True
Suppose -2*y - 4 = 14. Let q(g) = -4*g - 7. Let t(x) = -5*x - 6. Let i(c) = 4*q(c) - 3*t(c). Let o be i(y). Which is smaller: -1/7 or o?
o
Let k(f) = -6*f + 1. Let q(i) = i**3 - 6*i**2 - 6*i - 6. Let z be q(7). Let u be k(z). Let w = 70 + -72. Is u at least w?
False
Let y be (-208)/190 + 42/(-399). Which is bigger: y or 0?
0
Let p be 3/30*-6*-5. Let h be 51/(-15) - p/(-1). Let l be 1/(0/(-2) + -2). Which is bigger: h or l?
h
Let j(n) = -3*n - 49. Let w be j(-27). Do w and 32 have the same value?
True
Suppose 5*a - 3*j + 8 = 0, -j + 16 = -0*a - 5*a. Let n(m) = m**3 + 4*m**2 + m + 4. Let g be n(a). Which is bigger: 1 or g?
1
Let x be ((-5)/(-10))/((-1)/(-36)). Let n be 7/15 - 6/x. Which is smaller: n or -1?
-1
Let g be (0/(0 - -1))/(-2). Suppose g = -2*y - 2*y - 2*f - 12, -3*y + 2*f = 16. Which is bigger: -6 or y?
y
Let n(b) = b**2 - 12*b + 29. Let l be n(9). Does 2/13 = l?
False
Let k(l) = l**3 - 2*l**2 + 2. Let a be k(2). Let b be 1 - (2 - (a + 1)). Let o = -8/3 + 3. Is o less than b?
True
Let u = 14 + -13.3. Let o = 0.7 - u. Which is greater: o or -0.05?
o
Let m be ((18/15)/6)/(-7). Is m < -1?
False
Let b = 4 - 4.13. Is -1/2 bigger than b?
False
Suppose 3*j = 4*j - 3. Suppose -3*t - 1 = -0*b + b, j*b + 7 = -5*t. Which is greater: t or 1/4?
t
Suppose -3*d = 2*d - 50. Is d >= 10?
True
Suppose -10 = -18*b + 23*b. Is -4/5 at most as big as b?
False
Let k be (20 - 2)*(-9)/(-27). Which is bigger: 2 or k?
k
Suppose -3*a = 5*w - 12, w = 4*w + 5*a - 20. Let b be (9 + w)*(-2)/4. Suppose -7*v = -5*v + 12. Is b equal to v?
False
Let v(a) = a**2 + 12*a + 13. Let y be v(-10). Let q = 6 + y. Do -2 and q have different values?
True
Suppose -27 = p - 2*p. Let o be 1/(-36) - 6/p. Is o at most as big as -2?
False
Suppose t - 4 + 2 = 0. Suppose 5*z - f = -4, -2 = 3*f - 14. Let k be 0/(z - -1*t). Do -1/4 and k have the same value?
False
Let n(x) = -1 - 3 + x + 2 + 3. Let q be n(6). Suppose 0 = p - k - 4, 0 = q*p - 2*p + 4*k + 16. Do p and 2/17 have the same value?
False
Let z = -83/3 - -28. Let c be 5/(2/(-3) + 1). Let d be 0 - -2 - 24/c. Which is smaller: d or z?
z
Let s = 8 + -9. Which is bigger: s or 5/2?
5/2
Suppose -3*q - 9 = -5*k, -k + 4 = q - 5*k. Suppose 0 = -3*b + 5*f - 9, 0 = 2*f + 2 + 4. Is b < q?
False
Let a = 0.1 + -13.1. Let k = a + 13.1. Which is smaller: 6 or k?
k
Let y be (2/18)/((-152)/(-16)). Which is smaller: y or 0?
0
Let z be ((-1)/(-1) + -1)/(-1). Let s = z - -1. Let n = 9/14 - 1/7. Which is greater: s or n?
s
Let p = 7 - 4. Let o = -0.11 + 4.11. Let m = o - p. Which is smaller: m or 2?
m
Suppose -x - 3*x = -20. Suppose 5*y = 4*u - 29, u + 0*y = x*y + 26. Suppose -c = 2*f - 3, 5 = 2*f + u. Which is greater: c or -2/9?
-2/9
Let w be -1 - 0 - (-2 - 0). Let m = w + -3. Does m = -3?
False
Let s = 3.7 - 4. Let y be (-3 - -2)/((-1)/(-5)). Let t be (4/(-20))/((-2)/y). Is t > s?
False
Let k be 3*(1 + (2 - 2)). Suppose 3*q = k + 3. Which is smaller: -1/3 or q?
-1/3
Suppose 5*j - j + 44 = 3*s, j + s = -11. Which is greater: -9 or j?
-9
Suppose 60 = -5*a + a. Let g = 22 + a. Let x(k) = k - 3. Let w be x(g). Which is greater: 5 or w?
5
Let z = 265244797/13794 - 560528/121. Let y = z - 14596. Let r = y - 2/57. Which is greater: r or -1/2?
r
Let x = 7 - 5. Let o be (1/6)/(x/(-9)). Suppose -4*n = -4*v, 2*v - 6*v - 16 = 4*n. Which is bigger: v or o?
o
Let u be (-1 - -3)/((-325)/26). Which is bigger: u or 1?
1
Let y = -2/37 + 162/259. Which is bigger: y or 2?
2
Let a = 2 - -1. Suppose 0*u - 3 = -a*u. Let g be (-2 - u)*(-1)/(-3). Is g not equal to 2/9?
True
Let i = -27/5 + 5. Suppose u = y + 4, 0 = y - 5*u + 16. Let z be 2/y*1/4. Which is smaller: z or i?
z
Let u = -133/88 + 18/11. Let m be (-4)/6 - (-3)/(-9). Which is bigger: m or u?
u
Let n be (-93)/(-156) - 9*2/24. Let a be (0/1)/(-1 + -1). Which is smaller: a or n?
n
Let h be 1 - ((-87)/(-27) - 2). Suppose -a + 2*a = 0. Is a less than or equal to h?
False
Suppose -5*u + 18 = -2. Let j be (0 - 2) + 0/u. Let h be 2 - j/(-4)*4. Which is greater: 2 or h?
2
Let b be (-30)/(-132)*24/45. Which is smaller: 0 or b?
0
Let p = 23 + -27. Let i be 4/10 + -4 - p. Let y be (2 - 3)/(1 + 0). Which is smaller: y or i?
y
Let m be 35/49*4/(-10). Which is greater: -1 or m?
m
Suppose 0 = -3*h - 4*m - 13 + 5, -3*m + 5 = 5*h. Suppose 2*w + a + a + h = 0, 2*w = -3*a - 6. Which is smaller: 1 or w?
w
Let y(d) = d - 4. Let a be y(5). Suppose 0*v + v = -a. Is -1 at most v?
True
Let w = 0.23 - 0.33. Is w >= -0.09?
False
Let f(h) = 11*h - 1. Let r be f(-1). Let x = r + 12. Which is smaller: x or -4/9?
-4/9
Suppose -5 = 5*x - 5*j + 5, -5*x - 12 = -4*j. Suppose -4*a - 5*o - 31 = 0, -11 - 24 = 5*a + 5*o. Is x greater than or equal to a?
True
Let q = -4 + 4.2. Let o(l) = l**3 - 8*l**2 + 6*l + 8. Let n be o(7). Is n at most as big as q?
False
Suppose -5*i - 5*x + 34 + 46 = 0, 5*i = 3*x + 56. Which is smaller: 0 or i?
0
Suppose -6*d + 4*u = -2*d - 20, 4*d - 5*u = 24. Which is smaller: 1/5 or d?
1/5
Suppose -5 = 3*o + 2*o. Which is smaller: -3/4 or o?
o
Let l = 0.7 + 0.3. Let c(y) = -y**2 + 12*y - 8. Let z be c(11). Suppose -4*q - 5*b = -z*q + 13, -3*q - 4*b - 6 = 0. Which is smaller: q or l?
l
Let o be (2/5*5)/((-2)/(-4)). Is o at least 42/11?
True
Let g be 10/4*(0 + 2). Let h(v) = -v**2 + 5*v - 