29*r + 5*r + 6480 = 0. Suppose 3*a + 2*k = -166, -a - 5*k = 4*a + r. Which is bigger: -56 or a?
-56
Let x be 9 - ((-12)/24 - (-10)/(-4)). Suppose x = -4*l + 36. Suppose 4*j + 1 = s + 26, -2*s = 2. Is j at least as big as l?
True
Let q be -5*(-6)/20*-2 + 4. Which is smaller: -7 or q?
-7
Let n = 4 - 2. Suppose -3*g = g + 5*o + 2, n*g - o - 6 = 0. Suppose 3 = g*a + 7. Is -9/4 >= a?
False
Suppose 0*f + 4*u - 16 = -4*f, -4*u = 5*f - 16. Let r = f - -2. Let v be (0 - 3/6)*(-52)/10. Is v bigger than r?
True
Let t = 19.11 - 5.11. Does 0.1 = t?
False
Let d = 3 - 4. Suppose 3*r = -2*c + 446 + 65, -3*r + 3 = 0. Let w = -13460/53 + c. Which is smaller: d or w?
d
Let p be (2 - -6) + 1/(-1). Suppose p*d = 5*d. Suppose -4*j - 3*x = d, 2*j - 2*x - x = 0. Is 0 at most j?
True
Let y be ((-8)/134)/(-7 - -5). Suppose 2*c + 2*c + z = 0, -2*z = -4*c. Is y greater than c?
True
Let z = -85 + 82. Let w = -3 + 25. Let u be -4 - z/18*w. Is -1 at most as big as u?
True
Let q = 540 - 541. Is 432 bigger than q?
True
Let z(i) = i**3 + 6*i**2 + 5*i + 30. Let b be z(-6). Is -8/157 > b?
False
Let m be (34 + -26)/((-2)/(-4)*1). Let b be 2/(-2) - 16/(-2). Let d = b - m. Is -9 != d?
False
Let v = 70 + -69.77. Let p = 8 + -8.13. Let o = -0.13 - p. Which is bigger: o or v?
v
Suppose -3*z - 101*a + 97*a + 16 = 0, -20 = 4*a. Is z bigger than 47/4?
True
Let u be 2/(-21) + (-4)/12. Let c = 39 - 28. Let a = c - 11. Are u and a non-equal?
True
Let c = 16 - 20. Let s be 8 + 0 + 0 + c. Suppose 0 = -z - 5*g + 14, 0 = -3*z + z + 2*g - 8. Which is bigger: z or s?
s
Let a be (-3*1)/((-2337)/(-2009)). Is -4 greater than or equal to a?
False
Let v = -12 + 36. Let b = v - 11. Suppose 15*w - b*w = -2. Which is smaller: -1/12 or w?
w
Let m = -0.13 - -5.13. Let i be 4 + -30 + (1 - -1). Let a be (-90)/225 + i/(-110). Do a and m have the same value?
False
Let m = 268/2847 - 5/73. Which is bigger: m or 0?
m
Let d = 2.6 - 1.6. Let u = -5 - -4.8. Which is greater: u or d?
d
Let p = -11/4 + 49/12. Let f = p - 5/3. Is f bigger than -6?
True
Let h be ((-18)/28)/(456/(-209)). Which is bigger: h or -1?
h
Let v be (136/(-6))/((-76)/57). Which is bigger: v or 15?
v
Let k(l) be the first derivative of -l**4/4 - 13*l**3/3 + 7*l**2 - l - 1. Let q be k(-14). Let p = -12 - -9. Are p and q nonequal?
True
Let x be (-3)/9 - (-7)/(63/111). Which is bigger: -10 or x?
x
Let i = -36 + 326/9. Let j = -2 + 2. Which is smaller: i or j?
j
Let k(q) be the third derivative of q**4/12 - q**3/3 + 79*q**2. Suppose -2*p - 2 = -5*j, 1 = -5*j + 4*p + 5. Let w be k(j). Which is bigger: 2 or w?
2
Suppose -5*x - v - 2 - 3 = 0, -6 = -2*x - 2*v. Let s be (-1)/(-2)*1*x. Is s >= 1/12?
False
Let f be 1/((-12)/(-54) - 205/882). Which is bigger: f or -97?
-97
Let d = -34 - -45. Let t = -105/152 + 6/19. Which is smaller: t or d?
t
Let r(i) = -2*i**3 - i. Let p be r(-1). Suppose 0 = s - p - 3. Let y = s - 7. Which is bigger: -1/15 or y?
-1/15
Let k(n) = n**3 + 6*n**2 - 7*n. Let f be k(-7). Suppose -2*v - 3*v = f. Suppose -5*s + v*s - 38 = t, 3*t + 63 = 2*s. Is -23 bigger than t?
False
Let h be 8*((-21)/(-6) - 3). Suppose 0 = 2*c + 8, 0*c = h*g - 5*c - 220. Suppose -4*r = r - g. Is 11 != r?
True
Let m be 21/(-9) + 2 + (7 - 161/21). Let r = -41/50 - -1/50. Is r at least as big as m?
True
Let a(f) = -f**3 + 4*f**2 + 136*f + 57. Let b be a(14). Is 6/197 < b?
True
Let c = 980 - 844. Is 135 less than or equal to c?
True
Suppose -490 = 3*i - 5*o, 792 = -19*i + 14*i - 4*o. Are -161 and i unequal?
True
Let z be (-9 + 19)*8/(-3540). Which is smaller: 0.1 or z?
z
Let w = -2 + 2. Let x be (-3)/(-2)*(-10)/15. Let z be -2*(x + (-1 - -1)). Is w at least as big as z?
False
Let h be (40/(-1540))/((-8)/(-42)*(-6)/16). Suppose 0*g = 5*g. Is g greater than h?
False
Let m be 6 - 95/60 - 5. Which is smaller: m or -2?
-2
Let m be (-1)/(-5) - (-33)/(-165). Which is smaller: m or -4/27?
-4/27
Let o = 2.561 + -2.161. Let n be 2 - 0/(1 - 0). Which is smaller: o or n?
o
Let p = -140 + 1258/9. Let a(m) = -3*m**2 + 1. Let s be (-2)/(-9) + (-33)/27. Let i be a(s). Is p > i?
True
Let y be (2/(-6))/(2/2034*3). Which is smaller: -117 or y?
-117
Let w = 210/11 - 1514/77. Suppose 0 = -h + 9 - 4. Suppose 4*g - h = 9*g. Which is smaller: w or g?
g
Let h = -559 + 568. Which is smaller: -0.039 or h?
-0.039
Let p be (-7 - 40/(-6))*3. Which is greater: p or 24/83?
24/83
Let f = 24 - -1. Let i = 20 - f. Is i less than or equal to 0?
True
Let j = -0.053 + 53.053. Let k = 54 - j. Which is greater: 2/19 or k?
k
Suppose 3*s - 5 = 2*s. Suppose -9*k = -s*k + 12. Which is bigger: k or -20/7?
-20/7
Let u = -3.3 + -0.8. Let x = u - -14.6. Let i = x + -0.5. Which is smaller: i or 0?
0
Suppose -32 + 50 = -3*k. Let u = -5 - -8. Suppose u*y = 3*o - 27, 0*y + 24 = -4*y - 2*o. Is k >= y?
True
Let z = -1 + 4. Suppose 0 = -5*x + z*x + 8. Suppose x*b - 5*b = -1. Do b and -2/7 have the same value?
False
Let m be 6 + -1 - -3*1. Suppose -2*s - 1 + 17 = 0. Is m greater than or equal to s?
True
Let g = -5883/287 + 144/7. Is -1/3 not equal to g?
True
Let l = -172 - -173. Which is greater: l or 3?
3
Suppose 2*k + 3 + 5 = 0. Let c = 66/325997 - -2680883102/574080717. Let r = 2/587 - c. Which is smaller: r or k?
r
Suppose -n - 110 = -w - 14, -n = 4*w - 364. Suppose -5*f + w = -63. Is f at most as big as 31?
True
Let w(i) = i**3 - 3*i**2 - 7*i + 1. Let a be w(5). Suppose 2*v - a = 3*v. Let x be 3 + 10*4/v. Which is greater: 0 or x?
x
Let n = 37 + -27. Suppose -i = -2, -4*i = -f + i - n. Is f at least as big as -0.25?
True
Let c = 11 - 22. Let k = c + 7. Suppose 4 = 4*s - 0. Does s = k?
False
Suppose -21 = 5*j - 4*m, 3*m - 6 = 2*j + 2*m. Let n be (2/10)/(36/(-75)). Which is smaller: j or n?
j
Let d be ((-9)/(-5))/(116/120). Is 2 != d?
True
Let b(o) = 13*o - 74. Let k be b(14). Does k = 109?
False
Let o = -0.742 + 1.042. Is -150 less than o?
True
Let t(u) = -u**3 + 2*u**2 - 2*u + 1. Let b be t(1). Let m = 521 + -21363/41. Is m > b?
False
Suppose -10 = -5*t - 5*q, 2*t - 8 = -3*t - 4*q. Let v = -92752 + 647882/7. Let n = v - -198. Are t and n nonequal?
True
Let a be 0/((1/2)/(4/(-8))). Suppose -4*d + 24 = -2*j, -5*j + 3*d = -a + 74. Suppose -2*n = 3*s + 57, s + 2 = -0*s + 5*n. Are s and j equal?
False
Suppose 0 = 3*r - r - 10. Suppose -f + r*u + 23 = -2*f, 5*f = 2*u + 20. Is -1 less than f?
True
Let y be -15 + 20 + ((-20)/1 - -2). Is 7 >= y?
True
Let j(x) = x**2 - 42*x + 604. Let b be j(29). Is 224 > b?
False
Let c(x) = x - 9. Let y be c(9). Let d be 12/((10/(-4)*-2)/4). Which is smaller: d or y?
y
Let v = -0.115 + 0.195. Let w = v - 2.08. Which is greater: w or 6/5?
6/5
Let a = -49387/48 + 1029. Let h = a - 749/48. Is h < -17?
False
Let i = -11 - 25. Let n = 48 + -82. Which is greater: n or i?
n
Let h(w) = -w**2 - 2*w + 15. Let b be h(-8). Is -33 < b?
False
Let c be (0 + 5)/(1*-4). Suppose 0 = -2*x + 6 + 16. Suppose x*n + 5 = 6*n. Which is smaller: c or n?
c
Let b = 2 + -3. Let k be (0 - (-6)/123)*3/(-6). Which is greater: k or b?
k
Suppose 12 - 108 = 3*v. Let d = 50 + v. Does d = 2/9?
False
Let x be 615/(-21) + 2/7. Let w = x + 17. Let n be 3 + 0 + -24 - -8. Which is smaller: n or w?
n
Let n = 81 + -96. Which is smaller: -13 or n?
n
Let g be (-3 - -2)*(-2 + -17). Let z = 842 - 1641/2. Let h = z - g. Is h > -1/3?
True
Let s = -40.8 - -40.887. Is s <= -1/3?
False
Let i = 89 - 90. Let u(y) = y**2 + y - 2. Let n be u(-4). Let q be (0 + (-2)/n)*2. Which is greater: i or q?
q
Let s = -1/483 + -839/61341. Is s at most 0.4?
True
Let h(b) = -2*b**2 - 188*b - 1074. Let g be h(-6). Let o be (-61)/3 + 2/(-3). Is g greater than o?
True
Let j = -8876/5 + 7698/65. Suppose -4*q - 4*k = 6632, 3*k = -q - q - 3318. Let d = q - j. Which is greater: d or 1?
1
Let p(b) = b**3 + b**2 + b - 2. Let c be p(1). Let a be (-44)/(-4) + (c - 1). Let s = 25 + -13. Which is greater: a or s?
s
Suppose -g = 5*f + 1068, -2*g = 4*f - 73 + 925. Is f < -214?
False
Suppose -4*i + 1 = -3. Let s = -6 + 2. Let d be 5 + s + (-6)/3. Which is smaller: d or i?
d
Let g(c) be the first derivative of c**4/4 - 2*c**3/3 - c - 11. Let m be g(2). Let o = -5 - -3. Which is smaller: m or o?
o
Let u be -1 - 0*(-10)/30. Are u and 4/9 equal?
False
Suppose -6 = -3*a + 5*a, 0 = 2*z + a + 7. Let x be z/5 + (-16)/80. Which is bigger: x or -0.05?
-0.05
Let p(j) = -6*j - j**2 