 2 have the same value?
True
Suppose 4*a - 34 = 2*g + 8, -4*a + 37 = 3*g. Let k be (24/a - 2)*15. Suppose 3*z + 0*z - k = 0. Which is bigger: 2/3 or z?
z
Suppose 4*i + 6 = i. Let q be 3/i*(-8)/(-6). Let t be (-16)/(-12)*(-3)/q. Is 1 smaller than t?
True
Suppose 3*b - 18 = 2*s, 3*s + 5*b - 13 + 2 = 0. Let u be ((-1)/s)/(15/18). Is -4/5 bigger than u?
False
Let o = 608/7 + -15186/175. Let g(r) = -r**2 + r + 1. Let u be ((-6)/8)/(3/(-8)). Let a be g(u). Is o greater than a?
True
Let c = 4.45 - 0.45. Is c smaller than -1/3?
False
Let q(h) = -h - 7. Let g = -27 - -16. Let v be q(g). Which is bigger: v or 2?
v
Let g = -517 - -17063/33. Which is smaller: g or 1?
g
Suppose 1 = 2*b - 3. Suppose -1 = b*c + 3. Let o be (-2)/(-3) + (-19)/15. Is o at most as big as c?
False
Let m(x) = -x**2 + 3*x - 4. Let z be m(3). Let v be (-168)/(-27) - z/(-18). Suppose 5 = 3*k + 5*d, 2*k - 4*d + 4 = v*k. Which is smaller: 1 or k?
k
Let r(a) = -a - 2. Let g be r(-4). Let l be ((-14)/(-96))/((-4)/(-16)). Let f = 7/12 + l. Is g greater than or equal to f?
True
Suppose 0*u - 3 = -u. Let h(z) = z**3 - 2*z**2 - 5*z + 4. Let q be h(u). Let r be (1 - 9/7)*2. Do r and q have different values?
True
Let t(p) = -p**3 - 8*p**2 - 6*p - 4. Let c be t(-7). Let r = -8 - c. Let a be (-1)/r - (-1)/3. Which is bigger: 1 or a?
1
Let q(y) be the second derivative of -y**4/12 + y**3/3 + 2*y**2 - 4*y. Let f be q(3). Which is bigger: f or 2/15?
f
Let c(l) = l**3 - 9*l**2 - l + 7. Let a be c(9). Which is smaller: a or -3?
-3
Let c(h) = -h**2 - 2*h + 4. Let b(f) = 6*f**2 + 11*f - 19. Let l(x) = 2*b(x) + 11*c(x). Let s be l(0). Let o = s - 9. Is -3 bigger than o?
False
Let z(q) = 54*q**2 - 2*q. Let j be z(-2). Let v be 10/(-4)*33/j. Is 1 less than or equal to v?
False
Let o be 3/(-9) + (-1 - -2). Is o less than -2?
False
Suppose 0 = 4*z - 0*z - 5*k - 39, -2*k = -3*z + 24. Suppose 0 = -2*s - 2*u + 8, z*s - 4 = 3*s + u. Let m = s + 0. Is 1/2 != m?
True
Suppose -6 = 3*w - p, 4*w - p = 3*w - 4. Let o(i) = -3*i**3 - i**2 - i + 2. Let n be o(1). Is n at least as big as w?
False
Let r be (-2)/(-30) + (-9)/(-15). Is 10 less than r?
False
Suppose 0 = 8*n + 15 - 7. Are n and -3/16 non-equal?
True
Let p = -0.043 + 0.037. Is 0 greater than or equal to p?
True
Suppose 0 - 2 = 2*q. Let m be ((-42)/(-20))/(-7)*-16. Let c = m - 178/35. Which is smaller: q or c?
q
Let g = 13.03 + -13. Let x = -431 - -432.97. Let n = x + g. Is n greater than or equal to 0.1?
True
Let a = -1064/9 + 118. Let q be 12/20*10/6. Is a < q?
True
Suppose m + 3 = 4. Let u be (-70)/(-30) + 2/3. Let d = u - m. Are d and 2 equal?
True
Let d = -0.03 + -0.07. Which is bigger: d or -5?
d
Suppose -3*d = 4*s - 23, d - 8 = -2*s + 3*d. Let i = 6 - s. Is i equal to -1?
False
Let z = -15/22 - -2/11. Suppose a + 1 = -2. Let p = a - -2. Is z at least as big as p?
True
Suppose 6*v - 3*v = 12. Let z be (-2 - (-1 - -3))/(-2). Do z and v have the same value?
False
Suppose 0 = -3*m + 1 + 44. Let u = m - 13. Let d(i) = -i**3 - 2*i**2 + 4*i + 2. Let l be d(-3). Which is smaller: u or l?
l
Let c be (-1)/((-69)/(-18222)) - -1. Let x = c + 263. Is 0 < x?
False
Let j = 0.4 - 0.3. Let z = 0.2 - j. Let r = -6 + 3. Is z bigger than r?
True
Suppose 0 = -4*y + c - 13, -4*c - 7 = 5. Suppose -19*t + 14*t - 20 = 0. Are t and y equal?
True
Let v(l) = 5*l + 1. Let m be v(3). Suppose 5*u + y = 6*y - 15, 4*u = -3*y + m. Is 3 > u?
True
Suppose -8*x - 5*p = -4*x - 68, -5*x = 2*p - 68. Suppose x = -4*q + 32. Is q greater than 5?
False
Let p be 6/(-21) + (-288)/21. Let b = p - -21. Let n(x) = -2*x + 10. Let i be n(b). Is i at least -6?
True
Let y = -5 + 7. Suppose -2*u = 3*u - 5*m, 2*u + y*m - 20 = 0. Let w = 147 - 148. Which is smaller: w or u?
w
Let o = 0 - -3. Let g be o/(-2) - 14/(-8). Is 1 <= g?
False
Let l be (-7)/35 + 1 - 87/40. Which is greater: l or 0?
0
Let b = -19/5 - -7/5. Which is smaller: b or -0.2?
b
Let s(r) = 1 - 3*r + 4 + 4*r + 1. Let o be s(-5). Which is greater: 5/6 or o?
o
Let i = -16 + 15. Is i < -4?
False
Suppose 3*g - 186 - 5 = -2*l, -l + 5*g = -63. Let r = -268/3 + l. Let b(p) = -p**3 + 3*p**2 + 3*p + 3. Let z be b(4). Which is smaller: z or r?
r
Let c = -15 - -9. Let j be 18/15*(-10)/c. Which is smaller: 0 or j?
0
Suppose k + 4*b = 18, -3*k - 3*b + 0*b = -27. Let n = k - -2. Suppose -6*x + x - n = l, 0 = 4*l - x - 10. Which is smaller: -1/3 or l?
-1/3
Suppose 0 = -5*u + 29 - 24. Let q be (5/(-2))/(2/(-8)). Let j be ((-9)/q)/((-24)/(-10)). Are u and j equal?
False
Suppose 0 = 8*z - 6 - 2. Is z equal to 1/15?
False
Let m(u) be the second derivative of u**5/20 - 2*u**4/3 - u**3/6 + 5*u**2 + 2*u. Let a be m(8). Which is smaller: a or 0?
0
Suppose 7*w - 4*w = 3*p - 9, 0 = 3*p + 6. Is -3 less than or equal to w?
False
Suppose -3*u + 0*u + 5*k = 37, -6 = 4*u + 2*k. Let y be u/(-18) + (-35)/(-450). Which is greater: 0 or y?
y
Suppose -3*j - 78 - 132 = 0. Let m be 1 - 0 - j/(-63). Is m at least as big as -1?
True
Let h be 2/6 + (-22)/3. Suppose 0*d + 5*o - 7 = 3*d, 2*d = -3*o - 11. Let i = h - d. Is i >= -1?
False
Let g be ((-115)/(-9))/5 + -3. Are g and 0 unequal?
True
Let m be (4/(-36))/(20/(-6)). Are m and 0 unequal?
True
Let d = 87037/178815 + 2/4585. Let t = 2/13 - d. Is -0.1 bigger than t?
True
Let d = -11.5 + 11. Let j = 0.3 + d. Do j and -0.1 have the same value?
False
Let j = 452 + -293. Which is smaller: j or -2/5?
-2/5
Let u be (-4)/18 + 80/36. Is 2 at most u?
True
Let w = 33.97 + -34. Is -0.2 less than or equal to w?
True
Let u(t) = t**3 - 7*t**2 + t + 5. Let h be u(7). Let j be (-8)/(-6)*h/(-8). Are j and -1/2 equal?
False
Let q = 35/2 - 17. Let o(l) = -l**2 + 4*l - 4. Let n be o(4). Let w be (-4)/(-9) - n/18. Which is bigger: w or q?
w
Let a = -9 + 8. Let t = 1 - a. Which is greater: t or 0.2?
t
Let k(a) = a**3 + 4*a**2 + 3*a + 1. Let g be k(-3). Let p(h) = 15*h + 1. Let c be p(g). Let d be (-2)/(-3) + c/(-18). Is d not equal to 1/5?
True
Let q = -39 - -37.8. Let u = 1/3 + 1/6. Which is smaller: u or q?
q
Let z = 2031 + 902. Let a = z + -20611/7. Let p = a - -82/7. Does p = 2/9?
False
Let f(o) = 2*o**2. Let n be f(1). Are -3 and n nonequal?
True
Suppose -11 = -4*c - c - 3*s, 4*c = 5*s + 31. Suppose -2*h = -4*x + c + 6, -x + 5 = -h. Which is greater: -2 or x?
x
Let i be (0/2 - 1) + 0 + -4. Are -2/3 and i equal?
False
Let b(k) = -k**3 - 4*k**2 - 5*k. Let z be b(-3). Which is greater: 10 or z?
10
Let j = 0.4 + -0.26. Let b = -0.1 - -0.06. Let d = b + j. Is 0.1 >= d?
True
Let m = -5.6 + -0.4. Let c = -5.8 - m. Let v = 50 - 148/3. Is c bigger than v?
False
Let l(p) = 5*p - 6. Let b be l(3). Is 5 less than or equal to b?
True
Let c = 0.56 + -0.71. Which is greater: c or -1?
c
Let n = -5/2 - -19/6. Let g = -0.4 + 0.2. Is g > n?
False
Let h = 4 + -16. Let p be (-3)/h + 50/(-8). Let u be -2*3/p*2. Does u = 1?
False
Let j be -1 - 1 - 0/(-3). Let k be ((-22)/(-12) + j)*1. Suppose 5*n - 8 = 2*h - 0*n, -h = -5*n + 9. Which is bigger: h or k?
h
Suppose 17*l = 28*l + 44. Is -0.15 != l?
True
Let j(m) = -m - 5. Suppose h + 3*h = -16. Let c = h + -1. Let u be j(c). Is 1 less than or equal to u?
False
Let n(v) = 6*v + 2. Let f be n(-3). Is f >= -16?
True
Let r be (6/(-9))/(18/297). Is r less than -12?
False
Let k be (-19)/76*(-4)/(-6). Is k < 0?
True
Suppose 0*z - 6 = -z. Suppose z*g = 3 + 3. Which is bigger: g or 0?
g
Let p = -1 - 2. Let l(a) = -a**2 - 4*a - 3. Let f be l(p). Suppose -n - 8 = -2*d, 5*d + n + 2 - 8 = 0. Is d != f?
True
Let a = -3.6 + 3. Let v = -29 + 28.38. Let s = v - a. Which is greater: s or 0.1?
0.1
Let c be (0 + -3)*(-28)/6. Suppose -2*y = 5*j - c, -4*y - 3*j + 11 = -3. Let n be 1/y - (-5 - -4). Does 2 = n?
False
Let a = 2 + -2. Let c(s) = s**3 - 7*s**2 - 8*s + 1. Let y be c(8). Is y <= a?
False
Let q = -0.12 - 1.28. Let n = -2 + 1.6. Let a = n - q. Which is greater: a or 0.2?
a
Suppose 0 = -4*h + 7*h - 9. Suppose 0 = f + 2*f + 9. Let c = h + f. Is c < -1/4?
False
Suppose 12*v = 17*v. Which is smaller: v or 2/37?
v
Suppose 4*h - 2 + 6 = 0. Let j be (h - 0)/(-2 - -3). Which is bigger: 0.2 or j?
0.2
Let y = 11 - 11.1. Let i be 1*-2 + (0 - -11). Let d be i*1/7 + -1. Which is greater: y or d?
d
Let j = -3 + 7. Let l be (j - 4)/((-4)/2). Is l > -2/3?
True
Let s be 116/(-14) - 14/(-49). Let x be -3 + 0 + 35/(-5 + -2). Is s greater than or equal to 