) + 6. Which is bigger: -1 or y?
-1
Let n = -22.5 + 8.5. Which is smaller: n or 1?
n
Suppose 0 = 2*t - 5*d + 2, -4*t + 9 = -d - 5. Suppose -2*n - 18 = -2*v, -2*n = -t*v + 41 + 5. Which is smaller: 0 or v?
0
Let u = -2 - -4. Suppose u = -2*z + 4. Suppose d - 4 = z. Is d less than or equal to 5?
True
Let j = 630 + -502. Which is greater: j or 127?
j
Let f = 51/52 + 4323/364. Is f at most 12?
False
Let s be (-32)/128 - (-1)/(8/50). Let c be ((-5)/(-105))/(1/s). Are c and -12 equal?
False
Let m(q) = q**2 + 4*q - 2. Let d be m(-5). Let w be (-291)/(-9) - (-2)/d. Suppose 6 = -u + 2*y, u + 9 - w = -4*y. Which is bigger: 3 or u?
u
Suppose 88*u = 96*u + 456. Is -58 greater than u?
False
Suppose -1 = 3*h - 4, -v + 7 = 4*h. Suppose -2*f + v*f + 4 = 0. Let t(o) = -o**2 + 3*o - 3. Let i be t(2). Which is bigger: i or f?
i
Suppose 2*q - 4 = 20. Suppose -q*y + 85 = -47. Is 12 != y?
True
Let c = -0.8 + -0.1. Let p = 3.1 - c. Suppose -5*w = 2*n + 7, -5*n - w = 3 + 3. Is p bigger than n?
True
Suppose -11*j - 852 - 413 = 0. Is j at least as big as -3?
False
Let x(d) = -2*d**3 + 19*d**2 - 10*d + 13. Let v be x(9). Is v greater than 76/17?
False
Let g be (30 - 22) + -28*1. Which is smaller: 0.9 or g?
g
Let w = -80/7 + 327/28. Which is greater: w or -19/11?
w
Suppose 3*q + 222 = -3*i, q + 2*i = -i - 66. Let a = 79 + q. Which is bigger: 1/40 or a?
a
Suppose 0 = 15*w - 16*w + n + 15, 21 = w - 4*n. Is w < -12?
False
Let w(m) = m**3 + 2*m**2 - 5*m - 3. Let f be w(-3). Suppose f = 3*r - 27. Is 9 at least r?
False
Let n be 10/(-20) - 4/(120/(-6993)). Is n at most 234?
True
Let y be (18/(-4))/((-23)/46). Let u be (74/10 - y)/((-2)/(-5)). Is -26/7 <= u?
False
Let f(z) = 5*z - 1. Let p be f(5). Suppose -2*m - 2*m + p = 0. Suppose n - 2 - 4 = 0. Are n and m non-equal?
False
Let p(q) = q**2 - 9*q - 16. Suppose -5*n = -9 - 46. Let h be p(n). Suppose 0 = 5*g - 0*x - x + h, 2*g = x - 3. Is -2 >= g?
False
Let j(c) = 2*c**2 + 8*c + 2. Let v(z) = 1. Let s(g) = j(g) - 2*v(g). Let p be s(-6). Let x be p/(-45)*6/8. Which is smaller: x or 1?
x
Let f = 643/4 - 161. Is f > -232?
True
Let k be 15/6*(0/3 + 350/1250). Suppose -2 = m - 3. Is k greater than or equal to m?
False
Let l = 25 + -27. Let y be 5/(-3)*(-1)/3. Let f = y - 1/18. Is l < f?
True
Let g be -2 + -2 + 105/12. Suppose 0 = -3*x + 2*s + 6, -28*x - 4*s = -24*x - 28. Are g and x unequal?
True
Suppose -4*s + 16 = 2*v, -4*v + 5*s - 4 = 4*s. Is -22/53 at most v?
True
Let m be -9*(-2 + (-4)/3). Suppose m = -2*v + v. Which is smaller: v or -31?
-31
Let v = 17 - 15. Suppose 0 = l - v*r + 9, 0*r - 5*r + 45 = -4*l. Let b = 13 + l. Is b at least as big as -7/4?
False
Let t(f) = 2*f**2 + 18*f + 17. Let q be t(-11). Let h = q + -72. Is -21/2 >= h?
True
Suppose 0 = 3*y + 5*h - 17, -5*y - 15 - 10 = -5*h. Let z = -316 - -2206/7. Are y and z unequal?
True
Suppose 5*q - 23 = -8. Let b(i) = 32*i - 21 - 29*i + 4. Let a be b(7). Which is greater: q or a?
a
Let j(u) = 38*u + 283. Let b be j(-6). Does b = 55?
True
Let g = -603 - -511. Do g and -0.3 have the same value?
False
Let n = 343.3 + -343. Which is greater: n or -64?
n
Suppose -b = -0*w + 3*w - 11, -5*w - 2*b = -20. Suppose 5*d = c - 9 - 22, -w*c + d + 44 = 0. Are c and 21 unequal?
False
Let j be (-4)/(-12)*-3*0. Let n(f) = f**2 - 10*f + 6. Let t be n(8). Let x be 2 + -7*(-2)/t. Is x <= j?
False
Let u(k) = 6*k**2 + 18*k + 4. Let a(s) = 5*s**2 + 17*s + 4. Let v(x) = -5*a(x) + 4*u(x). Let f be v(-12). Which is smaller: f or 5?
5
Suppose 0 = -6*m + 156 - 234. Is -16 <= m?
True
Suppose 5*x - 2*g - 12 = 0, 2*g - 6 = -2*x + 4*g. Let b = -3 - x. Suppose 24 = z - 4*z. Which is smaller: b or z?
z
Suppose 46 = -5*b - 9. Let x be (-10 - b) + 2 + 1 + -4. Which is smaller: -3/8 or x?
-3/8
Let m be 38 + -16 + 6/2. Is 25 at most m?
True
Let k be (-2307)/12 - (-15)/(-20). Is k equal to -191?
False
Let h = 478/6045 + -1/465. Does h = -35/4?
False
Let p be 6/(-8) + (-311)/12. Let g = p - -27. Is g greater than 0?
True
Let m = -33 - -32. Let v be 6/(-963)*(m - -4). Which is smaller: v or -1?
-1
Let x = 29 - 26. Let f be (-9)/(-12)*6 - x. Let p = -55 + 219/4. Are p and f equal?
False
Let b be ((-2)/(-11))/(-2)*(-2)/2. Do b and 1 have different values?
True
Let r = 13.9 - 13.51. Let g = -10.39 + r. Are g and -0.1 nonequal?
True
Let y be ((-5)/(-3))/((-10)/(-18)). Is 2.9 > y?
False
Let t = 114 - 113.8. Is -13/5 smaller than t?
True
Let o(h) = -4*h - 30. Let z be o(-9). Suppose 0*b + 3*b = -54. Let g be 8/36 - 77/b. Which is smaller: z or g?
g
Let m = -114611/62865 - 61/635. Let v = m + 23/9. Is v bigger than 1?
False
Let l = 3238 - 29185/9. Let k = -595/117 - l. Let c(s) = -s - 13. Let w be c(-13). Is w less than k?
False
Let v = -24 - -24. Suppose v = -2*g + 4*g - 16. Do g and -2 have different values?
True
Let t(u) = -4*u - 14. Let p be t(4). Let n be (-48)/(-2385) + p/225. Which is smaller: n or 1?
n
Let h be (0 - -1)/(-31 - -34). Suppose 7*d = 3*d + 16. Suppose -8 = d*m + 4. Which is greater: m or h?
h
Let m(u) be the second derivative of -u**4/12 - u**3/2 + 3*u**2/2 + 113*u. Let q(y) = y**3 + 2*y**2 + 3*y. Let z be q(-2). Let f be m(z). Does f = -16?
False
Let k = 11.4 - 0.9. Let d = k - 10.4. Is d at least as big as 2/73?
True
Let s = -325 - -325. Is s smaller than -1/353?
False
Suppose 5*r = -4 + 29. Suppose -t - r = -0. Is 5 smaller than t?
False
Let r be (96349/(-342) + (-4)/(-18))*-2. Let x = r + -3953/7. Are -3 and x equal?
False
Let c = 7789/66 - 118. Suppose -5*y + 3*g - 14 = 0, -89*y + 1 = -87*y + g. Is y less than c?
True
Let t = -32.2 + 33.2. Which is smaller: -0.046 or t?
-0.046
Let k be ((-1)/(-1182))/((-36)/48). Which is smaller: 1 or k?
k
Let n = -11 - -42. Let p = -29 + n. Is 3 greater than p?
True
Let b = -1 - -2. Let r = b + -10. Let t(g) = 39*g + 79. Let v be t(-2). Is v != r?
True
Let d be 4/(-3) + (3 - 441/(-27)). Is 12 greater than d?
False
Let n be 4 - (366/63 + -1). Which is bigger: n or -2?
n
Let c(m) = m**3 - 18*m**2 + 2*m - 43. Let i be c(18). Let x be (-3)/(-3) + i/((-2)/2). Which is greater: 11 or x?
11
Let o be -1 + (-38)/24 + (1 - -1). Let l(w) = w**2 + 11*w + 7. Let f be l(-7). Let j = 19 + f. Is o < j?
False
Suppose -2*q + 177 = 179. Suppose -5*n - l - 42 = 0, n - l - l + 15 = 0. Let b be ((-6)/(-63))/(4/n). Which is bigger: q or b?
b
Let b = 42.2 + -42.6. Is b at least 58?
False
Let y(a) = -2*a - 31. Let s be y(6). Which is smaller: s or -45?
-45
Suppose 3 - 12 = -3*g - 4*b, -4*b + 24 = 0. Let q(h) = -h**3 - 3*h**2 - 2*h - 2. Suppose -6*s = -s + 10. Let d be q(s). Which is greater: g or d?
d
Suppose -11*i + 24 = -3*i. Suppose 3 = 3*v - 5*f, -5*f + 4 = 7*v - i*v. Let q = -87 - -956/11. Which is bigger: q or v?
v
Let r = -1.55 + -0.37. Let o = r + 2. Let p = 1.08 - o. Are -1/7 and p equal?
False
Let d = -1255/18 - -70. Let y(k) = k**3 + 14*k**2 + 9*k - 52. Let v be y(-13). Is d greater than v?
True
Let i = 41.81 - 42. Let j = 0.13 + i. Let d = 5.06 + j. Is 0 at most as big as d?
True
Let w = -10 - -14. Let u(c) = -c**3 + 4*c**2 - c - 1. Let l be u(w). Let m be -1 - -3 - l/(-2). Is 0 at least as big as m?
True
Let s = -262 + 59. Which is smaller: -202 or s?
s
Let d = 56 - 77. Let o = 61 + -80. Is o at most d?
False
Let g = 998/65 - 2/13. Which is bigger: g or 3?
g
Let f(v) = -14*v + 522. Let s be f(25). Is 517/3 less than or equal to s?
False
Let u = 335 + -336. Let r = -6/385 + -8/1463. Which is smaller: u or r?
u
Suppose -4*u + 69 = 45. Let o(t) = t**3 - 6*t**2 - t + 3. Let a be o(u). Which is smaller: -10 or a?
-10
Let u(w) = -w**2 + 26*w + 59. Let z be u(28). Suppose 12*a - 15 = -z. Let q be (4/6)/(-2)*1. Which is smaller: q or a?
q
Let g = 1645 + -3381/2. Let q = -43 - g. Which is smaller: q or -1/2?
-1/2
Let v = -731 + 680. Is -51 smaller than v?
False
Let b(m) = m**3 + m + 15. Let t be 12/20 + (-6)/10. Let d be b(t). Let q = -8 + d. Is q > 7?
False
Suppose -12*c + 32 - 20 = 0. Which is smaller: -468 or c?
-468
Let i = -240.35 - -243. Is -0.1 bigger than i?
False
Let l = 222 - 226. Is l greater than 3.1?
False
Let z = -29 + 20. Let q(s) = s**3 + s**2 - s + 8. Let h be q(0). Let d = z + h. Which is smaller: 2/11 or d?
d
Suppose 0*w = 2*w + 12. Let a = 9 + w. Suppose 5*l = a*l + 22. Are 11 and l equal?
True
Let n be (-6)/(-144) - (-5)/15. Is 0 smaller than n?
True
Suppo