14 + 75. Let j = h + 116/3. Is j at most as big as q?
False
Suppose -140 = 3*g + g. Let s = 281/8 + g. Let n = -9 - -8. Do n and s have different values?
True
Let s be ((-1)/2 + 1)/((-31)/4). Which is bigger: s or 1?
1
Suppose 14*d = 12*d + 14. Which is bigger: 6 or d?
d
Let n = 35.1 - 35. Is 8/5 >= n?
True
Suppose -10*q = -150 - 50. Is 14 at most as big as q?
True
Let l = 2401/2005 + 1/401. Suppose 2*b - 2 = -0. Which is greater: b or l?
l
Suppose -2 = -8*l + 9*l + 3*c, -12 = -5*l - 4*c. Which is smaller: 6 or l?
l
Let m = 50 + -136. Let z = m + 1292/15. Which is smaller: z or -2?
-2
Let p = -9 - -11. Which is bigger: p or 3/7?
p
Let z = 83 + -51. Is 33 greater than or equal to z?
True
Let z = -4 - -9. Suppose -130*d = -134*d + 24. Is z >= d?
False
Suppose -19*o - 130 = -14*o. Which is bigger: -25 or o?
-25
Let w(i) = -i**3 - i**2 + 7*i + 2. Let m be w(-3). Which is greater: m or 2/21?
2/21
Let z = 0.06 - -0.01. Let l = -346 + 347.93. Let x = z + l. Is x >= 2/5?
True
Suppose -31 = -4*l + 105. Is 36 >= l?
True
Let l(p) = -p**3 + 13*p**2 - 1. Let n be l(13). Which is bigger: 3/46 or n?
3/46
Let k = 208 - 123. Let a = 257/3 - k. Let c = 2.8 - 3. Is a < c?
False
Let g = 85 + -171/2. Is -1/16 >= g?
True
Suppose 0 = 2*r - 8 + 2. Does 2 = r?
False
Let m = 277/1652 + -12/59. Which is smaller: m or 0?
m
Let p = 26.024 + -0.024. Let x = 21 - p. Which is smaller: 0.2 or x?
x
Let t be (72/(-27))/(1/3). Let i = t + 11. Which is smaller: i or 4?
i
Let l(s) = -s + 9. Let o be l(6). Suppose -4*k = 3*d + 25, 4*k + o*d = k - 15. Let u = k - -9. Do u and -1 have different values?
False
Let r = -6 + 6.6. Which is smaller: -0.1 or r?
-0.1
Let n be 0/(-1) - 3/(-3). Suppose 2*z - 15 = -2*x - 3*z, -3*x + 11 = -4*z. Suppose l + 8 = x*l. Are l and n equal?
False
Let p = -5.2 + 6. Let o = -0.9 + p. Let t = 0.4 + o. Which is smaller: t or -2?
-2
Let u(t) = -t**3 + 7*t**2 + t - 8. Let l be u(7). Suppose 0*m - 2*m = 0. Let n = l + m. Is n at least as big as -2?
True
Let g(s) = s**2 + 6*s - 8. Suppose -j - 16 = -9. Let t be g(j). Which is greater: -4 or t?
t
Let i = 9333/4375 - -6/625. Which is smaller: 1 or i?
1
Suppose -4*p = 12, 4*u - 2*u + 5*p = -7. Let m be 37/7 + 8/(-28). Suppose 0 = -m*z, -u*h = -5*z + 1 - 13. Is h > 4?
False
Let g = 6 + -15. Are g and -8 non-equal?
True
Suppose 0 = 3*n - g + 3, -1 = -5*g + 14. Is 1/22 less than or equal to n?
False
Suppose -2*n - 2*r + 0*r = -22, 3*r - 6 = 0. Suppose 0 = -5*j + 16 + n. Suppose 3*b = d - b + 4, j*b = 4*d - 6. Which is smaller: 3 or d?
3
Suppose -t + 0*t + 4*l = -8, 4*t = 3*l + 19. Is t at most as big as 3?
False
Let j be 5/2 - 6/12. Suppose 3*s + j = 5*c - 2, -12 = 4*s. Which is smaller: 2/15 or c?
c
Suppose -5*h - 30 = -10*h. Suppose 3*l - 24 = -h. Let u be l/(-12) + 3/(-2). Which is smaller: -3 or u?
-3
Suppose 17 + 5 = 2*b + 3*x, 4*x = 16. Suppose 1 = 3*m - b. Let n = -1 + m. Which is smaller: 1/3 or n?
1/3
Let r(z) = z**3 - 2*z**2 + 1. Let t be r(1). Let d be (2 + 0)*2*7/(-56). Which is smaller: t or d?
d
Suppose -n = 5*q - 1, 3*q + 3*n = -0*n + 3. Suppose -3*g + q*g + 1 = -2*d, 0 = g - 4*d - 7. Is -2 <= g?
True
Suppose 11*l - 37 = 62. Is 4 != l?
True
Let w be 2 + -4 - (-8)/3. Let z = -19 + 19. Are w and z unequal?
True
Let b be (-5 - (-3 + 0))*1. Let n = 0 - -1. Let y = n + b. Is -1 != y?
False
Let h be (9/(-6))/(1/(-4)). Which is bigger: h or -1?
h
Let z be 5/5*(-3)/3. Is -6/5 at least as big as z?
False
Let t = -5 - -29. Let i be (t/(-9))/4*-6. Let o = -2 + i. Which is smaller: 2/7 or o?
2/7
Let d(y) = y**2 + y - 2. Let m be d(-2). Are 1 and m equal?
False
Let q be (55/10)/(1/2). Are 11 and q unequal?
False
Let i = -0.07 - -0.17. Suppose 0 = -r - r + 10. Suppose -3*o = 5*w, 4*o + 15 = -r. Which is smaller: i or w?
i
Let y = -31 - -27. Let j(r) = 4*r**3 - r - 1. Let q be j(-1). Is y bigger than q?
False
Let p = -0.7 + -0.3. Let k = p - -2. Suppose 4*m = 2*w - 6, 5*w + 8*m = 4*m - 27. Which is smaller: w or k?
w
Let m = 13 + -11. Suppose 4 = -m*n + n. Which is smaller: n or -2?
n
Let f = 3 - 2.9. Suppose 4*z - 2*q - 30 = 0, 2*z + 0*q + 3*q - 27 = 0. Suppose -4*c = 5*l + z, 3 - 2 = -5*l + 4*c. Is f < l?
False
Suppose m + 4 = 2*m + 5*t, 0 = -5*m - t + 68. Suppose 11*j + 6 = m*j. Which is bigger: j or 3?
3
Suppose 0*u = u + 48. Let b be ((-16)/u)/((-10)/(-6)). Let q be (-1*1)/(0 - -1). Is q bigger than b?
False
Suppose 3 = -3*w + 9. Suppose 3*l + 0*l + 3 = 0. Let n be (-28)/(-10) + l/(-5). Does n = w?
False
Let w be (-302)/408*15/25. Let j = w - -3/68. Which is smaller: -1 or j?
-1
Suppose -s + 24 = 2*s. Which is smaller: 1/2 or s?
1/2
Suppose 0 = -v - 4*y + 60, y - 51 = -v - 0*v. Let k = 28 - v. Let a be 1/(-4) - (-15)/k. Do a and -2 have the same value?
False
Let w(i) = i**3 + 2*i**2 + i + 2. Let m be w(-2). Is -76 less than m?
True
Let t = 2.3 + -2.4. Is -1.1 at most as big as t?
True
Let q = 516 + -125835/244. Let c = 2/61 - q. Let r(k) = -k**3 + 19*k**2 + 18*k + 40. Let x be r(20). Do c and x have the same value?
False
Let s(c) be the second derivative of c**3 - 3*c**2/2 + c. Let u be s(4). Let f be 0 - (69/u - 3). Is -8 bigger than f?
False
Let p = 9 - 2. Which is greater: 9 or p?
9
Let d = 0 - -1. Let y be (-1 - d)/(-60)*4. Suppose 0 = -3*v + 6 - 9. Which is bigger: v or y?
y
Let b be (4 - 1)/(2 + -1). Let z be -2 - 6/9*b. Which is bigger: -3 or z?
-3
Suppose 5*s - p - 229 = 0, -2*s + p = -34 - 60. Let j be (-3)/(7/((-42)/s)). Let r = -2 + 1.9. Which is smaller: r or j?
r
Let z = -5 + 9. Let g(a) = -a + 4. Let v be g(z). Let d = -2.1 - -2. Is v != d?
True
Let m = 3.02 - 0.02. Is -1 >= m?
False
Let j(m) = m**2 + 5*m + 8. Let n be j(-3). Which is smaller: n or 7/6?
7/6
Suppose -b - 4*l - 32 = 0, -2*b + 15 - 139 = -4*l. Let y = b - -207/4. Is 0 > y?
True
Let t = -9/2 - -25/6. Suppose y - 4 = -s + 4*s, 4*y - 3*s = 25. Suppose 4*i - y = -3*u, 5*u + 5*i - 3 = 7. Do t and u have different values?
True
Let h be (1 + (-554)/548)/((-39)/52). Which is smaller: h or 0?
0
Let n be (-5 + 5)*1/3. Let a be -5 - -5 - (5 - n). Which is smaller: -4 or a?
a
Let h(m) = m. Let q be h(-1). Let s = 1 + q. Which is greater: -0.1 or s?
s
Let i = -0.28 - -0.3. Let z = -0.32 + i. Let f = -0.2 - z. Is f less than -1/2?
False
Let p = -383/254 + 1/127. Suppose -2*m = 3*m + s + 6, -4*s + 24 = -4*m. Which is smaller: m or p?
m
Let a(l) = -l**2 + 12*l - 11. Let h = 2 + 9. Let u be a(h). Which is greater: u or -5/14?
u
Suppose 4*n = 3*n + 3*i, -4*i = 0. Suppose n = v + v. Let g be 2/4 - (-75)/(-110). Which is smaller: g or v?
g
Let z = -11 + 10. Let m = -1 + z. Suppose -c + 2*j - 13 = 2*c, -15 = -5*c - 4*j. Do c and m have the same value?
False
Let f be (-44)/(-2)*(-4)/(-4). Suppose 2*w - 4*w - f = 3*a, -2*a - 4*w - 28 = 0. Which is greater: -3 or a?
-3
Suppose -2 = -2*y, o - 5*y = -o + 7. Let d = o + -4. Let t be d/(-6) + (-21)/(-9). Is t less than or equal to 1?
False
Let g = -29.8 - -30. Is g less than or equal to 1/4?
True
Let h = -1243 - -38536/31. Is 0 at most h?
True
Suppose -17 = -2*q + 2*k - 5, 4*k + 20 = 3*q. Suppose -8*p + q = -4*p. Let f = 0.7 + 0.3. Is p > f?
False
Let o = 120 - 107. Which is bigger: o or 14?
14
Let h = 0.5 + 1.5. Is -5 at most h?
True
Let d = -10 + 9. Which is greater: d or -5/8?
-5/8
Let r(n) = -6*n - 2. Let i be r(4). Let h be 201/(-8) - (-2 + 3). Let g = i - h. Is g <= -1?
False
Let x be (-6)/(-60)*4*10*4. Which is greater: 18 or x?
18
Let v = -43 + 43. Which is smaller: -1/2 or v?
-1/2
Suppose -4*m - 4 = -5*r - 65, 4*r - 4*m = -52. Let t be (2 - 0)*r/6. Is -2 not equal to t?
True
Suppose 4*k - 8 = -0*k, k - 7 = -b. Let t(a) = 4*a**2 + 10 - a**3 + 3 + 3*a - 6. Let f be t(b). Is f smaller than -4?
False
Let z(x) = x**2 - 13*x + 14. Let k be z(11). Do -8 and k have the same value?
True
Let s be (-84)/20*(-6)/(-7). Which is greater: -3 or s?
-3
Suppose 0 = 4*w - 2*w + 10. Let k = w + 8. Suppose -t = 1 - 3. Which is smaller: t or k?
t
Let f = 40443/23 - 1758. Which is smaller: f or -1?
-1
Let b be -4*((-333)/(-166) - 2). Let j = b + -152/581. Let k = -1 - 0. Is j smaller than k?
False
Suppose -3 = z + 4. Is z less than -9?
False
Let o be (10/(-5))/((-3)/(-3)). Are o and -1 equal?
False
Let t(v) = v**2 - 6*v. Let c be t(6). Let s be (-1)/(-1) + c - -6. Suppose 0 = -w - s - 0. Which is smaller: -6 or w?
w
Let