 - 42. Let w be h(18). Let s(m) = 1 + 30*m + 4 - 3 + 7*m**2 - 3. Is 9 a factor of s(w)?
False
Let d be (1/(-10)*-7 - 1) + 57063/(-690). Let k(l) = -28*l + 9. Let u be k(6). Let o = d - u. Is o a multiple of 9?
False
Let t(h) = h**3 + 10*h**2 - 11*h + 3. Let o be t(4). Let p = o + 127. Is p a multiple of 14?
False
Suppose 2*r - 3 + 455 = 5*t, -5*t - 3*r = -447. Suppose 5*d - 285 = -5*p, 2*p - 4*d = -0*d + t. Is 53 a factor of p?
True
Does 46 divide (304/16 + 2120)*10?
True
Let q = 2254 + 1355. Does 12 divide q?
False
Suppose -2*b - 3*n = -4006, -624*n + 628*n = -16. Does 14 divide b?
False
Let a(k) = -k**3 + 33*k**2 + k + 57. Is a(29) a multiple of 50?
True
Suppose 32009 = -518*q + 530*q - 307939. Does 71 divide q?
True
Suppose -86849 = -3*l - 4*i, 2*i + 131 = 117. Does 49 divide l?
True
Let m = 3508 + 16787. Is m a multiple of 55?
True
Let n = 24957 - 12952. Is 7 a factor of n?
True
Suppose -4*z + 5*y + 16 = -17, 0 = -3*y - 3. Suppose 3*k - 5*k = z*k. Suppose k = 6*u - 9*u + 141. Does 18 divide u?
False
Let j be (-258)/(-54) - ((-4)/18 + 0). Is 21 a factor of (5 - 2) + (-1 + j - -959)?
True
Let z = 13533 + -6403. Is z a multiple of 12?
False
Suppose 5*x - 3*r = -920, -367 = 4*x - 4*r + 369. Let u = x + 264. Suppose -3*z - 2*z = -u. Is z a multiple of 3?
False
Let f(x) = 40*x**2 + 433*x + 9. Is f(-20) a multiple of 69?
False
Is (2/8 + 1278/8)*(-30)/(-4) a multiple of 14?
False
Let l = 99 - 94. Suppose -l*s + c + 42 = 0, 0*s - 3 = s - 4*c. Is 9 a factor of s?
True
Suppose -2*h - o = -695, -o - 994 - 411 = -4*h. Let x = h + -218. Does 5 divide x?
False
Let i be -4 - (-13 - -3) - 4. Let o(k) = 9*k + 1 + 14*k + i. Is 12 a factor of o(3)?
True
Suppose 129*t = 9*t + 165510 + 336450. Is t a multiple of 133?
False
Suppose 0 = -4*t + t + 2130. Let j = 1262 - t. Suppose 0 = -5*h + 4*p + j, 4*p + 104 = h - 0*h. Does 11 divide h?
False
Suppose -5*t + 2*w + 0*w = -6, 0 = -t + 4*w + 12. Suppose 0 = 2*g + 2*i - 19 - 9, 2*g - 4*i - 10 = t. Does 3 divide (-687)/(-33) + 3 + (-31)/g?
True
Let k(h) = -h**2 - 5*h + 10. Let v be k(-7). Let g(j) = 2*j + 3. Let b(t) = -12*t - 14. Let n(y) = 3*b(y) + 15*g(y). Does 9 divide n(v)?
True
Suppose -2*c - 72*m = -69*m - 38531, 0 = -m - 1. Is c a multiple of 21?
False
Let o(k) = -k - 5. Let w be o(9). Is 5051/17 + w/119 a multiple of 25?
False
Let o(t) = -4*t**2 + 15*t - 18. Let p be o(6). Let a = p + 189. Is a a multiple of 9?
True
Let a(o) = -4*o**3 - 5*o**2 - 2*o - 4. Let g(i) = -i + 9. Let s be g(11). Is 12 a factor of a(s)?
True
Let m be (-5)/(-2)*6888/60. Suppose m - 827 = 5*h. Let c = -75 - h. Is c a multiple of 4?
False
Suppose 23*g - 2*g = 16611. Let d = g + -539. Is 21 a factor of d?
True
Suppose -2*r - 2*t = -2, 1 = -3*r - r - 3*t. Let m be (-549*4/(-30))/((-3)/20). Is (m/(-12))/(r/(-6)) a multiple of 38?
False
Suppose -1328 = -34*z + 1358. Is 79 a factor of z?
True
Suppose -43*o = -7*o - 11*o - 178500. Is o a multiple of 135?
False
Suppose 4*h - 13233 - 1367 = 0. Is h a multiple of 34?
False
Suppose -3*x - 29132 = -5*q, 2*x - 1844 = 5*q - 30977. Is 20 a factor of q?
False
Let i(h) = -h - 10. Let u = -37 - -34. Let d be i(u). Is (-11 - -4)*54/d a multiple of 27?
True
Let q(i) = 12*i**2 + 27*i + 130. Is 26 a factor of q(-12)?
True
Let y(f) = 2*f**2 + 11*f + 1. Let t be y(-9). Let v = t - 64. Is (50/2)/(2/(2 - v)) a multiple of 8?
False
Let n(f) = -f**3 - 11*f**2 + 8*f - 28. Let g(b) = -13*b + 1. Let x = -28 - -29. Let p be g(x). Is n(p) a multiple of 4?
True
Suppose 132*d + 29390 = 59*d + 476296. Is 8 a factor of d?
False
Let n(o) = 134*o - 570. Is 16 a factor of n(39)?
True
Suppose m - 3*g = 287 - 72, 3*m + 5*g - 631 = 0. Let j = m + 34. Is j a multiple of 6?
True
Let d(q) = 3*q**3 + 2*q**2 - 37*q - 8. Is 31 a factor of d(10)?
False
Suppose -197*m = -294334 - 81778 - 444196. Does 12 divide m?
True
Let d = 9 + 6. Suppose -13*c - 4 = -d*c. Suppose 2*w + 5*k - 77 = 0, c*w - 26 = k + 21. Is 13 a factor of w?
True
Let y(q) = -105*q + 2512. Does 241 divide y(-33)?
False
Is 47 a factor of (2/(-4)*752/(-3))/((-128)/(-61632))?
True
Suppose l - k - 26 = 0, 3*k + 56 = 2*l + 1. Is l a multiple of 15?
False
Let w = -3301 - -3693. Is w even?
True
Suppose 3*w + 235 = o - 426, 0 = -3*o + 4*w + 1988. Suppose 3*a - a - o = -h, h + 332 = a. Let m = -183 + a. Is m a multiple of 21?
False
Suppose 0 = 2*c - 3*t + 117, 5*c - 6*c + 5*t = 48. Does 17 divide (3240/c)/10*-42?
False
Suppose 5*b - 10722 = -3*z, 127*z + 3*b - 10734 = 124*z. Is 8 a factor of z?
True
Suppose -730777 = -81*m - 95170. Is 19 a factor of m?
True
Let c(r) = 1541*r**2 - 178*r - 845. Is 28 a factor of c(-5)?
False
Suppose 2*l + 3*l + t - 27 = 0, 4*t + 18 = l. Let y be (l/3 - 1) + 19. Does 2 divide 1/(3 + y/(-8))?
True
Let y = 108 + -103. Suppose 4*u + b - 1472 = -2*b, y*b = -4*u + 1472. Does 16 divide u?
True
Suppose -1095 - 1154 = -d + 4*w, -w + 9047 = 4*d. Does 17 divide d?
True
Let t(h) be the second derivative of -h**5/20 - h**4/4 + 2*h**3 - 7*h**2/2 - 4*h. Let f = -162 + 156. Is t(f) a multiple of 9?
False
Let t be 14/(-4)*(-24)/(-42). Does 12 divide t/1 + (-4 + -422)/(-2)?
False
Let z(v) = -v - 1. Let g(s) = -2*s + 20. Let q be (-3 + 2 - 9)*-1. Let r(n) = q*z(n) + g(n). Does 10 divide r(-2)?
False
Suppose 0 = 4*c + 2*h - 262, -22 = -3*c - 4*h + 167. Suppose 0 = -3*a + 403 - 97. Let t = a - c. Is t a multiple of 7?
True
Let h be ((-12)/(-5))/(3 + (-3066)/1020). Let c = -520 - -235. Let g = c - h. Does 24 divide g?
False
Let v(o) = -91*o + 41. Let m(g) = 270*g - 126. Let u(c) = 2*m(c) + 7*v(c). Is u(-1) a multiple of 11?
True
Suppose 2*l - 2*u = 2*u - 4, 0 = -4*l - 4*u - 32. Let o be 16/l - -2 - 11/(-3). Suppose 4*f + 184 = o*g, 4*g - 235 = f - 6*f. Is 10 a factor of g?
True
Suppose -2*h + 75 = -5*y, -4*y - 4 = -h + 26. Is 5 a factor of 91/5 - -5*(-2)/h?
False
Suppose 41*u - 534 = 43*u. Is (((-1)/(-3))/1)/((-1)/u) a multiple of 32?
False
Let b = -12680 + 17995. Is 139 a factor of b?
False
Let s = 11059 + -5971. Is 71 a factor of s?
False
Let w = 1113 + -790. Does 48 divide w?
False
Suppose 5*b - 906 = -f + 520, -3*f - 3*b + 4314 = 0. Is f a multiple of 11?
True
Is (5 + -4)/(10/234860) a multiple of 205?
False
Let g = -519 - -649. Suppose -3*h + 422 = -g. Does 2 divide h?
True
Suppose a + 100 = 6*a. Let o(c) = 2*c**3 + 9*c**2 + c + a - 3*c**3 - c**2 + c**2. Is 23 a factor of o(8)?
True
Let w be ((-35)/(-15) + -3)*-6. Suppose -w*l = -2*l + 2*i - 1206, 4*i = 5*l - 3033. Is 56 a factor of l?
False
Let w(v) = -6*v - 9. Let n be w(-13). Suppose 3901 = -22*i + n*i. Does 11 divide i?
False
Suppose 4*f + 46*y - 51*y - 86410 = 0, -21583 = -f - 2*y. Is 8 a factor of f?
False
Let g = -848 + 853. Suppose 4831 + 449 = g*i. Is 24 a factor of i?
True
Let w = -3160 - -7274. Is 185 a factor of w?
False
Suppose 0 = a + r - 133 - 62, -5*a = -2*r - 989. Let h = a - 182. Does 15 divide h?
True
Suppose 547 = 2*s + 2*x - 1305, -928 = -s + x. Is s a multiple of 103?
True
Suppose 12*k - 3*j = 10*k + 31, -3*j = -4*k + 53. Let n(z) = -3*z + 53. Is 4 a factor of n(k)?
True
Let f = 3273 - 2773. Is 100 a factor of f?
True
Suppose -57*h + i = -58*h + 11056, -5*h + 4*i + 55334 = 0. Is h a multiple of 20?
False
Let j = 14 - 20. Let k(s) = -6*s - 20. Let c be k(-6). Let l = c + j. Is l a multiple of 2?
True
Suppose 2*h = -0*h + 6. Is 20 a factor of h/((-6)/(-100))*104/20?
True
Let l(h) = 9*h + 27*h + 30*h - 16. Let a be l(6). Suppose -a = -7*j + 3*j. Does 19 divide j?
True
Let p = 10 + 2. Suppose p = -2*t + 24. Let q(u) = -u**2 + 13*u - 11. Does 14 divide q(t)?
False
Let f = 3696 + -2287. Is f a multiple of 6?
False
Suppose -1835 = -q + 4469. Let k be 2 - q/(-18) - 2/9. Is 5 a factor of 2/((-56)/4) + k/14?
True
Let j(p) = 107*p - 137. Let n be j(4). Suppose -n*c + 297*c - 5274 = 0. Is c a multiple of 18?
False
Let q(d) = -2*d**3 - 2*d + 2. Let z be q(3). Let u = z + 659. Is 48 a factor of u?
False
Is 1600288/1032 + (-1)/((-3)/(-2)) a multiple of 25?
True
Let g(w) be the third derivative of -10*w**2 + 1/60*w**5 - 3/8*w**4 + 0*w + 0 + 4/3*w**3. Is 25 a factor of g(16)?
False
Let a = 5471 - 5250. Let p = 106 + -37. Suppose -p + a = 2*n. Is 27 a factor of n?
False
Let k = 20 - 18. Suppose -3*u + 2*s = -s - 2055, -k*s - 2742 = -4*u. Suppose 3*a + 4*c - 512 = 0, -2*a - 2*a + u = 2*c. Is 39 a factor of 