2 - 5*v + 5. Let c be y(3). Does 3 divide -1 + 4 + c + i?
False
Let p(u) = u + 3. Let l be p(6). Let t be (-8)/(-2)*44/16. Suppose b = -m + t, -b + l*m - 7 = 4*m. Is 8 a factor of b?
True
Let v(h) = 298*h**2. Let x be v(-1). Let d(q) = 3*q**2 - 2*q - 13. Let c be d(9). Let r = x - c. Is r a multiple of 19?
False
Suppose -1910 = -3*x - 4*h, -2*x + 6*h = 5*h - 1255. Does 35 divide x?
True
Is 162/(((-8)/(-10))/((-18)/(-15))) a multiple of 16?
False
Suppose -4*q + 3*q = -12. Does 35 divide (0 - 15/q)/((-8)/1344)?
True
Let u(o) = -7*o - 6. Let v(x) = -11*x - 11. Let k(s) = 5*s + 5. Let c(n) = -13*k(n) - 6*v(n). Let y be c(-6). Is 11 a factor of u(y)?
False
Suppose 5*s - 544 = -2*m, 0 = s + 5*m - 23 - 72. Is 11 a factor of s?
True
Suppose 10*l - 1581 = 1719. Is 22 a factor of l?
True
Let h(g) = 4*g - 67. Let i be h(18). Let j(m) = 9*m - 7 - 5 - 4*m. Is 11 a factor of j(i)?
False
Suppose 5*c + 15 = -b - 2*b, -b - 5 = 2*c. Let z(l) = -3*l + 6. Let m(p) = -2*p + 7. Let t(r) = 5*m(r) - 4*z(r). Does 8 divide t(c)?
False
Let t be (3/1)/(1/(-1)). Let z be 25/(t - 20/(-6)). Suppose o + 4*o = z. Is o a multiple of 6?
False
Let x be -101*(-5 + 2)/3. Suppose -3 + 1 = -m. Suppose -x = -m*a + 33. Is a a multiple of 13?
False
Let h be (-2)/(-3) + 8/(-3). Let z be 2 + (h - -2) - 6. Does 21 divide -64*(-1 - (-1)/z)?
False
Let o = -707 + 857. Is 6 a factor of o?
True
Let t(q) = q**3 - 3*q**2 - q + 6. Let f(w) = w**2 - w - 1. Let z(v) = 2*f(v) + t(v). Let g be z(2). Suppose 2*l - 136 = -o, -g + 10 = -4*o. Is 19 a factor of l?
False
Suppose -11*f = -7*f - 5*g - 1382, -4*g = 4*f - 1364. Does 10 divide f?
False
Let x be 0/(1 + -4 + 4). Let t = -2 + 12. Is 10 a factor of 20*(t/8 + x)?
False
Suppose -40*d = -872 - 12728. Does 4 divide d?
True
Let s(a) = 10*a**2 - 64*a - 2. Is 80 a factor of s(14)?
False
Suppose 5 + 19 = 4*i. Let n(z) = 7*z - 7. Is n(i) a multiple of 10?
False
Let d(y) = 13*y - 2. Let g be d(5). Suppose g = -0*x + x. Is 21 a factor of x?
True
Suppose -p + 0*p + 23 = -3*y, 5*p = 2*y + 50. Let b be (-6 - (-63 + 0)) + -4. Suppose 5*q = -4*s + b, s - q - 3 = p. Is s a multiple of 3?
True
Let a(o) = 23*o - 11*o + 2*o - 34. Does 14 divide a(17)?
False
Let v(m) = -m**3 + 11*m**2 + 14*m. Let u be v(10). Suppose 2*d - 8*d = -u. Does 8 divide d?
True
Let v(s) = -s**3 + 4*s**2 - 2*s + 1. Let w be 1/(-2 + 124/60). Let a = 18 - w. Is 4 a factor of v(a)?
True
Let b(k) = 52*k**2 - k + 36. Is 89 a factor of b(6)?
False
Let g = -247 - -328. Is g a multiple of 27?
True
Suppose -46*q + 4 = -44*q. Suppose 6*x - 391 = 3*x - 5*v, -3*x + 398 = -q*v. Is x a multiple of 9?
False
Let z be (-6)/(-12) + (-2)/4. Suppose k + z = 3. Suppose -5*h + k*w - 5*w = -460, 0 = -5*h - 3*w + 465. Is 30 a factor of h?
True
Let r = 435 + -10. Suppose -4*p + p + 5*o = -r, -3*p + 416 = 4*o. Is 20 a factor of p?
True
Let i(b) = 83*b - 34. Let y(j) = 41*j - 17. Let n(k) = -2*i(k) + 5*y(k). Does 31 divide n(4)?
False
Let s(v) = -v**3 - 24. Let m be s(0). Let u = 62 + m. Let q = u - -34. Does 36 divide q?
True
Let f = -36 - -36. Suppose f = -2*w - 3*w + 230. Does 8 divide w?
False
Let s(g) = -10*g**3 - g**2. Let y be s(-1). Suppose y = -3*t, 4*j - 5*t = -2*t + 89. Suppose 0 = -4*l - j, 3*k = -3*l + 18. Is k a multiple of 11?
True
Suppose -16*z + 1681 = -1519. Is 57 a factor of z?
False
Suppose 2*y + 1850 = 4*m, 4*y = -m - 104 + 580. Does 34 divide m?
False
Suppose 4*c = -q - 16, 0*q + 2*c + 98 = -3*q. Let j be (-885)/45 - 2/(-3). Let a = j - q. Is 10 a factor of a?
False
Suppose -42*r + 26*r + 15360 = 0. Is 24 a factor of r?
True
Let f be (-6)/1*6/9. Is 9 a factor of 4 + -8 - (f + -12)?
False
Let g = 9 - 11. Let n be (-6)/g + 1 + 1. Is n/((-19)/(-6) - 3) a multiple of 22?
False
Suppose 5*w = -9*w + 8246. Does 44 divide w?
False
Let o(m) = 3*m + 3. Let b = -13 + 18. Suppose -z - 4*i - 13 = 0, 5*z = z - b*i + 3. Is o(z) a multiple of 7?
False
Is ((0 - -2) + 1336)*9/27 a multiple of 116?
False
Let x(j) be the second derivative of j**4/12 - 5*j**3/6 + 7*j**2/2 - j. Let i be x(-10). Suppose 3*t - 35 = i. Is t a multiple of 19?
False
Suppose 0 = 8*l - l. Suppose 2*d = 5*y - 152, l = -3*y + 2*d + 4 + 88. Does 6 divide y?
True
Let q be (0 - 0)*5/(-10). Let v = 99 + -49. Suppose q = 4*m - 190 + v. Is 16 a factor of m?
False
Let l = -8 - -5. Let r be -1 + (-1 - -2 - l). Suppose r*s = 5*s - 18. Is 3 a factor of s?
True
Let p(n) = -6*n + 6. Let g = 13 - 11. Suppose 14 + g = -4*j. Does 10 divide p(j)?
True
Let a(n) = 3 - 5*n - 15*n - 2*n**2 - 6*n. Does 2 divide a(-12)?
False
Let l(h) = 20*h - 40. Let f be l(17). Suppose -3*q + 4*y + 51 = -2*q, -5*y = -5*q + f. Is q a multiple of 13?
False
Suppose -s = 3*s + 56. Let o = s - 8. Is 3 a factor of 4/o + (-285)/(-55)?
False
Is 30 + 0 + (-9)/(-9) a multiple of 3?
False
Is 2/(-4)*(52 - 38) - -526 a multiple of 23?
False
Is 6 a factor of 22/55*15 - -855?
False
Let q(c) = c**2 + 5*c - 12. Let a be q(3). Does 39 divide (a/(-16))/((-3)/936)?
True
Suppose -5*f + 12 = 3*u, -2*u = -2*f + f - 8. Suppose -2*q + u*q + 2*d = 40, 3*q - 3*d = 48. Does 3 divide q?
True
Let v be (-2 - (-24)/14)*-7. Suppose 0*r + v*r - 144 = 0. Does 12 divide r?
True
Let f = 13 + -12. Let m(d) = 6*d - 2. Let h be m(f). Suppose -84 = -h*t + 192. Does 23 divide t?
True
Let j(l) = 22*l - 19 - l - l**2 - 2*l + 2. Is j(11) a multiple of 9?
False
Suppose 294 = 30*c - 29*c. Does 6 divide c?
True
Let s(l) = -13*l + 6. Let v be s(-3). Suppose -3*c + v = -45. Is c a multiple of 10?
True
Let m(c) = -14*c**3 + 5*c**2 + 6*c - 3. Is m(-3) a multiple of 10?
False
Let m(b) be the third derivative of b**5/30 - 5*b**4/8 + 7*b**3/3 - 17*b**2. Does 13 divide m(11)?
True
Let b be (-120)/70 + (-2)/7. Let r be (b + 0)/(-2 - 0). Is 5 a factor of 22 + -2 + r + 4?
True
Suppose -4*b = -5*y + 2278 + 1340, -3*b = -4*y + 2894. Is 5 a factor of y?
False
Is (-132060)/(-80) + (-25)/(-20) a multiple of 14?
True
Suppose -5*n = -150 + 35. Let z = -16 + 19. Let g = z + n. Is g a multiple of 21?
False
Let w(x) = 9*x**3 - 3*x**2 + 2*x - 1. Let l be w(2). Suppose l = -5*y + 638. Let z = -52 + y. Is 21 a factor of z?
True
Let n be -4 + 9 + -2 - 0. Suppose 0 = -3*f + n*m + 63, -m = -0*f + 3*f - 59. Is 6 a factor of f?
False
Suppose 5*c + 5 + 10 = 0, 4*i - 2*c - 2238 = 0. Is i a multiple of 18?
True
Suppose -13*d = -9*d + c + 509, 0 = 4*d - 2*c + 518. Is 12 a factor of (d - 6)/(-2 + 1)?
False
Let l = -7 - -18. Suppose -18 = -y + l. Does 10 divide y?
False
Let o be (-376)/7 - 16/56. Let n = o - -138. Is 14 a factor of n?
True
Let y(q) = 7*q + 5. Let j be y(-2). Let s be (j/(-6))/(4/(-8)). Is 14 a factor of s/12 - 308/(-16)?
False
Let z(d) = -d**2 + 4*d. Let g be z(7). Suppose -145 = -10*l + 185. Let j = l + g. Is 12 a factor of j?
True
Suppose 0 = -5*q + 2*q + 6. Let w(y) = 7*y**2 - 65*y + 19. Let h be w(9). Does 12 divide 5 + 43 - q/h?
False
Let s = 29 + -25. Suppose 4*f - 244 = 3*h, s*f = 4*h - 0*h + 240. Is 16 a factor of f?
True
Let p(n) = -101*n + 1. Let d be p(-1). Let c = d + -26. Is 19 a factor of c?
True
Suppose 0 = -3*x - 3*i + 1161, 5*x - 5*i = 8*x - 1155. Let c = x + -254. Is 39 a factor of c?
False
Let u(g) = -g**3 + 2*g**2 - 16*g + 16. Is u(-6) a multiple of 20?
True
Let q = -221 - -541. Is q a multiple of 80?
True
Suppose 2*j - 1195 = 137. Is j a multiple of 9?
True
Suppose -2*g = -w + 118, 4*w - 122 = 5*g + 338. Suppose 2*b - 3*b = -3*m + w, -2*m = -b - 75. Does 15 divide m?
False
Suppose 3*r - 1106 = -5*y, -8*y + 5*y + 5*r = -650. Is y a multiple of 5?
True
Let s(w) = -w**2 - 4*w + 7. Let h be s(-3). Let f be 40/(-20) + h + 0. Let r(o) = o**2 - 7*o - 3. Is r(f) a multiple of 3?
False
Let x = 126 - 74. Let v = x - 36. Is v a multiple of 6?
False
Let d(b) = 2*b**3 - 4*b**2 + 2*b + 2. Let o be 18/8 - (-12)/(-48). Let n be d(o). Let s = 18 + n. Is s a multiple of 6?
True
Let a(c) = 16*c - 6. Let t be a(-10). Let b = t - -236. Does 7 divide b?
True
Suppose -5*i - 16 = -9*i. Let r = 4 - i. Suppose 6*x - 8*x + 78 = r. Is 9 a factor of x?
False
Let s be (-2)/(((-8)/(-4))/1). Let f(o) = -36*o**3 - 2*o**2 - 2*o - 1. Let i be f(s). Suppose 4*z - i = -z. Does 7 divide z?
True
Suppose -3*g = 3*t - 387, -4*g + t = -466 - 50. Let k = 201 - g. Is 36 a factor of k?
True
Let l = 0 + -2. Let g be (10/10)/((-1)/l). Suppose -3*w - w - g*q = -66, 4*q