5*d = 12, 0 = -3*p + d + 16. Let h(f) = p*t(f) - 3*z(f). Does 17 divide h(6)?
True
Suppose -d + 25 - 45 = 2*c, d + c + 19 = 0. Is 6/(1*d/(-132)) a multiple of 11?
True
Suppose 0*v - 7*v + 28 = 0. Suppose 4 + 4 = v*q. Suppose -q*u = -3*m + 62, 3 = -2*u - u. Does 4 divide m?
True
Let z(g) = 19*g**2 + 79*g + 1156. Is 6 a factor of z(-20)?
True
Suppose 39*d - 72 = 27*d. Suppose d*x - 4613 - 247 = 0. Is x a multiple of 45?
True
Let u = -59 + 69. Suppose 0 = 5*r - u*r. Suppose -8*g + r*g = -368. Does 25 divide g?
False
Suppose 25 = -h - 4*h. Suppose -f = 3484 - 3464. Does 55 divide h/(f/12) + 195?
False
Suppose 57 - 297 = 20*p. Is -4 + 2 + (-5232)/p a multiple of 106?
False
Let z be (-1)/(-2 - (-28)/16). Suppose -w + 3*w + 2*x = -86, 179 = -5*w + z*x. Let a = 75 + w. Does 5 divide a?
False
Let p = -2578 + 3918. Is p a multiple of 10?
True
Let j = 11564 + -371. Does 103 divide j?
False
Let a(s) be the third derivative of -19*s**4/24 + s**3/6 + 3*s**2. Suppose -62 = 20*i - 22. Is a(i) a multiple of 15?
False
Let u(n) = 4*n**3 - 17*n**2 - 16*n + 2. Let l(g) = g**3 - g**2 + g + 1. Let o(z) = -5*l(z) + u(z). Let k be o(-10). Suppose k*h - 391 = 50. Is 12 a factor of h?
False
Let l(b) = b**3 + 5*b**2 + 9*b + 4. Let i be l(-2). Let a be 84/7*2*i/(-6). Is 14 a factor of (42/a)/(6/16)?
True
Let y be 14/49 - (-1 - (-14458)/(-14)). Suppose 3*m = -t + y, -2*t = -2*m + 164 + 520. Suppose o = -3*n - 3*o + 254, 4*n + 4*o = m. Does 30 divide n?
True
Suppose 43 = -5*b + 223. Suppose -4*p = -4*g - b - 96, -5*g + 91 = 3*p. Does 16 divide p?
True
Let d = -144 + 158. Suppose 0 = -d*v - 17*v + 20460. Is v a multiple of 20?
True
Let w = 7625 - 5321. Suppose -40*s + 3096 = -w. Does 11 divide s?
False
Let t = -714 + 718. Suppose 0 = 2*f + 7*l - 3*l - 2148, t*f - l = 4314. Is f a multiple of 11?
True
Let v(b) = -4*b - 2. Let c be v(-3). Let d(j) = -j + 49. Let a(k) = 3*k - 143. Let h(z) = -3*a(z) - 8*d(z). Is 5 a factor of h(c)?
False
Let c be 1/3 - 15564/36*-2. Let w = -587 + c. Is w a multiple of 9?
False
Let q(l) be the first derivative of 4*l**3/3 + 3*l**2 + 98. Is 21 a factor of q(10)?
False
Let p(x) = -22*x + 11. Let n be p(3). Let b be (-1475)/n + -1*(-4)/22. Suppose 2*j = j + b. Is 6 a factor of j?
False
Let w = -9501 - -15836. Is 7 a factor of w?
True
Let d(l) = 302*l + 261. Does 9 divide d(43)?
False
Let u(v) = -v**3 - 8*v**2 + 7*v. Let x be u(-9). Let a(y) = 23*y + 9*y - 12 - x*y + 33. Is 7 a factor of a(4)?
True
Let t = -397 + 397. Suppose 10*g + 9*g - 2546 = t. Does 67 divide g?
True
Suppose 0 = -p + 93 - 91. Suppose 257 = 2*r - k - 208, -p*r - 2*k = -450. Is r a multiple of 22?
False
Suppose 3*m = 3*h + 6, 0 = 24*m - 29*m - 5*h + 30. Does 13 divide -1060*11/((-110)/m)?
False
Suppose -4*s - 2*n + 42316 = 0, -14*s + 2*n = -11*s - 31716. Does 23 divide s?
False
Does 22 divide (-330)/(-6)*344/5?
True
Let c(i) = -i**2 + 20*i - 30. Let r(y) = -4*y + 35. Let u be r(8). Suppose 5*a = u*h + 99, 0 = 3*a + a + 5*h - 57. Does 3 divide c(a)?
True
Suppose 241*j - 800159 = -305926 + 280100. Is 21 a factor of j?
True
Let m(h) = h**2 + 2*h + 4. Let y be m(-2). Suppose 0 = p - y*p - 147. Let b = -41 - p. Is b a multiple of 8?
True
Let o = -3342 - -4083. Is o a multiple of 57?
True
Let t(d) = d**2 + d - 1. Let g(j) = 37*j**2 - 10*j + 8. Let s(n) = g(n) + 3*t(n). Is 39 a factor of s(4)?
False
Suppose -4*s + 2*a + 15556 = -2486, s = 2*a + 4497. Does 43 divide s?
True
Let u = -11 + 14. Let l(o) = 3*o - 30. Let n be l(6). Does 6 divide 74/u*n/(-8)?
False
Let t(i) = -1063*i + 1204. Is 62 a factor of t(-4)?
True
Suppose 15158*h = 15137*h + 182070. Does 15 divide h?
True
Let d(s) = 6*s**2 + 23*s + 22. Let l be d(-17). Suppose 5*y - 5*h = l, -3*h = -2*y + 397 + 145. Is y a multiple of 49?
False
Is 13 a factor of ((11 - 3) + -28163)/(-3) - 8?
False
Is 62 a factor of 7 + -4 + 4 - -1977?
True
Let u(w) be the second derivative of 3*w**5/20 - 2*w**4/3 - w**3/6 - w**2/2 + 135*w. Does 11 divide u(7)?
False
Let x = -3857 - -8609. Does 27 divide x?
True
Let x = -9 - -17. Suppose -3381 + 253 = -x*a. Does 23 divide a?
True
Let n be 11/(-4) + (-15)/60. Is 21 a factor of (-78)/n*-7*(-6)/3?
False
Let f(w) = -6*w - 20*w**2 - 7 - 6 + 20*w**3 + 16*w**2 - 21*w**3. Is f(-6) a multiple of 19?
True
Suppose -9299 = 13*s - 394. Does 13 divide 0 + 4 - s - -2?
False
Suppose g - 4*x - 16 = 0, 4*x - 9 = -4*g - 5. Suppose g*u - 6 = 14. Suppose c + 170 = 6*c + h, 175 = u*c + 2*h. Is 11 a factor of c?
True
Suppose -4*w = -4*k - 24, -4*k + 8 = w - 3*k. Suppose -w*c - 7*c - 1470 = 0. Let n = 36 - c. Is n a multiple of 20?
False
Let h = 2626 - -114. Is 10 a factor of h?
True
Suppose k - 2*k - 2*s = 99, 5*k + 4*s = -489. Let d = k - -197. Suppose 0*a + 5*i - 40 = -2*a, 5*a + i = d. Does 5 divide a?
True
Let a = -614 - -772. Is 3 a factor of a?
False
Let p = 96 - 51. Suppose 4*o = -o + 5*c + p, -2*o = 2*c - 2. Suppose -2*f + o*x + 171 = 0, 24 + 413 = 5*f - 3*x. Does 18 divide f?
False
Let j = 282 - 292. Is ((-155)/j)/(2/12) a multiple of 13?
False
Suppose 2*d + 1 = 15, 0 = 5*b - 3*d - 58534. Is b a multiple of 7?
True
Is 110 a factor of (-4137672)/(-220) + 16/40?
False
Let x(s) = 22*s**2 - 15*s + 38. Is 10 a factor of x(-6)?
True
Suppose 3 + 41 = 2*h. Let o(p) = p**2 - 11*p + 46. Does 21 divide o(h)?
False
Let t be 4 - 2 - -2847 - -1. Let v = -167 - -177. Is 7 a factor of 8/v*t/76?
False
Suppose -16*p + 114 + 14 = 0. Is 4/4 - -2 - (-109 - p) a multiple of 10?
True
Let h(w) = -3*w - 30. Let k be h(-10). Suppose k = -109*i + 104*i + 835. Does 27 divide i?
False
Let u(h) = h**2 - 15*h + 14. Let c be u(14). Let r(a) = 4 - 10*a + 2*a + c*a + a. Is r(-2) a multiple of 9?
True
Let i = -50 - -54. Suppose -271 + 1235 = i*c. Suppose -3*s = f - 25 - 146, -3*f - c = -4*s. Does 8 divide s?
False
Is (5 - 11)*(4221/(-6) + 0) a multiple of 73?
False
Let f = -104 + 97. Let u(g) = -g**3 + g**2 - 11*g - 9. Let o be u(f). Suppose -65*s + o = -63*s. Is s a multiple of 23?
True
Let r = -15 + 405. Let u = -6869 + 6734. Let d = r + u. Does 15 divide d?
True
Suppose -17*b + 2489 = 874. Suppose b = -5*l + 440. Is 5 a factor of l?
False
Let s = 698 + -694. Suppose -3*n - 4 = -13. Is n/1*(s + 1) a multiple of 3?
True
Is (10/20)/((-24)/(-149808)) a multiple of 21?
False
Suppose -23*w = -22*w. Suppose -135*n + 127*n + 8800 = w. Does 25 divide n?
True
Let k = 1 + -1. Let h = -26 - -29. Suppose 0 = -k*a - a - 2, 176 = 5*s - h*a. Does 17 divide s?
True
Suppose -26 = -3*n - 5. Let c(l) = 3*l + 9. Let b be c(n). Is 8 a factor of 460/b - (-4)/6?
True
Suppose -4*m - 44 = -15*m. Is ((-6)/(60/(-245)))/(1/m) a multiple of 14?
True
Let g be 2/(-6)*(-6 + -2259). Suppose -5*u = 7*c - 5*c - g, 2*c - 4*u - 800 = 0. Suppose 0 = -8*o + c - 134. Does 7 divide o?
False
Suppose 145 - 28795 = -24*y + 39318. Does 24 divide y?
True
Suppose -5*h - 3*d = -22, 39 = 5*h + 5*d + 9. Suppose h*q - 2*f - 68 = 470, 0 = -2*q + 5*f + 547. Does 38 divide q?
True
Let p = 317 + -316. Let h(x) = 44*x + 41*x - 5 + 8. Is h(p) a multiple of 20?
False
Let g = -122 - -107. Suppose -336 - 229 = 5*f - 5*n, -4*n = -f - 107. Let t = g - f. Does 10 divide t?
True
Suppose -266*f - 4070 = -264*f. Let h = f - -3093. Does 23 divide h?
True
Let x be ((28/42)/(1/18))/(-1). Let j be -3 - ((-243)/x)/((-3)/8). Suppose 2*t = 2*h + 18, 3*h + j = 2*t + 3*t. Does 10 divide t?
False
Let l = 16883 + -11461. Is l a multiple of 50?
False
Let b be 18/4 - (-15)/(-6). Suppose -n = -j - 113, -2*j = 3*n - b*n - 128. Is n a multiple of 59?
True
Is 5 a factor of -3057*((-3)/4 - 0 - (-89)/(-356))?
False
Suppose 5*v - j - 6680 = -6*j, 3*v + 4*j - 4005 = 0. Suppose v = 9*h - 3017. Is 36 a factor of h?
False
Let m be (-1 + -9)/(-2 + (8 - 8)). Suppose -4*i + 412 = x, -m - 20 = -5*i. Is 28 a factor of x?
True
Let q(b) = -498*b + 144. Is q(-24) a multiple of 192?
True
Let b = -143 + 165. Let n(z) = -2*z**3 + 45*z**2 + 2*z + 4. Is n(b) a multiple of 28?
True
Let h be (0/3 - -3)*8/6. Suppose h*c + k - 1248 = 0, 3*k = -0*k. Is 21 a factor of c?
False
Let i = 33 + -25. Let m be ((-33)/(-44))/(-1*(-3)/i). Suppose m*l - 71 = 3*j - 221, -4*l + 180 = 4*j. Is 16 a factor of j?
True
Suppose -2*t - m + 138 = 0, -2*m + 82 - 10 = t. Suppose 218 = t*z - 67*z. Is 8 a factor of z?
False
Let k be -1*(-637 + (-20)/5). Let d = -245 + k. Suppo