11*y + 17. Let g be t(-8). Which is bigger: g or -1?
-1
Let f = 0.3 + -0.2. Let r = -0.38 + 0.13. Let s = -0.05 + r. Which is bigger: f or s?
f
Let r(h) = 26*h - 37. Let j be r(-4). Are j and -1 unequal?
True
Let i be (-43004)/42 - (-8)/(-84). Is i at most as big as -1025?
False
Let y = 44 - 77. Let m = y + 33. Which is smaller: -0.11 or m?
-0.11
Suppose 5*u - 3*w + 0 + 5 = 0, 3*u + 3*w = -3. Is u smaller than -2/505?
True
Let j = 9 - 9. Let o be (24/(-390))/(3 + (-154)/50). Which is greater: j or o?
o
Suppose -11*m + 232 = -21. Let z be 0 + -1 - -1*23. Do z and m have the same value?
False
Let n(m) = -5*m + 2. Let p be n(-4). Let v = -23 + p. Let c = 6 - v. Which is bigger: c or 5?
c
Let h(f) be the second derivative of -f**4/4 - f**3/6 - 4*f. Let n be h(-1). Let v = 1/190 - 767/1330. Which is greater: v or n?
v
Let i = 0.1263 - 0.1263. Is -92.5 at most i?
True
Let n = -1 - -0.8. Let o = -0.222 - 0.008. Let b = o + 0.03. Is b at least n?
True
Suppose -3*k = -k - 4*a + 2, -1 = k + 3*a. Let u = 3479/61765 + -2/1123. Is u greater than k?
True
Let x(i) = 40*i - 56. Let c be x(-3). Which is bigger: -175 or c?
-175
Suppose 7*x + 3 = 8*x. Suppose 6*t + x*b - 24 = t, 30 = 5*t + 5*b. Is t > 14/9?
True
Let t(d) = -d**3 - 8*d**2 - d - 1. Let l be t(-8). Suppose -3*m - c = -l, 0*m - 4*c = 3*m - 10. Suppose -6*f + 12 = -3*f. Which is smaller: f or m?
m
Let f be ((-23)/(-4))/(6/24). Let k = -114/5 + f. Let y = 1 - 1.2. Which is greater: y or k?
k
Let v = -17.962 - 0.338. Let i = -11.3 - v. Which is bigger: i or 10?
10
Let r = -2730/17 - -980002/6103. Is r equal to 0?
False
Let c(g) = -3*g**2 + g + 32. Let y(w) = -4*w**2 + w + 32. Let h(u) = -3*c(u) + 2*y(u). Let m be h(6). Which is smaller: -15 or m?
-15
Let h = -342 + 342. Which is bigger: h or 3/122?
3/122
Let w(q) = -q**3 - 5*q**2 + 6*q - 1. Let z be w(-7). Suppose -112 + z = 3*a. Are a and -1 non-equal?
True
Suppose 20 = 2*w + 4*i, 4*w + i = -3*i + 28. Suppose -10 = w*y - 2. Let z = 225 - 234. Which is greater: z or y?
y
Let i = 325859/166 + -1963. Is i >= -1?
True
Let c(l) = l**3 - 11*l**2 - 22*l + 1. Let r be c(13). Are 55 and r nonequal?
True
Let x(i) = 5*i**3 + 2*i**2 - i. Let u = -1 + 2. Let w be x(u). Suppose 2*v + w + 2 = 0. Which is bigger: -3 or v?
-3
Suppose -16 = -4*m, -5*w - 2*m = -8*w + 58. Let u = w - 87/4. Which is greater: 1 or u?
1
Suppose 10*d - 6 = 8*d. Let x be 2 + 7 + d + -1. Is 13 less than or equal to x?
False
Let m = 40 + -39. Which is bigger: 2/441 or m?
m
Let o = 128.57 - 129. Let f = -0.47 - o. Let c = 0 - 1. Which is greater: f or c?
f
Let t(i) = -i**3 + 18*i**2 + 2*i - 36. Let l be t(18). Which is smaller: -10/9 or l?
-10/9
Suppose 0 = -4*i - 16*t + 14*t + 2, 2*i - 2*t = -8. Which is smaller: i or 1/5?
i
Let p = -893 + 891. Is p not equal to 0.0502?
True
Suppose 2*g = -2*z - 10, 6*z = 3*g + 2*z + 8. Let c be (g/(-10))/((-22)/50). Which is bigger: -2 or c?
c
Let v = -74 - -92. Let t be (-1)/v*(-3 - 136/(-24)). Which is greater: t or -1?
t
Suppose 3*m = 5*g, -4*g - 2*m - 3*m - 37 = 0. Let j be (4/30)/((-2)/g). Which is smaller: -0.06 or j?
-0.06
Suppose 2*x = -3*t + 28, 4*t + 5*x = -0*t + 49. Let q be (-105)/t*12/(-15). Is 14 at most as big as q?
True
Let v be -3 + (-3)/((-9)/6). Let b be (19 + v)/(-2) - 0. Let h be b/(-30)*10/12. Is -1 >= h?
False
Let g = -18 - -23. Let x = g + -4. Which is bigger: x or -3?
x
Suppose 4*v = -c - 0*v - 20, 4*c = -2*v - 10. Let m = 11 + -11. Let i = c - m. Which is smaller: 2/25 or i?
i
Let f(y) = y**3 + 10*y**2 - 10*y + 15. Let u be f(-11). Let a = -4293 - -38677/9. Does a = u?
False
Let p = -62.7 - -66. Let t = -2.3 + p. Does 13 = t?
False
Let k = 230 - 229. Let o be -2 - 1*(-4 + 3). Let x be ((-3 - -1) + o)/4. Which is greater: x or k?
k
Let p = -13 - -19. Suppose -5*z = -p*z + 1. Let a be (-1 + 3 - 3)*z. Which is greater: a or 1?
1
Let f be -4 - (-11 - -2)/1. Let a be (f/285)/((-2)/(-12)). Which is bigger: a or -1?
a
Suppose s - 6*l - 21 = -l, 5*s - 4*l - 84 = 0. Suppose 20 = -12*m + s*m. Let j(i) = -i**2 + 5*i. Let g be j(3). Is m at most as big as g?
True
Suppose -u = -3*s - 22, s + 5*u + 14 = 2*u. Suppose -114 = 2*n + 4*d, 0*n + 62 = -n + 3*d. Let j = n - -52. Which is smaller: s or j?
s
Let w(x) = x**3 - 9*x**2 + x - 33. Let q be w(9). Which is greater: q or -18?
-18
Let r = 81 - 104. Let j(u) = -u**3 - 23*u**2 - u - 24. Let b be j(r). Is b not equal to -5/6?
True
Let t = -39 + 157/4. Suppose 5*n = -2*p + 10, -2 = -9*p + 12*p - n. Does p = t?
False
Suppose 6*f = 0, 3*f - 5*f = 3*g - 234. Is 64 > g?
False
Let b = 35.83 - 36. Let d = 147.57 + -141.4. Let v = d + b. Which is smaller: v or -0.1?
-0.1
Let m be (132/(-84) - 12/(-6))/((-3)/(-86)). Suppose 0 = 2*u - 5*v - 2, 0*u - 4*v = -3*u + 17. Which is bigger: u or m?
m
Let m(a) = -7*a**2 + a. Let g be m(-2). Let i be (12/27)/((-20)/g). Suppose 0*d - 2 = l + 4*d, d = 3. Is i greater than or equal to l?
True
Let y = 36.927 + 0.073. Let i = y - 37.1. Is -14 != i?
True
Let r(y) = 2*y + 14. Let l be r(-7). Suppose 4*k + l = -4. Are k and 2/33 equal?
False
Suppose 0 = 4*r - 8*r - 36. Let f = r - -12. Suppose -f*x = 3*z - x - 2, -5*z = -2*x + 2. Are 3 and z unequal?
True
Let b = -713/5 - -142. Let w = -2 - -6. Suppose 3*q - 1 = w*q. Is q at least b?
False
Let l = 612 - 613. Is l != -410?
True
Suppose 0 = -3*j - j - 3*l - 41, j + 2*l + 4 = 0. Let o be (-10)/14 - j/(-49). Let f be 0/o + 0/(-1). Is 6/13 less than f?
False
Suppose -4*q + 5*n = -47, q - 16 = 3*n + 1. Let o(x) = x**2 - 7*x - 5. Let l be o(q). Which is smaller: 17/5 or l?
l
Let a be 31/(-62)*(-44)/6. Which is smaller: 2 or a?
2
Let h(v) = -4*v + 17. Let y be h(5). Let f be -3 + (-1)/y + 2. Let g = 0.6 + -8.6. Which is bigger: g or f?
f
Let l be -1*(-3 + 4)*-3. Suppose -5*x + 0 = 3*v + 3, 0 = -2*x - l*v - 3. Suppose -h - h = x. Is -11 less than h?
True
Let z = 16109/884 + 6/221. Let b = z + -18. Which is smaller: -2 or b?
-2
Suppose -3*v = 48 - 54. Suppose -8*q - 3*u = -3*q - 29, -32 = -4*q + v*u. Let a be ((-8)/3)/((-1)/3). Which is greater: a or q?
a
Let w = 6 + -5.9. Let v = -4.6 - 5.4. Let b = v - -10.5. Which is smaller: w or b?
w
Let u(f) = -f**3 - 6*f**2 + 2*f + 5. Let j be u(-7). Suppose -2*m = 4*q - j, 6*m - 2*m = 0. Let s be 0 - 3 - (184/23)/(-2). Is q bigger than s?
True
Suppose -2*n - 4*n = 0. Let x be 66/(-18) + (3 - n). Let a be 36/(-15) + (-6)/(-15). Which is bigger: a or x?
x
Let p(k) = -k**2 - k + 4. Let q be p(-3). Let y(o) be the second derivative of o**3/6 - o**2/2 + 6*o. Let t be y(-3). Is q greater than or equal to t?
True
Let y = -16.18 + 26.18. Which is smaller: y or 7?
7
Let t = -367 - -363. Which is smaller: t or -21/5?
-21/5
Let b = 1.33 - 1.7. Let d be (-152)/(-240) + (-44)/330. Is d less than or equal to b?
False
Let f = 5 + 1. Let u(z) = z**2 - 6*z + 5. Let k be u(f). Let t = k - 6. Is -1/2 bigger than t?
True
Suppose 5*c - 8 = -t, -3*t = -13*c + 11*c + 10. Suppose -3*f + 2 = -2*f. Let o be (-5 + -1)*f/(-22). Is c less than or equal to o?
False
Let q be (6/10)/((-6)/(-15)). Which is smaller: q or 4.8?
q
Let c = -0.24 + -38.76. Let x = -39 - c. Which is greater: x or -0.1?
x
Let s be 3/2 - 424/(-16). Let j be (s/21)/(8/6). Which is smaller: j or -1?
-1
Let t = -83 - -79. Let c be (196/(-21))/(t/6). Is 13 >= c?
False
Suppose 5*r = 392 + 1348. Suppose 5*s + 48 = r. Let g be (2/(-6))/((-5)/s). Is 3 at least g?
False
Suppose a + 4*a = -65. Suppose -6*p + 14*p = -112. Let f = p - a. Is f > -1?
False
Let h(q) = -26*q - 63. Let c(l) = 9*l + 21. Let a(z) = 17*c(z) + 6*h(z). Let x be a(-15). Which is bigger: 21 or x?
x
Suppose w = 3*w + 8, 3*w - 318 = -5*o. Suppose -2*s - o = -5*x + s, -5*s + 30 = x. Is x at most 14?
False
Let c(q) = q**2 - 100*q + 656. Let b be c(7). Which is smaller: b or 60?
b
Let c = 37713/43 + -877. Let v be ((-2)/(-6))/(258/(-1197)). Let w = c + v. Which is bigger: w or 3?
3
Let w = 1285 + -3895/3. Let f = -13 - w. Which is smaller: -9 or f?
-9
Let q(k) = 0*k**2 - 6*k + 6 - 3*k - k**2 + 0*k**2. Let u be q(-5). Suppose -5*f + 3*f = u. Is f greater than or equal to -12?
False
Let r = 467 + -446. Are 101/5 and r unequal?
True
Let q = -1060 - -918. Are -138 and q equal?
False
Let z = 0.2211 + -248.3211. Let r = 227 + z. Let l = r - -21. Is -0.1 at most l?
True
Suppose -5*z = -2*l + 18, 13*l = 1