m or g?
g
Let o(b) be the first derivative of -7*b**3/3 + 25*b**2/2 - 46. Let u be o(3). Suppose -4*d + 0*d - 3*r + 46 = 0, d - 4*r - 21 = 0. Which is bigger: u or d?
d
Suppose 66*p - 79*p = 1586. Which is greater: -120 or p?
-120
Let f be (3 + 4046/(-1351))*2. Which is bigger: 1 or f?
1
Let h = -0.1 + -1.9. Let z = 1.176 - -3.924. Which is greater: h or z?
z
Let k = -29 + 28.56. Let y = -0.24 - k. Which is bigger: y or -1.3?
y
Let f be 6/10 + 3 + (-39)/15. Let g be (-1 - -3 - 3)*f/1. Is g less than 1/68?
True
Let u = -35 - -34.985. Let z = u + -8.985. Is z smaller than -1/3?
True
Suppose 0 = -z + 4*y - 7, z - y = -4 + 3. Let a = -284 + -80. Let k be a/(-120) - (4 + 0 - 1). Is z <= k?
False
Let i = -5 - -7. Let o = -640 + 641. Are i and o equal?
False
Let s = -30 - -4. Let p = -18 + 16. Which is smaller: p or s?
s
Let r = -87 - -215/2. Let n = r - 20. Let w be ((-17)/340)/((-3)/(-4))*-3. Which is bigger: n or w?
n
Suppose 0 = -0*q - q. Let z = -2147131/120 + 17893. Let b = z - 1/24. Is b at most as big as q?
False
Suppose s = -4*k + 3, -4*s + 6 = 2*k + 8. Which is smaller: 2/581 or k?
2/581
Let o = -226 + 613. Is o at most 386?
False
Let j be 1*3 - (-576)/(-184). Let i = -81/92 - j. Suppose 4*m + 8 = 3*h + 1, 0 = -4*h + 4. Which is smaller: m or i?
m
Let d = -363/2 - -1037/6. Let h = 48 - 57. Which is greater: h or d?
d
Suppose 4*o = -2*y + 9*o + 17, 23 = -2*y - 3*o. Are -6 and y equal?
False
Let g(y) = y**3 - 11*y**2 + 17*y + 2. Let r be g(9). Suppose s - 6 = 4*s - 3*u, 0 = 2*u + 6. Let b be (s + -2)*r/(-35). Which is greater: b or 0?
0
Suppose -6*j + 4*j = 28. Let o be 2/j - (-102)/(-21). Are -1 and o equal?
False
Suppose -4*k - 153 - 135 = 0. Let q = 73 + k. Which is bigger: 2/65 or q?
q
Suppose -2 = 2*s + 4. Let a = -31 - -34. Suppose -a*h + 5*h = 2. Is s != h?
True
Let d = -4591 + 445320/97. Which is bigger: 1 or d?
1
Suppose 2*z + 3*y + 2 = 8, y - 2 = 0. Let v = 22/43 - 244/645. Let a = 3/10 - v. Is z greater than or equal to a?
False
Let y = -36 - -21. Let j = -14.86 - y. Let o = j - -2.86. Which is greater: 0.3 or o?
o
Suppose -87*a + 80*a + 1813 = 0. Is 259 equal to a?
True
Let o = -785/279 + -85/31. Is o bigger than -2/7?
False
Let g = -7081567/1174 - -6032. Is g bigger than 0?
True
Let q(n) = n**2 + 7*n - 2. Let u be q(-6). Let x(p) = -6*p - 7. Let z be x(u). Let a = 30 - z. Which is smaller: a or -12?
-12
Let r(k) = k**2 - 5*k - 9. Let w be r(7). Let b be (w/(-20))/(1/(-4)). Is b smaller than 1?
False
Let n(g) = g**2 - 16*g + 28. Let t(b) = b + 6. Let y be t(8). Let k be n(y). Which is smaller: k or 6/41?
k
Suppose 0 = 5*v - 20, 3*v = -3*w + 2*v - 47. Let b = 26 + w. Does 12 = b?
False
Let l be -6 + 7 + 10 + 189. Do l and 204 have the same value?
False
Suppose 474*l = 467*l. Which is smaller: l or -136?
-136
Let h be (-9*55/231)/(1/(-7)). Is h equal to 4?
False
Let p = 670 + -683. Which is bigger: 0.5 or p?
0.5
Let o = 0.0815 - 1.0815. Which is bigger: 3/73 or o?
3/73
Let l = -52 + 31. Suppose -7*f + 8*f - 2 = 0. Let u be (7 + -6)/(-1 + f)*-21. Are u and l equal?
True
Let w be ((-135)/25 - -5)/(4/(-1200)). Is 119 bigger than w?
False
Suppose 6 = 3*n - 0*n + 3*c, 5*n = 5*c + 20. Let i(v) = v**2 - 4*v - 1. Let d be i(n). Is -1/3 bigger than d?
True
Let d = 79 + -81. Which is smaller: d or 28/23?
d
Suppose 495*s = 499*s - 16. Let w be (4/3)/1 + 2. Are s and w equal?
False
Let h = -80579/1860 - 7/620. Suppose -4*o = -12, -3*o = -2*q - 0*q + 77. Let g = q + h. Is 1 less than g?
False
Let y be 26/832*(-4)/(-140). Which is greater: -1 or y?
y
Let q be ((1854/8)/(-9))/((-5)/(-8)). Let d = -41 - q. Which is bigger: d or 2.4?
2.4
Let a be 1 - (-46 + -2 - 2). Suppose 9*g = 8*g + 4. Suppose g*z - 3*y - a = 0, -2*z + y - 1 = -26. Which is smaller: 10 or z?
10
Let y = 101900/81 + -1258. Are -1 and y unequal?
True
Suppose 2*k + k - 3*p = 12, 5*p = -10. Suppose k*g - 21 = -g. Let j be (g - 11)/((-4)/3). Which is bigger: -1 or j?
j
Suppose 0 = -a - 12, -5*a = o + 95 - 13. Let y be 500/(-14) - 2/7. Let u = y + 15. Is o at least u?
False
Let h = 4553 - 168479/37. Which is greater: h or -1?
h
Let h be 1/82*192/(120/15). Which is smaller: 1 or h?
h
Let k be -518*3*2/(-72). Let t = 5969/138 - k. Which is smaller: 1 or t?
t
Let h = -395/539 + 27/49. Is h greater than 92?
False
Let a = 4182/23 - 32019/115. Is -96 >= a?
True
Let g be (-3*(-1)/(-12))/(3/12). Which is smaller: -3/23 or g?
g
Let a = 40 + -66. Let v = 21 + a. Let j(q) = q**3 + 6*q**2 - 5. Let r be j(-6). Is r at most v?
True
Let h = -1.17 - 0.03. Let y = -0.2 - h. Which is greater: y or 5?
5
Let s(f) = 235*f - 458*f + 16 + 229*f. Let c be s(-3). Which is smaller: c or 0.07?
c
Let a(v) = 2*v**2 + v. Let x be a(-2). Let f be ((-6)/(-9) + 2)/(4/x). Do f and 5 have different values?
True
Let z = -4563/16 - -285. Let v(p) = -52*p - 676. Let n be v(-13). Which is smaller: n or z?
z
Suppose 1 = -2*n + 7. Let h(u) = -u**2 + 6*u + 2. Let v be h(n). Which is smaller: 10 or v?
10
Suppose 2*u - 9 - 5 = 0. Suppose 0 = -5*l + 3*j - 5*j + 14, -5*l = -4*j - 32. Suppose 0 = l*c + 5*s + 1, 5*c - 40 = 3*s - s. Is c smaller than u?
True
Let g be 2*(-3)/(-6) + (-3)/3. Suppose 0 = -5*z + 134 - 139. Are g and z equal?
False
Let z(u) be the third derivative of -u**5/20 + 2*u**4/3 + u**3 + 6*u**2. Let m be z(5). Let c = 15 - 5. Which is smaller: m or c?
c
Suppose 18*o - 23*o = -10. Suppose -o*u - 12 = -2*h, 0 = 3*u + 3*h - h - 2. Is u greater than -4/5?
False
Let c = 97 - 124. Which is smaller: c or -26?
c
Let k = -2.06 + 0.06. Let h = 0.1523 - 0.2023. Is k smaller than h?
True
Suppose 0 = -0*h - 5*h. Let g be 6 - 2 - (6 + -2). Do h and g have different values?
False
Let y(c) be the first derivative of -c**2 - 3*c + 1. Let u be y(-2). Let n be 96/140 + 12/(-42). Is u <= n?
False
Suppose 2*b - 11 = -5*r + 31, 3*r + 4*b = 28. Let a = -0.06 - 0.04. Is a smaller than r?
True
Let r = -10.06 - 5.94. Is r equal to -9?
False
Suppose -4*g + 68 = -2*g. Suppose -g*k = -38*k. Which is greater: k or 3/16?
3/16
Let w = -42.52 + -0.48. Let t = w - -52. Let z be (-12)/16 - (-1)/2. Are z and t nonequal?
True
Let s = -61 - 105. Is -167 at least s?
False
Let i = -2.27 - -2.1. Let v = -0.37 - i. Let f = -2 - -2. Which is bigger: v or f?
f
Let k be (-3)/18 + 25/6. Suppose 4*d - w + 323 = 0, -97 + 20 = d - k*w. Which is greater: d or -82?
d
Let x = 1291 + -1294. Which is smaller: x or 58?
x
Suppose -o + 10 = 34. Suppose 15*x - 1265 = 38*x + 32*x. Which is greater: x or o?
x
Suppose 2*m - 7*m = 30. Let i(z) = -z**3 - 6*z**2 - 2*z - 7. Let j be i(m). Suppose j*n = n. Which is smaller: -2/47 or n?
-2/47
Let m be 12/(2 - -2) + -4 + 2. Suppose -3*b + 0*b - 3 = 0. Which is bigger: b or m?
m
Let a be (-1)/5*1*(-15)/(-42). Let u = -9/28 - a. Which is greater: u or -0.54?
u
Suppose o - 2*o = -4. Let t(p) = 3*p**2 - 10*p - 21. Let q be t(5). Are q and o unequal?
False
Let b be (-2)/(-1) - 1332/675. Let x = 9632/75 - b. Let s = x - 128. Is s greater than or equal to -1?
True
Let g = -19.66 - 1.24. Let j = -21 - g. Let w = -0.22 - 0.08. Does j = w?
False
Let a(n) = -n + 8. Let i be a(-6). Let g = i + -17. Is g < -5/3?
True
Let l be 52/16 + (-3)/12. Suppose -2*f = -5*w - l, 5*f - 23 = -0*f - 3*w. Which is smaller: 0 or f?
0
Let i(v) = -9*v - 13. Let k be i(-2). Is 13 <= k?
False
Suppose 5*f = -4*q + 31 - 46, -4*q = -3*f - 9. Are f and -13/4 equal?
False
Let f be 1/10*(-14)/((-224)/60). Let z(o) be the third derivative of o**6/120 + o**5/10 - o**3/6 + 4*o**2. Let l be z(-6). Is f greater than or equal to l?
True
Let j = 807 - 810. Which is bigger: j or -172?
j
Let c = -5/608 - -37/608. Let s(l) = l**3 - 5*l**2. Let r be s(5). Is r < c?
True
Suppose u - 4*q - 204 = -3*u, -5*u = q - 225. Suppose -2*s + u = -m, -s + 18 = -3*m + 5. Let l = s - 23. Is l greater than 2/9?
True
Let t = 2/889 - -22219/2667. Which is greater: 8 or t?
t
Let s = 540 + -580. Is s less than -39?
True
Suppose 45 = 13*l + 2*l. Let a = -20 + l. Is -16 != a?
True
Suppose 3*s + 39 = -84. Let h = 39 + s. Let a be (2/24*h)/5. Which is smaller: 0 or a?
a
Suppose 240 = 5*q - 5*d, 84 = 4*q + 5*d - 144. Let a = 0.09 + -0.09. Is q bigger than a?
True
Let b = -110 - -183. Is 75 bigger than b?
True
Let w be -53 + 1 - 63/(-84). Which is bigger: -52 or w?
w
Let j = -1058.8 - -1059. Let v = 15 