= -q**2 + 15*q + 20. Let r be b(17). Let i = r + 14. Suppose 0 = -k + 2, i = -2*z - 0*k + k + 18. Is 10 >= z?
True
Let c = -42 + 13. Let h be (-368)/14 - ((-10)/(-14) + -1). Let f = c - h. Is -6 less than f?
True
Let f(c) = c**2 - 2*c + 5. Let j be f(0). Suppose 0 = -3*v + 4*v + z - 6, z = j*v - 24. Which is smaller: 8 or v?
v
Let o be (-16)/24 + -4*(-32)/12. Is 6 <= o?
True
Suppose -27*s - 1482 + 159 = 0. Which is bigger: -52 or s?
s
Let a = 1213 + -1133. Which is greater: 2/9 or a?
a
Let a be 0 - 0 - (-2)/(-7). Let k = -12 - -29. Let j = -17.02 + k. Which is smaller: j or a?
a
Let l = -58 + 121. Let d = 59 - l. Let g be 3/(9/8) + -2. Which is smaller: d or g?
d
Let u = -1650.03 - -1626. Let w = u - -24. Which is greater: w or 5?
5
Let m be (-30)/1*(-357)/(-42). Are m and -256 equal?
False
Let x be ((-896)/14)/(3/12). Do x and -256 have different values?
False
Suppose -4*a - 4*h = -20, -1 = -5*a - 2*h + 3*h. Suppose 4*x + 3*b - 4 = a, 0 = 4*b + 4. Let v be x/(-2)*(-2)/2. Is 1/8 equal to v?
False
Let s be (4/(-4))/((-2)/166). Suppose -2*a - s = -5*g + 102, -3*g - a + 100 = 0. Which is greater: 34 or g?
g
Let v(o) = -o**3 + o**2 + 4*o - 2. Let j be v(-5). Let p be 4/(-3)*(-18)/j. Let r = 11885 + -11886. Is r smaller than p?
True
Let z(p) = -p**3 - 2*p**2 - p - 3. Let s be z(-2). Let h be s/(-5 - (-4 - 0)). Which is smaller: -1/15 or h?
-1/15
Let v = 30555/44 + -2249/4. Let w = -154 + 22. Let f = w + v. Which is smaller: f or 0.2?
f
Suppose -4*s = c - 345, -s + 34*c + 81 = 36*c. Is s > 89?
False
Suppose 0 = -5*h + 3109 + 3191. Let r be 1/7 - 12/h. Let q(c) = -c**2 - 7*c + 8. Let y be q(-8). Which is smaller: y or r?
y
Let i = -2 + 1. Let k be -3 + 4 + (i - 2). Let r = -6 - -7. Are r and k equal?
False
Let g = 33 - 16. Suppose -2*f + g = -17. Let s = -1 + f. Is s at least as big as 17?
False
Let s be -1 + -2 + (-1 - (-770)/5). Suppose 0 = 5*r + 4*g - 150, -2*r = 3*r - 5*g - s. Is r >= 30?
True
Let j be (2210/(-119))/((-4)/35). Is 162 != j?
True
Let g = -11 - -16. Suppose 2*s - 13 + g = 0. Suppose 0 = -5*l + 4*u - 12, s*l = 3*u + 2*u - 15. Is -3 less than or equal to l?
True
Let w = -21 - 0. Let j = w + 25. Is j at most 0?
False
Let x(n) = 5*n + 2. Let h be x(-3). Let r(o) = -o**3 - 10*o**2 - 12*o - 12. Let t be r(-7). Let g = t - -62. Is h at least as big as g?
True
Let w = 20 - 21. Let f = -0.76 - -0.795. Which is smaller: f or w?
w
Let n be -1 + 7/(21/(-5188)). Let v = n - -1745. Is v greater than 14?
True
Let c = 14 - 13. Let w = -433 + 463. Which is greater: c or w?
w
Let a be (-45)/(-6)*(-32)/10. Let o be a/(-9)*(-12)/(-16). Is o equal to -1?
False
Let p(n) = n**3 + 17*n**2 + 29 - 41 + 13*n + 0*n**3. Let i be p(-16). Which is bigger: i or 37?
37
Let w(b) = -b**2 + 10*b + 13. Let a be w(11). Suppose 0 = a*g + 8 - 10. Is g bigger than -22?
True
Let f(r) = 4*r + 5. Let z be f(-3). Let c(y) = -y - 4. Let o be c(z). Is 9 at most o?
False
Let n(d) = -d**3 + 15*d**2 - 17*d + 16. Let p be n(14). Let z be (-1)/(0 + 1)*(22 + 4). Are z and p nonequal?
False
Let g be (-2)/(-9) + (-7156)/612. Let u = 290933/17 - 17125. Let p = g - u. Are p and -1 unequal?
True
Let s be (-5038)/(-9) + 5 - 16/(-72). Which is bigger: s or 564?
s
Let d = 57 + -35. Which is bigger: 25 or d?
25
Let i = -115/28 - -41/7. Is 1 greater than i?
False
Let d = -1.3 + 1.65. Let s = 0.49 - d. Which is smaller: -2 or s?
-2
Let t be (-3)/(-1) - 4/2. Suppose -15 - 5 = -4*s. Suppose 20 = -7*b + 2*b - s*j, 3*j + 18 = 3*b. Is t >= b?
True
Let h = -163.7 + 165. Do 1 and h have different values?
True
Let a(l) = l**2 + 8. Let j be a(0). Suppose -9*i + 2 = -j*i. Is 24/7 less than i?
False
Let s(h) = -h**3 - 4*h**2 + 4. Let w be s(-6). Let d(m) = m**2 + 88*m + 1227. Let u be d(-72). Is w >= u?
True
Let c be ((-2)/(-10) - -1) + 5 + -8. Is -0.1 greater than or equal to c?
True
Let n = 10020 + -10027. Let k be ((-4)/3)/(2/(-24)). Suppose 0 = -3*m - k - 8. Which is bigger: n or m?
n
Let y(m) = -19*m + 11. Let p be y(-4). Let g = 88 - p. Let c be (-1)/(-21) + 4/14. Which is greater: c or g?
g
Let t be ((-24)/126)/((-52)/14). Which is bigger: t or -1?
t
Let b = 91 - 498. Which is bigger: b or -1?
-1
Let g(u) = -u**2 + 9*u + 13. Let h be g(10). Suppose 2*a + 0*a = 4*x + 4, -5*x + h*a = 6. Let p = -3/224 + -79/2464. Which is smaller: x or p?
p
Suppose -5*m + 6384 = -5*i - 4051, 3*i + 6277 = -m. Which is smaller: i or -2092?
-2092
Suppose -4*n + k = -3*k - 96, -4*n + 95 = -5*k. Is n equal to 165/7?
False
Let x = 0.14 - 0.1. Let u be (-4)/(-6 + -2)*(0 - 1). Is u less than x?
True
Let k(i) = i**3 - 2*i**2 - 6*i + 1. Let w be k(5). Let f be (-1)/((-48)/w + 1). Let h be f/(-6) - 2/12. Which is smaller: -13/4 or h?
h
Let r = 71/413 + 18499/59. Let c be 2501/(-8) - 3/8. Let s = c + r. Is 0 at least s?
False
Let z = -570 + 569.8. Which is smaller: 42 or z?
z
Let n(t) = -t + 1. Let d be n(1). Let w = -99634/57 - -1748. Is w bigger than d?
True
Let n be 4/16 + 69/12. Let g(r) = r**2 - 3*r - 17. Let u be g(n). Is 2/5 bigger than u?
False
Suppose 0 = 3*b + 2*b. Let r(y) = -2*y**3 + 5*y**2 - y. Let w be r(2). Suppose -2*m - 3 = -h - 0, -3*m + w*h = 3. Is b bigger than m?
True
Let n be (2 + 72/(-35))/((-52)/(-65)). Suppose -b = 3*v - 2, 3*v + 2 = -b + 2*b. Is n greater than or equal to v?
False
Let k = -11 - -1. Let f = 13 - -4. Suppose -f = -5*n + q - 80, -n = 2*q + 6. Do n and k have the same value?
False
Let h = 5.2 - 5.5. Which is bigger: h or -61/6?
h
Suppose 2*t = 2*q - 26, -4*t = 2*q + t - 40. Suppose -y - 4*m = -13, 2*m + m - q = 0. Which is smaller: y or -31/5?
y
Let q be 90/(-9) + 6/(-2 + 4). Which is smaller: -130/17 or q?
-130/17
Let z = -343918156/41622175 - -2/1189205. Let f = z - -57/7. Is 1 equal to f?
False
Let r be (-12 - -6)/((-3)/(-2)). Let i = 0 - r. Suppose n = -0*d - i*d + 5, 4*d = -4*n - 4. Are -4 and n unequal?
True
Suppose 35*n - 2036 = 3*m + 30*n, 0 = -3*m - 2*n - 2071. Which is bigger: m or -686?
-686
Let i be (-133)/(-70) + -1*(-4 - -5). Which is greater: i or 0?
i
Let d = 4.44 + -19.44. Is d at least as big as 2/15?
False
Let g = 57229/4 - 14449. Which is bigger: -142 or g?
g
Let i be 13/(-14846)*6*6/9. Which is bigger: -1 or i?
i
Let f be (670/(-70) - -9)*7/(-18). Which is smaller: 0 or f?
0
Let g(u) = -8*u + 135. Let x be g(17). Is x > -468?
True
Let p be 430/(-2795) + (6*(-60)/(-2691))/2. Suppose -2*n + 2 = 2*c, -2*n - 4 + 1 = -3*c. Are p and n nonequal?
True
Let d be -14 + 3*-1*(-2)/(-2). Let m be (2 - (0 + 2))*d/(-17). Which is smaller: m or -2/5?
-2/5
Let i = 4 - -1. Let f(u) = u**3 - 6*u**2 + 6*u - 3. Let c be f(i). Is c at least as big as 11?
False
Let v = -707 - -706. Which is smaller: v or -12/11?
-12/11
Let w be ((-126)/189)/(55/(-2)). Do w and -1 have the same value?
False
Let v be (112/5888)/(4/(-16)). Is v smaller than -1?
False
Let v be 3/(1 - (-2)/(-8)). Suppose -v*u - 5*b = -b, 4*b = 0. Let j = 1831/4840 - 2/605. Do j and u have different values?
True
Suppose -4*f - 6 = -34. Suppose 3*u = -5 - f. Let k = 6 + u. Which is greater: k or 1?
k
Let w(d) = d - 1. Let q be w(-1). Let b be ((-26)/8 - q)/1. Let l = 0.25 - -0.75. Which is smaller: l or b?
b
Let r = -1164 + 1284. Are r and 121 non-equal?
True
Let r = -261/22 - -48/11. Let s = 60 - 45. Suppose s*h - 11*h = -32. Is h at least r?
False
Let z = -26 - -30. Let w = -11 - -13. Let g = w + 3. Is g greater than or equal to z?
True
Suppose 6*w + 8 = 14*w. Let j be (-1 - (2 + -2))/(-1). Let z be j/2*12/39. Do w and z have different values?
True
Let i = -91 - -94. Let h = 305 - 1213/4. Is i smaller than h?
False
Let l be 8/6*(-1716)/2552. Which is smaller: -2 or l?
-2
Let v be (8/10)/(8/20) + 5. Let x = -3/38 - -655/114. Which is bigger: v or x?
v
Let c be (-152)/513*(-9)/12. Suppose -1 = -s - 2. Which is bigger: c or s?
c
Let h be (-1)/(-5) + 4345095/(-225). Let o = 19120 + h. Let t = o - -193. Is 3 bigger than t?
True
Suppose 11*u + 5*k + 121 = 7*u, -3*k + 57 = -3*u. Which is smaller: u or -0.15?
u
Suppose -u = 5*m + 81, 6*m = 2*m + u - 63. Let z be (2/(-10))/((72/m)/9). Which is greater: z or -0.76?
z
Let b be (0 - (-68)/16) + -3. Suppose -16 = -c + 4*s, 0 = -2*c - 5*s - 15 - 5. Are c and b nonequal?
True
Suppose 227 = 2*g + 75. Suppose 0 = -j - g + 6. Let c be (-8 - -5) + j/(-23). Which is smaller: -1 or c?
-1
Let r be 