- -3. Let p(x) = x**3 - 3*x**2 + x - 4. Suppose -4*i + 4*w + 15 = 5*w, 4*i = -3*w + 21. Let g be p(i). Which is greater: l or g?
l
Suppose -f - 4 - 18 = -5*o, 5*o + f = 18. Let x be 46/(-6)*18/o. Let a = 36 + x. Is a > 1?
True
Suppose 3 + 12 = -5*a. Let l = -5 - a. Let z = l - -2. Which is greater: -1 or z?
z
Suppose -2*t + 5*i - i = 32, 0 = -2*t + 3*i - 27. Let p be (-5 - t)*(-1 - -1). Let k = -3 - -2. Which is bigger: k or p?
p
Suppose -21*h + 183 = -6. Is h at least as big as 12?
False
Let y be (2/(-4))/(1/2). Let i be -3 - ((-26)/7 - y). Let o(s) = s**2 - 3*s - 1. Let h be o(3). Which is smaller: i or h?
h
Let y = -26 - -23.9. Is y < 1/4?
True
Let u = -22/7 - -73/21. Which is smaller: u or -1?
-1
Let r = -13 - 11. Which is smaller: -21 or r?
r
Let d be ((-4)/(-50))/(3/60). Let z = 9 + -6. Which is smaller: d or z?
d
Suppose -2*t = 5*t. Is 6/5 > t?
True
Let o = -6/11 - -40/33. Let x = 8 + -4. Suppose v + 25 = 6*v - 5*b, -x*v - 2*b = 10. Which is bigger: o or v?
o
Suppose 0 = 4*r - 9*r. Which is bigger: -5/4 or r?
r
Let j = 22 - 16. Which is smaller: j or -2?
-2
Suppose n + 3 = 6. Let l be n*8/(-4)*-1. Is l greater than 6?
False
Let b = 18 - 18. Is -2 less than or equal to b?
True
Suppose 0 = 3*b - 5*r + 17, 4*b + 3*r - 3 = 13. Let m be 4/(-3)*3/(-26). Is b less than m?
False
Let v(l) = l - 4*l**2 - 7*l + 0*l + l**3 - 7 + 2*l. Let h be v(5). Is -4 at most as big as h?
True
Let x(i) = -7*i - i**2 + i**3 + 7*i - 9*i**3. Let z be x(-1). Is z < 6?
False
Let u(n) = n - 9. Let g be u(-3). Let x be (-1)/(-6) + (-10)/g. Are x and 1 unequal?
False
Let x = 215/2 - 3118/29. Which is smaller: x or -1?
-1
Suppose 0*p + 38 = 2*p. Let t be 86/(-4) - 2/(-1). Let f = t + p. Are f and 0 non-equal?
True
Let d(h) = -h**2 + 4*h + 2. Let b be d(4). Let j be (-86)/(-18) - 6/(-27). Suppose -j*m + 6 = -3*m. Is m at least as big as b?
True
Suppose 4*i = -y + 22, 2*i - 18 = y + 2*y. Let c(g) = g - 5. Let p be c(i). Let a be (-4 + 5)/((-2)/(-4)). Is p less than a?
True
Let j(d) = d**3 + 8*d**2 - 2. Let i be j(-8). Let o = -7 - i. Suppose h = -2*u + 3*h - 10, -2*u - 10 = 3*h. Is u at most as big as o?
True
Suppose 2*y = -y + 9. Suppose 2*s + y*f - 77 = 7*s, -5*s = -4*f + 81. Let t = s - -66/5. Which is smaller: 1 or t?
t
Let w = -44/85 - -3288/5695. Which is bigger: 1 or w?
1
Suppose -3*o - 5*f = 2, -4*o + 5*f + 10 = o. Let k be (1 - (1 + -3))*o. Suppose -4*r = -k*r. Do r and 0 have the same value?
True
Let b = 7 + -2. Let i be (-6)/15*(0 - b). Let l be (-2)/(1 + -3)*0. Do i and l have the same value?
False
Let n be (4/10 - 3/(-5))*1. Let v(t) = -9*t**2 + 3*t - 3. Let k be v(2). Let s = k + 98/3. Is n >= s?
True
Let z = 0.32 + -0.21. Let m = -0.11 + z. Which is smaller: m or -1?
-1
Let q = 2 + 13. Which is smaller: q or 14?
14
Let g = -5 + 12. Let m = 7.02 - g. Let b = 0.08 + m. Which is smaller: 0.01 or b?
0.01
Let d be (-2 + -8)/(3/(-3)). Suppose -2*o - d = -7*o. Suppose -o*u + 2 = -0. Is 1/2 >= u?
False
Let w = 5.2 - -0.8. Which is bigger: w or -1?
w
Let l = -0.066 - -0.036. Is -1/7 at least l?
False
Suppose -2*y + l = -3, 4*y - 4*l = -3*l + 3. Which is smaller: 3/31 or y?
y
Let d be (-14)/(-63) - (-161)/(-36). Is d bigger than -3?
False
Suppose -2*f + 24 = -4*j - 52, 13 = -j - f. Which is smaller: j or -18?
-18
Let b = -25 - -24.8. Let h = b + -9.8. Does h = -0.1?
False
Suppose 9*o - 40 = 14*o. Is -10 >= o?
False
Suppose -o = -3*o + 8. Suppose -9*q = -o*q. Do -2/15 and q have the same value?
False
Let j be (-6)/(-3)*49/2. Let s = j - 243/5. Is s >= -1/3?
True
Suppose k + 4*k = 30. Suppose 5*i + k - 26 = 0. Do 5 and i have the same value?
False
Suppose -14*j - 492 = -2*j. Is -40 bigger than j?
True
Suppose -4*w = -6*w. Suppose k + 4*u + 3 = w, 0 = -k + u + 1 + 1. Suppose -2 = -4*t + 2*n - 4, -3*t + 4*n - 14 = 0. Which is smaller: k or t?
k
Let x = -4.9 - -5. Let c = x - 3.1. Are c and -3 equal?
True
Let z = 17 - 8. Let k = -10 + z. Is 2/11 != k?
True
Let r be ((-1)/3)/(12/(-279)). Let p = r + -8. Which is bigger: 1 or p?
1
Let j = -1.1 + -1.9. Are 2/3 and j unequal?
True
Let q be 612/27 + 2/6. Suppose -2*i + 12 = -2*m, -3*i - 3*m + 7*m = -q. Which is smaller: -0.1 or i?
-0.1
Let n(v) = -v**3 - 13*v**2 - 10*v + 23. Let t be n(-11). Is -110 at most as big as t?
True
Suppose -4*c = 22 - 2. Let w = -7 - c. Let s be 8/20 - (-17)/(-5). Does s = w?
False
Suppose -2*j - 67 = 3*j + 4*d, -j - 4*d = 23. Let s = -10 - j. Which is bigger: s or 2?
2
Let d = 0.03 + -0.23. Is 0.1 less than d?
False
Let z be (-12)/(-20) - (-14)/10. Is z at least 2?
True
Let x be 68/5 + 6/15. Let o = x + -16. Which is smaller: o or -3?
-3
Let c(z) = 4*z - 14. Let h be c(4). Which is smaller: 3 or h?
h
Let s be 50/(-77) + (-6)/(-21). Suppose -4*y + 1 = -3*y. Which is bigger: y or s?
y
Suppose h + 3*h - 8 = 0. Let b(q) = q**3 - 9*q**2 + 9*q - 8. Let d be b(8). Let z be (d/(-2))/(2 + -3). Is z smaller than h?
True
Let u be -8 + 4/(-3)*-3. Which is bigger: u or -3?
-3
Let u be ((-1)/(-2))/((-3)/(-6)). Which is bigger: u or -2/11?
u
Suppose 2*b + 3*b = -5*s + 15, 4*s - 4 = 0. Is 2 at least b?
True
Let r(u) = -u**3 - 5*u**2 - 5*u - 6. Suppose 6 + 2 = -2*a. Let y be r(a). Let v = -4 - -1. Are v and y non-equal?
True
Suppose -2 = 26*t - 24*t. Which is greater: 3/43 or t?
3/43
Let t be (-2)/7 - (-18)/14. Suppose t + 5 = f. Which is smaller: f or 5?
5
Let v(u) = u**2 + 5*u - 2 + 7 - 4. Let p be v(-5). Is p smaller than 1?
False
Suppose -5*n + 5 = -10*n. Let r = 3 - 3. Which is smaller: r or n?
n
Let y = -223/3 + 75. Let c = -7 + 8. Which is smaller: c or y?
y
Let f = -203 - -231. Does f = 27?
False
Let s = 22 - 25. Which is smaller: s or -4?
-4
Let n = 28 - 33. Are n and -0.2 nonequal?
True
Suppose 3 = o + 1, -3*l + 50 = 4*o. Let t = 17 - l. Are t and 5 equal?
False
Let k = 83 - 82.6. Which is smaller: -4 or k?
-4
Let b(c) = c + 1. Let k(y) = -y**3 - y**2 - y. Let o be k(0). Let i be b(o). Are 2/5 and i equal?
False
Suppose -2*n - 100 = 2*n. Let r be 36/10 - 10/n. Let g = r + -4. Is g not equal to 1/6?
True
Let p be (-1)/3 + 322/21. Is p not equal to 16?
True
Let x = -0.6 + 1.6. Is 17 at most x?
False
Let b = 3041 - 252400/83. Is 1 bigger than b?
True
Let v(s) = -s**2 + 6*s + 1. Let i be v(5). Suppose d - 3*r - 12 = 0, -5*r + r = 8. Let z = i - d. Is z less than 1/4?
True
Let f be (-2)/(-3) - (-16)/(-6). Let l be f/(-2)*(-2)/(-14). Which is smaller: -1 or l?
-1
Let x = 75 + -35. Let k be (-2)/(-5) + x/(-225). Which is greater: -1 or k?
k
Let y(u) = -3*u + 3 + 0*u + 3*u + 2*u. Let j be y(-4). Let i(s) = -s**3 - 5*s**2 + 2*s + 5. Let a be i(j). Is -6 smaller than a?
True
Suppose -3*f + 24 = 27. Which is bigger: f or 7/22?
7/22
Let t = 107 + -107.074. Is -1 <= t?
True
Suppose 2*u = -2*u + 20. Suppose 3*j - 32 = 7*j + 4*a, -4*a = -2*j + 8. Let n = u + j. Which is bigger: 1/2 or n?
n
Let s(j) = 11*j - 50. Let t be s(12). Which is smaller: t or 83?
t
Let o be (-2 + 57/24)*-1. Is -3/4 >= o?
False
Let n = -20/11 - -202/99. Let r be 44/16 + (-2 - 0). Let u = -1/4 + r. Is n bigger than u?
False
Suppose -2*c - 2*k = -3*c + 1, 5*k - 20 = 0. Let l(w) = -w**3 + 10*w**2 - 8*w - 7. Let y be l(c). Let u be ((-1)/y)/(3/2). Which is smaller: -1 or u?
-1
Let n = -8 - -9. Is n less than 0.4?
False
Let v = -0.07 - 2.93. Let a = v + 2. Let r = 27 + -79/3. Which is smaller: a or r?
a
Suppose v - 6*v + 20 = 0. Suppose -v*h - 27 = -5*o, -h + 3*h = 4*o - 18. Suppose 0*w = -w - 5*d, o*d = -2*w. Do 2/5 and w have the same value?
False
Let x be 3/(-2) + (7 - (1 - -5)). Which is smaller: x or 109?
x
Let a = -2/35 + -1/7. Suppose -6*y = -2*y. Is y >= a?
True
Let c = -2147293477815516511 - -2373698905666168258546206183/1105437580. Let w = 97/222020 - c. Let l = 2/383 + w. Is l equal to -1?
False
Let c(r) = r**3 + 6*r**2 - r - 2. Let a be c(-6). Suppose -18 = y - a*y. Let x = y - 6. Which is greater: x or -4/9?
x
Let c(l) = -l**3 - 4*l**2 - l + 2. Let s be c(-3). Let x = s + 7. Let i be ((4/3)/4)/x. Is 1 not equal to i?
True
Let f be 1488/1705 - 3/5. Does -1 = f?
False
Let o = -6 + 5. Let x = 1 + o. Which is smaller: 4/3 or x?
x
Let o be (2/2 + 0)*0. Let i = o + 2. Let q be (i - (-4)/(-2)) + 2. Is 2 greater than q?
False
Let i = -12.7 + 12. Let b = -0.3 - i. Which is smaller: b or 2?
b
Suppose 2*p + 3 = -5. Let b = 7 + -8. Let s = b - p. A