228*(6/14 - 1). Which is smaller: o or g?
o
Let d(y) = -y**3 - 6*y**2 - 6*y - 1. Let s be ((-30)/(-3 - 0))/(-2). Let p be d(s). Suppose -c = c - 12. Is p greater than c?
False
Let u = -43/22 - -16/11. Which is bigger: 0 or u?
0
Let l be (-1)/4 - (-901443)/(-52). Let v = l - -515861303/29757. Let f = 1/109 - v. Which is greater: f or 0?
0
Suppose 0 = -2*r + 6*r. Let h be 3/(3 - 18/4). Let u be ((-48)/27 - h)/(-1). Which is bigger: u or r?
r
Let p = 172.6 + -188. Let b = p - -15. Let k = 0.9 + -1. Which is smaller: k or b?
b
Suppose 1 - 7 = -2*g. Suppose -g*v + 2 = a, -5*v = -0*v - 3*a + 20. Is 10 bigger than v?
True
Let x be 2/20 + 2/(-4). Let a = 7 - -2. Let w = 8.9 - a. Is w equal to x?
False
Let n(g) = g**3 - 5*g**2 + 6*g - 6. Let d be n(4). Which is greater: -1 or d?
d
Let l = -1136/4025 + -2/575. Let c be (2 + -1)*(23 - 24). Which is smaller: c or l?
c
Let c(u) = u**2 - 7*u + 2. Let r be c(7). Suppose -2*j + 2*x + 6 = 0, 2*x - 12 = 4*j + 6*x. Suppose j = 5*t - 9 - 1. Is r at most t?
True
Let h be (2 - 3)*(-7)/49. Do h and -2/11 have the same value?
False
Suppose -5*o = 5 - 0. Which is smaller: -7/12 or o?
o
Let m be ((-3)/(6/4))/7. Suppose -2*k - 3 = j - 6, 3*k = 2*j - 6. Suppose -3*f - j = -0. Which is smaller: f or m?
f
Suppose 3*u = -4*a - 2445, 2*a - 4*a + 4*u = 1228. Let f be (a/(-75))/4 - 2. Which is greater: f or 0?
f
Let t(a) = -a**2 + 2*a + 4. Let n be t(-4). Let s be 4/n*(-6 + 1). Let p = 19 + -94/5. Which is greater: s or p?
s
Let r = 5 + -6. Let f = r - 0. Let d be (1 - f) + 2 + 1. Which is smaller: d or 6?
d
Let d = 4.74 + -0.14. Let h = d - -0.4. Is h < -1?
False
Let d = 5 + -3. Let b(o) = o**3 - o**2. Let f be b(d). Let v = f + -3. Is v equal to 2/7?
False
Suppose 3*t = -i + 10, -3*t + 0 = 2*i - 14. Let a = 11 - t. Is a at least 8?
True
Suppose 21*f - 91 = 8*f. Which is bigger: f or 12?
12
Suppose 4*y = -u - u + 14, 0 = -4*y + 16. Let w = 1 - 1.5. Which is bigger: u or w?
w
Let y(x) = x + 7. Let g be y(5). Suppose -4*r - g = 4*u, 7*u - 2*u - 21 = 4*r. Are u and 0 nonequal?
True
Let r = 20 - 161/8. Suppose -5*x + 3*x - 2 = 0. Do r and x have the same value?
False
Let z be 2964/33 + 1 + -2. Let v = z + -89. Is v >= 0?
False
Suppose -3*h + 2*y = 136, -3*h + 2*h - 3*y = 38. Let k = -64 - h. Let s be (8/k)/((-2)/(-10)). Is -4/3 less than s?
False
Suppose -2 - 18 = -4*u. Let b = u - 6. Suppose -3*x + 2*x = 2. Is b bigger than x?
True
Let b be (-2 - -1) + (-24)/(-26). Is -1/2 >= b?
False
Let b be -36*(28/(-48) + 2/8). Do b and 13 have different values?
True
Let w(c) = -c - 1. Let y(f) = -2*f**2 - 3*f - 2. Let l(u) = -3*w(u) + y(u). Let r(h) = h + 5. Let k be r(-4). Let v be l(k). Is -2 not equal to v?
True
Let j = -2.2 + 0.24. Let c = j - 0.04. Is c less than or equal to 2?
True
Let f be ((-5824)/21)/(-8)*(-1)/2. Which is greater: f or -18?
f
Let n be (516/256 + -2)/1. Let l = 61/192 + n. Which is greater: 2/11 or l?
l
Suppose 3*t - 50 = -6*l + l, -76 = -4*t - 2*l. Is t greater than 19?
True
Let h = 8 - -5. Suppose 6 + 1 = -5*p - 3*x, 0 = -p + 3*x + h. Is 1/7 equal to p?
False
Let w be 1 - -3 - (-2)/2. Which is greater: 4 or w?
w
Let q = 7 - 9. Which is greater: q or 0?
0
Let k(l) = l**3 + 2*l**2 + 3*l + 17. Let h be k(-5). Which is smaller: -75 or h?
-75
Let f be (1 - -3*29)/(-5). Let y = f - -563/30. Which is smaller: 0 or y?
0
Let w be (-1*2/3)/((-539)/(-33)). Which is smaller: 0 or w?
w
Let b be (-8)/32 - (-1)/4. Suppose b = -2*j + j - 2. Which is bigger: -8/7 or j?
-8/7
Suppose -24 = 7*k - 3*k. Which is greater: 0.1 or k?
0.1
Let m(u) = u**3 - 3*u**2 + 4*u + 1. Let r be m(3). Is r not equal to 13?
False
Suppose -2*s - 6 = -2*y, -6 = -3*y - 4*s - 4. Let c be ((-4)/(-1 - 1))/2. Let k be y + c + 57/(-18). Is k <= 0?
True
Let v = 80.2 - 80. Let z(c) = 2*c - 2. Let s be z(2). Is s less than v?
False
Let z = 46 - 46.1. Let c = -2.6 - -3. Which is greater: z or c?
c
Let k = 12 - 13. Which is smaller: -22 or k?
-22
Let p(l) = -23*l - 25. Let r be p(-1). Let j = -23 - -15. Let v be ((-6)/(-8))/(2/j). Which is smaller: v or r?
v
Let z = -1013/7 + 145. Is -0.3 smaller than z?
True
Suppose -j + 7*s = 3*s - 17, 3*s = 4*j - 3. Let m be ((-8)/10)/(j/(-15)). Is -4 > m?
False
Let c(r) = 2*r - 1. Let m be c(-8). Let b = -11 - m. Let x = b + -7. Is x < -2?
False
Let u be 3/12 + -1 - (-1017)/1404. Does 1 = u?
False
Let s = -80 - -101. Which is bigger: 20 or s?
s
Let n = -1/14 - 185/56. Is -4 > n?
False
Let d(u) = u**2 + 10*u. Let l = -4 - 1. Let b(i) = -i**2 - 3*i. Let f be b(l). Let x be d(f). Which is bigger: x or -1?
x
Suppose 10*i = -3*i + 3*i. Is 1/52 < i?
False
Let k = 0.03 + 0.02. Let j = k + 0.05. Let c = 0 - j. Which is smaller: c or -0.3?
-0.3
Let q be 9/(-6) - 7/(-2). Suppose -w + q + 0 = 0. Suppose -w*g + 6*g = 0. Is g smaller than 0?
False
Suppose 0 = -5*w + 5*j - 3 - 32, 19 = -w + 5*j. Let i be 40/(-18)*(-1)/w. Let q = i + 19/18. Is -0.2 >= q?
False
Let x = -20 + 6. Let q = -13 - x. Which is bigger: 2 or q?
2
Let j(n) be the first derivative of n**2/2 + 2*n - 1. Let c be j(0). Suppose -c*z = z + 3. Is -1/3 at least z?
True
Let l be ((-10)/200*4)/((-2)/6). Is -1/4 < l?
True
Suppose -20 = 19*x - 17*x. Which is greater: -11 or x?
x
Let h = 22 - 23. Let s be 3/(-2)*1/6. Which is bigger: h or s?
s
Let x = -32 - -68. Is x at least as big as 107/3?
True
Suppose 2*s = -11 - 1. Which is greater: s or -7?
s
Suppose -4*i - y - 3*y + 20 = 0, -15 = 5*i - 5*y. Which is smaller: 4/31 or i?
4/31
Suppose -15 = 5*u, -4*v + 5*u = -6 - 5. Let g be 0*-2*v/4. Let x = -11/21 + 17/21. Which is greater: x or g?
x
Suppose -6 = -2*o + 4. Suppose 3*d + 10 = 2*c - c, -5*d - 30 = -o*c. Which is smaller: 3 or c?
3
Let v = -59 + 48. Is -51/5 greater than or equal to v?
True
Let c(j) = j - 5. Let w(h) = 3*h + 2. Let u(a) = 7*a + 3. Let o(t) = 3*u(t) - 5*w(t). Let f be o(1). Let s be c(f). Are -2/17 and s nonequal?
True
Suppose -3*t + 1 = -8. Let d be t/(-3)*3 + -3. Let k be 38/10 + 3 + d. Is k equal to 1?
False
Let u = -9 + 20. Let h = u + -10.4. Is h equal to 0.1?
False
Let g = 21 - 21. Which is smaller: g or -4/7?
-4/7
Let y = 0 - 1. Let j = -11 - -7. Let v be (j/(-10))/((-14)/10). Is y at least as big as v?
False
Let j(u) = -u**3 - 3*u**2 + 2*u - 1. Let k(z) = -4*z**2. Let a be k(-1). Let c be j(a). Suppose b + 16 = -3*b - 5*n, -n - c = -3*b. Is b less than 1/7?
False
Let o be 6/(-8) + (-191)/(-732)*3. Is 0 bigger than o?
False
Suppose -7 + 3 = 4*b. Let j = 0 - b. Which is greater: j or 2/3?
j
Suppose 9 = -a - 0. Let o be a/45 - 1/(-5). Which is smaller: o or 2?
o
Let i = 0 + 4. Let f be 1 - 0 - (4 + -1). Let x be (8/(-12))/(f/12). Does x = i?
True
Let u = 76 + -79.95. Let n = -0.05 + u. Are -0.2 and n unequal?
True
Suppose 0 = 2*t - 3*t + 5. Let b(r) = -r**2 + 6*r - 7. Let c be b(t). Which is smaller: -5/3 or c?
c
Suppose 3*n + 5*o = 8 + 7, 6 = 3*n + 2*o. Let x(q) = -q**3 - 11*q**2 - 9*q + 14. Let y be x(-10). Which is smaller: y or n?
n
Suppose 2*b - 13 = 9. Which is smaller: 0 or b?
0
Suppose -4*b = -2*a - 0*a, 0 = -3*a - 4*b. Suppose 4*z - 8 = -a. Suppose -3*k = -z - 1. Is 0 < k?
True
Let r(l) = l**3 + 4*l**2 - 5*l + 5. Let o be r(-5). Let k(a) = -a**2 + 5*a + 4. Let f be k(o). Which is bigger: 6 or f?
6
Let m = -18 + 3. Let l = 10 + m. Let t = l - -8. Which is smaller: -2/3 or t?
-2/3
Suppose 25 = -3*k + 5*i, 0*k + 3*k - 15 = -3*i. Is k bigger than -3?
True
Let j be 3/3 + -1 + 1. Let y be (-60)/(-42) + (-2)/7. Which is smaller: j or y?
j
Let l = -1.31 - -0.91. Is l equal to 2/7?
False
Let c = -13 - -55/4. Which is greater: 2 or c?
2
Let z be (4 + -8)*(-1)/2. Suppose -z*y - 28 = 2*y. Is -6 smaller than y?
False
Let h = -0.42 + 0.4. Let q = 0.48 - h. Let w = 0.9 - q. Is w > 0.1?
True
Let p = -89 - -74. Is -0.2 at least p?
True
Let u be (2/15)/(4/5). Suppose 2*k = -4*s + 18 + 10, 2*s = 2*k + 2. Suppose -4 = 2*n - 3*l - 13, -s*n + 4*l + 12 = 0. Which is smaller: n or u?
n
Let m(b) = -b**2 + 3*b + 5. Let a be m(4). Is 3/26 greater than a?
False
Let l be 64/(-28) - (-1 + -1). Let s(w) = w + 4. Let x be s(-4). Suppose 0 = -g - x - 1. Which is greater: g or l?
l
Let o(p) = 3*p + 10. Let r be o(-3). Which is smaller: 16/15 or r?
r
Let c = 11.6 + -0.6. Let b = 5/6 + -19/30. Which is smaller: b or c?
b
Let j = 5 + -2. Suppose -j*m - 3*y = -y - 4, 0 = -3*y + 6. Su