 18. Suppose -y + d = -o, -3*y - 1 = 3*d + 2. Which is bigger: y or -1/21?
y
Let k = -1098.94 - -1108. Let t = k - 0.06. Let g = 8.9 - t. Which is greater: g or -5?
g
Suppose 5*n + 5 = -5*s - 5, -2*n - 4*s - 8 = 0. Let h = 0 - n. Which is smaller: -1/171 or h?
-1/171
Let d be ((-4)/5)/(2/(-5)). Let t(n) = -18*n + 146. Let l be t(8). Let j be (d*l)/((-6)/(-3)). Are 3 and j non-equal?
True
Let h(b) = b + 4. Let z be h(11). Let k be (-10 + z)*(-7)/5. Let o = 52/7 + k. Which is smaller: -1 or o?
-1
Let c be (3/(-52))/(510/(-544)). Is c less than or equal to 0?
False
Let c be (-4)/(1 + 3) - -2 - -3. Suppose -i + 3*x - 22 = 0, 0 = c*i + 4*x + 4 + 4. Let q = 7 - 14. Is i smaller than q?
False
Let c = -713 - -712.6. Which is smaller: c or 0?
c
Suppose -76 + 92 = -4*x. Suppose 2*n + 5*g = -6, -5*n + g - 25 = 17. Is n at least x?
False
Let w be 0 - ((-1 - -4) + -3). Suppose u + w*u - 2 = 0. Suppose -u*o - 8 = -s - o, -12 = -3*s - o. Is s != 5?
False
Let y be ((-96)/(-56))/(1/14). Let h = 13 - y. Let b be (2/(-4))/(h/(-220)). Is b at least as big as -10?
True
Let y be 8 + (-1)/2*108. Which is smaller: -93/2 or y?
-93/2
Let z = 22.37 - 20.37. Is z > -459?
True
Suppose -2*v - 12 = -3*p + p, 0 = 3*p + 4*v - 11. Let i = 14.8 - 13.8. Is i <= p?
True
Let c be 4/(-3) - 4/6. Let h = -36.6 + 36.6. Which is greater: h or c?
h
Let o = 108.3 - -39.7. Which is smaller: 2/5 or o?
2/5
Let l be (4 + (2 - 6))/1. Is l at most 1/83?
True
Let m = 84 + -84.8. Let i = -0.69 + -0.16. Let b = m - i. Which is smaller: 0.2 or b?
b
Let w(l) = l**2 + 9*l + 16. Let g be w(-7). Suppose -4*c - 8 = m, 5*m + 1 + 3 = -g*c. Suppose -5*b = -10, 2*s = 2*b + b - 6. Is s greater than c?
True
Let o(d) = d**3 - d**2 - 9*d + 5. Let h be o(3). Let g = 11 + h. Which is smaller: g or 6?
6
Let o = 37/10 + -21/5. Suppose -5*z + 7*j = 4*j - 5, 3*z - 2*j - 4 = 0. Does o = z?
False
Suppose 2*h + 28 = 4*v, -v - 7*h + 3*h = -16. Let q(n) = n**2 - 7*n + 6. Let r be q(v). Let s be -2 + 2 + (r - 0). Which is smaller: s or 15?
s
Suppose -253 + 152 = 3*q + c, 3*q + 3*c + 99 = 0. Which is greater: -167/5 or q?
-167/5
Suppose 9*z - 55 = -19. Let d(t) = -t**2 + 5*t - 2. Let n be d(4). Suppose 6*i + z = -n. Which is greater: -2/53 or i?
-2/53
Let w(y) = -6*y - 35. Let j(h) = 2*h + 12. Let l(n) = -7*j(n) - 2*w(n). Let p be l(-5). Is p at least -60/13?
True
Let u(c) = -2*c**3 - 8*c**2 - c - 5. Let i be u(-4). Let o be (-13 + 4 + 1)*(-2)/i. Are -17 and o non-equal?
True
Suppose -14391 = 26*n - 13*n. Let m = -18814/17 - n. Which is bigger: m or -1?
m
Suppose -5*b + 29 = 2*f, 0 = 3*b - 6*b - f + 18. Let c(i) = i**3 - 8*i**2 + 11*i - 12. Let y be c(b). Is 16 > y?
False
Let c = -16/3 - -77/15. Let d = -300 - -299. Is c greater than or equal to d?
True
Let g = 0.115 - 51.115. Let y = 50.75 + g. Which is bigger: y or 0.1?
0.1
Let o be (-18)/8*120/(-90). Let a be -1 - -5 - -1*(o - 6). Let v = 14/5 - 17/15. Is a at most v?
True
Let c = -0.1897 - 15.7503. Let s = c - -16. Let y be 2/(-6) + -1*2/12. Which is bigger: y or s?
s
Let h(l) = 2*l**2 + 7*l + 5. Let r be h(-4). Let g = r + -5. Let k be -2*21/30 - 6/10. Which is greater: g or k?
g
Suppose -3 = 4*u - 7. Let d = 78505/38 - 2066. Is u <= d?
False
Let d be (-1)/(-2) + 2/4. Suppose 5*x = 4*n - 4, -2*n + 2*x = n - 10. Let i be 14/(-6)*(n + (-640)/105). Does d = i?
False
Let r = 3 - 3. Suppose -4*f + 25 + 19 = r. Suppose -2*i - 1 = w - 17, 4*w + 16 = 0. Is i <= f?
True
Suppose -7*n + 6*n + 4 = 0. Let m be -58 - -3*(-9)/((-54)/n). Is -56 != m?
False
Let t be -3 + (-2)/(-2) + -1. Let x = 6312 - 18631/3. Let o = 100 - x. Is o smaller than t?
False
Let c = 7270 - 305113/42. Let l = 29/6 - c. Is l at least 0?
False
Let o(x) = x**2 - 2*x + 1. Let d be o(0). Suppose -2*q - k + d + 7 = 0, 0 = 2*q - k - 8. Which is bigger: q or 2/3?
q
Let n be -6 - (288 + -14)*(-4)/183. Which is bigger: 0 or n?
0
Suppose -2 = -8*z + 6. Suppose 2*g - 3*u + 5*u = 40, -2*u = g - 22. Suppose 2*p + 0 = -4*r + 22, -3*r = 3*p - g. Is p greater than z?
False
Let x = -4 - -6. Suppose x*r - 6 + 2 = 0. Suppose 5 + r = -j + 4*n, 4*j - 12 = -4*n. Is 1 less than j?
False
Let l be 0 + (-594)/(-14) - (68 - 73). Are 47 and l unequal?
True
Let n = -78 + 79. Is n equal to -0.07?
False
Let v be (-3)/(3/(-4))*(-260)/(-10). Let s = -104 + v. Let w be 1/(22/12 - 1). Which is greater: w or s?
w
Let i be (-22)/(-165) - (-149)/(-330). Is i greater than or equal to -1?
True
Let j = 34 - 1594. Suppose 1 = q + 3. Let i be -4 + (j/196)/q. Is 0 greater than i?
True
Let x(m) = -m. Let r be (-4)/2 - 3 - -3. Let y be x(r). Suppose 3*f - y = 4. Are f and 1 equal?
False
Suppose -2*l + 5*c = -35, 4*l - 7*l + 48 = -3*c. Suppose l = -u - 5*a, 3*u - 4*u + 4*a - 6 = 0. Is -9 at least as big as u?
True
Let t be (-1 + 3)/(116/(-114) - -1). Is 0.5 not equal to t?
True
Let t(h) = h - 7. Let f be t(6). Suppose -12*a + 18*a + 798 = 0. Let y = 663/5 + a. Are y and f equal?
False
Let w = 32 - 32. Let l be (-1 - w)/(4/8 - 0). Is -12/7 < l?
False
Suppose 5*c + 4*g - 7*g - 35 = 0, -2*g + 6 = 4*c. Suppose -5*r = -0*r + c*b - 30, 10 = 2*b. Do -4/9 and r have the same value?
False
Suppose -3*y - 3*u = -123, -8*y + 4*y = u - 149. Let x be 3*(-4)/y + 61/(-33). Is x greater than or equal to -3?
True
Suppose 14 = -10*v + 8*v. Is v > -34/5?
False
Suppose 0 = 4*j - 5*n - 32, -16*j + 4*n = -18*j + 16. Is -26 at most j?
True
Suppose 621 = -4*u + 13*u. Which is greater: 344/5 or u?
u
Let j = -112 + 113. Which is smaller: 2/553 or j?
2/553
Let v(d) = d**3 + 11*d**2 - d - 11. Let w be v(-11). Let n be w/(4 + (-6)/1). Suppose -f = -n*f. Which is greater: f or 16?
16
Let y be (-398373)/948 + 3/((-12)/(-1)). Let a = y + 420. Do a and 0 have the same value?
False
Let q = 2/110431 - -1048321427/3092068. Let f = q - 339. Suppose -4*g = -0*g. Is g at most f?
True
Suppose 0 = -3*i + 5 + 1. Suppose i*b = -4*z - 2*b - 28, -1 = z - b. Let p be ((z/3)/4)/1. Which is greater: p or 3/4?
3/4
Let a = -2.5 + -0.7. Let q = a + -13.8. Let s = 27 + q. Which is greater: -0.1 or s?
s
Let h be (-33 - 0)*3*(-1880)/585. Let s = h + -318. Let k be 1/(-1 + 2 + 0). Is s > k?
False
Suppose -362 = -5*d - p + 233, 2*d - 225 = -3*p. Let o be 4/(-5) + 6/d. Let y be 0/((2 + -1)/(-1)). Which is greater: o or y?
y
Let s = 19/14 - 11/14. Let l = s + -1/14. Is l less than or equal to -2?
False
Suppose 5*p + q = -10, -5*q + 10 = 4*p + p. Suppose 2*y + 5 = 3*l - 3, 0 = -5*l - 20. Let h be y/(-56) + p/12. Are 0 and h nonequal?
True
Let g = 2338 + -2337.8. Is -14/17 not equal to g?
True
Let h be 15/35*-1 + 150/546. Let r = 1 - 1.5. Is h > r?
True
Let l = 25 - 14. Let g = l - 10. Let u(a) = -a. Let m be u(g). Which is greater: 0 or m?
0
Let k = -157 + 158. Which is smaller: -10/61 or k?
-10/61
Let h = -17/2 - -113/14. Let o be 329/564 + (-5)/4. Which is smaller: o or h?
o
Suppose 3*u - 1934 = 2974. Let y = 4798/3 - u. Let l = y + 38. Is 0.1 > l?
False
Suppose -8 = -2*s, 11*c + 0*s = 4*s + 919. Which is greater: 81 or c?
c
Let g be (5 - 3) + (-6316)/4540. Let z = -2/227 + g. Do 0 and z have different values?
True
Suppose 3*a - q - 7 + 1 = 0, 0 = -2*a - q + 4. Suppose a*o = -2 - 2. Let b be o + 5/(10/16). Is b <= 6?
True
Let u be (-925)/(-148) + (-6 - -1) - 1. Are 0 and u non-equal?
True
Let y = 2.74 + 4.48. Let a = 0.22 - y. Let p = a + 6.8. Is p bigger than 3?
False
Let y(q) = -3*q + 72 - 79 + 7*q + q. Let w be y(8). Which is greater: 32 or w?
w
Let w = -36 + 56. Let x be (-16)/w - (-22)/(-10). Is x >= -9?
True
Let u be 5/((-210)/158) + 3. Let b = u - -107/168. Let c = -5/24 + b. Is c equal to 1?
False
Let v = 451 - 457. Is 1 less than v?
False
Let a = -107.41 - 4.59. Is a bigger than -0.1?
False
Let v(f) = -f**3. Let l(h) = 3*h**3 - 6*h**2 - 2*h + 6. Let i(r) = l(r) + 2*v(r). Let n be i(6). Let o be n/(-45)*18/4. Is o at most as big as 0?
False
Suppose 2 = 2*y - 2. Suppose -5*w - 2*h = y*h + 74, -2*w + 2*h - 44 = 0. Let s be 7/(-9) + 4/w. Is s at most as big as -3/2?
False
Let s(u) = u**2 + 23. Let x be s(5). Let b = -68 - -117. Do b and x have different values?
True
Suppose -55 = -5*b + 30. Let g(y) = 4*y**2 + 51*y - 43. Let s(q) = q**2 + 17*q - 14. Let p(l) = -2*g(l) + 7*s(l). Let o be p(15). Which is smaller: b or o?
b
Let o = -16 - -14.2. Let y = o - -2. Let p = y - 0.3. Is p equal to -13/5?
False
