 - c. Is -0.2 at least as big as d?
True
Let k = -83 + 142. Let t = 51 - k. Let l = 1 - 10. Which is greater: l or t?
t
Let c be (-6)/5*2120/(-16). Suppose 5*w - c - 21 = 0. Is w less than or equal to 36?
True
Suppose -3*t - 111 = -24. Do -31 and t have the same value?
False
Let a = 4 - 2. Suppose -2*x + b = -0*x - 1, -7 = x + a*b. Let t = -579 - -575. Do t and x have the same value?
False
Let t = 52 + -50. Suppose 0 = -t*s - 3*o + o - 6, 13 = s + 5*o. Is -28/5 != s?
True
Suppose 5*w = -10 + 5. Which is bigger: -2/813 or w?
-2/813
Suppose 0 = 4*h + 23 + 5. Suppose 10 - 59 = 7*m. Let z = 1 + m. Is h >= z?
False
Let h be -3 - 0 - (0 + -3). Suppose -4*j + 60 = -4*t, h = j - 2 - 1. Which is greater: -11 or t?
-11
Let z be (-6)/7*42/(-9). Suppose z*j - 36 = 5*j. Is j greater than -34?
False
Let v = -15 - -17. Let y be v/3 + 20/15. Suppose -18 = t - 2*j, -y = t + j + 4. Which is smaller: t or -11?
-11
Let j(h) = -h**3 + 4*h**2 + 3*h - 6. Let m(b) = b**2 + 6*b + 4. Let t be m(-6). Let v be j(t). Suppose -3*r - v = -0. Which is smaller: r or -0.08?
r
Let v = -40537/55 + 737. Suppose 16*g + 16*g = 9*g. Which is bigger: v or g?
g
Let v(n) = -32*n - 182. Let z be v(-6). Let d be (-164)/(-15) - 8/(-20). Is z smaller than d?
True
Let h be 2/(-4) + (-86)/(-180). Let r be 1 + (8 - 6 - 3). Which is greater: r or h?
r
Let r(v) = v**3 + 3*v**2 - 2*v. Let n be r(3). Suppose -k = 3*k - n. Suppose j + 11 = -b, -2*b - j = k + 5. Is b less than -6?
False
Let u = -177 - -171. Let r = 4 + -4.04. Let j = r - -2.04. Which is smaller: u or j?
u
Let f = -74.2 + 17. Let s = f - -57. Which is bigger: s or 0.04?
0.04
Let y be 3/(495/22) + (-1018)/(-15). Which is bigger: 203/3 or y?
y
Suppose -3*d + 26 = 2*o, o - 16 = -0*d - 2*d. Let j be (-23)/9*-4 + (-232)/1044. Suppose j*v - 4 = d*v. Which is smaller: v or -12?
-12
Let c be 46/(-12)*(-23)/((-575)/(-10)). Are 1 and c nonequal?
True
Let k(w) = 9*w**2 - 2*w + 4. Let i be k(-4). Which is bigger: 155 or i?
i
Suppose 0*j + 3*j - 12 = i, -j + 24 = -2*i. Let y = i + 19. Is 1 <= y?
True
Suppose -3*a = 12 + 21. Let s = a - -7. Let p = s - 6. Is p less than -10?
False
Let y(h) = -3*h + 13. Let z be (((-40)/6)/5)/((-3)/9). Let b be y(z). Which is smaller: b or -3/8?
-3/8
Let r(v) = -3*v - 5. Let b be r(-5). Let k be b/8 - 1/1. Which is bigger: -2 or k?
k
Suppose -5*z + 360 = 1765. Is -280 at most z?
False
Let j be 12 + (-6127)/33 + -12. Which is bigger: j or -187?
j
Suppose -4*i + 7*a + 172 = 2*a, -2*i = 3*a - 64. Do i and 35 have the same value?
False
Let t = -4 + 6.2. Let d = 3.407 + -0.207. Let l = d - t. Is -1 at least l?
False
Let c(m) = -9*m**3 - m**2 + 4*m - 1. Let d be c(2). Which is smaller: -66 or d?
d
Let a(d) = -4*d - 2*d**2 + 1 - d**3 + 2 + 0 - 5. Let n be a(-2). Suppose -3*c = b + n, -4*c = -b + 3*b + 6. Are 11/5 and b equal?
False
Let y = 2485 + -2704. Which is smaller: y or -0.4?
y
Let h(k) = -k**3 - 1. Let z(n) = 3*n**3 - 10*n**2 + 11*n + 11. Let w(i) = 4*h(i) + z(i). Let m be w(-11). Let v be (-2)/m*(-70)/6. Are 2 and v unequal?
True
Let c be (-3 + 1032/340)/(1 - (-130)/20). Suppose -2*f + i + 2*i + 14 = 0, 2*i = -3*f - 5. Which is smaller: f or c?
c
Let t be ((-2)/21)/(-23 + 22). Which is smaller: 3 or t?
t
Let g(z) = -191*z + 192. Let t be g(1). Is -2/115 greater than t?
False
Let b(j) = -7*j - 19. Let w(c) = 4*c + 10. Let m be -2 + 2 + 3 - 8. Let u(p) = m*w(p) - 3*b(p). Let r be u(-7). Are r and 2/7 unequal?
True
Let a be 1*(-1 - -5) + 2. Let m be (-38)/19*(-2)/a. Let p(l) = l**3 - 2*l**2 + l. Let g be p(1). Is m bigger than g?
True
Let a be (-4 + (-130)/(-30))*(0 - -3). Which is bigger: -2/1013 or a?
a
Let u = -331 + 278. Is u equal to -54?
False
Let n = 9 - 20. Let w be -1 + 5 + (n - -6). Is 0 equal to w?
False
Let x = -3.88 + 3.94. Is 5 not equal to x?
True
Let c = 22 - 17. Let f(m) = -3 - 1 - 7 - 7*m + c*m. Let k be f(-5). Which is greater: k or 2?
2
Let p(w) = -14 + 5*w - 4*w - w + w. Let f be p(13). Is -2/167 > f?
True
Suppose 4113 + 201 = 6*d. Let u = -1407/2 + d. Is 16 at least u?
True
Let a be -2*1/(-2) - 1768/(-17). Let p be (-2)/(-3) + 1309/a*-1. Is p > -12?
True
Let d = 74 + -70. Let q be (9/(-12))/(1/(-4)). Which is smaller: q or d?
q
Let b = 0.406 - 0.306. Is b < 8?
True
Let r(v) = -v**2 - 6*v + 4. Let g be r(-6). Suppose -g*z = -5*z. Suppose z*i + 3*i + 3*f = 66, 5*f - 59 = -2*i. Is i <= 18?
True
Let v = -2.07 - -2.2. Let i = v - 0.33. Let t = i + 0.1. Is t smaller than 0.12?
True
Let r = -0.87 - -0.97. Is 0.1021 > r?
True
Let b = -2.19 - -0.2. Which is greater: b or 2/7?
2/7
Suppose j + 4*m - 16 = 9*m, -5*m - 15 = 0. Which is bigger: j or -1/194?
j
Let s(y) = -y**3 + 4*y**2 + 5*y + 6. Let t be s(5). Suppose -60 = -2*n - 4*l, t*n - n = -4*l + 138. Let v = 46 - n. Is v at least as big as 20?
True
Suppose -3*u = 10 + 26. Suppose -4*h = -3*h - 3. Let w be h/(6/22)*(15 + -16). Is u less than w?
True
Let y(r) = r**3 + 5. Let d be -1*0*(-2)/6. Suppose 5*i - j + 3*j - 4 = 0, -3*i + 3*j - 6 = d. Let p be y(i). Do 2 and p have the same value?
False
Let w(g) = g**3 - 22*g**2 - 20*g + 3. Let n be w(9). Which is smaller: -1231 or n?
-1231
Suppose 0 = -5*g + 70 - 20. Let p be ((-18)/4)/(g/20). Which is smaller: p or -7?
p
Let h = -12586 - -37765/3. Suppose 2*s = -3*c - 0 + 9, -2*c = 3*s - 6. Let b be (-2)/c*6/4. Is h at most as big as b?
False
Let m(x) = -x**2 - 6*x. Let g be m(-5). Suppose 110 = -g*w + 20. Let v = w - -27. Which is smaller: v or 0?
0
Suppose -33 = -3*g + 5*u, -21 = -7*g + 4*g + u. Suppose 3*s = -g + 36. Do s and 11 have the same value?
False
Let y be (3 + 445/(-105))*(-4)/(-12). Which is bigger: 1 or y?
1
Suppose 0 = -3*b + 12, b = -2*h - 3*h - 731. Is h > -148?
True
Suppose 0 = 3*w - 5*w + 2*n - 7632, 2*w = n - 7634. Let k be (-3)/(-6) + w/1820. Let l = k + 18/91. Which is smaller: -2 or l?
-2
Let v be (-2)/(-3) + 1572/(-36). Let y = 44 + v. Is y at most as big as 1/13?
False
Let t = 28 - 29. Let u be t + 1 + (-2)/(-54). Which is smaller: u or -1?
-1
Suppose 0 = -r + 2. Let b = -92/133 + 24/19. Is r greater than b?
True
Let v be (-291)/(-12) - (-5 - -2). Which is greater: 26 or v?
v
Let j = -516 + 1312. Are 797 and j non-equal?
True
Let y(w) be the third derivative of w**4/4 - 2*w**3/3 - 12*w**2. Let j be y(-2). Is j > 0?
False
Let c = -78626583/1717 - -45793. Is 1 greater than c?
True
Suppose 0 = n - 0*c + 4*c + 17, -2*n + 2*c = 4. Is n smaller than -142?
False
Suppose 8880 = 2*x - 2*k, 5*k = k - 4. Let m be (-5)/6 + x/(-138). Is m equal to -33?
True
Suppose -14*x + 0*x + 504 = 0. Which is smaller: x or 38?
x
Let d be -1*(-4)/(-14)*(-53)/106. Which is smaller: d or -1?
-1
Suppose -10 = -2*c, 2*g - 5*c = g - 11. Let o = -15 + g. Is o < 1/136?
True
Let p(w) = w**3 + 6*w**2 - 10*w - 3. Suppose 4*y + 7*o - 2*o = -28, 5*y - 4*o + 35 = 0. Let j be p(y). Let u = -1686 - -1705. Are j and u non-equal?
True
Let n be 2/(-5) - (-28)/20. Let f be n/2*(-14)/(-1673). Let l = f + 469/2151. Is l smaller than 0?
False
Let g = 437.9 + -438. Is -5/7 > g?
False
Let u(y) = y**2 + 7*y + 7. Let m be u(-6). Let o = m - 3. Is o not equal to -15/7?
True
Suppose -40 - 50 = 6*x. Let c = 19 + x. Suppose p - 5*p + c = 0. Is p not equal to 0?
True
Suppose -8 + 7 = -2*l - v, -l + 2 = -v. Is -5/42 != l?
True
Let n = -23 + 9. Let f be (-38)/n + (-5)/70*-4. Which is smaller: f or 11/6?
11/6
Let k = 650 + -1161. Let t = 11756/23 + k. Which is bigger: 1 or t?
1
Let l = -10 + 31/3. Let n = 33 + -29. Suppose 3*v - 2*k - k = -9, -5*v = -n*k + 12. Do v and l have the same value?
False
Suppose a = 3*a - 3*k + 18, -3*k = 2*a + 18. Let t = -11 - a. Let q(z) = z + 1. Let i be q(t). Which is bigger: i or -2/3?
-2/3
Let o be (4/(-3))/(-2) + (-30875)/(-375). Let i = 104 - o. Which is smaller: i or 20?
20
Let f = 18 + -12. Suppose f*z + 144 = 10*z. Let v be 2/4*z/(-3). Which is bigger: -4 or v?
-4
Let v = 0.07 - -0.02. Let w = 31 + -63/2. Which is smaller: w or v?
w
Suppose 16 = -3*t + 4*t + 3*l, 2*l = 0. Let r(w) = 5*w + 2. Let p be r(4). Let z = p - t. Is z greater than 5?
True
Let r(c) = 9*c - 94. Let n be r(13). Which is bigger: -1/3 or n?
n
Let g = -8 + 2. Let r be -4 + -5 + g/(-2). Suppose 1 + 1 = -d + b, 5*b + 32 = -2*d. Are d and r non-equal?
False
Let q be (10/25)/((-8)/(-230))*38. Suppose -4*g = t + 2*t + q, 0 = 4*t - 2*g + 54