 c - 2*c - 4*y, 0 = -4*c + y + 16. Is (17/(-2))/(c/(-6)) a multiple of 3?
False
Suppose -3*d = -2*d - 4. Suppose -k - d = 2*h, 5*h - 3*k - 5 = -37. Is 93/3 + (-2 - h) a multiple of 11?
True
Let d be (-7 + 1)/1*(-1)/3. Is (d/1)/((-48)/(-47) + -1) a multiple of 28?
False
Let v be (1 - 0) + 144/4. Suppose -v + 127 = 10*u. Is u a multiple of 3?
True
Let w(b) = 25*b - 32. Let t be w(6). Let p = 178 - t. Is 12 a factor of p?
True
Suppose -3*l + 4*t = -1619, 13*l = 12*l - t + 535. Is l a multiple of 13?
False
Suppose 9 + 3 = 3*m. Let h be 234/(-15) - m/10. Let p = h + 39. Is 23 a factor of p?
True
Suppose 0 = -4*w - 4*r - 9 + 21, 3*r = 0. Suppose 364 = 4*f + w*f. Is f a multiple of 3?
False
Suppose 5*f = -2*i - 2*i - 5, 4*i + 3 = -3*f. Let b(l) = -119*l**2 + 2*l + 7. Let s(q) = 60*q**2 - q - 3. Let k(x) = 3*b(x) + 7*s(x). Does 18 divide k(f)?
False
Suppose 506 = 2*j - 5*s, 2*j - 206 = s + 284. Is j a multiple of 4?
False
Suppose 0 = 2*l + 2*l - d + 181, 2*d + 133 = -3*l. Let t = 87 + l. Does 6 divide t?
True
Let o = -278 - -620. Is o a multiple of 9?
True
Let h(b) = 3*b**2 + 84. Is 14 a factor of h(-11)?
False
Suppose 8*h - 4 + 12 = 0. Does 47 divide 2 + 184 - (-1 + h)?
True
Suppose -35 = 2*f + 5. Let b = -109 + 144. Let i = b + f. Is i a multiple of 8?
False
Suppose -4*l = -l - 2*u - 11, 9 = 2*l - 3*u. Suppose -3*m - 2*j = -0*j - 12, 2*m - l*j = 8. Suppose -2 - 10 = -m*q. Does 3 divide q?
True
Suppose -5*o + 2*s = 520, -2*o - 4*s - 520 = 3*o. Let l = 212 + o. Is l a multiple of 19?
False
Let u(n) = 52*n + 264. Is 4 a factor of u(3)?
True
Let m = -22 - -38. Suppose -13*z = -m*z + 135. Is 15 a factor of z?
True
Let d(n) = 27*n + 75. Let r be d(15). Let v = r + -215. Is v a multiple of 14?
False
Suppose 2*x - 58 = -2*b, -9 - 4 = -x + 3*b. Suppose -154 = -x*k + 24*k. Is k a multiple of 33?
False
Let s(g) = 3*g**2 - 30*g. Let x be s(10). Suppose -3*q - 2*k + 105 = -5*k, x = 2*q + 2*k - 54. Is 6 a factor of q?
False
Let s(v) = -v - 6. Let n be s(-7). Suppose 0 = -o - 4 - n. Is 10 a factor of o/2*(2 + -14)?
True
Let o be 222/(-6)*1*-2. Let v(g) = -g**2 + 6*g - 5. Let w be v(4). Suppose -w*q + o = 8. Is 11 a factor of q?
True
Let h = 38 + -42. Let o be 2*(h + (-165)/(-10)). Is 4 a factor of (20/o)/(1/5)?
True
Let d(i) = i**2 - 8*i + 10. Let x be d(7). Let c = x + -1. Is 13/c + (-4)/8 even?
True
Let m(o) = o**3 + 11*o**2 - 5. Let b be m(-11). Does 20 divide b*(-24 - (-4 - 0))?
True
Let f(d) = 150*d**3 + 3*d**2. Does 9 divide f(1)?
True
Is (-89754)/21*(0 + (-1)/2) a multiple of 21?
False
Let c(b) = 5*b**3 + 4*b**2 - 5*b - 40. Does 19 divide c(8)?
True
Does 54 divide 0 + 11860/10 + 2?
True
Does 12 divide 24/((-32)/176 + 1824/9669)?
True
Suppose 3*h + 6 + 0 = 0. Let c = h + 5. Suppose c*u = 4*u + 4*q - 32, q = 5*u - 97. Does 5 divide u?
True
Suppose 4*g - s + 4*s = -54, 4*s + 56 = -4*g. Suppose -2*w + 129 = -3*m, -5*m - 3*w - 25 - 209 = 0. Let n = g - m. Does 11 divide n?
True
Let l = 5359 + -3610. Is 11 a factor of l?
True
Let q(y) = 7*y**3 - 16*y**2 + 9*y - 18. Let g = 10 - 4. Let m(j) = j**3 - j. Let x(o) = g*m(o) - q(o). Does 9 divide x(15)?
True
Let o = 81 - 109. Does 10 divide (o/(-12))/(1/60)?
True
Is 11 a factor of 8 - (4 - 0) - (-294 - -1)?
True
Let g(f) be the first derivative of 65*f**2/2 + 15*f + 18. Is 31 a factor of g(3)?
False
Let p(g) = g - 4. Let i be p(0). Let y = 11 + i. Let b(t) = -t**3 + 9*t**2 - 8*t - 10. Is b(y) a multiple of 11?
False
Let h be (2 + -3)*-1 + 3. Let m be (-3)/(-12) + (-41)/h. Is 10/m*(1 + -54) a multiple of 24?
False
Let y(h) = h**3 - 10*h**2 + 3*h - 12. Let j = -1 + -15. Let q = -6 - j. Does 5 divide y(q)?
False
Suppose 5*i = 4*o + 35, 3*i + 3 + 3 = -3*o. Let a be 10*(4 + -3) + i. Let q = 20 + a. Does 9 divide q?
False
Let h(s) = 5*s**3 - s**2 + s - 1. Let j be h(1). Suppose -2*d + 52 = w, 0 = 4*w + d - j*d - 263. Does 5 divide w?
False
Suppose 11*i + 12 = 15*i. Suppose -2*n = -1 - i. Is 3 - 18*-1 - n a multiple of 10?
False
Let l(m) = 4*m + 8. Let b(a) = -16*a - 33. Let s(d) = -6*b(d) - 26*l(d). Let i be s(-5). Suppose -2*u - 3*r = -i, r + 25 = u - 0*r. Does 7 divide u?
True
Suppose -4 = -2*s + 6. Let u be 2*(15/2)/s. Suppose u*g + 156 = 6*g. Is 11 a factor of g?
False
Let t(f) = -f**3 + 2*f**2 + 2*f - 4. Let p be t(4). Is (-21)/p - 1282/(-8) a multiple of 23?
True
Let v = 29 - -9. Suppose 2*x - v = 44. Does 15 divide x?
False
Let d(w) = -2*w - 23. Let s be d(-9). Let o(k) = -4*k + 30. Let h(g) = g - 10. Let v(m) = 14*h(m) + 5*o(m). Does 5 divide v(s)?
True
Let z = 82 - -294. Suppose 12*t + z = 1180. Is 24 a factor of t?
False
Let r = 330 - 125. Is 20 a factor of r?
False
Suppose 253 = 3*j - 599. Let d = j + -168. Is 29 a factor of d?
True
Suppose 5*p = 2*r - 151, 3*r + p - 158 = 26. Is r a multiple of 7?
True
Let k = -1547 - -2524. Is k a multiple of 9?
False
Let g(x) = x - 15. Let p be g(9). Is ((-76)/p)/(8/168) a multiple of 19?
True
Suppose 3 = 3*c + 3*h, -c + 4*c - 15 = h. Suppose -4*i - 20 = 4*a, 2*i = -c*a + 3*a - 9. Does 7 divide 29 - (-3 - a) - -2?
False
Suppose 2*z - 3*f = 23, -4*f = 2*z + 9 + 3. Suppose 2*y + z*q = -y + 181, -8 = 4*q. Does 9 divide y?
True
Let w = -10 + 19. Suppose 2*f - w - 127 = 0. Is f a multiple of 7?
False
Suppose -z + 174 = 38. Suppose 4*f = -n + 3*n + z, f = 3. Let i = 120 + n. Is i a multiple of 22?
False
Suppose -18*j + 1995 = -3*j. Is 6 a factor of j?
False
Let x(m) = m**2 - 5*m - 9. Let q be x(7). Let v(n) = 2*n - 1. Let c be v(3). Suppose 3*h - 392 = -c*d, q*d + 16 = -4*h + 412. Does 19 divide d?
True
Suppose o - 29 = 8. Suppose -2*i + o = -83. Is 5 a factor of i?
True
Suppose 0 = -2*a + 3144 + 1912. Is a a multiple of 8?
True
Let f(p) = -4*p**3 + 2*p**2 - 1. Let y be f(-1). Suppose -18 = y*q + 2. Let t(k) = -k**3 - 2*k**2 - 6*k - 5. Is 17 a factor of t(q)?
True
Does 80 divide 984*(8 + 56/(-12))?
True
Suppose -23*t + n - 1156 = -28*t, -690 = -3*t + 3*n. Is t a multiple of 51?
False
Suppose -11*m = -4*m - 21. Suppose -7*l = -m*l - 620. Is l a multiple of 31?
True
Let h be 24/4 + 3 + -5. Suppose 0 = 11*g - 12*g + h. Does 4 divide g?
True
Does 85 divide 19/(3230/20) + 28144/68?
False
Does 5 divide (-18 - -19)*(-9 - -2)*-77?
False
Suppose -11*d + 10*d + 5 = 0, -p + 830 = 4*d. Is p a multiple of 87?
False
Suppose b + 8 = q, -24 = -2*q + 4*b - 0*b. Suppose -4*u = -q*o + o - 52, 52 = 4*u - o. Is 3 a factor of u?
False
Let a be ((-64)/40)/((-2)/150). Suppose -3*y + 299 = -4*r - 23, -5*r + a = y. Does 10 divide y?
True
Let c be (-322)/56 + ((-15)/(-12))/(-5). Does 22 divide 1*-192*(c - -5)?
False
Suppose 5*o - 6*o - 5*x = 25, o - 5*x - 25 = 0. Let i(l) = -3*l**2 + l + 13. Does 11 divide i(o)?
False
Let g(i) = -i - 35. Let m be g(-4). Suppose 5*a - 46 = 3*z + 28, 32 = -2*z - a. Let y = z - m. Is 13 a factor of y?
True
Let n be -33 + (-2)/(3 + 1 + -2). Is 19 a factor of (-4)/(-4) - (n + -3)?
True
Let p(q) = 8*q**2 - 17. Let x(c) = -c**2 + 3*c + 14. Let t be x(5). Is p(t) a multiple of 37?
True
Let x(q) = -2*q + 3*q - 2 - 1 + 2. Let o be x(-1). Is 15 a factor of 7 + 5 - (o - 1)?
True
Let h(t) = 4*t**3 - t + 1. Let d be h(2). Suppose j + 5*r - d = 92, 2*r + 382 = 4*j. Does 14 divide j?
True
Let m = -64 - -41. Let o = m + 102. Let a = o - -1. Is 23 a factor of a?
False
Let b be (-6)/((-24)/7)*4. Suppose 2*t + 172 = b*f - 2*f, -52 = -f - 4*t. Is 9 a factor of f?
True
Let b(g) = 5*g - 23. Let z(r) = 2*r**2 - 3*r + 4. Let c be z(3). Is b(c) a multiple of 6?
True
Suppose 4*z - 229 = 3*p, 5*p = 3*z + p - 170. Let r = 85 - z. Suppose 3*c = 45 + r. Does 24 divide c?
True
Let a(l) = -l**3 - 8*l**2 - 8*l - 4. Let h be a(-7). Suppose 3*q - t + 27 = 6*q, -h*q - 3*t = -33. Is q a multiple of 2?
True
Let w(b) = -4*b - 8. Let c be w(-4). Suppose 2*j = 3*s - 26, 2*s + j + 0 = c. Suppose -y + 110 = s. Is 22 a factor of y?
False
Suppose 15 = y + 5*f, 3*y - 2*y - 3*f = 15. Suppose 3*b = -k + 23, -5*k + 2*b + y = -3*b. Does 4 divide k?
True
Let j(p) be the second derivative of -p**4/12 - p**3/6 + 50*p**2 - 5*p. Let k be j(0). Suppose -k = 15*q - 20*q. Is q a multiple of 10?
True
Let m = 21 + -21. Suppose 5*g = 5*y + 3*g + 125, -g = m. Let b = -15 - y. Is b even?
True
Suppose 157 = 2*l + 3*a - 209, 2*a - 4 = 0. Is 15 a factor of l?
True
Suppose 2*g = -2*g + 32. Let j be g - (-2 + 3 + 2). Suppose -62 = -2*f + f