18. Let s(r) = 3*n(r) - 5*z(r). Let x be s(9). Which is bigger: -3 or x?
x
Let a(w) = -w**3 + w**2 + 8*w + 2. Let c be a(-3). Let k be 30/c - 1/7. Is k smaller than 13/5?
True
Let c = -44/35 - -7/5. Suppose 0 = v + 6*o - 4*o - 4, v + 5*o = 7. Suppose -6 = 2*g, 4*d = -4*g + 2*g - v. Which is smaller: d or c?
c
Let d be -25*(-8)/(-20)*-1. Suppose 7*g - 3 = d*g. Which is bigger: g or -3?
g
Let x(j) = -2*j**2 + 35*j + 154. Let q be x(24). Is -315/2 > q?
True
Let m = -72.593 + 72.4. Which is smaller: m or -1?
-1
Let h = -87 - 8. Which is bigger: -4 or h?
-4
Let b = 152 - 156. Let p = 245 + -993/4. Are b and p equal?
False
Let y = -3 - -5. Let i be ((-1 - -1)/(-3))/y. Suppose -2*q - 2*q - 52 = i. Is -13 at most as big as q?
True
Let t = 0 + -0.3. Let g = 0.7 - t. Let v = -0.336 + -2.664. Is g greater than v?
True
Let d(i) = i**2 + i - 6. Let y be d(4). Let w be 1909/(-1330) + (-4)/y. Let x = 3/38 - w. Is 3 less than or equal to x?
False
Let z(u) = -3*u**2 - 5*u. Let f be z(-5). Let o = f + 36. Let x be o/(-35) - 18/(-5). Do 2 and x have different values?
True
Let j = -0.7 - -0.2. Let o = 0.5 + j. Let i = -0.1 - o. Is i > 5/3?
False
Let t = -185807/261556 + 11/2843. Let d = t - -3/4. Let x(q) = 3*q + 12. Let a be x(-4). Is d <= a?
False
Let w = -182 + 97. Let c be w/10*(-3)/(-3). Which is greater: c or -9?
c
Let n be 3/114*10782526/(-9). Let u = 31528 + n. Let g = 2/57 - u. Which is bigger: 1 or g?
1
Suppose -16*h = -24*h + 1896. Let w = 3361621/14320 + -1/14320. Let j = w - h. Is -2 != j?
True
Let s = -246 - -248. Which is smaller: 11/13 or s?
11/13
Suppose z + z = -2. Suppose -4*l = -r + 12, 5*l - r - 5 = -19. Let u(w) = 3*w + 5. Let a be u(l). Is z at most as big as a?
True
Suppose 2*n = 5*a - 66, 0*n = -2*n + 2*a - 54. Let y = n - -31. Is y <= 10?
True
Suppose -3*o + 6 = 3*f, -5*o - 2*f = -4*f - 17. Suppose -4*z = -o*n + 13, -n - 4*z = z - 36. Is n greater than or equal to 10?
True
Suppose -4*n = -6*n. Let d be 5/(-6) + -1 + 2. Which is bigger: n or d?
d
Suppose 0 = 4*x + 4 - 16, 104 = -5*n + 3*x. Let b = n + 20. Which is bigger: 5 or b?
5
Let n(g) = g**3 + 8*g**2 - 9*g + 2. Suppose 8*y = 5*y - 27. Let a be n(y). Is 3 > a?
True
Let k = -107 + 533/5. Let c = -0.03 + -2.97. Is k greater than c?
True
Let b(u) = u**3 - 5*u**2 + 5*u - 3. Let f be b(4). Which is smaller: f or 146?
f
Let r(t) = -23*t**3 - 6*t**2 - 7*t. Let x be r(-3). Is x at most as big as 588?
True
Let g be (-63)/6*820/(-70). Which is smaller: g or 117?
117
Let x be (12/(-45))/(2/(-10)). Suppose -4 = 2*k, -8 = -3*i + 3*k + k. Suppose i = 11*c - 15*c + 4. Which is smaller: c or x?
c
Let q = -355 - -234. Is -121 greater than or equal to q?
True
Suppose -3*b - 18 = -0*b. Let a be (2 - b/(-14)) + -2. Let i = -3 - -3. Are a and i nonequal?
True
Let y = 0.226 - 0.086. Which is bigger: y or -3?
y
Let z = -16 + 29. Suppose -z*v + 338 = -0*v. Is 2 at least v?
False
Let s = -74.162 + 0.162. Let m = s - -73.92. Which is greater: -2 or m?
m
Let g(k) = -2*k - 7. Let q(l) = 12*l + 42. Let f(c) = 34*g(c) + 6*q(c). Let t be f(-6). Which is bigger: t or -11?
t
Let j(q) = 2*q**3 + 3*q**2 - 8*q - 18. Let m be j(6). Is m smaller than 473?
False
Let v = -24 - -73. Is v != 48?
True
Suppose 5*o = -2*f + 123, -348 = -23*f + 18*f + o. Is 67 greater than f?
False
Let u be (-15 + 14)/((-1)/(-101)). Which is bigger: -199/2 or u?
-199/2
Let o be (16/(-24))/(8/(-252)). Which is smaller: 22 or o?
o
Let d be 7 - (7 + (-52)/(-195)). Is d < -23?
False
Let j be 189/6*(-4 - (0 - 6)). Which is greater: 72 or j?
72
Let y(j) = j - 7. Let d be y(-8). Let k = -8 - d. Let u(o) = o**2 - 2*o - 9. Let t be u(-3). Is k at most as big as t?
False
Let v = 860 + -864. Is -42/13 >= v?
True
Suppose 4*n - 565 = 5*h + 9*n, 0 = 2*h + n + 224. Is -111 greater than or equal to h?
True
Suppose -46*x + 250 = -41*x. Is 50 < x?
False
Let a = 95/4 - 383/16. Let l = 7/48 - a. Which is bigger: l or -0.4?
l
Suppose -12*i = -11*i + b + 66, 0 = 5*i + 4*b + 332. Is i less than -71?
False
Let a = 0.42 + -1.52. Is a at most as big as -4?
False
Let y(r) = -r**2 + 35*r + 95. Let l be y(38). Which is smaller: l or -4?
l
Suppose 0 = 8*y + 15 - 7. Which is greater: y or -1/2?
-1/2
Let q = -3.37 + 3.2. Let t = 0.27 + q. Let y = t + -0.4. Which is greater: y or -1/2?
y
Suppose -2*g = 5*f + 722, 3*g - 33*f = -31*f - 1045. Which is greater: 0 or g?
0
Let n be 16/2*(-2)/(-8). Let i be (-4)/((-5*n)/5). Suppose -i = -3*r - 5. Which is greater: 2 or r?
2
Let s = -11828928 + 165493417/14. Let o = s - -2364729/266. Let c = o - 920. Is c at most -1?
False
Let c = -226 + 245. Are 47 and c unequal?
True
Let d = 0.058 + -0.058. Is d smaller than 127?
True
Let d(w) = -w**3 + 3*w**2 + w - 3. Let b be d(3). Let q be -6 + 1 - (-4 - b). Which is greater: q or -16/7?
q
Let r = -2 + 1. Let g be ((-375)/126 - -3)/(1190/5965). Let y = g - 1/588. Which is bigger: r or y?
y
Let y = 17 - -4. Let i = 13 - y. Let l = i + 5. Is 0 < l?
False
Suppose -13*m = 2*m - 29*m. Let y be 4/(-6)*(-9)/(-8). Is y <= m?
True
Let g be ((-3)/(-9)*0)/(-1). Is 3/40 bigger than g?
True
Let d = 54 - 57.1. Which is smaller: -16 or d?
-16
Let r = -408 + 407. Is -1/42 equal to r?
False
Let m = 0.3 - 0.3. Let t = m + 0.2. Let b = 1.6 + -0.6. Which is smaller: t or b?
t
Let k be (-1)/(-1*(-1)/9). Let l(z) = 9*z - 69. Let b be l(7). Which is greater: k or b?
b
Let b = 11/23 + 129/115. Is b equal to 0.3?
False
Let r be (-10366)/284*(4/10)/(-1). Which is bigger: r or -1?
r
Suppose -9*z + 6*z + 147 = 0. Let s = -37 + z. Suppose -2*h + 6*h - 2*n = 34, 2*h = -3*n + 29. Is s at least as big as h?
True
Let z = 1780 - 1734.91. Let n = 45 - z. Which is smaller: n or -0.1?
-0.1
Let q(r) = 24*r - 23. Let z be q(-22). Is z less than -551?
False
Let p = -8 + 10. Let b be (27/(-6))/1*p. Let o = 12 + b. Do 4 and o have the same value?
False
Suppose 0 = -5*d - 12*q + 10*q - 10, -4*q = 0. Suppose -w - 3*w = 0. Do d and w have the same value?
False
Suppose -71*v = -77*v - 84. Is v <= -16?
False
Let o = -3/34 - 11/68. Is -36 less than o?
True
Suppose 16*d + 2215 = 2903. Which is smaller: 46 or d?
d
Let u(c) = -3*c + 22. Let w be u(7). Which is smaller: w or -4/57?
-4/57
Let f be 32/10 + 2/(-10). Suppose d + c + 0*c = 2, 4*d + f*c - 6 = 0. Suppose -2*g - 4 + 0 = d. Is g greater than or equal to -3?
True
Let p = 29 + -26. Suppose -4*k = 5*l - 0*l - 61, -l = p*k - 43. Is 16 > k?
True
Let i = -189.93 - -190. Which is bigger: i or 2.7?
2.7
Suppose -5*r + 3 = -2*r. Let w(v) = -v**3 - 21*v**2 - 19*v + 22. Let j be w(-20). Let z be ((-36)/11 + 4)/j. Which is greater: r or z?
r
Let q = -34 - -38. Let x be -1 + 4 + (-12)/(q - -2). Which is bigger: x or -5?
x
Let y be 42/70 - (-234)/10. Suppose -4*v + v = -y. Which is smaller: 7 or v?
7
Let w = -0.3 + -0.3. Let z = -0.4 + w. Let o = -4 + z. Which is smaller: 1/2 or o?
o
Suppose 0 = -4*k + 2*k - 8. Let r be -3*(k/(-6) - 2). Let s = 3 - r. Which is bigger: 1 or s?
1
Let f = -152818 + 146247164/957. Let d = 7/87 - f. Suppose 6 = -5*n + 1. Is d at most as big as n?
False
Let s = 57 - 77. Let j be ((-1)/(-2))/((-2)/(-12)). Let f be -22 + (-1 - (j + -5)). Which is greater: s or f?
s
Let k be (1/(-3))/1*(-24)/(-3128). Which is greater: k or 0?
0
Suppose 0 = i - 9 - 4. Let r be i/2 + 8/(-16). Let h be 42/135*r - 2. Do -1 and h have the same value?
False
Let p be 223/(-4)*(-68)/85. Let y = p - 45. Which is smaller: y or -9?
-9
Let r = 11.9 - 0.9. Let w = -82 - -70.5. Let q = r + w. Is -1 less than or equal to q?
True
Suppose -13*u = 141 - 37. Let m be (-39)/(-4) + 0 + (-2)/u. Let p(g) = g**2 - 4*g - 2. Let q be p(6). Is m less than q?
False
Let m be (-4)/43*(-4)/264*-11. Which is smaller: m or -1/2?
-1/2
Let t = -45 - -45. Is -1/76 >= t?
False
Let u be ((-1)/90*-2)/(2592/(-720)). Which is smaller: u or -1?
-1
Let h(q) be the first derivative of q**4/4 + q**2/2 + 2*q - 1. Let f be h(-2). Let d be 84/(-16) - 2/f. Is -7/2 greater than or equal to d?
True
Let w = 206/63 + -26/7. Which is smaller: 1 or w?
w
Suppose m = 5*n - 2, -7 = 2*n - 2*m - 3. Which is greater: n or -1/6?
n
Let b be 39 + 3 - (5 - 2). Suppose 3*i - d - b = 7, 5*i + 2*d = 62. Let l(f) = -2*f**2 - f + 14. Let n be l(0). Is n at most as big as i?
True
Suppose -67*j + 4 = -71*j. Which is bigger: 10 or j?
10
Suppose -100 = 4*x - 2*x. D