 Let r = 3 - -5. Suppose r*x - m*x - 56 = 0. Is x a multiple of 10?
False
Suppose -535 = 3*s - 2605. Is s a multiple of 6?
True
Let s(r) = 31*r + 7. Let w(n) = 93*n + 20. Let d(i) = 17*s(i) - 6*w(i). Is d(-3) a multiple of 10?
False
Let o = 220 - -261. Is 37 a factor of o?
True
Let a = 1323 + -679. Is a a multiple of 7?
True
Let i(x) = 9*x + 14. Let d be i(9). Suppose u - d = 77. Suppose -5*z + u + 63 = 0. Is z a multiple of 9?
False
Let v(k) = -2*k**3 + 51*k**2 - 18*k + 11. Is v(25) a multiple of 28?
False
Let q(z) = 23*z - 7. Let o be 1 - 7/((-28)/16). Let a be q(o). Suppose -3*m + m + a = 0. Is 18 a factor of m?
True
Suppose 5*m + 17 = 6*s - 2*s, 5*s - 18 = 3*m. Suppose 6*o + s = 9*o. Is 14 a factor of 47/((1 - 1) + o)?
False
Let r(y) = y**2 + 11*y + 46. Is r(12) a multiple of 24?
False
Let w be (-1)/(5*4/17440). Let r = -556 - w. Does 53 divide r?
False
Let j(s) = -85*s - 29. Does 37 divide j(-6)?
True
Let i(h) be the third derivative of h**4/24 + 11*h**3/3 + 6*h**2. Is i(7) even?
False
Let u = 2043 + -1203. Does 16 divide u?
False
Suppose -946 - 814 = -5*j. Does 16 divide j?
True
Let z(t) = t**3 + 12*t**2 + 12*t + 11. Let w be z(-11). Suppose 5*y - a + 3735 = 2*a, -4*y + 5*a - 3001 = w. Does 9 divide 3/(-5) - y/15?
False
Let v(k) = -6*k**3 - 3*k**2 + 2. Let w be v(-1). Suppose 0 = 3*t - 0*t - 12. Suppose 4*c - 3*m - 2*m - 341 = 0, -424 = -w*c + t*m. Is c a multiple of 12?
True
Suppose 3*l + 610 = 5*l - 3*q, 3*q = 4*l - 1214. Does 28 divide l?
False
Suppose 12*s + 9*s - 2688 = 0. Is 16 a factor of s?
True
Suppose -14 = j - 109. Suppose -b = -0*b - j. Is 32 a factor of b?
False
Suppose 3*i - 4778 = -4*b, -i - 3192 = -3*i - 4*b. Does 61 divide i?
True
Let p be 476/(-3) + (-1)/3. Let a = 106 + -218. Let m = a - p. Is 19 a factor of m?
False
Let z be 145/15 - 8/(-6). Suppose 0 = -z*h + 1185 + 1059. Does 24 divide h?
False
Let b(z) = z**3 - 7*z - 4. Let l be b(-5). Does 19 divide -1 - (l + (-15)/5)?
False
Let s(n) = -n**3 + 14*n**2 - 7*n - 13. Suppose -b = -4*b + 39. Let o be s(b). Suppose y = 3*a - o, -4*y + 1 = -4*a + 93. Is a a multiple of 7?
True
Is ((-1210)/2)/(34/(-68)) a multiple of 31?
False
Let c(t) = t**2 - 11*t + 15. Let p be c(10). Suppose m + p = 2*m. Suppose 39 = l + g, 164 + 36 = m*l + 4*g. Does 15 divide l?
False
Let p(k) = -155*k - 38. Is p(-2) a multiple of 9?
False
Let n(h) = 95*h**2 + 1. Suppose 0 = 2*r - 3*r + 1. Is n(r) a multiple of 32?
True
Suppose 16 = -16*x + 20*x. Suppose x - 10 = t. Let y(m) = -9*m + 12. Is y(t) a multiple of 15?
False
Let t(m) = -m**2 + 8*m - 4. Suppose 4*p = -16 + 52. Let f be t(p). Let l = -4 - f. Is l a multiple of 9?
True
Let h(d) = d**3 + 17*d**2 - 9*d + 22. Does 33 divide h(-17)?
False
Suppose 2*w = 33 + 45. Suppose 0 = -3*l - 6 + w. Does 4 divide l?
False
Suppose -r = -2*r + 396. Does 44 divide r?
True
Suppose 11*h + 1183 = 4692. Does 29 divide h?
True
Let n(b) be the third derivative of -4*b**4/3 + 29*b**3/6 - 25*b**2. Is 19 a factor of n(-8)?
True
Let f = -75 + 146. Let p = -350 + 357. Suppose -p*v = -6*v - f. Is v a multiple of 15?
False
Let p be -1 - ((-9)/3 - 3). Suppose p*f - 5 = 5*m, -3*f + 0 + 10 = 4*m. Suppose 0*a + 3*a + 2*u = 57, 0 = 3*a - f*u - 57. Is a a multiple of 12?
False
Let w(o) = o**3 - 5*o**2 - 11*o - 1. Let b be w(7). Let g be b/(-12)*(4 - 7). Suppose -g*x = 6 - 31. Does 5 divide x?
True
Let c = 10 + -16. Let y be ((-94)/(-4))/(c/12). Let r = -21 - y. Does 9 divide r?
False
Let z(p) = p**2 - 5*p - 4. Let u be z(7). Let a = u + 68. Is a a multiple of 13?
True
Let z(d) = d**3 + d**2 + d + 1. Let w be z(-2). Let m be (-246)/(-1)*w/10. Let g = -79 - m. Is g a multiple of 11?
True
Let c(x) = -8*x. Let g(h) = -8*h. Let y(w) = 4*c(w) - 3*g(w). Let b be y(-1). Suppose 8*r - 4*r = -4*u + 32, -5*r = u - b. Is 4 a factor of u?
True
Suppose -2*r + 20 = -4*o, -18*o + 13*o = -4*r + 31. Let x(d) = d**3 - 3*d**2 - 5*d + 4. Let b be x(6). Suppose 0 = -r*t + b + 14. Is 8 a factor of t?
True
Let o be 2/(-8) - 315/(-12). Let l(t) = t**2 - 2*t - 6. Let p be l(-2). Suppose -a = -p*a + o. Is 12 a factor of a?
False
Suppose -k = -1 + 3, -3*k = 4*n - 11622. Does 17 divide n?
True
Let m = 24 - 9. Let v = 20 - m. Is 5 a factor of v?
True
Let a(b) = -b**3 + 8*b**2 - 6*b - 2. Let i be a(7). Suppose -3*f = -4*x + 45, i*f - 2*x - 18 = -79. Is 13 a factor of (-1)/(2/(-4)) - f?
True
Let f = 354 + -248. Is f a multiple of 8?
False
Let j = 589 + -348. Let p = 491 - j. Is p a multiple of 21?
False
Suppose 0 = d + 5 + 2. Does 10 divide d*(80/(-2))/4?
True
Suppose 0 = -3*s + 3*r + 39, -39 - 9 = -4*s + 5*r. Suppose 0 = 5*l - 192 + s. Is 22 a factor of l?
False
Suppose 9*k - 12*k = -9. Suppose m = 4*f - 1, -k*f = 3*m - 2*m - 34. Is 8 a factor of m?
False
Suppose 4*c + 133 = 349. Suppose u + b - 54 = 0, -3*u + 3*b = -2*u - c. Let h = u - 30. Does 6 divide h?
True
Let d = 27 - 17. Suppose -7 + 2 = -i, 2*p + 2*i = d. Suppose -3*r + 95 + 31 = p. Is 14 a factor of r?
True
Suppose -20 = -4*g + 6*g + 4*r, -2*r = -5*g - 26. Let i be (-13 - -1)/(g/4). Suppose -3*z = 2*q - 2, z + i - 2 = q. Is 2 a factor of q?
True
Let l(u) = -30*u**2 - 4*u + 8. Let h be l(4). Is 11 a factor of h/(-22) - (-2)/(-11)?
True
Suppose -63 = -5*t - 23. Suppose 4*d + 14 = 2*z, -37 = 5*z + 4*d - 2. Does 24 divide 122/t*(1 - z)?
False
Let b(d) = 8 + 0*d - 6*d + 46*d**2 - 44*d**2. Is b(-4) a multiple of 16?
True
Suppose -3*u = 2*c + 2*u - 975, 3*c = 5*u + 1500. Is c a multiple of 9?
True
Let a = 6940 + -4912. Let d be a/18 - (-2)/(-3). Suppose 5*i + d = 7*i. Is i a multiple of 28?
True
Does 52 divide (20*4)/(-1*(-24)/156)?
True
Let x(a) = -a**2 + 20*a + 35. Is 21 a factor of x(13)?
True
Let x(n) = 128*n - 65. Does 17 divide x(11)?
True
Suppose 3*z - 860 = -2*l, -7*z + 3*z + 1150 = l. Is z a multiple of 36?
True
Let k = 6 - -50. Is k a multiple of 14?
True
Suppose 2*y - 67 = -j - y, 4*j - 5*y = 200. Let f = -36 - j. Let a = -54 - f. Is a a multiple of 16?
False
Let l(p) = p**2 - 4. Let q(y) = -3*y - 2. Let m be q(-4). Is 12 a factor of l(m)?
True
Suppose -5*y + 20 = 0, 5*y + 572 = 4*i + 8*y. Does 13 divide i?
False
Let f = -406 + 471. Is 21 a factor of f?
False
Let o(b) = -3*b + 33. Does 6 divide o(-2)?
False
Let k(s) = s**3 + s**2 + 6*s + 3. Let b be k(5). Suppose i + 2*i + 356 = 2*x, -b = -x + 4*i. Is x a multiple of 38?
False
Let z = 366 + 138. Is 42 a factor of z?
True
Suppose -o - 40 = -3*b, 10 - 54 = -2*b + 5*o. Is 8 a factor of (b/8 - 1) + (-67)/(-2)?
False
Does 61 divide 1208/(-24)*-6 + 3?
True
Suppose -6*p + p + 1073 = 3*s, -3*p = s - 647. Is p a multiple of 7?
True
Let m(c) = 1367*c - 24. Is m(1) a multiple of 11?
False
Let b(d) be the second derivative of d**4/4 + d**3/6 - 21*d**2 + 25*d. Is b(6) a multiple of 11?
False
Let r(a) = -71*a**3 - 6*a**2 - a + 3. Is r(-3) a multiple of 27?
False
Suppose 2*r = 2*t + 1546, 2*r + 2*r = -4*t + 3068. Does 7 divide r?
True
Suppose -5*i - 1 = -11. Suppose -2 - i = -q. Suppose 2*l = q*j - 330, 3*j = -0*j - 5*l + 254. Is j a multiple of 25?
False
Let p = -64 + 69. Suppose -r + p = 0, -142 = 3*j - r - 407. Is 29 a factor of j?
False
Let y = 887 + -292. Suppose 4*i - 179 = -y. Let o = i + 170. Is o a multiple of 19?
False
Suppose 0*m - m - 4*c + 38 = 0, -3*m + 92 = c. Let d = m + -11. Let q = d + -1. Is 3 a factor of q?
True
Suppose -h = 8 - 11. Let b(j) = 17*j - 28. Does 4 divide b(h)?
False
Let x(n) = n**3 + 62*n**2 - 202*n - 197. Does 58 divide x(-65)?
False
Let z be (4 - 8)*3/4. Is 5 a factor of (-7)/((-7)/z) - -41?
False
Let g(l) = 365*l**2 + 30*l + 29. Is g(-1) a multiple of 14?
True
Suppose 4*f + 19 = d + 3, 0 = -5*d - 4*f + 8. Suppose d*l - 3*x = 214 + 173, -381 = -4*l - 3*x. Does 24 divide l?
True
Suppose 13*g + 10 = 14*g. Is 8 a factor of 658/g - (-11)/55?
False
Suppose 0*x - 3*x = -3*v - 15, -4*x + 2 = 5*v. Suppose 320 = -x*u + 5*u. Is u a multiple of 16?
True
Suppose -2*h + 4*i + 20 = -6, 0 = -3*h + 5*i + 34. Suppose -5*c = -h*d + 95, -5*d + 2*c = -c - 153. Is d a multiple of 22?
False
Let p(i) be the first derivative of i**4/4 + 5*i**3/6 - 5*i**2 + 6. Let c(q) be the second derivative of p(q). Is c(9) a multiple of 22?
False
Suppose -52*b + 266 = -45*b. Does 7 divide b?
False
Suppose 2*y + 14 = 2. Let d be (-1 - -1)*3/y. Suppose d = -5*k + 7*k - 12. Does 4 divide k?
False
Let h(s) = -26