 Let m be (6/(-22))/(v/2). Which is smaller: 0 or m?
0
Suppose 0 = -17*m + 15*m. Suppose -33 = -m*z + 3*z. Are -10 and z unequal?
True
Suppose 2*j = 4*t - 18, -2*t - 3*j - 9 = 2. Let l be 2/((-4)/(-2))*0. Let c be 2/(-6)*l/t. Does c = 1?
False
Let s be 3/(-6) - 11/(-2). Suppose t = -3*f + s*t + 13, -5*f = -3*t - 18. Let q = 6 - 1. Which is smaller: q or f?
f
Let i = -13/33 + 355/231. Is i at most 1?
False
Let g = -7.8 - -7. Let t = -0.5 - g. Let h = 0.5 - t. Is h greater than 0.1?
True
Let u = -2 + 1. Which is smaller: u or -3?
-3
Let s be (3/(-6)*2/5)/(-9). Which is smaller: s or -1?
-1
Let c = 16.6 - 16.7. Is 2/23 at least as big as c?
True
Suppose -3*r + 0*r + 12 = 0. Suppose -3*c - r = c. Let p(w) = w**2 - 6*w - 1. Let q be p(6). Do c and q have the same value?
True
Suppose d + 0*d = -68. Let s be 7/14 - (-42)/d. Which is smaller: 0 or s?
s
Suppose 3 = t + 2*n - 3, 2*t - 9 = -3*n. Let h(l) = -l**3 - 11*l**2 + 13*l + 13. Let x be h(-12). Is t greater than or equal to x?
False
Let u = 31 - 31. Are u and 40 equal?
False
Let t = -3 + 5. Suppose -t*k + 9 = -j - 26, -5*k + j + 89 = 0. Let d be 3/2*(-3)/k. Is 1 < d?
False
Let q be (-10)/(-8)*-2*2. Which is smaller: -6 or q?
-6
Let o(b) = -b**3 + 5*b**2 + 10*b - 26. Let j be o(6). Is j < -14/9?
True
Suppose 0 = y + 3*q + 16, 0 = y + y + 2*q + 12. Which is smaller: -4/9 or y?
y
Let r = 209/3 + -69. Is r at least -15?
True
Suppose -5*p = -7*p - 5*p. Do p and -1/37 have the same value?
False
Let l = 69 - 68. Which is greater: -3/56 or l?
l
Let s = 44 - 41. Do 4/11 and s have the same value?
False
Let i(m) = m**2 - 1. Let l be i(-2). Let w be (-60)/(-14) + 4/(-14). Suppose -9 - 3 = 4*r, 0 = 5*q - w*r + l. Which is bigger: q or -4?
q
Let w(m) = -m. Let b(u) = 4*u + 1. Let j(n) = b(n) + 5*w(n). Let v be j(3). Which is greater: v or -1?
-1
Suppose 0 = 2*p - 4*p + 2. Which is smaller: p or -2/97?
-2/97
Let o be 0 + (-1)/1 + 0. Suppose -g + 59 = -5*n, -5*n + 2*g + 1 = 64. Let l = 32/3 + n. Is l at most as big as o?
False
Let w = 5.6 - 4.8. Let q = -0.2 + 0.4. Let p = q + w. Which is smaller: -0.3 or p?
-0.3
Let f be 198/7 - 4/14. Suppose -5*w = f + 2. Let d be 4/6 + 16/w. Does -2 = d?
True
Let s(q) = q**2 - 4*q + 2. Let g be s(2). Let x = 0 + g. Let p(y) = -y + 3. Let w be p(4). Is w greater than or equal to x?
True
Let t = 11 - 10. Let h = -152/3 + 50. Is h greater than or equal to t?
False
Let o = -16/1879 - 1574458/16911. Let k = 93 + o. Is k at least 1?
False
Let j = -3/8 + 35/72. Is j smaller than 7?
True
Let n = -2.9 - -1.9. Which is smaller: n or -62?
-62
Suppose 0*m + 5*z = m + 31, 0 = -m + 2*z - 22. Let x = m - -12. Is x less than -3?
True
Let j be 3/120 + 4/(-10). Let h(i) = 2*i + 27. Let m be h(-13). Is m at least as big as j?
True
Let q(c) = c**2 + 13*c + 20. Let n be q(-9). Which is smaller: -17 or n?
-17
Let c = 5 - 1. Let w = c - 3. Do 1 and w have the same value?
True
Let v = 7.28 + -0.33. Let i = 7 - v. Which is bigger: i or -0.2?
i
Suppose 4*m = -4, -m + 0 + 14 = -3*d. Which is smaller: d or -1?
d
Let m = 2392/33 + -218/3. Are m and 1 equal?
False
Let a(y) = 5*y**3 - 10*y**2 - 11*y + 5. Let h(r) = -4*r**3 + 9*r**2 + 10*r - 4. Let u(j) = 3*a(j) + 4*h(j). Let n be u(7). Which is smaller: n or 1/8?
n
Let x be ((-128)/33 - -4)*3/26. Is 0 bigger than x?
False
Let r be (408/20)/(-3)*-5. Which is smaller: 33 or r?
33
Let c = 275/3 + -91. Which is smaller: 15 or c?
c
Suppose 0 = -0*g - 3*g - 3*o + 15, -4*g + 2*o = -20. Suppose -2*m + g*w - 20 = 0, -5*m - 4*w + 9*w = 20. Let i be (-2)/(-10) + (-2)/6. Does i = m?
False
Let k(w) = -w**2 + 5*w + 1. Let y be k(5). Which is greater: y or 2/11?
y
Suppose -2*c = 3*c - 120. Suppose -5*l = -l - c. Let h be -2 - (-2 - l)/2. Which is smaller: 3 or h?
h
Let k(i) = -2*i**2 + 4 - 4*i - 8 + 2. Let c be k(-2). Let d be 1/4 + (0 - 0). Is d >= c?
True
Let a(j) = j - 2. Let x be a(0). Which is greater: x or 0.2?
0.2
Suppose d + 3 = -0. Let z be (-2)/(-5)*(d - -4). Is 0.2 at most as big as z?
True
Let c be (-8)/(-5)*(-40)/16. Let z be 1/(30/4 + c). Suppose 6*m - 4*m = 0. Is z less than m?
False
Let o be (5/2)/((-1)/(-2)). Let t = -14 - -20. Suppose -z + n + o = 0, 4*z - 3*n - t = 11. Which is greater: z or 1?
z
Let s(f) = -14*f + 5. Let g be s(1). Which is smaller: -12 or g?
-12
Suppose -3*y = 2*y + 5. Let p = y + 0. Let h = 10.2 - 10. Are p and h equal?
False
Let l = -2.05 + 0.05. Let s = 13.9 + -14. Which is smaller: s or l?
l
Let i = -119 - -145. Which is bigger: 28 or i?
28
Let p be (-2 + (-32)/(-12))*-3. Suppose -5*q - 14 = z + 2*z, -3*q = 4*z + 15. Let x = 0 + q. Which is smaller: p or x?
p
Let z = 52 - 42. Is 0.2 not equal to z?
True
Let y = -6 - -18. Which is smaller: y or 11?
11
Let j = 2 + 1. Suppose -c - 3*c = x + 11, 0 = -j*x + 5*c + 52. Let p(d) = -d**3 + 10*d**2 - 9*d + 3. Let y be p(x). Is 3 < y?
False
Let q = -16.2 - -15. Let d = -1.1 - q. Is -1/6 greater than or equal to d?
False
Let j = 10.77 - 11.5. Which is smaller: j or 0.1?
j
Let n be (-3)/((-18)/15)*6. Suppose -n = -2*c - c. Let r = 3 - c. Are -2 and r equal?
True
Let h(c) = c + 5. Let u be h(-4). Which is bigger: u or -3/28?
u
Let k = 15/77 + 1/11. Let q(u) = -u**3 - 4*u**2 + 4*u - 4. Let s be q(-5). Which is greater: s or k?
s
Suppose h + 3*h = -p - 4, -37 = -5*p - h. Let d be 6/(-4)*p/6. Let q(r) = -r**3 + 8*r**2 - 9*r + 10. Let c be q(7). Is d > c?
True
Suppose 2*d = -4*o + 24, 3*o - 4 = -2*o + 4*d. Suppose 0 = u + 2 - 3. Is o smaller than u?
False
Suppose 3*y - 8 = 5*y - 4*u, -4*y + 3*u = 6. Let o = 155 + -2171/14. Is y bigger than o?
True
Let i = 13 - 23. Let d = 10 + i. Which is greater: d or 2?
2
Suppose 3 = r, 12 = -g - 0*g + 5*r. Let w be (-2)/g*9/6. Is -3 greater than w?
False
Let r = 10.09 - 10. Let d = r - -0.01. Which is bigger: d or -3/2?
d
Let v(y) = y - 4. Let a be v(0). Suppose 0*z = -z - 3. Let o = a - z. Is o > -1?
False
Let m(i) = -i**2 - i + 2. Let v be m(-2). Suppose -4*t - 1 - 7 = v. Is -8/5 smaller than t?
False
Suppose -43 = 22*p + 1. Is -4 != p?
True
Let r(i) = 15*i - 33. Let j be r(7). Is j less than or equal to 71?
False
Let c = 0.06 + -3.06. Let o = -2.9 - c. Which is greater: o or -1?
o
Suppose 0 = 5*z + g - 39, 6 = 3*z - 2*g - 7. Which is bigger: 5 or z?
z
Let d be (1 - 1) + 6/(-16). Is -1 equal to d?
False
Let n = 12 - 12. Suppose 24 = 5*j + 4. Suppose n = y - 3*y - j. Is 2/5 at least y?
True
Suppose -u = -4*p + 202, 4*p + 2*u - 194 = -u. Let k be (-5)/(-2)*8/p. Let m = 2.4 - 2.3. Which is smaller: k or m?
m
Let t = -0.15 - -0.2. Is t < 1?
True
Let b = 1 + -1. Suppose d - 3*r - 4 = 0, -2*d + 4 = -3*r + r. Let f be (1 - 2)/(b - d). Which is smaller: -1/6 or f?
-1/6
Let g = 199 + -1597/8. Let r = g + 7/8. Which is greater: 1 or r?
1
Suppose 4*j = 5*j - 7. Suppose 0 = 3*y - j*y. Let d be 1/(-6) - (-2)/(-6). Which is smaller: y or d?
d
Let l(y) = 2*y**3 + 3*y**2 - 4. Let t be l(2). Which is bigger: t or 22?
t
Let t(i) = i**2 + 6*i + 5. Let z be t(-5). Let w = -1 - z. Let f be 6/20 + (-2)/4. Which is bigger: w or f?
f
Suppose 17*c - 577 + 50 = 0. Which is smaller: c or 30?
30
Suppose -4*f = 3*m - 0*m - 11, 4*m = 2*f. Suppose -4*o - 2 = f. Which is greater: o or -2?
o
Suppose -15 = -3*t - 2*t. Let a be (-1)/(-3) + (-1)/t. Let i = 31 - 32. Which is bigger: a or i?
a
Suppose 72 = 2*q + 2*q. Which is greater: q or 1?
q
Let f = 34/3 - 392/33. Which is smaller: f or 0?
f
Suppose 4*p - k = k + 4, 3*p - 1 = k. Do p and -0.15 have the same value?
False
Let s be 3 + -3 - (-2 + -2). Suppose 9 = 5*o + 4*l, -s*l + 0 = -o - 3. Let a be (-112)/132 + 4/6. Is o >= a?
True
Let i = 968/63 - 106/7. Let j(k) = -k**2 - 2*k + 3. Let m be ((-7)/21)/(2/18). Let w be j(m). Which is smaller: i or w?
w
Suppose 4*y + 5*l = -101, y + 1 = 5*l - 18. Let m be (-14)/y + 2/(-6). Is m at least 1?
False
Suppose 5*i + 22 = -28. Let x be (4/10)/(26/i). Is 1 at least as big as x?
True
Let w = -39 + 39. Let b be ((-8)/(-14) + -1)/(-1). Is w greater than b?
False
Suppose -3*q + 39 = -3*l, 0*l + 47 = 4*q - 3*l. Which is smaller: q or -1?
-1
Let z be (1 - (-36)/38) + (-34)/17. Is z not equal to 0?
True
Let z be 2 - (-1)/(-2 - -3). Which is bigger: 4 or z?
4
Let n(l) = l + 5. Let u be n(-7). Let p(r) = -4*r - 11. Let m be p(-5). Let s = m + -29/3. Is u > s?
False
Suppose 3*s - s = 0. Let f(p) = -p**2 - 4*p