u
Let r(w) = -w**3 - 3*w**2 - 2*w - 1. Let d be r(-3). Let k(h) = h**2 - 6*h + 4. Let b be k(d). Let z = 17/160 - -3/32. Which is bigger: b or z?
z
Suppose -3*z - 3*m = 45, 0 = 2*z - 6*z - 5*m - 65. Let y = z - -7. Suppose -2*f = -h + 2, -4*f - 2*h = 2*h + 28. Is f less than or equal to y?
True
Let c = -3 - -2. Let o = c + -4. Let s be (-1)/(-3) - o/3. Is s at least as big as 2?
True
Let k be (-2432)/(-56) - 3 - (-8)/14. Is k >= 0?
True
Let s = 0 - -1. Let b = -8 + 8. Suppose b + s = x. Is -1/3 smaller than x?
True
Let a = -0.9 + 2.9. Is 1/9 > a?
False
Let r = 0.45 + -0.55. Are r and -2/13 equal?
False
Let w = 1 + 2. Let o be (w/(-9))/(3/24). Suppose 0 = 5*q + 6 + 4. Are q and o equal?
False
Let a = -20.3 - -14.2. Let d = -28 + 22. Let v = a - d. Which is smaller: v or 2?
v
Suppose 2*i + 9*i = -363. Which is greater: -34 or i?
i
Let b = -4 - -12. Let l = b - 7. Is -2 greater than l?
False
Suppose -3*o + 3*t - 15 = -5*o, -5*o + 2*t = -85. Suppose g - 4*p = -9, -o = -3*g - g - p. Let u be 9/(-3) + g - 1. Which is smaller: u or 0.5?
u
Let n(g) = g**3 - 4*g + 0 + 0 + 1 + 2*g - g**2. Let l be n(2). Are l and 2 nonequal?
True
Let q = 234/7 + -33. Suppose -3*i = k - 8, 3*k + 6 = -2*i + 3*i. Which is smaller: k or q?
k
Let b be (-22)/(-8) - (-2)/8. Let s be 1/(-3) - b/(-9). Suppose -5*i + s*i = 0. Which is bigger: 3/8 or i?
3/8
Let a = -2.3 - -2.2. Which is greater: a or -7?
a
Suppose w + 12 = 5*w - 4*a, 5*w - 2*a - 9 = 0. Suppose 0*f = -f - w. Let l = 7 - 7.2. Which is smaller: f or l?
f
Let b(n) = n**3 + 4*n**2 + 4*n + 6. Let c be b(-4). Which is bigger: c or -9?
-9
Let k = 3 + -3. Suppose 4*w + k*q = 4*q - 48, -4*q - 12 = 2*w. Which is smaller: w or -11?
-11
Let q = 0.81 + -0.61. Let u = -0.9 + -0.1. Which is smaller: u or q?
u
Let n = -1.61 + 0.91. Which is greater: 2/3 or n?
2/3
Let j(r) = -r**3 + r**2 - r - 1. Let x be j(0). Suppose 2*p = -p. Is x at least as big as p?
False
Let n be -3 - (8/12 - 3). Which is smaller: -3 or n?
-3
Let z be (-2 - (-96)/45)/((-2)/10). Let b = 1 - 0. Is z <= b?
True
Let o = -8 - -14. Suppose l = -3 + o. Let v = 3 - l. Which is bigger: v or -1?
v
Let z = 10 - 5. Let f = -5 + z. Which is greater: 1/10 or f?
1/10
Let l = -9953/9 + 1107. Let m be 1 + -2 + (1 - 0). Does l = m?
False
Let l = -20 - -20.1. Which is smaller: l or 1.1?
l
Suppose 1 = b - 2*z - 5, -5*b + 24 = -4*z. Is b > 3?
True
Suppose -o = -l + 1, 5*l + 2*o - 11 - 8 = 0. Suppose -5*y + y + 3*b + 8 = 0, 2*y - l*b = 4. Do -2 and y have the same value?
False
Let r(d) = -d**3 + 7*d**2 - d + 7. Let o be r(7). Is 0.1 smaller than o?
False
Let u = 8 - 5. Suppose -g + 1 - u = 0. Is 2 equal to g?
False
Suppose -5*j + 5*g + 20 = 0, 5*j = -2*g - 3*g. Let q = -47 + 20. Let x be (-75)/q + j/9. Which is greater: 4 or x?
4
Let t be (-1 - 1)/(0 - 2). Let v = 2 - 2. Let y be v - (32/14 + -2). Which is greater: y or t?
t
Let s = -5 + 13. Let m(b) = 3*b + 2*b**3 - 3*b**3 + 6*b**2 - s*b + 5. Let v be m(5). Which is smaller: -1 or v?
-1
Let d = 0.27 - 0.17. Is -2/5 < d?
True
Let p(l) = -18*l**2 + 2*l - 1. Let n be p(3). Let k = n + 625/4. Which is smaller: k or 0?
k
Let k = -399.86 + 409. Let l = k + -0.14. Let d = l - 8.9. Are d and -0.2 equal?
False
Let s(o) = o + 3. Let k be s(-4). Let p be (1 - k)/((-6)/3). Let f(x) = -2*x - 4. Let w be f(-2). Which is bigger: p or w?
w
Let f = -2 - -4. Suppose 4*w = f*w + 4. Let s = w + -3. Which is greater: 1/6 or s?
1/6
Let d = -129 - -1407/11. Is -2 at least as big as d?
False
Let g(a) = 3*a**3 - a**2 - a. Let y be g(-1). Let p = 1 + y. Is p < -4?
False
Suppose 3*s + y = 0, 3*y = -5*s - 3 - 1. Is s smaller than 1/2?
False
Let p(k) = -k**2 + 13*k + 37. Let y be p(15). Which is smaller: y or 9?
y
Let m be 2*1/2*-2. Let c be (0 - 0) + m + -1. Let g(s) = s + 8. Let l be g(-10). Which is bigger: c or l?
l
Let i = -58 + 81. Do 23 and i have different values?
False
Let d = 34 + -39. Do d and -5 have the same value?
True
Suppose 0*j + 8 = -4*j. Let o be (30/(-4))/5*j. Suppose -o*n + 3 = -0. Is n greater than 2/3?
True
Let b be (12/(-9))/(2/(-24)). Let x be (-8)/12 + b/6. Is x at least as big as 2?
True
Let h be (-1 - -2)/(-1 - -2). Let o(a) be the second derivative of a**3/6 - 5*a**2/2 - 2*a. Let v be o(5). Is h <= v?
False
Let s = -4 + 4. Let d be -2*(-2)/(-4)*s. Which is bigger: d or 1?
1
Let r be 1*1/(-1) - 3. Let i(o) = -o**3 - 3*o**2 + 6*o + 5. Let m be i(r). Is m at least as big as -1?
False
Suppose 5*b - 4*o - 10 = 0, 3*b + 0*o - o = 6. Suppose 2*i + b*w - 6*w - 20 = 0, -5 = w. Which is bigger: i or -2/9?
i
Let g be (20 - 17)*16/(-6). Which is greater: -2/9 or g?
-2/9
Let j = -1.8 + 14.8. Let s = j + -18. Let o = 3.7 + -3.7. Which is smaller: s or o?
s
Suppose -f + 7 = 3. Suppose -j + 5 = f. Are j and 3 equal?
False
Let r = 67 - 54. Which is bigger: -2 or r?
r
Let y(c) = -c**3 + 8*c**2 + 8*c + 12. Let f be y(9). Suppose -5*s - o = -4, -4*s - 6 + 18 = f*o. Which is bigger: 2/19 or s?
2/19
Let k = 4 - -1. Suppose k = -x + 4. Is 0 < x?
False
Let z = 30 - 8. Is -0.3 less than z?
True
Suppose 5*y - 4*k = -6, 0 = -5*y + 4*k - 2*k + 2. Suppose -y*r - 24 = -5*r. Is 8 at most r?
True
Let q = 12 - 7. Is 3/7 equal to q?
False
Let j be (12/8 - 2)*-6. Is j less than 0?
False
Let p = -2 + 2.2. Let i = p - -0.8. Let g = 3.98 - -0.02. Is i bigger than g?
False
Let n = -898 + 26036/29. Is n greater than 0?
False
Let a = 10 - 9. Are a and -5/16 non-equal?
True
Let i = 1 - 1. Let c = -0.25 + 0.25. Let v = i - c. Which is greater: v or -1?
v
Let g = 0.02 + -9.02. Let h = g - -9.1. Is -1 at most as big as h?
True
Let m be ((-247)/(-106))/((-28)/(-48)) - 4. Which is smaller: m or -1?
-1
Suppose -17*x - 1062 = 417. Are -87 and x non-equal?
False
Suppose 3*j + 4*d + 7 = 0, -5*d - 10 = 3*j + 2*j. Is j smaller than 2/75?
True
Let h = 1 - 0. Is h < 3?
True
Let r(i) = 2*i + 5. Let h be r(12). Is 29 > h?
False
Let j be (-2)/5 - (-152)/(-20). Let d = j + 6. Let z be -1*((-4)/d - 1). Is 1/5 less than z?
False
Suppose -3*p = 3*q - 9, -5*q = 16 - 36. Which is greater: -1/3 or p?
-1/3
Let x = -112 - -39. Is x at least as big as -74?
True
Suppose 0 = p - 0 + 17. Let f = 6 - 3. Let x be 0 + f + 53/p. Is 1 < x?
False
Let y = -10 - 1. Let m = 11 + y. Which is bigger: -1/4 or m?
m
Suppose -5*o - 43 = 2*i - 3*i, -o + 7 = 5*i. Let j = o - -13. Let b(w) = -w. Let u be b(j). Is 1 > u?
True
Let a = -6 + -2. Let y be a/(-60)*21 - 1. Which is bigger: y or 3?
3
Let v = -26 + 26. Is -2/19 >= v?
False
Let h = -12.9 - -13. Which is greater: -12 or h?
h
Suppose 3*h - h + 2 = 0. Let m = 27/2 - 40/3. Which is smaller: m or h?
h
Let l = -282.9 - -298. Let o = 15 - l. Which is smaller: o or 1?
o
Let q(f) = f**3 + 6*f**2 + 2*f + 12. Let l be q(-6). Is 0 greater than or equal to l?
True
Let u(y) = y**2 + 5*y + 6. Let i be u(-6). Let r be (21/i)/((-2)/8). Let n(c) = -c**3 - 7*c**2 - c - 6. Let p be n(r). Which is smaller: p or -2/5?
-2/5
Let m = 8 - 3. Let s = 0.066 - 1.066. Which is smaller: s or m?
s
Let c(t) = -t**3 + 8*t**2 - 5*t - 10. Let z be c(7). Suppose -3*g = 6, z*w + 0*g = -3*g - 6. Which is bigger: w or 3/13?
3/13
Let f be 1 - (6/9)/2. Suppose -6*t = -0*t. Which is greater: t or f?
f
Suppose -23*f = -25*f - 8. Let q be 10/15 + 11/(-3). Is q smaller than f?
False
Let q be 2/(-6) - (-2)/6. Let y = 5 - 5.08. Let o = -4.08 - y. Do o and q have different values?
True
Let k = -9 + 9.4. Is k <= 1/4?
False
Let i = 0 - 0.7. Let a = -3.7 - i. Which is smaller: a or 0.3?
a
Let r = -2.3 + 3.3. Is r smaller than 8?
True
Let y = -0.81 + 0.7. Let z = y - -0.01. Which is smaller: -2/3 or z?
-2/3
Let n be (-770)/(-1480) + (-3)/(-24)*-2. Is n at most -1?
False
Let g = -1/68 + 143/476. Suppose 0 + 8 = 2*y. Suppose y*r - 12 = -3*z - 0*r, z = -2*r + 6. Does g = z?
False
Suppose -5*r + 10 = 3*w, 5*w - 3*r + 9 = 3. Let a = 11 - 5. Which is greater: w or a?
a
Suppose 5*k - 3 - 8 = -4*h, 4*h = -4*k + 12. Let p = -13 + 67/5. Is k > p?
False
Let j(q) = q**2 - q + 1. Let s be j(1). Which is greater: 2 or s?
2
Let z(t) = t**2 - 3*t - 4. Suppose 0 = -2*q + 4*c + 16, -2*q + c = -q - 6. Let l be z(q). Is l at most as big as -2/3?
False
Let s be -2 + (-22)/24*-3. Is 2 equal to s?
False
Let f = 1.1 - 0.2. Is f equal to -0.1?
False
Let w(v) = v + 18. Let f be w(-8). Suppose -r + 3*s - 3 = -5*r, -5*r = s + f. Let 