Let i = 4947/13 - 379. Let f = i - 167/117. Which is greater: f or 0?
f
Let w be 4/14*210/80. Is -7 != w?
True
Let n = 6.4 - 0.4. Let b = 5.771 - 0.071. Let y = b - n. Are -2/3 and y equal?
False
Let j = 30115/63 + -478. Let u = j - 197/504. Which is bigger: u or 1?
1
Let p = -0.01 - 1.99. Let s = -154 + 167.8. Let a = 14 - s. Do p and a have the same value?
False
Let i be (2/6)/((-15)/1293). Let r = i + 85/3. Is 1 at most as big as r?
False
Let w = -5 + 6. Are w and -1/4 non-equal?
True
Let c(a) = -a**3 - 14*a**2 + 14*a - 11. Let j be c(-15). Let i = -18 - -22. Is j > i?
False
Let p be 34/(-8) + 2/8. Suppose 0*z - 2*z = -4. Suppose 5*b + q = -15, -z*b = 5*q + 4 - 21. Is b smaller than p?
False
Suppose 0*a + 70 = -5*h + 3*a, 3*h + 42 = -a. Which is smaller: -16 or h?
-16
Let w(p) = 2*p. Let x be w(1). Suppose -b - x = -2*m, 3*b - 2*b = 0. Is 2 <= m?
False
Let o be 3/(-9)*-3 - (2 + -1). Let c be 8/(-6)*(-697)/132. Let x = c + -75/11. Does o = x?
False
Suppose 6*l - 9*l + 36 = 0. Which is bigger: 13 or l?
13
Suppose -6 = -2*a + 10. Let g be a/(-3*6/(-9)). Let i = g + -5. Which is bigger: -3 or i?
i
Let q(v) = -2*v**3 + 10*v**2 + 0 + 0 + v**3. Let d be q(10). Is d not equal to -2/15?
True
Let o = -0.01 + 13.81. Let s = -14 + o. Which is greater: s or -0.9?
s
Let m(f) = 2*f**2 - 2. Suppose -3*x - 2 = 4. Let a be m(x). Let u be (-4)/a*(-2 - -3). Which is smaller: -2 or u?
-2
Let j = 10 + -10. Suppose -i = -4*i + 15. Let d be i/(-30)*(-3)/(-2). Which is smaller: d or j?
d
Let b be (-194)/((26/91)/(1/7)). Is b != -98?
True
Let d(p) = -p + 8. Let s(n) = -n + 8. Let m(v) = 5*d(v) - 6*s(v). Let k be m(7). Let y = -2004/13 - -154. Which is smaller: y or k?
k
Let y = -4 - -3. Let t = 0.9 + y. Let b = 2.7 - -0.3. Which is smaller: b or t?
t
Let l = 8 - 17. Let i be (-89)/(-99) + (-2)/l. Let v = i + -5/11. Is -0.2 >= v?
False
Suppose m - 4*m - 10 = 5*u, m = 4*u + 8. Let r = -39 + 389/10. Which is smaller: r or m?
r
Let u = -105 + 102.02. Let z = u - 0.02. Is 0.1 at least as big as z?
True
Let r be ((-28)/(-35))/(2/(-5) + 0). Is r < -2?
False
Suppose -5*f - 3*x + 46 + 71 = 0, -2*x = 3*f - 71. Do 20 and f have the same value?
False
Let g = -9 - -15. Is 0 < g?
True
Let u be ((-9)/54)/((-10)/(-3)). Is -1 bigger than u?
False
Suppose 0 = -p + 4 + 1. Let n be -1 + -1 - (-19 - -2). Let y = n - 9. Which is bigger: y or p?
y
Let j = -4.1 - -3.8. Which is smaller: j or 1?
j
Let v(y) = y**3 + y**2 + 4*y + 3. Let l be v(-2). Let t be -18*(-1 + (-6)/l). Is t smaller than 6?
False
Suppose 2*o + 46 = -4*r, -4*o = -2*r - 7 - 21. Let z(h) = h + 11. Let y be z(r). Suppose 8 = 2*g, g + 4*g = -4*q + 12. Is q equal to y?
False
Suppose z = 4*q, 0*q + z + 1 = 5*q. Which is smaller: q or -2/87?
-2/87
Let z = 12 - 12. Is z not equal to -4/11?
True
Let j = 90 + -82. Which is smaller: 3 or j?
3
Let t = 0.91 + 0.09. Which is smaller: -61 or t?
-61
Let d(i) = i + 14. Let u be d(-10). Let r be 2/((-2)/u + 1). Let t be 3/r + -2 - -2. Which is bigger: -2/7 or t?
t
Let a = 43 + -22. Let n be 6/2 - a/5. Is n less than -2?
False
Suppose 0*t + 2*o = -2*t, 2*o + 2 = 0. Let x be (1 - t) + (5 - 7). Which is smaller: x or -3/4?
x
Let i = 28 + -19. Let f be 518/(-63) - (-2)/i. Let o be 6/(-16) - 2/f. Is o greater than or equal to 1?
False
Let j be (-5)/(20/12) + 11. Is j < 8?
False
Suppose 0 = -4*y - 10 - 6. Let a be -10*((-10)/y - 2). Which is smaller: a or -6?
-6
Let k = 58 + -233/4. Let d = k + -1/12. Do 0 and d have different values?
True
Let g(v) = -v**2 + 6*v + 5. Let z be g(5). Let p = 11 - z. Let m = 4/5 - 6/5. Is p > m?
True
Suppose 2*j - 10 = -3*j. Let y(s) = s + 2. Let z be y(j). Is 1 < z?
True
Let p = -36 - -29. Are p and -8 non-equal?
True
Let v = -9 + 3. Is -7 at most as big as v?
True
Let n = -2 + 2. Let q be 16/56 + (-34)/70. Is n != q?
True
Let l = 0 - 8. Let q be (-25)/20 - 2/l. Let a be 6/9 + (-2)/2. Is q bigger than a?
False
Let m be ((-100)/35)/((-4)/14). Suppose m = -c + 3. Which is greater: -2 or c?
-2
Let k be (-3)/(-13)*19/19. Is 0 not equal to k?
True
Let d be 187/1275 - 1/6. Is 0 < d?
False
Let h = -10 - -9. Let j = h + 7. Let d = -4 + j. Which is bigger: 1 or d?
d
Suppose 4*c + 4 = 0, 4*c = 5*l + 2*c - 37. Which is greater: 6 or l?
l
Let n = 48.03 - 48. Suppose -2*y = -2*f + 4, -4*f + 4 = 2*y - 4*y. Is n less than or equal to f?
False
Let m = -39 + 26. Let k = 9 + m. Is -1 at least as big as k?
True
Suppose 0 = -3*f - 3*x + 12, 3*x - 16 = -3*f - x. Is f < 3/19?
True
Let y(o) = -3*o - 2. Let c be y(-2). Let m(h) = 3*h**2 + 2*h. Let p be m(2). Let k be (c/p)/(3/(-4)). Is k greater than or equal to -1/4?
False
Suppose 0*x + 2*f - 2 = x, 2*x + 4*f = 12. Is 4/3 at most x?
True
Suppose -3*h + h - 28 = 0. Let m be (5/20)/(h/8). Let c be 3*(-3)/(-9)*1. Is m greater than c?
False
Let b = -61/2250 + 1/90. Which is bigger: 0 or b?
0
Suppose 6*f + 12 = 2*f. Let y be f/(-2) + 2 + -3. Let n = 2 + -1. Which is bigger: n or y?
n
Suppose -4*r - 11 - 14 = n, -r + 4*n = -15. Let c be (-28)/(-42)*(-3)/r. Is 1 >= c?
True
Let u = -0.1 + -6.9. Let y = 7.2 + u. Does y = -2/11?
False
Let u(v) = -2*v - 4. Let g be u(-7). Let o be 1/((-8)/g + 1). Which is bigger: -2 or o?
o
Let o be -4 - ((-225)/10)/5. Let i = -0.3 + 0.1. Let v = i + 0.3. Is o != v?
True
Suppose 5*v + 2*r = -69, 0*r = 3*v + 3*r + 45. Let j = 21 + v. Let q be (-3)/j*4/(-6). Which is smaller: 4/7 or q?
q
Let a be 18/3*1/6. Which is greater: a or 4/7?
a
Let l(n) = n**2 - n + 1. Let s be l(1). Suppose -5*u + 1 = 51. Let d be 4/u + (1 - 0). Is d not equal to s?
True
Suppose -5*g = -2 - 3. Is 0 >= g?
False
Suppose -2*b + 3*b = 0. Let i be (-119)/70 - (-6)/4. Which is bigger: i or b?
b
Let q be 4/3*9/3. Suppose 5*f = q*f. Does 1/4 = f?
False
Let a = -2 + 2.04. Let y = a + -0.44. Let w = -0.51 + 0.51. Are w and y equal?
False
Suppose -3*p = w + 2 - 6, 0 = -5*p - w + 6. Let f = 5 + -11. Let v be f/(-40) - (-2)/8. Is p equal to v?
False
Let a = -11 - -10. Let b = -2 - a. Are b and -1/3 nonequal?
True
Suppose 2*l = 2, 5*l + 40 = 2*y + 3*y. Let a(j) be the third derivative of j**4/24 - 8*j**3/3 - 2*j**2. Let u be a(y). Which is bigger: u or -6?
-6
Let g be 64/36 + 4/18. Suppose 1 = 3*f - 2. Is f at most g?
True
Let x = -22.1 - 2.9. Let a = x - -26. Let b = 1/250 + 99/250. Is b < a?
True
Let y(d) = 5*d**2 - 2*d + 1. Let k be y(1). Suppose z - k = -z. Suppose -5*i = -w - 3*w + 8, -i = -w + z. Which is smaller: -3 or i?
-3
Let d(l) = 2*l**3 + 2*l**2 - l. Let g be d(1). Let k = 4 - g. Suppose 0 = r - k - 0. Does 2/15 = r?
False
Let g = -0.8 + 0.83. Which is smaller: g or 0.6?
g
Let n(j) = -j - 1. Let k be n(-3). Let v be (3/(21/k))/(-1). Which is smaller: v or -1?
-1
Suppose 0 = 2*x + 2, 3*x = 3*n + 8*x - 106. Let a = 24 - n. Which is smaller: a or -12?
a
Let w = 4 - 3. Let k = 7 - w. Let s = 2 - k. Which is smaller: s or -2?
s
Let x = -3025/4 - -810. Let t = -54 + x. Is t at most as big as 1/3?
True
Let l be 28/7 - 10/3. Which is smaller: 6 or l?
l
Let m = 1.8 - 1.7. Which is greater: m or 1.8?
1.8
Let h be 48/5 - 16/(-40). Is h >= 2/3?
True
Let o(u) = -u**2 - 4*u - 4. Let b be (-2)/4 + (-25)/10. Let y be o(b). Which is bigger: y or -1/8?
-1/8
Let q be -2 - 1/(-2 + 1). Let b be ((-3 + 2)*4)/((-50)/5). Which is smaller: q or b?
q
Let a = 2 + -2. Suppose 7*c = 4*c + 15. Let s be (-2)/c + (-32)/(-55). Is a < s?
True
Let y = 12 - 14. Is y greater than or equal to 0?
False
Let r be (-3 - -2) + 1 + 25/1025. Is r equal to 0?
False
Let u be ((-24)/20 - -3) + 0. Which is bigger: u or 2?
2
Let g(h) = h**2 + 6*h - 1. Let f be g(-6). Let y be (-2)/(-2) + (-104)/66. Let d = y + 10/11. Which is greater: f or d?
d
Let r = -12 + 12.1. Which is smaller: 1.1 or r?
r
Suppose -8 = q - 2*q. Let u be ((-6)/(-10))/(-5 + q). Suppose g + 1 = 2*g. Does u = g?
False
Let w be (4/(-3))/(2/(-6)). Suppose -5*v + 2*u = -3*u + 60, -w*u = -v - 27. Which is greater: -6 or v?
-6
Let w = 15.09 + -15. Let r = -0.92 - -1.21. Let h = r - w. Is h greater than or equal to -1/2?
True
Suppose 0 = -5*y - 2*w + 5, 4*y + 0*w - 16 = -4*w. Is y greater than 3/41?
False
Let j be (6/7)/((-186)/4). Let r = j + 5/31. Which is bigger: 0 or r?
r
Suppose -3*m + 5*m = 2*s + 18, 0 = -m - 3*s - 7. Suppose -4*k - 21 = 5*b, -5*k + m*b + 2 = -28. Which is smaller: k or -2/9?
-2/9
Suppose -3*i + 2*d =