d + 198. Let p = d + 30. Let f be ((-3)/(-2))/((-6)/p). Which is smaller: 0 or f?
f
Let f = 17 + -53. Let k = f + 80. Let z = 45 - k. Does z = 0?
False
Let w(p) = -p**2 - 2*p + 7. Let y be w(3). Let q = 3 + y. Let v be (q/(-2))/(2/(16/(-14))). Is -2 at least v?
False
Let v = -152 + 168. Let j(c) = -c + 10. Let m be j(-12). Which is smaller: v or m?
v
Let b = -20.7 + -1.3. Let w = b - -22.175. Let d = -0.035 + w. Do d and 1 have the same value?
False
Let i = -3.82 + 4.09. Is i greater than or equal to 73?
False
Suppose 4*p + 18 - 2 = 0, u - 388 = -p. Let r be 2/9 + u/18. Is 22 greater than or equal to r?
True
Let j = -1367065 + 50576857/37. Let c = 123 + j. Let q = 13 + -12. Is q at most as big as c?
False
Suppose 39 = -33*m - 258. Is m less than or equal to -71/8?
True
Let z(v) = 5*v**3 + v**2 - 3*v - 6. Let o be z(-2). Suppose -14 + 49 = -y. Is o >= y?
False
Let v = 12674 + -12674. Which is greater: -13/578 or v?
v
Let k be (-36161)/(-4018) - (12 + (1 - 4)). Is k less than -1?
False
Suppose 3*v + 4*w = 30, -11*v + 5*w + 85 = -6*v. Suppose -v*i + 11*i + 81 = 0. Which is bigger: i or 4?
i
Let q = 706491/3172 - -18/793. Are 223 and q nonequal?
True
Suppose -4*t + 981 - 313 = -4*u, -3*t + 9 = 0. Let c = u - -6. Which is smaller: -159 or c?
-159
Let i be ((-4)/(6/(-3)))/(6/42). Suppose -i*d + 413 - 1799 = 0. Is d less than or equal to -101?
False
Suppose 16344 = 3427*s - 3445*s. Is s bigger than -908?
False
Let g(t) be the second derivative of t**3/3 - 29*t**2/2 - 35*t. Let w be g(20). Are w and 9 nonequal?
True
Let d = -71 + 74. Let n be (5 - (-372)/(-6))/d. Let s(h) = -19*h**3 + h**2. Let k be s(1). Is k bigger than n?
True
Let x = -0.3015 + 0.1615. Do -0.046 and x have different values?
True
Let w(z) = z**3 + 5*z**2 + 3*z + 2. Let s be w(-5). Let k = -42017 - -42016.4. Is k at least as big as s?
True
Let i(h) be the first derivative of h**4/4 + 5*h**3/3 + 3*h**2/2 - 10*h + 117. Let o be i(-4). Let m(p) = -p - 1. Let b be m(3). Which is smaller: o or b?
o
Let x(c) be the second derivative of c**5/20 + c**4/6 + c**3/3 + 17*c**2 + 28*c. Let u be x(-5). Which is greater: u or -50?
-50
Let g = -5.92 - 1.08. Do g and 5/3 have different values?
True
Let n = 1519 - 1518. Is n less than or equal to 2/9869?
False
Let i be (-9)/18 - (-488)/16. Suppose -i*d + 1738 = 10258. Is -285 smaller than d?
True
Let d = 15 + -3. Suppose 0 = -f - 2*f - d. Let i(x) = 446*x - 1341. Let l be i(3). Is f at most as big as l?
True
Suppose -26*m + 156 = -52*m. Let s be m/(-12) - 4/(-8)*23. Suppose 51 = 5*r - b, -b = 2*r + 3*r - 59. Is r at least as big as s?
False
Let n be (0 + 0)/((-60)/15). Suppose n = 3*b + 21 - 6. Let f be b*((-34)/(-85) - (-2)/5). Which is smaller: -3 or f?
f
Let f(q) = 2*q**3 - 46*q**2 - 105*q - 111. Let u be f(25). Suppose -112 + 1060 = -4*n. Are u and n equal?
False
Let o = -83 + 24. Let c be (84/5)/(502/(-1757)). Which is greater: c or o?
c
Suppose 82 - 126 = -23*n - 67. Are 14/1233 and n unequal?
True
Let a be 11/((-187)/106) + 6. Suppose 3*u = 1 + 14. Suppose 3*i = -2*i + u. Which is greater: a or i?
i
Let t = 1.7 - 4.4. Let m = 2.6 + t. Let d = 1.46 + -1.51. Is m less than or equal to d?
True
Suppose -15 = -q - 4*d, 5*d - 4*d = 2*q + 15. Let s be -1*(2 - -2) + 5. Let z be ((-4)/12)/(0 - s/(-21)). Is q at least as big as z?
True
Let m(i) be the first derivative of i**3/3 + 7*i**2/2 + 27*i + 9. Let c(g) = g**2 + 8*g + 27. Let u(f) = -6*c(f) + 5*m(f). Let t be u(-12). Is t != -15?
False
Suppose 0 = -4*g + 4*u + 84, -5*g = 3*u - 48 - 49. Let j be (-1)/(-7) + (-153)/(-7). Which is greater: g or j?
j
Suppose -6*l + 702 = 3*l. Let x = l + -77. Which is bigger: x or -32/7?
x
Suppose 3143 = -7*d - 784. Let b be d/(-1254) + (-1)/2. Suppose -7 = 2*a + 2*a + r, 3*r + 8 = a. Which is greater: a or b?
b
Let b be ((-6)/(-2) - 0) + -5. Let f(i) = -4*i**3 - 2*i - 1. Let y be f(b). Let v = -35 + y. Is v at most as big as 2?
True
Let a = 663 + -492. Let v be (1 - (-5)/(-2))/(a/9804). Which is bigger: -87 or v?
v
Let r(m) = 13*m - 242. Let i be r(4). Are -190 and i unequal?
False
Let x be 6/(-10) - ((-129166)/7310 - -17). Suppose -2*q - 1 - 5 = 0. Let y be 6/3 + (q - -1). Which is greater: x or y?
x
Suppose 0 = -10*o + 16*o - 42. Let v be ((-10)/(-52))/(o/(28/6)). Let w = 17/234 - v. Is w greater than 1?
False
Suppose 63*r = 14*r - 27*r - 49552. Are -651 and r nonequal?
True
Let y be (-6)/(-1656)*(342/48 + -6). Is y less than 1?
True
Suppose 10*n - 321 = 759. Let p = n - 536/5. Let f = 0.2 - 1.2. Which is greater: f or p?
p
Let m be -30*(-8)/((-160)/1430) + (2 - 5). Which is smaller: m or -2147?
m
Suppose -6*m + 170 + 244 = 0. Let z = m + -67. Let p be (-2)/8*(-56)/6. Which is bigger: z or p?
p
Let g(v) = 17*v - 356. Let z be g(21). Suppose t = -3*b - 3*t - 5, 1 = -b - t. Let m be 4/5*b/(-8). Do z and m have different values?
True
Let y(n) = -158*n + 396. Let m be y(5). Is -393 greater than m?
True
Let c = -64 - -322/5. Let n = -446 - -482. Let d be (18/8)/(n/60) + -4. Which is smaller: d or c?
d
Let u(f) = 55*f + 1249. Let o be u(-24). Is 69 at most o?
False
Let b = 1230 + 861. Which is bigger: 0 or b?
b
Let k(i) be the third derivative of i**4/6 + 107*i**3/6 + 70*i**2. Let r be k(-11). Is r <= 63?
True
Suppose -181 = -5*s + q, 2*s + 3*s - 3*q - 173 = 0. Let a = -41 + s. Let h be (2*a/(-64))/(2/92). Which is bigger: 6 or h?
6
Let a be 1368 + 0/(-17)*1/2. Is a greater than or equal to 1368?
True
Let k(o) = 6840*o - 61570. Let m be k(9). Let h(y) = y**2 - 2*y - 3. Let p be h(4). Suppose -t + 16 = -3*r - 7, -2*r = p*t + 21. Which is smaller: r or m?
m
Let i be (-78)/221 + (-643762)/(-595). Which is smaller: 1083 or i?
i
Let g = 93.7 + -93. Let n = g + -0.73. Let p = n - -1.03. Are p and -1/19 nonequal?
True
Suppose -3*u = 3*m, -m = -5*u - 10 + 4. Let z = -1652.04 - -1652. Is u >= z?
False
Suppose -66*q = -69*q + 39. Let i = -156 - -175. Which is smaller: q or i?
q
Let z be (-369)/177*(-96)/(-144). Is z greater than 0?
False
Let t(q) = 46*q + 7. Let u be t(1). Suppose 64*k = u*k - 572. Which is greater: k or -54?
k
Let z = 495 + -197. Suppose 60 = -z*l + 302*l. Is 15 bigger than l?
False
Let r = -322/261 - 15230/9657. Which is smaller: -2 or r?
r
Let s(m) = -4*m**2 + 102*m + 48. Let g be s(-45). Let y = 2743308/217 + g. Is -1 less than or equal to y?
True
Let w = 3751 + -3748. Which is bigger: w or 11.4?
11.4
Suppose -117 = -4*w + 3*f - 8*f, -w + 4*f = -45. Suppose 80 = 18*u - 550. Is w not equal to u?
True
Suppose -9*s = 328 - 94. Let x be (-6)/7*(-5 - s/4). Do 6 and x have different values?
True
Let i = -34.58 + 36.5635. Let n = 0.0165 + i. Is n at least as big as 8?
False
Let t = 10 + -9. Suppose -7*o + 2*o - 4*w = t, 0 = 3*o - 5*w + 8. Let a be -27 - -23 - 0/(2*o). Which is bigger: a or -13/3?
a
Let l = 3.066 - 0.526. Let b = 4.54 - l. Is b at least as big as 309?
False
Suppose -26*x + 265 - 811 = 0. Which is smaller: -38 or x?
-38
Suppose -579 = -b + p - 2075, 0 = -p + 4. Is b <= -1491?
True
Suppose 0 = -7*l + 4*l - 45. Let g(u) = -3*u - 11. Let r be g(-6). Suppose -89 = r*q + 23. Which is greater: q or l?
l
Let w(v) = 4*v - 12*v + 7*v + 0*v. Let d be w(-11). Let c = -134 + 133. Is c > d?
False
Suppose 3*b - 1326 = 3*r, 130 = b + 3*r - 292. Suppose 12*v = 17 - b. Is -135/4 <= v?
False
Suppose -35*m - 895 - 1126 = 8*m. Let v(x) = -7*x**2 - 3*x + 4. Let a be v(-3). Is a bigger than m?
False
Let w be -1 + (-1 - -3) + 25. Let p = -50 + 100. Suppose 10*a = 12*a - p. Which is bigger: a or w?
w
Suppose 37 = 4*x - 0*x - o, -2*x = -4*o - 22. Suppose -4*a - x = 11. Let l be ((-6)/a)/((-6)/(-30)). Are 5 and l equal?
False
Let b(u) = -156*u + 67. Let z be b(4). Does z = -555?
False
Let o be (8/50)/(480/120*(-41)/10). Let u(m) = -m - 4. Let y be u(-4). Is y at most as big as o?
False
Let t = 0.771 - -0.229. Let c be (348/48)/((-2)/(-16)). Is c not equal to t?
True
Let s(r) = -2*r**2 + 10*r + 14. Let f = 78 + -82. Let l be s(f). Is -59 != l?
True
Let b = 509 - 694. Does -185 = b?
True
Let g = -32408806 + 32465702.146. Let l = 56983 - g. Let i = l + 0.146. Which is greater: -1 or i?
i
Let j = 1170 + -448. Let x = 47286 - 139664/3. Let k = j - x. Do k and -9 have different values?
True
Let i = -31356 + 31505. Which is smaller: 7 or i?
7
Let p(j) = -19*j - 39. Let g be p(-2).