 = -2*q. Suppose -3*b + 1 = -4*l, -4*b - 4 = -2*l - q. Is b > 1?
False
Let y = -7.05 + 7. Let s = -0.05 + y. Which is smaller: s or 13?
s
Let l = 9 - 20. Let k = -5.84 + -0.16. Let c = l - k. Is -0.1 <= c?
False
Let x = -34 - -34.2. Which is smaller: x or 0?
0
Let i be 2/(-5) - 188/130. Let r = 231/104 + i. Which is smaller: r or 0?
0
Let l = 3 + 0. Let u(s) = -3 - 2*s - 1 + l*s + 5. Let p be u(-2). Which is smaller: -1/3 or p?
p
Suppose h + 33 + 45 = 0. Let i = 389/5 + h. Which is smaller: -0.1 or i?
i
Suppose 0*g - 8 = 4*g. Let f be (-3 + 7)/(g/1). Let n(s) = 3*s + 3. Let p be n(f). Is -4 less than or equal to p?
True
Let x be (2*(-7)/42)/((-2)/6). Let p = -82/15 - -17/3. Is p > x?
False
Let d(s) = s**3 + 2*s - 3. Let w(c) = c**2 - c + 1. Let u(f) = d(f) + 2*w(f). Let p be u(-1). Let z = 1 + -1/2. Is p > z?
False
Suppose -u - 6 - 4 = 2*f, -4*f - 3*u = 22. Let r be (-4)/(-6) - (-34)/(-6). Let g = f - r. Which is smaller: g or 2/7?
2/7
Let a = -10 + 15. Suppose a*g - 11 + 41 = 0. Suppose 0 = -2*f + 1 - 11. Which is smaller: f or g?
g
Let j = -26.8 - -27. Is j less than 2/41?
False
Let s = 3.008 + -0.008. Are 0.1 and s non-equal?
True
Suppose -2*k - 2*k = -60. Suppose -4*x - k - 5 = 0. Which is bigger: x or -4?
-4
Let a = 13 + -16. Let m be a/12 - 2/(-4). Let s = -2 + 2. Which is smaller: m or s?
s
Let j be (4/(-8))/((-6)/4). Which is bigger: 0 or j?
j
Let o = 52/11 - 282/55. Is -3 at most o?
True
Let u = 14 + -8. Suppose -3*q + 30 = -u*q. Let f be (9/(-105))/(2/q). Which is greater: -1 or f?
f
Let q be (30/(-9))/((-2)/5). Let c = q - 26/3. Which is smaller: -1 or c?
-1
Let z be (3 + 14/(-3))/((-2)/6). Do z and 35/6 have different values?
True
Suppose -2*x + 10 = -j, 4*j - 5*j - 4*x = -20. Which is greater: 3 or j?
3
Let w = -128.95 - -132. Let v = -3 + w. Let u = -0.15 + v. Is u > -3?
True
Let l(x) be the first derivative of -x**4/4 + 2*x**3 - 2*x**2 - 7*x - 3. Let q be 66/14 + 10/35. Let j be l(q). Is j != 0?
True
Suppose 4*x - 4*w = -3*w - 483, 105 = -x - 5*w. Let y be 4/6 + x/(-36). Suppose -2*u + 8 = 2*u + 4*l, 4*u - l = 13. Is y at most u?
False
Suppose 5*l = -269 - 6. Are l and -54 non-equal?
True
Suppose -2*g + 45 = 3*g. Let f = 139 - 131. Is f at most as big as g?
True
Let w = 1.2 - -7.8. Let h = w + -9.2. Which is smaller: 0.1 or h?
h
Let i = 291 + -7859/27. Are -1 and i unequal?
True
Let s(f) = f - 4*f**3 + 6*f**2 - 4*f**3 + 7*f**3 - 6. Let w be s(6). Which is bigger: w or -2/3?
w
Let u be 0/(-1 + 1 + 0 + -1). Is u at most 1/2?
True
Let v be 1 - (20/(-36) + 2). Let l be (3 - 3/1)/2. Is v greater than l?
False
Suppose 5*o - 20 = 5*k, 3*k = -2*o - k - 22. Let z be ((-9)/6)/(81/(-24)). Is z greater than or equal to o?
True
Let c be (-22)/(-12) - (-2)/12. Is c <= 2/3?
False
Let o be 3/(-22)*40/(-30). Suppose -3*a - 3 = -0. Which is smaller: o or a?
a
Let o be ((-9)/(-4))/(12/32). Let g be ((-2)/6)/(2/o). Are g and -7/4 non-equal?
True
Let v(u) = -u**2 + 6*u + 3. Let y be v(6). Suppose 0 = -5*q + 6*q - 3. Let t be (2 + (-16)/12)*q. Which is greater: t or y?
y
Let o(g) = g**3 - 5*g**2 + g - 4. Let t(u) = -5*u. Let n be t(-1). Let w be o(n). Let i = 587/5 + -117. Which is greater: w or i?
w
Let y be ((-25)/(-15))/((-12)/(-9)). Which is greater: y or 1?
y
Let p = -20 + 15. Are p and -0.3 unequal?
True
Suppose 0 = 4*p - 5*z + 62, 0 = -3*p - 4*z - 15 - 16. Is -14 less than or equal to p?
True
Let z(q) = 19*q**2 + 2*q - 2. Let v be z(1). Which is bigger: v or 16?
v
Let y(h) = 2*h**2 - 4*h + 1. Let m be y(3). Suppose -m*u = -2*u + 5. Let f = -0.2 + 3.2. Is f <= u?
False
Suppose -5*q - 3*c = -2, -2*q - 12 = -0*q - 2*c. Let w be 2 + -5*q/(-4). Let s(d) = -d + 3. Let n be s(4). Is n at least as big as w?
False
Let k = -6 - -5.9. Let m = 11.3 - 11. Which is smaller: m or k?
k
Let u = -1 - -1. Let h = 0.2 + u. Let d = h + -0.4. Is d < 0?
True
Suppose 8*b = 2*g + 3*b + 1, -3*g = 2*b - 8. Suppose g*d = -d. Let u be 2/5*(-3)/(-3). Is d < u?
True
Suppose 0 = -a - 2*a + u + 21, 5*a + 3*u - 49 = 0. Is a at most 5?
False
Let f = 0 - 0. Let c be ((-494)/65)/((-1)/25). Let q be 13/65 + (-58)/c. Which is greater: f or q?
f
Let w be (8/(-2))/((-55)/(-11)). Which is greater: w or -2?
w
Let b be 8/(-28) + 30/7. Suppose 3*w + w + b = 0. Let p be (0 - 1)*(-1 - w). Which is bigger: p or 1/2?
1/2
Let f(o) = o**3 - 14*o**2 + 12*o + 12. Let y be f(13). Is y at least 3/28?
False
Let z = 0.017 + -4.117. Let b = -4 - z. Let h = b + -0.2. Is 1 < h?
False
Let y = 13 - 6. Let b = y + -10. Let p = 2.8 + b. Which is greater: p or 0.1?
0.1
Let z be ((-1)/(-4))/(15/(-12)). Suppose 5*s = -14 + 4. Let m be (4/2 - 4)/s. Which is smaller: z or m?
z
Let n = 3/20 - -1/20. Let v = 12 - 20. Let k(f) = f**2 + 8*f. Let o be k(v). Which is greater: n or o?
n
Let c(w) = w - 7. Let s be 4/26 + (-4)/26. Let p be c(s). Does p = -5?
False
Let o(l) = -l + 1. Let q(j) = j**2 + 5*j - 1. Let x be q(-6). Let f be o(x). Suppose -6*y + 4*y - 4 = 0. Which is greater: y or f?
y
Let s be ((-210)/(-25))/(2/5). Let p = -28 + s. Is -6 at most as big as p?
False
Let l = 6.8 - 7. Is l at least -0.2?
True
Suppose -21 - 105 = 3*d. Let q(g) = g**3 + 4*g**2 + 4*g + 2. Let u be q(-2). Let y be u*1 - (-72)/d. Is y greater than or equal to 2/7?
True
Let v(g) = g**2 + 4*g + 4. Let k be v(-4). Suppose 2*a = 5*u - 1 + 7, -k*u = 2*a - 6. Which is greater: 4 or a?
4
Suppose -5*s + 7 = -4*w, 3*s - 8 = -s + 2*w. Suppose -4*a = s*n + 13, n = 4*a - n - 2. Let v be -1*(-135)/(-40) + 3. Is a > v?
False
Let m(d) = -d**3 - 4*d**2 + 3. Let w be m(-4). Suppose 3*s - w - 3 = 0. Suppose 5*c - s = 7*c. Is c less than or equal to 0.1?
True
Suppose -j = j - 16. Which is bigger: j or 25/3?
25/3
Suppose 0 = 4*v - 3*p - 6 + 1, -v + 30 = 5*p. Suppose v*a + 18 = 2*x, 4*a = -5*x - 22 + 1. Is a smaller than -3?
True
Suppose -5 = 8*g - 5. Is -3/8 at least g?
False
Let o be (-6)/10 + 99/110. Are 0 and o equal?
False
Let i be 4 + 34*(-3)/21. Are i and 0 nonequal?
True
Suppose -2*o - 5 - 3 = 0. Let l be 10/14 - o/14. Let r(t) = 27*t - 323. Let c be r(12). Is l equal to c?
True
Suppose -4*y - 18 + 46 = 0. Let v be (-12)/5*60/(-24). Let g = v - y. Is g greater than or equal to 1/5?
False
Let w(f) = -4*f + f + 2*f - 4. Let m be w(0). Is m greater than or equal to -5?
True
Let g = 77 + -83. Is g greater than or equal to -3?
False
Let j be (-5 - -5)/(4/2). Let b = j + 4. Suppose -q - 3 = b*h, -q + 5*h = 2*h - 4. Which is bigger: q or 2?
2
Let q(h) = 6*h - 1 - 6 - 4*h**2 - h**3 - 2*h. Let i = -18 - -13. Let b be q(i). Is -1 > b?
True
Let p be (-162)/(-56) - (1 + 2). Which is bigger: p or 0?
0
Suppose 4*d - 2 = 2*k, -2*k - 4*d = -6*k. Let q = -400 + 4396/11. Is k less than q?
False
Let w be (-3)/178*12/9. Is w greater than 1?
False
Let v = -171 - -171. Which is bigger: v or -1/96?
v
Let f(w) = -5*w - 8. Let j be f(-4). Let n = j - 5. Which is greater: 6 or n?
n
Let f(o) = o**2 + 5*o - 10. Let l be f(-7). Let m(u) = -u**3 - 10*u**2 - 9*u - 6. Let c be m(-9). Let g be 6 + c + (5 - 2). Do l and g have the same value?
False
Suppose 3*f + 12 = -3. Suppose -2*a - 3*u - 21 = -3*a, -2*a + 2*u + 26 = 0. Let k be 10/(-45) - 43/a. Is k less than or equal to f?
True
Let i(n) = -7*n + 7. Let h(j) = 11*j - 10. Let y(z) = 5*h(z) + 7*i(z). Let s be y(1). Is s not equal to 5?
False
Let v be 7/5 - (-8)/(-20). Is v less than or equal to -1/4?
False
Let c = -0.3 - -0.4. Is c at most as big as 12?
True
Suppose -2*h - 43 = -3*h. Let d = h + -130/3. Is d greater than -1?
True
Suppose n + 16 = 5*a, 0 = -a + 6 - 2. Suppose 0 = -d + 4, n*s + s - d + 4 = 0. Suppose s = 2*c - 2*y - 5 - 5, -3*y = -2*c + 13. Which is bigger: 1 or c?
c
Let i be 1 + 3 + -3 + -3. Is -5/4 less than i?
False
Let m = -355/13862 - -2/239. Which is smaller: m or 1?
m
Suppose 0 = 3*g - b - 5, -5*b = g + 9. Let l(c) = -20*c. Let i(s) = -7*s. Let f(q) = -17*i(q) + 6*l(q). Let p be f(-2). Which is smaller: p or g?
g
Let f be (-6 + 1)*(-2 + 1). Suppose f*z - 2*m = 3*m, 0 = z + 5*m - 24. Suppose 1 + 23 = z*w. Is w smaller than 5?
False
Suppose 4*s = -5*o + 5, 0 = -2*o + 4*o - s + 11. Is o > -2?
False
Let y = -1 + 2. Let t be -1 + (2 - -2 - 3). Let s = t + y. Which is smaller: s or -1?
-1
Let w = -99 + 94. Let m be 76/(-10) + (-4)/10. Do m and w have the same value?
False
Suppose y = -0*y + 38. Let v = 268/7 