v(u) = 6*u**2 + 61*u - 19. Is 30 a factor of v(-15)?
False
Let v(m) = 14*m - 22. Let j(k) = 14*k - 22. Let i(n) = -2*j(n) + 3*v(n). Is i(11) a multiple of 22?
True
Let t be (109/(-3))/(((-5)/3)/5). Suppose 0 = -i + 2*i - t. Is i a multiple of 8?
False
Let w(n) = n**2 + n - 6. Let a be w(0). Let p be (152/(-12))/((-4)/a). Let b = 8 - p. Does 27 divide b?
True
Suppose -5*d = 4*u - 8*u + 682, 0 = -d + 2. Does 5 divide u?
False
Let u = 1148 + -684. Does 4 divide u?
True
Let d(v) = v**2 - 44*v + 349. Does 5 divide d(52)?
True
Suppose -6 = 2*j, 4*w + 1035 = -w - 5*j. Is 1/(814/w + 4) a multiple of 39?
False
Let s(u) = 7*u - 13. Let j be s(9). Does 24 divide 8/10 + 1160/j?
True
Let w(y) = -y**3 + 3*y**2 + 6*y - 7. Let b be w(4). Let z(i) = -18*i + 2. Let r be z(b). Let m = r + 60. Does 22 divide m?
True
Let o(m) = -3*m - 10. Suppose -50 = 4*h + 6*h. Is o(h) even?
False
Suppose 1384 = 36*y - 3764. Does 5 divide y?
False
Let f = -38 + -4. Suppose 15*w - 18*w - z - 31 = 0, -3*z = -2*w - 6. Is 24 a factor of ((-42)/w)/(-2)*f?
False
Let i = 2945 + -1691. Is 33 a factor of i?
True
Suppose 0 = 2*y - y - 44. Is 44 a factor of y?
True
Suppose -3*w - 1632 = -d, -8240 = 3*d - 8*d - 5*w. Suppose -85*x = -89*x + d. Is 59 a factor of x?
False
Let u(s) = s**2 + 1. Let a be u(0). Let j be (-1 - 1)/(a/2). Does 8 divide 1*j/((-16)/44)?
False
Suppose -4 = -2*m - 0*m. Let f(p) = 17*p**3 + p**m - 2*p**2 + 0*p**2 + 16*p**3. Is f(1) a multiple of 10?
False
Let w(o) = o**3 + 15*o**2 + o + 7. Let d be w(-15). Is 13 a factor of (-6559)/(-28) + 2*1/d?
True
Suppose -i + 0 + 7 = 0. Let a(b) = -16 + 26 - b - i*b. Is 14 a factor of a(-5)?
False
Does 16 divide (-1 - (-1913 + 2)) + -24 + 18?
True
Let a(h) = 2*h**2 + 21*h + 11. Let n be a(-15). Suppose 2*u = 4*g - u - 130, 5*u = -4*g + n. Is 6 a factor of g?
False
Let u be 33/(-3) + -1 + 3. Let n(a) = a**3 + 11*a**2 + 10*a + 13. Is 17 a factor of n(u)?
True
Suppose -2*n = 5*q - 88, 3*n = -3*q + q + 110. Is 19 a factor of n?
False
Let s(k) = -73*k - 26. Is s(-11) a multiple of 21?
True
Let x(m) = 5*m**2 + 3*m - 17. Let h be x(-6). Let l = h + -49. Suppose -3*t + 6*t = l. Does 23 divide t?
False
Let y = 81 - 58. Let v = 58 - y. Does 7 divide v?
True
Suppose -4*m - 60 = -6*m. Let s = m - 16. Is 14 a factor of s?
True
Let i(d) be the second derivative of 8*d**3/3 - d**2/2 - 15*d. Is 21 a factor of i(4)?
True
Suppose -3*l + 5*f = -54 - 136, -f - 170 = -3*l. Does 11 divide 0*(-3)/12 + l?
True
Suppose -4*i = 5*y + 43, -y - 5*i - 31 = 2*y. Let p be 1538/y - 12/42. Is 14 a factor of p/(1 - 5) + 1?
True
Let m = 2578 + -1774. Is 53 a factor of m?
False
Does 2 divide 256/7 + -8*(-11)/(-154)?
True
Let q = 794 - 184. Is q a multiple of 61?
True
Let r(p) be the third derivative of -5*p**4/24 - 4*p**3 + 10*p**2. Is r(-7) a multiple of 3?
False
Let t = -87 + 92. Suppose -5*r + 2*b + 378 = 0, 2*r + t*b - 156 = 7*b. Is 11 a factor of r?
False
Suppose 3*q - 3*f + 2034 = 0, 6*f - 2035 = 3*q + 4*f. Let y = q - -965. Is 11 a factor of y?
True
Suppose 69*k = b + 71*k - 132, -5*b - k + 624 = 0. Is b a multiple of 2?
True
Suppose -792 = -5*x + 348. Suppose 0 = -3*c - 5*k + x, -k = -4*c + 2*k + 333. Does 7 divide c?
False
Let q(u) be the first derivative of 12*u**4 - u**3/3 + u - 128. Suppose -t - 3 = -j, 11 - 1 = 4*j - 3*t. Does 13 divide q(j)?
False
Is 4 a factor of 28/3*((-270)/(-35))/3?
True
Let t be (-7)/4*(-24)/2. Suppose -3*o = 3*p + p - 69, 3*o + t = p. Let v = p + 1. Is 6 a factor of v?
False
Suppose -432 = -4*h - 0. Suppose 0 = u - 5*u + h. Let a = u - 1. Is 26 a factor of a?
True
Let f(m) = 3*m. Let l be f(1). Suppose 6 = 3*x - 5*r, -4*x + l*r = -7*x + 6. Is (2/4)/(x/20) a multiple of 2?
False
Suppose 5*v - 20 = v. Suppose 3*z = v*z - 4. Is 1*z + (-95)/(-5) a multiple of 17?
False
Let t = 30 - 32. Is 3 a factor of 954/36 + t/(-4)?
True
Suppose -17*l + 12*l = 75. Let x be 6/10 + (-111)/l. Suppose 7*j + 16 = x*j. Is j a multiple of 8?
True
Let g(d) = d - 12. Let w be g(14). Suppose 0 = -w*t + 60 + 12. Is t a multiple of 18?
True
Let l(r) = -17*r - 3. Suppose 0 = 11*j - 6*j - 5. Let f(d) = -2*d - 1. Let v be f(j). Does 24 divide l(v)?
True
Let r(c) = -c**3 + 8*c - 10. Let j be r(5). Let u = -74 - j. Does 7 divide u?
True
Suppose -7*k + 81 = -563. Suppose -3*a = 7*q - 3*q - 78, a - k = -5*q. Is 14 a factor of q?
False
Is (-7)/((-7)/256) + -4 a multiple of 18?
True
Suppose 0 = 5*l - 2*a - 3723, 3*l = 2*a + 1639 + 594. Let j = l + -445. Does 54 divide j?
False
Is 16 a factor of ((-7695)/76)/(3/(-36))?
False
Let u = 1241 + -118. Is 17 a factor of u?
False
Suppose -2712 = -4*z + 2*f, -4*z + 6*f = f - 2700. Is 40 a factor of z?
True
Let c = -24 + 27. Suppose s = 16 + 25. Suppose c*p + 3*y = 75, 2*y = -2*p + 3*y + s. Is 20 a factor of p?
False
Suppose 2*i = 7*i + 2*k - 59, 42 = 4*i - k. Suppose -4*l + i = -69. Is l a multiple of 5?
True
Let i = 21 + -16. Suppose -y + 3 = -5*q + 2*y, -i*q = 4*y - 4. Is 13 a factor of (1*-26)/(-2 - q)?
True
Suppose -5*i = -2*r + 5*r + 662, -224 = r + 5*i. Let s = r - -309. Is s a multiple of 30?
True
Let z(i) = -102*i + 8. Let x be z(-6). Suppose -6*g = -2*g - x. Suppose -2*n - g = -7*n. Does 7 divide n?
False
Let g = 7 - 7. Let c be 1/((g - 3)/(-6)). Suppose 0 = -3*w + c*w + 37. Does 8 divide w?
False
Suppose -4061 + 13565 = 18*x. Is x a multiple of 22?
True
Suppose 3*m + 0*m + 5*t - 1361 = 0, 0 = -2*m - t + 919. Does 11 divide m?
True
Let q = 26 - -43. Is 23 a factor of q?
True
Let n(j) = j**3 + j**2. Let u(p) = -39*p**3 + 6*p**2 - p - 1. Let y(z) = -6*n(z) + u(z). Suppose 3*s - 33 = -36. Is 15 a factor of y(s)?
True
Let s(f) be the second derivative of 11*f**7/840 - f**6/180 - f**5/120 - f**3 + 7*f. Let y(g) be the second derivative of s(g). Is 26 a factor of y(2)?
True
Let n(c) = 13*c - 398. Is n(36) a multiple of 7?
True
Let m(g) be the first derivative of g**4/4 + 4*g**3/3 + g**2 + 2*g - 4. Let d be 1 + (2 + -7 - -1). Does 3 divide m(d)?
False
Let w = 8 - 11. Let g be (2 - -1)/(w/(-3)). Suppose -5*u - 135 = -3*x - 2*x, -g*x - 5*u = -57. Is 8 a factor of x?
True
Let g(w) = w**2 + 4*w + 11. Is 8 a factor of g(0)?
False
Suppose 0 = -5*k + 7 + 153. Is 8 a factor of k?
True
Is 20 a factor of (2 - -317)*1 - 3/(-3)?
True
Let p(y) = -y**3 + 24*y**2 - 20*y - 9. Let i be p(23). Does 20 divide ((-10)/3)/((-5)/i)?
True
Suppose 0*v - 15 = -3*v. Suppose -v*h = -110 + 30. Let p = h + -11. Does 3 divide p?
False
Suppose 0*a - 2*a - 4 = 0, -a + 218 = j. Let x = j + -128. Is 13 a factor of x?
False
Suppose -b = s + 2*s - 2647, -5*b = s - 901. Is s a multiple of 75?
False
Suppose -3*a = -3*z - 48, 2*a - 4*z = a + 19. Suppose d - a = 5*j + 19, 5*j + 38 = -3*d. Let v = 101 - j. Does 27 divide v?
True
Suppose -h - 13 - 32 = -2*s, 4*s - 60 = -4*h. Let z be (2 + (-264)/9)*-3. Suppose 19*n - s*n = -z. Does 21 divide n?
False
Suppose -33 = 2*g - 97. Suppose -2*o = -g - 12. Does 17 divide o?
False
Suppose -6*w = -4 + 10. Does 5 divide 1/((-5)/(-159 + w))?
False
Let z(t) = t**3 - 24*t**2 - t - 8. Let p be z(21). Is 45 a factor of p/(-15) - (-2)/(-15)?
True
Let w(i) = -179*i + 204*i + 10 - 2*i**2 + 0. Is w(11) a multiple of 43?
True
Is 108 a factor of 21348/14 - (6 + (-387)/63)?
False
Suppose 2*i + 410 = 5*t, -t + 27 + 62 = i. Is t a multiple of 12?
True
Suppose -4*d - 7 = 13. Let g = -2 - d. Suppose -3*s + 60 = g*h, 0 = -2*s - 3*h - h + 38. Is s a multiple of 7?
True
Suppose -2 = -u - 0. Let x be (-6 - -2)*u/4. Let q = 8 - x. Is 10 a factor of q?
True
Let m = 10938 - 7516. Is 29 a factor of m?
True
Let p(x) = 18*x - 26*x + 14*x**2 - 19 - 20*x**2 + x**3. Does 45 divide p(8)?
True
Suppose 3*h - 5022 = 2*n, -2*n + 5*n = 0. Is h a multiple of 32?
False
Let l = 872 - 514. Let h = l + -223. Suppose h - 55 = 5*z. Does 10 divide z?
False
Suppose -148*u + 14136 = -124*u. Does 42 divide u?
False
Suppose 9*m + 43 = -65. Is 7/(1/m*-1) a multiple of 28?
True
Suppose -28 + 68 = -4*k. Let j(s) = s**2 + 2*s - 4. Is 21 a factor of j(k)?
False
Let a(m) = -7*m - 8*m + 2*m**3 - m**3 - 8*m**2 + 0*m + 10. Let d be a(10). Suppose 3*l - 7*l = -d. Does 7 divide l?
False
Let w(v) be the first derivative of 3*v**2/2 + 20*v - 11. Let k be w(-10). Let n(m) = -7*m. Is n(k) a multiple of 14?
True
Let u(v) = v**3 + 6*v**2 - 18*v - 10. Let c be u(-8). Is 23 a factor of 3/6*2*6