k(s). Which is greater: t or i?
t
Let b(r) = -2*r**2 - 6*r. Let c be b(-4). Let h = -16 + 40. Let d be ((-2)/h)/((-1)/4). Which is smaller: d or c?
c
Suppose 109*z - 2135 = 102*z. Is 304 smaller than z?
True
Suppose -5*q + 3*r - 89 = 83, -2*r = 2. Are q and -34 equal?
False
Let i(m) = 21*m + 56. Let h be i(-3). Let r = 6 - 4. Let g = -2 + r. Is h less than g?
True
Let i = -42.4 - -42. Let t = -0.7 - -0.7. Let m = -0.2 - t. Are m and i non-equal?
True
Suppose -4*q + 36 = 4*z - 3*q, 58 = 5*z - 2*q. Suppose z = -o + 3*o. Suppose 0*a + o*a = -10, 0 = -4*v + 2*a. Do 2/9 and v have the same value?
False
Suppose -2*g = -5*l + 168, -l = 3*g + 2*g - 12. Let u = 26 - l. Is u < -6?
False
Let i(o) = 3*o**2 + 14*o. Let f be i(-6). Let v be f/(-9) - 0 - -2*1. Which is smaller: v or -1?
-1
Suppose 3*j - h = 3*h + 20, 30 = 5*j - 5*h. Suppose j*b = -5*c + 180, 0 = 8*b - 3*b + 25. Which is bigger: c or 38?
c
Let w = 3/25 + -121/175. Is w less than or equal to 92?
True
Let y be (-4 + (-82)/(-20))*(-35)/28. Let a(w) = w + 5. Let d be a(-5). Is d bigger than y?
True
Let o be (-6)/(-22) + 218400/(-1716). Which is greater: -125 or o?
-125
Suppose 3*m = -4*g + m + 10, 2*g = -2*m. Suppose q + g = 2*q. Suppose q*j + 30 = -2*u - 3*u, 2 = -3*j + u. Is -3 greater than or equal to j?
False
Let g be (0 - (-624)/9)*360/160. Is 158 < g?
False
Let n(v) = -6*v - 5. Let m be 1/(2 + (-22)/12). Let u = m - 4. Let z be n(u). Is -18 at most as big as z?
True
Let f be 1 + 207/96*4. Which is greater: f or -1?
f
Let w(v) = 28*v. Suppose 0 = 5*u + 18 - 13. Let g be w(u). Are -28 and g nonequal?
False
Suppose 0 = 660*c - 683*c + 138. Is 2 bigger than c?
False
Let b(s) = 3*s**2 + 7*s - 5. Let q be b(-4). Let c(l) = 2*l**3 - 2*l**2 + 5*l - 4. Let z be c(2). Is z smaller than q?
True
Let y be (-2)/4 - (-23)/2. Suppose 3*m - 88 = -v, m - 51 = -0*m + 4*v. Let l = -19 + m. Which is greater: y or l?
l
Suppose 3*f + 7 = -5. Let z be (-59)/(-6) - 5/(-30). Let u be (z/(-6))/(-5)*-10. Is u smaller than f?
False
Let g be ((-108)/567)/(6/(-7)). Which is smaller: 10 or g?
g
Suppose 34*r = 37*r - 6. Suppose -4*f - 2*u + 34 = 0, -3*f + 5*u + 4 = -2. Let i(g) = -g**2 + 6*g + 9. Let n be i(f). Is r >= n?
True
Let j = -10 + 8.2. Let l = j + 2.4. Let p = -0.8 - l. Does p = 1/3?
False
Let j = 6 + -8. Let p = -1 + 9. Let z = p - 7. Which is smaller: z or j?
j
Let z(q) = q**2 - 1 - 3*q**2 + 2*q**2 - q**3 + 5*q. Let g be z(2). Are -3/17 and g equal?
False
Let o = 5 + 7. Let d = o + 4. Let s = 17 - d. Which is smaller: -2 or s?
-2
Let q(p) = -p**2 - 18*p - 91. Let m be q(-14). Is m less than or equal to -33?
True
Let n be (2/(-1) + 3)*-1. Let b be n/(7/2*-1). Let a = -14.2 + 14. Is a greater than b?
False
Suppose -4 = -h - 3*h, -4*d + 5*h + 227 = 0. Is d at least as big as 58?
True
Let x = -1 - -2. Let n = 23964 + -31081306/1297. Let b = -2520/47989 - n. Does b = x?
False
Let s(j) = j**3 + 9*j - 11*j + 25*j**2 + 11 - 9*j**2 - 45. Let k be s(-16). Let q be -3*(-2)/(-9) + -1. Which is smaller: k or q?
k
Let j(x) = -x**2 - 14*x - 22. Let m be (-9)/(-4*3/(-16)). Let c be j(m). Let u be (-9)/((-45)/c)*-1. Is u greater than 1?
False
Let j = -5.2 + 5. Which is bigger: 0.121 or j?
0.121
Let l = 754.19 + -754. Let g = 6.68 - 7. Let n = l + g. Is n equal to -1/3?
False
Suppose -9*f = -4*h - 12*f + 3, f - 1 = 3*h. Let z = 18 + -5. Let i be 1 + (9/z)/(-1). Is h <= i?
True
Let v(p) = p**2 + 11*p + 30. Let k be v(-6). Are k and -1/154 equal?
False
Suppose n - 2 = 2*n + g, 4*n + 5*g + 13 = 0. Let t(c) = -2*c**2 + 6*c - 7. Let x be t(n). Which is smaller: x or -10?
-10
Let m be -5 + 6 + (-2)/(-2) + -2. Suppose m = -f - 4*y - 16, 4*f + 9 + 11 = -5*y. Which is smaller: f or -8/13?
-8/13
Let u = 914 - 877. Is u greater than 37?
False
Suppose 0 = 2*g - 3*g - 6*g. Which is bigger: g or -1/830?
g
Let k = 0.1 + 6.9. Let r(b) = -4*b + 12. Let h be r(0). Suppose 5*d = 4*z - 19, 3*d + h - 3 = 0. Are z and k non-equal?
True
Let c be (6 + -5 - 0)*9/(-315). Is 0 at most as big as c?
False
Suppose 2*r + 7 = 3*v, 3*r = -4*v + 45 - 47. Is r at most -2/3?
True
Let m be 92/(-10) + 216/(-270). Is -74/7 < m?
True
Let g(b) be the third derivative of -7*b**2 + 0 - 2*b**3 + 1/60*b**5 + 1/2*b**4 + 0*b. Let r be g(-13). Which is smaller: 3/7 or r?
3/7
Let s = -1615944/5 + 715998931301/2215420. Let v = 2438291267/6646260 - s. Let d = 367 - v. Which is smaller: d or 0?
0
Suppose 0*a = -11*a + 770. Are 70 and a non-equal?
False
Let y be (-192)/(-99) - (144/(-27) + 6). Let c be 0*(6/4 + -1). Which is greater: c or y?
y
Let a = -103.24 - -101. Let g = a - -0.24. Let r = g - -2. Which is bigger: -0.03 or r?
r
Let m = 2356 + -2351. Which is greater: 0.084 or m?
m
Let l be ((-3)/2)/(3/4). Suppose -4*z + 9 = 3*i, -i - 2*i + 30 = -3*z. Suppose 0 = -2*u - 3*q - i, 3*u - 4*q - q + 1 = 0. Is l bigger than u?
False
Let q = -1166 - -1162. Let t = -5 + 1. Is t not equal to q?
False
Let p = 148/249 - -6/83. Is p not equal to -0.786?
True
Suppose o + y = 2*o, 3*y = -o + 4. Is o greater than or equal to 0?
True
Let q = 0.064 - -0.136. Is 16.1 greater than or equal to q?
True
Suppose -10*p - 3246 + 786 = 0. Let n be p/15 + -2 - (-10)/25. Let b(r) = -2*r**2 - r + 4. Let f be b(3). Which is smaller: f or n?
n
Suppose 0 = x - 18*g + 13*g + 355, 0 = 2*x + 5*g + 725. Which is smaller: x or -358?
x
Let r be 4/3*6*(-14)/1008. Which is greater: r or 52?
52
Let z(y) = y**2 + y - 9. Suppose -4*c + 3 = -13. Let n be z(c). Let h = n + -8. Is 4 greater than h?
True
Let n = 266 + -266. Which is smaller: -6/43 or n?
-6/43
Let i(b) = -121*b**2 - 5. Let q be i(2). Which is smaller: q or -490?
-490
Let s be (-5)/((6/36)/((-8)/(-16))). Let n = -1 + -14. Does n = s?
True
Suppose -12 = -2*n - 4. Let m be ((-3)/n)/((-5)/(-20)). Let h(p) = -2*p**3. Let b be h(1). Is b smaller than m?
False
Let c be (-26)/(-6) - (-1)/(-3). Suppose 37 = -c*i - f, 4 = -3*i + 3*f - 35. Let v = -26354 - -26354. Which is smaller: i or v?
i
Suppose 0 = -i + 3*i + 1284. Let d be 52/(-78) + (-434)/i + 0. Which is greater: 0 or d?
d
Let r = -4885 + 34315/7. Let l be 2/(-12) - (-1901)/(-126) - 1. Let a = l + r. Which is smaller: a or 2?
a
Let t = 11 + -11. Let f = -7 + 10. Suppose -f*a - 7 - 2 = t. Is -5 at most as big as a?
True
Let j be (1 - (-49)/(-50))*(-6 + 33). Is j at most as big as 0?
False
Let h be 6/(-21) - (8 - 11460/28). Is h less than 401?
False
Let o be (-13 - -6) + 38/7. Which is greater: o or -1/4?
-1/4
Suppose -3*s + 0*g = -5*g - 3, 0 = 5*s + 5*g - 5. Suppose -2*m - s = 19. Let b be (-1 - -1)/(m + 9). Is 1/3 != b?
True
Let d(l) = -l**3 + 11*l**2 + 13*l - 11. Let s be d(12). Let o be (-21)/(-6) + s/(-2). Suppose -5*i + 2 = -3. Is o greater than i?
True
Let w = 2/445 - 1349/3115. Let h(q) = -5*q**3 + 5*q**3 + q**3. Let i be h(1). Which is smaller: i or w?
w
Suppose 0 = -5*t + 5*o - 22 - 3, -4*o = -2*t - 14. Let u be (8020/t)/(35/5). Let n = u + 382. Which is smaller: n or 0?
0
Let j be (6 - 4) + -2 + 8. Suppose m - 2 = -m. Let p = 7 - m. Which is smaller: p or j?
p
Let i(j) = 4*j - 5. Let r be i(7). Let p = -210 + 232. Is p greater than r?
False
Suppose g + 2*t - 10 = 0, -4*g + 2*t + 12 = 3*t. Suppose g*a - a + 7 = 0. Is -9 smaller than a?
True
Let o = 47/2418 - -1/78. Let v be (4/(-8) - 0/1)*-2. Which is smaller: v or o?
o
Let a = -105455837/2273 + 46395. Is 1 greater than a?
True
Let h(p) = -p. Let c be h(-4). Let b be (4/(-18) - (-6)/27)/2. Let v be (10 - (7 + -2))/(b - -1). Is v at least as big as c?
True
Let h = -1.019 + 0.049. Is h greater than -2/15?
False
Suppose -25*v + 4920 = -49*v. Is v less than or equal to -204?
True
Suppose 0*r + 12 = -4*r. Let m be ((-15)/r - 3) + -23. Let f = 17 + m. Which is greater: -3 or f?
-3
Let q be 30 - 7/((-21)/9). Suppose 35*u - q*u - 2 = 0. Is 0.1 at least u?
False
Let l = 3.8 - -6.5. Let v = l - 20.2. Let q = 10 + v. Is q at least 0.5?
False
Let s be (2/(-3))/(1360/102). Which is smaller: 1 or s?
s
Suppose 0 = 2*j + 76 - 284. Let b = j + -121. Which is smaller: -18 or b?
-18
Let o = 2/5545 + -5561/44360. Suppose 0 = -0*j + 2*j + 2. Let z = j + 1. Is z at most o?
False
Let c be (5 - 20/12)/((-4)/(-6)). Suppose -c*r + 10 = -5*q, 2*q - 2*r - 1 = r. Suppose -5*x + 10 = 45. Is q at most x?
True
Let u be (140/(-16) - -8) + (-1079)/(-4). Which is bigger: u or 270?
2