p be (18/(-4))/((-4)/12). Let o = p + d. Which is greater: -1 or o?
o
Let s be 9/12 + 6/(-8). Is -1 not equal to s?
True
Let n = -27.4 + 1.4. Let b = 24 + n. Which is greater: b or -0.3?
-0.3
Let z = 0.2 + -0.5. Let x = z - -0.3. Let v(y) = -y**3 - 6*y**2 + 8*y + 5. Let j be v(-7). Is x less than j?
False
Let m be 5*((-32)/(-12) + -3). Let a = -4 - -1. Do m and a have the same value?
False
Let r = -18 - -22. Is 5 bigger than r?
True
Suppose -2*i = a + 13, -2*i = 5*a - a + 10. Which is bigger: -6 or i?
-6
Suppose 5 = -5*g + 5*i, -5*g - 2*i = -20 - 10. Let r(y) = 2*y - 4. Let p be r(3). Suppose t + g = -p. Is t at least as big as -6?
True
Suppose -3 = 2*o - w, -3*w = o - 2*w - 6. Let p be (-29)/285 + (-3)/(-9). Let s = 12/19 - p. Which is bigger: s or o?
o
Let d = 0.01 + -0.21. Let u = d + 0.6. Let k = 0.1 + 0. Is k at least u?
False
Let d = -56 - -56. Is d less than or equal to -1/10?
False
Suppose -2*p - 6 - 6 = 4*v, -5*p - 5 = 5*v. Let h(y) = -7*y - 7. Let k(u) = 3*u + 3. Let b(t) = 4*h(t) + 9*k(t). Let f be b(5). Which is greater: f or v?
v
Let t be (-8)/(-34)*2/(-12). Which is bigger: t or 1?
1
Let x(l) = -11*l - 10. Let z be x(-3). Is 24 less than or equal to z?
False
Let k = 8 + -2. Let q be (k/(-2))/(9/30). Let f be (-3)/(-6) + 7/q. Is f >= 0?
False
Let b be ((-54)/45)/((-66)/20). Let r(m) = m**3 - 5*m**2 + 3*m + 4. Let i be r(4). Which is bigger: i or b?
b
Let a = -20.5 - 5.5. Does a = 1?
False
Let k(i) = -i**2 - 6*i - 6. Let x be k(-5). Is -0.2 not equal to x?
True
Let s = 2.68 + -2.6. Let n be (-2)/3*3/7. Which is bigger: s or n?
s
Let s be -1 + 3 + -1 + -10. Let f = s + 8. Does f = -2/7?
False
Let j(o) = 2*o + 10. Let g be j(-7). Let b(y) = 2*y + 6. Let n be b(g). Suppose -2*c = 4*x + 4, -2*c + 3*c - 7 = x. Is x smaller than n?
True
Let m be (-32)/(-14) - (-2)/(-7). Suppose -m*o - 3*o - 15 = 0. Is -3 at least as big as o?
True
Let x(i) = -i**3 + 7*i**2 - i + 8. Let z be x(7). Which is smaller: 16 or z?
z
Let q be 3/(-12) + 555/(-20). Is -28 at most q?
True
Let q = 0.03 - 3.03. Which is smaller: 0 or q?
q
Suppose 3*i = 5*i - 102. Let o be (-23)/i - (-1)/3. Which is bigger: -1 or o?
o
Let h = 19 + -20. Is 0.4 >= h?
True
Let q = 4 - 6. Which is bigger: 0.2 or q?
0.2
Let w be (-3)/(-56)*(-1510)/(-3). Let i = 109/4 - w. Let p be (-36)/(-44) - 2/(-11). Is p >= i?
True
Let a = 3992/15 - 266. Let l = 0 + 1. Is a > l?
False
Let r be -5 - 2/(-2 + 4). Let v be 7 - 6 - r/(-5). Are -2/9 and v nonequal?
True
Let f(t) = t**3 - 3*t**2 - 4*t + 3. Let p be f(4). Suppose 4*w = 3*b + 1, -p*w = 2 + 4. Which is smaller: b or -11/5?
b
Let b = 49 - 36. Do 12 and b have different values?
True
Let o be -4*(-2 + 0 + 3). Let b = o + 3. Let j be (1 - b)/((-10)/(-5)). Which is smaller: j or 3/8?
3/8
Suppose 3 = -4*w - 1. Let b be (-4)/(-18) + 148/(-18). Let x = 8 + b. Which is greater: w or x?
x
Let c = -3.1 - -15.3. Let y = c + -12. Let s = -2 - 1. Is s != y?
True
Let t be 3 + -5 - (-21)/9. Which is greater: t or 0.23?
t
Let u = -14 + 8. Is -2 at least as big as u?
True
Let h = 363 - 9803/27. Does 0 = h?
False
Let y = 0 + 0. Suppose 3*m - 4 = -1. Which is smaller: y or m?
y
Let k = -0.4 - -0.3. Let r = -1.931 + -0.249. Let f = r + 0.18. Which is smaller: f or k?
f
Let y be ((-6)/(-5))/((-11)/5). Let n be 1/1*(0 + -1). Is n < y?
True
Let l(i) = -i**2 + 3*i + 2. Let a be l(3). Do 1 and a have the same value?
False
Suppose -4 + 5 = k. Are -2.2 and k unequal?
True
Let c = -179 + 179. Which is smaller: c or 1/220?
c
Let t(l) = -l**2 - 8*l - 2. Let m be t(-7). Suppose 4*o + m*p = -4, -5*o + 3*p = -2 + 44. Which is greater: o or -5?
-5
Let t = -0.11 + 1.11. Is t != 8?
True
Let i be (-24)/11 - (-18)/9. Which is smaller: -1 or i?
-1
Suppose 4*i = -0*i - 8. Suppose k + 5 = 5*x, 4*k + 0*x = -4*x + 4. Which is smaller: k or i?
i
Let z = 36 + -35.58. Let p = 4.62 - z. Let j = p - 4. Which is smaller: j or 1?
j
Let b = -21 - -15. Is -6 greater than or equal to b?
True
Suppose -n + 1 = -0*x + 3*x, 3 = -5*x + 3*n. Are 1 and x non-equal?
True
Let x = 4.6 + -5. Let r = 0 + 1. Which is bigger: r or x?
r
Let i = -9/4888 + 17753351/73320. Let l = i - 242. Let s(v) = v**3 - 6*v**2 + 6*v - 4. Let u be s(5). Is u bigger than l?
True
Suppose -4 = -2*s - 0. Let y be (-5)/(-3) + s/(-3). Which is smaller: y or 2?
y
Let u(g) = -6*g**2. Let z be u(1). Let m(r) = -r. Let w be m(z). Let s(x) = -x**3 + 5*x**2 + 6*x - 1. Let l be s(w). Is l >= -5/6?
False
Let m = 23/3 + -22/3. Is m greater than or equal to 50?
False
Let i be 446*(1 - 1/2). Let m = -3789/17 + i. Is m equal to -1?
False
Let o = -1/2672 + -37379/77488. Which is smaller: o or -1?
-1
Suppose -8*v + 55 = -13*v. Let d = 10 + v. Is d at most -1/5?
True
Let j = -3 - -3. Suppose -12 = 3*w, 2*c = 5*w - 0*w + 16. Let s = c + 3. Is s equal to j?
False
Let i be 1/(-1)*(-19)/44. Let p = i - 2/11. Let y = 0 + 0. Are p and y non-equal?
True
Let u = 12 + -12. Is 2/3 equal to u?
False
Suppose -v + 2*j + 9 = 1, 3*j + 12 = 0. Suppose -4*t - 5*o = 17, -o - 15 = 2*o. Which is smaller: t or v?
v
Let o = -3.3 - -1.6. Which is smaller: 0 or o?
o
Let w be 1 - ((-506)/4 - -2). Let d = 131 - w. Is 7 less than d?
False
Let h = 4/99 + -31/99. Is h smaller than -1/5?
True
Let c(l) = l + 2. Let u = 0 + -3. Let r be c(u). Is r not equal to 1?
True
Let c = -67/4 - -17. Let a = 8.213 + -0.013. Let u = 8 - a. Is c not equal to u?
True
Let z = 354880557/318250 + 9/159125. Let w = z - 1116. Let x = -17/30 - w. Is x <= -1?
False
Let a(u) = -u**3 + 5*u**2 - u + 2. Let f be a(4). Suppose -1 = 5*m + 4*n + 45, -f = m + 2*n. Are m and -6 equal?
True
Let s = -5.33 + 0.33. Which is bigger: -2 or s?
-2
Let p = 13 + -8. Which is bigger: 2 or p?
p
Let n = 33 - 19. Which is smaller: n or 4?
4
Let h be ((-3)/2)/(4/(-8)). Which is greater: h or 9/5?
h
Suppose -5*t - 5*p - 645 = 0, 2*p - 336 - 192 = 4*t. Let h = t - -55. Let f = 530/7 + h. Which is smaller: 0.2 or f?
f
Let j = 44 - 41. Which is smaller: 2 or j?
2
Suppose 0 = x - 4. Suppose -q = q + x*g + 14, -5*q - 8 = g. Is -2/5 at most as big as q?
False
Suppose 2*m - 9 = 5*m. Which is greater: -19/6 or m?
m
Let d(m) = m**2 - 3. Let w be d(0). Let h = 6 + w. Suppose -h*q = -4*q - 4. Which is bigger: q or -2/3?
-2/3
Suppose -2*l + 4 = 0, -3*u + 2*l + 12 + 17 = 0. Let c be 31/(-4)*16/(-12). Let z = u - c. Which is bigger: z or 1?
1
Suppose -3*h + h = -2, -5*i - 7 = 3*h. Let t be (-12)/16 - 2/i. Are t and 6/5 unequal?
True
Let g = -46 - -45. Let t = -0.02 + -0.28. Is g >= t?
False
Let g(h) = -h**2 - h + 9. Let w be g(-5). Let u = w + 16. Is u greater than 4?
True
Let h be 60/(-8)*12/(-18). Suppose 5*w = w. Let p be (w + h)/((-9)/(-3)). Is p at least as big as 2?
False
Let y be (2/4)/((-3)/(-4)). Let p be (4/10)/(1/5). Is p bigger than y?
True
Let w(y) = -y**2 - 6*y - 6. Let h be w(-5). Let r be (-30)/(-50) + h/5. Let o(n) = n**3 - n**2 - 2*n - 1. Let t be o(-1). Which is smaller: t or r?
t
Let m(o) be the second derivative of o**4/6 + 2*o**3/3 + o**2 - 3*o. Let c be m(-2). Suppose -c*r = r. Is -3/5 not equal to r?
True
Let n(y) = -y**3 + 2*y**2 + 2*y - 4. Let m be n(2). Which is bigger: -8/9 or m?
m
Let w(o) = 4*o. Let r be w(5). Suppose 4*s - 16 = 0, -2*q + r = 6*s - 2*s. Does q = 6/11?
False
Let y = 0 + 2. Let s = -14.9 + 15. Is y at most as big as s?
False
Let n = 0.081 - -0.019. Which is greater: n or -2/45?
n
Suppose 5*r = -5*p - 60, 0 = 2*p - 3*r + 10 + 9. Is 1 bigger than p?
True
Let p = -4985/7 + 711. Let a = 1 + -3. Which is greater: p or a?
p
Suppose 17 = 2*v + 1. Let d be ((-4)/v)/(3/(-6)). Which is greater: -2/5 or d?
d
Let n = -0.62 - -1.62. Are n and -6 equal?
False
Suppose 0 = -2*a - a - 99. Let g be 6/a - 40/22. Let x be 0*g/(2/(-1)). Which is smaller: x or 0.1?
x
Suppose 4*j - 32 = 3*g - 7*g, -50 = -4*j + 2*g. Are 10 and j nonequal?
True
Let k(w) = w - 5. Let d be k(6). Suppose -3*z + 2*z = -3*l - 3, 5*l + 2*z + 5 = 0. Let p be (-2)/((-2 + 3)/l). Which is smaller: p or d?
d
Let l = 16 + -12. Do 1 and l have the same value?
False
Suppose -c + 4 = -0*c. Suppose -2*k + 10 = -c*i, i + 2*i - 4*k = -15. Let b(d) = -d + 3. Let m be b(4). Is m less than i?
False
Let h = 1.2 + 4.8. Let d = -9 + h. Is d equal to 0.2?
False
Let z = 3.6 - 0.6. Let l = -2 + z. Let g = 121/6 - 39/2. Is l at least g?
True
Let z be (-5)/10*8/(