62*o - 3168. Is w a multiple of 176?
True
Is (4 - 54/12)*-20 a multiple of 10?
True
Let d = 774 + -548. Is 6 a factor of d?
False
Let i(n) = n**2 + 29*n - 459. Does 87 divide i(13)?
True
Is 6 a factor of 1*4 - ((-40 - -6) + 2)?
True
Let b = -72 + 119. Suppose 4*t = -4*r + 118 + 58, -t = -2*r - b. Is 7 a factor of t?
False
Let d(g) = g**2 + 2*g + 2. Suppose -k = -5*k - 5*x + 13, -3*k = -3*x - 30. Let j be d(k). Let u = -15 + j. Does 10 divide u?
True
Suppose -4*y + 60 = -4*k, y + 3*k + 2*k = -3. Let g(r) = -r**3 + 13*r**2 - 2*r - 6. Let q be g(y). Let t = q - 63. Does 13 divide t?
False
Let c(w) be the second derivative of 3*w**3/2 - 9*w**2/2 - w. Let x be (28/(-4))/((1 + -4)/3). Does 28 divide c(x)?
False
Suppose 450 = 19*f - 14*f. Does 2 divide f?
True
Let j = -35 + 21. Let a be 2/7 - 4028/j. Suppose -2*i = -5*i + 2*h + 172, -a = -5*i + 2*h. Is 11 a factor of i?
False
Suppose 0 = w + 3, c + 2*w = 4*c - 21. Suppose v - 3*r - 14 = 0, c*r + 24 = -v + 2*v. Does 16 divide ((-10)/(-4) + v)*32?
True
Let w(i) = 36*i - 339. Is 25 a factor of w(24)?
True
Let n = 12 - 12. Suppose n*r = -4*r + 72. Is r a multiple of 6?
True
Let n(k) = -2*k**3 - 4*k**2 - 3*k + 2. Let c be n(-3). Let b = -57 + c. Let o = b + 52. Is 24 a factor of o?
True
Let c = -8 + 12. Suppose 4 = -c*r - n - n, -8 = -r + 4*n. Suppose r*w - 5*w + 190 = 0. Is w a multiple of 19?
True
Let s(a) = 4*a**2 + 60*a + 63. Does 4 divide s(-20)?
False
Is (-77)/(-1) - (1 + 4) a multiple of 2?
True
Suppose 522 = 10*w - 358. Does 6 divide w?
False
Let a be 40/(-2)*(-6)/12. Suppose -3*y + 8*y = a. Suppose 23 = y*p - 21. Is p a multiple of 10?
False
Suppose 3*v + 1 = 16, d = -5*v + 25. Let w be (3 - d) + -4 + 3. Let g = w + 12. Is 4 a factor of g?
False
Is 27 a factor of -16142*(-14)/364 + 2/13?
True
Suppose 3*n - 2218 = -5*q + n, 4*q - 5*n - 1748 = 0. Does 30 divide q?
False
Let l = -154 + 298. Suppose 0*b - l = -6*b. Does 12 divide b?
True
Is 25 a factor of (-547134)/(-343) + ((-2)/(-2))/(-7)?
False
Let w(j) = -3*j + 33. Let d be w(10). Suppose d*h + 4 = -11, 76 = 2*a + 2*h. Is a a multiple of 17?
False
Let c be (16/4 + 2 + -9)*-34. Suppose 3*d - 135 = -c. Is 2 a factor of d?
False
Let h = 977 - -523. Is h a multiple of 60?
True
Let o = -66 - -41. Let a = o - -33. Does 2 divide a?
True
Let y(l) = 7*l**3 + 6*l + 5*l**2 - 3*l - 1 - 3*l**3 - 3*l**3. Let r be y(-4). Suppose r*h = n - 6, -2*h - 4 = 2*n - 8. Is n a multiple of 3?
True
Suppose 0 = 41*p - 9890 - 98432. Does 29 divide p?
False
Suppose -5*t = -15, 22*v = 27*v - t - 3502. Does 79 divide v?
False
Is 65 a factor of -325*(2/8 - (-75)/(-60))?
True
Let k(z) be the second derivative of z**4/3 - z**3 - z**2/2 - 38*z. Does 10 divide k(6)?
False
Suppose 17*y + 2190 - 5403 = 0. Is y a multiple of 7?
True
Let j(p) = p - 3. Let f be j(6). Let c be 1/(-1*4 + f). Does 14 divide ((-72)/(-84))/(c/(-49))?
True
Let d = 23 + -20. Suppose 0 = d*c + 4*i - 14, -c + 4*c - 10 = -2*i. Suppose q + c*q - 46 = -5*g, 0 = 5*g + 5. Is 9 a factor of q?
False
Is (-105)/28*(-224)/3 a multiple of 56?
True
Suppose 21*b = 23*b - 4. Does 25 divide 2*(-1)/b*(10 + -152)?
False
Let y(z) = 2*z**2 + 4*z**2 + z**2 - z - 6*z**2. Let n(w) = -2*w**2 + 2*w - 1. Let o(d) = -2*n(d) - 3*y(d). Is o(5) a multiple of 22?
True
Suppose 0 = 2*s - g - 21 - 89, 5*g + 118 = 2*s. Suppose 2*k + k = s. Let c = k - 12. Is 3 a factor of c?
True
Let b(w) = -w**2 + 7*w - 1. Let z be b(6). Suppose z*f = f + 564. Suppose f = 4*x + 13. Is x a multiple of 12?
False
Let q = 29 + -42. Let j = q + 11. Does 5 divide (-1 - j)*68/4?
False
Let h(n) = -2*n**3 + 5*n**2 - n + 7. Let q be h(4). Does 4 divide q/(-6) - (-1)/2?
True
Does 40 divide 10 + -8 + (-3990)/(-5)?
True
Suppose -5*n + 307 = -513. Suppose -6*v + n = -2*v. Suppose -m = -6*m + 3*f + v, -26 = -2*m - 2*f. Is m a multiple of 6?
False
Let r = 423 + 372. Is r a multiple of 53?
True
Let f = 276 + -41. Suppose p - a + 3*a - 43 = 0, 0 = -5*p - 5*a + f. Does 9 divide p?
False
Let g be 0/(((-6)/(-15))/(3/15)). Suppose -5*t - 339 = -3*n, -n + g*t + 96 = 4*t. Is 36 a factor of n?
True
Does 12 divide 7557/22*24/9?
False
Suppose -4*r + 8*r = -5*x + 294, -r - 3*x + 70 = 0. Does 9 divide r?
False
Let o(d) be the third derivative of d**5/60 - d**4/3 - 7*d**3/6 + 3*d**2. Is 17 a factor of o(-8)?
False
Suppose -3*r - 2*r + 4*h + 3085 = 0, -2*r = 2*h - 1252. Is r a multiple of 48?
False
Suppose 2*t - a - 6 = 0, 2*a + 2*a = 0. Suppose -3*b = 3*y - 111, 5*y + t*b - 8*b = 165. Does 8 divide y?
False
Suppose -3 = -2*t + t. Suppose -j - t*j = -120. Is j a multiple of 3?
True
Let b(i) = -9*i + 19. Let c(l) = -10*l + 20. Let h(y) = -6*b(y) + 5*c(y). Is 7 a factor of h(7)?
True
Let w be 248/12*(-9)/(-2). Let x(g) = 2*g - 4. Let p be x(6). Suppose p*s - 9*s = -w. Is 19 a factor of s?
False
Let d(s) = -2*s**2 + 7*s + 5. Let c be d(-5). Let y be c/(-35) - (-4)/(-14). Suppose -y*b + 4*b - 30 = 0. Is b a multiple of 15?
True
Suppose 4*r = -3*g + 278, 5*g = 18*r - 16*r + 472. Is 7 a factor of g?
False
Suppose 2*i = 13 - 9. Suppose -2*z + 0*z = i, -2*p = 5*z - 67. Does 12 divide p?
True
Suppose 2*q = r - 1588, 12*q - 16*q + 7940 = 5*r. Is r a multiple of 30?
False
Let c = -145 - -167. Suppose c*b - 1785 = 7*b. Is b a multiple of 11?
False
Suppose 261*v = 258*v + 24. Suppose -169 - 15 = -v*k. Is k a multiple of 8?
False
Let u = 25 + -13. Suppose 6*s - u = 3*s. Does 3 divide s?
False
Let l(y) = y**2 + 4*y - 16. Let m be l(-7). Suppose -7 = m*h - 137. Is h a multiple of 13?
True
Let p be 194 + (1 - (-4 + 7)). Suppose -6*s + 2*s + p = 0. Is 11 a factor of s?
False
Suppose -2*t - 59 = -521. Is t a multiple of 29?
False
Let d(f) = -4*f**3 + 16*f**2 - 12 - 18*f - 2*f + 3*f**3. Let x(o) = o**3 - 4*o**2 + 5*o - 6. Let h be x(4). Is 20 a factor of d(h)?
True
Let g(n) = 648*n**2 - 4*n - 4. Does 13 divide g(-2)?
False
Let p = -85 - -194. Does 45 divide p?
False
Let w(s) = s - 1. Let d be w(3). Suppose -o = -d*b + 3, -4*b - 4*o - o + 27 = 0. Suppose -4*t = -0*t + 2*u - 106, 15 = b*u. Is 20 a factor of t?
False
Let b(g) be the third derivative of 0 + 1/3*g**3 + g**2 + 1/6*g**4 + 0*g. Is 5 a factor of b(2)?
True
Let c(f) = -14*f - 318. Is c(-62) a multiple of 7?
False
Is 46 a factor of 36/90*(-2770)/(-4)?
False
Suppose 4*n + n - d = 5402, -4*n + 3*d + 4326 = 0. Is 27 a factor of n?
True
Let b(d) = -d**3 + 4*d**2 + 2*d - 3. Let s be b(3). Let t = -8 + s. Suppose 3*u - t - 23 = -f, 3*f - 76 = -4*u. Is 10 a factor of f?
False
Let n = -4759 + 7051. Is n a multiple of 104?
False
Suppose 0 = -6*l - 11*l + 12206. Does 56 divide l?
False
Let b = 1017 - 719. Is b a multiple of 16?
False
Suppose -83*u - 110262 = -129*u. Is 51 a factor of u?
True
Suppose -5*h - 1160 = -v, -5*v - 10*h + 5688 = -7*h. Is v a multiple of 26?
False
Is 19 a factor of (0 - 4 - 2) + (-7 - -279)?
True
Is 10166/9 + (-380)/(-855) a multiple of 8?
False
Let m(j) = -4 - 2*j - 3*j - 9*j. Is m(-2) a multiple of 12?
True
Let l(o) = 3*o**2 - 6*o - 47. Does 5 divide l(12)?
False
Suppose 5 = -p, -2*i - 2*p = p + 5. Let u(c) = 2*c - 8. Let o be u(i). Suppose -26 = -2*n + o*r, -46 - 1 = -3*n + r. Is 16 a factor of n?
False
Let w = 26 + -22. Suppose -i + z - 23 = -w*i, 5*i - 3*z - 57 = 0. Is i even?
False
Let h = 1383 + -973. Is h a multiple of 8?
False
Suppose 2*z - 306 - 790 = 0. Suppose 4*t - z = 344. Is t a multiple of 36?
False
Let s(v) be the first derivative of v**2 - 10*v - 7. Let g be s(-6). Let j = g - -36. Does 7 divide j?
True
Suppose -1 = -3*d + 8. Let l be (-8)/(-2)*d/6. Is 24 a factor of (-2428)/(-28) - l/(-7)?
False
Suppose 3276 = -3*h + 12*h. Is 7 a factor of h?
True
Suppose -2*s = -10 - 10. Suppose 5*m = s*m - 185. Is m a multiple of 27?
False
Let p(b) = 2*b**2 - 4*b + 2. Let q be p(2). Suppose 3*w - 144 = -q*c + w, -5*c = 2*w - 366. Is 29 a factor of c?
False
Let h(c) = -67*c**3 + 2*c**2 - 1. Let b be (-1)/(-3)*(-9)/3. Is h(b) a multiple of 34?
True
Suppose -2*y + 41 + 7 = 0. Suppose 5*u = -u + y. Suppose -2*c + 3*l + 103 = 0, -c - l + u*l + 56 = 0. Does 17 divide c?
False
Let r(k) = 46*k**2 - 2*k - 1. Let z be 0*4/(-24)*-3 + -1. Does 35 divide r(z)?
False
Suppose 5*n = 4*f + 10264, -n + 2049 = -15*f + 18*f. Is 130 a factor of n?
False
Suppose -3*x + 658 - 22 = 0. Suppose -3*i - i + x = 0. Does 18 divide i?
False
Let q(d) = -2*d - 24.