derivative of g**3/3 + 5*g**2/2 + g + 3. Let p be h(-6). Suppose -4*v = p - 3. Do -1 and v have different values?
False
Let t = 0.26 - 0.46. Let w = 12 + -11.95. Which is smaller: w or t?
t
Let b(z) be the second derivative of 7*z**3/2 - 27*z**2/2 - 26*z. Let t be b(3). Which is bigger: 37 or t?
37
Let o(t) = t**2 - 8*t. Let w(b) = -b**2 - 6*b + 10. Let m be w(-7). Suppose -7*u + m*u = -24. Let n be o(u). Is n equal to -12?
True
Suppose 2*n = 7*n - 20. Suppose -4*r = 6*g - 4*g + 6, 3*r + 7 = -n*g. Is 16 bigger than g?
True
Let a = -1655 - -1657. Let j = -0.5 + 1. Which is smaller: j or a?
j
Let q = 1.3 + 7.7. Let l = -9/17 - -79/85. Which is greater: q or l?
q
Let v(s) = s**2 - 19*s + 8. Let r be v(17). Let j = 22 + r. Which is greater: j or -23/5?
j
Suppose -5*h + 97 = -2*x, 0 = -5*x + 3*h - 164 - 31. Which is smaller: x or -43?
-43
Let i = -186 - -380. Suppose 4*v = 2*l + i, l - v + 82 = -2*v. Which is smaller: -88 or l?
-88
Suppose 0 = -2*u + x + 2, -u - 2*x = -3*u - 2. Let i = 1082/453 + 42/151. Which is smaller: u or i?
i
Suppose -288 = 8*m - 6*m. Do m and -144 have the same value?
True
Let u = -5.53 + 5.53. Is u smaller than -309?
False
Let h be (-1556420)/(-2550) + (4/(-10))/1. Let r = h - 610. Which is smaller: r or -1?
-1
Suppose q - 11 = 4*t + 2*q, 0 = 4*q - 4. Suppose -4*v - 65 = -2*v - 5*g, 5*g = 4*v + 105. Let p be 1/(-4) - (-55)/v. Is p bigger than t?
False
Let d = -533 - -509. Is -26 < d?
True
Let c = 0.42 + 2.6. Let n = c - 0.02. Does -10 = n?
False
Let w = 1 + -2. Let k be ((-24)/(-20))/(150/250). Which is smaller: w or k?
w
Let g = 343.5 + -335. Which is greater: g or -1/4?
g
Suppose -106 = -14*b - 36. Suppose 0 = -2*f + 9 + b. Is 11 at least as big as f?
True
Let j = 16.4 + 0.6. Let f = 17.1 - j. Is -2 greater than or equal to f?
False
Let l = 91.3 - 91. Which is greater: -0.3 or l?
l
Let x(k) = -k**2 - 10*k + 2. Let z be x(-10). Suppose 5*m = 3*m - u + 13, 0 = -3*u + 15. Suppose t = m*j + 3, z*j + 9*t = 4*t - 7. Is -1 greater than j?
False
Let p = -949 - -811. Is p bigger than -136?
False
Let c(y) = -28*y**2 + 3*y + 8. Let f be c(-3). Does f = -253?
True
Let j = 1.733 + -0.323. Let v = j + -1.31. Which is bigger: 2/83 or v?
v
Suppose -7*p + 65 = -2*p. Suppose 2*u - 17 = p. Which is bigger: u or 13?
u
Suppose -3*x - 12*s = -8*s + 25, s = -3*x - 31. Which is smaller: x or -9?
x
Let m(b) = -b**3 + 8*b**2 + 14*b - 12. Let v be (-20)/(-2) + (-3)/3. Let c be m(v). Let x = c - 36. Which is smaller: x or -2?
x
Let y be (-13)/2 + 6/4 - 262. Which is greater: -264 or y?
-264
Let y = -1707/13 - -131. Let c(f) = -f - 8. Let h be c(-9). Is y less than h?
True
Let j be (-1 - 0)*((-528)/60 + 11). Does j = -2?
False
Let n(v) = v**3 + v + 1. Let i(c) = 4*c**3 - 16*c**2 - 10*c + 14. Let r(h) = -i(h) + 5*n(h). Let w be r(-15). Which is smaller: w or 1/2?
w
Let a = 16.73 + -14.73. Which is smaller: 2/171 or a?
2/171
Let g(t) = -6*t - 2. Suppose 0 = -3*j + 5*j - 3*q + 22, 0 = -j - 3*q + 7. Let b be g(j). Which is smaller: -0.1 or b?
-0.1
Let o = 29 + -27. Suppose -5*q - 49 = -4*j + o, j = 4*q + 21. Suppose j*l = 7*l + 4. Are l and 1 equal?
False
Let i = 27 - 5. Suppose -5*w - i = -12. Let u be ((-3)/6 - 1)*2. Which is bigger: u or w?
w
Let v = 21/11 + -368/187. Let g be (-2)/(-6) - (-1067)/(-33). Let h = -32 - g. Is v < h?
True
Suppose -9*k = -38 - 7. Let s be (-4)/22 + (-80)/44. Let z be (s/(-6))/(2/(-2)). Are z and k nonequal?
True
Suppose 21*j - 24*j + 15 = 0. Suppose 3*k = x - 21, x + j*k = -4*x + 45. Let b = 1 - 1. Is b greater than x?
False
Let j = -2041 - -2039. Let d be 1 + (-2)/((-2)/15). Which is bigger: d or j?
d
Let a = 99 - 691/7. Let x = 377/5565 - 2/1855. Which is smaller: x or a?
x
Let z be 2216/20 - (-2)/10. Suppose -6*u - 5*v = -8*u + 39, -3*v = 3*u - z. Which is greater: u or 33?
33
Let k be ((-20)/(-4 + 9))/(-2). Is k bigger than 492?
False
Suppose 25 = -5*n - v + 22, -5*n + 3*v - 11 = 0. Are n and 2/403 equal?
False
Suppose 0 = -2*t - 3*a + 545, t - 290 = 2*a - 0*a. Is 279 bigger than t?
False
Let i(c) = 8*c**2 - 104*c + 5. Let d be i(14). Is 463/4 at most as big as d?
True
Let d be 1*(-3 - -2) + (1 - -2). Suppose -5*r - i + 4 = 0, -d*r + 5*i + 10 = 3*r. Which is bigger: 26 or r?
26
Let b = 673 - 28941/43. Which is smaller: b or -1?
-1
Let n = -238 + 237. Let t = 123223/75 + -1643. Which is greater: t or n?
t
Suppose 27 = 3*t - 0*t. Let x(p) = p**3 - 10*p**2 + 11*p - 11. Let h be x(t). Does h = 1?
False
Let x be (2/(-2) - 2) + -1. Let z be (18/x)/(3/(-6)). Let p be (-48)/14 + z/21. Is -3 > p?
False
Let c(y) be the second derivative of -y**5/20 + 13*y**4/6 - 5*y**3 + 39*y**2/2 - 25*y. Let v be c(25). Does -2/5 = v?
False
Suppose -5*t - 71 - 39 = 0. Suppose -4*q + 54 = 138. Is t smaller than q?
True
Let s = 0.02 - -0.98. Let j = s - 0. Let t = 465 + -458. Is j less than or equal to t?
True
Let i = -35.8 - -17.9. Let r = 17.64 - -0.36. Let w = r + i. Which is smaller: 7 or w?
w
Let t be -11 - 1/(0 + 1 - 2). Which is smaller: t or -19?
-19
Let b be 2 + 1708/(-848)*1. Do b and 1 have different values?
True
Let h be (((-56)/49)/(-4))/1. Suppose 9 = -2*w - 11. Let n be -3 + 3 - (-4)/w. Are n and h unequal?
True
Let z = -23.4 + 28.4. Let d = 2 + -1.95. Which is smaller: z or d?
d
Suppose -t + 4*v + 12 = 0, 5*t - t + 3*v = 10. Suppose -2*z = -t*z + 2. Which is smaller: -2/121 or z?
-2/121
Suppose 17 + 3 = -4*y, -q = 2*y + 12. Let v be (-3)/15*q/11. Is 1 bigger than v?
True
Let m = 363/20 + -81/4. Let c = m - -169/90. Which is smaller: c or -6?
-6
Let h be (-2)/(-7) - 276529/(-1001). Let i = 277 - h. Is i greater than 0?
True
Suppose 0 = f + 5 - 44. Suppose -s + f = 3*p, -4*s + 116 = 4*p - 0*p. Suppose s = -4*y - 2*o, -4*y + o + 3*o - 24 = 0. Is y < -5?
True
Suppose 4*i = 4*i + 5*i. Let c be 4/(-8) + i - (-5)/(-2). Is c <= -14/5?
True
Suppose -4*g + 2 = -5*f - 9, -4*g + f = -31. Let s = 1 + g. Let b be ((-2)/10)/((-6)/s). Are b and 2 non-equal?
True
Suppose 0*a - 4*a - 21 = -5*u, -4*a - 2*u - 14 = 0. Let k be 3/((-126)/176) - a. Which is smaller: k or 1?
k
Suppose 6*a = 4*k + 2*a + 700, 340 = -2*k + 4*a. Which is smaller: -177 or k?
k
Let q = -7.04 - -47.14. Let k = q + -40. Let p be (-72)/(-154) - (-2)/(-7). Are k and p nonequal?
True
Let x be 60/(-45)*30/4. Let m = 4 + x. Which is smaller: -7 or m?
-7
Suppose h + 8 = -v, h - 2*v - 2 = -1. Let g be (-22)/33*(-3)/(-1). Let s be (g/(-1) - 7)/1. Is s at least as big as h?
True
Let z be 1641/(-2188)*(-1 - (-35)/33). Let i be (0*(2 - 1))/(-2). Which is bigger: z or i?
i
Let m be (8/1)/4 - -49. Suppose -4*q + 33 = 4*b - q, 3*b - 3*q = m. Let l be (3 + (-52)/b)/10. Is -1 at most l?
True
Let p = 312 - 301. Which is smaller: p or 72/7?
72/7
Let u = 0.1404 - 0.0404. Is u at least -548?
True
Let u = -434 + 434. Is 17/14 at least as big as u?
True
Let y = 59/16 - 4913/1328. Let k = y - 244/415. Which is smaller: -1 or k?
-1
Let g = -83.4 - -83. Let s = g - 1.6. Is s less than -15?
False
Suppose 2 = 5*q + f - 2*f, 10 = -5*f. Suppose -c + 109 = 2*a + 2*c, -a - 4*c + 52 = q. Is a > 56?
False
Let z = -1993 - -1994. Is z bigger than 4/683?
True
Let h be -3 + 0 + -2 + 77. Suppose -5*q = 17 - h. Suppose 0*i + 3*i + 3*g = -12, 0 = -i + 4*g + q. Are i and 3 unequal?
True
Let q = -297 + 297. Is q less than or equal to 3.6?
True
Suppose 4*o + 2*o - 6 = 0. Let z be (o/4)/(2425/40). Is 0 > z?
False
Suppose a - 3*a = k - 8, 0 = 5*a + 4*k - 20. Let d be a - 8/(-44) - 4. Which is greater: 1 or d?
1
Let v(j) = 2*j - 9. Let b be v(6). Let c be (-6)/3 + 1 - -6. Suppose -c*p - b + 13 = 0. Is p at most as big as 2?
True
Let p = 31 + -29. Which is smaller: 19/10 or p?
19/10
Suppose -f = -0 - 3, -4*o + 81 = -5*f. Suppose -4*a - o = -68. Is a at most 13?
True
Let v be (-28)/(2 - (-2 + 3)). Let f be 1 + -21 + 0 - (-7 - -17). Which is bigger: v or f?
v
Let a = 241 + -188. Which is greater: 2 or a?
a
Let m = 263 + -261. Let u be 1/(-1)*(-2 + -1). Which is smaller: u or m?
m
Let f = -1917.684 + 1782.6. Let y = f - -135. Which is bigger: y or -1/2?
y
Suppose -d - 4*j = 27, 2*d - 7*j = -2*j - 80. Is d equal to -310/9?
False
Suppose 0 = 5*i + 16 - 6. Let h = -236/395 - 1/395. Is h less than i?
False
Suppose o = -3*o. Suppose 5*m + 3*d = -7 + 29, -3*m + 17 = -2*d. Suppose -31 = 5*w + t, 4*w - m*w = 4*t + 10. Which is big