be 15/380*-2*(0 + z). Which is smaller: -2/3 or d?
-2/3
Suppose 650 = 5*c + 3*g, -2*g - 2*g = -2*c + 234. Suppose -22 + c = 4*v + u, 2*v + 4*u - 70 = 0. Which is greater: 29 or v?
29
Suppose x = 5*c - 102, x + 6*c = 7*c - 102. Let n = x - -103. Let z be (-5)/(-10)*2*n. Which is smaller: 2/191 or z?
2/191
Let b = 907 - 679.5. Let s = b + -228. Is s at least 23?
False
Let g(o) = -73*o - 66. Let d be g(-7). Let t = -444 + d. Which is smaller: t or -2/83?
-2/83
Let t(z) be the first derivative of -z**4/4 - 4*z**3/3 + 13*z**2/2 + 34*z - 67. Let v be (-2)/4 - 33/6. Let l be t(v). Which is smaller: 80/3 or l?
80/3
Let s = 2.13 - 1.29. Let v = s - -0.16. Is v <= -0.013?
False
Let c(l) = -87*l - 1741. Let k be c(-20). Which is bigger: k or -590?
k
Let z be 73/(-5) + (-14)/35. Let k(a) = -13*a + 702. Let m be k(55). Is z less than or equal to m?
True
Let z = 651 - 648. Let n be (-27)/(-81) + 83/z. Which is smaller: n or 27?
27
Let t = -3631 - -3631.062. Is t bigger than 1/2?
False
Let f be (900 - 865)/(10/32). Let y = 348/115 + 88184/805. Which is smaller: y or f?
f
Let v = 108 + -98. Let b(w) = -2*w**2 + 10*w + 10. Let d be b(v). Let k = d + 993/11. Which is greater: 0 or k?
k
Let s = -3.533 - -2.533. Which is greater: s or -895?
s
Let g = -37 - -31. Let b be 42/g + 3 + -8. Let r be (3/2 + -2)*20. Is r < b?
False
Let c = -58445 - -452773416/7747. Do 1 and c have the same value?
False
Let q = -254047/136 - -1868. Let p be (6/8)/(414/(-552))*1. Which is smaller: q or p?
p
Let y = 36433/53537 - 105/157. Suppose 2*n - 2*i + 5*i = 2, 2*n - 2 = 5*i. Which is smaller: y or n?
y
Let i(n) = -n**3 + 11*n**2 - n + 10. Let d be i(11). Which is smaller: d or -9/31?
d
Suppose 31*v + 77326 = -9*v - v. Is -1887 smaller than v?
True
Let f = -62 + 97. Suppose 8*r - 101 = 147. Suppose -8 = -f*z + r*z. Which is smaller: z or 1?
1
Suppose -4*g - 41 = 5*t, -4*t - t - 21 = -g. Let f be (-1)/(g/40*2). Suppose 4*s = -2 - 2. Which is smaller: s or f?
s
Let b be (-50)/(-225) + 731/18. Which is greater: 41 or b?
41
Let p(i) = -35*i**2 - 16*i + 10. Let k be p(2). Do -153 and k have different values?
True
Let n be (2430/20 + -5 - -6)*-10. Is -1225 greater than n?
False
Suppose -f + 42 = 40. Suppose f*b + 16 = 6*b, 0 = 4*k - 2*b + 4. Which is greater: k or 10/7?
10/7
Let z(m) = -4*m - 14. Let i be z(-4). Suppose -3*t - 2*t - 5*n = 15, 2*t - 2*n = i. Let y be (-5 - t) + (1 - 9 - -4). Is y < -7?
True
Suppose -11*j + 7*j - 404 = 0. Let t(k) = 21*k - 711. Let a be t(29). Is a less than or equal to j?
True
Let o(q) = -27 - 3*q + 55 - 3*q - 26. Let t be o(1). Which is smaller: t or -1/16?
t
Let r be ((-603)/84)/((-6)/21). Are 25 and r nonequal?
True
Let w = -919196 + 54233806/59. Is w not equal to 22?
True
Let j = 0.04613 - -0.05387. Is j bigger than 1765?
False
Let a = 4009 + -4816.9. Let y = -808 - a. Is y <= -0.052?
True
Let o(u) = -u**2 - 5*u - 2. Let g be o(-3). Let l be -25 + (-2 + g)/(-2). Let r = 17 + l. Is r < -9?
False
Let p = 102 + -3566/35. Let r be (-42 - (-47 - -6))/(-1). Is p < r?
True
Suppose -28*b = -14678 - 1898. Is 589 at most as big as b?
True
Suppose 6*l = 5*b - 90202, -10*l + 8*l = 5*b + 30094. Which is smaller: l or -15036?
l
Let o(u) = 2*u**3 + 13*u**2 + 23*u + 9. Let y be o(-2). Which is bigger: 4/1399 or y?
4/1399
Let s = 386 - 493. Let r = s + 146. Is 40 smaller than r?
False
Let h = 57 - 14. Let n = 42 - h. Let s be ((-78)/(-91))/(n/7). Is s bigger than -23/5?
False
Let i(b) be the second derivative of -b**5/20 - 3*b**4/4 + b**3/3 + 17*b**2/2 - 3*b + 34. Let q be i(-9). Which is smaller: q or 4/23?
q
Suppose -31*m + 248 = -0*m. Suppose -m = 38*g - 46*g. Which is greater: g or -1/185?
g
Let j(b) be the second derivative of -b**3 - 27*b. Suppose 0*g = -3*g + 6. Let c be j(g). Is -13 at most as big as c?
True
Suppose 342*s = 330*s + 24. Let p be -319 + s - 1*-4. Is p less than or equal to -313?
True
Let b = 27245 - 27317. Which is smaller: b or -2/229?
b
Let n be (-149)/1*(-2)/12. Let r be 0 + (2 - 2) - (17 - 156/9). Let b = n - r. Which is greater: b or 24?
b
Let b be -4 - (2 + -2) - 865205/(-187). Let l = 4631 - b. Which is smaller: 9 or l?
l
Suppose 110*b - 19*b - 33124 = 0. Is 370 smaller than b?
False
Suppose 5*q - 2*v = -v - 23, -2*q - 3*v - 16 = 0. Let g be 33/q*(6 - 5). Suppose 456 = -44*d - 13*d. Is g > d?
True
Let p(g) = 2*g**2 - 47*g + 31. Let n(y) = -y**2 + 24*y - 16. Let q(r) = -5*n(r) - 2*p(r). Let z be q(25). Let s be (1 - 5)*4/z. Is 3 > s?
True
Let z be (8/(-4))/82*1/(-53). Let j = z - -1945/495444. Which is smaller: -1 or j?
-1
Let u = -1169 - -1132. Let j = -0.06 - 0.14. Is u >= j?
False
Let l be 57/9 + (-3 - 24/(-9)). Let f(u) = u**3 - 4*u**2 - 3*u - 8. Let n be f(l). Is 46 at least n?
True
Let s = 1.7 + 0.3. Let j(g) be the third derivative of -g**6/120 - 2*g**5/15 - 2*g**4/3 - 7*g**3/3 - 6*g**2 + 2*g. Let f be j(-6). Is s > f?
False
Let p = 137 + -212. Let g = -44 - p. Let m = 30 - g. Which is bigger: 44 or m?
44
Suppose 36*b - 1291 = -67. Is b bigger than 3/5?
True
Let l(p) = 5*p - 8. Let x be l(2). Suppose 5*y = -x*t, y + 0*y = 0. Let s be 3/(1/((-3)/9)). Which is bigger: t or s?
t
Suppose -15*g + 3*z = -11*g - 129, -21 = -g - 3*z. Let q be (-9)/g + (-4 - (-95)/25). Let s = 34 + -15. Are s and q non-equal?
True
Let w = 25092 - 25091. Let c = -1.01 + 73.01. Do w and c have the same value?
False
Let r = -26 + 36. Suppose -3*p + r*p - 28 = 0. Let n be 5/(-11)*p*3/(-15). Are 0 and n nonequal?
True
Let f(q) be the third derivative of -13*q**4/24 + 43*q**3/3 - 32*q**2. Let y be f(8). Which is smaller: y or -17?
y
Let z be (-6)/(-3)*230/(-22425). Suppose 2*i + 0 = 2. Are z and i nonequal?
True
Let n(c) = c**3 + 20*c**2 + 62*c - 32. Let i be n(-16). Is 3/43 greater than i?
True
Suppose 14*a - 1007 = a + 2178. Which is greater: a or 256?
256
Let q = 7 + -11. Let g(p) = p + 21. Let u be g(-16). Suppose -t - u*c = 7, 0*c = -2*t - 2*c - 6. Are t and q non-equal?
True
Let m(j) = 336*j**2 + 3695*j - 12. Let l be m(-11). Which is smaller: l or -2/5999?
l
Let z be (-4)/(8 + -4) - -2. Let d be (-12 + 13)*3/(-387*z). Which is bigger: 1 or d?
1
Let q = -1266.03 + 1231. Let f = q - -35. Is f smaller than -2.1?
False
Let w = 81360 + -81354. Let h(d) = 9*d + 1. Let j be h(1). Is j <= w?
False
Let x be 13*(5/(25/(-15)) + 4). Let b = -222/17 + x. Is 30 at most as big as b?
False
Let k = 2666/5 + -536. Let n(x) = x**2 - 12*x - 3. Suppose 60*z - 59*z - 12 = 0. Let w be n(z). Which is smaller: w or k?
w
Let d = 31431 + -31431.132. Is d <= 32?
True
Let q(j) = 608*j**3 - 2*j**2 - 18*j + 19. Let z be q(1). Let s = z - 619. Which is smaller: s or -11?
s
Let f = -185.1 + 180. Let t = f + 6.1. Which is bigger: t or 0.54?
t
Let c be (-16)/(-88) - (-84)/22. Suppose -c = -4*g, g = -r - 4*r + 296. Let z = 235/4 - r. Is z at most 0.18?
True
Suppose -k = 3*r + 208, 0*k + 5*k - 4*r + 964 = 0. Is -195 at most k?
False
Let q be ((-17095)/5700 - 3) + -6 + 12. Does -1 = q?
False
Let s = 67/66 - 50/33. Which is bigger: -1873 or s?
s
Let h(d) = -6*d - 134. Let l be h(-23). Let r be 910/14 - (l + 3). Are -5 and r nonequal?
True
Let q be (6/(-11))/6 - (1311418/221936 - 6). Which is smaller: q or 0?
0
Let j = 3 - 3.1. Let q = -0.2 - j. Let v be ((-2)/(-6))/((-16)/18). Is q greater than v?
True
Suppose 0 = 65*b - 150 + 150. Is b not equal to -1/4194?
True
Let l = 105494/15 - 7033. Which is bigger: -0.15 or l?
l
Suppose -6*d + 3384 = -0*d. Suppose 2*w - 56 = d. Suppose 0*h - w = -10*h. Does h = 31?
True
Let y = -2782/33 + 230/3. Do -8 and y have the same value?
False
Let j(x) = -11*x - 14. Let d be j(-8). Let g = d + -36. Suppose -5*f + 18 = v, 148 = -0*v + 4*v + f. Are v and g equal?
True
Let f be 172407/(-731644) + 7/28. Which is greater: 1 or f?
1
Let m = -21285.1 + 21285. Which is smaller: m or -719/9?
-719/9
Let d be (-2)/(-95)*180 + -9. Which is smaller: -5 or d?
d
Let y = -40917/364 - -1485/13. Is 2 < y?
False
Let i be (15/4)/(75/4920). Is 1 equal to i?
False
Suppose 0*o - 7*o = 8*o - 270. Let g be (-101)/(-6) + (-14)/(-28). Which is smaller: o or g?
g
Suppose -9*j + 33 = -21. Let w be 7/(9975/(-8555)) + j. Is -1 less than w?
True
Let a(d) = -12*d**2 + 53*d - 63. Let y(x) = 5*x**2 - 27*x + 31. Let c(b) = 3*a(b) + 7*y(b). Let s be c(-31). Is 3.3 at most as big as s?
False
Let i(a)