 2*i = -4*v + 22, 0 = 4*v - 5*i - 26. Are 10 and v nonequal?
True
Let z = -739/483 - -7/69. Is z less than -2?
False
Let c be 4/(-26)*118/(-24). Let y = c + -12/13. Let w = 33/2 + -17. Is w bigger than y?
False
Let t = -40/7 + 193/35. Suppose 0 = -3*f - 2*f. Which is smaller: f or t?
t
Suppose -u + 5 = 4*u. Suppose 2*l - 4*l - 4*k = -16, l - 32 = 4*k. Let b = l - 31/2. Is u <= b?
False
Let p = 10 - 19. Let w be (p/150)/((-24)/(-310)). Let i = w + 2/5. Are i and -1 nonequal?
True
Let t = -7511/2885 + 2/577. Which is smaller: t or -4?
-4
Let d = -53 - -55. Which is bigger: 13 or d?
13
Let c = 31 - -28. Suppose 3*d - x - c = 0, -2*x - 39 - 39 = -4*d. Let l be ((-3)/4)/(5/d). Which is greater: -2 or l?
-2
Suppose -b - 4*b = 4*l + 27, -29 = 4*l + 3*b. Is -9 smaller than l?
True
Suppose -3*s + 6*s - 18 = 0. Let c be -3*1*2/s. Let v be (-3)/9*0*c. Is v at most 2/3?
True
Let h = 11 + -7. Is 6 smaller than h?
False
Suppose -2*k + k - 2 = 0. Let d be 3/(-15)*(-2)/k. Let a = 28 + -82/3. Which is smaller: a or d?
d
Let h = 7 + -6. Is 1 >= h?
True
Let s = -1086 + 18468/17. Which is smaller: -1 or s?
-1
Suppose -5*n + 15 = -2*n. Suppose 4*h = -5*j + 6 - 1, 4*h + 20 = 0. Is n equal to j?
True
Let q be (-7)/(28/(-16)) - 0. Let s be 32/8 - 1*q. Let c = 2 - 6. Is c < s?
True
Let q be (-8 + 0)/((-2)/136). Let d = -7613/14 + q. Let h = d - 13/28. Is h smaller than -1?
False
Suppose -5*m + 9 = 4*p, -2*m = -3*m + 3*p + 17. Let d = -0.074 - 0.126. Is d != m?
True
Let t be -1*(-1 + -1) - (49 - 41). Let v = -24 - -17. Is t != v?
True
Suppose -5*z + 3 = 8. Suppose -3*m = -3*c - 1 + 16, -5*c - 3*m + 1 = 0. Suppose c*f - f - 2*y - 3 = 0, 0 = -2*y - 4. Is f smaller than z?
False
Let s(v) = v**3 + v**2 + v + 8. Let c be s(0). Let a be (c/3)/(6/9). Which is greater: a or 3?
a
Let f = -6 - -1. Are f and 0 unequal?
True
Let j = -1 + 0. Let g be -6*(436/9)/4. Let i = 72 + g. Which is smaller: i or j?
j
Let y(m) = m**3 + 42*m**2 + 2*m + 85. Let j be y(-42). Let g = 6/5 + -1. Is j less than g?
False
Let o(p) = -6*p - 19. Let b be o(-8). Let m = 0 - 0. Suppose -2*f = -5*y + 23, 5*y - b = -4*f - m*y. Are 0 and f equal?
False
Let k = -111/5 - -67/3. Which is bigger: k or 0?
k
Let v = -52 + 63. Which is bigger: 13 or v?
13
Let t be (-6942)/35 + 15/105. Let q = -197 - t. Are 2 and q unequal?
True
Let i = -0.5 - -0.5. Let z = -0.1 - -0.3. Let k = i + z. Which is bigger: k or -2?
k
Let s(w) = 3*w - 1. Let p be s(1). Suppose 0 = -5*g - 0*g - 280. Let r be (-22)/(-42) + (-8)/g. Is p greater than r?
True
Let x be 12/(-78) + 498/26. Is 19 smaller than x?
False
Let j be -2*3/6*-1. Let a be -2 + 1 - (j + -2). Suppose a = -6*m + m - 15. Which is bigger: m or -2?
-2
Let x(y) = -4*y**3 - y. Let u be x(-1). Suppose u = j + 4*z, 0 = -j + 4*j - 3*z. Is -1/7 at most as big as j?
True
Let m = 46 + -47. Which is greater: -9/17 or m?
-9/17
Let k = 0.4 + 2.6. Let o = k + -2.9. Which is smaller: o or 1?
o
Let m = 2/5 - -6/35. Let t = 19/21 - m. Which is smaller: t or -2/7?
-2/7
Let s(j) = -j**2 - j - 2. Let u(h) = -h**2 + 6*h. Let y be u(6). Let x be s(y). Let w = x - -5. Which is bigger: 2 or w?
w
Let c(r) = r**2 + 4. Let a be c(0). Let o be 28/(-6) - a/12. Let g = 2 + o. Which is bigger: g or -4?
g
Let t = 4 + -2. Let j = 14 + -6. Let q = -5 + j. Is q at least t?
True
Let h(m) = -m**3 + 9*m**2 - m + 2. Let x be h(9). Is x equal to -7?
True
Let m = -5 - -5. Let g be m*(9/6 + -1). Which is greater: -4/5 or g?
g
Suppose 0 = -12*u + 14*u - 54. Let p = -21 + u. Is 2 bigger than p?
False
Let k(o) = -5*o - 2. Let r(v) = -14*v - 5. Let l(m) = -11*k(m) + 4*r(m). Let b be l(6). Is 0 bigger than b?
True
Let s be ((-2)/7)/((-1)/((-10)/(-4))). Which is smaller: 2 or s?
s
Let l = -0.17 + -1.83. Let s = 3893217/11 - 353680. Let i = -249 + s. Are l and i equal?
False
Suppose 0 = 5*n - f - 4*f, f - 2 = 2*n. Are -0.05 and n nonequal?
True
Let s = 37/18 - 14/9. Let n = -5 - -6. Is n < s?
False
Suppose 2*x = 5*x - 4*s - 16, -s - 6 = -x. Suppose 2*z = -8, 3*z + x = 5*k - 4. Let w be k - 3/(-12)*1. Which is greater: w or 1?
1
Suppose 4*r + 4 = -0*r. Let v = r - -7/5. Let c = -6 - -5. Is c greater than v?
False
Suppose -w - 3 = -2. Are 0 and w nonequal?
True
Let u = 8 - 61/8. Is 0.2 greater than u?
False
Suppose 5*v - 4*p = -4, -v - v + 2*p - 2 = 0. Let b = -1 + v. Let s(a) = a**3 + 4*a**2 - 4*a + 4. Let d be s(-5). Is b at most d?
True
Let s = 51 + -103/2. Let i be ((-4)/5)/(2/(-10)). Suppose -4*t + 2*j = i, -j = 2*t + 5 + 1. Is t at least as big as s?
False
Let z = -1/2370 + 42683/54510. Which is bigger: 0 or z?
z
Let w(f) = -f**3 - 7*f**2 - 9. Let l be w(-7). Which is bigger: -35/4 or l?
-35/4
Let t be 3/7 - 20/14. Which is smaller: -5/11 or t?
t
Let n be (1 + (-2)/6)/((-4)/(-6)). Are 1/5 and n unequal?
True
Suppose 0 = y - 0*y. Suppose y = 3*d, 0 = 3*r + 5*d + 9. Is -1 < r?
False
Let y be 1/((-2)/(-6)) - 1. Suppose -6*w = -3*f - w - 10, 2*f = 5*w - 10. Is y <= f?
False
Suppose -p + 3*m + 12 = 0, 2*p + 16 = -2*p - 4*m. Are p and -1/6 unequal?
True
Let m = -0.03 - 0.07. Let t be 212/(-6) + 2/6. Let i be 2/7 + (-4)/t. Is i equal to m?
False
Let m = 31 - 30. Which is greater: m or 2/5?
m
Let i(m) be the third derivative of -m**6/120 + m**5/10 - m**4/24 + 2*m**3/3 - 3*m**2. Let p be i(6). Which is smaller: p or 1?
p
Let v = -0.03 + -0.77. Let s = 3.8 + v. Which is bigger: s or 0?
s
Suppose 3*y + 5*w + 21 - 9 = 0, -3*w = 4*y + 16. Let u(f) = -f**3 - 4*f**2 + f + 5. Let m be u(y). Are m and 2 unequal?
True
Let k = -26/55 - -3/11. Do k and 1 have the same value?
False
Let d = 46 + -60. Which is greater: -0.2 or d?
-0.2
Let r(f) = -9*f**3 + 8*f**2 - f - 5. Let j(s) = 4*s**3 - 4*s**2 + s + 2. Let q(h) = -7*j(h) - 3*r(h). Let i be q(3). Are -2 and i unequal?
False
Let u(o) = -o + 11. Let y be u(6). Let k be (-4)/y*(-5)/2. Let j be (2 + (-2)/1)/k. Is -1/2 smaller than j?
True
Let x = 0 + 3. Let a = -2 + x. Are a and -0.8 non-equal?
True
Suppose 3*r + 2*r + 825 = 0. Let z be (-2555)/r - (-1)/3. Let g = 16 - z. Which is smaller: g or 0?
0
Let j be 1 + (-3)/8*2. Let v(o) be the first derivative of -o**2/2 + 6*o - 7. Let t be v(7). Which is greater: t or j?
j
Let p = 3859/13 + -297. Suppose 0 = 2*d - 5*d. Is p <= d?
True
Let t be -2 + 15/(-63) + -1. Let x = 44/21 + t. Is x less than or equal to 0?
True
Let q(p) = -p**2 - 3*p + 5. Let n be q(-4). Let o(s) = -s**3 + 2*s - 1. Let c be o(n). Let w = 3/40 - -59/280. Are w and c non-equal?
True
Let c be (3 - 7) + (-56)/4. Which is smaller: -19 or c?
-19
Let f be 18/(-68)*(-5)/30*8. Suppose 15 = 5*q + 5*r, 3*q + r = -0*q + 1. Which is smaller: f or q?
q
Let h = 10 - 14. Let q(w) = -w**3 + 5*w**2 + 8*w. Let l be q(6). Let g = l + -15. Does g = h?
False
Let g = -0.5 + 0.5. Let m(d) = d**2 - 3*d + 1. Let a be m(3). Let u be 1/(-4) + a/4. Is g greater than u?
False
Let c be ((-15)/(-100))/(12/5). Is -1 not equal to c?
True
Let f be 1/6 - 92/(-24). Suppose 18 = f*l + 2*h, -l - 5 - 13 = -4*h. Let b be l*2/(-8)*-2. Which is smaller: -1/10 or b?
-1/10
Let d = -11 - -21. Let w = -15 + d. Are w and -3 equal?
False
Let z = -0.09 - -0.09. Let g = -3 + 2.8. Which is greater: g or z?
z
Let n(m) = m**2 + 2*m - 25. Let d be n(-6). Suppose -2 = 4*r - 2*r. Are r and d non-equal?
False
Suppose m - 7 = 4*t, 2*m - 6*m = -12. Let i = t - -1. Let d be (1/(-2)*i)/2. Do d and -1/5 have different values?
True
Suppose -5*i + 738 - 58 = 0. Let d = i - 547/4. Suppose -3*q - 12 = -3*f, 4 = -3*f - 2*q - 4. Which is greater: f or d?
f
Suppose -5*k + 0*s + 298 = s, 0 = 5*k - s - 302. Let z be k/25 - (-2)/(-5). Let r be -5 + 4 - (-5)/3. Which is bigger: r or z?
z
Suppose -5 = 9*g + 4. Which is smaller: -6 or g?
-6
Suppose 2*n - 7*n = -10. Do n and 5 have the same value?
False
Suppose -4*q + 3 = -q. Do 3/68 and q have the same value?
False
Let b(s) = -s**2 - s - 6. Let d be b(4). Let n = d + 26. Is 2/21 >= n?
True
Let q = -73/680 + 9/40. Is 1 less than or equal to q?
False
Let d be (0/(-2))/((-6)/2). Which is greater: d or -1/65?
d
Let u(g) = g + 1. Let t be u(-2). Which is greater: 2 or t?
2
Let m = -6 - -5. Let p = m - -7. Let d be 4/p - 15/36. Are d and -2/7 nonequal?
True
Let b(s) = -s**3 - 4*s**2 - 2*s. Let g be b(-3). Let l be g + (21 - (1 - -2)). Let t be (-8)/(-30)*l/(-42). Is 0 >= t?
True
Let y = 0 - -4. Suppose 