*z + 5*f - 129 = 0. Is z bigger than 30?
True
Let j = 0.12 - -0.38. Let w = 11 + -5. Which is smaller: w or j?
j
Let d = 2 + -2.3. Let f = 13025/9 - 1447. Which is bigger: f or d?
f
Let g(b) = -b**3 - 2*b**2 + 7*b + 8. Let h be g(-2). Suppose 0*j - 2*j = 10. Is h != j?
True
Let t = 1789/7 - 17018/63. Do t and -15 have the same value?
False
Suppose -3*y + 6 + 0 = 0. Let z be y/(-7) - 2/(-7). Let x(u) = 77*u + 544. Let a be x(-7). Which is bigger: a or z?
a
Let r = -7736.9 - -8091. Let o = 340 - r. Let c = 14 + o. Which is smaller: 0.17 or c?
c
Let l = 1/160 - 13/32. Suppose 0*z - 150 = -5*m - 5*z, -4*m = -5*z - 129. Let o = m + -40. Does o = l?
False
Let s = -163132/59807 - -2/5437. Is s equal to -4?
False
Let h = -315/2392 + 2/299. Suppose -7*i = -11*i - 4. Is i less than or equal to h?
True
Let n = -17.889 - -18. Which is smaller: -5 or n?
-5
Suppose -5*t = -7 - 8. Suppose t*n - 69 + 6 = 0. Suppose -n = b + 3*b - 5*p, -4*p = -20. Which is greater: -1/18 or b?
b
Let a = 75 + -105. Let w be 2/4 + 14/(-4). Let f be ((-2)/a)/((-1)/w). Is f < -3?
False
Let a = 0 - -7. Let v = 8 - a. Let p be (-1)/((-2)/((-4)/(-33))). Is v <= p?
False
Let u(p) = -p**3 + 2*p**2 + 15*p + 54. Let c be u(6). Which is smaller: c or 8/41?
c
Let f(q) = 0*q**2 - 3*q**2 + 1 + 2*q**2 + q. Let d(t) = t**3 - 7*t**2 + t + 3. Let u(p) = -d(p) + 3*f(p). Let s be u(4). Is s < 9?
True
Suppose 4*d - 4 = 0, -5*i + 0*i + 2*d = -133. Suppose 4*w + 5*c - 103 = 0, -3*w - i = 4*c - 103. Is 32 greater than w?
False
Let b be (-1*5*1)/((-17)/34). Let s be 807/15 + 4 + (-8)/b. Is s at least 58?
False
Let n = 2 + -1.9. Let u = 0.36 - -2.64. Is u less than n?
False
Let a = 13 - 0. Let w = a + -7. Let m = 42 + -43. Which is greater: w or m?
w
Let i(v) = -v**2 - 2*v + 2. Suppose 2*s - 4 = 2. Let z be (1 - 3/s)*-1. Let h be i(z). Is 3 < h?
False
Let c(f) = -f**2 - 10*f - 13. Let g be c(-9). Let z be 2*g/24*-1. Let i = -0.1 - -2.1. Is i < z?
False
Let w be 196/6 - ((-52)/4 + 14). Which is bigger: w or 31?
w
Let u = -21 + 21.38. Let i = u - 0.08. Let l = -97 - -96.5. Which is smaller: i or l?
l
Suppose 3*z + 0*z + 42 = 0. Let a = 14 + z. Suppose -5*p + p + 8 = a. Is 2 at most as big as p?
True
Let l = 19.68 + 1.32. Do -0.2 and l have the same value?
False
Let q = 1 + 0. Let b = -3 + q. Let x(r) = 11*r + 76. Let h be x(-7). Which is smaller: h or b?
b
Suppose -3*d - b = 26 - 0, -8 = 4*b. Which is smaller: -114 or d?
-114
Suppose 2 = -p + 22. Let z be 1 + (-96)/p + 3. Which is greater: 1/8 or z?
1/8
Let c(l) = 2*l + 8. Let h be c(-3). Suppose h*g + 2 = g. Which is bigger: g or -4/3?
-4/3
Let t = -125 + 125. Suppose 2*c + 5*j + 4 = 4*j, -5*j - 10 = 0. Let v be 86/44 + c*2. Are t and v equal?
False
Let q = -1.54 + 1.51. Let c = 1.73 - 1.8. Let r = c + q. Is r <= -2/5?
False
Let p = -30.06 + 6.06. Let u = 11 - 8. Let v = u + -2. Is p < v?
True
Let q = -5 + 10. Let z(c) = c - 3. Let x be z(q). Let f(b) = b**3 - 2*b**2 - 3*b + 3. Let j be f(x). Does j = 4?
False
Let h(d) = d**3 - 11*d**2 - 21*d + 9. Let c be h(12). Let p be (-2)/6 + c/(-54). Is p equal to -3/5?
False
Let d(j) = j**3 - 7*j**2 + 7*j + 8. Let x be d(6). Let f be (x/4)/((-1)/(-2)). Let g be ((-12)/(-10))/(43/215). Which is greater: f or g?
f
Let g = 62 - 53. Let s be (-85)/(-51) + ((-2)/(-6) - 0). Is s at most g?
True
Let p be (2 + 36/2)/1. Let o be (-50)/p*(-16)/10. Let q be (-6)/(-3) - o*2. Which is smaller: -3 or q?
q
Let a(l) = 3*l - 2*l - 5*l - 7 + 5*l**2 - l**2. Let x be a(-3). Are 42 and x non-equal?
True
Let o = 90.85 + -0.85. Let a = o - 92. Which is greater: -11 or a?
a
Let m be (2 + 1)/((4/5)/(-4)). Which is smaller: m or -10?
m
Let x be (-12)/30*5*-2 + -2. Let y be (-7)/(-6) + (-3)/(-18). Do y and x have the same value?
False
Let v = -189 - -210. Suppose -4*i = -v*i - 51. Let c = -212/63 + 22/7. Is c greater than i?
True
Let p = 2/371 - -684/10759. Let a = 14 - 20. Let r = a + 5. Which is bigger: r or p?
p
Let d(y) be the second derivative of 1/20*y**5 - 5/4*y**4 + 0 - 17/6*y**3 + 21/2*y**2 + 10*y. Let i be d(16). Is i at most 6?
True
Let x = -7.6 - 11.03. Let z = -0.37 + x. Is -1 >= z?
True
Let t = -127 - -112. Let a(y) = 4*y + 4. Let f be a(-5). Which is smaller: f or t?
f
Suppose -7*z - 152 = z. Which is smaller: -20 or z?
-20
Let f = 177 - 178. Is f at most -2/1407?
True
Let r = -2650 + 2649.78. Which is greater: r or 36?
36
Suppose -227*r + 220*r = -1127. Is 159 at least r?
False
Let i = -407.1 - -407. Let c be 4/(-18) - (-6)/270. Which is bigger: c or i?
i
Let m = 8.6 - 8.39. Let j = 0.11 - m. Let d(c) = c**3 - 4*c**2 - 7*c. Let h be d(5). Is h less than j?
True
Let k = 39 + -55. Let b be (4/(-8))/(2/k). Suppose -2*f - f = a - 11, b*f = -2*a + 18. Is f bigger than 6/5?
True
Suppose 2415 = -17*w + 494. Is w at least as big as -111?
False
Let s(f) = -f**3 + 4*f**2 - 2*f - 1. Let b be s(2). Let u(h) = -1 - 3 - 11*h**3 + 12*h**3 + 3*h + b - 6*h**2. Let j be u(5). Is -10 bigger than j?
True
Let h = -8101/12177 - -27/41. Does h = 0?
False
Let x(b) = b**3 + 6*b**2 + 11*b + 68. Let l be x(-6). Is -14 < l?
True
Suppose 2 = -3*z - 2*z - j, -4 = 5*z + 2*j. Suppose z = -6*w + w. Let c be w + 32/6 - 2. Which is smaller: 4 or c?
c
Suppose 2*l = -2*l. Let a = -72 - -795/11. Is l less than a?
True
Suppose 11*f = -9 - 2. Which is greater: 11/25 or f?
11/25
Let u(p) = p - 6 - 2*p**2 + 6. Let q be u(0). Is 4 < q?
False
Let x be (-2 - 4) + 6 + 0. Is x greater than 24/53?
False
Let u be (1 - 3)*(-2)/18. Let l = 51 + -56. Are l and u equal?
False
Suppose -16 = 3*b - 4*m + 18, -2*m - 4 = 0. Do -18 and b have the same value?
False
Let u be 72/48 - (3 - (-9)/(-6)). Let j = 17 + -17.14. Which is bigger: u or j?
u
Let n(m) be the third derivative of -5*m**4/24 - 8*m**3/3 + 4*m**2. Let y be n(-8). Let s be 8/y + 1/(-3). Which is smaller: s or 1/4?
s
Let g = -53 - -53.45. Let r = -2.15 + g. Which is greater: r or -0.1?
-0.1
Suppose 4*z = a - 4, -2*z - 2 + 0 = 5*a. Which is bigger: a or 17/14?
17/14
Suppose 45*v = -3978 - 25947. Which is bigger: -666 or v?
v
Let r(m) = m**3 - 14*m**2 + 22*m + 19. Let f be r(12). Which is smaller: -26 or f?
-26
Let m be ((-8)/1020)/((-128)/24). Which is greater: 1 or m?
1
Let m = 184/55 + -28/11. Suppose 3 + 15 = 18*p. Are m and p nonequal?
True
Let p = 951.6 - 954. Which is smaller: 6 or p?
p
Suppose 5*i + v - 36 = -3*v, 4*i - v - 12 = 0. Suppose 2*z = -3*x - 9, -x - i*z - 8 = 3*x. Suppose 4*q + 2*h = -h - 34, -3*q - 2*h - 25 = 0. Does q = x?
False
Let z = -6.9 - -7. Let p = -0.03 - -0.58. Let a = p - 0.61. Which is smaller: z or a?
a
Suppose -5*j = -j + 16. Let r(g) be the first derivative of 2*g**2 + g - 7. Let v be r(-1). Do v and j have the same value?
False
Let u = -984 - -871. Is -112 at least as big as u?
True
Let u(s) = 17*s - 14*s - 9*s + 5 + s**2. Let q be u(5). Which is smaller: -1/14 or q?
-1/14
Suppose -v = -2*v + 48. Suppose 0 = 4*w - 0*w - v. Suppose -5*x + 0*x + 4*f - w = 0, 12 = x + 4*f. Which is greater: x or -6/5?
x
Suppose -2 = 4*z - 6*z. Let n be 2 + z*(-2)/(-10). Which is smaller: n or 2?
2
Let l(j) = j**3 - 34*j**2 - 34*j - 39. Let t be l(35). Is -60/17 != t?
True
Suppose 3 = -y, -5*r - 4*y + 3 = -0*r. Suppose -2*z = 5*k - 3, k - 42 = -8*z + r*z. Is z greater than or equal to 10?
False
Let p(c) be the third derivative of -5/3*c**3 - 4*c**2 + 0 + 1/60*c**5 + 0*c - 1/24*c**4. Let q be p(0). Is q greater than -10?
False
Let o(w) = -10*w**3 - w**2 - 2*w - 1. Let a be o(-1). Suppose a = m + 8. Suppose 0 - 4 = z + 5*s, -m*s - 3 = -z. Which is smaller: z or -2?
-2
Let z = 23.7 - 139.7. Let o = z - -118.32. Let f = -2.4 + o. Is f <= 3?
True
Let g = 6292 + -6293. Let x = 59251/79 - 750. Is x at least as big as g?
True
Suppose 3*o + o = -k - 15, -11 = 4*o + 5*k. Let n be ((-3)/o - 0) + 21/4. Which is smaller: n or -5/2?
-5/2
Suppose 0 = -7*q + q - 24. Is q smaller than 1?
True
Let b = -543 + 558. Is 9 smaller than b?
True
Suppose n - 4*s + 0*s - 11 = 0, 4*n + 5*s = -19. Let r be -3 + n/(5/(250/(-8))). Are 2 and r unequal?
True
Suppose 4*y = 27 + 13. Let c = 1.4 + -0.4. Which is greater: c or y?
y
Let k = 1246 - 1245.9. Is k bigger than -0.469?
True
Let k(z) = z**2 + z + 1 - 3 + 0 + z. Let r be k(4). Let t(o) = o**3 - 7*o**2 - 2*o - 25. Let j be t(8). Which is smaller: r or j?
r
Let x be (12/(-9))/(-6 + (