n/30. Let w(j) = j**3 - 3*j**2 - 2*j + 3. Let x be w(k). Which is smaller: x or -2?
x
Let s(x) = 2*x**2 - 2*x - 1. Let k be s(2). Suppose 0*y = 3*y - k. Let c be 2/(-7)*(3 - 2). Which is smaller: y or c?
c
Let l = 74.23 + -7.13. Let b = -72 + l. Let i = b + 5. Is 0.2 < i?
False
Let f(s) = s + 21. Let j(d) = 2*d + 43. Let a(t) = -13*f(t) + 6*j(t). Let r be a(-14). Which is bigger: -6 or r?
r
Let q be ((-4)/14)/(36/(-28)). Is -2 at least as big as q?
False
Let m = -577 + 19039/33. Is m bigger than 0?
False
Let f(s) = -15*s. Let m be f(2). Let q = 43 + m. Suppose 26 = 2*v + 5*z, -q = -3*v - 2*z + z. Is v at least 4?
False
Let z(c) = c + 15. Let x be z(-10). Suppose -x*y = -0*y - 10. Let n be (-2)/22 + y/11. Is 0 at least n?
False
Let c = -40.3 - -41. Is c at most as big as 0.1?
False
Let f = 0.3 + -0.2. Let z = -15.11 + 15. Which is greater: f or z?
f
Suppose -4*x + 3*v + 2 = 0, -x - 3*v + 14 = 3*x. Let n = -8.1 + 8. Is x > n?
True
Let i be ((-60)/(-315))/(18/(-21)). Suppose 0 = -3*s - 4*k - 3, -3*s = -0*s - 3*k + 3. Which is smaller: s or i?
s
Let p be (-4)/20 - 9/255. Are p and 0 unequal?
True
Let v(j) = -j**2 + 10*j + 10. Let s be 44/(-12)*1*-3. Let q be v(s). Which is greater: 2/17 or q?
2/17
Let g be (-6)/21 + (-23)/(-7). Suppose -g*c = c. Let z = 1 - 1. Do z and c have different values?
False
Let z be (-5)/3*(-14 + 11). Suppose z*v - 10 = -5. Is 9/5 greater than v?
True
Let v be 0 + -1 - 2 - (0 + -1). Let y = -9 - -28/3. Which is bigger: y or v?
y
Suppose -4*k - 12*k + 48 = 0. Let z = 0 + 2. Is k greater than z?
True
Suppose -4*s - s = 0. Let b be 3924/20 - (-2)/(-2). Let i = b - 196. Is i less than s?
True
Let x(i) = 15*i + 6. Let l be x(5). Suppose 0 = 2*q + q - l. Let c be 6/q + (-22)/18. Is c > -1?
False
Let m be (3/20)/(2/(-8)). Let h(q) = q**2 + 5*q + 5. Let k be h(-2). Which is smaller: m or k?
k
Let a = 0.7 - 1. Let t(r) = 2*r - 1. Let m be t(1). Which is bigger: m or a?
m
Let s(j) = -3 + 2 - 4*j + 3*j + 11. Let l be s(4). Which is smaller: 4 or l?
4
Suppose 0*t + 25 = 5*t. Suppose -t = -z - 2. Is z > 5?
False
Let l = 5 - 10. Let x = -6 + 6. Suppose -s - 11 - 13 = 5*b, 2*b - 2*s = x. Is l > b?
False
Let k(j) = 2*j**2 + 4*j + 2. Let p(l) = l**2 + l. Let d = -5 - -2. Let a(u) = d*p(u) + k(u). Let m be a(0). Which is smaller: 5/3 or m?
5/3
Suppose -t = -3*w + 11, 2*w + 29 = -2*t - 9. Are t and -16 equal?
False
Suppose u - r = 5, -6 = 2*u + 3*r - r. Let s(k) = k**2 - 3*k + 2. Let o be s(u). Which is bigger: -6 or o?
o
Let c be (654/156 + -4)*(-1 + -11). Which is bigger: -3 or c?
c
Let l(k) = -k**3 + 9*k**2 + 11*k - 9. Let g be l(10). Let c be -1*1/(1/(-1)). Let x be (-16)/(-8) - 5*c. Which is smaller: x or g?
x
Let p = -23 - -15. Is -5 greater than p?
True
Let j = -165421/65 - -2545. Let s = -6/13 + j. Is 1 at least s?
True
Let q = 16 + -17. Is q bigger than -17?
True
Suppose 89 = -4*r - q, -2*q - 115 = 5*r + 3*q. Is r smaller than -20?
True
Let x(q) = 9*q - 3. Let a be x(2). Suppose 0*d - 3*k - 12 = 4*d, 5*d + 4*k = -a. Let g be 1/(-3)*d*-4. Is -4 at least as big as g?
True
Suppose -4*v + 4*r + 92 = 332, -5*r = -4*v - 235. Let z be (-4)/4 + (-37)/v. Let g = 2/65 + z. Is 0 at most g?
False
Let o = 23 + -17. Is 6 >= o?
True
Let t = -13 - -12.92. Which is bigger: t or 2/23?
2/23
Let n be 40/18 + (-8)/36. Suppose -5*z + n*w = -0*w - 23, 0 = z - 5*w - 23. Is z greater than 3?
False
Suppose n + 3*n = 12. Suppose w - 4*w = n. Which is smaller: -3/10 or w?
w
Let d be (-1)/(2 + -3 + 0). Let b = 3 - d. Suppose f - 10 = 4*f - 5*q, 3*q = -b*f + 6. Is -1/3 at most as big as f?
True
Suppose 3*h - 3 = 3*r, 2*h = 6*h - r - 10. Let o = 83/2 + -40. Which is greater: o or h?
h
Let p be (-316)/104 - (-1 + -2). Suppose 3*k = k. Which is smaller: p or k?
p
Let h be 77/534 + 1*(-1)/6. Is h > -1?
True
Suppose 5*y + 21 = 2*y. Let n = y - -4. Let v(t) = -t**2 - 6*t - 4. Let z be v(-6). Which is greater: z or n?
n
Let k = 406760947/1641636 + -3/182404. Let w = 248 - k. Which is smaller: 0 or w?
0
Let q = 11 + 20. Do q and 32 have different values?
True
Suppose 0*n = 2*n - 3*a - 17, -23 = 2*n + 5*a. Which is greater: n or 5/13?
n
Let p be ((-78)/52)/((-21)/8). Let n = -4 + 3.2. Let d = 0.2 - n. Is p greater than or equal to d?
False
Let d(w) = -2*w - 1. Let y be d(-3). Let f be (y/(-2))/(-5)*2. Let n be 9/6 - 2/f. Which is bigger: n or -1?
n
Let t(w) = -w - 2. Let m(k) = -k**2 + 7*k + 3. Let n be m(8). Let h be t(n). Suppose -11 = -2*g + 3*z, -h*g = -g + 5*z + 13. Are g and -0.1 equal?
False
Suppose -5*r - 32 = -3*c, -50 = c - 5*c + 3*r. Are 13 and c equal?
False
Suppose 0 = 4*y - 3*r - 24 + 7, 3*y + r = 3. Let n = -2 + y. Which is smaller: n or 3/5?
n
Let n(c) = -c**3 - 5*c**2 + 5*c + 6. Let m be n(-3). Let u be (-5)/180 - (-6)/m. Let d = 3 + -2. Which is greater: d or u?
d
Let c = -4 + 3. Let z = 0 - c. Suppose -5*b - 20 = 0, -5*t = -3*b - 14 + 2. Which is bigger: t or z?
z
Suppose 5*c + 4*q = -13, 1 + 13 = -4*c - 5*q. Let k = 24 - 262/11. Which is smaller: k or c?
c
Suppose -4*w + 12 = -0*w. Let s(v) = 3 - w + v**2 - 5*v. Let a be s(5). Which is bigger: -1 or a?
a
Let j(q) = -2*q - 10. Let w be j(-7). Suppose -x - w = -3. Let r = -23/4 - -17/4. Is r less than x?
True
Let n be (-12)/(-8)*8/(-12). Suppose 7*g - 2*g - 20 = 0. Suppose 0*q = 3*q, g*u = -3*q. Is n bigger than u?
False
Suppose -17 = -2*w - 5*s, -4*w + 2*s + 7 = 3*s. Suppose -3*u + w = y - 7*u, -5*y = -5*u + 25. Let v = 4 + y. Is v at least 1?
False
Suppose -2*u = 3*u. Which is smaller: 1 or u?
u
Suppose -4 = 2*f + 2*f. Which is smaller: f or -2/31?
f
Let j(y) = y - 130. Let a be j(0). Let v be 4/26 + 20/a. Are v and 2/3 non-equal?
True
Let m be (-4)/(-10)*(0 + 40). Which is smaller: m or 1?
1
Let x = 0.13 - 8.13. Which is smaller: x or 1?
x
Let c = 4 - 2. Let a be (3/9)/(c + -3). Is 1 smaller than a?
False
Let l be 8/24 - (-14)/3. Let t be (-29)/(-9) - 2/9. Which is smaller: l or t?
t
Let w = 0.1 + -0.1. Let v = 33 - 22. Let b = 13 - v. Which is greater: w or b?
b
Let d(w) = w - 27. Suppose 0*o = o. Let f be d(o). Let b be -2 + (-1)/(12/f). Which is smaller: b or -1/5?
-1/5
Let s(d) = -d**3 - 7*d**2 - 6*d + 4. Let m be s(-6). Let a(r) = -r**2 + 11*r - 19. Let q be a(8). Which is bigger: q or m?
q
Suppose 3*n + j = 2*n - 1, 6 = 2*n - 2*j. Is n greater than or equal to 1/7?
True
Suppose 7*x - 1 = 6*x. Let z = -1.2 - -2.1. Is z less than or equal to x?
True
Let v = -4 + 11. Let f = v + -7. Which is bigger: f or 2/9?
2/9
Let r be 2/5 + 20/(-50). Let p be ((-1)/(-3))/((-2)/4). Which is greater: p or r?
r
Let y = 10 - 11. Is y <= -2/15?
True
Let s(r) = -8*r - 10. Let d be s(-10). Let q be d/(-49) + 2/7. Is q > -2?
True
Let i = 49 - 45. Which is smaller: 5/2 or i?
5/2
Suppose x = 4 - 5. Let r be (2/4)/(x/1). Let y(p) = -p**2 - 14*p - 48. Let c be y(-8). Is c < r?
False
Let d be 1062/(-295) + 3/5. Let k = -103 + 503/5. Is d bigger than k?
False
Let a(p) = -2*p. Let t be a(3). Let u be t/24 - (-15)/92. Is 0.1 < u?
False
Let q = -9 + 28. Which is bigger: -1/4 or q?
q
Let k = -2/539 + -1048/8085. Which is smaller: k or -1?
-1
Let c = -92 - -90.87. Let h = -1.2 - c. Let a = h - -0.37. Is a greater than or equal to -1?
True
Let s = -7 + 2. Is s > -3?
False
Let j = -14 + 23. Let i = -3 + j. Which is smaller: 5 or i?
5
Let i = -0.3 - 0.7. Suppose -2*a + 10 - 2 = 0. Suppose 0 = -3*u - 5*v - a, 0 = 2*u - 3*u + v - 4. Which is bigger: i or u?
i
Let h be (-411)/861 + (-6)/(-14). Is h bigger than -1?
True
Let o(p) = -p**2 - 9*p - 1. Let y be o(-4). Let v = 21/23 - -855/46. Let t = y - v. Which is bigger: 0 or t?
0
Let a = 40 - 41. Which is smaller: 1/9 or a?
a
Let h be (-8)/(-3) + (-3)/(-9). Let a be -1 + 3 + -4 + h. Are 2 and a unequal?
True
Suppose 4*n - 8 = -5*m, -n + 3*m - 3 = -5. Let a(x) = -x + 3. Let l be a(3). Let w be 1*(l + 1) - -4. Which is greater: n or w?
w
Let j = -0.76 + 0.76. Is -1 at most as big as j?
True
Let t(d) = d**2 + 13*d + 4. Let v be t(-11). Which is smaller: 0.1 or v?
v
Suppose -k + 6*k - 5 = 0. Let s = 3/13 - -17/39. Is s less than k?
True
Let p be (204/(-85))/(4/170). Is p less than -101?
True
Let g = -0.06 - -2.06. Let v = -17.9 - -20. Let k = v - g. Which is smaller: 0 or k?
0
Suppose 0 = 5*n + 2 + 18. Let r = -7 - n. Let a be 6/2 - r/3. Which is bigger: 5 or a?
5
Suppose 1 = -3*l + 2