or equal to z?
True
Let s(x) = 12*x**2 + 23*x - 18. Let c be s(-5). Is 166 > c?
False
Let r = -145 - -146. Which is smaller: r or 6?
r
Let x be 5/20 + (-18)/8. Let c be 2 + -2*x/(-4). Suppose -l + c = -0*l. Is l > 2/57?
True
Let f = -0.18 - -0.16. Let c = -23 - -7. Let g = c - -15. Which is bigger: f or g?
f
Let v = -353 - -341. Is v > 2?
False
Let q be 1593/84 + 18/24. Does 20 = q?
False
Suppose -5 = 4*g - 9*g. Suppose -2*r + 3 = -5*h - 20, 0 = -2*h - 6. Let p be 3/(-4)*r/(-17). Which is greater: p or g?
g
Let a = -1/23 - -51/115. Let y = 1 - -2. Let f = -3.1 + y. Is a greater than f?
True
Let u be 9/((-9)/12*-1). Let c = -0.421 - -0.321. Which is greater: c or u?
u
Let n(y) = 1 - 2*y**2 + y**3 + 0 - 3 - 3*y. Let c be n(3). Let i be 3 - (2 - (c - -1)). Which is greater: i or 0.1?
0.1
Suppose -2*b + 2*w - 144 = 6*w, 5*b + 396 = 2*w. Let d be (-4)/8*(-4)/b. Let z = d + 14/39. Is z greater than -1?
True
Suppose 5*p + 4*i + 5 = -18, 5*p = 2*i - 11. Let h be ((-4)/p*6)/(1 - -6). Does h = 1?
False
Let d = -47.1 - -2.1. Which is smaller: d or -15?
d
Let v = -98/9 + 104/9. Are 1 and v nonequal?
True
Let q be 9 + (-3 - 0)*1. Suppose 0 = -q*g + 7*g. Suppose g = -5*n + 18 + 27. Which is smaller: 7 or n?
7
Suppose 6 = 2*z + 2. Let p be z/8*16/20. Let l = 218 + -219. Which is bigger: p or l?
p
Let q(x) = x**3 - 5*x**2 + x - 3. Let k be q(5). Suppose 0 = -4*a - 2*u + 14, 44*a = 40*a - 3*u + 9. Suppose -k*h = -4*h - a. Does -4 = h?
False
Let g be 8/4 + 11/1. Let l(c) = 18 - 3 + c**2 + 1 + g*c. Let y be l(-12). Which is smaller: y or 2?
2
Let q(f) = f**3 + 7*f**2 - f - 9. Let k be q(-7). Let g(w) = -w**2 - 7*w + 2. Let l be g(-7). Suppose 14 = -l*a + 4*n, -3*n + 12 = n. Which is greater: a or k?
a
Let u = 0.71 + 2.29. Which is smaller: -45 or u?
-45
Let g(q) = -q**2 - 11*q - 2. Let c be g(-10). Let x = -9 - -9. Suppose -2*t - t + 21 = x. Which is bigger: t or c?
c
Suppose -2*m = 1 - 7. Let l be (-3 - -3)/(-1 - -2). Are m and l unequal?
True
Let k be (8/16)/((-1)/(-2)). Let u = 4 + k. Suppose -2*m - u = 3*m. Is -1/4 at most m?
False
Let i = 145.8 - 148. Which is greater: 11 or i?
11
Suppose 3*q - 7 = -2*x, x = -3*q - 0*q + 8. Suppose -q*n + 22 = -8. Which is smaller: n or 0?
0
Let s(n) = -n**3 + n**2 + 3*n - 5. Suppose 4*g + 6*g = 5*g. Let j be s(g). Is -8 < j?
True
Suppose -2*h = v + v, -4*h = 5*v. Let r(k) = k**2 + 3*k - 1. Let l be r(-2). Let y be 3/((351/6)/l). Is h greater than or equal to y?
True
Let p = 22 - 23. Which is bigger: -0.211 or p?
-0.211
Let o be (-207)/713*(-2)/6. Which is bigger: o or -1?
o
Suppose -3*s + 2*s = -4. Let c be 1 + 68/(-12) + s. Suppose 2*o = o - 5*b - 10, 55 = 3*o - 2*b. Which is smaller: o or c?
c
Let r be (2/6)/(17/(-51)). Let w be (-24)/56*14/124. Is w smaller than r?
False
Suppose 2*r = 5*r - 51. Suppose -r*k = -16*k. Suppose b + 3*b + 4 = k. Which is smaller: 1/8 or b?
b
Let h(p) = -p**3 + 11*p**2 + 12*p - 14. Let s(w) = -w**3 + 12*w**2 + 13*w - 15. Let d(b) = 7*h(b) - 6*s(b). Let r be d(6). Is r bigger than -35/4?
True
Let i = -127/42 - 23/14. Let d be ((-10)/((-160)/12))/(2*(-3)/48). Which is bigger: d or i?
i
Let v = -5 + 17. Let x(q) = q**2 - 11*q + 32. Let a be x(3). Which is smaller: v or a?
a
Suppose 3*y = -y - 2*y. Suppose 4*v + 3*w - 16 - 20 = y, 5*w - 8 = 2*v. Suppose -b = -5*b + 24. Does v = b?
True
Let d = 244 - 422. Let p be ((-3)/(-42))/(1/(-2498)). Let q = p - d. Is q at least as big as 0?
False
Let t = 72 + -71.8. Which is smaller: -8/9 or t?
-8/9
Let k(c) = -3*c**2 + 3 + 2 - 9 + 5*c + 2*c**2. Let a be k(3). Which is bigger: a or -2?
a
Let f(l) = l**3 + l**2 - 5*l - 4. Let h be f(-3). Which is smaller: h or -45/7?
h
Suppose 3 = 4*d - 25. Let h = -10 - d. Let l = 35/2 + h. Is l at least as big as 2?
False
Let w = 138 - 134. Suppose -26*p + 25*p - w = 0. Which is smaller: p or -11/3?
p
Let d(h) = -h**2 + 10*h + 19. Suppose -2*z = 3*p - 41 - 5, -15 = -3*z. Let a be d(p). Is -0.03 bigger than a?
True
Suppose -3*s = 699 + 867. Which is smaller: -523 or s?
-523
Let z(u) = -u**3 + 10*u**2 + 13*u - 25. Let t be z(11). Let i = 1 - -2. Suppose o - 3*l + 1 = 2, -3 = -i*o + 4*l. Which is smaller: o or t?
t
Let d(n) = n**3 + 8*n**2 - 11*n - 8. Let w be d(-9). Suppose 0 = -3*c + w + 29. Which is smaller: c or 12?
12
Let r = 309 + -291. Which is smaller: r or 4?
4
Suppose 4*q + 5*w = -33, 4*q = 5*w - 3 - 20. Is q at most as big as -14?
False
Let h = -1528 + 1527. Let j = -0.31 + 0.3. Let g = j + 0.01. Which is smaller: h or g?
h
Let l(r) = r**3 + 6*r**2 - 2*r - 6. Suppose -4*k - 40 = 4*w, 0*w - 5*w - 26 = k. Let j be l(k). Are -3/5 and j nonequal?
True
Let g = -7.03 + 0.03. Let l = -1.27 + 79.27. Let z = l + -77.8. Which is bigger: z or g?
z
Let l = 247 - 157. Let o(b) = 5*b**3 - 3*b**2 + 30*b - 108. Let n be o(3). Is n < l?
False
Let f = -0.41 - -0.5. Let t = 13.09 + -13. Let u = t - f. Which is greater: u or 3?
3
Let x = -0.1 + 0.2. Let g = -103 - -167. Let f = g - 73. Which is greater: f or x?
x
Let d(w) = -w**3 - 2*w**2 - w - 2. Let j be d(-2). Suppose -5*h + j*h + 5 = 0. Let c = -37 - -36. Which is smaller: h or c?
c
Let d = -31 + 18. Let b(c) = c + 14. Let f be b(d). Is f < 7/3?
True
Let f(g) = -g - 1. Let w(s) = s**2 + 11*s + 7. Let y(q) = -6*f(q) - w(q). Let u be y(-4). Let k be 1 - u - (2 - 17). Is k not equal to 12?
True
Let i(a) = -2*a + 2. Let w be (-37)/(-8) - (-69)/184. Let f be i(w). Let v(z) = -z**3 - 5*z**2 + 8*z + 4. Let h be v(-6). Do f and h have different values?
False
Let m = 0.9897 + 0.0103. Which is smaller: m or -931?
-931
Suppose 3*d - 27 = 3. Suppose -4*j = j - d. Let z be 15/(-4) + j + 2. Is -2 > z?
False
Let h = 18.5 + -2.5. Let t = -16.1 + h. Does 3/8 = t?
False
Let y be (-2 - -2)/(13 - 14). Suppose y = 8*d + 3 + 13. Which is smaller: d or 9?
d
Let t be (-1 - 1)*(-2)/(-38). Suppose -14 = 13*s - 12*s. Let z(w) = w + 15. Let o be z(s). Is o equal to t?
False
Let v = -3681/1594 - 4996991/278950. Let g = v + 141/7. Which is greater: g or 1?
1
Let u = 138 - 108. Which is smaller: u or 27?
27
Let w(a) = -a + 30. Let m be w(17). Let g = 217/505 - 3/101. Which is greater: m or g?
m
Suppose p = -2*o + 4, 0 = 2*o - 3*p + p - 10. Let x(l) = -3*l**3 - 3*l**2 - l - l**3 + 3*l**3 + 2*l**o. Let i be x(3). Is i less than 4?
True
Let s(z) = -11*z**2 - 57*z + 2. Let h be s(-5). Which is greater: 20 or h?
20
Suppose 46*m + 1525 - 421 = 0. Does -23 = m?
False
Let o(m) = m**2 + 9*m + 10. Let f be o(-8). Suppose -2*x = -2*b + 12 - f, 4*b - 3*x = 18. Suppose 3*n = -b*j + 18, n = -5*j - n + 30. Is j < 8?
True
Suppose j - 5 = 4*c + c, -5*c + 15 = -5*j. Which is bigger: 8 or j?
8
Let w be (-10)/(-4)*10/5. Let o be 17 - 14 - (w - 1). Which is greater: -3/2 or o?
o
Let s = 0.03 + -0.08. Let r = 0.05 + s. Is r less than 0.1?
True
Suppose -19*v - 8*v - 45468 = 0. Which is greater: v or -1683?
-1683
Let q be (1 - 22/26) + 240/(-208). Let x be (26/q)/(70/(-7)) - -3. Is x greater than or equal to 6?
False
Let a = 0 + 8. Suppose 5*p = 4*j - 8, 0 = j - 5*j + 3*p + a. Let w be -2 - 1*(-8)/3. Is j smaller than w?
False
Let c(p) = p**3 - 13*p**2 - p + 19. Let f be c(13). Let t(i) = i**3 - 5*i**2 - 7*i + 6. Let q be t(f). Is 2/13 != q?
True
Suppose 3*w + 186 = 5*p, 2*p - 105 = -p + 4*w. Let h be p/(-52)*(-16)/18. Let r = 0.3 - 0.1. Which is smaller: r or h?
r
Let v = 8356 + -66761/8. Let f = v + -997/88. Is -1 equal to f?
False
Suppose -c - 2*c = 123. Let w = c + 37. Is w at most -1?
True
Suppose 4*k + 17 = 4*u + 365, k - 4*u - 102 = 0. Which is bigger: k or 84?
84
Let q = -0.73 - -32.73. Let v = 12 - q. Which is smaller: 1 or v?
v
Suppose -5*r = -3*s + 3, 4*r - 4 - 1 = -5*s. Let m be ((-246)/68)/(-3) - 2/4. Is m equal to r?
False
Let h = 0.042 - -23.958. Let x = 0.49 - -21.51. Let g = h - x. Which is greater: 7 or g?
7
Let t = 471 - 445. Is t at most 3?
False
Let p be (3 - 3)/((-1)/(-1)). Let g be ((-126)/15)/(10/(-25)). Suppose 0 = -5*z + 2*z - g. Which is bigger: z or p?
p
Let r be 28/(-18)*(-24)/28. Let j be ((-9)/6)/((-6)/8). Suppose 2*z = -5*w - 3*z + 20, j*w - 4*z + 4 = 0. Which is smaller: r or w?
r
Let v(r) = -30*r**2 + 20*r - r**3 + 43 - 3*r**3 + 7*r**2 + 5*r**3. Let n be v(22). Let m = -9/19 - -151/399. Is m at most n?
False
Suppose -39 + 1 = 4*w + 2*m, 5*m = 5. Let a = -10 - w. Suppose -i - 5*o - 3 = a, -i + 12 