et q(i) = -3*i**3 + 4*i**2 - 2*i. Let n be q(2). Suppose 340 = -17*s + 102. Let t = n - s. Which is bigger: t or 7/8?
t
Let s(p) be the third derivative of 1/120*p**6 + 0*p + 1/15*p**5 + 0 + 11*p**2 + 0*p**4 + 2/3*p**3. Let d be s(-4). Which is bigger: 2 or d?
d
Suppose a - 3*a = -6. Let m be (-2)/(9/a + -1). Let j be (-1 - 1)*m/2. Which is smaller: j or 0?
0
Let m be 448/6 + (-6)/9. Let j = m - 37. Let n = 22 - j. Is n less than or equal to -15?
True
Let p(h) = h**2 - h + 4. Let c be p(0). Suppose 0 = s + c*s + 55. Suppose -84*w = -87*w - 30. Which is bigger: s or w?
w
Suppose 24*y = 32 + 16. Let s = 2408/99 + -248/11. Which is greater: s or y?
y
Let k be -8*(-5)/120*3. Which is greater: k or -2?
k
Suppose -5*d - 70 = 5*w, 22 = -2*d + 2*w - 10. Let t = d - -7. Let p(c) = -c**2 + 3*c + 3. Let i be p(-2). Which is greater: i or t?
i
Let v(a) = -a**3 - 9*a**2 + 2*a + 14. Suppose 2*k - 5*k - 27 = 0. Let j be v(k). Which is smaller: -16/3 or j?
-16/3
Let p = -1 + 17. Suppose -p = -2*g + 6*g. Is g smaller than -5?
False
Suppose -2*m + 6*m = -9691852. Let u = 7087166537/2925 + m. Let a = u + 1/225. Which is bigger: 0 or a?
0
Let n be (-60)/(-90) + (-1313)/3. Which is smaller: n or -436?
n
Let w(s) = -2*s**2 - 50*s + 1. Let p be w(-25). Which is smaller: -9/34 or p?
-9/34
Let b be -4*(61/(-30) - -2). Let h be 156/351 - (-1)/18. Is b at most as big as h?
True
Suppose 13*u - 2741 = -2754. Which is bigger: -10/171 or u?
-10/171
Let i = 13.92 + -1007.92. Which is smaller: 0 or i?
i
Let o(j) = 5 - 2*j + 4*j - 2*j - 2*j. Let y be o(23). Which is bigger: -42 or y?
y
Suppose 21 = -4*p + 125. Suppose -3*g = 3*m - 90, -2*m = 5*g - 86 + 20. Does p = m?
False
Suppose 4*u = 2*k + 28, 0 = -3*k + u + 2 - 19. Let g = -6 - k. Let h = 5 - 6. Which is bigger: h or g?
h
Let a(o) = o**2 + 10*o - 7. Let h be a(-11). Suppose 0 = 7*t - h*t. Let y be 7*(-4)/(-24) + -2. Are y and t equal?
False
Suppose -4*q + 2*d = 10, -q - 2*q - 5*d + 12 = 0. Is q <= -3/2393?
True
Let j be 1083/(-99) - (-46)/(-759). Do -126/11 and j have different values?
True
Suppose 0 = -7*t + 10 + 46. Which is smaller: t or 222/31?
222/31
Let w be 1*-3 + 10/10. Let v be -4 + (1 - w) + -1. Suppose 0 = 4*h - 0*h - 24. Which is smaller: h or v?
v
Let w = 0.19 + 0.31. Let b = 0.4 - w. Suppose 4*c + 10 = -4*f - 58, -4*f - 12 = 0. Which is bigger: b or c?
b
Let c be 0 - 2/(18/(-15)). Suppose -3*y - 18 = -5*w, 5*w - 37 = -y - 3. Suppose 3*r = -f + 6, -f - f - w = 0. Is c at least r?
False
Let c = 239551/152 + -1576. Is -1 <= c?
True
Let j = -4263 - -136443/32. Let v = j + -3/32. Suppose 3 - 19 = -8*q. Are v and q nonequal?
True
Let h(a) = 2*a - 95. Let y be h(0). Let d = -113 - y. Which is bigger: d or -17?
-17
Suppose 0 = -3*m - m + 4*n - 4, m - 3 = -3*n. Which is greater: m or -14/85?
m
Suppose 8*c + 30 = 14*c. Suppose -v = -p - 4 + c, -3*p + 3 = 2*v. Is -1 at least as big as v?
False
Let c = -6 + 8. Suppose -4*k + 24 = -4*o, -c*k - 2*o - o + 32 = 0. Is 12 bigger than k?
True
Let m = 159 - 23. Is -0.3 smaller than m?
True
Suppose 4*t = -2*z + t + 12, -10 = -2*z - 2*t. Let h be (-13)/((-13)/3)*(-10)/(-3). Which is bigger: z or h?
h
Let u = -7/29 - -257/1305. Suppose 5*y = -0*y - m - 8, -y - 8 = -3*m. Let j = y + 3. Which is smaller: j or u?
u
Let o be 2*7/21*-219. Which is smaller: o or -144?
o
Let v = -106 + 106. Let f = 0.9 + 0.1. Let n = v - f. Which is bigger: 2 or n?
2
Let r = 2251 - 15670/7. Is 12 greater than r?
False
Let j = -74/39 - -216/91. Let x = 322/5 - 6742/105. Let p = j + x. Is -3 > p?
False
Let f = -73 + 50. Let u = 21 + f. Which is bigger: u or -3/4?
-3/4
Let m be ((-3)/1068)/(52/2952). Let c = 1/178 + m. Let o be 0/(-2 + 5 - 2). Is o > c?
True
Let u = 5.7 + -7.7. Is u > 1/2?
False
Let v = 58 + -38. Let u = v + -17. Which is smaller: u or 7/3?
7/3
Suppose 0 = 4*z + z. Suppose 124 - 80 = -11*x. Is z <= x?
False
Let s = -25 + 28. Let q be 3/((-18)/15) + s. Is 4/7 <= q?
False
Let b = -69/2 + 479/14. Let c = -0.07 + 1.07. Let f = -3 - c. Which is smaller: b or f?
f
Let q(j) = -4*j**2 - 3*j. Let f be q(-3). Are f and -131/5 nonequal?
True
Let l = -21 - -23. Suppose -4*g + 6 = -l. Suppose -7*k + 2*k = -5*j, k + 2*j = 9. Which is smaller: g or k?
g
Let i be 16/7 + (-4 - 156/(-42)). Suppose 3*n - 4 = -i*y, 5*n = 2*n + 6. Which is greater: 1/91 or y?
1/91
Let f = -573 + 949. Are -1 and f equal?
False
Let q = 19.99 + 0.01. Let v = q - 20. Which is smaller: -0.09 or v?
-0.09
Suppose -15 = -4*o - o. Suppose 0 = a - 2*a + o. Suppose 5*s = 8 - a. Are 0.1 and s unequal?
True
Let d = -11.3 + 20.2. Let h = 9 - d. Suppose 0 = 3*m, -4*m - 10 - 2 = -3*l. Which is bigger: h or l?
l
Suppose -6*l - 39 = 9. Is -6 greater than l?
True
Let t be ((-39)/5)/(3/(-15)). Let q be (3 - 76/8)*-6. Does q = t?
True
Let i(n) = -4*n**2 + 158*n - 79. Let z be i(39). Which is bigger: -1/40 or z?
-1/40
Let y = -9/127 + -12782/635. Let o = 2623/130 + y. Let d = -1359/260 + o. Which is bigger: d or -5?
-5
Suppose 0*s + 2 = 2*s. Let f be 2/(-8) - (28/32 + -3). Which is bigger: f or s?
f
Let z = -311 + 941/3. Which is smaller: 3 or z?
z
Let r(w) = 2*w**3 + 10*w**2 - 6*w - 18. Let t be r(-5). Is t at least as big as 4?
True
Suppose -12 - 5 = 2*q - 5*x, 0 = 3*q - 3*x + 3. Suppose f - 2*w + 0*w = -19, 5*f + q*w + 53 = 0. Which is smaller: -12 or f?
f
Let o be (402/21775)/((-3)/(-5)). Is o <= -1?
False
Let i(b) = b**3 - 17*b**2 + b + 15. Let a be i(17). Is a bigger than 162/5?
False
Let l be 2/(-4) - 810/20. Let b = l + 38. Let s = -6 + 2. Do s and b have the same value?
False
Let k = 11 - 9. Suppose -2*j - 4*x - 2 = -4, 0 = -k*j - 2*x + 12. Let g be (11 - j)/(2*1). Is -1/10 less than or equal to g?
True
Let c be -31 - (-1 + 5 + 2). Is -39 equal to c?
False
Let z be ((-963)/(-1242))/(266/(-986)). Let g = z - -164/57. Let h = 25/966 + g. Is h at most as big as 1?
True
Let h = -1.642 + 1.6. Let v = 2.042 + h. Which is smaller: v or 1/4?
1/4
Let d = 851 - 816. Which is greater: d or 10?
d
Let a be (7 - 177/24) + 340/992. Suppose -2*w + 3 = w. Is w at most a?
False
Suppose -5*g + 2*s - 60 = -s, 2*g + s + 13 = 0. Let q = g - 1. Suppose 2*o + 20 = -2. Which is greater: q or o?
q
Suppose j + 5*d = -4*j - 15, 4*j + 3*d = -7. Suppose 17 = j*r - 3. Let c = 10 - r. Is -1/4 > c?
False
Let c = -52 - -4. Let a be (-10)/c*14/(-350). Is a at least as big as 0?
False
Suppose -8*c - c = -63. Suppose 4*x = 13 + c. Is x less than or equal to 5?
True
Let a(m) = -m**2 - 5*m + 26. Let f be a(-6). Is 20 >= f?
True
Suppose 5*z = w + 20, z - 6 = -4*w - 2. Which is greater: w or -2/5?
w
Let q = 401 - 414. Which is greater: q or 0.1?
0.1
Let f = 0.05 + 0. Let q = 26 - 5. Let a be (-14)/q*(-6)/4. Which is bigger: a or f?
a
Let l be (1160/(-168) + 7)/((-6)/9). Which is smaller: l or -47?
-47
Let f = 548/18405 - -6/409. Let z = -41/90 - f. Let v = -10 - -41/4. Which is smaller: z or v?
z
Let u = 15.69 + -10.68. Let b = u - 0.01. Suppose 3*v - 2*o = 3 - 12, 5*o = v + 16. Is v less than or equal to b?
True
Suppose -5*j + 30 = o, 0 = 9*o - 12*o. Suppose -5*x - l = 4, -3*x + j = -6*x + 3*l. Do 24 and x have different values?
True
Let j(a) = -2*a - 2. Let s = 12 - 14. Let o be j(s). Suppose -o = 2*x - 3*x. Which is greater: 6/11 or x?
x
Suppose 52*q - 23588 = -760. Is -1 less than q?
True
Let y = -42 - -70. Let a = -32 + y. Is -7 less than or equal to a?
True
Suppose i = -4*z + 14, -2*z - 3*i + 3 = 1. Suppose c = 3*c - z*a, 0 = c + a. Let s be -1 - (c - (-33)/21). Is -2 at least as big as s?
True
Let q be -2 + (-104)/(-3) + (-5)/1. Which is greater: 27 or q?
q
Suppose 0 = 6*q - 2*q, -2*q = -3*y - 9. Let w be (1/y)/((-52)/12). Suppose t = -4*t - 0*t. Which is bigger: t or w?
w
Suppose 2 = -2*b + c, -4*b + 32*c = 34*c + 4. Which is smaller: b or 2/5203?
b
Suppose -9505 = 9235*j - 9240*j. Is 1902 <= j?
False
Let n = 18881 - 95373/5. Let z = n - -193. Do z and -2 have the same value?
False
Let l = 8/45 + -779/4635. Is l at least as big as 0?
True
Suppose -4 = -7*j + 10. Is -22 less than or equal to j?
True
Let i = 255 - 255. Which is greater: i or -2/35?
i
Let c = -34 - -35.3. Let w = c + -1.26. Let y = w + -1.04. Which is greater: y or 0.2?
0.2
Let v = 1 - -1. Suppose 20 = -4*t, 4 = -4*u + v*t - 2. Let j be (-2)/u + (-45)/42. Which is greater: j or 0?
0
Let q = 2/51 + 32/51.