s u = -3?
False
Let j(b) = -b - 9. Let v be j(-4). Let y = v - -7. Suppose f + 3 = y*g, -g + 2*f = -0*f. Which is smaller: 3 or g?
g
Let u(s) = -s + 2. Let r be u(3). Let c be 0 + (-3)/r + -1. Let d = c - 3. Which is greater: d or 1/3?
1/3
Let j = -89/135 + -20/27. Is j greater than or equal to -2?
True
Suppose 0 = 2*d - 4*h - 8, -2*d + 2*h + 3*h + 11 = 0. Let o be 5/d*(-5)/50. Let l be -1*(-3 + 2)/(-1). Is o less than l?
False
Let w be ((-4)/6)/(3/45). Let t(c) = -c**3 - 9*c**2 + 11*c + 8. Let x be t(w). Let b be (-9)/(-15)*x/(-3). Is b >= -1?
True
Let s be -3*(-3 - (-412)/36). Let h = s + 25. Which is smaller: -5 or h?
-5
Let a = 94663/5 + -19015. Let v = a + 3401/40. Let k = -97/40 + v. Which is bigger: 0 or k?
k
Suppose 4*p - 4*d = 2*p + 14, -d - 1 = -3*p. Let g = p + 4. Let a be g/(-2) + (-45)/(-10). Is -0.1 <= a?
True
Let g(x) = x**3 + 9*x**2 - 12*x - 21. Let t be g(-10). Which is bigger: t or 3/7?
3/7
Suppose -2*b = 5*w + 25, -5*w - 25 = -3*b + 2*b. Which is smaller: -3 or b?
-3
Let u(q) = -q**3 + 8*q**2 - 8*q + 7. Let w be u(7). Suppose -5*t + 3 - 8 = w. Are -1 and t equal?
True
Let h(n) = -n**3 - 5*n**2 - n. Let p be h(-5). Let z be 1/p - 17/35. Is -2 > z?
False
Let p be (-300)/(-21) - 4/14. Suppose a = 5*t - p - 6, 5*t - 20 = 0. Let c(y) = -y + 6. Let z be c(6). Are z and a non-equal?
False
Let z(u) be the third derivative of u**4/24 + u**3/3 + 2*u**2. Let l be z(-3). Are l and -1/6 equal?
False
Let j = -102 + 32. Let f be j/30*(-6)/(-4). Which is greater: f or -5?
f
Let c = 1175/17 - 69. Let o(l) = -l**3 + 5*l**2 - 4*l + 5. Let u be o(4). Suppose -9 = u*s - 4. Is s at least c?
False
Let d = 3/47 + -338/141. Is d equal to -2?
False
Suppose 5*k = -0*k. Suppose m + 2 = -k*m. Let v = m - 0. Which is smaller: 0 or v?
v
Suppose 4*m + 0*m = 0. Suppose -t - t + 8 = m. Let o be ((-4)/(-8))/(t/6). Which is smaller: o or -1?
-1
Let d = 6 + -8. Suppose 3 = 5*c - 7. Suppose -2*m + 4 = 4*r, 4*m - 8 = c*m. Does r = d?
False
Let n = -10/37 + 87/185. Let o be (-1)/(-4) + (-1)/4. Is n at most as big as o?
False
Let l = -0.98 - -1.08. Which is bigger: l or 4/47?
l
Suppose 0 = 6*c - 4*c + k + 5, 2*c - 4*k - 20 = 0. Suppose c = r + r. Let o = 0 + r. Which is smaller: 2 or o?
o
Let g be (-497)/(-2835) + (-2)/10. Are -1 and g nonequal?
True
Let h = 0.06 - 0.14. Let s = h - -0.38. Let l = 0.2 - s. Are -0.3 and l equal?
False
Let z = -4 + 14. Is 10 at most as big as z?
True
Let p = 2.89 - 4.89. Let x = 7/4 - 57/28. Which is bigger: p or x?
x
Let p be 1/3 - (-26)/(-42). Suppose 0 = 5*r - 5*f - 15, -20 = 3*r + r + 4*f. Which is greater: r or p?
p
Let m be 358/(-8) - (-6)/8. Is m greater than -43?
False
Let n be (-2 - -2) + 2 + -4. Let v be 1*(-3 - -2 - n). Let b = -198 - -1384/7. Which is bigger: b or v?
v
Let s be (4 - 2 - 0) + -2. Let p(u) = 2*u**2 - 9*u. Let c(h) = -h**2 + 4*h. Let k(n) = 13*c(n) + 6*p(n). Let r be k(-2). Is s > r?
False
Let g(n) = n**3 + 5*n**2 + n - 2. Let t be g(-2). Suppose a - 24 = -4*h, 12 = -2*a + a + 5*h. Is a not equal to t?
False
Suppose 3*v + v + 32 = 0. Let o = v + 11. Suppose 2*q = o*q - 2. Which is smaller: 1 or q?
1
Let f(d) = d**3 - 13*d**2 - 31*d + 16. Let r be f(15). Is 2/83 less than or equal to r?
True
Let d(l) = 5*l + 14. Let x be d(-3). Which is bigger: 37 or x?
37
Let d = -13 + 14. Suppose 3*k = -4*w + 19, 3*w - k = 4*w - 6. Let l be 0 + 1 - w/(-2). Is d >= l?
False
Let z(b) = -b**2 + 8*b + 1. Let y(l) = -4*l - 7. Let v(q) = q + 1. Let s(n) = -5*v(n) - y(n). Let h be s(-6). Let u be z(h). Which is smaller: u or -2/7?
-2/7
Let i be (3 - -13)/4*-2. Let z(q) = -q**3 - 1. Let n(x) = -6*x**3 - 7*x**2 + 8*x - 5. Let g(l) = -n(l) + 5*z(l). Let f be g(i). Is f less than 2/3?
True
Suppose -3*c + 13 = -n + 2*n, -5*n + 5 = -5*c. Suppose -n*w = w. Is 2/7 less than w?
False
Let x be 3/(-7) - 3/(-14)*-16. Which is bigger: x or -5?
x
Let r = -9.15 + 9. Which is smaller: r or 2/3?
r
Let t(z) = -2*z**3 - 8*z**2 - 8*z - 3. Let s be t(-3). Are s and -13 unequal?
True
Let o = 3.7 + -4. Suppose f - 5*f = -148. Let r = f - 109/3. Which is greater: r or o?
r
Let m be 3 + (-2 - (-12)/(-3)). Let j be 4/8*(-1)/m. Is -1 <= j?
True
Let y be (1 - 1)/(6/3). Let g(f) = -2*f**2 - 5*f - 6. Let t be g(-2). Is t bigger than y?
False
Let x(q) = q**3 + 4*q**2 + 2*q + 1. Let r be x(-2). Suppose 4*k + 4*z - 4 = 0, -1 = -3*k - 2*z + r. Let f = k + -3. Which is greater: -3/7 or f?
f
Suppose 2*z - 3 = 5*s, -s + z - 4 = 4*s. Which is smaller: s or -1/19?
s
Let z be (-2)/(66/(-97)) + -3. Which is greater: -3 or z?
z
Let c = -0.5 + 0.3. Let i = 0.3 + c. Let p = 0.05 + -0.15. Which is bigger: p or i?
i
Let l(q) = q**3 - 3*q**2 + 4. Let m be l(4). Let g be (-3 + m/8)*0. Let f = 5/14 + -6/7. Is g > f?
True
Let a be (-8)/(-5) + (-2)/(-5). Let u(x) = -x + 6*x + x**a - 1 - 2*x. Let s be u(-4). Which is greater: 2 or s?
s
Let i(h) = h**2 - 7*h - 3. Let p be i(7). Suppose 4*q + 2*x = -26, -2*q - q + 2*x = 9. Let l be (3/q)/(11/55). Is l less than p?
False
Let q be 22/77 + (-18)/14 + 2. Is -5/8 > q?
False
Let m be (0 + 12)/((-14)/(-16)). Let d = m + -1035/28. Let j = d + 23. Is j equal to -0.04?
False
Suppose -8 - 80 = -4*j. Is 22 at least as big as j?
True
Suppose 2*r + 5 - 4 = -n, 2*r + 2*n = -6. Suppose -2*l + r + 0 = 0. Let j be 2/(2 + -5 + l). Which is bigger: j or 2/9?
2/9
Let t(h) = 4 + h - 4. Let x be t(2). Suppose 0 = x*o + 3*o. Is o at most as big as 2/13?
True
Let a be (-45)/6855*4/(-6). Which is greater: 0 or a?
a
Let b(g) = -g - 2. Let v be b(-2). Suppose 2*u + 3*u - 40 = v. Let c be 2/(-12)*(-36)/u. Which is smaller: 0 or c?
0
Let z = 18 + -9. Is 1 at most z?
True
Let t(s) = 8 + 8*s**2 + 2*s**3 - s**3 - 8*s - 2*s**3. Let q be t(7). Which is smaller: q or -1?
-1
Let q(g) = -g**3 + 1. Let s be q(0). Let h = 1 + -17. Let y be h/(-20)*(-10)/(-4). Are s and y non-equal?
True
Let w = -12459/16 + 779. Is -1 < w?
True
Let d = 28 + 298. Let m = -327.99 + d. Let s = m - 0.01. Which is smaller: 1 or s?
s
Suppose c = -5*i - 41, -2*c + 53 = -3*i - 2*i. Let s = i + 5. Suppose 0*n = -5*n - 15. Are n and s equal?
False
Let y = -0.6 + 1.9. Let k = y - -0.7. Is 1 smaller than k?
True
Let w(x) = 3*x - 6. Let p(t) = -t + 1. Let i(a) = -6*p(a) - w(a). Let b be i(1). Let u be -6*((-5)/20 + 0). Is b less than or equal to u?
False
Let c be 2/42*(-22)/3. Let z = -7/9 - c. Which is greater: 1 or z?
1
Let t = 0 + -4. Suppose 4*c + 8 = -8. Is t > c?
False
Let d = 178/15 + -35/3. Let h be (-1)/(-5) - (-32)/40. Is h < d?
False
Let x = -54.094 + 54. Let b = x + 3.994. Let r = 4 - b. Is 0.5 at most as big as r?
False
Let n(r) = 2*r + 7. Let k be n(-6). Do k and -3 have the same value?
False
Let p = -23 - -23.3. Which is greater: 0.8 or p?
0.8
Suppose 82 - 324 = -2*h. Let p = h - 285. Let t = p - -823/5. Which is bigger: 2 or t?
2
Let t be (-3)/4 - (-42)/(-8). Let w be (12/(-117))/((-2)/t). Suppose 11 = -g + 12. Is w equal to g?
False
Let f be 6/(-4)*6*1/3. Are f and -4 nonequal?
True
Let j be 1*2*(0 + 1). Let n(f) = 0*f**j - 8*f**2 + 8*f - 8 + f**3 + 1. Let m be n(7). Is -2/9 less than m?
True
Let n = -34 - -35. Let h = -457/7 - -65. Is h >= n?
False
Let q = -19 - -17. Suppose -74 = 3*f + 5*r, r - 100 = 5*f + 42. Let t = 82/3 + f. Is t bigger than q?
True
Suppose f + 3*f - 3*u = -20, f + 4*u = 14. Is f at least 1/12?
False
Let h(b) = 3*b - 1. Let m be h(1). Suppose 5*y = 2*c - 8, c - 12 = -2*y - m*c. Suppose 5*t + 4*j = t, 4*j + 9 = 5*t. Which is smaller: y or t?
y
Let n be (-8)/4 - -2 - -15. Suppose -11 = 4*a + 3*p, -5*a + 2*p = -0*a - n. Let y = -128 + 1154/9. Are a and y unequal?
True
Suppose -5*g = 33 - 13. Which is smaller: g or -3?
g
Let x be 3/(-2)*2 + 3. Suppose 4*c = 13 - 5, 3*c = 2*b + 10. Which is greater: x or b?
x
Suppose 0 = -2*x + 8, -6*s - 4*x = -s - 51. Let b = s - 7. Is b less than 2/3?
True
Suppose -7*n = -2*n. Let m = -1 + n. Let c(w) = -w**3 + 7*w**2 + 2*w - 15. Let x be c(7). Is x < m?
False
Let c be 1/3 - 6/(-9). Let x(z) be the second derivative of z**5/20 - z**4/2 + 2*z**3/3 + 3*z**2 + z. Let m be x(5). Are c and m nonequal?
False
Let v = 4 + -12. Let q(t) = t**2 + 6*t - 10. Let w be q(v). Is w greater than or equal to 5?
True
Let y(i) = -i**2 - 5*i - 4. Let q be y(-3). Let r be 16/(-15) + q/5. Let g = -3 - -1. Which is smaller: g or r?
g
Suppose 2*i - 2*p +