 b(u) = -2*u**3 + 6*u**2 - u - 9. Let a(v) = 3*v**3 - 6*v**2 + v + 10. Let r be 0 - (-1 - -3 - -2). Let h(q) = r*b(q) - 3*a(q). Let y be h(-6). Is y < -1?
False
Suppose m + 3 = 2*m. Suppose -o = -m*t - 20, o = 7*t - 2*t + 32. Which is smaller: -7 or t?
-7
Let v = -41.7 + 40.7. Let a = 0.15 - 0.34. Which is smaller: v or a?
v
Let v(t) = t**2 + 10*t + 54. Let n be v(-4). Are n and 28 equal?
False
Suppose 0*w = -o + 3*w + 58, 5*w = 2*o - 113. Suppose -2*k + o + 10 = -u, k + 4*u - 43 = 0. Is 30 < k?
True
Suppose -459*h + 204 = -442*h. Are h and 0 unequal?
True
Let s(t) = -3*t**3 - 9*t**2 - 8*t - 17. Let x be s(-4). Which is bigger: 322/5 or x?
322/5
Let b = 155/22 + 60/11. Is b equal to 12?
False
Suppose d - 2*v = 3, 3*d - 5*d + 24 = 2*v. Is 10 < d?
False
Let l = 1 + 1. Suppose 0 = 3*t + l + 1. Let w be 3 - (21/7 + 2/6). Which is smaller: w or t?
t
Let n = -19.9 + -77.1. Let s = -113 - n. Which is smaller: s or -2/7?
s
Let r(y) = y**3 - 4*y**2 - 8*y + 11. Let i be r(5). Suppose 10 = -5*g - 2*l + 3, -4*g = -4*l + 28. Is g equal to i?
False
Suppose -4*n - 2*j + 24 = 0, 2*n = -4*j - 5 + 17. Let r = n + -21. Is r less than or equal to -13?
True
Let y be 18/((-55)/200*382). Let l = 2/191 - y. Which is greater: 0 or l?
l
Let s(j) = j**3 + 7*j**2 + 2*j + 10. Let k be s(-5). Let b(o) = -40*o + 11. Let z be b(-1). Which is smaller: z or k?
k
Let w be 3*(-1 + (-2 - -4)). Suppose 0 = 2*j - 2*m - 24, -m - 52 = -5*j + 2*m. Let l be w + (3 - j) - 1. Which is smaller: l or -1?
l
Let f = 138.5 + -137. Is f greater than 2/7?
True
Let k = -15.63 + 16. Let n = k + -0.31. Which is smaller: n or -3/5?
-3/5
Let k = 43/2 + -22. Suppose 2*v = 5*d - 28, 0 = -4*v + v + 3*d - 24. Let n be (1 + v)*40/12 + 1. Which is smaller: k or n?
n
Suppose -649 = 43*q + 469. Which is greater: q or -9?
-9
Let a = -310 - -303. Which is greater: -45 or a?
a
Suppose j - 57 = 168. Let f be (-18)/j*(1 + -16). Let b = 6 - 6. Is b <= f?
True
Let q = -21691/4015 - -2/803. Let g be (20/8 - 2) + 54/(-10). Let d = g - q. Which is smaller: 0 or d?
0
Let f = -9125/2 - -4832. Which is greater: f or 270?
270
Suppose -5*s + 1089 = 3*r - 0*r, 5*r = -4*s + 879. Which is greater: s or 1/4?
s
Let k = -3/96605 - -12365899/14780565. Let r = k + -18/17. Are r and 1 equal?
False
Let i(a) = -a**2 + 3*a. Let u = 17 - 14. Let f be i(u). Suppose 0 = -f*v + v - 6. Are 7 and v nonequal?
True
Suppose 2*w = 5*w + 9, 2*h - 495 = 5*w. Is h greater than or equal to 2/5?
True
Suppose -4 = -2*s - 72. Let w = -35 - s. Is -12/25 at most as big as w?
False
Suppose 3*l - 4*d - 197 = 0, -3*l + 2*d = 2*l - 347. Let q = l + -354/5. Suppose 4 = -2*z + 2. Which is smaller: q or z?
z
Let m = 103 - 50. Let z = -29 + m. Suppose 7*h + z = 3*h. Which is greater: h or -2?
-2
Suppose 282*f + 6 = 288*f. Which is smaller: f or -22/67?
-22/67
Let w = -1772 + 1615. Which is greater: w or -156?
-156
Let u be ((-2)/4)/(4 + 45/(-10)). Which is bigger: 11/9 or u?
11/9
Let u be -4*6/(24/(-5)). Suppose 0 = -u*w - 23 - 62. Is -17 at most as big as w?
True
Suppose 5*f - 9 = -2*c, -2*f = -4*c + 9*c - 12. Let s be (f/(-12))/((-36)/96). Let a = 1.9 - 2. Which is smaller: s or a?
a
Let m = 918 + -6441/7. Let b(o) = o - 15. Suppose 5*x = -2*i + 67, -5*i + 1 = x + 6. Let d be b(x). Which is smaller: m or d?
m
Let j = -16.8 + -3.2. Let q = -3 + j. Let n = q - -23.03. Which is greater: n or 2?
2
Let h be 5 + -2 - (10 + -1). Let c be ((-6)/(-10))/(h/(-60)). Let p be 1 - ((-6)/2)/(99/(-27)). Which is greater: p or c?
c
Suppose -225 = 10*h - 3995. Which is greater: 378 or h?
378
Let n be ((-8)/(-10))/((-1)/(-10)). Let u be n/(-52) - 126/26. Let f(p) = -p**3 - 8*p**2 - 10*p + 7. Let l be f(-6). Is u at least as big as l?
True
Let q = -180 + 127. Let n = q + 63. Suppose 2*a + 4*s = 26, 4*a - 3*s + 0*s = 30. Is n at least as big as a?
True
Suppose 5*l + 4*n = -5, -4*l + n = -n + 4. Let m be 909/6048 + 4/(-14). Let h = -1/32 + m. Which is greater: l or h?
h
Let u be (26917509/12)/((-12412917)/(-9480)). Let x = -7/125383 + u. Let r = x - 1713. Is r less than -1?
False
Let m = 6 + -11. Let a = m - -9. Let i be a/(-22) + 27/(-33). Which is bigger: 1/10 or i?
1/10
Suppose -3*p + h + 30 = -14, 4*h + 64 = 5*p. Let m be ((-2)/2)/(3/(-42)). Is p > m?
True
Let o = -1899 - -1916. Which is greater: 0.07 or o?
o
Let i be 3 + (-737)/248 + (-19)/152. Which is greater: 1 or i?
1
Let w(p) = 10*p + 291. Let n be w(-25). Does n = 24?
False
Let g = -3 + 5. Let a = -38113/1391 + -2/6955. Let r = -361/15 - a. Is g > r?
False
Let v(h) = 3*h + 71. Let i be v(-21). Is 29/4 bigger than i?
False
Suppose 3 + 2 = i. Let b = 99 - 96. Suppose i = b*g - 1. Which is greater: 4/5 or g?
g
Let w be ((-46)/(-69))/(2/12). Let m be (-5)/w*10/50. Which is smaller: m or 5?
m
Suppose -13*s = -v - 11*s + 129, 476 = 4*v + 2*s. Which is bigger: 123 or v?
123
Suppose 4*i - 12 = -0, 2*g + 5*i - 27 = 0. Suppose 0 = -g*b + b. Let y be 2 + b - 60/6. Which is bigger: y or -7?
-7
Suppose 0 = -5*k - 5*z + 25, -5*k - 4*z + 0*z = -23. Let s be (-4 + k - 1)/(-2). Which is smaller: s or -1/24?
-1/24
Suppose 5*b - 1 + 9 = z, -5*z + b = -16. Suppose 5*j = l + 25, -2*l = 2*j - z*l - 13. Suppose 0 - 4 = j*t. Is t less than or equal to -1?
True
Let j = 18 - 7. Let q = -0.034 - -0.034. Which is smaller: q or j?
q
Let d = -434 - -479. Is 43 less than d?
True
Suppose -2*h + 3446 = -2*l, 12*h - 9*h + 3441 = -2*l. Is l != -1723?
True
Suppose 3*r - 18 = -3*k, k + 3 - 5 = 0. Let d be -4 - 2*2/r. Let z(s) = -s**2 - 5*s - 7. Let g be z(-5). Do d and g have the same value?
False
Let c be ((-32)/(-4) + -11)*(-2)/120. Which is smaller: c or 0?
0
Suppose -a = a + 4. Let r be (8/12)/(a/(-15)). Suppose -19*p = -16*p - 12. Is r bigger than p?
True
Suppose 0 = 7*t - 272 + 279. Let j = -31 + 30.43. Is j <= t?
False
Let r(v) = -2*v**2 - 7*v - 5. Let l be r(-4). Let g = 14 + l. Is g at least as big as 15?
False
Let w = -0.1122 - -12.1122. Which is smaller: 42 or w?
w
Let d(v) = -41*v - 39. Let o be d(-1). Which is smaller: 10/13 or o?
10/13
Suppose -1 = -g + 3*w - 2*w, -3*g = w - 11. Is g smaller than -17.4?
False
Let k = -0.998 - -0.898. Let v(d) = 6*d + 8. Let u(i) = -5*i - 7. Let p(z) = -4*u(z) - 3*v(z). Let y be p(-5). Is k equal to y?
False
Let o be (1/(-39))/((-6)/(-12)). Let m(v) = 3*v - 7. Let t be m(-3). Let y be (t/1)/(-4) - 5. Does y = o?
False
Let q be ((-16)/(-12) - 2) + 22/(-21). Suppose 0 = 5*n - 10*n + 5. Let j be 1/(n/(-4)) - -2. Which is greater: q or j?
q
Let a be (-8)/531*(-135)/(-180). Which is smaller: -1 or a?
-1
Let g(c) = c - 2. Let s be g(2). Suppose 5*b - 4*p + 50 = 0, -b + 14 = -s*b + 4*p. Let n = -2 - b. Are n and 4 non-equal?
False
Let c be ((-1030)/(-15) + -9)*(-9)/(-15). Which is greater: 37 or c?
37
Let z = 220 + -62. Suppose z = 10*f - 232. Are f and 39 equal?
True
Let f = 48.065 - 48. Let m = f - -0.935. Which is smaller: m or 0.03?
0.03
Let k = 96 + -96. Let v = -0.3 + 0.25. Let y = 2.95 - v. Are k and y non-equal?
True
Suppose -49*i + 10 = -44*i, -k + 3*i - 123 = 0. Is -115 bigger than k?
True
Let s = -244/1071 - -2/357. Let j = -1227/5 + 245. Which is greater: j or s?
s
Suppose 4*r = -2*h + 20, 4*r - 4*h - 5 = 3. Let p be 5*(-6 - r)*4. Let a be p/14 - (-16)/56. Is -14 less than a?
False
Let t be ((-4)/6)/(-1)*-30. Let b be (9/(-15) + 0)*-5 + 0. Suppose w + b*y + 29 = -7, 2*w + 3*y + 57 = 0. Which is smaller: w or t?
w
Let m = 27 - 29. Let n be 1 + (m - (-5 - -3)). Let s be (1 - (n + 2)) + 10. Which is smaller: 9 or s?
s
Let c(g) = -2*g**3 - 3*g + 2. Let q be c(1). Let x = q - -56. Are 52 and x equal?
False
Suppose 369 - 366 = 3*o. Is 72/43 greater than o?
True
Let o = -0.182 - 0.818. Let n = 47.92 - 48. Is o equal to n?
False
Let d = -12.73 - -6.73. Is 3/26 less than or equal to d?
False
Suppose n = -4*f - 9, -4*f + 9*f + 5*n = -30. Which is greater: f or 1/148?
1/148
Let j = 406 - 373. Which is bigger: 37 or j?
37
Let w = -69 - -76. Let b be 2 + -3 - (-17)/w - 1. Is b greater than 1?
False
Let n = -449 - -491. Which is greater: 47 or n?
47
Suppose 3*x = 3 + 3. Suppose -3*h - x = -f, -h = -3*f + 5*f - 4. Let j be -3 - -1 - 65/(-32). Which is greater: h or j?
j
Let q(o) be the third derivative of -o**6/120 - o**5/20 + o**3/3 - 4*o**2. Let p be q(-3). Let x be (6/(-84))/(p/8). Which is bigger: x or 1?
1
Le