3. Suppose 0 = -25*d + 41*d. Is d >= m?
False
Let w(o) = -o**3 - 9*o**2 - 22*o - 114. Let y be w(-8). Let u(t) = -9*t. Let p be u(-3). Let d be 24/p - 2/9. Which is greater: d or y?
d
Let d = -140 + 134. Suppose -4*l = -5*s + l + 15, 2*l = s - 1. Let i be s/((-15)/d) - 2. Which is smaller: 2 or i?
i
Let x = -166587/1804 - -42/451. Do -92 and x have different values?
True
Let b be (-5)/(-1) + 1*(-2 - -3). Let p be ((-4)/56*6)/(b/(-4)). Are -1.3 and p equal?
False
Let k = 0.02 - -0.18. Is k less than or equal to 0.04?
False
Suppose -4*q + 53 + 3 = 0. Let l be 1/(-7)*q/(-48). Let w = -37/264 - l. Which is bigger: w or 0.2?
0.2
Let c = -6 + 11. Suppose -2*s - 4*z - 3 = c, 4*z = 2*s - 24. Suppose -3*h + 15 = -2*y, 0 = s*h + h - 5*y - 20. Is 9 less than or equal to h?
False
Suppose q + 4*p - 6*p + 5 = 0, 5*p - 16 = -q. Let v be (-73)/(-105) + (-6)/14. Is q at most as big as v?
False
Let p(f) = 10*f**2 + 8*f - 53. Let g(t) = 3*t**2 + 3*t - 17. Let s(l) = 7*g(l) - 2*p(l). Let j be s(2). Is 14/13 >= j?
True
Let r(y) = y**3 - 11*y**2 - 8*y - 26. Let h be r(12). Let p be ((-4)/14)/(-1*h/14). Let v be -3 - -4 - 2*1. Are v and p equal?
False
Let y be 3*((-3)/3)/((-3)/9). Let t be (2/10)/(3/y). Which is smaller: 0 or t?
0
Let o be 79/7 + 2/(-7). Suppose 4*b - 5*l = 86, -4*l + o = 4*b - 57. Let s be b/(-44) - (-24)/132. Which is greater: 0 or s?
0
Let d = -444 - -345.9. Let p = d + 98. Suppose -2*s - 3*k + 31 = 0, 0 = -4*s + k + 23 + 4. Which is smaller: s or p?
p
Suppose 25*b - 43*b - 4446 = 0. Is b greater than or equal to -245?
False
Suppose 2*w - w = -4*h + 238, 0 = 3*h + 2*w - 176. Which is smaller: h or -1?
-1
Suppose 2 = -q - 3*r, r - 2 + 4 = 0. Suppose -6*w + q = -10*w. Is w <= -2/53?
True
Suppose 4*i = 4*u + 6*i + 136, -3*u - 4*i = 102. Is u less than or equal to -0.16?
True
Let b = 24.8 - 24.7. Which is greater: -185 or b?
b
Let u be ((-52)/16*1 + 3 + 0)*1. Suppose 0 = -a - 3*a. Which is smaller: a or u?
u
Let x be (-2)/((-24)/28) - 2. Is 0.024 less than or equal to x?
True
Let q = 0.15 + 8.85. Let z = 11 - q. Is -1/3 less than or equal to z?
True
Let n = 12 - 10. Suppose -6 + n = 4*j. Let o(b) = b**3 + 1. Let r be o(j). Are r and 2/35 non-equal?
True
Suppose 4*d - 83 = 4*y - 367, 220 = -3*d - 4*y. Let j be (d/(-60) - (-2)/(-10))/1. Is j > 12?
False
Let x(s) = -s + 12. Let m be x(0). Suppose 14*b - 148 = m*b. Let a be (-1)/4 - b/(-232). Are -1 and a non-equal?
True
Let i be (-398)/1624 + (-4)/80*-5. Which is greater: i or -1?
i
Let o = 1374 - 1382. Let f be -1 + (8 - 1) - 0. Let z(b) = -b**3 + 7*b**2 - 8*b + 5. Let h be z(f). Is o <= h?
True
Let z = -296 - -321.1. Let r = 25 - z. Are -2/21 and r equal?
False
Suppose 3*l + 4*f + 13 = 0, -12 = 3*l + 2*f + f. Let q be (l - (-30)/8)/((-9)/6). Are -0.45 and q nonequal?
True
Let r(u) be the first derivative of -3*u**2/2 + u + 2. Let v be r(-1). Let l be 4/14 + 100/(-105). Which is smaller: v or l?
l
Suppose 4*c = v + 8*c - 9, -53 = -4*v + c. Let j be v/240 + 28/210. Is j less than 0?
False
Suppose 0 = -11*f + 53 + 2. Suppose -4*c + 4*o - 8 = 0, -4*o = 5*c - 0*c - 26. Suppose -5*u - 3 = c. Which is smaller: u or f?
u
Let r(z) be the third derivative of -z**5/60 - z**4/6 - z**3/6 + 3*z**2. Let s be r(-4). Suppose -26 + 2 = 3*j. Is j greater than or equal to s?
False
Suppose -4*n = -n - 12. Let z = -13 + 45. Let c = z + -34. Is c greater than or equal to n?
False
Let y be (-609)/(-15) + 36/90. Is y less than 43?
True
Let n be (-9)/(-27) + 28/6. Suppose 0 = -2*s - n*c - 3 + 4, 0 = 4*c + 12. Suppose 4*z + s = 4*j - 3*j, -3*j = 0. Which is greater: z or -7/5?
-7/5
Let j(l) = -3*l**2 + 3*l - 74. Let r be j(0). Which is smaller: -72 or r?
r
Let f be (-3 + 2)/(1/(-5)). Let b be 15/(-10) - 9/(-2). Suppose 0 = -v + 3 + b. Do v and f have the same value?
False
Let t = -0.346 - -0.036. Let i = 1.61 + t. Let o = 1.7 + i. Is o greater than -2?
True
Let f(w) = -2*w + 16. Suppose 0 = -4*y + 16, -68 = a + a - 4*y. Let c = a - -39. Let g be f(c). Is -10 bigger than g?
False
Suppose -13*c = -7*c. Which is smaller: c or -4/303?
-4/303
Let k be 0*(24/48 + 6/4)/2. Let n be (-4)/14 - 6/63. Which is bigger: k or n?
k
Let c = -181 + 190. Let y(t) = 10*t. Let p be y(1). Which is smaller: p or c?
c
Let w(h) = 2*h**3 - h**2 + 2*h - 1. Let t be w(1). Let b(m) = m**2 - m - 3. Let c be b(t). Let k = -43 - -171/4. Which is bigger: k or c?
k
Let x(s) = -5*s**2 - 13*s + 7. Let q be x(-3). Is q greater than -2/4831?
True
Let l = -47 - -88. Let y = 42 - l. Which is greater: y or 1/141?
y
Let x = -27 + 29. Suppose 0 = -x*d - d + 6. Are 2 and d nonequal?
False
Let b be 14/(-5) - (-15 - 5)/(-5). Which is smaller: b or -8?
-8
Let c = -4 + 5. Let r be (((-6)/(-369))/(-1))/(12/18). Is c smaller than r?
False
Suppose -a + 37 - 36 = 0, 3*d = -2*a + 5. Is d >= 32?
False
Let h(s) = s**3 + 15*s**2 + 12*s - 15. Let l be h(-14). Which is bigger: 11 or l?
l
Let j = -895 - -1559. Are j and 0.1 non-equal?
True
Let k = 884 - 886. Is k bigger than 5?
False
Let t = -431/24 - 91/8. Is t at most -29?
True
Let o(f) = 2*f**2 + 2*f - 1. Let t be o(1). Suppose -5*i - 9 = 2*k - 28, 3*i - k = 7. Suppose i*a + 4 = 5*a. Which is bigger: t or a?
t
Let k be -1 + 0 + (-44)/(-124). Let o = k - 2/93. Let w = -35 + 35. Which is smaller: o or w?
o
Suppose -6*m + 2*m + 16 = 0. Suppose -1 = -3*h - 5*c, 5*h + m*c - 2 = 4. Let d = -2617 - -2616. Which is smaller: d or h?
d
Suppose 4*r + 4*y + 72 = 0, r + 7*y + 2 = 2*y. Let s be ((-31)/2)/((-11)/r)*1. Is -31 at most s?
True
Let g = 1022800 - 45984467/45. Let o = 923 - g. Which is bigger: 0 or o?
o
Let m = -11780097/444197666 + -3/327338. Let n = m - 1/59. Does -1 = n?
False
Let b(f) = 3*f**2 + 17*f + 11. Let s(u) = -u**2 - u. Let w(m) = -b(m) - 4*s(m). Let p be w(13). Is -10 at most p?
False
Let z be 4*(-5 - (-404)/8). Let j = z - 2367/13. Are j and 4 unequal?
True
Suppose 1215 = 78*j - 69*j. Which is smaller: 137 or j?
j
Suppose -5*s = -5*g - 10, -4*s = -5*s + 3*g + 10. Let p = -46 - -48. Which is greater: s or p?
p
Let k(s) = -s**2 + 14*s - 17. Let q be k(12). Suppose 468 = q*l + 2*l. Which is bigger: 51 or l?
l
Let j = 19 + -17. Let d be (-4)/j - 140/(-63). Is -0.01 > d?
False
Let i = -21421/45 + 476. Suppose 11 = -5*b + b + 5*f, 0 = -5*b - 3*f + 14. Is i at least b?
False
Let v = 236244/31 - 7620. Are v and 2 unequal?
True
Let g = 15.4 + -19. Let o = 3.7 + g. Is -1 equal to o?
False
Let q be 20/30*1896/8. Is q at least as big as 161?
False
Suppose 30*u - 34*u = 4. Is 3/103 at least as big as u?
True
Suppose 4*d - 2*d = 114. Let r = -1134911/20013 - 16/2859. Let g = r + d. Is 4 equal to g?
False
Let q be -4 + (2 - 1) + 15/(-15). Let c be (2*-1 + -4)*1. Which is bigger: c or q?
q
Suppose -5*r - 3*n + 90 = 0, -2*r + n + 110 = 3*r. Let c = -10430 - -10429. Does r = c?
False
Let h = -26 - -38. Let p be h*(14/4 + -4). Let l = p + 5. Is -4/15 greater than or equal to l?
True
Suppose 0 = 3*f - 2*j - 2, -4*f = -j + 3 - 9. Let y = -10 + 15. Suppose -y*a - 16 = 3*h - 0, h - 3*a = 18. Which is smaller: f or h?
f
Let p = -47 - -47.29. Let b = p + -0.29. Let g(j) = j**3 + 5*j**2 + 4*j + 3. Let m be g(-3). Is b greater than m?
False
Let n be (10 - 9) + -2*1823/3024. Let l = 1/378 - n. Is -1 at least as big as l?
False
Let t(j) = -j**3 + 3*j**2 - j - 4. Let k be t(-4). Is 112 greater than k?
False
Let k = 315 + -31. Is 0.1 at most as big as k?
True
Suppose -84 = -10*c + 16*c. Which is smaller: c or -7?
c
Suppose 5*z - 4*h - 15 = 0, -z = 2*z + 4*h - 9. Suppose -x - 3 = 2*g - 23, z*g - 41 = 4*x. Let i = -6 + g. Is i less than or equal to 4?
False
Let z = 77 - 71. Suppose 10 = -z*i - 8. Which is greater: i or -15/7?
-15/7
Suppose -4*q + 664 = 20. Let z = q + -2094/13. Is z greater than 1?
False
Suppose -4*n + 30 = n. Let f(g) = g**2 - 5*g - 3. Let t be f(n). Let x be 10/4 + (-1)/(-2). Is x not equal to t?
False
Let m = -63.9 - -62. Let n be ((-6)/(-9) - 1)*(-1 + -1). Which is greater: n or m?
n
Let t = -42 - -49. Suppose t*u - 18 = 10. Is 4 greater than u?
False
Let d(v) = 2*v + 19. Let z be 72/16*2/(-1). Let y be d(z). Which is smaller: y or -1/76?
-1/76
Let t = 17 - 14. Let z(v) = -5*v + 5*v + v + 6*v**2 - 2*v**t - 7 + v**3. Let k be z(6). Is -10/7 smaller than k?
True
Let w be (-938)/840 - 9/12. Which is smaller: -2 or w?
-2
Let c = -3 -