-8 - -11. Suppose -27 = 4*w + k*i, 3*i + 14 = 2*w - i. Are a and w unequal?
True
Suppose g = 2*g + 8. Let q = g - -14. Let m be (10/4)/(3/q). Which is smaller: 4 or m?
4
Let r = 23 - 24. Is 1 > r?
True
Let t be (0/(0 + 2))/(-1). Let c = -2164/93 + 70/3. Is t >= c?
False
Let f = 95 - 67. Let q = -194/7 + f. Let v be (3/9)/(2/3). Which is smaller: v or q?
q
Let g = 2/373 - -317/10444. Is 0 less than g?
True
Let z be (-1 - -2)/(1/(-7)). Let w be 1/(-4) + z/(-4). Let q = -121 + 120. Is w bigger than q?
True
Let s(w) = 8*w + 3. Let g be s(-2). Let o = g + 12. Let k be 1 + 0 + 1 - 1. Which is bigger: o or k?
k
Let q be (-2)/(-7) + 2/(-7). Let r(k) = -k - 2. Let c be r(-3). Is c != q?
True
Suppose p + 0 = 5*w + 5, 0 = 5*w - 4*p + 20. Let j = 7 + -14. Let o = 6 + j. Which is smaller: o or w?
o
Let h be -2*(-3)/14*-1. Let v(g) = -g**2 - 8*g - 1. Suppose -3*o - n - 8 = 3*n, n + 12 = -2*o. Let f be v(o). Which is bigger: f or h?
h
Let q be 2/(-11) + ((-530)/(-11))/1. Is q at least as big as 48?
True
Let y = -285 - -260.8. Let i = 22 + y. Let g = i + -0.8. Are -1/3 and g unequal?
True
Let p = 7 - 7. Suppose 3 = -p*a - 3*a. Let x(t) = -3*t**3 + 1. Let z be x(a). Are z and 4 equal?
True
Suppose 0 = 5*i - z - 16, -5*i + 11 = 3*z + z. Suppose 3*w = -i*q - 2*w - 19, -9 = -2*q + w. Let r(d) = d**2 - 3*d + 2. Let l be r(q). Is 0 not equal to l?
False
Let u be (-3 + 49)*-3 + 0. Let w be 2102/15 + (2 - 4). Let d = u + w. Are 0 and d equal?
False
Suppose -3 = -5*x + 2*l, -3*l = -5*l - 8. Suppose -w - 4*q = 11, -4*w - q = -0*q - 1. Let r be (3/(-4))/(w/2). Which is greater: x or r?
x
Let b be (-14)/(-6)*4/7. Let v(q) = 25*q - 73. Let r be v(3). Which is smaller: r or b?
b
Let u = -1245 + 1251.01. Let c = u + -0.01. Let b = -4 + c. Which is smaller: 0.1 or b?
0.1
Let c = -10 + 11. Which is smaller: c or -2/7?
-2/7
Let q be 1/(-2 - 10/(-2)). Is q less than or equal to -0.1?
False
Let f = 4 + -2. Suppose 0 = -n + f*y, 4*n + 4*y - 24 = -0*y. Are 4 and n unequal?
False
Let m(r) = -2*r - 12. Let a(w) = -4. Let s(q) = -1. Let z(v) = a(v) - 5*s(v). Let k(c) = m(c) + 5*z(c). Let o be k(-5). Is o greater than 5/3?
True
Let c = 6.93 + 0.07. Let d = 6.9 - c. Is d less than 1?
True
Let x be 106/18 + 6/54. Is 27/4 >= x?
True
Let k = -25/14 - -9/7. Which is smaller: -2 or k?
-2
Suppose 3*f - 5 = 10. Suppose -3 - 12 = f*p. Which is smaller: p or -2?
p
Let p = -746 - -2963/4. Which is smaller: -0.1 or p?
p
Let l = -33 + 36. Which is smaller: 5 or l?
l
Let a be (-382)/(-4) - 3/6. Suppose -f + a = 5*r + 2, -2*f - 66 = -4*r. Let l be (12/r)/(2/3). Is l at most as big as 1?
True
Let x = 167 + -2503/15. Which is greater: 0 or x?
x
Let d = -79/3000 - 54/125. Let m = d - -1/8. Which is smaller: -7 or m?
-7
Let z be 137/85 - (-2)/(-10). Let u be 402/(-34)*8/(-84). Let y = u - z. Is -0.1 less than y?
False
Let h = 10 + -5. Suppose 3*g + i + 28 = 3*i, -h*g = -2*i + 40. Which is greater: -5 or g?
-5
Let y = 3 - 4. Let d be y*(66/(-3) - -1). Let t be ((-2)/d)/(9/(-21)). Which is smaller: t or -1?
-1
Let y = 161/48 - 19/6. Which is smaller: y or 0.06?
0.06
Let h be (1*-1)/(1/1). Let b = -11 - -11. Is b less than h?
False
Let m = 114 - 151. Which is bigger: -1 or m?
-1
Suppose 4*u - u = -u. Is u < -1/48?
False
Let l = 0.37 - 0.07. Let x = 0.3 - l. Let m = -0.1 - x. Which is smaller: m or -0.2?
-0.2
Let i = -1 + 0. Suppose -o = 3 - 2. Are i and o non-equal?
False
Let f be 2/(-3) - (-2)/6. Is 2/7 < f?
False
Let c = -1.79 - 0.21. Let v(z) = -z - 7. Let r be v(-6). Are r and c equal?
False
Let r be (-3)/(-6) + 15/6. Which is smaller: r or 2?
2
Let w = -29/11 + 2037/781. Is -1 <= w?
True
Let i = -1307/7 + 187. Which is smaller: 23 or i?
i
Let u = 2 + -3. Suppose -d + 0*k + 2*k + 9 = 0, 0 = -4*k - 20. Is d < u?
False
Let w(k) = k**3 + 5*k**2 + 5*k + 1. Let i be w(-4). Let m be 2/i + (2 - 2). Which is bigger: 0 or m?
0
Let j be 18/(-12)*-2 - -45. Do 46 and j have the same value?
False
Let m = -12 - -13. Is m smaller than 1/54?
False
Let c = 145 + -1883/13. Which is smaller: c or 0.1?
0.1
Suppose -4*d + 3 = 5*l + 27, -3*d = -3*l - 9. Let c(q) = -q**2 + q + 1. Let g be c(d). Is g bigger than -3?
True
Suppose 4*u = 7 - 15. Let l = 0.3 - 0.6. Let p = l + -2.7. Is p less than or equal to u?
True
Let j = 32120653/56734275 - 1/174567. Let r = 18/25 - j. Which is greater: -1 or r?
r
Let g = -18/17 + 325/34. Which is smaller: g or 9?
g
Suppose -14 = -b - b + 3*s, 2*b = -4*s. Let c = b + -6. Are c and 0 nonequal?
True
Let q be (-1)/((-3)/(-3))*-1. Let p be ((-4)/10)/((-18)/10). Which is bigger: p or q?
q
Let v(i) = i + 4. Let y be v(-9). Let u = 3 + 2. Suppose -4*h - u = 11. Is y at most h?
True
Let b = -77 - -259. Let y = b - 913/5. Which is smaller: 0 or y?
y
Suppose 0*g + 2*g = 0. Let b = 7 - 4. Suppose -b = -0*q + 3*q. Are q and g equal?
False
Let p = -5 + 3. Let r = p - -1.9. Let z = 1.4 - 0.4. Which is smaller: r or z?
r
Let d = -4 + -41. Let q = -137/3 - d. Is 1 at least q?
True
Suppose 0 = -8*c + 3*c - 30. Let u be (-3)/9 - 4/c. Is u <= 0?
False
Suppose -4*r + a = 3*a - 30, 30 = 3*r + 4*a. Let f be 4/r - (-58)/(-78). Which is greater: f or 0?
0
Let s = 9 + -13. Let o = 5 - 6. Let r be o + 1 - s/(-10). Which is greater: r or -1?
r
Suppose 5*g + 9 = -4*b - 0*b, -4*b = -2*g + 2. Which is smaller: g or -2?
-2
Let m = 22 - 28. Is -6 != m?
False
Let n(f) = 5*f**2 + f. Let d be n(1). Let r = d - 6. Which is bigger: 1 or r?
1
Let s(p) = p**2 - 5*p - 4. Let v be s(6). Suppose -7*o = -v*o. Suppose -2*i - 18 = -5*m + 5, -4*i = -2*m + 6. Which is smaller: o or i?
o
Let g be 9/(-36)*(-24)/(-183). Which is smaller: 0 or g?
g
Let k = -12 - -12. Suppose k = 2*m - 4*m. Is m >= -3?
True
Let g(w) = w**2 - 4*w - 1. Let m be g(4). Let q = 57/328 + -2/41. Which is smaller: m or q?
m
Let s(f) = -f + 12. Let g be s(7). Is 4 at least as big as g?
False
Let y be (460/15)/2*3/7. Is 7 at least as big as y?
True
Let z be (-1)/(-23)*(-1 + 3). Let s(m) = m**2 + 6*m - 7. Let f be s(-7). Which is greater: z or f?
z
Suppose 5*t - 14 = x, 0 = 3*x - 3*t - 2*t + 12. Is -1 > x?
False
Let f(n) = 2*n**3 + 3 + 0*n + n - n**3. Let g be f(0). Suppose g = 5*q - 0*q - 2*s, -s = -4*q + 3. Which is bigger: q or 0?
q
Let q = 54 - 54. Suppose -3*j = -7 - 8. Which is bigger: j or q?
j
Let c = 3 - 4. Let p be (2/(-6))/(c/3). Which is smaller: p or 2?
p
Let k = 117 + -117. Are -4/19 and k non-equal?
True
Let h = 1.68 - 1.68. Does -0.06 = h?
False
Let k = 47 + -82. Is -36 less than or equal to k?
True
Let p = 2 + -10. Let k = -6 - p. Which is greater: -0.1 or k?
k
Let v = -8 - -9. Which is greater: 1/27 or v?
v
Let a = 253 - 115. Let y be ((-2)/((-8)/a))/(-2). Let z = y + 137/8. Which is bigger: 1 or z?
1
Let j be (-3)/(-17)*6/(-9). Is -1 at most j?
True
Let v = -4 - -2.6. Let d = v + 0.4. Let i = -0.2 - -0.3. Which is smaller: d or i?
d
Let q be -1 - (0 - (0 + 0)). Let n(g) = -9*g**2 - g. Let u be n(-4). Let p be u/1035 - (-2)/9. Is q bigger than p?
False
Let b(q) = 18*q + 7. Let m be b(-1). Which is bigger: m or -35/3?
m
Suppose -6 = -3*a + 2*a. Which is smaller: a or 13?
a
Let o(a) be the second derivative of -a**5/20 + 7*a**4/12 - a**3 + a**2 - 3*a. Let c be o(6). Let p = c + 0. Which is bigger: 3 or p?
3
Suppose 12*f - 13*f = 0. Are -1/7 and f nonequal?
True
Let w(s) = s**2 + 5. Let j be w(4). Let v be ((-9)/j)/(9/(-6)). Which is smaller: v or -6?
-6
Let x be 4*(-3 - 5/(-2)). Let n = 2 - x. Suppose -u = 5*r + n + 7, r - u + 1 = 0. Are -2 and r equal?
True
Suppose 0 = -5*l - 0*l. Let u(n) = 2*n - 1. Suppose -5*s + 4 = -1. Let d be u(s). Is l bigger than d?
False
Let k = -0.4 + 0.6. Let h = 14 + -17. Which is bigger: k or h?
k
Let q be ((-6)/(-3))/1 - 17. Is q bigger than -15?
False
Let a be 2/(-5) - 154356/(-385895). Let r = -55952941/353865715 + a. Let j = r + 2/131. Is -1 smaller than j?
True
Let r(u) = u**3 - 4*u**2 - 8*u + 9. Suppose -18 = j - 4*j + 2*d, -j - d + 6 = 0. Let q be r(j). Let s be 3 - (-3 - (-204)/q). Are -1 and s nonequal?
True
Let b be (-1 - 7) + (-10 - -7). Is b at least as big as -10?
False
Suppose a = -o + 4*a - 11, -8 = 4*o - 3*a. Is 1/10 > o?
False
Suppose -22 = 3*v + 2*a + 3*a, v - 26 = 5*a. Which is greater: v or -6?
v
Let m = 9 - 15. Which is smaller: m or -2?
m
Let d = 35 - 16. Does 19 = d?
True
Let q = 0 - 2. Let r = -9