- 20 = 5*z. Which is greater: n or z?
n
Let j be (-1)/(-3) - (-4671)/81. Do 59 and j have the same value?
False
Let j = 431.9 + -431. Which is bigger: j or -11?
j
Let t = 0.31 - 2.41. Let f = -2.32 - t. Which is bigger: -2 or f?
f
Let n be ((-11)/(-88))/((-1)/(-154)). Is n at least 20?
False
Suppose 5*g = s - 53 - 134, 2*s = -6. Let i = g + 38. Which is smaller: i or 2/115?
i
Let b(m) = m**3 - 7*m**2 + 3*m - 3. Let y be b(6). Let n = y - -31. Suppose -h - 2*h + 20 = 2*k, 0 = -k + 5*h + n. Which is smaller: k or 9?
9
Let j = -7 - -4. Let k = j - -4. Let u = -58.4 - -59. Which is smaller: k or u?
u
Let o(b) = 2*b**2 - b + 5. Let i = 40 + -40. Let p be o(i). Is p at most as big as 2?
False
Suppose -6*d + 6 = -54. Suppose 23 - 3 = d*r. Which is smaller: 4 or r?
r
Let k = 300.1 - 300. Which is smaller: -0.021 or k?
-0.021
Suppose -72*h + 33*h = -6864. Which is bigger: h or 177?
177
Let o = 99 + -63. Let n = -36 + o. Is 0 greater than or equal to n?
True
Let t = 3138 + -1183. Is t < 1?
False
Let c = 41 - 35. Let o be ((-51)/c)/(4/(-8)). Are 17 and o nonequal?
False
Suppose -19*r + 3*i - 21 = -21*r, -23 = -r - 4*i. Let b(a) = a**3 - 6*a**2 - 8*a + 9. Let l be b(7). Let z be 3/(l + -14) - -2. Which is smaller: r or z?
z
Suppose 2*m = 7*m - 20. Suppose 0 = d - 5*d + m. Which is smaller: d or 2/121?
2/121
Let l(v) = 9*v + 136. Let g be l(-20). Is g less than or equal to -44?
True
Suppose 3*y - 18 = y - 4*s, -29 = 4*y - 5*s. Suppose -5*p = -4*x - 49, p + 2*p + 9 = -4*x. Let i be (42/20 - 2)*x. Is i at least as big as y?
True
Let b = 18 - 18.18. Let q = -0.42 - b. Let j = 0.26 + q. Is 0.1 <= j?
False
Let m be (-8)/(-26)*(-15)/10. Let x be (4/(-8) + 3)*2. Suppose x*i - i = 4. Which is smaller: i or m?
m
Let j = 803 + -803. Are j and -36/31 nonequal?
True
Suppose 0 = -3*v + h - 6, 2*v + 3*h = 6 + 1. Let j = -18 + 46. Is j equal to v?
False
Suppose -3 = l + h, -4*l + 5*h + 1 + 5 = 0. Suppose -5*b = -2*b - 6. Suppose -b = y + y. Is y < l?
False
Let o be 1 + -5 + (-5 - 0). Let q(x) = x**3 + 10*x**2 + 7*x - 19. Let z be q(o). Let c be (6/(-18))/(z/3). Which is bigger: c or 2/33?
c
Let o be (2 + 5)*4 + (-21)/7. Let n(m) = -m**2 + 2*m + 40. Let r be n(5). Does r = o?
True
Let d = 565 - 565. Which is bigger: -2/1687 or d?
d
Let m = 12 + -23. Let h be 4/(-22) + 64/m. Let r be 1 + -2*(-3)/h. Which is smaller: r or -2/21?
-2/21
Suppose 3*o + w + 168 = 2*w, 0 = -4*w. Let f = o - -57. Let h(n) = 4*n**2 + 2*n - 1. Let y be h(-2). Are y and f unequal?
True
Let q be (12/(-9))/(14/(-231)). Let p = -51 - -73. Is p at least q?
True
Let t = -10 + 7. Let k(q) = 15*q**2 + 5*q + 4. Let j be k(-2). Let f be (-9)/j - 13/(-6). Which is bigger: f or t?
f
Let x be (2 + -1)/((-1)/4). Suppose 101*s = 96*s + 60. Suppose -16 = -8*o + s*o. Is x at most o?
True
Let f(i) be the second derivative of 5*i**4/4 + i**3/6 - i**2 - 8*i. Let t be f(1). Suppose 4*y = 24 + 24. Which is greater: y or t?
t
Let d = 296.8 - 297. Which is bigger: -8/11 or d?
d
Let c = -63 + 261. Let w be (2/9*3)/((-12)/c). Are w and -9 equal?
False
Let x be -34*(-27)/(-3)*(-2)/6. Are x and 104 non-equal?
True
Let t = -33913/57 + 595. Which is bigger: 0 or t?
t
Let i be (-2 + 3)*7 - -1. Let l = -12 + i. Let q = l - -2. Which is smaller: -4/3 or q?
q
Let v be (4 - 5)*(2 - 2). Suppose f + 3*f = v. Let g(z) = z + 7. Let q be g(f). Which is smaller: q or 8?
q
Suppose -2*v - 4*a = -2*a + 20, 4*a = 8. Let q(f) = -f - 14. Let c be q(v). Let g be (c/(-4))/(2/72). Is g < 18?
False
Let w = -1702063 - -11879705/7. Let k = -4952 - w. Is k at least as big as 9?
True
Suppose 34*v + 3*k + 96 = 36*v, v + 5*k - 22 = 0. Which is smaller: 203/5 or v?
203/5
Suppose -5*w + 4*c = -0*c - 118, -24 = -w + c. Let b = -48 + 69. Is w less than b?
False
Let i = 1029 - 1010. Is i at most 35/2?
False
Let t = -31/84 + 2/7. Suppose -5*k + 99*g = 104*g, g - 3 = -4*k. Which is smaller: t or k?
t
Let n = -75 - -67. Which is greater: n or 2/5?
2/5
Let z = 14 + -8. Let x be (-1)/z*36/(-6). Let l be ((-1)/12)/((-15)/(-20)). Do l and x have the same value?
False
Let y = 0.2 - -0.2. Let k(s) = 2*s + 13. Let w be k(-8). Which is smaller: y or w?
w
Let s be (-167)/((11 + -9)/(2/1)). Which is smaller: -166 or s?
s
Let j = -0.175 + 77.175. Let u = 110 - j. Let n = 25 - u. Is n at least as big as 0.3?
False
Suppose -91 = -19*o + 12*o. Let g be 15/(-20) + (-7)/(-4). Which is smaller: o or g?
g
Let l = 28 + -47. Let i = l + 19. Is i bigger than 5/4?
False
Suppose -14*v + 22*v - 16 = 0. Is 7 bigger than v?
True
Let l be ((-21)/525)/((-2)/(-4)). Which is bigger: l or 0?
0
Suppose 0 = -n + 4*n - 6. Let x be 780/594 - (-26)/(-117). Do n and x have the same value?
False
Let n = -0.041 - -0.791. Let x = n - 5.75. Is -3 > x?
True
Let i = 59199/53 - 1117. Suppose 6*k - k = 0. Do i and k have different values?
True
Let m be (-4)/(-2) + 132/(-27). Let d = 10951/9 - 1219. Let z = d - m. Which is greater: -1/6 or z?
z
Suppose -650*t + 640*t - 10 = 0. Which is smaller: t or 3/943?
t
Suppose -5*z + 74 = -k, 161 = 2*z + k + 123. Let s(t) be the second derivative of 3*t**5/20 - t**4/4 + t**3/2 - 3*t**2/2 - t. Let m be s(2). Is m != z?
True
Let r = 96 - 82. Let m be (-6)/r*(-17)/(-51). Which is smaller: m or 2?
m
Let l = -151 - -66. Is -80 at least as big as l?
True
Let x = 87 - 82. Suppose -2*f + 5*f = -4*o - 43, 88 = -3*f + x*o. Are -19 and f equal?
False
Let l(w) = w**3 + w**2 - w + 146. Let u be l(0). Which is smaller: u or 147?
u
Let f = -3429658/9 - -380698. Suppose -3*w + 1311 = 3*p + 192, 2*w - p - 755 = 0. Let r = f + w. Is 2 at most as big as r?
False
Suppose -14*k - 106 = 20. Let z be 2 - k*(-1)/3. Is -7/3 less than or equal to z?
True
Suppose 0 = f - 5*f + 4. Let r(h) = -h. Let a(j) = 6*j - 5. Let n(b) = f*a(b) + 5*r(b). Let w be n(9). Which is smaller: w or 3?
3
Suppose 0 = -22*q - 29*q - 3366. Which is smaller: q or -669/10?
-669/10
Let m = 11 - 9. Let k(u) = -2*u - m*u + 4*u - 5 + u. Let g be k(7). Is g greater than 4?
False
Let p(u) = u**2 + 4*u - 27. Let s be p(-8). Let n be (-6 - -3) + 7/s - 0. Which is smaller: n or -1?
n
Suppose 10*l + 144 = -46. Is l greater than -6/13?
False
Let l be (-20)/36 - 2/(-6). Let r(f) = f**3 - 13*f**2 + 11*f + 11. Let w be (-2)/(-11) - (-390)/33. Let b be r(w). Which is bigger: l or b?
l
Suppose -5 = 2*r + 1. Let x(j) be the first derivative of -j**4/4 + 4*j**3/3 - 2*j**2 - j + 4. Let u be x(3). Which is greater: u or r?
r
Suppose 3*h = -625 + 190. Suppose s + 165 = 4*d, -4*s + d - 87 - 498 = 0. Are h and s non-equal?
False
Let n(z) = -z**3 - 4*z**2 - 6. Let q be n(6). Let p be (-16)/(-12)*(-9)/q. Which is greater: p or 1?
1
Suppose -4*i - 3*y = 12, -5*y = 4*i + 2 + 2. Let l = i - -10. Which is bigger: 7/2 or l?
l
Let n(h) = -h**2 - 10*h - 14. Let k(g) = g**2 - 12*g + 5. Let c be k(10). Let r = c - -9. Let l be n(r). Do l and 5 have the same value?
False
Suppose 0 = 14*j - 2893 - 2231. Does j = 368?
False
Let n = -445 + 402. Which is greater: 0.04 or n?
0.04
Let x(u) = -5*u + 4*u + u**2 - 7*u**2 + 1 + 0*u**2. Let j be x(1). Suppose -13*c - 9 - 43 = 0. Which is smaller: c or j?
j
Let p = 2.5 + -13.5. Let a = 12 + p. Let z = -5 - a. Is -2/3 >= z?
True
Suppose -5*n - 5 = 0, 3*n + 0*n = 2*m + 29. Let w = m + 14. Let g be 12/(-38)*(-1)/w. Which is smaller: 1 or g?
g
Suppose 0 = 3*i - 131 - 34. Suppose -2*z = -3*q - 85, -3*q + i = 3*z - 110. Is z less than 50?
False
Let u = 99 + -19. Let f be ((-72)/u)/((-18)/(-285)). Which is smaller: -14 or f?
f
Let t = -318007/39 - -8153. Is t at least as big as -2?
True
Let z be -4 + 3/((-3)/38). Let x be 12/z - (-44)/7. Which is smaller: x or 4?
4
Let k = 1200406/49 - 24499. Does k = -2?
False
Let w be (-5)/15*4/46. Let y = 25/69 + w. Suppose -r + 2 = -x, -r - 5*x - 10 = -0*r. Are y and r unequal?
True
Let o(l) = -l**3 + 21*l**2 - 5*l + 85. Let m be o(21). Are -12 and m non-equal?
True
Let q = -6/383 + 808/2681. Is -47.3 less than or equal to q?
True
Let u be 4/6*(44/8 + 2). Suppose -3*m + 6*m = -n + 12, 0 = -u*m - 3*n + 24. Which is smaller: m or 8?
m
Suppose -o - 12 = -3*t - 2, -3*t - o + 8 = 0. Suppose 5*c = p + 20, -2*c + 5 = p - t. Suppose 3*j + 6 = 0, -c*j = -0*u + 5*u + 18. Which is greater: 0 or u?
0
Let h be (9/(-3))/(-3)*8. Suppose -5*m = -18 + 63. Let o be h/12 + (-2)/m. Which is greater: 2