+ 42. Let g(t) = 16*t + 24. Does 24 divide g(r)?
True
Let s be ((-32)/5)/(2/(-5)). Suppose -s = 4*n, 0*n = -2*c - 3*n + 20. Suppose q - c = -0*w - 4*w, -5*q - w + 137 = 0. Is 14 a factor of q?
True
Let z = 1374 - 854. Is 65 a factor of z?
True
Is 62 a factor of 9/6*(368424/(-27))/(-14)?
False
Suppose -y + 3*q = -4, 3*y + 8 = 5*y - 2*q. Let s(w) be the first derivative of -w**2/2 + 9*w + 9. Is s(y) a multiple of 5?
True
Let j(f) = 3*f + 4. Let u be j(4). Suppose -a = -u + 6. Does 2 divide a?
True
Suppose 3*n = 18*n - 510. Is n a multiple of 17?
True
Suppose 39*n = 36*n + 75. Suppose -3*x = -5*h - n, x + 2*h = h + 19. Does 13 divide x?
False
Suppose 12*v - 567 - 33 = 0. Does 50 divide v?
True
Suppose -3*r + 7780 = 2131. Is 19 a factor of r?
False
Does 12 divide (136/204)/((-2)/(-111))?
False
Let w(u) = 3*u**2 - 3*u + 4. Let c(n) = 2*n**2 - 2*n + 3. Let y(i) = -4*c(i) + 3*w(i). Does 15 divide y(-5)?
True
Let h(k) = k**3 - k**2 + 1. Let z be h(2). Suppose 0 = z*s + 32 - 137. Does 3 divide s?
True
Let t(a) = a**3 + 19*a**2 - 46*a - 37. Is 2 a factor of t(-21)?
False
Let i = 18 - -7. Suppose 4*z - k = 2*k + 47, k + i = 2*z. Is z a multiple of 11?
False
Let t(z) = -z**2 + 5*z - 2. Let h be t(5). Let r be h/(3/(-9)*-2). Let p = r - -8. Is p even?
False
Let j be (-46)/(-115) + 1696/10. Let z = j + -110. Is 3 a factor of z?
True
Suppose -5*f - 4*h - 58 = 0, -f - f = -h + 18. Let r = -10 - f. Suppose r = 3*t - 2*t - 18. Is t a multiple of 8?
False
Suppose -21 = -3*o + 3*g, 2*g + 8 = -0*o - o. Let x(h) = 15*h**3 + 6*h**2 - 3*h - 4. Is 41 a factor of x(o)?
False
Suppose -5*g - 110 = q, 3*q = -3*g + 132 - 474. Let w = -80 - q. Does 7 divide w?
True
Let k(a) = -a**2 + 10*a - 10. Let t be k(8). Suppose 5*q = r + 578, -3*r + r = t. Is q a multiple of 22?
False
Let z be (-13)/(-1) + -3*1/3. Suppose 0 = -10*g + 108 + z. Is g a multiple of 4?
True
Does 3 divide (-6 - (-35)/(-2))*-2*7?
False
Let d(u) = -2*u**3 - 5*u**2 + 2*u - 3. Suppose 5*q - 4*h + 20 = 0, -3*q - 16 = q + h. Is d(q) a multiple of 16?
False
Let q = -233 - -287. Is q a multiple of 18?
True
Let w(s) = -s + 5. Suppose -2*y - 44 + 6 = 0. Does 8 divide w(y)?
True
Let f(w) = w**3 - 2*w**2 + 1. Let d be f(2). Is 33 - (9/3 + d) a multiple of 17?
False
Let f = -1412 - -1820. Is f a multiple of 4?
True
Suppose 0*n - 5*n = 2*s - 558, 0 = -3*n + 4*s + 314. Does 4 divide n?
False
Let f = 25 + -19. Suppose -f*r = -r - 125. Let m = -17 + r. Does 6 divide m?
False
Let p = 96 + -7. Suppose 3*m + p - 29 = 0. Does 20 divide (-1205)/m - 2/8?
True
Let n(q) = -28 + 2*q - q + 24. Is n(9) even?
False
Let k(r) = 2*r**2 - 19*r - 17. Let l(z) = -3*z**2 + 29*z + 26. Let v(h) = 8*k(h) + 5*l(h). Suppose 0 = -0*a - 3*a + 27. Is v(a) a multiple of 4?
True
Suppose p + p = 6. Suppose -13 = -p*q + 20. Let v = q - -3. Is v a multiple of 14?
True
Let y(g) be the third derivative of 3*g**4/4 + g**3/2 - g**2. Let q = -191 + 195. Does 21 divide y(q)?
False
Suppose -369 = -5*i - 2*w, 3*i + w = 5*i - 153. Let o be -2 - -2 - (-5 + 0). Suppose i = o*y - 40. Is 23 a factor of y?
True
Suppose -12*z + 139181 = 47*z. Does 38 divide z?
False
Let f(n) = -804*n - 126. Is f(-3) a multiple of 18?
True
Suppose 15*z - 10*z = 15. Suppose 3*v - 5*v + 264 = 0. Suppose -z*j = j - v. Is j a multiple of 7?
False
Let l(k) = -9*k + 3*k + 16*k + 9*k**2 - 18 - k - k**3. Does 6 divide l(9)?
False
Let m(h) = h**2 + 7*h - 2. Suppose -5*q + 0 = 5*g + 15, g - 17 = 3*q. Let b be m(q). Let l = -1 - b. Is 5 a factor of l?
False
Suppose -1681 - 263 = -9*x. Is x a multiple of 8?
True
Let d = 784 + -177. Is d a multiple of 6?
False
Let i(j) = 16*j**2 - 16*j - 212. Is i(14) a multiple of 36?
True
Suppose 408 + 162 = 15*v. Suppose 35*t = v*t - 732. Is 14 a factor of t?
False
Let x(y) = -y**3 + 11*y**2 - 8*y + 24. Is x(8) a multiple of 19?
True
Suppose 8*c - 416 = -0*c. Is 19 a factor of (-4 + c)*(0/(-3) - -2)?
False
Suppose 4834 = 2*w - i, -35*w = -32*w - 2*i - 7253. Is 35 a factor of w?
True
Let w(r) = -r. Let t be w(-5). Suppose 0 = -4*k - 2*k + 12. Suppose -t*a = -k*a - 195. Does 21 divide a?
False
Suppose 0 = -3*i + 62 + 67. Suppose -q + i = 1. Is q a multiple of 21?
True
Let v = 1226 - 774. Let p = v - 171. Does 20 divide p?
False
Let y = 366 + -214. Suppose u - 46 = y. Does 33 divide u?
True
Suppose -2*p + 243 = -137. Does 10 divide p?
True
Suppose 0 = 2*w - 5*l - 870, 118 = 3*w + 5*l - 1162. Is w a multiple of 9?
False
Let a be 5*(-4 - -2)*2/(-4). Suppose -36 = x - 166. Suppose 5*m - 3*z - x + 10 = 0, a*z = -4*m + 96. Does 10 divide m?
False
Let y(u) = -u**3 - 10*u**2 + 12*u + 11. Let o be y(-11). Suppose o = 10*n - 5*n - 205. Is 28 a factor of n?
False
Suppose 0 = 4*l + 4*l - 2072. Is l a multiple of 7?
True
Suppose 3*u - 3*w - w + 88 = 0, -2*w + 104 = -4*u. Is 5 a factor of (10/6)/(116/u - -5)?
True
Let z = -949 - -1363. Does 6 divide z?
True
Let c(k) = 10*k**2 + k - 2. Suppose 0 = -5*a - 70 + 55. Is c(a) a multiple of 16?
False
Suppose 5*x + 416 = 13*x. Let w = -10 - -14. Suppose 0 = -w*s + 152 + x. Does 14 divide s?
False
Let u = -620 - -1288. Is u a multiple of 4?
True
Suppose -5*y = z - 2*y - 532, 0 = 3*z - 3*y - 1644. Does 16 divide z?
True
Let w(p) = p**3 - p**2 - 2*p + 2. Let b be w(2). Let u be 1/2*24/b. Let g(m) = 3*m + 3. Is 7 a factor of g(u)?
True
Does 24 divide (-532)/(-665) + 13432/10?
True
Suppose -s - 4*s = -2*r + 968, -5*s = 4*r - 1966. Does 25 divide r?
False
Does 3 divide 154/(-21)*2349/(-18)?
True
Suppose 0 = -156*d + 163*d - 651. Is d a multiple of 15?
False
Let y(u) = u + 4. Let x be y(11). Let w = -9 + x. Is 18 a factor of 56/w*120/16?
False
Let l(m) = 25*m + 872. Does 75 divide l(7)?
False
Suppose -4*o = o + 30. Let p = 64 + -61. Is o/p*-6 - 3 a multiple of 9?
True
Suppose 12*v - 3*z + 883 = 14*v, -4*v - 4*z + 1764 = 0. Is v a multiple of 44?
True
Let v(f) = 8*f + 239. Is 30 a factor of v(-14)?
False
Suppose 5*n + 3 = -2, -y = -2*n - 11. Suppose 13*d = 10*d + y. Is 2 a factor of d?
False
Suppose w + 545 = -4*w. Let k be -5 + 2 - (39 + 19). Let g = k - w. Does 12 divide g?
True
Let l be 2*(-7 + -1)/(-4). Suppose 0 = -5*f - 3*w + l, 2*f - w - 6 = -0. Suppose 0 = -0*r + f*r - 2, 0 = -n - 5*r + 41. Does 17 divide n?
False
Suppose -j = -6*w + 215, 3*w - 4 = 2*j + 102. Is 12 a factor of w?
True
Is (-14)/(-3)*((-22135)/(-35) + -5) a multiple of 61?
True
Is 22 a factor of 3 + 1 + -1 + 1111?
False
Let o = 1306 + -279. Is o a multiple of 13?
True
Let z = 1930 + 69. Does 11 divide z?
False
Let x = -3315 - -4806. Is 7 a factor of x?
True
Let t = 3 + -3. Let u = t + 2. Suppose 5*h + 3*n = u*n + 271, 2*h - 2*n - 106 = 0. Does 18 divide h?
True
Let k = -54 + 58. Does 12 divide (-2)/k*(-185 - 7)?
True
Let m(o) = 177*o - 399. Is 3 a factor of m(5)?
True
Suppose -2*l = -3*i - 3*l + 133, 4*l + 40 = i. Let k = 54 + i. Is k a multiple of 14?
True
Suppose -4*o + 117 + 107 = 0. Is 28 a factor of o?
True
Let h = 5 + -2. Is 20 a factor of h/(-15) + 301/5?
True
Let d(f) = 405*f - 763. Does 14 divide d(7)?
True
Suppose 5 = -x + 2*n + 3*n, -25 = 5*x + 5*n. Let p(g) = g**2 + 3. Is 14 a factor of p(x)?
True
Let m(k) be the first derivative of 95*k**4/4 - k**3/3 + 20. Is 47 a factor of m(1)?
True
Suppose 149 = t + 5*f, 0*f + 2 = 2*f. Let y = -4 - -6. Suppose 6*z = y*z + t. Does 12 divide z?
True
Let t(a) = -7*a**2 - 6*a + 29. Let b(k) = -8*k**2 - 7*k + 28. Let l(n) = -5*b(n) + 6*t(n). Does 13 divide l(0)?
False
Let o = -1776 - -2616. Is o a multiple of 34?
False
Is 64 a factor of (-6)/4*-696 - (-55 + 56)?
False
Suppose 0 = -10*b + 1243 + 297. Is b a multiple of 7?
True
Suppose 9 = 5*v - 2*v. Suppose 3*p + 4*r = -4, -5*p - 9 + 37 = -2*r. Suppose -p*l + v*z + 21 = 0, -2*l + 4*z + 12 = 2*z. Is l a multiple of 3?
True
Suppose -6*q + 3*m - 67 = -q, 5*q = -3*m - 73. Let u = 12 - q. Does 13 divide u?
True
Let t be ((-2)/4)/(2/40). Does 16 divide -1 - 58*25/t?
True
Suppose -2*i + 4*i + 3*t = 1835, 0 = 2*i + t - 1829. Suppose 12*z = 1595 + i. Does 43 divide z?
False
Is (-8)/10 - (-1176)/70 a multiple of 16?
True
Let s(h) = -77*h + 4. Let k = 46 - 48. Is s(k) a multiple of 48?
False
Let x = 472 - 197. Is x a multiple of 25?
True
Let u = -25 - -29. Suppose 0 = 4*q - 12, u*q - 177 = -2*t - 55. Is t a multiple of 17?
False
Let k = 321 + -317. Is k even?
True
Let g be (-1 - 3) + -