-6?
False
Let y be 186 + (0 - (1 + 1)). Let n be (-2)/11 - y/(-44). Suppose 3*t - 12 = -v, 4*v - 24 = -7*t + 3*t. Are v and n unequal?
True
Let h(v) = -v**3 - 4*v**2 + v + 5. Let b be (-8)/(-28) + 60/(-14). Let w be h(b). Is 2/3 <= w?
True
Let d = 0.2 + -0.4. Let n be ((-8)/18)/((-20)/6 - -4). Is d less than or equal to n?
False
Suppose -4*c - 4*g + 166 = -2*g, 3*c + g = 123. Suppose 0 = -5*f - 0 + c. Let n be (-2)/f - 4/(-16). Is -1/6 at most as big as n?
True
Let o = -15 + 14. Is o < 2/19?
True
Let c = -329973362/223677 - -9/24853. Let k = c - -1477. Let l = 98/45 - k. Is 0 >= l?
False
Let t = -0.15 + 0.35. Let q = t + 0.3. Which is bigger: -0.3 or q?
q
Suppose 0*b = -2*b. Let g = -4 + 7. Let h = g - 28/9. Do h and b have the same value?
False
Let z = -1.044 - -0.044. Let b be 1/(2/(-2)) + -1. Let p be -1 + (-3 - b) - -4. Is p at least z?
True
Let u = 2 + -1.9. Let q be 102/(-18) - (-2)/3. Which is smaller: u or q?
q
Let s be (-46)/40 + (-7)/((-175)/(-15)). Is -3 < s?
True
Suppose 3*y - 1 = -2*k + 10, -3*y = 5*k - 14. Suppose -3 = -y*w - 0*w. Let h = 268/455 + 1/91. Do w and h have the same value?
False
Suppose -96*v = -92*v - 32. Is 1/4 <= v?
True
Let l(h) = -h**2 + 6*h + 3. Let i be l(5). Suppose 3*f = -f + i. Do f and 0 have different values?
True
Let w be (-4)/(-8) - 7/(-2). Suppose 2*m + 2*m + 9 = r, 2*r - m = w. Suppose -6 = -4*n + 2. Do r and n have the same value?
False
Let l = -2/481 - 309/41366. Let k = l - 251/602. Let u = 2 + -2. Which is smaller: k or u?
k
Let a = 3.7 + -3.9. Let r = -3 + 2. Let w = 2 + r. Which is smaller: a or w?
a
Let z = 108 + -45. Suppose z = 4*l - 5. Do l and 16 have different values?
True
Suppose 5*m - 5 - 7 = -3*c, -4*m + 4*c - 16 = 0. Let b = 2.7 - 3.2. Which is greater: b or m?
m
Let b = -7 - -9. Is 8/11 bigger than b?
False
Let k = 4.1 + -0.1. Let p = k + -2. Let v = -3.9 + 4. Is v != p?
True
Let t be (2/3)/((-14)/(-21)). Let v be (-50)/(-35)*(-1)/(-2). Which is smaller: v or t?
v
Let t be (-5)/(-45)*(-2)/(-2). Let o = -1/9 - t. Let n be (-1)/1*0 - -1. Does n = o?
False
Let c(j) = -3 + 1 - 4 + j**2 + 5*j. Let t be c(-6). Suppose t = 2*f - 0*f - 2. Is 1 <= f?
True
Let b = -0.16 + -14.84. Which is bigger: b or 1?
1
Let s be 328/28 + 24/(-14) + 2. Is s at most as big as 12?
True
Suppose 0 = 5*v - 6*v + 6. Suppose v = -5*a - 4*i, 3*a - 17 - 1 = 3*i. Are 2 and a non-equal?
False
Let i = -1.3 - 5.7. Is i smaller than -1/5?
True
Let b be 9/28*(-272)/51. Which is greater: b or -2?
b
Let h be (1 + 2/(-4))/((-2)/4). Which is greater: h or 1/119?
1/119
Let w be (-10)/6 - 11/33. Which is smaller: -9/4 or w?
-9/4
Let f(i) = -2*i - 6. Let r be f(-4). Suppose t + t - 2 = -4*v, -r = 4*t + 5*v. Is -5 >= t?
False
Let f = 475 - 6647/14. Which is bigger: f or 0?
f
Suppose -1 = 5*i + 4. Let x be i + (-4)/(2*-1). Let q = 0.05 + -1.05. Which is greater: q or x?
x
Let q = -39 + 35.4. Let x = q - 0.4. Which is smaller: x or 0?
x
Let g be (-468)/20 + (-3)/5. Let t be g/(-35) + (-8)/28. Which is bigger: -1 or t?
t
Let k = 17 + -19. Is k < 0?
True
Let o = 58 - 58.46. Let f = o + 0.4. Let u = 0.06 + f. Which is greater: u or 0.1?
0.1
Let s = 9 + -6. Let z(c) = -6*c + 0 + 4*c**2 - 3*c**2 + s. Let k be z(5). Which is greater: 0 or k?
0
Let o be (-1 + 5)*(-15)/12. Which is smaller: -2 or o?
o
Let o(w) = w**2 + w. Let n(j) = -10*j**2 - 4*j + 1. Let b(g) = -n(g) - 4*o(g). Let q be b(-1). Which is smaller: q or 2?
2
Let g be (2/(-10))/((-19)/(-209)). Are -2 and g non-equal?
True
Let t(b) be the second derivative of -b**3/3 - 3*b**2/2 - 6*b. Let h be t(-3). Is 0 less than or equal to h?
True
Let w be (-2 + 4)/(-2) + 288. Let y = w + -3159/11. Which is smaller: -1 or y?
-1
Let i = -8 - -8. Let t = -3 + 4. Let q be -2*(t + 0)/(-2). Which is smaller: i or q?
i
Let p = 1 + -1. Let c(f) = -f**2 - 6*f + 4. Let m be c(-4). Suppose 4*s = h - s + 16, 3*h + m = 3*s. Is h != p?
True
Let p be (4/2)/((-12)/(-6)). Let g be (-3)/((-9)/12*p). Suppose 3*q + q = -g. Is -2 at most as big as q?
True
Let y be 14*(-1 - (-1)/(-2)). Let v be ((-12)/5)/(y/(-70)). Which is smaller: -7 or v?
v
Suppose 2*k = 1 + 5. Let f = -4 + 8. Which is bigger: k or f?
f
Let q = 16253/15 - 1083. Which is bigger: q or 0?
q
Suppose z = -4*i + 18, 3*i + 5*z = 7*i - 30. Suppose 3*p - 3*m + m = -11, -p = i*m - 19. Is -1 equal to p?
True
Suppose 0 - 3 = -3*u - 3*x, 2*x = -5*u + 14. Let h = -5 + 10. Suppose -3*s = 2*p + s + 10, 2*s - 7 = -h*p. Which is greater: p or u?
u
Let b = -29 + 86. Suppose b = -3*q - 15. Let t be q/10 - 8/(-20). Is -1 at least as big as t?
True
Let o = -364 - -7646/21. Are o and -1 nonequal?
True
Let k(o) = o**2 - 6*o - 11. Let p be k(8). Suppose l - 6 + 5 = p*u, l + 2*u + 6 = 0. Let g = l - -4. Is g smaller than 4/7?
True
Suppose 2*a - 19 = -2*b + 1, -a + 46 = 4*b. Suppose 2*y + b = 5*y. Suppose -5*x + 30 = -y*g, -4*g - 9 = 5*x + 1. Which is bigger: 1 or x?
x
Suppose 2*h + 0*f - 2*f + 4 = 0, -h = -5*f + 2. Let r be ((-18)/324)/((-1)/(-40)). Is h at least r?
True
Let o = 7 + -1. Let p = -1 + o. Let k = p - 9. Is k <= -1/2?
True
Let q be (-4 - (6 - 3)) + 1. Does -6 = q?
True
Suppose 47 = 4*q - 0*u + 3*u, 0 = -4*q - 2*u + 42. Suppose -20 = -q*c + 3*c. Let o be (-6)/c*12/(-63). Which is smaller: 1 or o?
o
Let k = -0.1 - 0. Let p = -0.5 - 0.5. Is k <= p?
False
Suppose g + 11 = 33. Is 23 <= g?
False
Let h = -0.1 + 1.2. Let y = 1 - h. Is -0.04 at least as big as y?
True
Let w = 7 - 7. Suppose w = 3*q + 2*q. Which is greater: -1/10 or q?
q
Let i be 2/3 + (-608)/399. Which is smaller: 0 or i?
i
Suppose 0*c + 2*c - 29 = -5*a, -11 = -2*a - c. Suppose -3*b = -a + 4. Does b = 0?
False
Let z be ((-160)/(-500))/(2/5). Which is greater: 1 or z?
1
Suppose -20*d = -18*d + 2. Is d >= -11/5?
True
Let j = 0.29 + -0.19. Do j and 8 have the same value?
False
Let g = 5.6 + -5. Let p = 0.2 + -1.2. Let x = g + p. Which is smaller: x or 0?
x
Let d = 16 - 15. Do d and 1/24 have the same value?
False
Suppose 3*i - 2*m - 143 - 465 = 0, i - 2*m = 208. Let y = i + -1802/9. Suppose -1 = -4*j - p, -j + 2*p + p = 16. Which is greater: j or y?
y
Let j(w) = -w**2 - 8*w - 8. Suppose -4*n - 3*f - 18 = -8*f, 0 = 5*n - 5*f + 25. Let c be j(n). Let o be ((-2)/6)/(c/(-3)). Does o = 2/5?
False
Suppose -222 = 3*a + 198. Let j be (1/(-2))/((-10)/a). Which is smaller: j or -6?
j
Suppose 3*r - 5*o - 90 = 0, 3*r - 88 = 3*o + 2. Which is smaller: r or 31?
r
Let n(h) = h**3 + 3*h**2 - 1. Let q be n(-3). Let b(t) = t**2 - 10*t + 13. Let x be b(8). Which is greater: x or q?
q
Suppose -2*q = 3*h - 218, 9*h = 4*h - 2*q + 370. Which is smaller: 75 or h?
75
Let n = -43 + 65. Is 0 less than n?
True
Let o(d) = -d**3 - 4*d**2 - 6*d - 8. Let x be o(-3). Is -2/89 less than x?
True
Let c = 1.6 - 1.86. Let d = c - -0.34. Are 1/2 and d unequal?
True
Suppose 4*k = 3*v - 116, -v = -0*v - k - 40. Let p be -2*((-128)/v + 3). Is p at least as big as 1?
False
Let m(n) = 5*n**2 - 1. Let w be 6/10 - (-4)/10. Let u be m(w). Let d be 6/2*-1 - -5. Are d and u equal?
False
Let y be 18/(-8)*(34/(-33) - -1). Is -1 greater than or equal to y?
False
Suppose d = 5*y + 11, -3*y + 8*y - 10 = 0. Let r be (-18)/(-6) - 48/d. Which is smaller: r or 0?
0
Let j = -41 - -38. Are 0.11 and j unequal?
True
Let q = -68 - -339/5. Which is bigger: 2/3 or q?
2/3
Suppose 0 = -u + 6*u + 155. Let k = -59/2 - u. Which is smaller: 3 or k?
k
Let l be 2/8 + (-129)/(-12). Suppose 4*f + l = 3*y - 0*y, 2*y - 11 = -f. Let n = f + 0. Which is bigger: n or 2?
2
Let a(j) = j**3 - 3*j**2 - j + 2. Let t be a(3). Let g = -22.81 - -23. Let u = g - 6.19. Which is smaller: t or u?
u
Let a be (9/(-27))/(1/(-3)). Is 1/12 smaller than a?
True
Suppose -l = 3*l + 3*x - 7, -5*l + 4*x + 1 = 0. Suppose 0 = j + 3 - 2, -2*v + 5*j = 1. Let i = -3 - v. Is i > l?
False
Let k(f) = -f**3 + 3*f**2 - 8. Let a be k(4). Are a and -24 nonequal?
False
Let x(c) = -2*c - 4*c + c**3 - 6 + 0*c**2 + 3*c**2. Let h be x(-4). Suppose 3*q = h*q + 4. Which is bigger: 5 or q?
5
Suppose c - 2 = 2*m, 4*c + c - 3*m = 31. Suppose -2*a + 2 - c = 0. Which is greater: a or -1?
-1
Let f = 57/5 - 139/10. Let p = 2 - 4. Is p at most f?
False
Suppose -5 + 1 = -4*i. Is 2/13 less than i?
True
Suppose t = -4, -5*q - t - 11 = 3*t. Suppose q = -2*o + 7. Which is smaller: o or -0.2?
-0.2
Let p = -0.31 + -2.69. Let l = 