
Let n(i) = i**3 + 8*i**2 - 2*i - 10. Let z(t) = -t + 4. Let r be z(12). Let w be n(r). Let s = -16 + 22. Is s not equal to w?
False
Let q(y) = y**2 + 13*y - 27. Let g be q(-15). Let t be (-23 + -53)*g/(-16). Does 13 = t?
False
Let d = 576.952 - 579. Let y = -0.048 - d. Is 0.1 equal to y?
False
Let f(a) = -2*a. Let p be f(-3). Let h be (-12)/(-8) - 2/(-4). Suppose c - p = -h*c. Which is smaller: c or 3/2?
3/2
Suppose -3079*q + 255 = -3076*q. Which is greater: 84 or q?
q
Let i(g) = g**2 + 8*g + 16. Let b be i(-7). Suppose -b = -z - 12. Let f be (-6)/(-3)*3/(-2). Are f and z equal?
True
Suppose -49*b = -33*b. Which is bigger: -4/121 or b?
b
Let l be (4/2)/(19 - 3157/165). Is -17 less than l?
True
Let t be ((-20)/3)/(6/45). Let j = t + -6. Let q be 4/j*2*6. Which is greater: -1 or q?
q
Let p = 188 - 188.3. Which is smaller: p or 0.106?
p
Let y = 9 - 8.93. Let l = -0.17 + y. Let f = -99 - -96. Which is greater: f or l?
l
Let s = -2775 - -2775. Let f be 6/(-69)*6/20. Is f not equal to s?
True
Let k = 1.829 - -0.171. Is k < 4?
True
Let h be (-66)/7821*(2 + 1). Which is smaller: h or -1?
-1
Let i be (-9)/((-27)/(-6)) + (-184)/(-96). Is i less than or equal to 1?
True
Let d be 5/(-1)*-1 + -2. Suppose -4*a - d*s = 1, 0*a - 3*s + 1 = 2*a. Suppose -x + 1 = -0*x. Is a greater than or equal to x?
False
Suppose 56 = 3*b - 181. Suppose 2*z + z - 234 = 0. Which is smaller: b or z?
z
Let t = -4355/12 + 363. Let u = 2 + -5. Let y be 2 - (6/(-1))/u. Which is smaller: t or y?
y
Let m be (207/(-70) - -3)/(-6 - -9). Are m and 0 nonequal?
True
Let n = -49 - -20. Let i = 24 + n. Which is bigger: 0.3 or i?
0.3
Suppose 3*c + 4*x = 22, 5*c = -x + 15 + 16. Let s(a) = -5*a + 11. Let l be s(c). Let f = -20 - l. Which is greater: f or -2/7?
-2/7
Let w(p) = -p - 5. Let j be w(-5). Suppose 0 = -5*x - j + 10. Suppose -4*v - 4 + 16 = -2*d, 0 = v - 4. Does x = d?
True
Let w = 2041/91596 - 5/204. Is 0 <= w?
False
Let q = -1.83 - 0.17. Suppose 5*c + 4 = -31. Which is smaller: q or c?
c
Let w be -5 + (-11)/((-99)/9). Let i(x) = x**3 + 7*x**2 + 7*x + 3. Let n be i(-6). Which is smaller: n or w?
w
Let d = 2.68 - 2.9. Let z = -0.5 - -0.72. Let f = z + d. Is -3 greater than or equal to f?
False
Let y(f) = -3*f - 44. Let d be y(0). Let z = d - -38. Are -4 and z equal?
False
Let g = 3369973/393 + -8575. Which is smaller: g or 0?
g
Suppose 0 = 3*m + 3*d, 0*m + 3*m + 5*d - 6 = 0. Let u be (-18)/8 - (-1)/4. Let h be 1/(u - m/2). Is -2 != h?
False
Suppose 18*q + 112 + 158 = 0. Which is bigger: q or -12?
-12
Let v = -81 - -105. Suppose 12 - v = 2*b. Which is smaller: -5 or b?
b
Let g be (-3)/(-19)*(-6)/(-18). Suppose -3*a - 12 = -2*y - y, -2*y - 3*a - 12 = 0. Which is smaller: y or g?
y
Let z(g) = g**2 - 13*g + 30. Let n be z(10). Which is greater: n or 10/23?
10/23
Let i = -8 + 10.1. Let n = 743/2 - 372. Are n and i nonequal?
True
Let l(r) = -2*r. Let m = -2 + 1. Let j be l(m). Suppose -10 + 2 = j*g. Is g less than -1?
True
Let p = 1954/15939 + -2/1449. Is -1 less than p?
True
Let v = 1163 - 842. Which is greater: v or 1/2?
v
Let k = -60 - -59.9. Let t = -0.15 - k. Which is greater: -2/7 or t?
t
Let m(x) = -x**3 + 5*x**2 + 5*x + 7. Let f(b) = -b**3 + 4*b**2 + 2*b - 9. Let o be f(3). Let d be m(o). Is 3/2 less than d?
False
Let v be 0*(4 + (0 - 3)). Which is bigger: v or -5/8?
v
Let a = 0.01 + -1.21. Let i = -71.06 - -71.16. Which is smaller: i or a?
a
Let w = -31 - -10. Let k be 8/(-3)*w/(-14). Let s = 5 + k. Which is greater: s or 3?
3
Let l be (-1 - (-12)/8)*10. Suppose l*a + 0*a = -g - 2, 4*g + 8 = 3*a. Let b = -1/22 - -6/11. Are a and b non-equal?
True
Let p(n) = n + 21*n**3 - 2*n**2 - 22*n**3 + n**2 + n. Let w be p(0). Is w less than 2/9?
True
Let n = -76/91 + 12407/364. Let m = -33 + n. Is 7 <= m?
False
Suppose 0 = 4*f + f + 5. Let p be ((-1524)/18415)/(1/5). Which is greater: p or f?
p
Suppose -4*r + 21 = j, 5*j + 2*r + 10 = 25. Are 21/34 and j non-equal?
True
Let j be (-122)/(-10) - (-1)/(-5). Suppose m = 3*i - j, 0*m = 3*m. Suppose i*g + 4 + 0 = 0. Is g less than or equal to 2/5?
True
Suppose -57*y = -67*y - 2390. Which is greater: -238 or y?
-238
Let k be ((-4)/(-10))/(738/30*-1). Let f be (1/2)/((-9)/18). Is f > k?
False
Let z(u) = -3 + 3*u - u - u**2 - 2*u - 2*u. Let m be 12 - 18 - 2/((-2)/3). Let v be z(m). Does v = -6?
True
Let b(m) = 2*m**3 + 2*m**2 - 2*m - 1. Let g be b(-2). Let i be (g/(-50))/((-4)/10). Does i = 4?
False
Suppose 0 = p + 4 - 15. Suppose -20*y + 54 = -p*y. Are y and 2/11 nonequal?
True
Let h(x) = -5*x - x**2 + 0*x**2 + 4*x + 3. Let k be h(0). Let v = -8 + 13. Which is greater: k or v?
v
Let g = -0.088 - -0.898. Let u = -0.51 + g. Which is smaller: -4 or u?
-4
Suppose -y - 2*y = 11*y. Let v be ((-2)/3)/(2/(-126)). Let a be 1 + y - 24/v. Is a <= -0.1?
False
Suppose 5*n - 124 = n. Let b = 54 - n. Suppose -b*j + 12 = -20*j. Is 6 > j?
True
Let w be (4 - 20/4)*-1. Let y be (-77)/(-14) - w/2. Suppose j = y*j. Is j less than 2/9?
True
Let f = 12 - 21. Let b be f/3*8/(-6). Let c = -15 + 19. Are b and c unequal?
False
Let f = 59 + -54.1. Let l = 5.37 - 0.37. Let y = l - f. Is -4 at most y?
True
Let m = -125024/59 + 2119. Which is greater: -1 or m?
m
Let g be (7 - (-217 - -3)) + 5. Is g bigger than 226?
False
Let q be 2*9/30*(-1 + -4). Let o be (-8)/6 + (-1)/q. Is o at least as big as 1/12?
False
Let d = -0.202 - -0.302. Which is smaller: -25/8 or d?
-25/8
Let s be 78/(-5)*2/(-4). Suppose -3*h + 34 = 5*n, h - n = -3*n + 12. Let b = s - h. Which is bigger: 0 or b?
0
Let a be (-627)/(((-30)/9)/(15/(-12))). Is -235 less than or equal to a?
False
Let g = 129.99 - 131. Let q = 3.01 - 3. Let c = g + q. Which is bigger: c or -0.9?
-0.9
Let s(x) = -3*x + 41. Let p be s(16). Let m(g) = -3*g**2 - 8*g + 3. Let n(w) = 10*w**2 + 25*w - 8. Let z(i) = -7*m(i) - 2*n(i). Let f be z(p). Does 7 = f?
False
Let k be (1 + 0)/(-4 - (-84)/20). Suppose -4*r = 2*q - 2, 0 = -k*q - 5*r + 1 + 4. Is 5 < q?
False
Let q = -639 - -27. Is 0 <= q?
False
Suppose 3*z = 2*z + 3. Let f be -2 - (-4 + 3 - z). Suppose 6*w + f = 4*w. Which is smaller: 2/21 or w?
w
Let m = 519 - 521. Is 275 bigger than m?
True
Let d(f) = f + 10. Let b be d(-11). Let s be -1 + b + (1 - (-78)/74). Suppose -2*r + 4*v = -4, -5*v - 3 = 2*r + 2. Which is smaller: s or r?
r
Let n = 0.0188 - 6.0188. Which is greater: n or 2/7?
2/7
Let r be 3*5/(45/12). Suppose -5*v = q - 55, -3*v = v + r*q - 60. Suppose 5*n + 12 = 3*c - 38, v = -n + c. Which is bigger: n or 1/3?
1/3
Suppose 50*w = 36*w + 140. Which is bigger: w or 1?
w
Let t(m) = -6*m + 29. Let q be t(9). Let f be (1 - 0)*q + 0. Which is smaller: -26 or f?
-26
Let y = 1 + -36. Suppose 105 = -3*d + 3*u, d + 50 = -u + 17. Is d less than or equal to y?
False
Let r be (-87)/6*(15 - 9). Is -88 greater than r?
False
Suppose -3*r + 8 = -2*f, -18 = -3*f - 4*r + 4. Let v(s) = s**3 - 11*s**2 + 2. Let c be v(11). Suppose -j = -0*j - 3*h + 7, -c*j - h = -7. Are f and j non-equal?
False
Suppose -7 = 4*a + 4*t - 11, 5*a + 3*t - 1 = 0. Is a at most as big as 4/147?
True
Suppose 5*q + 16 - 11 = 0. Let j be 2/12*(16/(-180))/1. Is q bigger than j?
False
Let x(r) = -r**3 + 18*r**2 - 45*r + 13. Let j be x(15). Does 93/7 = j?
False
Let w = 1522.8 - 1523. Is w greater than 0.039?
False
Let k = -9238/3 - -3035. Which is smaller: -43 or k?
k
Let b = 1/20 - -3/20. Let v = 176.2 + -176.4. Which is smaller: v or b?
v
Let r be ((-16)/32)/(1 + 843/(-840)). Which is smaller: 138 or r?
138
Let f(y) = y**2 + 5*y - 11. Let g be f(-7). Suppose 11 - g = 4*l. Which is smaller: l or 5?
l
Let s be (-7)/105*30/9. Is 0.073 not equal to s?
True
Suppose 7*m + 784 = -9*m. Is -48 at most as big as m?
False
Let r = -23/12 - -13/4. Let o be 1/(-3) - 10/(-30). Is r less than o?
False
Let r(a) = -a**2 - 12*a + 6. Let c = -103 + 91. Let h be r(c). Which is greater: h or 10?
10
Let u = -11626 + 11625. Let d be (-2)/(-7) - 55/21. Is d equal to u?
False
Let m = 1 + -1. Let g be 639/(-6)*(-18 + 16). Let t = g - 1062/5. Is m greater than t?
False
Let i = -3759/16 + 235. Is i less than or equal to -2/7?
False
Let n = 98 + -126. Let z = -27.2 - n. Which is bigger: z or 0.01?
z
Suppose 50*c = 30*c + 16*c - 24. Suppose -3*f = f - 16. Suppose 5*p + t - 5*t + 21 = 0, -29 = 5*p + f*t. Which is greater: p or c?
p
Suppose 0*w + 24 = -4*w. Let y 