 -6*r**3 + 4*r + 3. Let d be y(-2). Suppose 15 = 5*q + 5*c + 80, -c = 3*q + d. Let u be ((-4)/10)/((-12)/q). Which is smaller: 0 or u?
u
Suppose 3*o + 11 + 4 = 0. Let l be (19/o)/(12/(-5)). Let v = l - 5/4. Which is bigger: v or -1?
v
Suppose -8*j + 6 = -5*j. Suppose -2*c - 5*g = 27, 2*c - 3*g + j = -1. Which is greater: c or -5?
-5
Let k = -35 - -593/17. Is k != 1?
True
Let m(w) = -w**3 + 3*w**2 - 3*w + 3. Let x be m(2). Let p = 148718/727 + 38/5089. Let c = p - 205. Which is smaller: c or x?
c
Let w(x) = -x**2 - 17*x - 7. Let h be w(-16). Is h bigger than 10?
False
Let l = 2 + -2. Let d = 167 - 166.98. Which is bigger: d or l?
d
Let v = 0 + -0.6. Let x = 0.5 + v. Is x < 8?
True
Let h = 1.3 + -1.4. Let f = 0.6 + -0.4. Let c = -0.22 + f. Is c less than h?
False
Let f = -7 + 11. Suppose -3*o + 2*h - 6 = h, 3*h = -5*o + f. Are o and -1 nonequal?
False
Let p = -7.77 + 8.1. Let h = p + -0.03. Which is smaller: h or 0?
0
Let p = -59/891 - 2/81. Is -1 >= p?
False
Suppose -4*b - 2*w + 2 = -2, 0 = -4*b - 4*w. Suppose 0 = 3*r - 13 - b. Are r and 1 unequal?
True
Suppose 76*u - 93*u + 17 = 0. Let j = -180 + 1258/7. Is u <= j?
False
Let c = 12 + -12. Let p = -1784/39 + 140/3. Is p smaller than c?
False
Suppose -7 - 3 = -5*z. Suppose -z*d = 4*a + 28, 12 = -4*d + d + 4*a. Let j = d - -4. Which is bigger: -1/2 or j?
-1/2
Let h = -69 - -68. Which is bigger: 0.03 or h?
0.03
Suppose o = -3*f - 14, -2*f + 7*f = 5*o - 30. Suppose 1 = -g - o. Do -5 and g have the same value?
False
Let u be (5 + -3)*(-9)/6. Which is greater: -11 or u?
u
Suppose 2 = -4*i + 6. Let r be 15/(-162)*(-6)/3. Let v = r - -73/189. Which is greater: v or i?
i
Let w = -9.97 + -0.33. Let u = w + 10. Which is smaller: u or 0.2?
u
Let b(z) = z - 18. Let t be b(13). Let n = -17 - -14. Which is bigger: n or t?
n
Let f = 0 - -6. Let a be (2/3)/((-1)/f). Is a equal to -5?
False
Let g(p) = -p - 1. Let x be g(-3). Let y be 36/(-8) - 1/x. Which is bigger: -2 or y?
-2
Suppose 0 + 3 = -v. Let s = 2 + -1. Is v less than s?
True
Let t = -1 - -6. Suppose -t*q - 5 = -0. Let g = 102/5 - 21. Is g less than or equal to q?
False
Let b = -9.49 + 1.47. Let n = b + 8. Let j = n - -0.12. Does j = -2/11?
False
Let y be 2/(-6) + (-11 - (-93)/9). Is -2 != y?
True
Let g(a) = -a - 5. Let c be g(-5). Let o be (1 + -2)/(c - -1). Is -0.1 not equal to o?
True
Suppose q - 3*q = -3*q. Which is bigger: 25 or q?
25
Suppose 18 = 4*x - 22*x. Is x smaller than -6/143?
True
Let k(i) = i**3 - 11*i**2 + 11*i - 10. Suppose g + 2*y = 0, -2*y = g - 5*y - 25. Let w be k(g). Let h be (-4)/(-6)*6/(-22). Which is smaller: h or w?
h
Let m = -12 + 11. Let u = 202/7 + -29. Which is bigger: m or u?
u
Let h = -35 - -113. Let r be 3 + (-1)/(h/231). Which is bigger: r or 1?
1
Let q be (-64 - 2)/((-1)/(-2) - -1). Which is smaller: q or -43?
q
Suppose l - 5 = 0, 5*v + 3*l - 7 = 23. Let j be (v/2)/((-5)/10). Let o = -3/20 - 27/20. Which is bigger: j or o?
o
Suppose l - 5*o = -11 + 38, 2*l + 2*o + 6 = 0. Suppose d - 4*d - l*b + 17 = 0, 4*d = -4*b + 28. Suppose -y = -d*y. Which is smaller: y or 1/6?
y
Suppose z - 5*m + 26 = 0, 5*m - 4 = -z + 10. Is -8 equal to z?
False
Let q = -55/3 - -37/2. Which is greater: q or 2/11?
2/11
Let d = 706.02 + -715. Let i = -0.02 + d. Which is bigger: i or 1?
1
Suppose -5*p + 0 = -20. Let l = 15 + -18. Let r = l - -8. Which is smaller: p or r?
p
Suppose -3*d - 6 = -4*a - 2219, 4*a + 2948 = 4*d. Let l be (-309)/d + (-2)/(-5). Let s = 247/98 + l. Which is smaller: 2 or s?
2
Let z = 15.368 - -0.692. Let v = z + -11.1. Let o = 0.04 + v. Is o at least as big as -1?
True
Let o = -8 + 6. Let h be 3*(o/2)/3. Are h and -7 nonequal?
True
Suppose -2*y + 4*j - 28 = 2, 5*y + 3*j = -10. Let p = y + -1. Does -5 = p?
False
Let l = -39 - -56.2. Let a = -17 + l. Which is bigger: a or 0.1?
a
Let l = 16 + -2. Are 14 and l nonequal?
False
Let r = 28 - 1. Is 0 equal to r?
False
Suppose -2*z - 4*g - 2 = 0, 15 + 0 = -4*z + 3*g. Let h = -5 - z. Suppose -q = -0*v - 5*v - 17, 2*q + 14 = -2*v. Is q smaller than h?
True
Suppose -s + 3 = -2, -3*s = -r - 17. Which is bigger: r or -1?
-1
Let k = -534 - -12280/23. Let u = k - -47/276. Which is smaller: u or 1?
u
Let b(j) = -j**3 + 4*j**2 - 4*j + 3. Let s be b(3). Let a be ((-3)/(-6))/((-1)/16). Let c = 8 + a. Is s < c?
False
Let l be (31/9 - 3)/((-44)/(-33)). Which is greater: l or -121?
l
Suppose 0 = -4*y + 5*o + 5, -o = y + 8 + 2. Let k(b) = -6*b - 7. Let q(n) = n. Let m(g) = -k(g) - 5*q(g). Let t be m(y). Is 2 greater than or equal to t?
True
Let y(f) = f**2 - f + 8. Let z(p) = 2*p**2 - p + 17. Let t(d) = 13*y(d) - 6*z(d). Let b be t(7). Suppose 0 = -b*u - 3 + 5. Are u and -2/5 nonequal?
True
Suppose 2*k + 5 = 15. Suppose 0 = -2*v + 9 + 3. Suppose v*q = q + k. Which is smaller: q or -1?
-1
Let t = 0.2 + 0.8. Let n be (-4)/12 + (-8)/3. Which is smaller: t or n?
n
Let g(j) = j**3 + 3*j**2 + 3. Let z be g(-4). Let h = z - -13. Which is smaller: 2/3 or h?
h
Let h(i) = i + 4. Let t(c) = 2*c + 8. Let u(j) = -7*h(j) + 3*t(j). Let p be u(-5). Let a be ((-1)/3)/((-4)/(-12)). Are a and p nonequal?
True
Suppose 0 = -46*o + 39*o + 112. Are o and 19 non-equal?
True
Let m be 1/(-3) - 50/(-6). Suppose 0*s + 2 = -2*g - 4*s, g - m = s. Is g greater than 6?
False
Let s(h) = -h**3 + 7*h**2 - 6*h + 6. Let a be s(6). Let v be (-2 - 1)/(a + -2). Which is bigger: v or -2?
v
Let o = 59 - -8. Suppose 4*q = -2*i + 18, 5*q - o = 5*i - 7. Is q smaller than 8?
True
Let u = 8843/11400 - 1/1425. Let r = u + -7/40. Let y = -3 - -2.9. Do y and r have the same value?
False
Let u = -15 + 11. Which is smaller: -5 or u?
-5
Suppose 0 = -7*c + 3*c - 8. Let n be 1*3*c/4. Let q be (-1)/(-2) + (-9)/6. Is n < q?
True
Let j = -295/264 - -38/33. Which is greater: -1 or j?
j
Let a be -2 - (-2 - (5 - -1)). Let u(h) = -h + 7. Let l be u(a). Let c be 0 + l/(-3)*-2. Does c = 2?
False
Let z = 2 - 2.8. Let r = -0.8 - z. Is r equal to 1/5?
False
Let i(m) = 2*m**3 + m**2 - 5*m - 7. Let p(f) = f**3 + f**2 - 3*f - 3. Let n(r) = 2*i(r) - 5*p(r). Let v be n(-4). Let a = 12 + -17. Which is bigger: v or a?
v
Let v = 0.02 - 0.52. Let i = v + 3.5. Suppose -2*f = 2*f - 8. Is i equal to f?
False
Let u = 81.3 + 26.7. Let p = u + -114.1. Let c = 1.1 + p. Is c > 0?
False
Let x(i) = -i**2 - 11*i + 7. Let r(c) = c**2 + 12*c - 7. Let g(m) = 5*r(m) + 6*x(m). Let j be g(-7). Which is bigger: 1/3 or j?
1/3
Let o be (2/(-3))/(2/3). Let l be (((-7)/(-6))/(-7))/1. Do l and o have different values?
True
Suppose 0*s - 7*s = 0. Is s not equal to -16/11?
True
Let z be ((-8)/2)/(-2) - -1. Let d be (-50)/z*45/(-10). Let q be 12/d*5/(-2). Is q bigger than 1?
False
Let c = 11 + -15. Which is greater: c or -5?
c
Let l be (-3 - (3 - 1))/(-1). Suppose 4 = 4*b - 2*j, b + l*j + 12 = 2. Let w be (1 - b)/(-1) - -5. Is w less than -1?
False
Suppose -3*l - 1 = -16. Suppose -l*u - 10 = 2*h, -3*u - 8 = u. Let w be (h*1/(-1))/(-1). Is -1 at most w?
True
Suppose -3*k + 7 + 20 = 5*a, 0 = -k - a + 7. Suppose -5*i = -f + 6*f + 5, 3*i + 6 = -k*f. Which is smaller: 4 or i?
i
Let n(v) = v**2 - 9*v + 8. Let q(s) = s - 1. Let r(c) = -n(c) + 4*q(c). Let h be r(12). Are h and 6/5 nonequal?
True
Suppose -4 + 14 = -p. Suppose o + 2*c = -2*o + 16, -2*c - 16 = -5*o. Let q be ((-1)/p)/(o/(-10)). Is q less than or equal to 1?
True
Suppose 0*j + 2*j = 2*c - 2, -5*j = -2*c + 11. Let n be (-1)/(-2) + 12/(-8). Which is bigger: c or n?
n
Let c be (-2)/2*1*9. Let o be 6*-2*3/c. Suppose -2*n + 0 = -x + 3, o*n + 4*x = 12. Is -4/3 smaller than n?
True
Let a(u) = u**3 + 2*u**2 - 4*u - 1. Let m be a(-3). Suppose 0 = -2*s + 4*s - 2. Suppose 2*l + s = 3*l. Which is smaller: m or l?
l
Let b(v) = v + 5. Let n be b(11). Which is smaller: n or 2/3?
2/3
Let r be 3/18 + 106/48. Let m = r + -93/56. Is m at most 1?
True
Let t be 9 + -6 + (1 - 7). Let i = -7 + 5. Which is smaller: t or i?
t
Let r = -136 + 139. Is -5/11 equal to r?
False
Let l(n) = n - 1. Let s be l(-5). Let y = 70 + -126. Let z be s/(-14) + (-18)/y. Which is smaller: 0 or z?
0
Let x = 0.2 + 0.2. Is x equal to -1/3?
False
Suppose -o + 3*c = 2*o, 0 = 5*o + 2*c. Suppose o = -4*q + 5*i + 28, -q - 2*i - 10 = -2*q. Does 0 = q?
False
Let d be 33/(-110)*(0 - (-10)/12). Are 3/4 and d equal?
False
Let k = 24 - 18. Suppose -k*p = -2*p. Are p and 3/20 equal?
False
Let d(c) 