*n - 21. Let s be h(14). Let c be (-2)/s - 5151/7371. Let u = 7/27 + c. Which is smaller: u or 1?
u
Suppose -2*m - 4 = -0*m. Suppose -7 = -4*i + 3*i. Suppose -3*v + 4*c = 32, -4*v = i*c - 3*c - 4. Which is bigger: v or m?
m
Let x = 59/3 - 76/3. Which is smaller: x or 1?
x
Let k = -0.3515 + 0.0515. Is k >= 0.285?
False
Let y = 977 + -1008. Let u be -31 + 1 + 0/2. Which is bigger: u or y?
u
Let b = 86 - 86.099. Let a = b + -0.001. Is -25/3 equal to a?
False
Suppose -2*g + 29 = -3*k + 2*k, 4*k + 14 = 2*g. Suppose 5*c - 3*w = g, 4*c - 4*w - 16 = -c. Suppose d + 3*d = -c. Is -8 at most d?
True
Suppose -1 + 6 = x. Suppose 2*u = 3*u + x*p + 26, 4*u + p + 28 = 0. Let s be -1*3/(-6)*-14. Is u at most s?
False
Suppose -v + 12 = c, 7*v - 5*v = c. Let n = 0.015 - -0.285. Which is greater: c or n?
c
Let l be (-7 + 6)*(-19 - -2). Is 4 at most l?
True
Let j be ((-24)/(-182))/((-6)/(-21)). Let w be 18/(-54) + (-1)/(117/2). Let p = j + w. Is 0 at most p?
True
Let z be (5/15*-6)/(-2). Are 20/23 and z equal?
False
Suppose -3*x + 15*x + 204 = 0. Which is greater: -16 or x?
-16
Let h = 10 + -10. Let n = -0.35 - h. Is -1/2 at most n?
True
Let g(i) = 19*i - 30. Let n be g(6). Are n and 83 unequal?
True
Let r = 0.052 + 37.948. Let f = 35 - r. Which is greater: f or 5/2?
5/2
Let f(p) = -2*p**2 + 23*p - 10. Let r be f(11). Is 5/179 greater than r?
False
Let g = 13 - 10. Suppose -6 = -0*y - g*y. Suppose y*a - 2*j + 1 - 5 = 0, 4*a = -2*j + 2. Which is bigger: -1/5 or a?
a
Let p = -10.16 - -15.23. Let o = p + -5. Is o smaller than 0.1?
True
Let x(f) = 2*f - 1. Let l be x(2). Suppose -5*y + l = -2. Let i be -2 - (210/27 + -10). Which is bigger: y or i?
y
Suppose 0 = 219*n - 224*n + 2135. Does n = 428?
False
Let l(u) = -7*u**2 - 14*u - 12. Let x(m) = 9*m**2 + 15*m + 12. Let a(d) = -5*l(d) - 4*x(d). Let i be a(11). Which is greater: -1/52 or i?
i
Let b be 0/(2*(-12)/8). Suppose 2*k - 105 = -3*k - 5*u, b = u + 1. Let h = 22 - k. Which is smaller: h or 8/7?
h
Let i(x) = -7*x + 515. Let a be i(74). Which is greater: 273/2 or a?
273/2
Let j(s) = -33*s - 9. Suppose 5*n + 3 = -2. Let q be j(n). Is 24 greater than or equal to q?
True
Let o = 1131 + -1130.8. Is -97 bigger than o?
False
Suppose -3*q - 2*q + 65 = 0. Suppose -3*o + 5 = -q. Is 4 not equal to o?
True
Let f = 171 + -178. Let b be 1*(-1)/(-1) + -1. Let y = b + f. Which is smaller: -6 or y?
y
Let m be -11 + (2 + -1 - 0). Let a(k) = -k**2 - 11*k - 4. Let o(b) = -1. Let d(s) = -a(s) - 4*o(s). Let p be d(m). Is p < -8/5?
True
Suppose 3*v + 14 = o, v = 4*o - 0*v - 56. Suppose 4*j = 2*q - 36, -41 = -5*q - 5*j + 4. Is q >= o?
False
Let k be (-39 + -18)*5/15. Is k > 10?
False
Suppose 2*w = w + 3. Let v be (-1)/w - 34/(-114). Suppose 9*r = 4*r. Is r at most v?
False
Suppose 231*v + 2 = 229*v. Is v less than or equal to 2/1611?
True
Let l be 12/(-18)*2/56. Is l >= -1?
True
Let l = 1.2 + -1. Suppose -3*k + 160 = 184. Does l = k?
False
Suppose 0 + 4 = p + 4*s, -4*p + 27 = 5*s. Let k = 13 - 21. Let m = p + k. Which is greater: -1/18 or m?
m
Let u = 9 + -125. Let q be u/36 - 3/(27/(-2)). Which is smaller: q or 4?
q
Let n = 32 + -45. Let y = 16 + n. Is -2/7 not equal to y?
True
Let d = -2 - -5. Let y = 0 + d. Let q = -1631/3 - -544. Is q <= y?
True
Let n = 35.67 + -3.67. Is n bigger than -0.1?
True
Let l(o) = 5*o - 2. Let x be l(2). Suppose 2*p = -0 + 8. Suppose h + y - 11 = -p*y, 0 = -2*h + 4*y + x. Is h equal to 6?
True
Let m = -0.0199 + 95.0199. Do m and 4 have the same value?
False
Suppose 48*r - 273 = 9*r. Suppose 2*j - 12 = -j + 3*x, -4*x - 1 = -j. Are j and r equal?
False
Let j be (0 + (-4)/(-8))*(-2 + 8). Let k(y) = -y**2 + 8*y - 10. Let b be k(7). Let t = 6 + b. Is j <= t?
True
Let l = 24 - 44. Let d = l + 27. Is -2 less than d?
True
Let b be 570/228*(426/5 + 0). Is b not equal to 214?
True
Let d be (-90)/3*1/(-3). Let p be d/(-102) - 3/(-9). Which is smaller: -1 or p?
-1
Suppose 0 = v - 5, 5*m - 4*v - v = -80. Let x = m - -4. Let a = -14 - x. Which is smaller: -8 or a?
-8
Let i be (1 - -5) + 8 + -19. Let n = 0.4 + -0.3. Is n at most as big as i?
False
Let d be 448/(-7) + 5 - (1 - 3). Let b = d + 59. Is 5 smaller than b?
False
Let f(j) = -6*j**2 + 6 + 0*j**3 + 5 - j**3 - 10 - 5*j. Let d be f(-5). Suppose -2*v + 3 - d = 0. Are 3/10 and v nonequal?
True
Let x be (2/(-32))/(1/(-142)*-25). Let o = x + -38/25. Is o equal to -1?
False
Let q be ((-30)/100)/((-18)/15). Which is smaller: q or -0.28?
-0.28
Let f be (-16)/10*(4 + (-34)/8). Is f at least as big as -471?
True
Let f = -46 + 62. Suppose 2*l - 6 = 24. Which is smaller: f or l?
l
Let m = 8 + -17. Let o(l) = -l**3 + 13*l**2 - 10*l - 14. Let n be o(11). Let k = n + -588/5. Is k less than or equal to m?
False
Suppose 0 = -2*r - 2*p + 436, 478 + 366 = 4*r - 3*p. Is r at least as big as 215?
False
Suppose 5*p = 6 + 4. Suppose v = -p + 1. Which is bigger: v or 1/11?
1/11
Let s = 20 - 19.89. Let c = 7.89 + s. Let f = -7 + c. Is 0 != f?
True
Suppose 8*b - 7*b + 204 = 0. Let f be 1/5 - b/(-820). Which is greater: 1 or f?
1
Let o = -25.8 + 25.7. Do -77 and o have the same value?
False
Let f(v) = -v**2 + 9*v + 6. Let x be f(10). Let h be (3 + x/2)*2. Suppose -3*o - 2*a = -3, 0*o + o - h*a + 7 = 0. Is -1 equal to o?
True
Let q be ((-160)/50)/(4/50). Is q at most -199/5?
True
Let m(u) = 3*u**2 - 4*u - 4*u**2 - 2*u - 7. Let j be m(-3). Is j at most 6/11?
False
Suppose z - q + 1 = 2, -4*z = 2*q - 28. Let t = -37 + 33. Let b be 1 - ((-6)/t)/((-27)/63). Which is smaller: b or z?
b
Suppose -46 = -3*a + 5*d, 7*d + 22 = a + 4*d. Suppose 5*j - 11 = -2*s, -3*j = a*s - 4*s - 12. Is j smaller than 3?
True
Let u = -50 - -50. Suppose i = -4*i - u*i. Is 2/129 less than i?
False
Let w(f) = -f**2 - f - 4. Let s(y) = 2*y + 10. Let m be s(-5). Suppose m*n = -5*n. Let b be w(n). Which is smaller: b or -3?
b
Let o = -1259 + 13825/11. Suppose 2*r + 2 - 4 = 0. Which is greater: r or o?
r
Let f(x) = -39*x**2 + 23*x - 20. Let d be f(3). Is d > -300?
False
Let a = -2177/36 + 391/18. Let b = a + 39. Let w(v) = v**3 - 30*v**2 - 34*v + 92. Let j be w(31). Which is greater: j or b?
b
Let h = -2.7 + 14.7. Let z = -28 + h. Let v = z - -18. Is v less than 2?
False
Let w = -16 + 16.1. Let o be (-1)/(-3 + 2 - -30). Which is greater: o or w?
w
Let z be (-1)/(-8)*-2 - 371/28. Let o(l) = -2*l**2 - 4*l + 2. Let u be o(-4). Let k = u - z. Do k and 0 have the same value?
False
Let q = -10 - -10. Let o be 2*(q + 2/(-4)). Let g = 7 + -9. Is g bigger than o?
False
Let m = -348 - -638. Let s be (m/95)/(18/8). Let u = 30/19 - s. Which is smaller: 1 or u?
u
Let k = -9 + 9.6. Let r = k - 0.7. Let j = r - 0. Which is smaller: j or 1/4?
j
Let n = -1289 + 1289. Which is smaller: n or 16/91?
n
Suppose 0 = -q + 5*q + 120. Let g be (-160)/q*3/(-2). Let w(p) = -p + 2. Let m be w(9). Which is smaller: g or m?
g
Let v = 176666 + -3532553/20. Let a = 151/4 - v. Let z(b) = b**2 + 8*b - 9. Let s be z(-9). Which is smaller: s or a?
a
Let d be (-30)/((-6)/(-78) - 106/364). Which is greater: d or 143?
143
Let d(i) = -2*i**2 + 3. Let p be d(-2). Let k(w) be the second derivative of w**3/6 + w**2/2 + 2*w. Let y be k(p). Which is smaller: -5 or y?
-5
Let h be (-16)/12 - 104/(-15). Let q be 7*(-4)/(-16)*4. Is q <= h?
False
Suppose 29 = -l + 5*w, 3*l - 3*w = 2*l - 19. Let u be (-65)/(-9) - l/(-18). Let s = 5 + 0. Is u smaller than s?
False
Let z = 0 + -0.04. Let u = 181 - 181.06. Let k = z + u. Is 4 at most k?
False
Suppose 8*u - 3*u + 125 = 0. Let z = u + 26. Let b be (-10)/(-4) + -4 + z. Which is bigger: b or 0?
0
Let c = 33 + -41. Let k = 15 + c. Is 9 less than or equal to k?
False
Let o = 8 - 8. Suppose o = -8*x + 6*x. Are -3/14 and x non-equal?
True
Let f(l) = l**2 - 2*l + 4. Let o be f(3). Suppose -9 + o = p. Which is bigger: 1 or p?
1
Let a be (-6)/(-8) - 2540/80. Which is greater: -30 or a?
-30
Let c = -662 - -655. Is -8 bigger than c?
False
Let i = 0.6 - 0.668. Let y = -0.932 + i. Is y greater than or equal to -0.001?
False
Let y = -16219 - -21003606/1295. Is 0 >= y?
False
Suppose -3*t = 2*t - 6*t. Suppose t = m - 2*m. Is 1/3 at most as big as m?
False
Let s be (-2)/6 - (-4)/(84/(-833)). Is s <= -370/9?
False
Suppose 2*z + 0*z = 2*o - 56, 3*o + 3*z = 72. Is 26 smaller than o?
False
Suppose -4*h = -4*r + 57 - 265, -4*h - r = -208. Let d = -41 +