 q(38)?
False
Let t = -3 - -7. Suppose 5*s - 67 - 3 = 0. Is s*t + 28/7 a multiple of 12?
True
Suppose -4*j + 13 + 15 = 0. Let k(b) = -b**2 + 6*b + 17. Is 5 a factor of k(j)?
True
Suppose 3*h - 17 = -5. Let y be 1/(-4) - 157/(-4). Suppose -h*p - y = -7*p. Is p a multiple of 13?
True
Let j = -4899 + 8587. Is 91 a factor of j?
False
Let k be -1*1 - 7/1*-5. Suppose -1190 = k*g - 41*g. Is 17 a factor of g?
True
Let t = 91 + -65. Suppose -25*p - 119 = -t*p. Is 17 a factor of p?
True
Suppose -7*o + 8*o = 5*m, 5*o - 48 = m. Suppose -6*t + o*t - 704 = 0. Is t a multiple of 14?
False
Let b(p) = 9*p - 8. Let x be b(11). Suppose 2*o - x = 3*w, 0*o + 5*w = o - 35. Is 10 a factor of o?
True
Let s be 1 + (-3 - 1) - -4. Let o(t) = 91*t**2 - 3*t + 2. Does 16 divide o(s)?
False
Let i(q) = 4*q**2 - 3*q - 2. Let n be i(-3). Suppose 2*u + u - n = -5*v, 4*u = -5*v + 54. Let r = u + 1. Does 4 divide r?
True
Suppose -2*d = -5*a - 3*d + 529, -a = -2*d - 97. Suppose 3*z + 2*y - 345 = 5*y, z - 3*y - a = 0. Let t = z - 81. Is 13 a factor of t?
True
Let c(k) = k**2 - 13*k - 37. Let m(f) = f**3 + 14*f**2 + 15*f + 17. Let n be m(-13). Is 32 a factor of c(n)?
False
Let v be 3*(4/6)/((-4)/6). Is 82 + 1 + 1*(2 + v) a multiple of 9?
False
Let o(f) = 5 - 3*f - 3 + 2*f + 6. Is o(0) a multiple of 6?
False
Is 7 a factor of 218 + 17/((-34)/(-12))?
True
Let j(u) = -u**3 - 8*u**2 + 22*u + 29. Does 77 divide j(-14)?
False
Let s(x) = -10*x + 5. Let m be (-45)/10 - 1/2. Let v be s(m). Let r = 32 + v. Is r a multiple of 29?
True
Let f(p) = 28*p**2 - 3*p + 1. Suppose 20 = 6*c - c. Suppose -c*s - 3 = 3*q - 5, 0 = 5*q - 2*s - 12. Does 25 divide f(q)?
False
Suppose -s - 2*u = 5, 30 = -s + 5*s - 2*u. Suppose 2*v - 4*v = 5*a - 203, a = s*v - 494. Suppose 459 = 5*c + v. Does 18 divide c?
True
Let r(l) = 6*l - 1. Let w = -56 - -60. Is 7 a factor of r(w)?
False
Let g(l) = l**3 + l**2 - 10*l - 4. Let i(f) = 3*f**3 + 4*f**2 - 29*f - 11. Let d(q) = 11*g(q) - 4*i(q). Let h be d(-6). Is (h + 17)/1 - 3 a multiple of 7?
True
Suppose -4*t = -7*t + 6. Let x = 10 + -4. Suppose -5*b + 2*u + 80 = 0, -b + t*u - x = 6*u. Is b a multiple of 14?
True
Let x = -12 - -16. Suppose -3*p - x*l = -31, 5*p - 4*l + 4 = 13. Suppose -p*w = -10*w - 3*o + 142, -2*o - 118 = -4*w. Is w a multiple of 14?
False
Let t(l) = 9*l + 10*l + 1 + 3*l**3 - 4*l**3 + 2*l**3 + 11*l**2. Is 16 a factor of t(-8)?
False
Suppose 23 = 8*c + 279. Let g = c - -75. Is g a multiple of 9?
False
Is (-7)/(35/(-10)) + 888 a multiple of 43?
False
Suppose -807 = 11*q - 2853. Does 3 divide q?
True
Suppose -2*p + 38 = -4*i, -4*i - 23 = 3*p - 4*p. Let d(g) = g**2 - 12*g - 10. Is 5 a factor of d(p)?
True
Let d = -21 + 32. Suppose 119 + d = q. Does 31 divide q?
False
Suppose 1760 = -10*b + 250. Let f = 213 + b. Does 3 divide f?
False
Suppose -2*m + 27 = -4*r + m, -31 = 5*r - m. Let w be (-16)/(-24) + (-254)/r. Suppose -2*u + w = -101. Is 12 a factor of u?
True
Suppose k = -r + 227, 5*r - 7*r - 4*k + 446 = 0. Does 33 divide r?
True
Let x be (-15)/(-3)*(1 + (2 - 2)). Suppose 0 = 4*g - 20, -g = x*i - 102 - 28. Is 5 a factor of i?
True
Let q(j) = j**3 + j**2 - 6*j + 2. Let z be q(3). Let x be (2/5)/((-2)/z). Does 12 divide ((-12)/10)/(x/120)?
True
Let z(f) = -18*f - 8. Let m be z(-5). Suppose 0*u + 144 = 2*u + q, m = u + 3*q. Is u a multiple of 5?
True
Suppose 5*r - 749 = -3*f, 2*r + 5*f = 5*r - 429. Let q = -84 + r. Does 10 divide q?
False
Let v(w) = 7*w**2 + 3*w - 9. Is 29 a factor of v(6)?
True
Let n(z) = z**3 + 12*z**2 - z - 4. Let h = -29 + 20. Is n(h) a multiple of 31?
True
Let d = 1846 + -1174. Is d a multiple of 12?
True
Let z = -1228 - -1803. Is 18 a factor of z?
False
Does 12 divide (-6)/(234/(-12057)) + 6/(-39)?
False
Let f = -114 + 81. Let v = 119 + f. Is 43 a factor of v?
True
Let s = 13 + -13. Suppose 2*d + 5*h - 14 = 10, s = -4*d + 2*h. Suppose d*a + 2*u - 2 = 0, 3*a - 8 = 3*u + 19. Does 2 divide a?
False
Let h(l) = -372*l**3 - l + 1. Is 21 a factor of h(-1)?
False
Let i = 58 + -7. Let z = -59 - i. Let l = 158 + z. Is l a multiple of 12?
True
Let t(w) = -w**2 - 8*w - 11. Let m = 22 + -29. Let u be t(m). Let b(y) = y**2 - 3*y - 2. Is b(u) a multiple of 13?
True
Is ((-12)/5)/((-46)/9545) a multiple of 41?
False
Let w be 213 + 7/(28/12). Suppose 2*h + w = 8*h. Does 12 divide h?
True
Let w(v) = v**3 - v**2 - 6*v + 3. Let j be w(3). Suppose -j*o - 3*k + 21 = 0, -5*k - 17 = 8. Does 3 divide o?
True
Suppose 2*a - d - 45 = 0, 3*a - a = -3*d + 57. Suppose -a = -3*s + 72. Is 16 a factor of s?
True
Suppose -8 = -2*t + 3*t. Is (-8)/(-64) + (-111)/t a multiple of 7?
True
Let r(m) = -15 + 25 - 32*m - 3. Is r(-5) a multiple of 20?
False
Suppose -3*c - 6*c - 801 = 0. Let j = c + 179. Does 9 divide j?
True
Let h = 1471 - 1201. Is 2 a factor of h?
True
Let v(q) = -6*q**3 - 42*q**2 - 4*q - 20. Is v(-9) a multiple of 8?
False
Let q = 111 + -79. Suppose 0 = -f - f + q. Is 8 a factor of f?
True
Suppose 9 = 2*o + 2*q - 3, -3*o + q = -10. Suppose -h + g = -8 - 5, -o*g = 4*h - 28. Is 5 a factor of h?
True
Let l be (-878)/(-6) + 2/(-6). Suppose -3*d = -j + 4*j - 102, 0 = -5*j + d + l. Is 15 a factor of j?
True
Suppose -393*q + 4840 = -388*q. Is q a multiple of 44?
True
Let c(m) = 3*m**2 + m - 8. Let w be c(-4). Let u be (10/6)/(30/w). Suppose -9 = -u*p + 5*y + 27, -y = -p + 21. Is 20 a factor of p?
False
Suppose 7*z - 3596 - 1206 = 0. Is z a multiple of 27?
False
Suppose -2*w - j = -100, 272 = 5*w - 3*j - 0*j. Is w/3 - (-14)/21 a multiple of 3?
True
Let h(c) = c**2 + 3*c + 1. Let r(j) = -3*j - 6. Let p(n) = -n**2 + 7*n - 6. Let z be p(6). Let o be r(z). Is 19 a factor of h(o)?
True
Suppose 0 = -4*t + 12*t - 112. Suppose 4*y - 237 = -c, -5*y + 3*c + t = -278. Does 17 divide y?
False
Suppose x - 5*x = x. Suppose 0*i - 222 = -3*i + 3*q, -i - 5*q + 86 = x. Is i a multiple of 6?
False
Suppose 8*z = 6*z + h + 2460, -2*z + 2448 = 2*h. Is 6 a factor of z?
False
Let s = 2603 - 632. Is s a multiple of 13?
False
Let b(d) = -19*d + 5. Let s be b(3). Does 2 divide (-1 + 1/2)*s?
True
Let a = 34 + -34. Suppose a = -w - 2*q + 41, 4*w - 128 = -2*q + 3*q. Is 11 a factor of w?
True
Suppose 4*i - v - 165 = 1503, 5*i + v = 2076. Is i a multiple of 13?
True
Suppose 4*a = 148 + 496. Is 8 a factor of a?
False
Let n = 45 + -9. Let x = -18 - n. Let c = -27 - x. Is c a multiple of 9?
True
Suppose 0 = -9*u + 63 + 153. Suppose i - 6*i = -4*f + 31, 0 = f + 2*i - u. Is f a multiple of 2?
True
Suppose -3*f - 2*x - 3*x = -15, 5*f + 3*x - 25 = 0. Is f/(1036/(-208) - -5) a multiple of 26?
True
Suppose 4*c - 423 = 305. Is 14 a factor of c?
True
Suppose 13*m - 3*m = 40. Let t = m + 14. Is t a multiple of 6?
True
Let s(w) = -51*w - 14. Let p be s(-8). Let d = -201 + p. Does 12 divide d?
False
Let c = -106 + 169. Is 21 a factor of c?
True
Let s(l) = -208*l + 18. Is s(-1) a multiple of 42?
False
Suppose -3*k + 58 = 7. Let d be (1 - (-10)/(-8)) + (-39)/4. Let o = k + d. Is 4 a factor of o?
False
Let h = 62 - 69. Let i = h - -73. Does 16 divide i?
False
Suppose 3*y + 59 - 2 = 0. Does 7 divide y/((-36)/8 - -4)?
False
Let d = -39 + 65. Suppose -30 = -28*k + d*k. Is 12 a factor of k?
False
Let i(d) = 16*d**2 + 65*d + 914. Does 154 divide i(-18)?
True
Let b = 6296 + -3058. Is 24 a factor of b?
False
Let s(r) = r**2 + 8*r + 11. Is s(-9) even?
True
Let m = 13 + -39. Let v = m - -78. Suppose 4*b + c - 227 - v = 0, 5*b = -3*c + 347. Is b a multiple of 27?
False
Let s be 27/6 - (-3)/2. Let w = -2 + s. Suppose w*p = -p + 145. Is 14 a factor of p?
False
Let s(l) = -l**2 + 11*l + 11. Let r be ((-4)/6)/((4/(-4))/15). Is 5 a factor of s(r)?
False
Let g = -21 + 239. Suppose -5*t = 5*o + 23 - g, -3*t = -o - 129. Is 12 a factor of t?
False
Suppose x - 10 = -3*q - x, 5*q - 16 = -3*x. Let f = 155 + -39. Suppose -5*o - g = -124, -g + q*g + f = 5*o. Is 6 a factor of o?
True
Let q(w) = 2 - 3*w + 9*w + 5*w. Let f(c) = c**2 - 3*c + 3. Let o be f(0). Is q(o) a multiple of 12?
False
Let m be 18/15*(-90)/(-27). Suppose 0 = 5*n - 0*n - 5*x - 570, -307 = -3*n - m*x. Is n a multiple of 29?
False
Suppose -91*d + 86*d = -885. Suppose -d = -4*r + 243. Is r a multiple of 21?
True
Let x = 348 - 308. Is 10 a factor of x?
True
Suppose 3*x - 5*j - 45 = 0, -4*x - j + 6*j + 60 = 0. Is 34 a factor of ((-68)/10)/((-3)/x)?
True
Let o(l) be the first deriv