ppose -3*i - 6 = -4*a, -4 = 3*i + 4*a + 2. Let z = -93/4 + 251/12. Is z greater than or equal to i?
False
Suppose -6 = -5*x - 1. Let w = 135235981/170381895 + -20/217047. Let r = w - -1/157. Is x at least as big as r?
True
Suppose -3*q = -2 - 4. Which is greater: q or 4/5?
q
Let s(t) = -2*t + 7. Let d be s(3). Which is smaller: -4/9 or d?
-4/9
Suppose 10*o = 5*o - 4*s + 20, -2*s = o - 10. Suppose -6*p = -3*p + u + 14, -5*p + u - 10 = o. Is -3 at least p?
True
Let a be (147/(-4) - 2) + -1. Let p = -40 - a. Is 0 at least p?
True
Let a = 3685229/13 - 283176. Let t = 303 - a. Which is bigger: t or 1?
1
Let q be -33*(2/8 - (-112)/(-192)). Do 12 and q have the same value?
False
Suppose -4*h + m + 11 = -2*m, m = -3*h + 5. Let w(r) = -10 + r**2 - h*r + 14 + 6*r. Let d be w(-4). Which is bigger: 3 or d?
d
Let x(y) = y. Suppose 3*k - 3*c = c, -c = k. Let r be x(k). Is 2 not equal to r?
True
Let d = 23 + -15. Let k = -4 + d. Is 1 greater than k?
False
Let l = -7762/5 - -1559. Is 8 > l?
True
Let o(r) = -5*r - 1. Let j be 11/(-9) + 2/9. Let m be o(j). Suppose m*g - 18 = -2. Does 5/2 = g?
False
Let b be 5752/(-25) + -3 + 2. Let v = -231 - b. Which is greater: v or 1?
1
Let z = -34 + 24. Let y = -7 - z. Which is smaller: -1/3 or y?
-1/3
Let d = 6/79 + 55/316. Are d and 2.5 non-equal?
True
Let s = 0.3 - 0.2. Let a = -0.1 + s. Let v = 0.6 + -0.5. Which is smaller: a or v?
a
Let h be ((-6)/8)/((-6)/24). Suppose -5*p = -3*v + 24, p = -3*p - h*v - 3. Does p = -3?
True
Let r = -7 - -6.7. Let a = r - 0.7. Let l = -0.123 + 0.023. Is l >= a?
True
Let k(w) = -w**3 + 6*w**2 - 5*w + 3. Suppose -a - 19 = -4*g, g - 6*g = 5*a - 30. Let c be k(g). Which is smaller: c or 4?
c
Suppose -5*x - 24 = -2*f, -3*f = -4*f - 3. Let b(s) = s**2 + 11*s + 5. Let j be b(-10). Is x not equal to j?
True
Let g be (-1750)/(-20)*(-9)/(-10). Let q = 78 - g. Is -1 >= q?
False
Let t be -51 - (-3 + 3 - 3). Which is smaller: -49 or t?
-49
Let u(n) = -n**3 - 2*n**2 - 2*n. Let q be u(-2). Suppose -40 = 5*i + q*g - 96, 4 = g. Which is smaller: 7 or i?
7
Let l(f) be the first derivative of -f**3/6 - 4*f**2 + 2*f - 3. Let b(p) be the first derivative of l(p). Let m be b(-4). Is -3 smaller than m?
False
Let o be 2/(-5) - (-135)/25. Suppose -3*s = 2*s + 5*r - 35, o*r = -15. Let h be s/6 - (-6)/(-9). Which is bigger: h or 0.2?
h
Let s(u) = -u**3 + 3*u**2 - 3*u + 1. Let g be s(3). Let p = -1 + g. Which is smaller: p or -7?
p
Suppose -78 = -5*h - h. Which is bigger: 15 or h?
15
Suppose 0 = -5*r + 34 - 4. Suppose f = r*f. Is f > -2/23?
True
Suppose -1 = d + m, -4*m = -0*m. Let j be (-4 - -2)*1 - -7. Suppose -j*u - 2 = 3. Is u at least d?
True
Let n = 25/4 - 121/20. Which is smaller: 0 or n?
0
Let o = -9 - -6. Suppose 9 = -4*z - 3. Is o != z?
False
Let g = -3 + 4. Let y be 1*(-2)/2*g. Let r = -7 + 13/2. Is y not equal to r?
True
Let b = 0.09 + -0.16. Which is smaller: 2 or b?
b
Let j = -5 + 11. Let a be (-1)/((-9)/j - -1). Let d be (0 - (-1)/2)*a. Is 1 != d?
False
Let s = -2.8 - -2.5. Is -1/2 bigger than s?
False
Let m(g) = -g + 6. Let b be m(8). Let k be 1*1/b*2. Let l = -48 - -47. Is k not equal to l?
False
Let q(k) = k**2 - 2*k + 1. Let f be q(2). Let h = -18.1 + 8.2. Let m = 10 + h. Which is smaller: f or m?
m
Let v(f) = f**3 - 4*f**2 - 5*f + 1. Let o be v(5). Let d be (-2)/(-8) - (-1 - -2)/(-4). Is d bigger than o?
False
Suppose -2*j + j - 4*b = 1, j - 2*b = 5. Suppose -3*a = -j*i - 9, -2 = 3*i + 7*a - 3*a. Let n = 3 + i. Is 2 greater than n?
True
Let u = -4 + 7. Let p = 2 + u. Suppose 0 + p = k - 3*r, 4*r + 4 = 0. Is 8/3 < k?
False
Suppose 0 = 5*l - 16 + 1. Suppose -3*f = -l*y - 9, -4*f - y = -3*y - 6. Is 1 smaller than f?
False
Let x(k) = -k + 14. Let z be x(10). Let t be (-8)/(-16) + 6/z. Suppose p + 14 = -9*l + 4*l, p - 3*l - 10 = 0. Which is smaller: p or t?
p
Let n be (6/8)/(2/(-8)). Suppose -19*y - 1 = -18*y. Is y at most as big as n?
False
Let c = 1.15 + -1.2. Which is smaller: c or -1?
-1
Suppose x = -x - 34. Which is greater: -16 or x?
-16
Let o = -11 - -20. Let b be (-3)/4*9/o. Which is smaller: b or -1?
-1
Suppose 40 = 4*v - 2*c, 3*c + 35 = 3*v + 11. Is v greater than or equal to 12?
True
Let w(j) = j**3 - 7*j**2 - 8*j + 7. Let o be w(8). Suppose 5*h = -13 - o. Which is smaller: h or -1?
h
Let q(p) = -p**3 + 5*p**2 - 4*p + 6. Suppose -4*k = -0*k - 16. Let y be q(k). Suppose -y*u = -2*u - 8. Are u and 3 nonequal?
True
Suppose 2*a - 16 + 4 = 0. Let x(j) = j**3 - 6*j**2 + 5*j + 5. Let o be x(5). Is o smaller than a?
True
Suppose -m + 6*m + 40 = 0. Do -9 and m have different values?
True
Let o be ((-1)/(-2))/((-4)/16). Which is bigger: o or -0.1?
-0.1
Let u = 3 - 4. Let y = 627485/68 + -9228. Let v = 1/34 + y. Which is bigger: v or u?
v
Let p = 4 - -5. Let x be (-46)/(-36) + 2/p. Let s(q) = -q**3 - q + 2. Let m be s(0). Which is smaller: x or m?
x
Suppose -2*x + 5*d + 65 = 10, -5*x - 5*d = -155. Let j be (-5)/(-15) + (-22)/x. Which is greater: 0.3 or j?
0.3
Let j = 0.3 - -0.7. Let x = -4 + 3.7. Is j less than or equal to x?
False
Suppose 7*n + 4*n = 649. Does n = 59?
True
Let x be (-3 + 0)*(-1)/3. Let r = 14476/13 + -92726/91. Let n = -94 + r. Which is greater: x or n?
x
Let p = 245.95 + -241. Let n = p + -5. Let b = 0.95 - n. Which is greater: -2/7 or b?
b
Let u = -2.1 - -1.1. Let f = -7 - -13/2. Which is bigger: f or u?
f
Let k = 31 + -94/3. Is k at most as big as 0?
True
Let v = -0.08 + 1.08. Is -5/4 at most v?
True
Let s(z) = -z**2 + 5*z - 2. Let m be s(4). Let i(l) = -l**3 + 3*l**2 - 2*l - 2. Let d be i(m). Which is smaller: -4 or d?
-4
Let i = -1 - 8. Which is smaller: -13 or i?
-13
Let q = -54/11 - -183/44. Let s be 1/((-2)/((-16)/(-2))). Let n be 0*1*2/s. Which is greater: q or n?
n
Let c be (-2)/(-8)*-14 + 3. Let p be (9/(-24))/((-3)/(-2)). Is p > c?
True
Let v be (-2)/(-8) - (-21)/12. Suppose -5*j + 3*j + v = 0. Which is bigger: -4/13 or j?
j
Let w = -1.3 - -0.3. Is w equal to 2/7?
False
Let j = -21 - -20. Let l(n) = -n**3 - 3*n**2 + 4*n. Let x be l(-4). Let i(r) = r**2 - r - 1. Let a be i(x). Is a greater than or equal to j?
True
Let x be 0*5/20*-2. Which is smaller: x or 1?
x
Let t be 1/3*3/(-2). Let x(y) = -2*y - 12. Let s be x(0). Let o = 10 + s. Which is smaller: o or t?
o
Let s = -55/158 + 64849/1106. Let l = -58 + s. Is -0.5 less than or equal to l?
True
Let o(s) = s - 10. Let u be o(9). Let g be (-2)/12*(-3)/2. Is u > g?
False
Let k = 25 - 41. Which is greater: k or 0.1?
0.1
Suppose -3*h - 3*l - 60 = 0, -h = -2*h - 2*l - 16. Which is greater: -21 or h?
-21
Let r = -58 - -77. Which is bigger: 17 or r?
r
Suppose -c + 6 = 3. Suppose 0 = -c*d + 3*i - 9 - 0, 5*d - 2*i = 0. Suppose 0*k + d = k. Is 5/4 bigger than k?
False
Let o(g) = -7*g - g**2 - 2 + 1 - 6. Suppose 2*q - 3*q = 6. Let u be o(q). Which is greater: u or 1/3?
1/3
Let g = -12 + 11. Let v be (1/(-6))/(2/(-387)). Let w = 32 - v. Which is greater: w or g?
w
Suppose k + 0*k = 0. Suppose -3*t - 3 + k = 0. Let q = 107 - 537/5. Is t equal to q?
False
Suppose -4*m - 5*g = -0*m + 112, -5*g = 20. Is m greater than or equal to -22?
False
Let y = -3.4 - -1.4. Which is smaller: 3/5 or y?
y
Let s = -7 - -11. Let t = -10 - -15. Let x = t - s. Which is smaller: x or 1/5?
1/5
Let f be (2/12)/(2/(-8)). Let x(q) = 5*q**3 - 29*q**2 - 9*q + 18. Let u be x(6). Which is smaller: f or u?
f
Let v = 5 - 8. Let i = -1 - v. Suppose i*b + 4*p + 5 = p, p = -2*b - 3. Which is greater: b or -2?
b
Let l be -4 + 75/9 - 4. Let v = -0.01 + 0.31. Is v < l?
True
Suppose -5*o - 8 = -v, -20 = 5*o - 5*v - 0. Let d be (o - 6)*-1 + -1. Which is greater: 2 or d?
d
Let b = 65 - 64.8. Which is smaller: 1.5 or b?
b
Suppose -d + 118 = 3*q - 6*d, d = 4*q - 180. Which is greater: 45 or q?
q
Let f(j) = -j**2 + 9*j - 4. Let a be f(8). Suppose 0*k + 2*k - 4*n = -2, 0 = -4*k - a*n + 8. Which is bigger: -1/5 or k?
k
Suppose 25 = 5*t + 5. Which is smaller: t or 0?
0
Let z(u) = u - 6. Let l be z(6). Let x be (0 + l)*(-1)/2. Are x and -2/25 equal?
False
Let r(p) = 2*p - 34. Let g be r(11). Is 1/5 >= g?
True
Suppose -3*n + b = -2*n - 7, 2*n + b + 1 = 0. Which is greater: n or -29?
n
Let z(o) = -o**3 + o**2 + o + 3. Let c be z(0). Let i(d) = d**3 + 3*d**2 + d + 3. Let n be i(-3). Let s be (4 + n)/(c/(-3)). Are -4 and s non-equal?
False
Let y be (2 - 5 - -2)*5. Let p be y*(-1)/(