i(z) = 5*a(z) - 2*y(z). Let x be i(4). Suppose 0*f + 3*f + 5*p = 12, p - 8 = x*f. Which is smaller: 2/11 or f?
f
Let o be 1 - 0 - (-20)/(-18). Let j = -8 + 9. Which is smaller: o or j?
o
Let m = -8 - -11. Suppose 0 = -m*j + 4 + 5. Let a be j/12 - (-46)/(-56). Is 0 at most as big as a?
False
Suppose 0 = 3*n - 6 - 3. Suppose -7 = 3*v + 4*d, -v = -0*d + 2*d + 3. Is v less than or equal to n?
True
Let r = 1 + 3. Suppose 6*c + 20 = c - 3*h, -c + r*h + 19 = 0. Let m = -11 - -10. Is c at least as big as m?
True
Let b be 61/(-7) + (-1)/(-14)*-4. Do b and -12 have the same value?
False
Let i be 4/18 - (-36)/(-81). Which is smaller: i or -5?
-5
Let c be ((2 - 2) + -2)/11. Is 0 <= c?
False
Suppose 4*i - 12 = -h, 0 = -3*h - 0*i + 2*i - 20. Let l(k) = 3*k - 9. Let z be l(6). Suppose 2*y - 3 = -z. Which is smaller: h or y?
h
Let u be (3 + -4)/(1 + -2). Which is bigger: -2/25 or u?
u
Let j = -0.01 - 1.49. Let q = -0.5 - j. Let y = -2 + q. Is 0 >= y?
True
Let w = 3.7 + 0.3. Let o = w + -4.2. Which is bigger: o or -0.1?
-0.1
Let u = -145/11 - -13. Let g(i) = i**3 + 5*i**2 - 2*i - 7. Let f be g(-5). Suppose -3*j + 0 = f. Is u greater than j?
True
Let z(l) = -3*l + 44. Let f be z(15). Which is bigger: f or -1/8?
-1/8
Let p be (116/18)/(-2) + 24/108. Is p bigger than -20/7?
False
Suppose -25 = -5*d, 0 = 2*z - d + 3. Which is smaller: z or 1/9?
1/9
Let b = 0 - 0. Suppose b*u = -3*u - 3. Which is smaller: -2 or u?
-2
Let r(d) = d**3 + 9*d**2 + 14*d + 7. Let s be r(-7). Is s less than or equal to 8?
True
Let f be 18/27 + (-4)/(-3). Is 5/8 < f?
True
Let s be (-2)/(-2) - 82/22. Let g be (348/(-88) + 1)*(-3)/(-6). Let j = s - g. Is 0 greater than j?
True
Let g be (5*(-1)/(-45))/(10/(-3)). Is 0 less than g?
False
Let v(j) = j**2 - 2*j + 24. Let z be v(7). Do 58 and z have different values?
True
Let d = 47 - 46.98. Is -2 greater than or equal to d?
False
Let r = 0.1 - 0. Let i = 5 - 1. Let l = i - 4. Which is greater: r or l?
r
Suppose -1 = n - h, -3*n - h - 3 = -0*n. Let y(p) = -p**3 - 5*p**2 - 3*p. Let r be y(-4). Let k be r/(-18) - (-34)/(-234). Does n = k?
False
Let t(o) = -o**3 + 0*o**2 - o**2 - o - 5*o**2 + 0*o**2 - 2. Let d be t(-6). Which is bigger: 0.1 or d?
d
Suppose -20 = 4*i + 4*r, -20 = 3*r + 2*r. Is i < -3/17?
True
Let d = -15 - -3. Let b be 2 - 1 - d/(-10). Let u be 2/4 - (-2)/4. Is b less than u?
True
Let w = 5 - 9. Let l = -7 - -11. Let m = w + l. Is 0 >= m?
True
Let k = 27 - 22. Is k <= 7?
True
Let n(d) = -d**3 + 4*d**2 + 5*d. Let i be n(5). Let s = 9 - -28. Let t = -147/4 + s. Is i greater than t?
False
Let q(x) = -x**3 + x**2 + x + 6. Let c be q(0). Suppose -4 = c*h - 2*h. Is -1 >= h?
True
Let r = 0.91 - -0.45. Let c = r + -1.3. Do 1 and c have different values?
True
Let r be 1/3 + -8 + 6. Which is smaller: r or -2?
-2
Let t be (3/27)/(3/(-33)). Let o = -68239/36 + 1897. Let q = t + o. Is q bigger than 5?
False
Let w = 7 + -5. Let l = -159/2 - -81. Do l and w have the same value?
False
Let x = -218/3 + 78. Which is greater: x or 5?
x
Let g = 845 - 6751/8. Let f = g - 43/24. Is -8 equal to f?
False
Let s = -23 + 22.9. Are -2/77 and s equal?
False
Let l = -0.04 + -0.03. Let m = l - 0.03. Suppose 0 = -3*a + 15, 0 = 5*x - 2*a + 32 - 2. Is m >= x?
True
Let j(w) = -w**3 - 5*w**2 - 3. Let r be 166/(-34) - (-2)/(-17). Let a be j(r). Is -4 less than a?
True
Let f = 1/111 - -217/555. Suppose m + 3 = 4*l, 17 = 4*m - 3. Suppose l*i = i. Which is greater: f or i?
f
Let a be ((-2)/14)/(2/(-14)). Which is smaller: -1/9 or a?
-1/9
Let a be (6/9)/((-9)/(-4)). Let f = a - -1/27. Suppose 5*j = 5*n + 20, -n + 0*n - 1 = 2*j. Is j smaller than f?
False
Let f = -2 - 0. Let m be (1 + f + 0)*1. Is -1 less than or equal to m?
True
Let w = -8 - -3. Let t(v) = -v**3 + 5*v**2 + 6*v - 6. Let c be t(6). Which is smaller: c or w?
c
Suppose r = 2*r. Do r and -1 have different values?
True
Let y(r) = r + 13. Let k be y(-7). Suppose -5*m - 3*x + 27 = 0, -5*m - 3 = -3*x - k. Let u be (m/54)/((-1)/4). Which is bigger: u or 1?
1
Let v(u) = -12*u - 2. Let y be v(-1). Let l = y - 11. Which is greater: l or 2/11?
2/11
Let y = -0.07 - -0.37. Let v = 0.4 - y. Let m be -1*((-12)/(-5))/3. Which is greater: v or m?
v
Let g = -13 + 13. Is 3 not equal to g?
True
Let i be (348/100 + -3)*(-180)/8. Which is smaller: -12 or i?
-12
Suppose -2*y + 15 + 0 = 5*p, -3*y + 3*p + 12 = 0. Let t(x) = -x**3 + 4*x**2 + 3*x + 6. Let k be t(y). Is -5 != k?
True
Let r be (-2)/55*(0 - 5). Let y = r + -45/187. Are -1 and y equal?
False
Suppose -1 = 3*u - 28. Suppose u*t = 4*t + 15. Is 2 greater than t?
False
Suppose 3*r + 3 = 0, 0 = 2*a - r - 3*r - 48. Is 25 smaller than a?
False
Let j = 0.26 - 0.76. Does -1 = j?
False
Let t = 253 + -7335/29. Does 0 = t?
False
Let b = 110 - 109.098. Let a = b - -0.058. Let r = -1 + a. Is -1/4 bigger than r?
False
Let o = 6.88 + 0.12. Let w = o + -7.2. Is 2 greater than or equal to w?
True
Suppose -3*d = -8*d. Suppose 4*b = 4 - d. Is b at least 2?
False
Suppose 5*r + 3 = 13. Suppose 3*n - c + 15 = 2*c, 0 = -r*n - 3*c + 5. Which is bigger: n or -4?
n
Suppose 2*f = 4*m + 20, 0*f - m - 2 = f. Let h be f/15*(1 + 4). Let v be (-5 + 2 - 0) + 8/2. Which is smaller: v or h?
h
Let w be 9/(-22)*(4 + 50/(-15)). Is w > 0?
False
Let f(x) = -x**3 + 6*x**2 - 7*x + 10. Let l be f(5). Which is smaller: l or 2?
l
Suppose -3*q = -3*b + 6, -3*b - 2*b + 8 = -4*q. Which is bigger: -8/15 or q?
-8/15
Let l(p) = p**2 - 2*p + 1. Let y be l(-5). Let h = -110/3 + y. Is -2/3 at least as big as h?
True
Suppose 4*y - 2*a + 7 = 5*y, 2*a = 2*y + 4. Which is bigger: y or -2?
y
Suppose -4*i + 0 = 8. Let l be 150/(-20)*12/5. Let x be l/10 + 2/(-10). Is i smaller than x?
False
Let c be 1*(0 - (0 - 0)). Let j = 2 + c. Suppose 0*k = -k + 2. Is j smaller than k?
False
Suppose 23 = 2*i + o + 1, -29 = -i - 5*o. Which is smaller: 10 or i?
i
Suppose -5*h + 5 = -5*k, -3*k - 2*h = -h - 5. Suppose 0 = -4*c - 3*m + 6*m + 4, -2*m + k = c. Is -16 at least as big as c?
False
Suppose 5*m - 5*h + 0*h + 105 = 0, 4*h + 30 = -2*m. Is m at most -19?
True
Suppose 0 = 2*p + 3*j - 3, 2*p - j - 4 = -5*j. Let c be 3/(-7) + 5/28. Which is smaller: c or p?
c
Let x be ((-8)/16)/((-2)/(-8)). Is x not equal to 0.1?
True
Let r(n) = 18*n + 2. Let c be r(-5). Let x be (-1)/2 - 60/c. Which is bigger: x or 1?
1
Let q be (-2 - -1) + (-50)/(-54). Are 1 and q equal?
False
Let a(f) = f**2 + 3*f - 5. Let d be a(-5). Suppose -d*b - 5*w + 5 = 0, 5*b + 2 = 9*b + 3*w. Does -2/5 = b?
False
Let o = 3.81 - -0.19. Which is bigger: -4/7 or o?
o
Let k = -19 + 4. Let o(t) = -9*t + 2. Let x be o(2). Is k less than x?
False
Let p = -0.84 - -0.04. Let c = p - 0.01. Let g = 0.8 + c. Which is bigger: 0.1 or g?
0.1
Let c = 58 + -55. Which is smaller: c or -2?
-2
Suppose 0*a = -3*a. Suppose 4 = -n - a. Let c = -6 - n. Does -3 = c?
False
Let w be (2 - 0) + 18/(-10). Let g(n) = n**2 - 6*n - 7. Let o be g(7). Let i be (-1 - (o + -1))/2. Which is greater: w or i?
w
Let n = 85 - 87. Which is smaller: n or -3/2?
n
Let y = -273/2 + 134. Suppose 3*x = 2*w - 3, -w - 3 = -5*x - 15. Is y <= x?
False
Let u(s) = -6*s + 3 + 2*s + 6*s. Let g(b) = b**3 + 7*b**2 - 7*b + 6. Let k be g(-8). Let f be u(k). Is 2/7 <= f?
False
Let d = -0.006 - -7.106. Let y = d - 7. Let t(i) = i**2 - 3*i - 3. Let w be t(4). Is y > w?
False
Let i = -6.23 + 4.22. Let n = i + 2. Is 1/2 greater than n?
True
Suppose i + 0*i = -3. Let s = 0.2 + -0.5. Which is smaller: i or s?
i
Let d(s) = -s**2 + 12*s + 7. Let u be d(12). Which is smaller: 9 or u?
u
Suppose 5*a + 4*k - 44 = 3*a, -4*a + 88 = k. Suppose -5*b = -a + 7. Are 3 and b equal?
True
Suppose g + 4 = -3*g. Let d be (0 + g)/((-7)/2). Which is bigger: 0.5 or d?
0.5
Let r be 270/364 - (-2)/(-4). Let i = r - 5/13. Let f = 2 - 1. Is f bigger than i?
True
Let n = -70/171 - -12/19. Which is greater: n or 19?
19
Let l = -12 + 13. Which is bigger: -1/4 or l?
l
Let w(g) = 5*g - 16. Let n be w(3). Which is smaller: n or -2?
-2
Let h = 1.1 + -1. Let w = 58 + -58.3. Which is smaller: w or h?
w
Suppose 0 = j - 2*a - 14 + 5, -5*a = 3*j + 6. Suppose -4*q - q = -2*d - 33, -3*d = -4*q + 32. Is j bigger than q?
False
Let p = 0.17 - -7.83. Let d = -8 + p. Are d and -7 unequal?
True
Let o = 9 - 3. Let n = -6.2 + o. Which is smaller: n or -1/6?
n
Let x(s) = s**3 - 15*s**2 + 16*s - 28. 