et f(w) = -2*w + 4. Let p be f(u). Is -3 less than or equal to p?
True
Let s be 2/(-11) - 45/55. Which is smaller: -6 or s?
-6
Let u be -2 - (-177)/18 - (-4 - -8). Is 3 less than u?
True
Let g be (-8)/(-2 + 4)*-5. Suppose -2 = -5*f + 4*f. Suppose -4*y + m = -m + f, -5*m = 5*y - g. Is 0 at most as big as y?
True
Suppose -4*g + 15 = -g. Let t(b) = -4*b**3 - b**2 - 2*b. Let c be t(-1). Is c < g?
False
Let b be (3/(-9))/(-1)*21. Which is smaller: 27/4 or b?
27/4
Let h = 2/823 + -10709/4115. Which is smaller: h or -2?
h
Let f be 40/14*(-112)/72. Are -4 and f non-equal?
True
Let n = 115 - 56. Let p = n + -530/9. Which is greater: 0 or p?
p
Let t = -12.78 - -13. Let c = t - -0.08. Is c >= -1?
True
Let j be (-4)/((-24)/(-15) + -2). Let v be j/45 + (-106)/72. Let y(d) = -d + 1. Let a be y(3). Is a != v?
True
Let m = 1 + 3. Is 2 != m?
True
Let g = -0.2 - -0.2. Let z = g - 1. Let y = 11.2 - 11. Is y < z?
False
Let a(v) = -8*v - 4. Let n be a(-6). Are 44 and n nonequal?
False
Let t = -69 + 58. Is -0.5 greater than t?
True
Let r(f) = f**3 + 6*f**2 - 8*f - 6. Let i be r(-7). Let j be 5*(-1)/((-10)/8). Suppose -4 = -6*z + j*z. Are z and i nonequal?
True
Let t = -7.62 - -2.5. Let f = 8 - 8.12. Let c = f - t. Which is bigger: 2 or c?
c
Suppose 5*k - 42 + 15 = -2*a, 5*k + a = 31. Which is greater: k or 8?
8
Suppose -6*h + h = 0. Suppose -4*m - 1 = 7. Is h less than m?
False
Let v = -3 + 2. Let t = 8 - 6. Suppose 2*k + 10 = j, -4*j + 5 = -t*k + k. Which is smaller: j or v?
v
Let z(u) = -u. Let y be z(1). Let l = 274 + -2189/8. Is y at least as big as l?
False
Suppose -5*o - 20 = 0, 37 = -8*c + 3*c - 3*o. Is c not equal to -6?
True
Let b be (-2)/(-3) - 8/21. Let p = -1.083 - -0.033. Let r = p + 0.05. Which is bigger: b or r?
b
Let b(f) = -3*f - 18. Let s be b(-6). Let h = -11 - -8. Let c be (2/(-20))/(h/(-4)). Which is smaller: s or c?
c
Let r be (4 - 8/(-14)) + -4. Is r < 3?
True
Let j(h) = -h. Let c be j(-2). Let g be (-57)/(-9) - (-2)/(-6). Let x be -4 + g + 0 + -1. Does x = c?
False
Suppose -2*a - 48 = 2*a. Let g = -9 - a. Which is smaller: g or -0.2?
-0.2
Let o = -27 + 27.13. Let s = 0.13 - o. Is s at least as big as -1?
True
Suppose -10 = -5*x, 0 = -k - 0*x - 4*x. Let h = k - -7. Let i be (2 - 4)/(15/h). Which is bigger: 0 or i?
i
Let h be 0 - 2 - (-47)/23. Let u = 4691 + -215765/46. Let k = u + h. Which is bigger: k or 1?
1
Suppose 0 = -4*n + 40. Suppose 0*y + 2*y - n = 0. Suppose 5*t = 2*w - 15, 0 = 4*w - 0*t + y*t + 15. Is 2 < w?
False
Let f = 5.1 - 0.1. Let x = f - 4. Is x less than 0.1?
False
Suppose 5*o + 40 = -45. Do o and -0.1 have different values?
True
Suppose 6*r = r + 5. Is 4 smaller than r?
False
Let x be 6/(-39) + 82/26. Suppose 0 = -x*n + 7*n + 28. Is -8 at most n?
True
Let w = -33 - -70. Which is greater: w or 38?
38
Let x be 42/(-4)*2/(-3). Suppose -11*m = -40 - 48. Which is smaller: x or m?
x
Let y = -23 + 15. Let r(t) = t**2 + 11*t + 12. Let n be r(y). Are -12 and n equal?
True
Let u be (-4)/6 - (-4)/(-4). Which is greater: u or -1?
-1
Suppose 0*k = -2*k + 32. Let b = k + -11. Is 6 < b?
False
Suppose -5*t = 4*h - 14, 2*h + 5 = 5*t - 3. Is h less than 3/19?
False
Let u be ((-5)/(-5))/((-45)/(-6)). Are -1 and u unequal?
True
Suppose 9 = 2*m + m. Let q be -8*(0 + m/(-6)). Let g = -2 + q. Does 4/5 = g?
False
Let f = 7 - 7. Let k(q) = -q**3 + q**2 + q - 1. Let y be k(1). Suppose -2*t + y*t + 2 = f. Which is smaller: 2/7 or t?
2/7
Let q = -2 - 60. Do -63 and q have the same value?
False
Let b = 202 - 197.04. Let y = -5 + b. Which is smaller: y or -1/3?
-1/3
Let l = 3 + -6. Let o = -5 - l. Let q be 1 + (-5 - -2) + (-9)/(-4). Which is bigger: o or q?
q
Let q be (2/10)/(-14 - -22). Is q equal to 1?
False
Let i = -11 - -9. Let c = 1 + -2. Which is greater: c or i?
c
Let q(j) = j**2 + 4*j - 8. Let x(d) = -1. Let z(i) = -q(i) + 6*x(i). Let w be z(-5). Which is smaller: w or -4?
-4
Let j be (4/(-10))/((-6)/15)*1. Which is smaller: 3/2 or j?
j
Let c = 3772 + -25124/7. Let z = 182 - c. Is -0.1 != z?
True
Let c = -1.002 - -0.002. Is c at most as big as -24?
False
Suppose 9 = 4*s - 5*l, -3*s - 2*s + 3*l = -8. Which is smaller: 3/41 or s?
3/41
Let o be (30/(-9))/((-1)/3). Let t be 3*1 - o/(-5). Which is bigger: 6 or t?
6
Let d = 0.007 - 0.007. Let s be 14/(-10) - (0 - 1). Is s >= d?
False
Suppose 6*q = -24 - 66. Let o be q/(-5) + (-33)/6. Which is greater: -4 or o?
o
Let c = 0.34 + -0.14. Let u(n) = n**3 + 2*n**2 - n. Let s be u(1). Do c and s have the same value?
False
Suppose 0 = 5*y + 4*r - 14, 2*r = 2*y - y. Let p be 3*(8/(-6) + y). Suppose t + 10 = 3*i, -4*i = t - 2*t - 13. Which is smaller: i or p?
p
Let z be ((-4)/10)/(2 - 1). Let r = -4.1 - -5.18. Let i = r - 0.08. Which is greater: i or z?
i
Let f = -7 - -2. Let h be (f + 2)/6*-8. Suppose -h*u - 10 - 4 = 3*b, -3*b - u = -1. Is 2 greater than or equal to b?
True
Let h = -41.2496 - 0.0504. Let m = h + 33. Let a = m - -8. Are a and 0 equal?
False
Let c = -86 - -70. Is c < 2/5?
True
Let i = -1 - -2. Let x(u) = -u**2 - 8*u - 6. Let t be x(-5). Let n be (t/(-3))/12*-1. Is i smaller than n?
False
Let n be ((-3)/(-54))/(15/(-1899)). Let r = n + 36/5. Is 0 greater than or equal to r?
False
Suppose 5*v = 2 + 3. Is 3 not equal to v?
True
Let s be 4704/(-27) - (-2)/9. Let h be s/(-120) - 2/10. Which is smaller: h or 1?
1
Let l be -1*7*6/(-3). Let o be (-15)/l - (-4)/14. Let c = o - -2/7. Is -2 smaller than c?
True
Let a = 0.07 - 2.07. Let w = -0.2 + -1.8. Is a less than w?
False
Let w be 6/(-103)*2/(-12)*3. Is 1 > w?
True
Let n(o) = -4*o**3 - 2*o**2 + 3. Let y be n(3). Which is smaller: y or -2/7?
y
Let d = 46 + -42. Which is smaller: 3 or d?
3
Let n(k) = -k**3 + k**2 + k - 2. Let r be n(2). Let b = -6 + 3. Is r greater than b?
False
Let n = -1.6 + -0.4. Let w = -0.8 + n. Let f = w + 3. Is f >= 1/4?
False
Let x be -3*1 - (1 + -5). Let b(n) = -n**3 + n**2 + n - 2. Let a be b(x). Which is smaller: a or -10/7?
-10/7
Let g = -10 - -22. Let h be 15/2 - 6/g. Which is smaller: 9 or h?
h
Let d(z) = 4*z - 2. Let c be d(1). Suppose -5*p + 27 = 4*u, 2 = 2*p + c*u - 10. Let n(m) = 2*m**2 - m. Let r be n(-1). Is r greater than or equal to p?
True
Let a be (4/12)/(1/18). Let g be (3/a)/((-3)/2). Let c(b) = b**3 + 3*b**2 + 4*b + 3. Let w be c(-2). Which is greater: w or g?
g
Suppose -44 = -4*q - i - i, 4*q - 32 = i. Let a be (-16)/(-72) + (-29)/q. Let n = -0.9 - 0.1. Which is greater: a or n?
n
Let u = 55.8 - 50. Let s = u + -6. Let z = -173 + 1209/7. Which is greater: z or s?
s
Let s be (70398/(-204))/((-3)/(-4)). Let y = 460 + s. Is -1 smaller than y?
True
Let d = 134/3 + -44. Which is greater: d or 9/7?
9/7
Let a = -37/9 + 463/117. Let m = -6 - -5. Does a = m?
False
Let x = -51 + 45. Which is bigger: x or -8?
x
Let i = 112 + -122. Are i and -10 unequal?
False
Suppose u + 47 = 39. Which is greater: u or -5?
-5
Let l = 4.3 - 7.3. Is l > 2?
False
Suppose 4*d + 10 = 2*d. Is d less than or equal to -7?
False
Let d = -6.6 + 6.5. Are d and -2 non-equal?
True
Let p(l) = -3*l**2 - 17*l + 7. Let q(y) = -2*y**2 - 9*y + 3. Let k(u) = 3*p(u) - 5*q(u). Let b be k(5). Is b greater than 2?
False
Let w = 6.3 + -5. Let c = 3.7 + w. Let y = -4 + c. Is -2/5 bigger than y?
False
Suppose 8*i - 2*j = 11*i + 4, 2*i - 4*j = 8. Which is greater: -1/141 or i?
i
Let a be 9/(-3) + 40/10. Which is greater: -1 or a?
a
Let w(s) = -6*s - 30. Let l be w(-5). Let g = -3 + 6. Let y be 6/(-10)*1/g. Which is smaller: y or l?
y
Suppose -m + 4*l - 19 = 0, m + 3*l - 9 = 7. Suppose -2*b - b - 4*y + 13 = 0, y - 9 = 5*b. Is m >= b?
True
Let q(x) = 15*x**2. Let u be q(1). Suppose 5*c - 6*l = -l + u, c + 2*l + 12 = 0. Let h = 297 - 300. Is h at most c?
True
Let j(g) = -g + 6. Let l be j(0). Suppose 4*u = l*z - 2*z + 12, 1 = u + z. Are u and 1 nonequal?
True
Suppose -4 = -5*s + 6. Suppose -10 = -3*r + 2*x - 3*x, -2*r - 3*x = -9. Is r at least as big as s?
True
Let d = 0.1 + 0.7. Let s = -0.3 + d. Let x = -0.4 + s. Which is greater: x or 1?
1
Let s = 22.6 + -22.7. Let l = -0.1 - 0. Does s = l?
True
Let p = 9 + -7. Let g be (p/2)/(-1 - -2). Which is smaller: g or 0?
0
Let r = -329/153 + 29/17. Let p(i) = i**3 - 6*i**2 + 5*i + 1. Let y be p(5). Do y and r have the same value?
False
Let b(x) = -x**2 - 2*x + 23. Let f be b(0). Are 23 and f nonequal?
False
Let l be (-