*s + 31, -4*s + 2*g - 64 + 26 = 0. Which is smaller: -3 or s?
s
Let r = -2579/33 + 235/3. Suppose -2*w + 6*w + 4 = 0. Which is smaller: w or r?
w
Suppose 4*h + 2*z - 3*z = -11, 4*z = -20. Let p = 0 - 4. Let x = p - h. Is x bigger than 3?
False
Let o(w) = 6*w + 60. Let v be o(-10). Which is bigger: 5/44 or v?
5/44
Let j = 47/9 + -593/117. Let q(u) = -u**2 + 5*u + 7. Let k be q(6). Which is smaller: k or j?
j
Let v be 2/3*21/5. Suppose -4*x = x + 20, -24 = -z - 5*x. Suppose -z = -16*p + 5*p. Which is smaller: p or v?
v
Let a(c) be the second derivative of -c**4/12 - 3*c**3/2 + 2*c**2 + 7*c. Let j be a(-9). Let m be -2 + j - (-8 - -9). Which is greater: m or -2/41?
m
Let o = 211 + -351. Which is bigger: 0 or o?
0
Suppose -4*c = k + 451, 3*c - 2*k + 7*k = -317. Let x = -108 - c. Is 9 greater than x?
True
Let q = -160 - 341. Is q at least -499?
False
Let s be 1/1*(-19 + 1). Let d be (-40)/(-20) - (-5 + -3). Let k = s + d. Is -10 at least as big as k?
False
Let o = -4719 + 99139/21. Let s = -50/63 + o. Is 2 < s?
False
Let o(z) = 3*z + 150. Let q be o(7). Which is greater: q or 172?
172
Let i = -1 + 15. Let v = -8 + i. Which is smaller: v or 10?
v
Let n = -53 + 34. Let b = n - -18. Which is smaller: -2 or b?
-2
Let q(z) = z + 9. Let p be q(-7). Let r = -55 - -29. Let n = r - -29. Which is bigger: p or n?
n
Suppose -2*t + 0 = 6. Let g be 1 - (-3 + 3 + t). Suppose 0 = g*k - 5*k + 4. Which is greater: 3 or k?
k
Let f = -41 + 158. Let s = -135 + f. Which is bigger: s or 0?
0
Suppose 4*r = 4*k + 108, k = -0*k + 1. Suppose r + 14 = 7*d. Is d > 4?
True
Let c = -1/1420 + 28473/103660. Is 0 smaller than c?
True
Let j(h) be the third derivative of h**5/60 - 7*h**4/12 - h**3/6 + 11*h**2. Let r be j(14). Is r less than or equal to -6/7?
True
Suppose 2*o - 5 = -c + 4*c, -4*o = -c - 15. Let i be -4 - o/16*4. Is i at least -8?
True
Suppose 4*a = 7*a - 42. Suppose a*z - 9*z + 35 = 0. Are z and 1 unequal?
True
Let k = -2/4961 - 615158/14883. Does -41 = k?
False
Let d(p) be the first derivative of p**3/3 + p**2 - 3*p - 4. Let t be d(-3). Suppose t*w + w = 0. Is 1/2 at most as big as w?
False
Let q = -18 - -30. Let y = 12.793 - -0.107. Let v = y + -13. Which is bigger: v or q?
q
Let k(a) = a**2 - 9*a - 12. Let z be k(10). Let q = z + 5. Suppose -4*j = -0*j - 8. Is j less than or equal to q?
True
Let t(f) = f**3 + 5*f**2 + 7*f + 4. Let d be (5 - (-76)/(-12))*3/1. Let a be t(d). Let r(z) = z**2 - 7. Let j be r(0). Is j > a?
True
Let u(b) = -b + 29. Let g be u(-14). Let v = g - 29. Which is greater: 27/2 or v?
v
Let u = -0.012 + -30.188. Let i = u - -17.13. Let r = -13 - i. Is r greater than or equal to 0.1?
False
Let y be 16/(-33) - 4/22. Let m(h) = h**3 + 11 - 2*h**2 - 1 + 13*h + 15*h**2. Let g be m(-12). Are g and y equal?
False
Let o be ((-1)/(-3))/(5/(-15)). Suppose 4*k - 50 = -3*i, 5*i - k + 2*k - 72 = 0. Let g = 12 - i. Is g > o?
False
Let b = -0.038 + 0.081. Let s = 0.143 - b. Is -1/9 < s?
True
Suppose -z + 24 = 3*t, -4*t = z - 18 - 15. Suppose 37*m - 31*m = 54. Is m at least t?
True
Suppose 2*f = f - f. Are f and -3/16 equal?
False
Let b(l) = -9*l + 1. Let w be b(-1). Suppose -2*r - 5 = -4*f - 31, 3*r - 5*f = 37. Is r at most w?
True
Let g(p) = 15*p + 118. Let c be g(-5). Which is smaller: c or 380/9?
380/9
Let d = -2623 - -2622. Is d <= -70/37?
False
Let l = -1162/55 - -233/11. Are 1 and l non-equal?
True
Suppose 0*b - 8 = -5*t + b, -11 = t + 4*b. Let u be (-4 + (-2400)/(-590))*(-3)/4. Do u and t have different values?
True
Suppose -j + 32 = -5*c - 5*j, c + 18 = 5*j. Let t(a) be the first derivative of -a**3/3 - 4*a**2 - a - 64. Let h be t(c). Is 2/11 at most as big as h?
False
Let l be (2/16)/(49/28). Let m(w) = -3*w - 2. Let a be m(-1). Does a = l?
False
Let s = -118 - -133. Let m be (-10)/s - (-2)/3. Let t be ((-8)/18 - 0)/(-1). Which is smaller: m or t?
m
Let c = 20.6 + -20.244. Let q = -0.044 - c. Let n = -2 + 4. Is q bigger than n?
False
Let u be -18 - 5 - (-2 + -1). Let k = u + 38. Suppose -5*h - 4*w = 45, h - 2*w = -h - k. Is h > -8?
False
Let s(y) = y**2 - 6*y. Suppose -6*r + 35 = -r. Let h be s(r). Suppose 3*q = h*q. Which is bigger: q or 2/13?
2/13
Let o = -366.82 - -363. Let x = -0.28 + o. Let l = -1.1 - x. Which is smaller: -4 or l?
-4
Suppose 0 = -4*v + 7*v - 18. Suppose o + 3 = 6. Let d be o/(-9) + 44/6. Which is smaller: d or v?
v
Let q = 65 - 39. Let j = -44 + q. Which is smaller: j or -16?
j
Let c = -1762 + 1879. Is 118 > c?
True
Let n = -3.6 + 1.5. Let d = -0.2 - n. Let o = -0.1 - d. Do -2/5 and o have different values?
True
Suppose 0 = -3*p + 6*p - 33. Suppose p = -2*u + 33. Let s = u - 12. Does s = 2/17?
False
Let t = -107 + 107. Let z = 497/5 + -99. Are t and z non-equal?
True
Let s be (-9)/45 - (-330)/25. Is 38/3 bigger than s?
False
Let m(a) = 10*a**3 - 3*a**2 + 6*a. Let q be m(3). Let g be q/(-189) + 5/3. Does g = -4?
False
Let a be (-6)/20 + (-24924)/120. Is -208 smaller than a?
False
Let r = 123598/93 + -1329. Which is smaller: -1 or r?
-1
Let t be 6/(-39) + (-74)/(-312). Let y = -10 - -11. Let s be (-1 - 0) + (y - 1). Is s less than t?
True
Let s = -53 + 35. Let b be (-42)/8*(-48)/s. Which is greater: -15 or b?
b
Let c(n) = -2*n**3 + 16*n**2. Let s be c(8). Are 5/184 and s equal?
False
Let c = -141 + 278. Suppose 3*i + f + 0*f - 463 = 0, i - c = 4*f. Let u be (4 + (-615)/i)*-6. Which is greater: u or 0.2?
0.2
Let k = -55 + 61. Suppose -4*g - 4*j + k*j = 4, -3*g + j - 3 = 0. Is -2/11 smaller than g?
False
Let z = 5.06 + -5.8. Let b = -0.06 + z. Let a = -9.2 + b. Is a less than 2/3?
True
Let v be ((-712)/104 - -7) + (-232)/2522. Is v greater than or equal to 1?
False
Let a = 81 - 13. Let f = -36 + a. Let m = f - 31.8. Is m at most 5?
True
Let g(j) = j**3 - 2*j**2 - 22*j - 3. Let m be g(-4). Which is greater: -111/11 or m?
-111/11
Let l = -37 + 37. Let j be 2/7 - 750/(-21). Let k be j/77 + (-6)/33. Are k and l unequal?
True
Let y = -57.82 + -1.18. Let t = -58 - y. Is 9/4 < t?
False
Let t be 3/(-9)*(226 + 11). Let l be 5 + -87 - (-7 - -4). Is l greater than t?
False
Suppose -5*o + 25 = 0, 38*o = 4*a + 41*o - 107. Which is greater: 22 or a?
a
Let l(o) be the first derivative of o**2/2 - o - 9. Let a be l(2). Is a less than 9/2?
True
Let h = -13 - -19. Let n be ((-7)/((-105)/200))/2. Which is smaller: h or n?
h
Let s(c) = c**3 + 7*c**2 - 7*c - 4. Let l be s(-9). Let j = 68 + l. Do j and -36 have different values?
True
Let t(u) = 3*u + 8. Let k be t(-3). Which is bigger: -1/50 or k?
-1/50
Let r = 0.3095 - 0.0095. Is r > 82?
False
Let t be -5 + (1 + -2)*2. Let k(a) = -8*a + 93. Let x be k(13). Are x and t non-equal?
True
Suppose 5 = -z + 1, 28 = -3*c - z. Let f = 16 + c. Suppose 4*a + 4*u = 28, -a - 3*a + u + 33 = 0. Are a and f equal?
True
Let k = 86 + 80. Is k less than 166?
False
Suppose -s - 7 + 8 = 0. Let w = -8183/138 + 256/23. Let r = -2899/60 - w. Which is bigger: s or r?
s
Suppose 3*f - 78 = -f + 3*l, -2*f = -3*l - 42. Which is bigger: f or 3?
f
Let w be ((-1)/3)/(1/(-3)). Let p(u) = u**3 + 21*u**2 - 21*u + 2. Let b be p(-22). Let z be (20/15 + -2)*(-9)/b. Is w < z?
False
Let x = -39 - -16. Let w = x - -24. Is w greater than -4/19?
True
Suppose -28*m + 515 = -213. Let v be (-2 - 1)/((-1)/9). Which is smaller: m or v?
m
Let d = -35.004 - -0.004. Let y = 35.3 + d. Which is bigger: 0.6 or y?
0.6
Suppose -36 = 3*g - 5*v + v, -3*v + 33 = -3*g. Let t = 106 - g. Is 114 > t?
False
Let q be (6/15)/(1/5). Suppose -11 = -q*r - 7. Suppose 1 = -r*l - 9. Is -6 > l?
False
Let k = 2435 + -119319/49. Is 1 < k?
False
Let j(x) = x**2 - 2*x + 2. Let n be j(2). Suppose n*c - 1 - 9 = -5*a, -5*c - 2*a = -25. Suppose -9*i = -c*i + 4. Is 3/8 greater than or equal to i?
True
Suppose 4 - 32 = -4*i - 4*q, 2*q = 5*i - 28. Suppose 2*w = i*w. Which is greater: w or 2/147?
2/147
Let c be 9 + ((-16704)/(-459))/(-4). Is c != 1?
True
Suppose 5*m - 3*m + 187 = t, -606 = -3*t - 3*m. Which is smaller: t or 196?
196
Let l = -9.6 + 1.6. Let g = -1384369/29612 + 2/7403. Let a = g + 47. Which is greater: a or l?
a
Let k = -51 + 47. Let z(i) = i - 1. Suppose -9 = -3*j, -3*f + 3*j - 9 - 9 = 0. Let t be z(f). Is k at most as big as t?
True
Let v = 870 + -1106. Is v >= 0?
False
Let w = 16 - 15.951. Let v = w - 0.149. Do 15/8 and v have different values?
True
Let o be (4*(-9