 4?
True
Suppose -5*t = 5*a - 15, 3*t + 5*a = 7 - 0. Is 17 a factor of (-1)/t - 483/(-28)?
True
Let u(a) = a**2 + 3*a - 12. Let w be u(-6). Suppose v - w*v + 70 = 0. Does 14 divide v?
True
Suppose -3*h = -4*h - h. Suppose -4*d = 12, -4*a = -h*a - d - 199. Does 26 divide a?
False
Let t(u) = u**3 + 5*u**2 + 3*u + 3. Suppose 4*y = -3*j + j - 6, 3*y = j - 12. Let z be t(y). Is 6 a factor of (-3)/z + 73/4?
True
Let y = -11 - -11. Suppose m + 57 - 24 = y. Is 6 a factor of (-291)/m + 4/22?
False
Let r(d) = -163*d - 1. Let y be r(-2). Let w = y + -138. Is w a multiple of 11?
True
Suppose -15*p + 10*p = -20. Suppose 14 = p*i - 2*i. Does 7 divide i?
True
Let o(r) = -3*r - 2. Let f be o(-3). Suppose 164 = 8*p - f*p. Does 41 divide p?
True
Is (-928)/(-20) + 6/(-15) a multiple of 6?
False
Let z be (-27)/12 + 2 - (-375)/12. Suppose z*r = 28*r + 291. Does 12 divide r?
False
Suppose 3*g - 24 = -0*g. Let o = g + -5. Suppose -36 = -2*h + o*j, -h + 0*j = j - 13. Is h a multiple of 5?
True
Suppose -10*j + 27*j - 986 = 0. Is j a multiple of 29?
True
Suppose 5*p = f + 5, 3*f + 3*p - 2 - 1 = 0. Suppose f = -g - 54 + 200. Does 14 divide g?
False
Let a = 316 + -2. Does 33 divide a?
False
Let w(b) = 7 + 0*b**3 - 5*b**3 + 4*b**3 - 5*b**2 - 1. Does 12 divide w(-6)?
False
Suppose 0 = p + 9 - 0. Let v = p - -10. Does 22 divide (99/(-12))/(v/(-4))?
False
Let m = -13 - -18. Suppose 2*c - 245 - m = -4*u, -2*u = -4*c + 540. Is c a multiple of 20?
False
Let i(l) = l**3 + 7*l**2 - 18*l + 4. Let s be i(-9). Suppose 344 = 4*q + 3*o, -25 = 5*q + s*o - 456. Is 29 a factor of q?
False
Suppose -7*q = -3*q - 4*b - 12, -4*b = -2*q + 6. Suppose -2*o - q*c = -o - 80, -o + 4*c = -66. Is o a multiple of 17?
False
Suppose 11*m - 13*m = 2*x - 2144, 0 = -2*x - m + 2147. Does 21 divide x?
False
Let w = -41 - -39. Does 8 divide w/(-5) - (-2094)/15?
False
Let t(k) be the second derivative of -11*k**3/3 - 5*k**2 - 12*k. Is 8 a factor of t(-3)?
True
Suppose -3*a + 2064 = 3*c, c - 4*a - 288 = 390. Is c a multiple of 49?
True
Is 12 a factor of (-71155)/(-247) + (-1)/13?
True
Let n(h) = -46*h + 8. Is 9 a factor of n(-8)?
False
Let g be -42*1*(-2)/4. Let a = 46 - g. Is 11 a factor of a?
False
Let n be ((-4)/8)/((-1)/(-16)). Let c(a) = a + 18. Let h be c(n). Is 15 a factor of (-2107)/(-35) + (-2)/h?
True
Suppose 0 = -3*k - 6, -2*p - 2*k = -p - 625. Is 20 a factor of p?
False
Let d = -1453 + 2291. Is d a multiple of 15?
False
Suppose 0 = 3*y - 164 - 184. Let o = -25 + y. Let r = o - 45. Does 15 divide r?
False
Suppose -5*u = 6*u - 55. Suppose -u*h - 3*g - 279 = -701, -h + 98 = 4*g. Is 41 a factor of h?
True
Let q(z) = -z**3 - z**2 + 2*z - 4. Let i be q(-3). Suppose 2*d = -4*w + 32, w - i = -5*d + 4*d. Is 4 a factor of w?
True
Is ((720/70)/3)/(4/1554) a multiple of 12?
True
Let n be (-5 + 3)*(-4)/(-8). Let g(w) = -35*w**3 - w + 1. Is 13 a factor of g(n)?
False
Suppose 0*y = -2*y + 30. Let r be y/(-6)*(-8)/5. Suppose 70 = -r*w + 270. Is w a multiple of 13?
False
Let r(n) be the second derivative of -n**5/20 - 9*n**4/4 - 29*n**3/6 + 27*n**2/2 - 19*n. Does 21 divide r(-26)?
True
Does 11 divide -1 + 4 + -4 + 566?
False
Let n(i) = -2*i**3 - 3*i**2 + 9*i + 15. Is 11 a factor of n(-4)?
False
Let g(p) = -6*p - 9. Let s be g(-7). Suppose -6*l + s = -5*l. Does 14 divide l?
False
Suppose -35 = -4*u - 5*y, -4*u - 2*y = -14 - 12. Suppose -352 = -u*w + w. Is 17 a factor of w?
False
Let h(j) = -19*j - 223. Is 12 a factor of h(-13)?
True
Let l(k) = -k**2 - k + 4. Let j be l(0). Suppose -185 = -5*y - 5*q - 40, 4*q = -j. Suppose g = y + 24. Is 18 a factor of g?
True
Let s(b) = 15*b**2 - 2*b - 119. Does 108 divide s(-9)?
False
Let h(s) be the first derivative of 11*s**2/2 - 7*s - 15. Does 10 divide h(6)?
False
Let t = 376 - 22. Suppose -3*l + t = -2*l. Suppose 4*r + 4*x = 336, -x - x = -4*r + l. Does 25 divide r?
False
Let n = 125 - 86. Let r = 74 - n. Is 8 a factor of r?
False
Let o(a) be the second derivative of -a**4/12 - 2*a**3 - 2*a**2 - a. Let v be 4/(-12) - 20*1/3. Is o(v) a multiple of 22?
False
Let a(r) = -2*r - 16. Does 25 divide a(-21)?
False
Does 25 divide (77/1)/(25 - 23)*14?
False
Suppose 0 = 2*o - 5*a - 2121, -5355 = -5*o + 9*a - 7*a. Does 37 divide o?
True
Suppose 3*o - 3144 = -5*o. Is 3 a factor of o?
True
Suppose 15 = -3*g - 3*o, 5*g - 2*o = 3 - 0. Let r(y) = -45*y. Is r(g) a multiple of 9?
True
Let g(z) = -4*z**3 - 7*z**2 - 7*z + 8. Does 15 divide g(-4)?
True
Suppose -2 = -2*x + 4*o, 7*x - 4*o = 2*x + 17. Let d be (4/x)/(22/55). Suppose 1 = -w + 4, 0 = -4*c + d*w + 490. Is 26 a factor of c?
False
Let o(u) = u**3 - 9*u**2 + 8*u + 5. Let z be o(8). Suppose z*d + 75 = -10. Let c = d - -24. Is c a multiple of 7?
True
Let t(w) = -21*w + 220. Is t(10) a multiple of 3?
False
Suppose 2*n - 752 - 3315 = -3*z, 4*z + 4*n = 5424. Does 18 divide z?
False
Is 26 a factor of 1 + (-1 - -578 - 60/10)?
True
Let q(l) = -28*l + 14. Let c be q(-3). Let h = c + -82. Is 4 a factor of h?
True
Let m(z) = z**3 + 13*z**2 - 2*z + 8. Is 24 a factor of m(6)?
False
Is 26 a factor of ((-256)/10)/(1806/455 + -4)?
True
Suppose 0*s + 26 = 2*s - 3*g, 5*s - 52 = g. Let w = s + 50. Does 12 divide w?
True
Let f(n) = -n**2 - 6*n + 10. Let b(h) = -5*h - 2. Let q be b(1). Let j be f(q). Suppose -5*p = -j*t - 138, 0*p + p - 42 = -3*t. Is p a multiple of 15?
True
Suppose 0 = m + 3*m. Suppose 5*n - 30 = -m. Suppose -10 = -h - n. Is 2 a factor of h?
True
Suppose 0 = -3*r - 2*r. Suppose o + r = 2. Does 26 divide (1 - -76) + 2/o?
True
Let q be 4/14 - (-165)/35. Let z(l) = l - 2. Let p be z(q). Let i = p - -3. Is 3 a factor of i?
True
Let y = 1293 - 787. Does 23 divide y?
True
Let k = 1239 + -254. Does 69 divide k?
False
Let g = 318 - 218. Suppose -n = -136 + g. Does 8 divide n?
False
Let i(y) = 3*y**2 + 3*y - 177. Does 24 divide i(16)?
False
Let s(q) = 3*q + 2. Let m be s(-2). Let f be (-167 + 1)/(8/m). Suppose -3*t + t = 3*x - f, -43 = -t - x. Is t a multiple of 21?
False
Let s = 139 - -1520. Does 67 divide s?
False
Suppose -35*v + 21*v = -7980. Does 30 divide v?
True
Let n(c) be the third derivative of 29*c**4/24 - 4*c**3/3 - 4*c**2. Is 27 a factor of n(4)?
True
Let x = -6 + 14. Let h = x - 5. Suppose -h*w = 18 - 111. Is 9 a factor of w?
False
Let s(g) = g**2 + 3*g - 25. Let b be s(-8). Let a(w) = w**2 - w + 1. Is 25 a factor of a(b)?
False
Is 2/(-8) - (-5 - (-22581)/(-36)) a multiple of 50?
False
Let o be 1/((7/(-70))/((-2)/4)). Suppose -o*l - 724 = -2794. Is 69 a factor of l?
True
Let q be 2*(2 + (-4)/8). Suppose q*k = -k + 208. Does 39 divide k?
False
Suppose -7*d - 8 = -9*d. Suppose -5*f = -d*f - 2. Suppose 5*b - 4*b - 52 = f*x, 4*b - 5*x = 193. Is 27 a factor of b?
False
Let z(d) = 2411*d**3 - 2*d**2 + 4*d - 1. Is 18 a factor of z(1)?
True
Let o(q) = q**3 + 27*q**2 - 91*q - 12. Is 100 a factor of o(-24)?
True
Let f(q) = -q**3 + 5*q**2 + 3*q + 2. Suppose 2*g = -0*g + 8. Is 30 a factor of f(g)?
True
Let y be (2/(-5) - 4/(-10))/1. Suppose y = -4*x + t + 499, 152 = 4*x + t - 349. Is x a multiple of 31?
False
Let s(t) be the third derivative of 0 - 3*t**2 + 7/6*t**3 + 0*t - 1/120*t**6 + 3/20*t**5 - 1/3*t**4. Is s(8) a multiple of 7?
True
Let n(y) = -y**3 + 4*y**2 + 13*y - 3. Let w be n(6). Is (w - -306 - 2) + (-4 - -6) a multiple of 54?
False
Let t(x) = x**2 - 6*x - 8. Let k = -9 - -12. Suppose -13 = 4*q + 2*g - 43, 3*q + k*g = 15. Does 8 divide t(q)?
True
Suppose -265 - 1333 = -2*n. Does 44 divide n?
False
Let q(z) = -7*z**2 - 4*z - 1. Let n be q(3). Suppose 0 = -3*v - 5*h - 163, h + 15 = -2*h. Let b = v - n. Is 15 a factor of b?
True
Suppose 7 + 2 = 4*q + 3*g, -3*g - 15 = -4*q. Let a(z) be the second derivative of z**5/20 + z**4/12 - 5*z**3/6 + 3*z**2/2 - 2*z. Does 6 divide a(q)?
True
Let z be (88/(-10))/(24/(-60)). Suppose -5*l + 4*u = -z, 4*u + 9 = 3*l + 3*u. Suppose l*m - 53 + 11 = 0. Is 7 a factor of m?
True
Let t(h) = -9*h**2 + 10. Let x be t(3). Let q = x - -86. Is 5 a factor of q?
True
Let s = -426 + 455. Is s a multiple of 5?
False
Suppose -x - 2*q = 4*x - 12, -3*q + 11 = 4*x. Does 20 divide 107 - (6 - (x + 0))?
False
Let q(l) = -12*l - 2. Let n = -23 - -20. Does 12 divide q(n)?
False
Suppose -5*p - 3*d = -0*p - 880, -2*p - 3*d + 343 = 0. Is 13 a factor of p?
False
Let c be -1 + (12/3)/1. Let i be 2/(-6) - (-42)/36*62. Suppose 3*v + i =