7*c**2 - 7*c + 8. Let d be w(-8). Suppose 0 = -4*y - d*y. Is y > f?
False
Let n = -14 + 27. Which is smaller: n or 14?
n
Let x be (-1)/(-2) - 6/4. Suppose -8*f + 3*f = 0. Is x less than f?
True
Let w = -105 - -104.9. Which is smaller: w or -22/5?
-22/5
Let t be 3 + (-68)/20 - 4/(-10). Let l = -4 - -6. Are l and t unequal?
True
Let p = 503/27780 - 2/1389. Let a = -3/20 - p. Suppose -1 = 3*h - 4. Do a and h have different values?
True
Let r(t) = -4*t**2 - 9 + 12*t**2 - 4*t - 1 - t**3. Let c be r(7). Suppose 0 = 4*i - 3 + c. Which is smaller: i or 0?
i
Let w be (16/12)/((-2)/(-3)). Suppose -4*p - 3*k = -17, -w*k + 5 = 4*p - 9. Suppose 0 = -j - 2*j + 3. Which is greater: p or j?
p
Let o be (1 - (0 - 4))/1. Which is smaller: 11/3 or o?
11/3
Suppose -6*z + 32 = -4*s - 2*z, -s = -4*z + 20. Is s < -5?
False
Suppose -136*v + 140*v = 8. Which is smaller: 1/2 or v?
1/2
Let n be 4/((-4)/(-2)) - 0. Suppose 4*d - 15 + 3 = 0. Suppose 5*m - d = 7. Does m = n?
True
Let m be (-1)/4 - 4/(-16). Let h be (2/28)/(2/12). Is m at most h?
True
Suppose 3*d = 2*q - 2, d - 3*q + 8*q + 29 = 0. Which is greater: d or -5?
d
Let f be (1/7)/(2/7). Which is greater: 0 or f?
f
Let q = -25/2 + 171/14. Let p = -0.03 + 4.03. Is q not equal to p?
True
Suppose -2*p + n = -33, n + 80 - 31 = 3*p. Which is greater: 15 or p?
p
Suppose 0 = 2*f + m - 3*m - 14, f + m - 7 = 0. Which is bigger: f or 8?
8
Let v(w) = -w**3 + 2*w**2 - 1. Let z be v(2). Let s be z + (1/(-1) - -5). Suppose 0*o = a - s*o - 13, 3*a + 4*o + 13 = 0. Is a greater than 2/5?
True
Let y = 7 + -11. Let f = 2 - 2.1. Which is greater: f or y?
f
Suppose 0*s - 3*l + 14 = -s, -14 = 3*s - 2*l. Which is smaller: -4/5 or s?
s
Suppose -3*a + 43 = -8. Let h = a + -18. Which is bigger: h or -2?
h
Let k = 471/2 - 231. Is 4 equal to k?
False
Suppose 0 = -2*m - f + 7, m - 4*f = 4*m - 8. Let c = 3 - m. Suppose -3*s + 16 = 4*r + r, -4*s = 12. Is r greater than c?
True
Suppose 0 = -g - 5*g - 150. Is -25 at most g?
True
Suppose 0 = -l + l + l. Which is bigger: -5/4 or l?
l
Let q(k) be the third derivative of k**5/60 + 3*k**4/8 + 7*k**3/6 + 9*k**2. Let t be q(-8). Let y be (3/(-135))/((-4)/10). Which is smaller: t or y?
t
Let k(m) be the second derivative of -m**3/6 + 5*m**2/2 - 2*m. Let g be k(4). Let t(s) = s**3 + 2*s**2 - s - 1. Let d be t(-2). Are g and d equal?
True
Let z = -25/28 - -3/4. Let j = -7 + 8. Let y be -4 + (-4 - (j - 10)). Which is bigger: z or y?
y
Let m be 2/(-7) + 2/56. Let w = -18 - -25. Let v = 6 - w. Which is bigger: v or m?
m
Let x be ((-28)/35)/(2/(-10)). Let r = 0 - -2. Let h be (-7)/(1 - r) - 2. Which is smaller: h or x?
x
Let q = 55 + -105/2. Do q and 3 have different values?
True
Let i be ((-28)/21)/((-4)/6). Suppose 5*q - 3 = i*q. Let a(u) = -u**2 - 4*u + 5. Let v be a(-5). Which is bigger: q or v?
q
Let d = 25.25 + 0.75. Is d < 2/3?
False
Let r = -3/13 + -17/39. Let g be (-16)/(-12)*(-4 + 1). Let n be g*(-1 - 3/(-2)). Which is greater: n or r?
r
Let p be (-3)/(-9) - 1/3. Which is smaller: p or -4?
-4
Suppose -s + 12 = 4*l, l - 3 = 2*s - s. Let c be 1/(1 - (-12)/(-14)). Suppose 4*g + c - l = 0. Is g greater than or equal to -1?
True
Let g = 789/5 + -157. Suppose 4*w + 0 + 1 = 3*r, -4*w = 3*r - 17. Suppose -y = -t - 1, 0*t + t + w = 2*y. Do y and g have the same value?
False
Let g be 2/(-8) + 35/(-40). Let m = -5/8 - g. Let r = -2 - 2. Which is smaller: m or r?
r
Let b = 2 - 3. Let u = 1.1 + b. Which is greater: 1 or u?
1
Let x(v) = v + 5. Suppose -2*g - 16 + 6 = 0. Let a be x(g). Which is smaller: a or 2/3?
a
Suppose -3*r + 2*i = 4 - 5, 10 = -2*i. Suppose -3*z + 2*d - 12 = 0, 27 = -5*z + 4*d + 7. Let u = r - z. Which is smaller: 2 or u?
u
Let u = 24 + -24. Suppose 3*t + 11 = 5*f + 53, -3*f + 3*t - 30 = u. Are -4 and f non-equal?
True
Let w(f) = -f**2 + 8*f + 12. Let b be w(9). Which is smaller: b or 11?
b
Let g = -34 - -35. Let h be (3/(-7))/(40/(-35)). Are h and g equal?
False
Let n = -4 - -22. Let z = -13 + n. Are z and 4 nonequal?
True
Let n = -28 - -113/4. Which is bigger: n or 0?
n
Let s = 402 - 406.99. Let x = s + -0.01. Which is smaller: -0.1 or x?
x
Suppose -9 + 0 = -3*b. Let k be (-18)/12*(-4)/6. Which is bigger: b or k?
b
Let y = -30 + 29.8. Let w = -1.7 + -0.3. Which is smaller: w or y?
w
Suppose -125 = 3*v + 4*f, 201 = -5*v - 0*v - 3*f. Which is smaller: -79/2 or v?
-79/2
Let y = -4 + 5. Suppose -u = 4*u - 10. Let d be (1*u/18)/y. Is -1 > d?
False
Let k(g) = g - 7. Let l be k(11). Suppose -l*s + 15 = -3*h, 2*h + 2 = 3*h + s. Is -1/2 greater than h?
True
Suppose -q - 5*o + 28 = 0, 4*q + 3*o = -q + 74. Let j = q - 9. Suppose -3*h + 4*z = -29, 5*h - 19 = j*z + 16. Which is bigger: 2 or h?
h
Let s = -15 + 23. Let r = -7.7 + s. Let x = -0.3 + r. Which is bigger: x or 0.2?
0.2
Suppose a - 5 = -4*d, -d + 2*d = a + 5. Let s = 325 - 324. Which is greater: s or d?
d
Suppose 3*l = 2*l. Let n = l + 0. Let z = -2 + n. Is -2 at least as big as z?
True
Suppose 53 = -5*g + 2*x - x, -4*x - 18 = 3*g. Let i be (-6)/g*(6 + -1). Suppose i*j = j. Is 0.1 > j?
True
Let p = 0 + -2. Let q = -46 + 140/3. Which is greater: q or p?
q
Suppose 3*c - 2*f = 5, -c + 2*f + 9 = -2*c. Let i = -96 - -673/7. Which is greater: i or c?
i
Let y(a) = -2*a + 3. Let g be y(2). Let k(j) = j**2 + j - 2. Let f be k(0). Which is greater: f or g?
g
Let o = -2 + 5. Suppose -5*h + 20 = 4*y, -o*h + 0*h = -2*y + 10. Let m be 60/900 - (1 + 8/(-6)). Is h at most m?
True
Suppose 15*b - 17*b = -16. Let y(p) = 9*p**2 + p. Let z be y(-1). Is z at least b?
True
Let s be (3 - (-1 - -2))/4. Let i = -9.2 - 1.8. Let d = i - -8. Do d and s have the same value?
False
Let d be (-56)/(-50)*30/(-36). Which is smaller: d or -1?
-1
Let d(x) be the second derivative of 0 - 1/3*x**3 - x - x**2 + 1/12*x**4. Let g be d(3). Which is smaller: -1/5 or g?
-1/5
Let p = -21.04 - -21. Let x = 2 + -1.96. Let h = p + x. Is h > 0.2?
False
Let c = -67/285 + 2/57. Suppose -3*v - 19 = 4*b, -2*v + 5*b + 12 = -6. Which is greater: c or v?
c
Let h be 6/(-4) + 1/2. Let z be -1 - (-1 - -2 - h). Let i(j) = -j - 5. Let w be i(-3). Is z smaller than w?
True
Let x = 112 - 112.035. Is 0.1 greater than x?
True
Let q be ((-10)/5 + -1)/3. Which is smaller: 5/14 or q?
q
Let p(f) = -f**2 + 8*f - 1. Let b be p(6). Let l(i) = i**3 - 12*i**2 + 12*i - 11. Let y be l(b). Which is greater: y or -2/9?
y
Let d = 241/5 + -48. Is d less than -2?
False
Let s = 195 - 194.92. Which is smaller: s or -8?
-8
Let u = -0.4 - -0.3. Let j = -146/3 - -2188/45. Let i = j + 32/45. Is i <= u?
False
Let h = -31.9 + 32. Which is smaller: h or -6/7?
-6/7
Suppose -z = -4 - 0. Let j be (-1)/(-2) - (-126)/28. Which is smaller: j or z?
z
Let o(j) = -1. Let k(v) = -2*v - 2. Let p(h) = k(h) - 2*o(h). Let n be p(2). Let c(y) = y**3 + 4*y**2 - y - 3. Let t be c(n). Is t greater than 3/4?
True
Let o = 8 + -12. Do -5 and o have the same value?
False
Let q = -1.22 + 0.22. Which is bigger: q or -15?
q
Let v = -12 + 11. Is 0.5 less than or equal to v?
False
Let l = 0.07 + 0.93. Let i = 0.7 + -1.7. Is i less than l?
True
Let v be ((-9)/2)/(40/480). Which is smaller: -56 or v?
-56
Suppose 0*s = -2*s + 10. Which is smaller: s or 4?
4
Suppose -4*q + 16 = -2*h, -3*h = -q - 0*h - 1. Is q not equal to 16/3?
True
Suppose 3*b + 5*q - 376 - 1202 = 0, 5*q = -5*b + 2640. Let c = 12211/23 - b. Which is greater: 0 or c?
0
Suppose -443 + 155 = -4*j. Let h be (j/(-20))/((-3)/(-15)). Let g be 2/h - (-10)/(-45). Is g >= -1?
True
Let v be 362/(-15) + (-12)/(-90). Do 1/6 and v have different values?
True
Suppose 7*k = 4*k + 9. Suppose -4*i + 16 = -4*q, 0 = -5*i - 3*q - k - 1. Is i less than 2?
True
Let x be -3 + 0 + 3 + 17. Let v = x + -12. Suppose -v = s + 4*s. Which is bigger: s or 1/2?
1/2
Suppose -2*q - 3 = 3*w + 7, -q = 3*w + 8. Is -2/3 at least q?
True
Suppose -3*b = 3*s + 36, -s - 42 = 2*s + b. Is -15 smaller than s?
False
Let k(m) = -m**3 + 4*m**2 - 5*m + 2. Let j be k(2). Which is greater: 2/5 or j?
2/5
Suppose 10*o + 17 = -7*o. Let s = -2.05 + 2. Is o greater than s?
False
Let t = 177 - 357/2. Suppose -2*y = -3*a + 1, -4*a - y - 2 = -2*y. Is a bigger than t?
True
Let x = 3 + -7. Is -3 bigger than x?
True
Let x(k) = k**2 + 0 - 4 + 2 + 3*k. Let u be x(-4). Suppose 0 = -3*m - 4*b - 26, b = -5*m - 13 - u. Which is greater: 0.1 or m?
0.1
Let s = 11 -