 o + 3*p - 27 = 0, -36 = -5*o - 4*p + 44. Let s be 1/4 - (-117)/o. Let b be ((-2)/(-15))/((-6)/s). Which is greater: b or 0?
0
Let s = -133 + 133.04. Which is greater: -0.7 or s?
s
Let h(y) = 6*y**2 + 1. Let k be h(1). Let w(v) = -v**2 + 7*v + 3. Let d be w(k). Suppose o - 8 = d*o. Which is greater: -3 or o?
-3
Let o be (-2 + 2)/(4/(-2)). Let z = 1/56031 + -18602327/1961085. Let q = z - -46/5. Is q bigger than o?
False
Suppose -4*z + k = -1, 0*z - z - 26 = 5*k. Let a = 6.3 + -6. Which is smaller: z or a?
z
Suppose 10 = 2*m - 0*i + 3*i, -i + 2 = 0. Suppose r = 3*a - m - 2, 3*a - 4*r = 16. Suppose 5*q + 5 = 2*y + 2, y = 4*q. Which is greater: q or a?
q
Let i be (-19)/(-5) - 14/(-70). Is i less than -5?
False
Let k = -0.0459 + 351.0459. Let z = k - 343.98. Let x = -0.02 + z. Which is bigger: x or 0.1?
x
Let f = 6 + -9. Let l = -132 + 133. Which is greater: l or f?
l
Suppose v = -4*q + 15, 3*v = -2*q - 0*v + 15. Let y be (-6)/(-21) - 67/(-35). Which is smaller: y or q?
y
Let s = -252/17 + 14330/969. Which is greater: s or 1?
1
Let g = -0.74 - -0.8. Let y = g + -0.16. Let v = y + -4.9. Is v smaller than -1?
True
Let j(m) be the third derivative of -m**6/120 + m**5/20 - m**4/12 + 2*m**3/3 + 2*m**2. Let v be j(3). Let q be (2 - 1)/(17/(-51)). Is v greater than q?
True
Let i be 4/6 + 33/(-9). Let p = -4 - i. Do p and -1/4 have different values?
True
Suppose -66 + 17 = -4*p - 5*h, 5*p - 35 = -h. Let v = -4 + p. Let c = 7 + -4. Which is smaller: v or c?
v
Let u(f) = 6*f. Let k be u(-1). Let d = 673 - 678. Which is greater: k or d?
d
Let q be 4/18 + (-128)/(-72). Which is smaller: 15/7 or q?
q
Let p be (-3 - -5)/((-2)/(-1)). Let i be 0/(0 - (2 - p)). Suppose -3*h - y - 9 = -h, -y - 5 = i. Is h less than or equal to -1?
True
Let h = 134508/109 + -1234. Which is bigger: h or 0?
h
Let p(t) = -t**2 + 6*t + 19. Let r be p(8). Let a(d) = -d - 2. Let q be a(-3). Is q <= r?
True
Let u(n) = -n - 4. Let k be u(-4). Suppose -o + 9 = -4*w, k*w + 3*w + 10 = 4*o. Suppose 0 = a - o - 3. Is 4 less than or equal to a?
True
Let q = -0.14 + 0.08. Let d = -45 - -79. Let h = 104/3 - d. Is h less than q?
False
Let x(z) = z**2 - 6*z + 6. Let g be x(5). Let l = -35 - g. Let p be 3/2 + 6/l. Does 0 = p?
False
Suppose -2*o - 8 = 2*o. Let z be o/10*(-45)/(-18). Which is greater: -0.1 or z?
-0.1
Let f = -1 - -1. Let w = -8 + 5. Let g = w - -4. Which is bigger: f or g?
g
Let d = 3 - -6. Is 9 at most d?
True
Let v be (-26)/(-10) - (-9)/(-15). Are 8/3 and v unequal?
True
Suppose n - 113 + 42 = 0. Is n equal to 71?
True
Suppose -2 = -3*h - 5*n, n - 1 = -h - n. Which is greater: h or -3?
h
Let z(q) = -q**2 + q - 4. Suppose -4*s = 5*c - 35, 3*c + 0*c = 3*s - 6. Let u be z(c). Let d = -10 - u. Is d smaller than -2/7?
False
Let u be 1*(-8 + 0)/(-1). Suppose 2*w = -0*w + u. Suppose -4*t - 5*o - w = -41, 11 = 2*t + o. Which is smaller: 2 or t?
2
Let d = 0 - 7. Let c = d + 7.4. Which is smaller: 1 or c?
c
Let f = -0.98 - -2.38. Is f smaller than 2?
True
Suppose -52 = -3*s + 5*j, 3*s + s - 79 = -3*j. Let t = -35/2 + s. Is t greater than or equal to 3?
False
Let w = 2051/2 + -1007. Let x = -18 + w. Suppose 0 = -0*z + 2*z. Is x >= z?
True
Let a be 13/10 + 6/(-12). Are a and 0 equal?
False
Let f be 4*(3 + 20/(-8)). Suppose 4 = 4*d - f*d. Which is smaller: 13/4 or d?
d
Suppose 0*s + 4*v = 3*s - 4, -3*s + 22 = 5*v. Suppose -4*q = 3*t + 32, -2*t - 5 = -q + 9. Let k = t + s. Is k < -5?
False
Let q = -171 - -170.9. Are q and 0.32 nonequal?
True
Let p = 13 + -5. Which is greater: p or -0.2?
p
Let n = -481 + 17796/37. Which is smaller: -1 or n?
-1
Let c = 51 + -53. Do 2/3 and c have different values?
True
Let w = 3.7 - 3.7. Is 1.3 greater than w?
True
Suppose 2*u - 6 = -z, -4*z - u = 4*u - 15. Which is bigger: 7 or z?
7
Let f = 53/42 + 1/14. Which is smaller: f or 1?
1
Let p = -12 + 12. Let r = 0.1 - p. Which is smaller: 4 or r?
r
Suppose y = 6 - 7. Is 1/15 less than or equal to y?
False
Let f = 16/23 + 51/92. Which is bigger: f or 2?
2
Let w = 31/4 - 233/28. Is w less than -2?
False
Let a = -1/41 + -25/656. Which is bigger: a or 0?
0
Let j(r) = -2*r + 8. Let q = 14 + -8. Let d be j(q). Let t = -1 - d. Which is smaller: t or 4?
t
Let b(m) = m - 5. Let i be b(13). Suppose -w - 13 = -2*o - 6, -5*w + o = i. Let h = -3 - -2. Are w and h unequal?
False
Let m = 2.323 - 0.123. Is m equal to -2?
False
Suppose -2*h - 2*g = -6, 2*g = 5*h + g - 15. Suppose -h*n + 12 + 6 = 0. Is n bigger than 7?
False
Let o = -78 - -71. Which is bigger: -9 or o?
o
Suppose -2*p = 3*t + 5, t = 3*p - p + 17. Is p less than or equal to -7?
True
Suppose q = -4*p + 25 - 3, 3*q = 6. Suppose p*l - 7 - 3 = 0. Suppose -t - 1 = -l. Which is bigger: t or 1/9?
t
Suppose 6 = -4*z - 5*w - 1, 5*w - 49 = 3*z. Let d be (-9)/(-12) + (-2)/z. Let j = -2/135 - -292/1485. Is j less than or equal to d?
True
Suppose 11 = -4*p - 5. Let q(t) = t**2 + t - 3. Suppose w = 4*n + 3, 4*n + 4*w - 12 = n. Let f be q(n). Which is greater: p or f?
f
Let r = 0 - -2.5. Let o = r - -0.5. Let w = 4 - 4.1. Which is bigger: o or w?
o
Suppose -3*v + n = -6, 2*v = -2*v + 4*n + 8. Suppose -h = v*u - 3 + 2, 3*h = -3*u + 6. Let k be (3 - 6)/(5 + u). Is k != 0?
True
Let m be 6/10 - (-44)/110. Is -4 bigger than m?
False
Suppose 2*u = u + 10. Let k(m) = -m**2 + 11*m - 10. Let d be k(u). Is d at most 1/15?
True
Let g = 55 + -77. Are g and -22 unequal?
False
Let r be -26 + 5 - (-3)/(-6)*0. Is r less than or equal to -22?
False
Let c be 4/(-84) - (-4)/12. Which is greater: -4 or c?
c
Suppose -a = 2*h - 106, h + 3*h + 3*a = 216. Is 52 at least as big as h?
True
Let l be (-18)/282*(-4)/(-6). Which is smaller: 0 or l?
l
Let q be 189/(-147)*2/(-3). Are 0 and q non-equal?
True
Let x be ((-2)/(-5))/((-1)/(-5)). Suppose -x*g + 1 + 2 = -5*w, 5*g = 5*w + 15. Which is smaller: g or 0.1?
0.1
Let t(g) = -g + 12. Let r be t(-9). Which is smaller: 19 or r?
19
Suppose -2 = k - 5*g, 3*k = -k - 5*g - 58. Which is smaller: k or -13?
-13
Suppose -2*r = 3*r. Suppose r = -2*g - 3 + 5. Which is bigger: g or 2?
2
Suppose 6*w = -t + w - 13, 2*w = t - 8. Let d(n) = -t*n + 0 - 1 + n. Let k be d(-1). Does k = 2/19?
False
Let j = 0.06 - -0.04. Let t = 0 + j. Is 2 bigger than t?
True
Let u be (-1 - -1) + 4/(-16). Suppose -4*w + 3*k = -2*k - 6, -2 = -4*w + 3*k. Let n = w - -1. Is u at least as big as n?
False
Let p = -41 - -39.3. Let i = p + 0.7. Is i not equal to -2/3?
True
Let y = 174 - 170. Let p = 6 - 4. Are y and p equal?
False
Let w(r) = r**2 - 2*r - 5. Let l be w(4). Let f be 5 + -5 + l + -4. Let n = -1 + 2. Is f greater than n?
False
Let l = 99 - 94. Which is bigger: 2 or l?
l
Suppose 0 = -2*j - 0 + 2, -4*j = 4*c - 28. Suppose r = 0, -3*h + 2*r = c*r + 33. Let s = 8 + h. Is s at most -3?
True
Let t = 1 - 1. Let p be 4/14 - (-12)/(-91). Is p >= t?
True
Let j be 0/5*2/4. Suppose -o - 5*l = -j*l + 17, 0 = -5*o - 2*l - 39. Which is bigger: o or -5?
-5
Suppose -16 = 14*q - 2. Which is bigger: 1/4 or q?
1/4
Let y(o) = -7*o**2 - 2*o - 1. Let n be y(-1). Let a = -11 - n. Is a greater than -3?
False
Let j be (8 - 1)*(-14 + 135). Let i = j - 39811/47. Is i at least as big as 0?
False
Let w(t) = -t**2 - 6*t - 4. Let j be w(-4). Let f = 8 - j. Suppose -h = f*h - 3*b + 4, 3*h + 2*b - 9 = 0. Which is smaller: 1/2 or h?
1/2
Let b be -1 + 1 + (-2)/47. Let j = 261/1151 + 104015/216388. Let a = j - b. Which is bigger: 0 or a?
a
Suppose 0*o = -3*o - 30. Is -9 at least as big as o?
True
Let y = -613/483 - -27/23. Are 1 and y non-equal?
True
Let d(s) = -2*s + 19. Suppose 3*n + 6 - 33 = 0. Let q be d(n). Let r be 1/3 + (-16)/(-6). Which is greater: q or r?
r
Let h = 24 + -14. Let y be h/15 + 4/(-6). Suppose -r - w + 2 = -y*r, -3*r + 5*w = 26. Which is smaller: -3 or r?
-3
Let k = 8 - 11. Let s = k - -4. Let y = 137/63 - 17/9. Which is bigger: y or s?
s
Let f be (4/5)/((-3)/(-15)). Suppose -10 = -5*g - 0*g, 4*g = -h + f. Are h and -4 equal?
True
Let h be (6/3 - 1) + 0. Let i = -4 + 3. Which is smaller: h or i?
i
Let w(a) = -a**3 + 7*a**2 + a - 8. Let m be w(7). Is 1 less than m?
False
Let b = 38 + -40.875. Let t = b - 0.025. Let p = 3 + t. Which is smaller: p or -5?
-5
Let h(p) = 4*p + 10. Let v be h(-7). Does -18 = v?
True
Suppose 26 = 5*a + 2*p, a + p - 2 = 5. Is 13/3 bigger than a?
True
Let s be -1 - 4/20972*-4860. Let c 