Let b be m(7). Let d = 332 + -578. Which is smaller: b or d?
d
Let h = -32/40762028205 + -172763019895397/54748662180953445. Let q = 1/6023 + h. Are 0 and q equal?
False
Let t = 70.3452 - 0.0452. Let m = 70.5 - t. Which is greater: 112 or m?
112
Suppose -41*x - 57365 - 91603 = -671. Which is smaller: x or -7235/2?
-7235/2
Let n = -1914 - -1779. Let p = -2.26 - -142.26. Let v = n + p. Which is smaller: 2 or v?
2
Suppose 2*x - 4 = 0, 6*w + 5*x = 2*w + 30. Let c(i) be the second derivative of -i**3/3 + 5*i**2 + 34*i. Let o be c(w). Is o bigger than 2/133?
False
Let i = -43097/45 - -4789/5. Suppose 1 + 4 = -5*p. Which is bigger: p or i?
i
Suppose 2*q - 16 = 5*y, 20 = 3*q - 4*y + 3. Suppose q*x - 3*i = 0, -i - 4 = 2*x + 5. Let p be ((-2)/(-4))/(x/(-6)). Which is smaller: -2/51 or p?
-2/51
Let f = -2.8388 + -0.1612. Which is greater: f or 605?
605
Let o(n) = -29*n - 200. Let l be o(-7). Let m be 0/(-4)*l/(-6). Suppose -2*d = 2*g - 4, -43 + 18 = -5*g. Is m greater than d?
True
Suppose 2*z + 15 = -3*z. Let b be (-1)/(1/21*-3). Suppose b*n - 15*n = 24. Is n < z?
False
Let q(x) be the third derivative of -5*x**4/8 + 82*x**3/3 + 76*x**2. Let f be q(11). Which is smaller: f or 14/55?
f
Suppose 0 = -3*i - 114 + 9. Let j(v) be the second derivative of 13*v**3/6 + 80*v**2 - 101*v. Let g be j(-15). Is g greater than i?
False
Let r(j) = j**2 + 5*j - 9. Let z(f) = 2*f**2 + 9*f - 18. Let x(g) = 7*r(g) - 3*z(g). Let o be x(-9). Suppose o = 5*l - 15. Do l and 4 have different values?
True
Let y be (-2062)/16 + 20/(-160). Which is greater: -639/5 or y?
-639/5
Let o = -0.2 + 0.1. Let f = 26064/5 - 156379/30. Does o = f?
False
Let h = 156 - 593. Let i = -437 - h. Are 2/183 and i equal?
False
Suppose 405 = 4*o - 7*o. Let d = o + 133. Which is greater: d or 23?
23
Let h = 218 - 156. Suppose -5*b = -5*x + 110, -3*b + 17 - h = -2*x. Let d = x - 20. Are d and 42 equal?
False
Let b(g) = -g + 6. Let n be b(5). Let x be (-1 - 14/(-4))*(-23 - 993677/(-43215)). Is x less than or equal to n?
True
Let m = -34 + 41. Suppose q = -m*q. Is 6/133 at most as big as q?
False
Let y = -1.151 - -1.218. Is -7/4 at least as big as y?
False
Let p = 305.9 + -304. Is p > -164?
True
Let x be (0 + 9)*28/(-42). Let c be (102/(-272595))/(1 - x/(-5)). Is c equal to -1?
False
Let g = -0.8213 - -0.7413. Let h = -40/63 + -2/63. Which is greater: h or g?
g
Let b(z) = -64*z + 1026. Let p be b(14). Do p and -0.07 have the same value?
False
Let z be 6 - ((-2158)/(-50))/13*8. Is z less than -22?
False
Let n be (8/(-12))/1*9/(-6). Let a be (-20)/11 - (2 + -4). Which is smaller: n or a?
a
Let l be 1*((-135646)/(-13566) + -10). Is l < 0?
True
Suppose 4870*z - 4865*z = 20. Is 82/27 <= z?
True
Let b = -7459 + 7519. Which is bigger: b or 4/29?
b
Suppose 20*g = -39*g + 5*g - 269352. Is -4988 <= g?
True
Let b = 167 - 167.121. Let t = b + -0.179. Are -0.14 and t unequal?
True
Let s be 2282/163 - (-1820)/(-132). Let i be (2/(-2))/1*0. Which is greater: s or i?
s
Let u be (-4660)/(-2) - (-9)/90*-20. Is u < 2328?
False
Let w = 566 + -550. Let l(s) = -28*s + 124. Let v be l(w). Is -325 smaller than v?
True
Let m(p) = -p**3 + 5*p**2 + 4. Let c be m(5). Let x = 4 - c. Let j be (1 + (-10)/6)/((-392)/(-28) + -27). Which is bigger: x or j?
j
Let a be (-82)/(-12) - 3 - (-20)/120. Let v = 0.067 + 4.833. Which is bigger: v or a?
v
Let t(q) = 11*q**3 - q**2 + 2*q - 1. Let v be t(1). Let a = 10 - v. Let n be (148/30 + -5)/((-2)/5). Is n equal to a?
False
Let g = -269 + 12. Let u = g + 257.1. Is u > -94?
True
Suppose 17*d - 108 + 110 + 83 = 0. Which is smaller: -9 or d?
-9
Let k(q) = -q**2 - 8*q + 10. Suppose -5*y = -4*r + 61, -2*r + 39 = -3*y + 4. Let j be k(y). Let i be (7 - 4) + (-1 + 1 - j). Is 6 at least as big as i?
True
Let n = -0.07 + -0.03. Let x = -278 + 289. Suppose 0 = -x*l + 10 + 177. Which is bigger: l or n?
l
Let i(j) = 1 - 9 - 49*j - 72*j. Let f be i(-2). Let c be 4/6*f/(-104). Which is bigger: c or -3?
c
Suppose -n + 2*n = y - 2, 4*n - 12 = -y. Let a be (-30)/40 + 251/y. Suppose -4*l = -18 + a. Which is bigger: 0 or l?
0
Let n be -5 + (-196)/(-52) + -2*1. Let i = 352/117 + n. Which is greater: -25 or i?
i
Let t = -373.0185 + 0.0185. Let d = 374 + t. Is -75 <= d?
True
Let i be 0 + ((-1 + 0)*1)/(-1). Let v be (6/(-8))/(((-1)/i)/4). Suppose 2*l + 2 = -3*y - 4, -12 = 4*l + v*y. Which is bigger: -11 or l?
l
Let v = 11715/37468 - 3/1292. Let p = -2/87 - v. Let x = 1.43 + 0.67. Is x at least as big as p?
True
Let u = 19/39 + -2/13. Suppose -5*t = -279 + 104. Let h = t + -37. Which is bigger: u or h?
u
Suppose 238*w + 2046 = 145*w. Let m be ((-34)/4)/((-2)/(-5)). Is w greater than m?
False
Let k be 4 - (310368/42 + 4). Let j = 7410 + k. Is j bigger than 19?
True
Let c be (7/(42/(-4)))/((-8)/(-12)). Suppose 2*m - 10 = 4*w, 2*m + 5*w = 4*m - 12. Let a be (2*m)/(4*44/(-24)). Which is smaller: c or a?
c
Let t be (-7)/21 + 11/(-12). Is 0.075 bigger than t?
True
Suppose -3*z - 11422 = 4*u + 4543, -2*u = 5*z + 26571. Which is smaller: z or -5313?
-5313
Suppose 2226 = 61*i + 20*i - 28*i. Let c = -2 + 6. Let x be (c/(-6))/((-5)/3). Is x equal to i?
False
Let k = -26029231/111163 + 3044/13. Is -1 less than k?
True
Suppose 52 - 1037 = -5*g. Suppose -o + g = -6*o + l, 0 = -l - 3. Let u be 930/14 + o/(-70). Is 67 > u?
False
Let b = -55648 + 55637. Suppose -31 = -3*f + 2*c, -3*c - 2 + 5 = f. Suppose 1 + f = -q. Is b less than q?
True
Let v = 433 + -443. Is v at most as big as -2/207?
True
Let i = -8.11 - -4.63. Let o = -9.52 + i. Which is greater: o or -10/11?
-10/11
Let x be 76/16 - (-9)/36. Suppose w = 5*f - 3*w - 7, 0 = -x*f + 5*w + 10. Is -22/13 < f?
True
Let c(n) = n**2 + 18*n - 41. Suppose -3*t - 7 + 13 = 0. Suppose 0 = 4*d - 12, -t*m + 5*d - 10 = 45. Let p be c(m). Do p and -2/53 have different values?
True
Let n = 0.01 + 0.09. Let b = -71.823 + 72. Let s = b - 41.177. Which is smaller: n or s?
s
Let o = 29 - 25. Suppose 5*z - 40 = 5*y, -o*y = -z + 5 + 3. Suppose -62 - 10 = -z*v. Is v less than 11?
True
Let d(x) = 44*x**3 + 2*x**2 - 5*x + 7. Let h(a) = 89*a**3 + 4*a**2 - 11*a + 15. Let y(j) = -13*d(j) + 6*h(j). Let r be y(-1). Is r less than 2/7?
False
Let n = 102972 - 102964. Suppose -2*m + 1 + 3 = 0. Let b be 6/(-14) - (2 - m). Is n equal to b?
False
Let s(c) = -3*c + 32. Let g be s(6). Suppose -g*b + 7*b = -525. Which is greater: 73 or b?
b
Let d(r) = -r**2 + 21*r - 105. Let q be d(10). Suppose -28 = -q*k - 8. Let f be 0/(((-12)/(-3))/2). Are k and f nonequal?
True
Let g be (-2)/((-20)/2) - (1122/(-165) + 6). Suppose -6*f + 3*f - 9 = 2*v, 5 = -2*f - v. Let c be f + ((-15)/24)/(-1). Does g = c?
False
Let a be 3/(-2) + 15360/1764. Let k = a - 43/6. Which is smaller: 1 or k?
k
Let v = -7389 - -7388. Let k = 318/23 - 32685/2369. Do k and v have the same value?
False
Let g(t) = 4*t**2 - 434*t - 217. Let s be g(109). Is -13/2827 > s?
False
Let q = -18377/2 + 8712. Is -478 greater than or equal to q?
False
Let z = 699/2260 + -18/113. Let r be ((-14)/7920)/(-7)*674. Let m = r - z. Which is bigger: 1 or m?
1
Let f = 241 + -238. Let r be (-33 - -35)/(1 - f). Is -1/45 equal to r?
False
Suppose -36 = -m - 3*c, 0 = -3*m + c + 4*c + 38. Suppose 4*h + 6*l - 3*l = -84, l = -h - m. Is h >= -31?
True
Let i(j) = -j**2 - 6*j - 7. Let m be i(-5). Suppose 12 = q + 15. Let x be 100/(-15)*q/12*-2. Is x less than m?
True
Let l = 5526 + -5498.47. Let w = 27.9 - l. Is -2 > w?
False
Suppose -3*s - 4*v = -18, -4*s - s = 5*v - 25. Suppose 0 = -2*a - i + 5, s*i + 0*i = -6. Let x be a/9*-3*-6. Is x greater than or equal to 7?
True
Let f(k) = k**2 - 8*k - 8. Let t = 36 + -27. Let n be f(t). Let r = -0.54 + 1.94. Is r < n?
False
Suppose 87*l = 74*l + 676. Is 60 less than or equal to l?
False
Let x = -3.9 - 1.1. Let n = -256 - -256.625. Let l = n + -0.325. Is x less than l?
True
Let o = 69 - 74. Let r be ((-18)/95)/((-1)/o). Which is smaller: r or -1?
-1
Suppose -56 = 48*f - 62*f. Suppose -3*h - 6 = 0, -f*b = -2*h - 3*h + 6. Is -6/19 less than b?
False
Suppose -2*n = 4*f - 258, 2*f = 2*n + 150 - 12. Let i be 3/(-2) + (f/4)/(-3). Let m(g) = g**2 + 7*g + 1. Let k be m(i). Is k > -2/285?
True
Let k be (4/((-8)/318))/(-1). Suppose 5307 + 4331 = 61*d. Is k at least as big as d?
True
Suppose -4*d = 5*j - 97, 0*j = j - 4*d - 5. Let z = 166 - 162. Suppose -z*s -