alse
Let q(k) = 6*k - 3. Let p = -2 - 1. Let x be q(p). Let w be (x/(-4))/(-3) + 2. Which is smaller: w or 1?
w
Suppose -4*q + 4 = -c, -4*c + 0*q + 20 = 2*q. Suppose -j = 3*j - c. Let d be 0/2 + (-2)/(-7). Are j and d equal?
False
Let i(w) = w**3 + 8*w**2 - 9*w + 1. Let p be i(-9). Suppose -7*a + 2*a = 0. Let k be -4*(a + 3/(-54)). Do k and p have the same value?
False
Suppose 5*d = s - 17 - 17, -3*d = 15. Let k be s/(-4) + 10/20. Is 2/9 not equal to k?
True
Let s = -17 - -31. Which is bigger: -0.1 or s?
s
Let q be (-3)/(-6)*1/(-5). Let y = -0.3 + 0.3. Let n = y + 1. Is q smaller than n?
True
Let n(j) = j**3 + 9*j**2 + 7*j - 5. Let x be n(-8). Let m = x + -5. Let i be 4/16 + m/(-24). Which is smaller: i or -1?
-1
Let y(q) = -q**3 - 3*q**2 - 2*q - 1. Let w be y(-2). Let b be w/(-1) + (-2 - 0). Is -2/59 greater than b?
True
Let z(w) = -w. Let y be z(-4). Suppose 2*j - 2*t = 10, -2*j = y*t + 3 + 5. Let f be j/((-6)/(1 + 2)). Is f < -1?
False
Let j(r) = r**2 + 7*r + 4. Let n be j(-7). Suppose n*y - 34 = t, 0 = -4*y - t - 17 + 55. Which is smaller: -1 or y?
-1
Suppose 2*y + 50 = 7*y. Let b(m) = m**3 - 7*m**2 + 6*m + 12. Let a be b(6). Is y != a?
True
Let b = -2726/5 - -552. Which is smaller: b or 7?
b
Let j(b) = 3*b. Let o be j(1). Suppose -2*t - 2*t = -2*c - 14, 4*c + o*t - 27 = 0. Suppose 0 = 2*u - q, -c*u - 2*q - 2 = 5. Is 0.2 < u?
False
Let c(r) = -2*r**2 - 2*r + 1. Suppose -4*a - 6 = -5*w - 23, 0 = a - w - 3. Let o be c(a). Which is greater: 0 or o?
0
Suppose c + 1 + 5 = 0. Is 2/17 != c?
True
Let s(d) = -d**2 - 7*d + 17. Let t be s(-9). Are -2/93 and t non-equal?
True
Let i be -3 - -1*6/(-3). Let r = -1 - i. Suppose -4 = 2*z + r. Which is bigger: -2 or z?
-2
Suppose 0 = -2*p - 0*p + 3*d + 36, -4*p + 100 = d. Suppose 0*u - 4*u + 3*r = 4, p = 4*u + 4*r. Is u at most 3/5?
False
Let q(p) = -p**3 - 9*p**2 + 11*p - 6. Let x be q(-10). Which is greater: x or -15?
-15
Suppose -5*v + 2*w = 3*w - 25, 4*v + 4*w = 36. Which is bigger: v or 2?
v
Let u be (-8)/(-7)*(-5)/(-10). Are u and 0 equal?
False
Let c be 134*2/(-8) - 3. Let z = -35 - c. Which is greater: 2 or z?
2
Let x be -5 - -3 - (-482)/242. Which is smaller: x or 0?
x
Let q = 561 + -562. Let u = 2322/23 - 101. Do u and q have the same value?
False
Let q(h) = 4*h**2 - 2*h + 1. Let n(r) = 8*r**2 - 3*r + 1. Let y(z) = -3*n(z) + 7*q(z). Let o be y(7). Let a = o - 657/4. Which is bigger: a or 2?
2
Let z = 0.3 + -0.2. Let d = -6 + -3. Let a = d + 8.7. Do z and a have the same value?
False
Let m be 3/(-1)*(-5)/(-3). Suppose -6 - 7 = -q - 4*f, 0 = -2*q - 3*f + 16. Suppose q*v + 1 = -3*n - 11, 4*n + 5*v = -16. Is m greater than or equal to n?
False
Let h(n) = n + 11. Let x(r) = 3*r + 32. Let l(q) = -8*h(q) + 3*x(q). Let v be l(-4). Let f = v + -6. Are f and 0.2 equal?
False
Let m be (-1)/(-6)*(-8)/10. Let a(g) = -g**3 + 8*g**2 - 8. Let r be a(8). Let i be 3 - (0 - r)/2. Is i bigger than m?
False
Suppose -3*v = v - 4. Suppose 5*w - 3*a - 114 = 0, -2*w + 0*a = 4*a - 30. Let p be -2 + 3 + w/(-27). Which is greater: v or p?
v
Let u(f) = -f + 7. Let s be u(8). Let m = -25272/5 + 217018/45. Let x = m + 232. Which is smaller: s or x?
s
Let l = -7977/80 + 497/5. Is l at most 1?
True
Let d = 0.01 - 0.01. Let q = 0.13 + -0.13. Is d less than or equal to q?
True
Let h be 3/(-7) - (-1)/(-14). Is h smaller than 4.3?
True
Let g = 73/20 - 15/4. Let n = 3 - 3. Is n greater than or equal to g?
True
Let k(d) = d**3 - 5*d**2 + 4*d - 4. Let m be k(4). Let j be (-4)/(((-14)/m)/7). Let s = j + 9. Which is smaller: 3 or s?
s
Suppose 0 = -5*j - 4*g + 10, -7 - 1 = -j - 2*g. Let z be ((-18)/88)/((-180)/32 + 6). Is z < j?
False
Suppose -j - 13 = -3*n - 6, 2*j + 2*n = -6. Is j < 0?
True
Let u = 0.08 - 0.04. Let q = u - 0.24. Do -3 and q have different values?
True
Let l(d) be the second derivative of d**4/6 - d**3/3 - d**2/2 + 4*d. Let t be l(-1). Suppose -t*r + 12 = r. Is r bigger than 4?
False
Let g = 83/2 - 43. Is -0.11 less than g?
False
Suppose 7*a = 2*a - 10. Which is greater: 2 or a?
2
Let l(p) = p**3 - 3*p**2 - 4*p + 2. Let n be l(4). Suppose i = 5*v + 2 + 6, -n*v + 2*i - 8 = 0. Is v < -1/4?
True
Let r(w) = 6*w. Let q be r(3). Is q smaller than 18?
False
Suppose -4*g + 2*n = 6, -5*g - 2*n = 3*n - 30. Which is smaller: 7 or g?
g
Let d = 1226 - 6103/5. Is 6 greater than or equal to d?
True
Let o be (-4)/10 - 10/(-25). Suppose o = 4*x - 7*x - 3. Are 2/21 and x non-equal?
True
Let p = 465 - 4181/9. Are p and 3 non-equal?
True
Let j = -3 + -3. Let m be 1/6 + 1/j. Let x be -1 + m + -1 + 2. Is -1 > x?
False
Let b = 13 - 12.88. Let n = 0.22 - b. Let g = -24/5 + 5. Do g and n have different values?
True
Let s be 13/26*(0 + 4/106). Is 0.1 not equal to s?
True
Let w = -3 + 6. Suppose 2*t + 43 = a, -4*t - 33 = w*a + 58. Let l be (-4)/t - 34/66. Is 1 < l?
False
Let o(p) = p**3 - 7*p**2 - 8*p + 6. Let m be o(8). Let b be 6/(-4)*m/(-9). Let c be ((-1)/(-3))/(17/(-6)). Which is smaller: b or c?
c
Let k = 3657/17 + -215. Let b(p) = -p**3 + 3*p**2 - 3*p + 2. Let g be b(2). Which is smaller: g or k?
g
Suppose 9*w - 10 = 4*w. Let q be 0/(w - (0 - -1)). Let z = -2 + q. Which is greater: z or -4?
z
Let u = 238 + -2144/9. Suppose -3*x - 16 = -x - 4*b, -4*x + 3*b - 12 = 0. Is x > u?
True
Let v = -80 + 1362/17. Let w(k) = -k**2 + 8*k + 11. Let j be w(9). Let i be (0 + 6)*j/12. Which is smaller: v or i?
v
Suppose 0 + 5 = 3*b - 4*d, 5*d = 5*b - 5. Let y be 4/(-10) - 2/(-5). Do b and y have the same value?
False
Let j be (-354)/183 - 2 - -4. Let k = j + 78/671. Let f(l) = l + 7. Let p be f(-6). Is k > p?
False
Let s = -3.6 - -3.6. Are s and 0.03 equal?
False
Suppose n = -3*n - 8. Let f(v) = v**3 + 7*v + 5 - 5*v + 8*v**2 + 6*v. Let x be f(-7). Is x at least n?
True
Let p = 0 - 6. Let c be 3/(-1) - 0 - -7. Let i be (c/p)/((-4)/(-6)). Which is greater: i or -2?
i
Let a = 0.3 - -0.2. Let u = 4.5 + a. Let r = -5.1 + u. Is r < 0?
True
Let k = 18 - 10. Let c be (-66)/14 + k/(-28). Let z = c + 5. Are -4/9 and z equal?
False
Suppose 4*r - 3*u - 39 = 0, -5 - 3 = -3*r - 2*u. Let n be (1 + r/(-9))*39. Is 12 less than n?
True
Suppose -7 = -5*b + 23. Let x(s) = -s**2 + 5*s + 6. Let c be x(b). Which is smaller: -1 or c?
-1
Let c(a) = a**2 + 5*a - 8. Let p be c(-5). Let g be p/6 + (-4)/6. Which is smaller: 1 or g?
g
Suppose 6*q - 6 = 3*q. Let p be (q/4)/((-1)/(-10)). Let m be 3/(-6)*4/p. Is m < -1?
False
Suppose 2*h - 3*r = 34, -3*h = 3*r + 2*r - 51. Do 17 and h have the same value?
True
Let b = -12 + 13. Which is greater: b or 2/9?
b
Let y = 6 + 10. Is y smaller than 15?
False
Suppose -11 + 8 = -i. Is 6 smaller than i?
False
Suppose -3*u + m = -1, -3 = 2*u + m + 3. Let w(l) = 4*l + 1. Let q be w(-1). Which is bigger: q or u?
u
Suppose -3*f = -9, 81 = 4*z + f - 18. Is z greater than or equal to 25?
False
Let f be ((-90)/(-2 - 1))/1. Suppose -2*j - y = 20, 4*j - j + f = 4*y. Let g = -7 - j. Is g <= 4?
True
Let m(c) = -c**3 - 4*c**2 + 7*c + 9. Let f be m(-5). Which is greater: f or 3/28?
3/28
Suppose -2*i = -3*c + 3, -5*c - 2*i + 3*i = -12. Suppose -4*y - q = 7, 2*y - 4*q - 7 = -c*y. Is y not equal to 2/25?
True
Let k = -9 - -2. Let p(n) = -n**2 - 8*n - 3. Let v be p(k). Do 4 and v have different values?
False
Let g = 0.1 - 0.2. Which is greater: g or -0.4?
g
Let x = -992/3 - -328. Is -0.1 < x?
False
Let n = -0.02 - 0.08. Which is smaller: 6 or n?
n
Suppose -25 = -2*k - 3*k. Let p be (-39)/45 + 1/k. Which is bigger: -2 or p?
p
Let k = -26.4 + 1.4. Let p = k - -24. Which is smaller: p or -13?
-13
Let f = -700 + 713. Let w be 1*12/(-10)*-10. Is w at most f?
True
Let k(y) = -y**2 + 12*y + 15. Let g be k(14). Let z = -13 - g. Are z and -7/6 nonequal?
True
Let r be 16/(-28)*7/(-2). Which is smaller: r or 13/5?
r
Let g = 2 + -3. Which is smaller: g or 2/5?
g
Let n(k) = -k**3 + 2*k + 1. Let g be n(-1). Suppose -35 = 5*u + 4*t, g*u - 4*t = -u + 17. Is -3 less than u?
False
Let k = -2 - -7. Suppose 21 = -k*a + 2*a. Which is greater: a or -6?
-6
Let w be (-430)/(-15)*(-3)/2. Let j be w/(-30) + (-6)/10. Is 0 smaller than j?
True
Let d(x) = x**2 + 7*x - 5. Let n be d(-8). Suppose 4*p = n*p + 6. Suppose 0 = 9*b - p*b. Which is greater: 1 or b?
1
Let v = -0.132 + 0.032. Let w be 1 + ((-9)/2)/3. Is w equal to v?
False
Suppose -2*c + 7 - 1 = 4*a, -3*c = 4*a + 1. Let l(m) = -m**3 - 