= -2*w. Does 6 divide p?
True
Let x = -6 + 15. Let j be 1/(x/(-15))*-3. Suppose 2*b + 3*z = 102, -3*b + 51 + 102 = -j*z. Is 13 a factor of b?
False
Let x = 12 - 5. Suppose x = d + 70. Let w = -37 - d. Does 13 divide w?
True
Let l(v) = v + 3. Let y be l(-3). Suppose 3*j - 5*z - 535 = 0, -3*z = -3*j + 5*j - 325. Suppose y = -4*c - c + j. Is c a multiple of 17?
True
Suppose r - 3 = -1. Let q(m) = -4*m**2 - 3*m + 4*m + m + r + 4*m**3 - m. Is q(2) a multiple of 10?
True
Let h(l) = -56*l**3 - l**2 - 4. Does 55 divide h(-2)?
True
Let g be 8/4*(-10)/(-4). Suppose -g = -3*l - 2*l + p, 0 = 4*l - p - 3. Does 2 divide l?
True
Let j(d) = -d**2 + 8*d - 12. Is j(4) even?
True
Suppose 10 = 3*t - 4*h, -t - 2*t - 2*h = -22. Is t a multiple of 6?
True
Let v(m) = 3*m**2 + m - 1. Let g be v(-2). Suppose -g = t + 4*j, -5*t - 3*j - 11 = -0*t. Is 17 a factor of 1/(t - (-50)/48)?
False
Let p = -10 + 22. Is -3*38/p*-4 a multiple of 17?
False
Suppose -3*d - 2*t - 11 + 110 = 0, 0 = -d + 4*t + 47. Suppose -27 = 2*c + d. Let i = c + 46. Is 6 a factor of i?
False
Suppose m = 4 - 1. Suppose 0 = b + m*b. Let k(c) = c**3 + c**2 + c + 15. Is 10 a factor of k(b)?
False
Suppose -5*j + 0*j + 15 = 0. Suppose n + 74 = j*n. Is 17 a factor of n?
False
Let v(t) = t**3 - 7*t**2 + 7*t - 2. Let b be v(6). Suppose 0 = b*p - 3*p. Suppose p = l - u - 5 - 7, -5*u = 5. Is l a multiple of 8?
False
Suppose -3 = 2*b - 5. Let d be b/(-3) - 417/(-9). Suppose 0 = 3*n + 2*k - d, -n + 3*k + 4 - 7 = 0. Does 12 divide n?
True
Let x be 1/((-15)/72)*-5. Let c be x/9 - 1/(-3). Suppose 76 = c*u - 14. Is 12 a factor of u?
False
Let x(q) = q**2 - 5*q + 6. Let f be x(4). Suppose 3*r + 2 = 4*r. Suppose -r = y + 3*m - 7, 5*y + f*m - 77 = 0. Is 8 a factor of y?
False
Suppose 5*c + 66 = 21. Let q = -1 - c. Does 4 divide q?
True
Let w(v) = v**3 + 7*v**2 + 9*v - 5. Let l be w(-6). Let j = 30 + l. Is j even?
False
Suppose -92 = -6*x + 5*x. Does 23 divide x?
True
Let r(a) = 2*a**2 - 3*a + 4. Let u be 13 + (2 - 3) - 1. Suppose 5*o = -3*z - u, 35 = 2*z + 3*z - 5*o. Is r(z) a multiple of 13?
True
Does 8 divide (-4)/(-18) - 561/(-27)?
False
Suppose -2*i + 4 = 0, -c + 2*i - 114 = 4*c. Let v be 60/(-14) - 6/(-21). Is 12 a factor of v/2 - (c + 1)?
False
Let u = 43 - 8. Is 5 a factor of u?
True
Let a = -7 + 11. Is 10 a factor of 273/14 - (-2)/a?
True
Suppose 2*k - 3*k = -8. Suppose 3*b + p - 83 = 0, k = 2*p - 2. Does 26 divide b?
True
Is 17 a factor of 255/10*-2*-1?
True
Suppose p + p - 98 = 0. Is 14 a factor of p?
False
Suppose -4*z - 5*h + 320 = 0, 7*h = 3*h. Is 20 a factor of z?
True
Let p = -4 + 7. Let j(n) = -2*n + 7*n**2 + 0 - n**p - 4 - 2*n. Does 7 divide j(6)?
False
Let z(f) = f**2 + 7*f + 9. Let c(n) = n**2 + 7*n. Let k be c(-5). Is 13 a factor of z(k)?
True
Let z be (-2)/5*90/(-9). Is 2/z*(-3 - -235) a multiple of 25?
False
Let l(k) = -k**3 - k**2 + 54. Is 27 a factor of l(0)?
True
Let i(z) = z**3 + 6*z**2. Let y be -6 - (-1 + -1) - 2. Let t be i(y). Suppose 3*o = -t*o + 72. Is 15 a factor of o?
False
Let f be -11 + (-2)/(4/2). Is 21 a factor of 2/f - (-254)/12?
True
Let w(i) = i**2 + i - 1. Let c be w(3). Let d(x) be the third derivative of x**4/12 + 5*x**3/6 + 12*x**2. Is d(c) a multiple of 12?
False
Let c = 15 - 10. Let g(s) = s**3 - 4*s**2 - 6. Is 18 a factor of g(c)?
False
Let r = 12 + -18. Is 2 a factor of ((-78)/9)/(4/r)?
False
Let p(k) = k. Let n be p(6). Suppose 2*l = 8, 76 = 4*o + l - n*l. Is o a multiple of 8?
True
Suppose -4*y + 48 = -8. Let f be (9/(-6))/(1/y). Let m = -2 - f. Does 7 divide m?
False
Is 55/2*(-38)/(-5) a multiple of 19?
True
Suppose 0*p = 3*p - 96. Is 16 a factor of p?
True
Suppose 3*g = 15, -2*c - 3*g = -6*c - 7. Suppose 4*l - 3*t = 2*t - 33, c*l + 2*t = 6. Let w(j) = 4*j**2 + j. Is 6 a factor of w(l)?
False
Suppose -3*c + 0*c + 76 = -4*m, 0 = c + 2*m - 32. Is c a multiple of 14?
True
Let u = 30 - -42. Is u a multiple of 12?
True
Let w = 102 - -28. Suppose 4*r = -r + w. Does 11 divide r?
False
Let i be -2 - 4/8*-10. Suppose 2*y = i*y - 15. Does 7 divide y?
False
Let d(q) = -1 - 5 - q**2 + 2*q**2 + 3 + 5*q. Let f be d(-6). Suppose -6 = -3*j, -38 = -a - f*a + 5*j. Does 4 divide a?
True
Let c(r) = -4 + 4 - 5*r. Let g be -3 - (1 + (-2)/(-2)). Does 15 divide c(g)?
False
Suppose -5*a = 64 - 314. Is a a multiple of 12?
False
Let b(f) = -f + 11. Let u be b(9). Suppose -3*s = u*s - 75. Is s a multiple of 10?
False
Let m(b) = -b**2 - 10*b + 19. Does 8 divide m(-11)?
True
Let a be 258/4*2/3. Let x = -25 + a. Is x a multiple of 6?
True
Suppose 0 = 3*y - 15 - 48. Is y a multiple of 5?
False
Suppose 3*f - 2*p - 12 = 20, -4*p + 32 = 2*f. Let h = f - 9. Does 3 divide h?
True
Let q(s) = -19*s - 73. Does 50 divide q(-17)?
True
Let w = 10 - 6. Suppose -5*r + 4*v + 64 = 0, -72 = -w*r - 2*v - 0*v. Does 8 divide r?
True
Let w(j) = 109*j - 1. Let f be w(1). Suppose 3*m + f + 72 = -3*z, 4*m - 16 = 0. Let i = z + 100. Is 18 a factor of i?
True
Let f(j) = -2*j + 1. Let x(o) = 1. Let a(q) = -f(q) + 5*x(q). Is a(7) a multiple of 9?
True
Suppose -2*h + 25 = -29. Is 9 a factor of h?
True
Is 6/12 - (-63)/2 a multiple of 5?
False
Suppose 10 = 6*g - 8. Does 5 divide (2/(-4))/(g/(-120))?
True
Let v(g) = g**3 - 17*g**2 + 35*g + 7. Is 8 a factor of v(15)?
False
Let x = -13 + 31. Is x a multiple of 9?
True
Let z = 264 + -149. Let n = z - 70. Does 15 divide n?
True
Let v(t) = 3 + 4 - 5 - 2*t**2 + 4*t**2 - 6*t. Suppose -12 = -2*l - 4. Does 10 divide v(l)?
True
Let l(h) = -h + 6. Let d be l(5). Suppose d = r - 4. Is 3 a factor of r?
False
Let v(m) = -m**3 + 9*m**2 + 2*m + 5. Let w(i) = 5 + 2 - i - 2. Let d be w(-4). Is v(d) a multiple of 13?
False
Let p = 370 + -264. Is p a multiple of 36?
False
Let v be 5/15*(-1 + 13). Suppose 0 = 2*c - b - 26, -v*c = -3*b - 11 - 39. Suppose 0*l - c = -l. Does 8 divide l?
False
Let o = 19 - -97. Suppose 0 = t + 5 - 6, 4*t = 3*x - o. Is 20 a factor of x?
True
Let x = 48 - 116. Let c = -30 - x. Is 19 a factor of c?
True
Suppose 32 = 4*p + 12. Suppose -14 = -p*w - 4. Is 2 a factor of w - 2 - (-2 + 0)?
True
Suppose -2*m = 3 - 9. Suppose 0 = m*o + 2*o - 60. Let i = 11 + o. Is i a multiple of 12?
False
Let u = 19 - 11. Suppose -u = -r + 1. Does 3 divide r?
True
Suppose -2 = -4*y + 38. Does 6 divide y?
False
Let v(w) = 59*w + 1. Suppose -1 = 2*p - 3. Does 18 divide v(p)?
False
Let j(n) be the first derivative of n**3 + 5*n**2/2 - 3*n - 2. Is 10 a factor of j(-4)?
False
Let q(t) = 2*t**2 - t + 2. Suppose 4*f - 2 = 6. Let d be q(f). Is (0 + 34/8)*d a multiple of 18?
False
Let j be 46/(-4) - (-2)/4. Let p = j + 15. Suppose -p*x - 13 = -65. Does 8 divide x?
False
Let g = 113 - 65. Is g a multiple of 8?
True
Suppose -4*l = -0*l - 44. Suppose 0 = -4*h + l + 5. Is h a multiple of 4?
True
Let m be (-8)/(-6)*9/(-6). Let p be 6*(2 - m/(-4)). Suppose 0 = 5*y + p - 59. Is y a multiple of 10?
True
Let j be 1*(2 - -2) - 1. Suppose j*l + 9 = -39. Is 3 a factor of l/(((-4)/(-1))/(-2))?
False
Suppose 0 = -4*h - z + 751, 0*z + 2*z = -3*h + 557. Is 40 a factor of h?
False
Let d(u) = 9*u**2 + 3 - 2 + 2*u**2. Suppose 5*v - 5 = -5*h, 3 = -2*h - 3*v + 7. Is d(h) a multiple of 12?
True
Let a(j) = -j**3 - 3*j**2 + j - 6. Is a(-4) a multiple of 3?
True
Suppose 216 = -s + 5*s. Let m be (-56)/(-12) - (-3)/9. Is s/2 - m/5 a multiple of 12?
False
Suppose -7*r = -2*r - 875. Is ((-28)/(-10))/(7/r) a multiple of 14?
True
Let o = 207 - -26. Suppose -53 = -w + 2*m, 2*w + 3*w = 2*m + o. Is 21 a factor of w?
False
Let y(h) = 6*h**2 - h + 4. Let c be y(-3). Suppose -10 = -g + 3*n + c, -2*g + 152 = -4*n. Is g a multiple of 22?
False
Let u = 6 + -14. Let a(r) = r**2 + 6*r - 7. Let y be a(u). Let f = y - -13. Is f a multiple of 8?
False
Let h(t) = -t**2 + 10*t + 9. Let x be h(11). Does 16 divide (8/16)/(x/(-244))?
False
Let v(t) = -14*t**3 + 15*t**2 + 9*t + 20. Let n(o) = 5*o**3 - 5*o**2 - 3*o - 7. Let z(h) = -11*n(h) - 4*v(h). Is 15 a factor of z(6)?
True
Let g(q) = -3*q**3 - 2*q**2 + 8*q + 3. Let f(b) = -b**3 + b**2 + b. Let i(n) = -2*f(n) + g(n). Let p be i(-5). Is 16 a factor of p/(-2) - (-126)/6?
False
Let s = -46 - -88. Does 7 divide s?
True
Suppose 0 = 2*b + 14 - 4. Let c(i) = -i**2 + 7*i + 3. Let v be c(4). Does 14 divide (-61)/(-3) + b/v?
False
Let f = 362 - 236. Let a be (-20)/2*f/15. Does 11 divide a/35*(-30)/4?
False
Let 