ller: z or 0?
0
Suppose 0*i = 2*i - 10. Suppose -3 = 4*w + 3*z, -4*z - 3 = i*w + 2. Suppose -3*u = w*j + 9, 3*j + 7 = 3*u - 8. Which is greater: j or -3?
-3
Let j be 8/(-28) - (-20)/21. Let w = -0.9 + 0.5. Which is smaller: j or w?
w
Let q = 4 - 2. Let y = q + -2.1. Is -0.1 smaller than y?
False
Let o(a) = -2*a**2 - 10*a + 12. Let c be o(-6). Do c and 1 have the same value?
False
Let b = 1.8 - 2. Let u = -0.8 + b. Is -3/5 at most u?
False
Let j = 51 - 815/16. Let w(h) = -h + 1. Let z be w(1). Is z >= j?
False
Let o be ((-9)/(-3))/(9/12). Let h(j) = j**2 + j + 1. Let i be h(0). Do o and i have the same value?
False
Suppose 4*y + 8 = 3*z - 0*z, -3*z - 3*y - 6 = 0. Are z and 1/46 nonequal?
True
Let c(n) = -n**2 + 0*n**2 - 2 - 3 + 8*n. Let b be c(7). Suppose -b*j = -2 + 4. Which is bigger: 0 or j?
0
Suppose -7*v = -2*v. Suppose v*l + 4*l - 24 = 0. Which is smaller: 7 or l?
l
Let o = -9.95 + -0.05. Let g = 9 + o. Is g not equal to -8?
True
Suppose 0 = -12*f + 24 - 0. Which is bigger: f or 3/5?
f
Let f(k) be the second derivative of k**4/12 + k**3 - k**2/2 + 3*k. Let g be f(-5). Which is smaller: g or -7?
-7
Let f(x) = -x + 2. Let k be f(2). Is k at least as big as 3/5?
False
Let t be (12/48)/((-6)/136)*-3. Which is greater: t or 33/2?
t
Let z = 0.37 + -0.48. Which is bigger: z or 2/7?
2/7
Suppose -3*q - 40 = -8*q. Let d be (q/(-18))/(7/21). Which is greater: d or 0?
0
Suppose -2*s + 20 + 26 = 0. Is 24 at least s?
True
Suppose p = -4*r + 22 + 13, -4*r - 4*p = -44. Suppose -8*t = -9*t + r. Is t greater than or equal to 7?
True
Let m(c) = 3*c - 22. Let n be m(9). Which is bigger: -0.3 or n?
n
Let d = 0.4 - -8.6. Let f = 8.7 - d. Which is smaller: f or 0.1?
f
Let t = 23 - 12. Let z be (-3)/9 - 37/(-3). Which is greater: z or t?
z
Let v(x) be the third derivative of -x**6/120 + 2*x**5/15 - 3*x**4/8 + 4*x**3/3 - x**2. Let q be v(7). Is -6 >= q?
True
Let j be (4/(-5))/(1/(10/2)). Which is smaller: j or -6?
-6
Let g(b) = b**3 + 2*b**2 - 4*b. Let m be g(-3). Let r be ((-30)/25)/((-7)/10). Is m less than or equal to r?
False
Let r = 81 + -403/5. Let x = 4.2 - 4. Does r = x?
False
Let b = -9 - -18. Let u = -7 + b. Suppose 0 = -3*y - y + 4. Do u and y have the same value?
False
Let o = 34 + -33.87. Let w = -0.13 + o. Is 0 greater than w?
False
Let m be (-15)/(1 + 0/3). Which is smaller: -1 or m?
m
Let q = -81 + 86. Is q > -1?
True
Suppose 2*j = 4*j - 20. Let z be -1 - 0 - (j + 0). Is -10 > z?
True
Let u(b) = b**3 + 3*b**2 + 3*b + 3. Let h be u(-2). Let c be -89 + (0/(-1) - 3). Let z be (2 - 4)/c*4. Which is smaller: z or h?
z
Let t = 21.7 + -21.6. Is 0 less than t?
True
Let b(t) = -24*t**3 + 2*t**2 - 4*t + 2. Let l be b(1). Is -25 equal to l?
False
Let r be 1/1 - 2 - -8. Suppose -161 = -15*h - 41. Is h less than r?
False
Let p be (-40)/(-645)*3/(-2). Let m = -137/86 - p. Is -1 at least as big as m?
True
Suppose -5*x + 2*x - 27 = 0. Let z be 3/x + (-20)/(-6). Suppose -3*q + 5*f = -18, -z*q - 3*f = 1 + 5. Which is bigger: q or 3/7?
q
Suppose 1 = -8*q + 9*q. Let g = -1 + q. Which is smaller: -1/4 or g?
-1/4
Let u = 11 - 15. Which is smaller: u or 1/3?
u
Let z(d) = d**3 - 4*d**2 + 5. Let q(y) = y**3 - 3*y**2 + 4. Let m(n) = -5*q(n) + 4*z(n). Let u = -19 - -19. Let x be m(u). Which is smaller: x or -6/5?
-6/5
Let d = 3 - 5. Let m = d - -3. Let t = -28.1 + 27.9. Which is smaller: m or t?
t
Let q = -52 + 50. Let x = 5 - 7. Is q at least as big as x?
True
Let z(d) = d**3 - 4*d**2 + d - 1. Let t be z(4). Let h = 11 + -8. Suppose 0*b = -h*b - t. Which is greater: 1 or b?
1
Suppose 0*j = -6*j - 6. Suppose -s = -3*v - 4, -5*v + s - 10 = -0*s. Which is smaller: v or j?
v
Let z(m) = m**3 + 4*m**2 - 6*m - 5. Let v be z(-5). Let q = -5836/11 - -530. Let j = q + 7/33. Is j > v?
False
Let r = -4.09 - -0.09. Let j = r - -4. Let t = -1.95 + -0.05. Which is smaller: j or t?
t
Let p = -6714/23 + 292. Is p < -2/9?
False
Let l be (-74)/(-414) + 2/(-9). Is -1 smaller than l?
True
Let n = 9 - 14. Which is smaller: 0 or n?
n
Let c = 0.2 - -0.9. Let f = -0.6 + c. Let d = f - 0.4. Which is smaller: 2/7 or d?
d
Let y = 24.1 - 24. Which is bigger: y or -43?
y
Let b be -6*(2 + -3)/3. Suppose 0 = 5*o - 5*a - 15, 6 = 2*o - 3*a - 1. Is o <= b?
True
Suppose 3*b - 5*h + 67 = 0, b + 99 = -4*b + 2*h. Is b < -20?
False
Let p(z) = 2*z**3 - 6*z - 5*z**2 - z**3 - 6 + 10*z**2. Let y be p(-6). Let c be (2 - 2)*(-3)/y. Which is bigger: 1/4 or c?
1/4
Let r = 791/2 + -385. Let t = -395/38 + r. Is 1 > t?
True
Suppose 16 = -0*u - 4*u, 5*x + 10 = -5*u. Suppose -4*w + x*b + 102 = w, -4*w - 3*b + 77 = 0. Let n be (-8)/w - (-32)/130. Is n less than or equal to -1?
False
Let y be (-66)/(-14) - 2/(-7). Let i(z) be the third derivative of -z**4/24 + z**3/2 - z**2. Let l be i(y). Which is greater: 0 or l?
0
Let h be (0 + 1)/(2/6). Let q(w) = 2*w - h*w + 2*w - 3 + 5. Let a be q(-3). Is 0.3 less than a?
False
Suppose -1 + 9 = 4*d. Suppose -5*g - 6 = -r, 3*r + g = -d*r + 56. Which is bigger: 12 or r?
12
Suppose 0 = -4*h + 4*p + 16, 4 = h + 2*p - 0. Let s(b) = 3*b + 4. Let g be s(h). Are 16 and g unequal?
False
Let b be 18/(-40) - (-2)/8. Let y be ((-9)/(-6))/((-3)/(-2)). Let k(u) = -2*u**3 + 2*u - 1. Let o be k(y). Is o not equal to b?
True
Suppose -3*y = -5*y + 2. Suppose -j + 5 = -3. Suppose 4*n + 10 = 2*b + n, -n = 5*b - j. Is b equal to y?
False
Let s(m) = 0*m**2 - 3*m + m + 1 + m**2. Let a be s(1). Let b = -647/7014 + -1/334. Which is greater: a or b?
a
Let r = -6 + 6.3. Let b = r - 0.1. Let x = 0.1 - b. Which is smaller: x or 0?
x
Suppose 2*s = -2*w + 8, s - 3 = -2*w + 9. Which is bigger: 9 or w?
9
Let f = 25 + -25. Is 0 at least as big as f?
True
Let o = 4.7 - -1.3. Let m = 80 - 86.1. Let u = m + o. Which is greater: u or 2?
2
Let t be -3 + ((-30516)/(-116) - 3). Let p = t + -257. Is p greater than -0.1?
True
Let y be 4/4*3 - 5. Let m be y/(-5) + (-68)/120. Which is smaller: 1 or m?
m
Let b(d) = d**2 + 3*d + 2. Let n be b(-2). Let q = -3773/6 - -628. Is q > n?
False
Let g be ((-640)/(-6))/4*-6. Is -160 smaller than g?
False
Let s = 2182/171 - -773378/1197. Let t = -660 + s. Let k(a) = a**2 - 7*a + 6. Let u be k(6). Is t != u?
True
Let h = 0.25 - -6.75. Which is greater: h or 0.2?
h
Let d be 221/(-12) - -1*(-2)/(-12). Are -19 and d nonequal?
True
Let m = -35 - -35. Which is greater: m or 2/67?
2/67
Let n = 23 - 22. Which is smaller: n or 2/15?
2/15
Let g be (-3)/(114/(-116)) + -3. Let s = g - 59/399. Which is smaller: s or 0?
s
Let b = 8178/59 + -1527185/10974. Let y = b + 12/31. Suppose 0 = -3*m - 2 + 5. Which is bigger: m or y?
m
Suppose v + 43 = 2*y, 10 = 3*v + 25. Is y at least 19?
True
Let u = -14 + 6. Let v be (-186)/u - (-3)/4. Let n be (-1)/6 + 8/v. Which is smaller: 0 or n?
0
Let b = -16 - -15. Let o = -205 - -2047/10. Is b greater than o?
False
Let k = 73/415 - -2/83. Let s(r) = r + 12. Let n be s(-12). Let d = k + n. Is d < -1?
False
Let l be 1 - (-4 + 2 + (-35)/(-12)). Which is bigger: l or -1?
l
Let n = 0.94 - -0.06. Let j = 8.13 + -8. Let d = j - 7.13. Is n bigger than d?
True
Let q be 8/48 - (-530)/(-12). Let z be 30/q - (-4)/8. Is z > 1/2?
False
Suppose 6 = 2*x + 16. Which is smaller: x or -9/2?
x
Let x(a) = -4*a + 0*a - 4*a + a**3 - 3 + 3*a**2 + 2*a. Let b be x(-4). Let s(n) = -n**3 + 5*n**2 - 1. Let z be s(b). Do -2/21 and z have different values?
True
Let q be (-1)/(-2 + 6)*(5 - 1). Which is greater: q or -0.08?
-0.08
Suppose 0*a = -a. Let k be 2/(-1 + (-10)/(-8)). Let u = 9 - k. Is u less than a?
False
Suppose 4*a + 52 = 4*g, -10 = 7*g - 8*g + 4*a. Are 3 and g equal?
False
Let x(s) = -s**3 - 6*s**2 + 7*s - 6. Let v be 4/4 - 1*8. Let a be x(v). Let j be ((-2)/(-16))/(3/a). Which is greater: -1 or j?
j
Let k be (-1)/((7/2)/(-7)). Let p be 1*((-12)/(-15))/k. Is p >= -1?
True
Let y = 1 + -1. Let m be (-1)/((-3)/6) - 0. Suppose m = 4*o + 10. Which is smaller: y or o?
o
Let i = -417 - -418. Suppose -5*b = -2*b. Which is smaller: b or i?
b
Let f(h) = h**3 - 7*h**2 - h - 7. Let l be f(7). Let r(i) = 7*i + 1. Let y be r(-2). Is y at most as big as l?
False
Let y = -0.073 + -2.827. Let j = -3 - y. Let p = j + -0.9. Are 3 and p non-equal?
True
Suppose -4*h = 3 - 15. Suppose 4*u = -5*w + 36, h*w + 17 = -u + 40. Suppose 0 = 5*o - w*o. Is -5 greater than or equal to o?
False
Let o(d) = -2*d**2 - 4*d + 1