 - 13)*2/(-192). Is -0.1 at least g?
False
Suppose 0 = 2*n + 5*h - 240, -432 = -0*n - 4*n + 2*h. Is 1/2 < n?
True
Let r = 17 - 14. Let y = -3 + r. Let m = y - -1. Is 3/8 not equal to m?
True
Let p = -16 + 40. Suppose 2*u = p + 4. Let w = 8.1 - 8. Is w less than u?
True
Suppose -17*w + 19*w + 2 = 0. Let x be (-14 + 15)*(-2)/22. Which is greater: x or w?
x
Suppose 4*r + 26 = -0*r - 5*p, r + 6 = -p. Let v be (-1)/(r/40*-2). Is -18/5 bigger than v?
True
Let w(c) be the third derivative of -c**6/120 - c**5/20 + c**4/8 - 5*c**3/6 + 4*c**2. Let h be w(-4). Let i be 15/(-3)*(-6)/(-10). Which is smaller: i or h?
i
Let s(c) = c**3 - 19*c**2 + 3*c - 22. Let v be s(19). Let w be ((-18)/(-10))/((-49)/v). Let y = w - -20/21. Which is bigger: 1 or y?
1
Let c be 47/3 + 2/(-3). Let v(y) = y**3 - 14*y**2 + 47*y + 24. Let t be v(8). Is t >= c?
True
Let b = -508 + 508. Which is smaller: b or 9/11?
b
Let b(n) = -n. Let w(u) = -16*u + 2. Let x(q) = 3*b(q) - w(q). Let o(p) = -2*p - 6. Let i be o(-4). Let j be x(i). Which is greater: 25 or j?
25
Let l = -2 - -2. Let u = 0.43 + 69.57. Let p = u - 71. Which is greater: p or l?
l
Let q(s) = -s**3 + 7*s**2 - 3*s + 8. Let u be q(7). Let h = -76 + 64. Let f = -26 - h. Which is bigger: f or u?
u
Let s = 1309/6 + -219. Suppose -4*k + 0*k + 36 = 5*v, -2*k = 5*v - 28. Suppose 0 = 3*o - r + 4, k*o + 9 = 5*r. Which is smaller: o or s?
o
Let d be (78/(-2444))/((-1)/(-1)). Which is greater: d or -1?
d
Suppose 3*f - 15 = 0, 5*d - 3*f + 1958 + 692 = 0. Which is smaller: d or -528?
-528
Let a(g) = 21*g + 153. Let f be a(-6). Is f bigger than 3?
True
Suppose -9 = 5*s + 1. Which is greater: -10/13 or s?
-10/13
Suppose 2*a - 35 = p, 5*a + 2*p = p + 91. Let g be (-2*(-3)/a)/(-2). Is g bigger than -0.5?
True
Suppose f - l = -3, -f + 22 = -0*f + 4*l. Suppose 2*h + 50 = -5*u, -f*u + 86 = -4*h - 5*u. Which is smaller: h or -19?
h
Suppose 3*k + 4*c = 12, -c = -4*k + k + 12. Let g(n) = 4*n + 28. Let v be g(-6). Suppose 0 - v = -l. Is k greater than l?
False
Let k = 52.28 - 52. Let m = -0.38 + k. Are m and 1 nonequal?
True
Suppose -22*h - 572 = -11*h. Which is bigger: h or 0.2?
0.2
Let h(u) be the second derivative of u**4/12 + u**3 - 15*u**2/2 + 4*u. Let v be h(-8). Is v bigger than 5/13?
True
Let z = -1 + 1.2. Let l = 32 - 20. Let s = l + -9. Which is smaller: s or z?
z
Let c = -43/91 + 8/13. Which is bigger: c or 0.9?
0.9
Let b = 216/61 + 9844/183. Let p = b - 113/2. Which is smaller: -0.1 or p?
-0.1
Let s(l) = 2*l - 2. Let f be s(4). Let u(w) = 4 + 0*w - 5*w**2 + w**3 - 3*w - 4*w. Let p be u(f). Which is greater: -3 or p?
p
Let q = -65 - -32. Let h = q - -33. Suppose t - 12 = 3*t. Is h smaller than t?
False
Let a = -757 + 852. Which is greater: 1 or a?
a
Let n = -26 - -24. Let y be 1 - (-2 + n) - 1. Let v(l) = -l**3 - 10*l**2 - 11*l - 12. Let m be v(-9). Which is smaller: m or y?
y
Let t(y) = y + 7. Suppose -r = 5*r. Let q be t(r). Suppose -4*p - 15 = -q*p. Which is greater: p or 2?
p
Let u be (-1)/((-34)/(-16) + -2). Let z = u + 11. Suppose 2*r + 4*h - h = 0, -9 = -5*r - z*h. Which is bigger: 1 or r?
r
Suppose -7 + 5 = 2*t. Let f be 2/(-6) - t/(-6)*-8. Are -59 and f nonequal?
True
Let q be (1 - (-21)/(-18)) + 1624/(-48). Is -33 smaller than q?
False
Let a be (-7)/(-336)*4*57. Is 5 at most as big as a?
False
Let o = -2/209 - -637/1045. Let i(b) = b + 6. Let r be i(-4). Let w(t) = t - 2. Let g be w(r). Is g at least o?
False
Let p = 5.99 + 0.01. Let j = p - 22. Is j smaller than -2/3?
True
Let l = -20 + 19.7. Let u = -97/7 - -93/7. Which is bigger: u or l?
l
Let f = 1.21 - 1.51. Let a = -6 + 6.13. Is a at least f?
True
Let g = -64534/23 - -2805. Which is smaller: -1 or g?
-1
Let y be (-1)/(-2)*2*1. Let v be ((-10288)/(-522) + 2/9)*-14. Let n = v + 279. Which is greater: y or n?
y
Let m be (80/24)/(1/(-3)). Let v = -9 - m. Which is smaller: v or 0?
0
Suppose 6*o - 23827293 = 9*o. Let y = -325660706/41 - o. Let b = y - -513. Is b bigger than -0.1?
True
Suppose 739*q + 75 = 734*q. Is -15 equal to q?
True
Let p(k) = -k + 2. Let x(w) = w**2 - w - 1. Let l(a) = -p(a) - x(a). Let o(f) = -f - 1. Let b be o(-3). Let n be l(b). Which is greater: n or 2?
2
Suppose 5*o - 1 = 9. Suppose -3*n = -j + 23, -4*j - n - o*n = -137. Suppose -3*g = 4*r + 23 - 130, -r + g + j = 0. Which is smaller: r or 30?
r
Let p(j) = -j**2 - 65*j - 349. Let q be p(-5). Which is greater: q or -430/9?
-430/9
Let h be (0 - 16/10)*30. Let j = -30 - h. Suppose 0 = p + 2*p + 4*t + j, -4*p + 2*t = 24. Is p at most -1/3?
True
Let o(g) = g**2 - 8*g - 8. Let m be o(9). Suppose 5 = -2*q - m. Let r(f) = -f. Let n be r(3). Do n and q have different values?
False
Let m be 0 - (-2)/(-20) - 2/(-20). Let j = 1537/3 + -500. Is j at most as big as m?
False
Suppose -1 = -3*f - 4. Suppose -6*s + 8*s = -16. Is s <= f?
True
Suppose -4*h - 154 + 22 = -2*v, 2*h - 234 = -4*v. Is 5/4 greater than or equal to v?
False
Suppose -22 = 3*b - b. Let i = -80 + 64. Let x be 9/b + i/88. Are x and -3/17 unequal?
True
Let c(b) = -b**3 + 6*b**2 - 12. Let r be c(7). Which is bigger: r or -60?
-60
Let r = -309 + 303. Are r and -43/6 nonequal?
True
Let j(r) = 7*r + 5. Let h be j(10). Let n be -1 - 69/h*-1. Is 1 smaller than n?
False
Suppose 0 = 5*h - 0*f - f - 16, 0 = -2*f + 8. Let t be 2/(h/(-114)*3). Let y = 526 - 544. Which is smaller: t or y?
t
Let q = -2.94 - -2. Let u = 0.106 - 0.046. Let l = u - q. Is l >= 1?
True
Let d = -6/59 - -201/236. Which is greater: d or -1/2?
d
Let f be 4/1*(-9)/(-12). Suppose s = -f*s. Suppose -2*j - 2 + 4 = s. Is j <= 7/5?
True
Suppose -18 = -4*h - 6. Suppose -4*y = n - 5, y + 5*n + h - 9 = 0. Is y at least -2/17?
True
Let a = -151 + 242. Let z = 99 - a. Is z less than -5?
False
Suppose u = v + 15, 9*v = -4*u + 4*v + 15. Which is smaller: 7 or u?
7
Let f = 1893 - 2790. Let g = f - -1827/2. Which is smaller: 17 or g?
g
Let i = 4987 - 4993. Let n = 1 + -1.5. Which is greater: n or i?
n
Let n(w) = -2*w - 6. Let b be n(-4). Let v be (-3)/(-2)*(-48)/(-36). Is b less than v?
False
Let c(s) = s**3 + s**2 + 2*s + 7. Let t be c(0). Let r = -7 + t. Suppose r*u - u = 11. Are u and -12 equal?
False
Let f(r) = r**2 + 3*r - 2. Let y be f(0). Let h be 3/y - (-18)/(-12). Which is smaller: h or -2?
h
Let f be -15 + -1 + 7 + -3. Let c be (f/9 + 1)/(1/(-3)). Is c not equal to 1?
False
Suppose -5*f = -10*f - 190. Is 5 != f?
True
Let h = -8 - -7. Let v(b) = 3*b**2 + b + 1. Let a be v(2). Let s be (-166)/(-210) + (-9)/a. Is s > h?
True
Suppose 6*k = 2*k - 8. Let d be (-1 - -1)*k/(-4). Suppose 3*y - 5*y = d. Is -1 at most as big as y?
True
Let c(x) = x - 3. Let k be c(6). Suppose -8 = k*a - a + 2*m, -13 = 3*a + 4*m. Let n be ((-2)/a)/(4/6). Which is smaller: -0.07 or n?
-0.07
Let q = -102 + 46. Let k = 47.7 + q. Let u = k - -3.3. Is 3 less than u?
False
Let q(v) = 2*v**2 - 73*v - 280. Let z be q(40). Which is smaller: 2/219 or z?
z
Let z = -528 + 495. Which is smaller: -1/4 or z?
z
Suppose 4*c = 4*p, c + p = 4*p. Suppose -234 = -c*i - 2*i. Let z be ((-3)/(-4))/(27/i). Which is bigger: 4 or z?
4
Let i = 5 + -4.9. Are i and 59 unequal?
True
Let b(m) = -4 + 5 - 3*m + 5*m**2 + m**3 + 4*m. Let r be b(-5). Which is greater: -5 or r?
r
Let k = -366/5 - -73. Suppose -u = -4*d + 18, -4*u + 6*d - 17 = d. Suppose -u*t + t = 0. Is t smaller than k?
False
Let y = -9 + 17. Suppose 0 = -4*q - y. Let s = -1 - q. Is s not equal to 2/13?
True
Let y(l) = l**3 + 19*l**2 - l. Let v be y(-19). Which is smaller: v or 20?
v
Let r = -2115 - -2112. Is -8 at most r?
True
Suppose 1 + 7 = 4*j. Let d(m) be the second derivative of -m**3/3 - m**2/2 - 5*m + 9. Let y be d(j). Is 1 greater than y?
True
Suppose 4*p = -3*o + 10, -o - 22 = -3*p + 4*o. Suppose 4*a = 3*w + 6, 2*a + 5*w + 2 = 6*a. Suppose a*f - 8 = f. Is f not equal to p?
False
Let w = -36 + 36.1. Let r(l) = l**2 + 6*l + 3. Let o be r(-5). Which is smaller: w or o?
o
Let u(m) = -m**3 - m + 1. Let o be u(0). Let a be (45/(-25))/((-7)/(-35)) - 1. Do o and a have different values?
True
Let l = -96 + 98. Suppose -l*s - 10 = 4*a + 4, 2*s + 5 = -a. Is s at least as big as -3?
True
Suppose 0 = -56*c - 117 - 33 + 38. Let w = 21/23 + -243/115. Which is greater: w or c?
w
Suppose 0 = 115*f - 111*f - 12. Are f and 39/23 equal?
False
Let z(c) = -c**2 - 2. Suppose -202*d = -205*d. Let p 