 Let r be q(d). Suppose -2*b + 2*a - 5*a = -r, 4 = a. Is b a multiple of 17?
True
Suppose -f + 2*x = -46, 2*f + 27 = 3*x + 114. Is f a multiple of 6?
True
Let p(j) = 96 + 3*j + 4*j**3 - 2*j**2 + 69 - 3*j**3. Does 11 divide p(0)?
True
Let z(y) = y**3 - y**2 + y + 11. Let p be z(0). Let k = -5 + p. Is 3 a factor of k?
True
Let n(g) = 2*g**2 + 16*g - 6. Suppose z - 2*z - 4*h = 32, 0 = -2*h - 10. Is 14 a factor of n(z)?
False
Let n be (-12)/(-9)*45/(-10). Let h be 3214/14 + n/(-14). Suppose h = 5*g + 5*x, 3*x + 63 + 3 = g. Is g a multiple of 16?
False
Is 2/(-43) + 353040/2064 a multiple of 9?
True
Let b(f) = 13*f**2 + 3. Let t be b(-2). Suppose 0 = -3*n + 5*c - t + 254, 0 = -n + 2*c + 66. Is n a multiple of 17?
True
Suppose 0 = -3*f - 1385 + 12095. Does 29 divide f?
False
Suppose -2*i - 3*d = -371, 3*d - 39 = i - 238. Is i a multiple of 26?
False
Is 37 a factor of 1910*(-4)/(-8) + 7?
True
Suppose 26*j + 34884 = 60*j. Is j a multiple of 39?
False
Let j(x) = x**3 + 8*x**2 + 10*x + 8. Let k be j(-7). Let z = 8 + k. Let o(a) = 6*a**2 - 6. Is 38 a factor of o(z)?
False
Suppose 0 = 5*g + 5, 4*w - 2*w - g - 23 = 0. Is 2 a factor of w?
False
Let x = -57 + 37. Let v = 24 + x. Suppose 0*t + 198 = 2*t - v*o, 2*t + 3*o - 219 = 0. Is t a multiple of 35?
True
Let m(i) = 8*i**3 - 12*i**2 - 10*i + 39. Is m(5) a multiple of 15?
False
Let k = 29 - 29. Let r = 3 - k. Is r a multiple of 3?
True
Suppose -5*c + l + 5537 = 0, -39*c + 36*c + 3325 = -2*l. Is 7 a factor of c?
False
Let i(p) = p**3 + 12. Let f be i(0). Let w be (f/15)/(4/(-10)). Is 35 + (-1)/w*-6 a multiple of 16?
True
Let d(o) = 347*o - 10. Is d(2) a multiple of 3?
True
Suppose -4*l = -1 - 7, -3*l = 5*k - 431. Is k a multiple of 3?
False
Suppose 26*x - 14*x = 1128. Is x a multiple of 47?
True
Let o(l) = -4*l**3 + l**2 + l + 1. Let r be o(-1). Suppose -20 = -r*g - 0*g. Suppose -20 = g*b + 2*c - 86, -81 = -5*b - c. Is b a multiple of 16?
True
Let o be 0 - 10/15 - (-2)/3. Does 47 divide o + 281 + (-19 - -5)/(-7)?
False
Suppose -5*s + 3*s + 1823 = 5*c, 1844 = 2*s - 2*c. Is s a multiple of 51?
False
Let s(k) = -k**2 - 13*k + 42. Is 3 a factor of s(-13)?
True
Suppose 0 = -m + 5*m - 4*u - 132, 0 = -4*u. Let x be m/2*(-2 - -4). Let r = x + -25. Does 8 divide r?
True
Let j(l) = -2*l**2 + 13*l + 7. Let y be j(7). Let w be ((-1)/1 + y)*12. Is 3/(-24)*6*w a multiple of 9?
True
Let l(k) = -7*k + 10 + 55*k**2 - 28*k**2 - 22*k**2. Is 7 a factor of l(4)?
False
Let q(r) = r**2 - 5*r - 4. Let z be q(6). Let o(w) = w + 2 + 9*w**z - 4*w - 5*w + 4*w. Does 9 divide o(2)?
False
Let u = 60 - -175. Let d = u + 53. Is 24 a factor of d?
True
Let y be (12 + -3 + 1)/(-1). Suppose -3*p - 59 = -l, 19 = -5*p - l - 66. Let u = y - p. Is u a multiple of 8?
True
Let g = -120 - -2. Let n = g + 81. Let p = -8 - n. Does 29 divide p?
True
Let f = -19 - -21. Suppose -3*k = -3*b - 486, -b - 163 - 159 = -f*k. Is 40 a factor of k?
True
Let i(l) = 83*l - 44. Does 60 divide i(28)?
True
Suppose -2*s - 3*m - 173 = 0, 2*s + 2*m = -0*s - 170. Let a = s - -115. Let y = -14 + a. Is 6 a factor of y?
False
Suppose 0 = -8*m + 13*m + 325. Suppose 0 = 5*i - 2*i - 345. Let d = m + i. Is d a multiple of 10?
True
Suppose 4*l - 3*l - 189 = 5*d, -2*d + 4*l - 72 = 0. Let v(h) = 67*h**2 - 2. Let f be v(-1). Let k = d + f. Is 27 a factor of k?
True
Let f be 5*(-5)/(25/38). Let b(d) = -23*d**2. Let v be b(-1). Let o = v - f. Is o a multiple of 14?
False
Suppose 16*i + 280 = 8*i. Let n = i + 64. Does 25 divide n?
False
Let h = 1199 - 734. Does 31 divide h?
True
Suppose -3*t + 42*w = 47*w - 2155, -t + 4*w = -707. Is t a multiple of 16?
False
Suppose 0 = 5*d + 7 + 8. Is ((-2)/(-1) + -3)/(d/729) a multiple of 11?
False
Suppose -4*y - 24 = -4*v, 0 = -0*v + 5*v + 5*y. Suppose v*z - 2*j = 96 - 9, 0 = -z - j + 34. Is z a multiple of 28?
False
Suppose -3*b + 48 - 12 = 0. Suppose 4*o = b, o = 5*k - 0*k - 12. Suppose -k*u = -0*m + m - 25, -m + 3*u = -13. Is m a multiple of 10?
False
Suppose 195 = -6*g - 489. Let m = g + 236. Is 61 a factor of m?
True
Suppose 4*r = 5*m - 28 + 3, 5*r - 15 = -3*m. Suppose -2*i + 0*i + 10 = r. Suppose 0 = t, -i*y + 5*t = 2*t - 65. Does 11 divide y?
False
Let n = 4667 + -2709. Is n a multiple of 11?
True
Is (-32130)/150*(-20)/6 a multiple of 14?
True
Suppose 8*p = 14*p - 2418. Is 5 a factor of p?
False
Let m(k) = 2*k + 397. Is m(0) a multiple of 19?
False
Let r(l) = 19*l**2 - 5*l + 20. Does 7 divide r(-7)?
False
Let j(s) = 1 - 3 + 12*s - 26*s + 1. Let h = -21 - -16. Is j(h) a multiple of 25?
False
Let y = 300 + 301. Is 9 a factor of y?
False
Let c(i) = -i**2 - 44*i - 4. Is c(-40) a multiple of 3?
True
Let z(l) = l**2 - 4 + 82*l - 28*l - 26*l - 25*l. Is z(4) a multiple of 6?
True
Suppose 5*p + 215 = -2*h, -18*h + 20*h - 4*p + 206 = 0. Let s = -21 - h. Is s a multiple of 14?
True
Let z(g) = -g**2 - 6*g + 29. Let h be z(-9). Suppose 4*n = 4*f - 20, -3*n = 2*f - 6*f + 20. Suppose h*a = l - n*l - 35, -2*a = l - 27. Is 8 a factor of l?
False
Let t(g) = -7*g - 2. Let v(b) = -b**2 + b + 20. Let j be v(0). Suppose 15 = 5*f + j. Is t(f) a multiple of 4?
False
Suppose 6 = 3*h, -4*z - h = 2*h - 1690. Is z a multiple of 38?
False
Suppose 4*d + 4*j = 2296, -j - 55 = -2*d + 1099. Is d a multiple of 12?
True
Let x(o) = o**2 - o - 8. Let m(f) = f**2 + 4*f - 5. Let k be m(-6). Let v be x(k). Suppose -2*n + 4*n = v. Does 7 divide n?
False
Does 57 divide (-16)/(-152) - 7558/(-38)?
False
Suppose 21*o = 32*o - 1210. Is 11 a factor of o?
True
Let a(p) = 17*p - 2. Let w be a(2). Suppose 0 = -x + 3*s + 41, 2*x - w = -s - 3*s. Is 3 a factor of x?
False
Let f = -366 + 619. Suppose -3*s + 6*u + f = 5*u, -u = 3*s - 251. Suppose 0 = -0*x + 2*x - s. Does 14 divide x?
True
Let q be (-55)/6 + (-5)/(-30). Let d = q + 13. Is d even?
True
Let y(f) = -165*f + 150. Does 78 divide y(-18)?
True
Let q(k) = k**3 - 5*k**2 + 19*k + 1. Does 12 divide q(11)?
True
Suppose 3*m + 2*q = 5*m + 1110, -q = 2*m + 1107. Let z = 279 + m. Is 3 a factor of (z/(-20))/(-5)*-4?
False
Let u(z) = -2 - 8*z + 52*z + 3. Does 7 divide u(1)?
False
Let d = -3 - -7. Let p(m) = 4*m**2 + m**2 - d*m**2 - 10*m + 18. Is p(12) a multiple of 21?
True
Let w(z) = z**3 + 13*z**2 + 5*z - 23. Does 13 divide w(11)?
False
Let g be (-3)/(-6) - (-286)/4. Suppose 4*s + 3*n + g - 533 = 0, 2*s - 235 = 3*n. Suppose 6*x - 101 = x + 3*p, -5*x - 2*p + s = 0. Does 12 divide x?
False
Suppose 4*u - 242 = -3*s + 96, -3*s + 343 = 5*u. Let v = 38 - 35. Suppose -v*o = n - 2*n - 98, n - s = -3*o. Is o a multiple of 11?
False
Suppose 0 = -k - 4, -5*l + 4*k = -20 - 26. Suppose 0 = -a + 5*v + 24, -a - l*v + 5*v + 24 = 0. Is a a multiple of 11?
False
Suppose 0 = -x + 2*j + 2, -3*x + 2*x + 2 = 2*j. Suppose -5*y + x + 8 = 0. Suppose -4*m + y*r = 0, -m - 2*m + 4*r - 10 = 0. Does 2 divide m?
True
Suppose 20 = 4*w + w. Suppose 0 = w*h + 36 - 100. Is 16 a factor of h?
True
Suppose -221 = -2*d + 35. Suppose -d = -u + 4*m, 4*m + 426 = 3*u + 6*m. Is 10 a factor of u?
True
Let a(q) = 3*q**2 - 25*q - 14. Let t be a(9). Is t/(3 + 1)*29 a multiple of 6?
False
Let d(c) = c - 22. Let t be d(-7). Let w = -8 - t. Does 3 divide w?
True
Let a(l) = l**3 + l**2 - 30. Let q be a(0). Does 34 divide ((-40)/q)/((-1)/(-207))?
False
Let g(s) = s**3 - 4*s**2 + 2*s + 7. Let k(p) = 6*p**3 - 2*p**2 + p. Let t be k(1). Let z be g(t). Let d = 66 - z. Is 12 a factor of d?
True
Let h be 3 + (-7)/(14/(-4)). Suppose -h*r - 319 = -6*y + 3*y, -2*y - 2*r = -234. Is 22 a factor of y?
False
Let j be 7/2*(2 - 0). Suppose 0 = -n - f + 54, 0*n + 3*f = -2*n + 110. Suppose g = -j + n. Is 15 a factor of g?
True
Let n(z) = -z**2 + 18*z - 27. Let q be n(16). Suppose 4*s = q*p - 10*p + 131, -5*s + 2*p + 172 = 0. Does 17 divide s?
True
Suppose 0 = -5*j - j + 54. Is (-560)/(-15)*j/4 a multiple of 37?
False
Suppose 38*t = 31*t + 21. Suppose 2*f = 3*x + 88, -x = t*f - f - 96. Is 19 a factor of f?
False
Let z = 176 + -162. Is 14 a factor of z?
True
Let u(m) = -m - 29. Let s be u(-8). Let d(a) = -a**3 - 20*a**2 + 18*a + 17. Does 8 divide d(s)?
True
Suppose 7*o + 4*w = 6*o + 1966, 3*w = -9. Does 11 divide o?
False
Suppose -i = 2*u - 5*i - 54, 5*i = 3*u - 77. Let p = u - -79. Is p a multiple of 7?
True
Let s = -63 + 59. Is 30 a factor of 90 + (-1 - -1 - s)?
False
Is (-53 + 9)*2*3/(-12) a multiple of 5?
False