- 17 = 2*j - m, -j = 3*m - 1. Let v = j - z. Is v greater than or equal to 2?
False
Let l = -43 - -42. Is 1/19 greater than l?
True
Let i be 3*34/24 + 0. Let m = -93/20 + i. Which is smaller: -3 or m?
-3
Let i be -6 + (-13)/(-9) + 5. Let j be (-4)/(-15) - 2/3. Is j not equal to i?
True
Suppose -5*i - 65 = -5*p, -10 = 5*i + 15. Which is greater: 9 or p?
9
Let p = -4 + 2. Let r = p + 3. Which is greater: r or -0.3?
r
Let j(y) be the third derivative of -y**6/120 + y**5/60 - y**4/24 - 13*y**3/6 - 2*y**2. Let a be j(0). Which is bigger: -14 or a?
a
Let n be -2 - (-161)/110 - -1. Let t = n - -2/55. Which is bigger: t or 1?
1
Let k = -0.014 - 0.986. Which is greater: k or 4?
4
Let v = 0 - 1. Let g be -1 - (0 - v)*-1. Let n be (-1)/(-4) + 21/(-36). Which is greater: n or g?
g
Let r be (-2)/(-14)*6034/(-1128). Let d = -2/141 - r. Are d and 2 non-equal?
True
Let z be (18/12)/((-6)/(-44)). Which is greater: z or 10?
z
Let o be (-3)/20 + (-2)/8. Let q be -1 - (-1 - 6/(-15)). Is q at most o?
True
Let a be 2/4 - 206/444. Let s = 8166392944/1221 - 6688282. Let w = s + a. Which is bigger: 0 or w?
w
Let r be 3/(-4) - 15/(-4). Suppose -w = -r*w + 16. Let k be 1/1 + (-10)/w. Is k less than -1?
False
Let r(v) = 2*v - 6. Let s be r(4). Suppose -u = -2*w - 3, -3*u + 4*u = -w - 3. Let z be (w/(-20) - 0)*6. Which is smaller: s or z?
z
Let x be (2/(-1))/(14/3). Suppose -6 = j - 4*j. Suppose 0 = j*d + d + 3*s, -3*d - 5*s = 0. Which is smaller: d or x?
x
Suppose -g = 4*o - 5, -4*g - 2*o = -o + 10. Let t = -7 - -6. Let i(l) = 3*l**3 - l. Let f be i(t). Which is smaller: g or f?
g
Let x = -0.03 + -0.37. Let s = 0.27 - -0.03. Let i = s + x. Which is smaller: -1 or i?
-1
Let l(d) = -5*d + 8. Let a(t) = 6*t - 8. Let r(b) = 4*a(b) + 5*l(b). Let s be r(6). Let i be s - (22/5 + -2). Is 4 at least as big as i?
True
Suppose -x + 0*x + 2*o - 7 = 0, 2*x - 2*o = -6. Let p(g) = -2*g**2 - g - 3. Let y be p(0). Let t be y/9*(-9)/15. Which is greater: t or x?
x
Let t be (-7 - 0) + 4 - 2/(-1). Which is bigger: t or -4/15?
-4/15
Let b be 24/(-100)*5/2. Let k = 5 + -7. Is k >= b?
False
Let z be 2/(-19 + 1 + 1). Let u(i) = -4*i - 57. Let o be u(-14). Do z and o have the same value?
False
Let p = 0 - 8. Let t = -0.04 + 6.04. Let g = p + t. Which is smaller: g or 0.1?
g
Suppose -5*g = -16 - 14. Let n = 1 - -7. Let i = -2 + n. Is i at most g?
True
Suppose -5*z + 4*h - 11 = 9, 2*z + 2*h - 10 = 0. Are 1/32 and z unequal?
True
Let q(p) = -p - 5. Let x be q(-2). Let v be x/6*1*2. Which is smaller: -2 or v?
-2
Let h be 0 - (48/(-14) + (-12)/(-4)). Which is smaller: h or -10/9?
-10/9
Suppose 0 = -o + 5*r - 23, -4*o + r = -2*r + 109. Which is bigger: -29 or o?
o
Let u(q) = q + 7. Let z be u(-5). Let p(f) = -f**z + 4*f**3 - f**3 + f - f**3. Let v be p(1). Is v greater than 1?
True
Suppose 3*s = 7*s - 5*z + 236, 0 = -3*s + 3*z - 177. Are -59 and s unequal?
False
Let b = -1 - 3. Do b and 3 have the same value?
False
Let s be 5*(-1 - 7/(-5)). Suppose v - s = -0. Let j be 1 + (-3*v)/3. Is j <= 0?
True
Let s = -57 - -50. Which is smaller: -1 or s?
s
Let i be (-6)/15*2/4. Which is greater: -1 or i?
i
Suppose 4*h + 3*p - 9 = 0, -3*h + 0*p = 3*p - 6. Suppose -u - 2*u + 73 = 5*k, h = 3*u. Is k not equal to 14?
False
Let j(x) = x**2 + 7*x - 16. Let s be j(-9). Let t = -3 - -8. Is s greater than t?
False
Let m be 33/9 - (-3)/(-1). Let r(s) = -s**2 - 5*s. Let y be r(-4). Suppose 0 = 5*j - y*d + 10, -d - 11 = -3*j - 2*d. Which is smaller: j or m?
m
Suppose 0 = -2*d - 0*d - 36. Is -17 < d?
False
Let x = 5 + -4. Suppose 3*v + 4*j = 2*v + 18, v - 5*j + 9 = 0. Suppose -u - 5*l + 5 = -v*u, 0 = 3*u - 4*l + x. Which is greater: -1/2 or u?
-1/2
Let z = -454 - -92. Let r be (1/z)/(1/(-4)). Let d = r + -372/905. Is d at least 0?
False
Suppose -f - p + 4 = 0, 4*f - 8 = -0*p - 2*p. Let m be (-12)/(-8)*(-2 + 0). Let n be 1/m - (-20)/(-30). Which is smaller: n or f?
n
Let w = -20 - -26. Which is bigger: 0.1 or w?
w
Suppose -c - 8 = 3*c. Let m = c - -1. Let x be (-74)/60 + 2/5. Is m greater than x?
False
Let k be ((-753)/(-6) + -7)*(-4)/6. Is k at most -79?
True
Let v = -2 + 2. Suppose 0*u - 28 = 14*u. Which is greater: u or v?
v
Let j(p) = p**3 - 5*p**2 + 4*p - 4. Let f be j(4). Is f <= -4?
True
Let m(q) = q**2 - 10*q + 1. Let a be m(10). Which is greater: a or 14?
14
Suppose -2*p + 68 = 3*f, 2*p - 112 = f - 6*f. Let a = f - 15. Suppose 3*r + 3*l = -2 - 1, 4*r + 5*l + a = 0. Which is smaller: r or 1?
1
Let w(c) = c**2 - 2*c + 6. Let j be w(3). Is j > 14?
False
Suppose 0 = 4*d - 4. Is d less than 2/7?
False
Suppose 2*c + v = 2 - 24, 2*c - 2 = 5*v. Is c bigger than -2?
False
Let j(v) = -v**3 - 3*v**2 + 3*v - 3. Suppose 0 = -2*f + 8. Let c = 0 - f. Let s be j(c). Is s < 2?
True
Let a = 30 - 59/2. Let j be ((-2)/(-1) - 14/6)*1. Is j <= a?
True
Let j = 2.5 + -2.4. Let w be 3/(-6) - 2/(-20). Which is greater: w or j?
j
Suppose -25*g = -29*g - 32. Let w be 1*2/g*-1. Which is smaller: w or -13?
-13
Suppose -3*c + 453 = -5*w, 0*c = -4*w + c - 368. Let n = w + 275/3. Suppose -4*p + 0*p = 8. Which is smaller: p or n?
p
Let m(z) be the first derivative of z**4/4 + 7*z**3/3 - 5*z**2 - 11*z + 1. Let v be m(-8). Suppose 0 = -5*p + v. Is 0 greater than or equal to p?
False
Let m(g) = -g + 4. Let a be m(7). Let v(r) be the second derivative of r**5/20 + r**4/6 + r**3/6 + 2*r**2 - 4*r. Let u be v(a). Are -7 and u non-equal?
True
Let z(x) = -x - 4. Let a(c) = -c**3 - 5*c**2 - 3*c + 4. Let f(w) = -w - 10. Let o be f(-7). Let d be a(o). Let h be z(d). Is h less than or equal to -2?
False
Suppose g = -5 + 6. Is -1/15 less than g?
True
Suppose 7 = 4*k - 13. Let a(u) = -u**2 + 6*u - 4. Let z be a(k). Which is bigger: z or -1/4?
z
Let z = 72 - 41. Let d = z - 125/4. Which is bigger: -2 or d?
d
Let u(v) = -5*v**3 - v**2. Let f be u(-2). Let t = f - -18. Let d be t/(-60) + (-2)/(-5). Do -2 and d have different values?
True
Let v = 0.1 - 0.3. Let u = -1480 - -10424/7. Let t = u - 178/21. Is t smaller than v?
False
Let v(d) be the first derivative of d**3/3 + 5*d**2 - 13*d - 3. Let m be v(-11). Do -2 and m have the same value?
True
Let r = 20 - 45. Is r not equal to 1?
True
Let z(p) be the second derivative of p**5/20 - p**4/4 - p**3/3 - 5*p**2/2 + p. Let i be z(4). Let x = 5 - i. Is 2 less than x?
False
Let h = -22 - -45. Let x = h + -24. Does x = -5/3?
False
Let f(a) = 2*a - 8. Let t be f(8). Suppose -g + 6 = b + 5, -2*g + b = -t. Suppose -g*h - 2*h + 7 = c, 4*h + 6 = 5*c. Does h = 2?
False
Let m(z) = z**3 - 4*z**2 - 6*z + 7. Let l be m(5). Let x(p) = -5*p**2 + 20*p + 4. Let b be x(4). Does b = l?
False
Let t be -10 - ((4 - 8) + 6). Which is greater: -10 or t?
-10
Let w = -156 - -82. Is w not equal to -75?
True
Let c = -1535/711 + -84/79. Which is greater: c or -3?
-3
Let h be -5 + 6*2/4. Let v be (-124)/(-24) - h/(-12). Is v at least 4?
True
Let q = -11 - -15. Suppose 3*p - l - 2 = 0, -7 = -4*p + l - q*l. Suppose -5*x = 5*r + 10, 2*r - p = -x - 3. Is r >= -1/3?
True
Suppose -x = -3*x - 8. Let z be (-2)/2*(1 + x). Suppose -4 = y, z*p - p - 14 = 5*y. Are p and -3 equal?
True
Suppose 21 - 3 = 4*f + o, -o + 8 = 2*f. Suppose -4*m = -f*m + 10. Suppose -4*k + m = 3*w + k, 5*w = -5*k + 10. Which is smaller: 3 or w?
w
Let l be (-14)/(-3) - 6/(-18). Suppose -43 = -l*q - 0*j + j, q + j - 5 = 0. Suppose -2*r - 5*i = -21, 3*r - 17 = -2*i + 9. Is q at most as big as r?
True
Suppose 3*d + 12 = -o, o = -o + d + 4. Let g be -1 + o + (-1)/1. Which is greater: g or -1/2?
-1/2
Let t = 4 - 8. Suppose 5*w - 20 = 5*q + 5, 0 = 4*w + 2*q - 8. Let o = w + t. Is -1/3 != o?
True
Let q = 4 + -1. Let l be (q - 0)/(19 - 12). Which is bigger: l or 1?
1
Suppose -13*b - 7 = 955. Is -73 < b?
False
Let z be 107/540 + 2/8. Let j = 1427/27 + -53. Let f = j + z. Which is greater: f or 0.1?
f
Suppose 0*g - 4*n = 3*g - 12, -15 = -2*g - 5*n. Let s be 75/114 - 4/8. Which is smaller: g or s?
g
Let s be ((-3)/(-8))/((-6)/(-4)). Let u = -2.2 + 4.8. Let b = 2.7 - u. Is s at most b?
False
Suppose v + 6 = h, -4*h - 2*v = 3*v - 15. Suppose o - 6 = 5*j - j, -3*o - 16 = h*j. Is j at least as big as -2/3?
False
Let h = 81 - 245/3. Let u = 2 - 0. Suppose u = -r - r. Is r bigger than h?
False
Let u = -125 - -134. Let r be (-9)/(-3)*10/3. Is u >= r?
False
Let h = 220.3 + -208. Let d = h + -13. Let g = 