s big as p?
True
Suppose -5*x + 16 = -3*x - 3*k, -3*k - 6 = 0. Suppose z = -4, 5*z = x*h + 1 - 21. Let w = -3111/70 + 89/2. Is h equal to w?
False
Suppose b - 18 = -10. Suppose -b = -5*k + 7. Is 2 at least as big as k?
False
Suppose 32 + 3 = 7*a. Let m be (-14)/(-6)*(-15)/a. Suppose 0 = g + 5 + 3. Is g at most m?
True
Let q = -3 - -2. Let h = -5 + q. Suppose 7*k + 49 - 7 = 0. Is h at least k?
True
Let n = 17939/20 - 897. Which is greater: n or 0?
0
Let s = -885.7 - -886. Is s < 14?
True
Let p = 0.0776 - -7.9124. Let l = p - 8. Let c = -0.19 + l. Which is smaller: 2 or c?
c
Let g(f) be the third derivative of f**5/60 + f**4/6 - f**3/6 + 7*f**2. Let a be g(-2). Is -5 greater than or equal to a?
True
Let h = 9 + -7. Suppose 4*g + 2*p - 64 = 0, -p = 3*g - 12 - 34. Let f be 4/g + (-372)/(-168). Which is bigger: h or f?
f
Suppose v = 4*f - 10, f - 8 = -6. Which is greater: -1/131 or v?
-1/131
Let w(p) = -13*p + 222. Let x be w(16). Is 22 <= x?
False
Suppose s - 4*u = -188, s + 4*s = u - 978. Is 1/2 at least as big as s?
True
Let d = -28 - -38. Suppose 2*r + 0 = d. Which is smaller: r or 19/4?
19/4
Let r = 455/4301 + 3/253. Which is smaller: 3/4 or r?
r
Let b = 988/23 - 43. Let u(v) = 2*v**2 - 16*v + 1. Let l be u(8). Is l bigger than b?
True
Let z be (-4)/(-70) - 2475/(-2625). Let m = 44/5 + -357/40. Which is bigger: z or m?
z
Let a(g) = -g - 8. Let d be a(-5). Let r be (d/(-6))/((-6)/4). Let c be 18/90 + 1/(-15). Which is smaller: c or r?
r
Let o(z) = 2*z**3 + 56*z**2 - 58*z + 9. Let g be o(-29). Is 42/5 at most as big as g?
True
Let k = -1 - -0.8. Let h = 27.1 + 178.9. Let t = 205.8 - h. Is t < k?
False
Let a be -329*(-32 - -8)/(-8). Which is smaller: a or -986?
a
Let r = -0.28 + 3.88. Let i = r + -1.4. Let j = 2.3 - i. Which is smaller: j or 4/15?
j
Let k(d) = -d - 9. Let w be k(-7). Suppose -3*n = -2*n, 4*s + n = 12. Suppose -a - 2*z = 7, -s*a = a + 4*z + 20. Is w less than or equal to a?
False
Let z be ((-3696)/(-18))/(-11) + 3. Which is greater: -15 or z?
-15
Let x be (-6)/21 - 72/(-7). Let o(c) = c**3 - 43*c**2 + 41*c + 53. Let k be o(42). Are x and k non-equal?
True
Let m = -6.9 + -2.1. Let a = 104 - 94.7. Let c = a + m. Is 2 <= c?
False
Suppose 5*h - 3 = 6*h. Let u be (2/(-10))/((-1)/h). Suppose m + 1 = d, 2*d + 2*m + 0 = -6. Which is bigger: u or d?
u
Let m(f) = -f - 13. Let w be m(11). Let j = w - -19. Let b = 671/12 + -185/3. Which is smaller: b or j?
b
Let j = 1511303/9 + -168146. Let z be -1 + -2 + (1 - 221). Let a = j - z. Which is smaller: a or 1?
a
Let w be 78/52 + 73/(-2). Which is smaller: -21 or w?
w
Suppose 5*v - p - 10 = 0, 1 = -12*v + 8*v - p. Which is smaller: v or -2/1369?
-2/1369
Suppose -35 = -3*v + 5*c, 4*v - c + 4*c = 8. Suppose -3*d + 32 = -34. Suppose -3*j - 2*z - 14 = j, z = -v*j - d. Do j and -4 have the same value?
False
Let p = -4.196 + 0.376. Let f = -0.18 + p. Is f greater than 0.2?
False
Let m = -785 - -782. Which is bigger: -14 or m?
m
Let q(a) = -a**2 - 5*a - 3. Let h be q(-4). Suppose -h = w - 5. Let y(k) = 6*k**2 + 29*k. Let t be y(-5). Is w bigger than t?
False
Let j = -0.0128 + 0.0218. Is j != 4/3?
True
Let g be (-69)/(-9) - 3/1. Let z = 0 - 0.1. Which is smaller: z or g?
z
Suppose 7*s - 6*s - 4 = 0. Suppose 0 = -s*p - 0*p + 4. Are -2/53 and p equal?
False
Let j(v) = v**3 - 4*v**2 + 3*v - 12. Let x be j(4). Is 5/78 at least as big as x?
True
Let b(r) = 3*r**2 - 38*r - 13. Let a(j) = -j**2 + 13*j + 4. Let m(h) = -11*a(h) - 4*b(h). Let y be m(10). Let v be (-2)/5*(-1)/y. Are v and 0.3 nonequal?
True
Let f = -22 + 31. Let u = 157 + -111. Let z = 55 - u. Is z < f?
False
Let w = -1420 + 1414. Let g = 0.29 + 0.01. Is w smaller than g?
True
Let i = 164 - 164. Is 4/25 equal to i?
False
Let n(t) = 4*t + 14. Let r be n(-20). Which is greater: r or -67?
r
Let d = 2678 + -2679. Which is bigger: 27 or d?
27
Let b be (-6)/(-24)*(2 - -6 - -2). Is b greater than 2?
True
Let f = -2 + -1. Is -18/5 at least as big as f?
False
Let r be (-16)/20*26/39. Is 0 < r?
False
Let b be ((-9)/(-56 + -7))/((-2)/(-14)). Is b at least as big as 40/23?
False
Let r = 3317 - 3346. Which is smaller: -208/7 or r?
-208/7
Let b = 0.08 - 1.08. Let x = -10 - -5. Let f = b - x. Which is greater: 1 or f?
f
Suppose 20*m = 16*m + a - 4, 0 = 4*m - 4*a + 16. Which is smaller: 1/240 or m?
m
Let u(z) = z**2 - 5*z - 7. Let h be u(6). Let m be -10*2*h/16. Let g = 13733/52 - 3430/13. Is g greater than m?
False
Let r = 7 + -4. Suppose -4*d - 7*a + 8 = -3*a, 0 = 4*a + 8. Suppose -d*l + 5*z + 7 = 2, -2*z = -2*l + 2. Is r greater than or equal to l?
True
Let c = 7.3 - 93.3. Is c smaller than -1/4?
True
Let u be (-4)/(-22) + (-588)/(-154). Suppose l + 63 = u*l. Suppose 4*j + x = -l, j - 5 = 2*x + 1. Which is smaller: j or -9?
-9
Let l = 28/15 - 4/45. Let x be 23/12*4/6. Let g = l - x. Is -2/15 bigger than g?
False
Suppose -199*k = -203*k + 136. Is 34 > k?
False
Let x be (-503)/375 - (-48)/36. Let g(s) = s**2 - 10*s - 11. Let h be g(11). Is x at most as big as h?
True
Let p be 6/((-6)/(-54)*6/17). Which is smaller: 155 or p?
p
Let v be 1*4/(-3)*-3. Let o be 14/(-35)*(-46)/v. Is 6 < o?
False
Let r = 4.644 - 0.044. Let v = -4.59 + r. Which is bigger: v or 0?
v
Let o(v) = -v**3 - 6*v**2 - v + 10. Let x(h) = h**2 - 7*h + 5. Let a be x(2). Let u be o(a). Is u < -7?
True
Let y be (-1)/((-3 + -2)/(-70)). Which is smaller: -43/3 or y?
-43/3
Let r = -204 + 218. Is -1/27 at most r?
True
Let n = 7 - 5. Suppose -n*s = 2*s - 16. Let z be (-140)/10*(-2)/s. Is z less than or equal to 9?
True
Suppose 7 = 5*w + 22. Let s(l) = -2*l**2 + 2*l + 6. Let k be s(w). Is k >= -18?
True
Let y = 27697/7 + -3943. Let j(g) = -g**3 + 10*g**2 + 2*g - 7. Let q be j(10). Which is smaller: y or q?
q
Let k = -1 + 1. Let n be -45*(-28)/6174*7. Is k greater than or equal to n?
False
Let f = -40.2 - -54.1. Is f at least 0?
True
Let x = -2/4311 + -2389/12933. Let o be -12 + 17 - (-30)/(-5). Is x at most o?
False
Let x be 18/80*2/(-21). Which is greater: x or 1?
1
Let h(a) = -a**2 - 28*a + 51. Let z be h(-29). Let p = 15.7 + -15.6. Is z at least as big as p?
True
Suppose -16 = n - 5*p, 4*n + 2*p + 1 = 47. Let k be -72*(-5 - n/(-2)). Is 36 not equal to k?
False
Suppose 5*u + 72 = 3*u. Let v be (-9)/u - 35/108. Which is greater: 1 or v?
1
Let i(j) = j**2 + 15*j + 11. Let o be i(-14). Is -32/9 at least as big as o?
False
Suppose 0 = -10*i - 1713 + 7483. Is 576 less than i?
True
Let n be (-486)/(30/5)*-1. Which is greater: 83 or n?
83
Suppose -4 = -3*f - f. Let w = 248 + -248. Which is smaller: w or f?
w
Let v = -0.1 + 7.1. Let f = v - 7.14. Let n = -0.14 - f. Does 0.19 = n?
False
Let r(b) = -25*b - 973. Let i be r(-40). Suppose 4*m - 81 = m. Is m greater than i?
False
Let g be 2/2 - (3 - 5). Let m(f) be the third derivative of f**6/120 - f**5/15 + 5*f**4/24 - 2*f**3/3 - 2*f**2. Let l be m(g). Which is smaller: l or 1?
1
Let i = -2/179 + -125/4833. Suppose 0 = 5*n - 7*n. Which is greater: n or i?
n
Let a be 75/24 + (-4)/32. Let j be -6 + a - -1*7. Which is greater: j or 3?
j
Suppose 0 = -9*b + 666 + 873. Is b not equal to 168?
True
Let j = -1030/387 - 2/387. Let d be (-24)/36 - 28/12. Which is bigger: j or d?
j
Let x be 12 - -150*(-21)/504. Suppose -5*v - 5*n + 110 = 0, 3*n = 3*v + v - 81. Suppose -3*i - 3 = -v. Which is smaller: x or i?
x
Let o = -1 - -5. Let r be 2/8 + 233/o. Let q = 811/14 - r. Is 0 less than q?
False
Let i be (-3)/(3/(-2)) + 2. Let g be 4/i + -3 + 2. Let h be ((-2)/4)/(-1)*g. Do -2 and h have different values?
True
Let y(d) = -56*d + 17. Let u be y(7). Let v be 144/u - 1/5. Let a = v - 2/125. Do -2 and a have the same value?
False
Let o be 405909/210 + 8/80. Is o bigger than 1934?
False
Suppose 0*x + 3*x - 4 = -i, x = -2*i - 7. Let d = -79 + 329/4. Which is greater: x or d?
d
Suppose 2*z + 3*m + 17 = 12, -m = -3*z - 2. Is 2/57 > z?
True
Suppose -n = 4*w - 32, w - n - 8 = -3*n. Suppose -w*c = 13*c. Is c bigger than -2/141?
True
Let r be (-4554)/(-4) + (-5)/(10/(-6)). Let f = 1163 - r. Is 23 at least as big as f?
True
Suppose 0 = 41*g - 39*g + 3*x - 2, 4*g - 2*x = 4. Is g smaller than -1/220?
False
Let z = 11891 + -83078/7. Which is smaller: 22 or z?
22
Let p = 55.26 + -2.26. Which is smaller: -0.1 or p?
-0.1
Let v be 7/((-735)/18)*28*-190. Suppose 8*o = 16*o + v. Which is smaller: -11