 3*g - 4*q + 14 = 0. Which is smaller: g or 12/13?
12/13
Let m(w) = -w**3 - 3*w**2 - w - 1. Let i be m(-2). Let l be 2 - 135/25 - i. Is -45 at most l?
True
Suppose 42 = 4*d - 3*d + 5*b, -2*b + 60 = 2*d. Let o = d - 20. Which is greater: o or 6?
o
Suppose 5*w - 5*g = -25, -2*w = 4*g - 2*g - 6. Is w greater than -106?
True
Suppose -5*f + 7 = 2. Let i be (2 - (4 - 1))/f. Is i greater than -5/4?
True
Let v = 22.06 + -22. Let c = -6.43 + 3.37. Let h = c + v. Do h and 2/5 have the same value?
False
Let k be (-20)/8*(6/5 + 0). Which is greater: k or -53/15?
k
Let g = 3 + 1. Suppose g*s - 2 = 2*s. Let m = -3509/3 - -1170. Is s <= m?
False
Let f = 34 + -35. Let v = f + 3. Suppose -6*p + 4*p = -4. Is p >= v?
True
Suppose -5*v = 3*y - 0*y - 5, -v + 5*y = -29. Let r be (0 + v - 4)*1. Which is greater: r or 9/11?
9/11
Let m = -1266669421/9975 - -380953/3. Let o = m - -3/175. Which is bigger: 1/4 or o?
1/4
Let q(w) = -w**2 - 2*w + 12. Let c be q(-5). Let s = -1/2 - c. Do s and 2 have the same value?
False
Let b be 632/2226 + (-390)/1365. Which is smaller: b or 1?
b
Let c = -2580 - -2580. Which is bigger: c or -1/5276?
c
Let z(d) = -d**3 + 5*d**2 - d - 1. Let m be z(3). Let h(g) = 15*g - 24. Let w be h(m). Let n be (-9)/(-15) - w/30. Is -7 >= n?
False
Let s be (-2)/(-1)*-10*7. Let u = 1 - -4. Let f be (s/(-27))/u - 1. Which is smaller: f or 0?
0
Suppose 4*h - 32 = -4*b, -h - h - 4*b + 16 = 0. Suppose 0 = -h*j + j. Which is bigger: j or 3/14?
3/14
Let a be -48 - (-6 - -3 - -7). Let s be (-2)/(-13) - (-216)/a. Let x(v) = 2*v**2 + v - 7. Let j be x(s). Are j and 21 non-equal?
False
Let l = 11.1 + -10.6. Is l at least as big as 0.247?
True
Suppose 0 = -0*f - 3*f + v + 15, 0 = f + 5*v - 21. Suppose -2*r + 15 = 3. Is r less than or equal to f?
True
Let z = 18123/151 - 120. Is z <= 0?
False
Suppose -7*f + 365 = -944. Is f at most 0?
False
Let w = -2777/418 - -134/19. Which is smaller: w or 0?
0
Let u = -941.71 - -0.71. Which is smaller: -2/3 or u?
u
Suppose 3*o - 20 = -2*o. Suppose 0 = u + 4*s - 2, -5*s - 10 - o = 4*u. Is u < -8?
False
Let r = -26 - -25.999. Let o = -0.001 - r. Which is greater: -1 or o?
o
Suppose -30 = 458*a - 460*a. Is 0 at most a?
True
Let t be 0*(-6)/(-12)*-1. Is t >= -4/109?
True
Let h = -22/4277 - -1843629/47047. Let q = h - 39. Which is bigger: q or -1?
q
Let t = 38526 - 269236/7. Which is greater: 64 or t?
64
Let h = -41 - -9554/233. Which is greater: -1 or h?
h
Let v = 268 + -4823/18. Which is smaller: v or 0?
0
Suppose 0 = k - 3*r - 2, -k + 7*r - 2*r = -6. Let j(d) = 4*d + 3. Let q be j(-2). Is q at most k?
True
Suppose 0 = -8*g + 29 - 5. Let d be g + (-1101)/435 - (-2)/(-5). Is d not equal to 0?
True
Suppose -3*l - 5*g = 4 - 29, -4*l = -3*g + 15. Which is smaller: -1/109 or l?
-1/109
Let t(z) = -19*z - 153. Let n be t(-8). Suppose 4*h - 5 + 25 = 0. Which is greater: n or h?
n
Let d = -116 - -170. Let m = -56 + d. Which is smaller: m or -0.1?
m
Let p(r) = 7*r**2 + 23*r + 20. Let j be p(-6). Which is smaller: -1/9 or j?
-1/9
Suppose 2*m = -48 + 24. Let b = m - -18. Is b greater than 0?
True
Let s = 5.8 + -5.864. Let a = s + -5.936. Is a at most 1?
True
Let b be -8 + 9 - (-15)/(-10). Is -1/3 at most as big as b?
False
Let y(w) = -w + 5. Let a be y(6). Let d = 71303/8 - 8913. Which is smaller: a or d?
a
Suppose -t + 2*t = 0. Let w(y) = -y**2 + 9*y + 2. Let h be w(6). Let f = h - 21. Is t != f?
True
Suppose -12*q + 157 = -7*q + 2*p, 95 = 3*q + p. Which is greater: 36 or q?
36
Suppose 2 = 2*s - 0. Let b = 1025 - 37927/37. Which is bigger: s or b?
s
Let z = 715 + -777. Is z bigger than -0.1?
False
Let j = 5 - 12. Suppose -7*l = -17*l - 90. Is j greater than or equal to l?
True
Let u = -78.09 - -0.09. Let q = u + 55. Which is bigger: 1/4 or q?
1/4
Let f be (-10 + 8 - -8)/(-6). Which is smaller: f or 1/2463?
f
Let m = -35/193174 + 8664482433/3960067. Let v = m + -2188. Are v and -1 equal?
False
Let w(f) = f**3 - 8*f**2 + 5*f + 14. Let v be w(7). Suppose -5*m - 4 - 6 = v. Let j be (-3)/15*15/4. Is m at most j?
True
Let z(h) be the third derivative of 0*h + 0 + 1/6*h**3 + 1/8*h**4 + h**2. Let f be z(1). Are 4 and f equal?
True
Let n be -1 + 1 + -5 - 2*-2. Is n < -1/863?
True
Suppose -a - 1 - 1 = 0. Is a > 838?
False
Let t = -33 - -55. Let h = -23.6 + t. Let r = h + 1.5. Is 0 > r?
True
Let k be (-3)/4 - 2/(64/(-24)). Is k at least as big as 2/701?
False
Let g be 8 - ((1 - 2) + 0). Let d be ((-648)/g)/(14/4 + -2). Is d bigger than -47?
False
Let h(n) = n**2 + n + 5. Let v(q) = -q - 1. Let g(w) = h(w) - 2*v(w). Let a be g(-3). Let s be (21/(-28))/(a/8). Is -1 >= s?
False
Let f(q) = q**3 - 13*q**2 - 13*q - 14. Let w be f(14). Suppose -3*m = -m - y - 6, w = -2*m - 3*y + 6. Let t be (-4)/(-6)*(-18)/(-4). Is m equal to t?
True
Let j = -409 - -273. Which is bigger: -1 or j?
-1
Suppose -807 = 2*v + v. Let c = 4843/18 + v. Is 1 at most as big as c?
False
Let i = -311501/9 + 34757. Let v = 146 - i. Let n = -0.7 + -0.3. Which is bigger: n or v?
v
Let u = 149 - 147. Suppose 3*j = 6*j - 6. Is j at most as big as u?
True
Suppose -d = 7*d + 56. Suppose 3 = r + 9. Let c be r + 6 + (-2)/1. Which is bigger: c or d?
c
Let x be 1 + (-4 - -4) - 19*-2. Let g = -2 - x. Is -41 less than g?
False
Let y = -0.5 - 0.8. Let w = -15.1 + 13.7. Let b = w - y. Which is greater: 0.3 or b?
0.3
Let u = -21/17 - -235/204. Let d(y) = -y**2 - 13*y. Let p be d(-13). Which is smaller: p or u?
u
Let o = 0 + -1. Let h(v) = -2*v + 18. Let g be h(8). Suppose 0 = -g*b - 5*b + 14. Are o and b unequal?
True
Let i = 3774.83 + -3801. Let s = i - -26. Do 2 and s have different values?
True
Let x be ((-8)/12*-1)/142. Let j = x - -68/639. Does j = 1?
False
Let p be (-9)/6*(-12)/9. Suppose 0 = 3*r + h - 12 + 4, -4 = p*r - 4*h. Let b(w) = -w**3 - w**2 - w + 2. Let f be b(0). Is r equal to f?
True
Let r(t) = -t**3 + 8*t**2 - 8*t + 8. Let f be r(7). Suppose 4*p = -3 - f. Is 0 < p?
False
Let u = -2642/11 + 240. Is u greater than 0?
False
Let t be -3 + 0 + (-24)/(-3). Suppose 0*b = t*b + 5*u + 125, 3*b - 3*u + 87 = 0. Is -29 != b?
True
Let r(i) = -2*i + 10. Let u be r(5). Suppose 3*f + 48 = -u*f. Let a = -47/3 - f. Which is smaller: a or 0?
0
Let q(r) = -7*r**2 + 25*r - 53. Let p(t) = -6*t**2 + 25*t - 53. Let c(d) = 6*p(d) - 5*q(d). Let b be c(22). Which is smaller: b or 15?
b
Let c be (-4)/(-6) + 7300/90. Let j = c - 82. Is j equal to 3?
False
Let i(y) = 2*y + 8. Let z be i(-2). Suppose 2*f + 2*f - z = 0. Is f less than 1?
False
Let z(f) = -21*f**2 - 20*f - 28. Let p be z(-4). Which is greater: p or -283?
-283
Let k be (3 - (-9)/(-4))*8. Let v be (-2)/(-6)*k - 1. Suppose -4*s + 3 + v = 0. Which is smaller: -4 or s?
-4
Suppose -18*p + 21*p - 4*t = -2, -5*p - 5 = -5*t. Let m be 6/(-15) - 44/(-10). Suppose 5*k + 5 = 0, -m*i - 5*k = -k. Is p at least as big as i?
False
Let i be ((-13)/(-8) - 1) + -1. Suppose 0 = -5*k - 2*x - 3, 27 = -4*k - 4*x + 15. Is i bigger than k?
False
Let f = -559 - -563. Which is bigger: 1/16 or f?
f
Let h = 14/25 - 283/550. Let n = -3274 - -144091/44. Let d = n - h. Are d and 0 non-equal?
True
Suppose 0 = 5*i - 2*r - 229, 0 = 4*r - 1 - 11. Let m = i + -52. Suppose -5*x - 15 = -2*x. Are x and m nonequal?
False
Let z(l) be the third derivative of l**5/60 + l**4/24 + 2*l**3 - 6*l**2. Let b be z(0). Let h be (b/(-5))/4 + 1. Which is smaller: h or -5?
-5
Suppose -28*b + 1547 = -21*b. Is b != 221?
False
Let s = -1341/403 + 42/13. Which is smaller: 2/11 or s?
s
Suppose -5*m + 27 = -13. Suppose 6*p - m*p = 24. Let w(z) = z + 8. Let d be w(p). Is d >= -2?
False
Suppose 0*d = 2*b + 5*d, -b + 3*d = -11. Let n = 12252 - 12249. Which is smaller: n or b?
n
Let t(g) = 2*g**2 + 16*g + 28. Let b be t(-2). Is b at most 26/7?
False
Let c = 1381 - 1380.5. Which is smaller: -6 or c?
-6
Let c be (-4)/(20/3)*-5. Suppose -3*o - 9 = -t + 4*t, 2*t + 11 = c*o. Let z be (1 - 5)*o/18. Is z greater than 0?
False
Suppose -4*m = -101 - 7. Let h be 5 + (-1 - 0) - (m - -8). Are -30 and h equal?
False
Let j be 1/(-2)*2*12. Let g = 1.1 + 5.9. Let z = 7 - g. Is j less than z?
True
Let v(b) = -b**3 - 9*b**2 + 7*b + 5. Let r be v(-10). Let d be (-10)/r - (-195)/21. Suppose -5*t + 41 + d = 0. Is t > 10?
False
Let g = -510 + 1352. Which is smaller: g or 1?
1
Let s be (38/(-228))/(478/(-12)). Which is smaller: s or 1?
s
