 v(c) = c**2 - 9*c. Let u be v(9). Suppose 18*x - 19*x - 4 = u. Let f be ((-6)/x)/((-42)/8). Is -2/3 <= f?
True
Let m be (-8)/(-3950)*(-6 - 85/(-10)). Which is smaller: 0 or m?
0
Let p = 36 - 52. Let v = -14 - p. Which is bigger: 0.12 or v?
v
Let m be 1 - (2 + -2) - -13. Let h be m/(-63) - 29/(-171). Is 1 equal to h?
False
Suppose 4*c - 10 = 2*c. Let w = -3 + c. Suppose w*z - 12 = -6. Which is smaller: 3/2 or z?
3/2
Let k(p) = -2*p**3 - 13*p**2 + 20*p + 3. Let a be k(-8). Is 7 bigger than a?
False
Let u = 0.92 - 0.23. Let s = 6 + -6.19. Let d = u + s. Which is bigger: d or -0.2?
d
Let d be -2 + (1 + -2)*-2. Let x(h) = -9*h**2 + 2*h + 6. Let k be x(4). Let p be k/(-300) - (-6)/(-10). Is p > d?
False
Let c = -209/42 + 36/7. Let z(d) = -d**3 + 2*d**2 + 2*d + 4. Let n be (-1 + 0)/(-1) - -2. Let p be z(n). Is p > c?
True
Let i = 33 + -5. Let w = i + -26. Let u = w - -1. Is u at most as big as 0.4?
False
Let n = -16.28 - -0.28. Let y = 17 + n. Let c be 2/(-6)*(4 - 2). Are y and c unequal?
True
Suppose 0 = -0*u - 2*u + 8. Let g be u/(-22) + 120/(-308). Suppose 0 = 4*j + x + 3, -3*j = -j + x + 1. Which is bigger: j or g?
g
Let t be ((-4)/(-6))/(2/(-138)). Let s = 6418 + -6465. Is s bigger than t?
False
Let a(l) = 10*l**3 + 5. Let f be a(3). Which is greater: f or 273?
f
Let s be 2 + 21 + -4 + 2. Let v be 4/10 - s/(-35). Which is bigger: v or 4/9?
v
Let g = -1177 + 1200. Is g at least as big as 18?
True
Suppose 3*d - w = 33, 38*d - 41*d = -5*w - 33. Let z(q) = 3*q - 11. Let y be z(8). Is d at least as big as y?
False
Suppose 4*a - 3*a = 2. Suppose 0 = -v - a + 5, -5*z + 3*v = 154. Let m = z - -26. Is m equal to 0?
False
Suppose 377 = 12*v + 449. Let q = 1 + -1. Which is smaller: v or q?
v
Let j = -0.311 + 4.311. Is 11/3 >= j?
False
Suppose r - j + 9 = -4*j, -5*j + 10 = 0. Suppose -5*z = u + 7, 4*u = 3*u + 5*z - 37. Let w = -37 - u. Is r less than w?
False
Let k = -2/45 - -151/360. Let p be 2/8*(-2 + 14). Suppose r + 4*x + 1 = 8, 9 = -p*r + 3*x. Is k at most r?
False
Let v = 7/34 + -12/17. Let h = 0.01 - -15.99. Do h and v have the same value?
False
Let c = -0.1019 + -2.8981. Are c and -2.73 nonequal?
True
Suppose -2*y = -3*y. Suppose y = -4*x + 10 - 2. Suppose x*l - 2*j - 9 = 3*l, -5*l - j = 9. Is l equal to 1/28?
False
Let o be 7/((-7)/382) + 13 + -20. Is o not equal to -387?
True
Suppose 0 = 3*h + 6*r - r - 29, -3*r = -3*h - 3. Suppose -j + 10 = h. Which is bigger: j or -1?
j
Let i be (4/85)/(3/15). Let r = -25 - -24. Is i less than r?
False
Let z(b) = 13*b**2 + 10*b - 11. Let o be z(-3). Which is smaller: o or 81?
o
Let h = 61 + -41. Let c be ((-416)/h)/(-8) + (-1 - 1). Is -1/14 smaller than c?
True
Let k(l) = -20*l - 8. Let y be k(10). Let z be (2/(-4))/(8/y). Let x be 17/4 - z/52. Do 1 and x have different values?
True
Let x = -78.35 + 134.3. Let y = x + -56. Which is greater: y or 0.1?
0.1
Let x = -41 + 23. Let v = x + 18. Is v != -1/10?
True
Let t be (-7)/(189/(-246)) - ((-40)/72)/(-5). Suppose -3*c - 2*r + 13 = -20, 5*c + 3*r = 54. Are t and c unequal?
False
Let r(n) = -8*n**3 - n**2 - n - 1. Suppose -2 = -2*f - 4. Let z be r(f). Is 1 less than or equal to z?
True
Let z be (4/(-70))/((-3)/15). Suppose -21 = -5*q - 111. Is z smaller than q?
False
Let w(r) = 70*r + 354. Let m be w(-5). Which is greater: 15/4 or m?
m
Let i = -96904/347445 - -17/1103. Let b = i + -1/45. Is b > -1?
True
Let f(g) = -g**2 - 10*g + 56. Let k be f(-15). Is k bigger than -20?
True
Suppose 3*s - 3 = -3*x, -2*x = -2*s - 7*x + 5. Suppose -31 + 8 = 23*o. Let v = o - s. Which is greater: v or 1?
1
Suppose 0 = 42*j + 5450 - 1586. Are j and -99 non-equal?
True
Let b = 6 + -4. Let s(o) = -5 - 5*o + o + b*o - 3. Let h be s(-5). Is h smaller than -0.1?
False
Suppose -5*y + 6*y = 2, 5*i - 5*y + 15 = 0. Let n(a) = -a**2 + 7*a + 13. Let u be n(8). Which is smaller: i or u?
i
Suppose 0 = -5*z - k - 61, -2*z = -0*z - 2*k + 22. Let l = z - -47/4. Let x = -1/6 + -1/2. Which is smaller: l or x?
x
Let t be (-177)/12 + (-1)/4. Suppose -v + g = -5*v + 56, 0 = v + 5*g - 33. Let j = t + v. Which is bigger: j or -3/2?
-3/2
Let f(m) = 12*m - 100. Let g be f(7). Which is smaller: g or -3?
g
Let z = -0.575 + 11.575. Which is bigger: z or -1?
z
Suppose 10 = 4*l - 238. Which is bigger: 121/2 or l?
l
Suppose 0 = -3*h + 12. Suppose 7*r - 24 = h. Is r smaller than 6?
True
Let j(y) = 6*y**2 - 10*y + 14. Let g be j(2). Is 18 < g?
False
Let x = 93 + -31. Let i = -62 + x. Let p be 32/55 + 2/(-5). Which is bigger: i or p?
p
Let j be 94*30/12 + -6. Which is smaller: 455/2 or j?
455/2
Suppose 12*w - 10 = 7*w. Suppose -w*u + 8 = 2*u. Suppose -9 = 5*l + u*o + 6, 5*l + 5*o = 0. Which is greater: l or -6?
l
Let h = -2 + 0. Suppose 0 = -6*j + 5*j. Suppose 2*m = 0, 3*m + 28 = -4*c - j*c. Which is smaller: c or h?
c
Let u be 244/305 + 1/(15/(-492)). Is u >= -3/4?
False
Suppose 504 = -32*b - 648. Which is bigger: 0.4 or b?
0.4
Let i(p) = p**2 + 13*p + 2. Let l(k) = -3*k + 8. Let h be l(7). Let o be i(h). Suppose x = 3 - o. Which is bigger: x or 1/9?
x
Let u = -38 - -37.9. Let l = 0.2 - 1.1. Let k = u + l. Is -3/2 less than or equal to k?
True
Let g = 1 - -1. Suppose 2*r = -5*x - 14, -x - 6 = 2*x + g*r. Let u be -1*4*(-2)/x. Which is bigger: -0.1 or u?
-0.1
Suppose 5*y + 2*z - 666 = 0, 8*z + 3 = 9*z. Is 131 > y?
False
Let i = 441 - 418.9. Let l = i - 22. Are l and -1/3 equal?
False
Let t(h) = h - 15. Let m be t(14). Let b be (1/37)/(m/(-1) - 2). Which is greater: 0 or b?
0
Let n = -1 - -6. Suppose -a - 6 = -n*r + r, 2 = 2*r - a. Suppose -2*y - r - 4 = -x, 5*x = 20. Which is greater: -5/11 or y?
-5/11
Suppose 0 = 5*x - 143 - 82. Suppose -5*r + x = -0*r. Is -8 greater than r?
False
Let z be 274 - 1*(-6 - (-8)/2). Is z less than 277?
True
Let f be 630*(-9 + 150/18). Is f not equal to -421?
True
Let r be 1208/31284*-5 + (-2)/(-11). Which is greater: r or 1?
1
Let b be 162/(-7) - (-1)/7. Let m be (-2)/14*b - 3. Let t(a) = -3*a - 5. Let l be t(-2). Is l bigger than m?
True
Let l = -1.33 + 0.03. Let m = l - -2.7. Let s = -1.3 + m. Which is bigger: s or 0.01?
s
Let d(c) = -2*c**3 + c**2 + c + 3. Let x(w) = -w**2 + 19*w - 16. Let q be x(18). Let s be d(q). Is s > -4?
False
Let h(g) = 6*g**3 + 3*g**2 - 17*g - 34. Let c be h(-2). Let n = 0 + 0. Which is bigger: c or n?
n
Let s = -2.02 + 0.02. Let r = 2.218 - 0.218. Does s = r?
False
Suppose 5*b - b = -r + 1071, 0 = b + 3*r - 276. Let s = -2673/10 + b. Let k be 2/(-8) + 45/(-60). Which is bigger: k or s?
s
Suppose -2*g = -0*g - 90. Suppose g*q - 42*q = 0. Let l be -3 + 138/21 + -3. Which is smaller: l or q?
q
Let j = 46 + -31. Which is greater: 4 or j?
j
Let x = 12568 + -8716. Let v be (-3)/12 - 393/x. Let p = v + 2/107. Which is smaller: p or -0.1?
p
Let l = -0.16 - -1.16. Let t = -2.96 + 2.8. Let r = -12.84 + t. Which is smaller: l or r?
r
Let o = 29 + -26. Suppose 0 = -4*g + l + 33, -g - o*l + 18 = -0*g. Suppose -8*v = -g*v. Which is greater: -1/27 or v?
v
Suppose 2*r = -m + 10, -4*m + 3*r + 68 = 4*r. Let b = m + -19. Which is smaller: -2/29 or b?
b
Let y be (410/40 - 10) + -1. Which is smaller: y or 46?
y
Let z be (0 - (-7)/2)*-4. Let s = -14 + 42. Suppose -2*g - 2*p = s, 0 = -3*g - g + 5*p - 65. Is g equal to z?
False
Suppose 1309*f + 112 = 1295*f. Is f greater than 19?
False
Let j be (-898)/(-118) - 1 - (9 + -3). Which is greater: 0 or j?
j
Suppose 5*w + x = 466 + 193, 0 = -w - 2*x + 139. Is 2 at least w?
False
Let b = -1/138 - -281/690. Suppose -6 = -3*v + 9. Suppose 6*p = p - 4*o - 12, -2*o - 6 = v*p. Is b less than or equal to p?
False
Let n = -0.255 - 0.035. Let h = n - -0.15. Let b = -0.24 - h. Is -2 at least as big as b?
False
Let p = -534.3 + 505. Let s = -2.4 + -27.6. Let a = s - p. Is a smaller than 2?
True
Let n = -9.5 - -9.441. Let u = -0.059 - n. Which is smaller: u or 49?
u
Suppose 3*y = 75 + 57. Suppose -4*p = -3*c + y, 68 = -4*p - 0*p - 3*c. Is -12 < p?
False
Let w = 489 + -487. Let m = 56.71 + -57. Let r = -0.01 + m. Which is smaller: w or r?
r
Let t = -3 - 1. Let v(c) = -2*c**2 + 10*c - 6. Let s be v(4). Suppose s*j + 0*o + 14 = 3*o, 2*j + 6 = -o. Is j greater than or equal to t?
True
Let n = 2914/5 - 582. Which is greater: 0.9 or n?
0.9
Suppose 5*t + 167 = 4*n, -3*n = 2*t - 5*t - 102. Is -32 greater than t?
False
Suppose -3*q - 4*o + 17 = 0, -5*q - 5*