*m. Is 11 a factor of g(5)?
True
Let z(a) = 46*a**2 - 2*a - 3. Let j be z(-2). Suppose 0 = -5*s + 3*s - 3*b + 145, 5*b = 2*s - j. Is s a multiple of 10?
True
Suppose 6*q = 130 + 878. Is 12 a factor of q?
True
Let j = -2207 - -3949. Is j a multiple of 26?
True
Let w = 26 - 21. Suppose w - 3 = -2*s. Does 7 divide (-21)/s*(9 - 8)?
True
Let r = 15 - 18. Let n be -3 - (r - -1 - -1). Let v(q) = -19*q. Is v(n) a multiple of 25?
False
Suppose 12*b - 841 - 131 = 0. Does 9 divide b?
True
Suppose z = -2*a - 43, 3*z - 21 - 34 = 2*a. Let r = a + 63. Is r a multiple of 20?
True
Suppose -5*j - 55 = 3*w, -w + 2*w = 3*j + 5. Let c be 615/27 + w/(-45). Suppose 0 = 18*r - c*r + 55. Does 5 divide r?
False
Is (2223/26)/(3/28) a multiple of 42?
True
Is 21 a factor of 10/(-12) + (-33235)/(-30)?
False
Suppose -80 = -k - 4*o, k + 310 = 4*k - 2*o. Is 20 a factor of k?
True
Let q(x) = -256*x - 33. Is q(-2) a multiple of 27?
False
Let j(h) = -13 + 3 - h + 23 + 23. Is j(12) a multiple of 6?
True
Suppose -4*b + 44*b - 13880 = 0. Does 9 divide b?
False
Let v(f) = 17*f**2 - 13*f. Is v(-4) a multiple of 3?
True
Suppose 3*l = 4*m - 5271, -4*m + 3*l = -8*m + 5289. Does 20 divide m?
True
Let f = 992 + 1468. Does 30 divide f?
True
Let a(l) = -3*l**3 + 2*l. Is 14 a factor of a(-4)?
False
Let x be 2/(-3)*258/(-43). Suppose -2*a - 2 = o + 3, 0 = 2*o + a - 2. Suppose -u - 87 = v - o*v, -x*u = -20. Is v a multiple of 22?
False
Let c(p) = 10*p**3 + 2*p**2 - 5*p - 13. Is c(4) a multiple of 20?
False
Let w be (2/6)/((-3)/18). Let h = w + -20. Let l = h + 39. Is 15 a factor of l?
False
Suppose -3*t - 2*s = -4*t, 0 = t - 4*s + 4. Suppose 0 = v + t*v - 155. Suppose -7 = o - v. Is o a multiple of 5?
False
Let k(q) = q**3 - 3*q**2 + 2*q - 3. Let f be k(2). Let j = f + 5. Is 12 a factor of (j*6)/((-6)/(-21))?
False
Let j(b) = -b**2 - 4. Let z be j(0). Let c(f) = -6*f - 1. Is 3 a factor of c(z)?
False
Does 16 divide ((-6400)/(-24))/((-6)/(-9))?
True
Let s be 2068/14 + (-8)/(-28). Suppose 0 = 5*b - w - s, -b - w + 8 = -24. Is b a multiple of 6?
True
Suppose i - 5*b - 64 = -2*i, b + 5 = 0. Does 6 divide i?
False
Suppose z - b = 263, 45*b = -3*z + 50*b + 789. Does 25 divide z?
False
Suppose 0 = 2*s + s - 432. Suppose 3*b - 3*q - s = -6*q, 0 = 2*q + 4. Is b a multiple of 25?
True
Let w = 29 - 19. Does 16 divide ((-93)/(-15) - -5)*(w - 0)?
True
Suppose 0*k + 104 = -2*k - 5*r, -5*k + 3*r = 260. Let b = 36 - k. Is 22 a factor of b?
True
Let i = 3095 + -1992. Does 32 divide i?
False
Let n be 6/(-2) + 4 - -2. Suppose -265 = n*z - 5*z - q, -z + 5*q = -127. Is z a multiple of 12?
True
Let c be (-336)/35 - 4/10. Let b be 58/3 - c/15. Suppose b = 5*i, 1 = -4*n + i + 77. Is 10 a factor of n?
True
Suppose -2*b + 1582 = -n, 3*b + n + 0*n = 2378. Is 72 a factor of b?
True
Let m be -1 + -4 - (-6 + 13 - 6). Is 4/m - (-440)/12 a multiple of 6?
True
Let l(q) = q**3 + 37*q**2 - 59*q + 330. Does 24 divide l(-38)?
True
Let j = -670 + 679. Let k = 36 - 55. Is 4 a factor of (k - 5)*(-6)/j?
True
Suppose -6*x - x + 28 = 0. Suppose 149 + 3 = x*f. Is f a multiple of 19?
True
Suppose 28*i + 2160 = 32*i. Does 6 divide i?
True
Let d = 207 - 173. Is 4 a factor of d?
False
Suppose 0 = -3*v + 5*o + 29, -4*o = 4*v - 2*o - 30. Let f = 61 - v. Is 9 a factor of f?
False
Let f = 413 - 409. Suppose -2*c + 190 = 2*n, 2*c + n - 22 - 170 = 0. Suppose c = 4*b + f*s + s, 0 = b + s - 25. Does 15 divide b?
False
Let d be 15/((-75)/10) + -38 + -1. Let k(t) = -9*t**3 - t + 1. Let j be k(1). Let r = j - d. Does 8 divide r?
True
Suppose 0 = 3*k + d + 149, 4*k - 3*d - 2*d + 205 = 0. Let c = k + 62. Is 11 a factor of c?
False
Let l(s) = -s**3 + 12*s**2 + 13*s + 1. Let y be l(13). Is y + 9 + -2 + -3 even?
False
Suppose 8*f = 6490 - 1370. Is f a multiple of 32?
True
Suppose 0 = -6*f - 444 + 4554. Is f a multiple of 14?
False
Let i = -14 + 7. Let q(l) = -11*l - 8*l + 7*l - 9 + 3*l. Does 18 divide q(i)?
True
Let u be (-4 - -12)/(5 + -3). Let g be ((-12)/5)/(u/(-20)). Let y = 86 - g. Is y a multiple of 16?
False
Let s(t) = t**2 + 5*t + 2. Let i be s(-5). Let w be i + -1 - (-7 + 6). Suppose 3*n = 26 - w. Is n a multiple of 8?
True
Suppose -2 = -5*r + 203. Is 18 a factor of r?
False
Let a(m) = 4*m**2 + 39*m - 309. Is a(14) a multiple of 13?
False
Let q(d) = 58*d**2 + d + 1. Suppose 40 = 4*y + 4*f, 0 = -5*y - f - 4 + 54. Suppose -x + 2*w = 9, -2*x + 0 = -2*w + y. Does 10 divide q(x)?
False
Suppose -5*d + 178 + 28 = 3*q, 5*d - 20 = 0. Suppose 3*l - 5*s = q, 0 = -5*l - 0*l - 3*s + 126. Does 4 divide l?
True
Let l(j) = -j**3 - 10*j**2 - 10*j - 13. Let s be l(-9). Let k(b) = -b**2 - 5*b - 5. Let c be k(s). Is 5 a factor of (c*2)/(10/(-25))?
True
Suppose b + 4*b = 40. Let n = -6 + b. Suppose -n*x + y = -2*y - 24, 3*y + 42 = 3*x. Is x a multiple of 6?
True
Let g(s) = -s**3 - 8*s**2 + 2*s + 12. Let d be g(-8). Is 14 a factor of (-1)/d + (-52)/32*-54?
False
Let f(q) = 40*q - 194. Is f(12) a multiple of 22?
True
Let s(z) = -z**2 + 4*z + 7. Suppose 3*q = -3*a + 4*q + 7, -4*a - q = -21. Let f(o) = 1. Let u(x) = a*f(x) - s(x). Is u(6) a multiple of 9?
True
Suppose 0 = -11*q + 1711 + 269. Is q a multiple of 36?
True
Suppose n + l - 35 = 0, -n - l = -5*l - 30. Let o be ((-1)/4)/(10/(-920)). Let c = n - o. Is 11 a factor of c?
True
Let w(f) = -21*f - 1. Suppose 2*j = -10 + 2. Let z be 3 + j + (-1 - -1). Does 4 divide w(z)?
True
Let o(r) = 2*r**2 - 5*r + 2. Suppose -u = -0 + 5. Let f be o(u). Suppose s + 2*v = -2*s + f, 170 = 5*s - 5*v. Is s a multiple of 6?
False
Let w be 6/9 + (-157)/(-3). Let x = -13 + w. Is 8 a factor of x?
True
Is 6/3 + (-6508)/(-4) a multiple of 60?
False
Let k(a) = 3*a + 4*a - a - 18. Let z be (312/20 - 4) + (-6)/(-15). Is k(z) a multiple of 27?
True
Suppose 0 = -5*v - 11 + 36. Let s be (-38)/4*4/(-12)*6. Suppose -46 - s = -v*x. Is x a multiple of 13?
True
Suppose 471 = 7*o - 2994. Does 45 divide o?
True
Let a(u) = -1 - 20*u - 16*u**2 + 12*u - 26*u - 10. Let s(l) = -3*l**2 - 7*l - 2. Let r(w) = 2*a(w) - 11*s(w). Is 5 a factor of r(-10)?
True
Let b = -782 - -1125. Does 4 divide b?
False
Is 9 a factor of (7284/24)/((-5)/(-10))?
False
Let n(b) = 4*b - 12. Let y be n(4). Suppose 0*z - g + 1 = 2*z, -y*z = 3*g - 1. Is 25 a factor of -3 + (z - -31) - -4?
False
Suppose 493 = -5*t + 2*y, 5*t + 2*y - 3*y + 494 = 0. Let m = -34 - t. Does 12 divide m?
False
Let v(n) = 2*n + 7*n - n + 5 + 0*n. Does 18 divide v(11)?
False
Let b be ((-12)/(-9))/(16/2616). Is 32 a factor of b + -4 + 7 - -3?
True
Let b(r) = r**2 - 10*r - 3. Let v be b(10). Let i be (-3)/(-3*v/(-12)). Suppose -s - 351 = -i*s. Is 21 a factor of s?
False
Let a(p) be the second derivative of p**5/20 - p**3/3 - p**2/2 + 3*p. Let g be a(-1). Suppose g*z + 36 = 3*z. Is z a multiple of 2?
True
Is 58 a factor of (-8)/(-20) + (6 - (-14301)/35)?
False
Let j = -35 + 45. Does 12 divide 4/j + 8/5 - -57?
False
Suppose 2*j = -4, x + 11*j = 10*j + 4059. Does 131 divide x?
True
Suppose 5 = 4*y - 5*s - 40, 4*y - 2*s - 42 = 0. Suppose 40 + y = 2*c + 2*h, -4*h + 20 = 0. Is c a multiple of 4?
True
Let i be 3 - ((1 - 5) + 2). Let o be 4*(-1)/(-12) - (-132)/9. Suppose -w + 33 = c, i*w - o = -0*w. Is 15 a factor of c?
True
Let t = 90 - 87. Is t + (-1)/((-5)/210) a multiple of 5?
True
Let h be (-6837)/9 - (-1)/(-3). Does 38 divide h*((-3)/18)/((-4)/(-12))?
True
Let t = -836 + 1248. Is 36 a factor of t?
False
Let x = -67 - -24. Let k = x + 55. Does 12 divide k?
True
Suppose 3*x = -5*j + 4430, 5*j - 7370 = -4*x - x. Does 18 divide x?
False
Suppose -2*c - 725 = -1721. Does 6 divide c?
True
Suppose -3*f + 246 = -111. Suppose -n + 2*u + f = 3*u, 5*u + 440 = 4*n. Is n a multiple of 39?
False
Let i be 3/12 - 826/(-56). Let f be -1 + 1 - (-2 - -2). Suppose f*b + b - i = 0. Is b a multiple of 9?
False
Suppose 0*w - 984 = -4*s + 5*w, 2*w + 984 = 4*s. Suppose 5*b + 25 = 0, 2*l + b + b = s. Does 32 divide l?
True
Let c(z) = z**2 + 12*z - 35. Let t be c(-15). Suppose 5*x - 185 = -t. Does 5 divide x?
True
Let t be (-3 - -7) + 7*2. Suppose -5*g - z - z = -44, 5*z - t = -g. Suppose -g = -n + 24. Is n a multiple of 16?
True
Let k(u) = -u**3 - 4*u**2 + 15*u - 18. Let r(z) = -z**3 - 3*z**2 + 16*z - 19. Let j(o) = -5*k(o) + 4*r(o). Is j(-9) a multiple of 8?
True
Let y(q) = -453*q - 13. Does 78 divide y(-1)?
False
Let y be 12/16 + (-6)/8. 