k. Let t = d + 0.4. Is t not equal to 0.3?
True
Suppose -3*y + 7 = 13. Are -3/2 and y non-equal?
True
Let l = 59 + -39. Suppose 2*x - 2*r + 4*r = -8, -r = 3*x + l. Is -8 != x?
False
Suppose -2*b + 1 = 3. Let w be -1 - (-80)/(-35) - -3. Which is smaller: w or b?
b
Suppose 5*k - 3*r = -65, -3*r = 4*k - 6*r + 49. Let t be (-7)/21 + k/6. Is t < -3?
False
Suppose -3*c = -6*c. Suppose 5*x = 3*x + 10. Let n be 3 - (2/x + 3). Is n at most c?
True
Let f(c) = c**2 + 9*c. Let b be f(-7). Is -14 less than or equal to b?
True
Let x be (-6)/(-21) + 12/7. Suppose -l - 4*v - 10 = x*l, 3*l - 26 = 5*v. Let c = 84/85 - 10/17. Is c at least as big as l?
False
Let w = 363/4 - 103. Let z = w - -339/28. Is z not equal to -1?
True
Let z = -0.025 + 0.025. Which is smaller: -8 or z?
-8
Let j(x) = -x**3 + 2*x**3 - 1 + 0 + 3. Let q be j(0). Is 2 >= q?
True
Let c be 19/(-76) - (-3)/4. Which is smaller: -7/2 or c?
-7/2
Let a be ((-2)/(-2))/((-1)/13). Let n be a/6 - (1 - 3). Is -1 at most as big as n?
True
Let k = 73 + -65.9. Which is bigger: 0.1 or k?
k
Let i be (18/(-6))/((-6)/10). Suppose i*w - 22 = 2*t, -2*w + 2*t + 1 = -9. Let j be -2*((-5)/2 - -1). Which is smaller: j or w?
j
Let l = -34 + 40. Which is greater: l or 19/3?
19/3
Let o be 44/(-10) + (-2)/(-5). Let k = -3 - o. Which is greater: 2 or k?
2
Let h(b) = -143*b**3 + b**2 + b - 2. Let c be h(-2). Let n be c/(-14) - 6/21. Let j = n - -572/7. Which is bigger: j or -3/2?
j
Let v be (-3)/12*(-16)/(-6). Let y be 3/2 + (-34)/4. Let g be (-9)/y + 4/(-14). Is v > g?
False
Let r be 28/120 + (-2)/(-12). Which is smaller: r or -1?
-1
Let h = 289/6402 - -3/194. Suppose -3*s - 10 = c, 3*c + s + s + 9 = 0. Is c != h?
True
Let v = -1927/2301 + 32/39. Are 0 and v equal?
False
Let u(y) = -5*y**3 - y**2 + 1. Let f be u(-1). Is 4 at most f?
True
Let m(l) = -l**3 - 8*l**2 + 9*l + 2. Let h be m(-9). Which is bigger: h or 4?
4
Let u = 0.07 - 0.17. Let w = -0.1 + 1.1. Let a = 3 - w. Are a and u non-equal?
True
Let f(x) = x + 2. Let s be f(-2). Suppose -5*w - 3*m - 9 = m, s = -w - 2*m + 3. Which is smaller: w or 0.1?
w
Let b = -6 + 9. Suppose -2*t + 1 = b. Is 1 <= t?
False
Let z be ((-3)/(-2))/((-18)/(-15)). Is 2 greater than z?
True
Let s = 12 + -8. Suppose 6 = s*q - 2*q. Let z = -2 + q. Is z at most 1?
True
Let y(q) = q**3 + 6*q**2 - 8*q - 10. Let m be y(-7). Let v be m + 2 + 0 + 2. Let a be 3/6*4/5. Which is smaller: a or v?
a
Suppose -w + 2443 = -3*q + 8*q, 0 = -q + w + 485. Let s = q - 15130/31. Which is greater: -1 or s?
s
Let s = 2 + -3. Let q = -1 - s. Let c be 1 - (75/(-5))/(-5). Is c less than q?
True
Suppose -4*r - 16 = -4*u, -3*r + 11 + 1 = 0. Let x = u + -9. Are -1/5 and x unequal?
True
Let w(l) = l**2 - 3*l. Let v be w(3). Is v <= 5/6?
True
Suppose -2*a = -4*t + 3*t, -4*t = 5*a - 13. Suppose k - 4*o = 15, -1 = 2*k - 3*o - 11. Does a = k?
False
Let f = 36 + -11. Suppose -l = -5*k + 3*l + 5, f = -5*l. Let c = 3 + k. Which is bigger: -2/3 or c?
c
Suppose -17 = -4*l - 5. Suppose -2*m - l*f = 15, -2*f - 12 = -0*m + 2*m. Let o = 165 + -163. Is m greater than o?
False
Let a(y) = y**2 - y + 1. Suppose 12 = -4*u, 4*v - 4*u = 17 + 3. Let s be a(v). Let r = -0.01 + -0.09. Which is greater: r or s?
s
Let l = 8.1 + -1.1. Let r = -6 + l. Does r = -0.3?
False
Let k = 908/13 - 70. Is 16 less than or equal to k?
False
Let g = 12 + -12. Let z = 2 - -1. Let y be 8/(-30) - (-2)/z. Is y less than or equal to g?
False
Let y = -44 - -35. Which is bigger: y or -8?
-8
Let p(h) = -5*h - 3. Let y be p(-2). Let o(u) = -u**2 + 9*u - 16. Let i be o(y). Which is greater: -3 or i?
i
Let d be 3/(-5) + 96/10. Suppose d = 4*h - h. Which is smaller: h or 5/2?
5/2
Let s be ((-8)/132)/((-2)/(-6)). Suppose q = -2, 3*a - 2*q + 3*q = 1. Let u be 2/(-1) - (a + -2). Is s less than u?
False
Let s = -82 + 42. Let t be (-2)/(-5) - (-1)/s. Let i = 3 + -2. Which is bigger: t or i?
i
Let i be (-2)/8 - (-13)/20. Let x = 0.1 + 1.9. Let o = 1 - x. Are o and i equal?
False
Let j be (4/6)/(16/6 + -2). Is j at most as big as 1?
True
Let c be (-18 - -17)*(0 + 0). Which is greater: c or -2/63?
c
Let x be 2/(-3) + (-32)/(-21). Let g be 3*((-8)/3)/(-4). Which is bigger: x or g?
g
Let m be (4/8)/((-1)/(-8)). Suppose -3*u + 1 = -m*u. Let v = 3/16 + -11/16. Which is smaller: u or v?
u
Let j be 4/(-14) + (-2 - (-80)/35). Which is smaller: -1/12 or j?
-1/12
Suppose -20 = -s - 4*s. Are 3 and s nonequal?
True
Suppose 5*s - 3*s + 6 = 0. Let u be 0/(-3)*s/(-6). Is 0 smaller than u?
False
Let z(m) = m**2 - 7*m + 1. Let q be z(7). Let i = 0 + q. Which is bigger: i or 2/25?
i
Let v = 12 + -13. Which is smaller: -3/11 or v?
v
Suppose 2*i = 5*i - 3*j - 6, -5*i + 2*j + 1 = 0. Is i at least as big as -16/7?
True
Suppose y - 4*y = 6. Let v = 7 - 9. Are v and y equal?
True
Let l = -2 - -4. Let p be 4 - (-1 - -1)/l. Is p less than or equal to 5?
True
Suppose -8 = 5*t - 33. Suppose -2*v + 9 = -t*v - z, 5*z = 0. Suppose -5*f - 1 - 9 = 0. Which is smaller: v or f?
v
Suppose 6*j - 7*j = -3. Which is bigger: 2 or j?
j
Let u = 1.1 - 0.1. Let c = 0 + u. Let o be (-3 - (-7)/3)/((-25)/15). Which is bigger: c or o?
c
Let d(w) = -w. Let c be d(-5). Suppose c*r + 12 = 3*r. Let j(a) = a**3 + 6*a**2 - 1. Let m be j(r). Which is smaller: 0 or m?
m
Suppose 21*a = 22*a - 15. Let f be 2/6 + (-5)/a. Do f and -4 have different values?
True
Suppose -5*z = 1 - 16. Suppose 1 = -z*v + 4*v. Let l = -227 + 2045/9. Which is greater: v or l?
v
Let y(s) = -7*s + 1. Let l be y(-3). Let x be (-3)/(54/l) + 1. Suppose -5*t + 2*t = 0. Which is bigger: x or t?
t
Suppose 3*p + 5*j - 14 = 0, -4*p = -9*p + 2*j - 18. Suppose -4 = 11*l + 7. Is l != p?
True
Let k be (-1)/2 + 2/1. Is 3 <= k?
False
Suppose -12 = 3*t - 5*t. Let g be (-1)/(-15) - (-2)/t. Suppose -7*z = -3*z. Which is bigger: g or z?
g
Let i = -5.85 - 0.15. Are i and 2 equal?
False
Let p = 8 + -8. Let j be (-1 + p)/(-2 + -1). Do -0.2 and j have the same value?
False
Let w = -0.4 - -0.8. Let r = 0.38 + 18.62. Let p = 19 - r. Which is smaller: p or w?
p
Let m = 1.7 - 1.66. Which is greater: m or 2/9?
2/9
Suppose 5*n - 9 + 39 = 0. Which is smaller: -4 or n?
n
Let a be (-1)/(((-469)/(-3))/(-7)). Which is greater: 1 or a?
1
Let n be (-6)/(-4)*40/(-15). Let u be (n/(-6))/((-2)/(-3)). Suppose -4*m + 6 = -2. Which is greater: u or m?
m
Let l be (0/(-1))/(2 - -1). Let u(j) = -5*j - 1. Let y be u(-6). Let o = 57/2 - y. Which is smaller: l or o?
o
Let f = 30 - 19. Let w = 368 + -367. Are w and f non-equal?
True
Let y = -13 + 14. Is -1/31 equal to y?
False
Let d = 1573328/7 - 225463. Let s = d + 704. Let c = s + -17/7. Which is smaller: c or 0?
c
Let x = 3/25 + -59/75. Let d be 33/42 - 2/7. Is d at most x?
False
Let v = -11.7 - -7.8. Let m = -0.1 + v. Is m >= -3?
False
Let a(b) = -b + 2. Let l be a(0). Let s be -3*(200/(-102) + l). Let r(f) = -f**3 - 10*f**2 - 7*f + 19. Let x be r(-9). Is s at most x?
True
Let c be 1 + (4 + -2)*6. Let j = c + -23. Let i = j - -4. Is i less than -5?
True
Let u = 0.37 - 0.07. Let s = 0.3 - u. Let x = -0.1 + s. Which is bigger: x or 1?
1
Suppose -2*a + 3*z - 9 = -5*a, 3*a - 17 = -5*z. Is a < -1/106?
True
Let j(b) = b**3 - 4*b**2 + 3*b - 3. Let a be j(4). Let w be ((-20)/(-8))/((-1)/2). Let q = w + a. Which is bigger: q or 6?
6
Let m = 13 + -12. Let q be (7 - 6)/(m/(-5)). Is q at most as big as -4?
True
Suppose a + z + 16 = 6*a, -3*z = a - 16. Suppose a*v + 7 - 3 = 0. Is -2/13 not equal to v?
True
Let g be (-9)/(-4) + 6/(-24). Let i be ((-5)/(1125/(-12)))/(-2). Let n = i + 34/25. Is g at least n?
True
Let j(q) = -q**2 - q - 3. Let t be j(-4). Let y = -16 - t. Which is greater: y or -4/11?
-4/11
Let c(z) = 5*z**2 + 6*z - 9. Let o(d) = 11*d**2 + 12*d - 19. Let b(g) = 9*c(g) - 4*o(g). Let i be b(-7). Let u = 1 + i. Are 4 and u non-equal?
True
Let g = -37 + 69. Let j = -97/3 + g. Which is smaller: 3 or j?
j
Let l = -0.082 + 10.082. Is l less than or equal to 2/7?
False
Let y(b) = 4*b - 44. Let n be y(11). Which is smaller: -7 or n?
-7
Let x = 5 - -2. Suppose m = 5*j - 13, -3*m + x*m = -12. Is 3 bigger than j?
True
Let a(h) be the third derivative of h**4/12 - 2*h**3/3 + h**2. Let g be a(3). Let c be 2 + g/(-3 + 1). Which is smaller: -2 or c?
-2
Let p = -5.9 + 48.9. Which is bigger: p or 1/2?
p
Let a(y) = y**2 + 13*y + 2. Let w be a(-13). Suppose -3*z + 2 = -