*2 + 3 + 3 + 0*a + 4*a - 2. Let f be d(-5). Let y = f + -7294/19. Which is greater: y or 0?
y
Let d be 49/14 + 6/(-4). Let l = -1 - -1. Which is bigger: d or l?
d
Let w(t) = -t**2 + 5*t - 3. Let i be w(3). Suppose u + 2 = -i*o, -4*u = 5*o + u + 10. Is o != 0?
False
Let m be 8/(-136)*(-4)/(-20). Is 1 bigger than m?
True
Let u be (-2)/((-14)/(-6) - -1). Let z = -2 + 1. Which is smaller: z or u?
z
Let s(a) = 10*a - 7. Let t be s(7). Let j be ((-6)/2)/(t/6). Is j less than or equal to 4?
True
Let w = -1 + 1. Let i = 135/56 - -291/280. Let o = i + -16/5. Which is smaller: o or w?
w
Let q = 251/1434 + -2/239. Let w(c) = -c + 1. Let f be w(-3). Suppose -f*x = 3 - 7. Which is smaller: x or q?
q
Let w be (3/((-21)/(-4)))/1. Let k = -23 + 23. Which is greater: w or k?
w
Let d = -113 + 567/5. Let z be (-15)/(-70) + (-2)/(-7). Which is smaller: z or d?
d
Let s(o) = -o**2 - 6*o + 4. Let x be s(-4). Suppose -4*i - k + x = -2*k, 0 = -3*k. Suppose i*d = -3*f - 18, 2*d - 2*f - 6 = -2*d. Which is bigger: -1/4 or d?
-1/4
Suppose -4*n + 2*r = -2*r + 16, -2*n - 3*r - 3 = 0. Let k = 3 + n. Let x = -6013/15 + 401. Is x <= k?
False
Let z = 18.6 + -17. Let n = -1.5 + z. Does 2/9 = n?
False
Suppose 1 = y, 0 = 4*p + p - 3*y + 13. Let u = 4 + p. Suppose -4*l - 11 = r - 4*r, -4*r + 5*l = -14. Which is smaller: r or u?
r
Suppose 0*k = 2*k. Suppose -5*a + 12 = m, -2*m - 5*a = -k*a - 14. Are 0 and m unequal?
True
Let v(x) = -x - 58. Let q be v(-25). Which is smaller: -34 or q?
-34
Let i = 28 - 28. Let b be 2/2 - -2 - 1. Is b bigger than i?
True
Suppose 2*c - 17 = -3*k, 2*c + 4*k - 15 = 7*c. Let u = -5/47 + 159/611. Which is greater: u or c?
c
Let g(o) = o**2 - 2. Let d be g(-2). Suppose d*i - 2 = i. Let b = -2 + i. Which is smaller: 1 or b?
b
Let a(c) = -c**3 - 8*c**2 + 9*c + 6. Let t be a(-9). Suppose -9 = -3*y + 2*y + 2*i, 4*y = -3*i + 14. Is t at least as big as y?
True
Let o = -8.11 + 0.11. Let u = 7.6 + o. Is u bigger than 1/2?
False
Suppose -4*a = 3 + 53. Let z be (-32)/(-14) - (-4)/a. Let i be 0/(0 + -1 + 0). Which is smaller: i or z?
i
Let g = 1181/8 + -148. Are g and 1 non-equal?
True
Let q = 13/3 + -71/15. Which is bigger: 0 or q?
0
Let v = 17 + -24. Is v at most as big as 0?
True
Let p(j) = -j**2 - 6*j + 6. Let c be p(-6). Let m(z) = z**2 - 6*z + 6. Let q be m(7). Let h = q + -8. Does h = c?
False
Let x(o) = -o**3 + 8*o**2 - o + 10. Let b = -19 + -1. Let y be (12/15)/((-2)/b). Let h be x(y). Is 2 not equal to h?
False
Let v(m) = -m**2 - m. Let y be v(-1). Suppose 3*i - 2*u = i + 118, 2*i + 5*u - 118 = y. Let t = i - 237/4. Is -1/2 != t?
True
Let d be 13*(-2)/2 + 3. Let l be 6/d + 3 + -2. Which is bigger: -2 or l?
l
Let o be (4/21)/(6/(-9)). Let t = -0.2 + 0.13. Let q = t - 0.03. Are q and o nonequal?
True
Let n be -1*(-1 - -3)/2*33. Is -31 less than or equal to n?
False
Let p(i) = i**2 + 9*i + 13. Let a be p(-8). Let l be (-9)/(-2) + 3/6. Is l > a?
False
Let g be (12/(-8))/((-6)/8). Suppose 9 = 3*v, g*v = u + u. Suppose u*b + 0*b = -9. Which is smaller: -5/3 or b?
b
Let a(m) = m**2 - 9*m + 6. Let u be a(7). Suppose 0 = 9*o + 11 + 61. Is u < o?
False
Let u = 16 - 9. Let z = u - 6. Is z equal to -2/5?
False
Let z = 2149 - 30109/14. Let o = -3/2 - z. Which is smaller: o or -1?
-1
Let w be -3 + 5 + 1854/(-3). Let a be (-64)/w - 2/7. Let n = -3 + 2. Which is smaller: a or n?
n
Suppose 0 = u + 2*k - 9, 2*u + 0*k = k + 13. Suppose -5*b + d - u = 0, 2*b + 0*b = -d. Let o be b/(-4) + (-15)/36. Which is smaller: -1 or o?
-1
Let v = -8 + 11. Let m = -2.9 - -6. Let x = m - v. Does x = -1?
False
Let a = -4.7 - -5. Is 4 != a?
True
Let x = 8 - 5. Let q(c) = -c**2 - 2*c + 2. Let o = 8 + -10. Let b be q(o). Which is smaller: b or x?
b
Let b = -6/19 + 68/95. Suppose 2 = j + 1. Is b bigger than j?
False
Suppose 0*t = -5*t + 5*p - 90, -p + 56 = -3*t. Let u = t + 18. Which is greater: u or -10?
u
Let x = -5.709 - -0.009. Let q = -2.9 - x. Let k = q - 3. Which is bigger: k or 3?
3
Suppose 5*p + r - 21 = 0, r = -5*p - r + 17. Which is smaller: 4 or p?
4
Suppose 6 = -4*i + 3*i. Is -5 bigger than i?
True
Let d be (-2)/(-8) + (-897)/1012. Is -0.1 bigger than d?
True
Let l(z) = z**2 - 3*z + 3. Let p be l(3). Let b = 2 - p. Let h be -1*3/(-6)*0. Is h not equal to b?
True
Let c be 12/(-10)*(-3 - -1). Let y be ((-62)/60)/((-2)/(-4)). Let r = c + y. Which is smaller: -1 or r?
-1
Suppose 4*j = -6 - 2. Suppose h + 5*a + 19 = -9, -h = -2*a - 7. Let i be ((6/(-4))/h)/j. Which is smaller: i or 1?
i
Suppose 0 = -0*q + 4*q + 2*u, -3*u = q. Suppose 2*x = x - 1. Is x less than q?
True
Let d be (-20)/(-171) - 6/27. Let u = 6 + -7. Which is bigger: u or d?
d
Let c = -14 - 2. Is -17 at most c?
True
Let f = 0.02 + -9.02. Let t = f - -11. Which is smaller: -0.4 or t?
-0.4
Let s = 0 - 0. Let m be -16*(12/8 - -3). Let o be 2/(-8) - 50/m. Which is bigger: s or o?
o
Let z = -10 - -9. Let s be -1*(0 + -1 + 2). Is z at least as big as s?
True
Let q = -22.7 + 25. Let y = -10.7 - q. Which is greater: -0.1 or y?
-0.1
Let w be 1*(-2 - 2)/(-2) - 0. Is 11/10 <= w?
True
Let z = 6 + -5.8. Let h be ((-6)/(-9))/2*1. Is z equal to h?
False
Suppose 5*j + 2*i - 18 = 0, j - i - i + 6 = 0. Suppose -4*h = -2*h + j. Let l be 18/(-24)*h/(-3). Is l less than or equal to -1?
False
Let t be ((-2)/(-78))/(7/21). Which is greater: t or 0?
t
Let o = 2/2965 - -8723/254990. Let f = o + 335/258. Which is smaller: f or 1?
1
Let r = 11 + -9. Which is smaller: r or -4?
-4
Let o be (-12)/(-18) - (-5)/(-3). Are o and -1/16 nonequal?
True
Let d = 30 - 19. Let l = 28 - 20. Let a = d - l. Is 1 smaller than a?
True
Suppose -4*j + 2*j - 16 = 0. Let x = j + 8. Suppose x*u - u = -1. Is u <= -2/9?
False
Let l = 8 - -7. Suppose 4*u + l = u. Which is greater: u or 0?
0
Suppose -3*l + 16 = -8. Are 8 and l non-equal?
False
Let f be 12/52*(-2)/3. Which is smaller: f or 0?
f
Let y be (-2)/4 - 9/(-6). Let i be (-9)/(-3) - y - 2. Which is greater: -2/13 or i?
i
Let b(q) = 4*q + 23. Let s be b(-6). Is s > 2/289?
False
Let d = 119/156 + -11/12. Let f be (-2)/(-4)*(-2)/3. Is f not equal to d?
True
Suppose -5*j - 4 - 1 = 0. Let v be 1/(-3)*-3*j. Let h be 2 + 2/v - 1. Which is bigger: h or 2/7?
2/7
Let w(b) = -b**3 - 15*b**2 - 14*b + 4. Let j be w(-14). Suppose k + 3 = v, 17 = -j*v - 4*k + 5. Which is smaller: 1/45 or v?
v
Let w = -3 - -6. Are w and 7/2 equal?
False
Let k = -8 + 8. Let q = -4.99 - 0.01. Let w = -10 - q. Does w = k?
False
Let a = -20 + 31. Is 10 > a?
False
Suppose -1 = -a + 5. Which is bigger: a or 7?
7
Let y = -4 - -3.72. Let t = y + 0.08. Let c = 1 + -2. Is t not equal to c?
True
Suppose -11*x + 4*x + 14 = 0. Let j = 369/52 + -29/4. Is j < x?
True
Let m = 7.196 - 0.096. Let k = 8 - m. Let y = k + 0.1. Which is bigger: -1/5 or y?
y
Let p = -0.7 - -4.7. Let c = 8 + -14. Let v = c + p. Is -1 less than v?
False
Let v = -2.1 + 1.9. Which is smaller: -0.3 or v?
-0.3
Suppose 7*m - 2*m = -30. Let x be (2/m)/(40/(-30)). Is -1 less than x?
True
Let b be 1/(1/6) + -2. Suppose -c - b = c. Is c > 0?
False
Let i be 87*(3 + 24/(-9)). Is i bigger than 28?
True
Suppose -4*a - 85 = 11. Is -25 bigger than a?
False
Let p(v) = v - 3. Let i be p(7). Let d be (-76)/(-114) - (-2)/6. Is i <= d?
False
Let h = -1/52 - -27/52. Let r be (-24)/(-18) + (-1)/3. Which is greater: h or r?
r
Let r(o) = -o**2 - 2*o + 34. Let t be r(6). Is -11 greater than or equal to t?
True
Let r = 22 - 17. Let k(q) = q**2 - 5*q - 2. Let c be k(r). Which is bigger: -1 or c?
-1
Let l(c) = c**3 + 11*c**2 + 9*c - 14. Let n be l(-10). Let x(v) = -v**3 - 5*v**2 - 3*v + 3. Let u be x(n). Is u at least -3?
True
Let u be 0 - 96/(-215) - (-4)/(-10). Let n be ((-10)/(-8))/5*4. Are u and n equal?
False
Suppose r - 2 = -0. Suppose -r + 6 = 2*n. Suppose 0 = n*m + 3*m. Is -2/23 at least as big as m?
False
Let f = 72 - 83. Which is smaller: -10 or f?
f
Suppose -3 = j - 9. Suppose n - y + 0 + j = 0, y - 5 = 0. Is 1/11 != n?
True
Let q(h) = h**3 + 5*h**2 + 4*h - 5. Let n be q(-6). Is -67 smaller than n?
True
Let i be 3/5 - (-147)/5. Let h be (-25)/i*8/70. Suppose 0*g = -2*g. Is g greater than h?
True
Suppose -3*a + 131 = 3*o - 49, -5*a = -5*o - 270. Which is smaller: a or 58?
a
Suppose 0 = 2*i - 0*i. Let d be -2 - 2/4*-118. Let w be (d/(-21) + 3)/2. Is i less than w?
True
Let s = 4588 - 110077/24. Let c = s + -