*u. Is u a multiple of 13?
False
Let g = -212 + 210. Does 12 divide (1 - 2)/(3858/(-1926) - g)?
False
Let v be 24/4 - (0 - -4). Suppose -216 = -v*q + 6*q. Let y = 5 - q. Does 17 divide y?
False
Let z = 4684 + 3538. Does 104 divide z?
False
Let h(w) = -13*w - 247. Let t(l) = -26*l - 497. Let v(f) = -13*h(f) + 6*t(f). Does 15 divide v(-13)?
True
Let c(w) be the first derivative of -9*w**2/2 + 426*w + 55. Does 71 divide c(0)?
True
Let i = 57559 - 39935. Is 8 a factor of i?
True
Let x = 472 - 452. Suppose -x*u + 16657 = -4783. Is u a multiple of 67?
True
Suppose -2*w + 1552 = 3*m + 2*m, 0 = -3*m + w + 940. Suppose 672 = 313*h - m*h. Does 56 divide h?
True
Let q(g) = 44*g**3 - 10*g**2 + 19*g - 237. Is q(9) a multiple of 16?
True
Let b(x) = 12*x**3 - 2*x**2 + 9*x - 8. Let r(s) = 2*s**2 + 3*s - 2. Let z be r(1). Does 13 divide b(z)?
True
Suppose 6 = -3*d + 21, 5*z = 5*d - 2270. Let n = -130 - z. Suppose 2*q - 134 = 2*y, y + n = 4*q + q. Does 9 divide q?
True
Suppose 3*q - 9*q = -42. Suppose q*d = 2674 - 812. Does 8 divide d?
False
Is 126 a factor of 2/(-3) + (142854/15)/(33/55)?
False
Let n(z) = 137*z**2 - 65*z - 741. Is n(-10) a multiple of 165?
False
Let v(c) = -3*c - 11. Suppose -6*j - 9 + 21 = 0. Let p(q) = q + 1. Let r(y) = j*p(y) + v(y). Is r(-16) a multiple of 2?
False
Let q(u) = 13*u**3 - 69*u**2 + 470*u + 31. Is 25 a factor of q(11)?
False
Suppose 7*v = 6*v - 1347. Let t = -597 - v. Does 15 divide t?
True
Let m = -15870 - -23295. Is m a multiple of 18?
False
Let t = -6940 + 7118. Is t a multiple of 8?
False
Suppose -2248*f = -2301*f + 312488. Does 10 divide f?
False
Suppose -2*h = i - 7971, -291*i + 290*i = 4*h - 7967. Does 95 divide i?
False
Suppose -228 = -5*i + 122. Suppose -3*x + i = -44. Suppose f + h = x, 5*f + h - 194 = -2*h. Does 8 divide f?
True
Let b(s) be the third derivative of 51*s**6/40 - s**4/6 + s**3/3 - 171*s**2. Does 5 divide b(1)?
False
Suppose -3*i - 4*z - 10121 = -39951, 4*z - 19892 = -2*i. Is i a multiple of 20?
False
Let j(f) be the first derivative of 3*f**2/2 + 16*f - 7. Let q be j(-6). Is 36 a factor of (q + -1)/(2/(-24))?
True
Suppose -16*j - 5*f = -14*j - 496, -4*j = f - 956. Suppose -j*d = -240*d + 978. Is 13 a factor of d?
False
Let j = 5 - 1. Suppose -11*s = -j*s - 21. Suppose 0 = 2*z - 3*w - 9 - 96, w = -s. Does 45 divide z?
False
Is (20/(-200)*24)/(1/(-950)) a multiple of 10?
True
Does 56 divide (3/5)/((-2)/(-8390)) - (-1 - 2)?
True
Suppose -313*c = -327*c + 98504. Does 14 divide c?
False
Let x be (1 - 5) + 1 + -51. Let f = -60 - x. Let u = f - -46. Is 8 a factor of u?
True
Let t be ((-2040)/(-96))/((-2)/8)*-1. Suppose -230 = 75*y - t*y. Is 15 a factor of y?
False
Let u = 210 - 3. Is 7 a factor of 4/(-18) - (-8740)/u?
True
Is 29 a factor of (-494)/741 + 52748/3 + 0?
False
Suppose 0 = -22*g + 2*g + 3463 + 17477. Does 56 divide g?
False
Suppose 95*q - 20*q = 300. Let i = -6 + 9. Suppose q*h - i*b = -b + 102, -2*h = -3*b - 61. Is h a multiple of 15?
False
Let x(t) = -t**3 - 9*t**2 - 6*t - 6. Let n be x(-5). Let p = n + 160. Suppose 0 = -m + 3*m - p. Does 6 divide m?
True
Let g(x) = 7*x**2 - 4*x - 6. Let j be g(4). Let v be 6/(-8)*(j + 2). Is (-3 + 2)*(v - 1) a multiple of 13?
False
Is (18/15 - (1 - 0)) + 1790839/205 a multiple of 21?
True
Let t(q) = 153*q - 2. Let m be t(1). Suppose -m + 76 = -z. Let g = 92 - z. Is 17 a factor of g?
True
Let o(m) = -m - 2. Let w(h) = -12*h - 162. Let n(p) = 15*o(p) - w(p). Is 28 a factor of n(16)?
True
Suppose 415551 = -132*j + 1463103. Is j a multiple of 150?
False
Let c(a) = a**3 + 7*a**2 - 8*a - 11. Let u be (5 - -6)*(0 - (-1)/1). Suppose 0 = -5*x - 46 + u. Is 22 a factor of c(x)?
False
Let j(c) = -4*c + 33. Let d be j(9). Let n(m) = -2*m - 3. Let x be n(d). Suppose -2*s - 5*l + 408 = 2*s, 0 = x*s + 5*l - 306. Is s a multiple of 17?
True
Suppose -2*c - 3*y = 2*c - 459, 0 = -5*c + 2*y + 591. Suppose -c*v - 2728 = -121*v. Is 22 a factor of v?
True
Let w(a) = a**3 + a. Let q(h) = -45*h**3 + h**2 - 5*h - 1. Let r(s) = q(s) + 6*w(s). Let k be r(1). Let i = k - -77. Is i a multiple of 3?
True
Suppose 192369 = -8*v + 533433. Is v a multiple of 27?
True
Let d be 870/(-116) - (6/4 + 0). Does 60 divide (-70)/(-5)*(-270)/d?
True
Let c be 9 + -14 + 0 + -1. Is 20 a factor of 15*364/(-7)*2/c?
True
Let i(h) = -2*h - 6. Let t be i(-4). Suppose -2*y = 7*l - t*l - 98, 17 = l + 3*y. Suppose -5*z = -z - l. Does 4 divide z?
False
Let x(c) = 328*c**3 - 3*c**2 + 3*c. Let b be x(1). Let h = b + 225. Is h a multiple of 21?
False
Is 20559/39 + (-42)/273 a multiple of 12?
False
Suppose s = -2 - 0, -4*x + 324 = -4*s. Suppose -43 = -15*i + 16*i. Let y = x + i. Does 6 divide y?
True
Let n(d) = 15307*d + 8567. Does 10 divide n(4)?
False
Suppose -4632 = -q - 3*t, 4056 = -4*q - 5*t + 22556. Is 28 a factor of q?
True
Let f(l) = 3*l + 50. Suppose -28 = 20*p - 22*p. Does 16 divide f(p)?
False
Suppose 13*d + 3*y = 12*d + 1298, -5*y = d - 1306. Is d a multiple of 53?
False
Suppose 17*q = 21*q - 112. Is 7 a factor of ((-1776)/24)/((-8)/q)?
True
Suppose -5*m - 604 = -2*z, 4*z + 65*m - 61*m = 1320. Is z a multiple of 2?
True
Suppose 5*x = 8 + 17, -2*l + 4*x - 2180 = 0. Is (-114)/(-4)*l/(-81) a multiple of 49?
False
Let m(v) = -710*v + 320. Is m(-30) a multiple of 115?
True
Suppose 3*y + 1193 = 4109. Let t = y - 19. Suppose -t = -6*k - 17. Is k a multiple of 26?
True
Let g = 402 + -283. Let x = -70 + g. Suppose 2*k - x = 29. Is 12 a factor of k?
False
Let m(z) = 4 + 7*z**2 - 3 + 3*z + 10. Suppose -3*j = -2*k + 25 - 30, 0 = 3*j + 2*k + 23. Is m(j) a multiple of 35?
False
Let b(k) = -3365*k + 6637. Is 51 a factor of b(-7)?
True
Let g(v) be the third derivative of v**6/90 - 11*v**5/40 + 5*v**4/3 - 5*v**3/3 + 9*v**2. Let x(h) be the first derivative of g(h). Is x(12) a multiple of 33?
False
Let n be (6 + (-102)/18)*6 + 5. Suppose -2120 = -n*j + 2920. Is j a multiple of 17?
False
Suppose -3*h - 3 = 0, b - h = -5*h - 3. Is (23/1 - b)*55/110 a multiple of 2?
False
Suppose 44*r = r + 30229. Let b = r + -448. Is 27 a factor of b?
False
Let w = 8991 - 7803. Is w a multiple of 22?
True
Suppose 7*d = s + 4*d - 26370, -3*d = 6. Is s a multiple of 169?
True
Suppose 11 - 26 = -5*w. Suppose -5*f + w = -2. Suppose q - 82 = -5*j, f = -j - 4. Is 40 a factor of q?
False
Let v(f) = 3*f**2 + 2*f + 71. Suppose k = 0, -3*o - 14 - 7 = 3*k. Is 12 a factor of v(o)?
True
Let y(k) = -k**3 + 155*k**2 - 2079*k - 366. Does 20 divide y(138)?
True
Let z(h) = 13*h**3 + 2*h**2 + 3*h + 2. Let t be z(-1). Is (-3)/t + (-3692)/(-16) a multiple of 17?
False
Let q = 6475 - 1149. Does 63 divide q?
False
Let c(k) = 553*k - 34. Let p = 188 + -187. Does 49 divide c(p)?
False
Suppose 5*n = -3*y + 31348, -6*n + n + 31344 = 4*y. Is 16 a factor of n?
True
Does 64 divide (-725)/203 - (9/21 - 0) - -4589?
False
Suppose 0 = -y - 3*s + 712, 5*s - 2775 - 795 = -5*y. Is y a multiple of 2?
False
Let z = 48 + -9. Suppose 0 = -2*c + 2*m + z + 103, 0 = -c - 3*m + 75. Suppose -4*s = -120 - c. Is s a multiple of 4?
True
Suppose -7632 = -10*k - 2652. Let t = k + -470. Does 7 divide t?
True
Is 162 a factor of (64695/280 - (-12)/32)/((-1)/(-14))?
True
Let b(h) = -h**3 + 7*h**2 - 6*h + 2. Let c be b(6). Let z(y) = 6 + 5*y**c - 2 - 4*y + 28*y**2 - 2*y**2. Is 15 a factor of z(2)?
True
Let p = 92 + -90. Suppose 5*o = 2*s + p*s + 101, 4*s + 50 = 2*o. Suppose -5*g = 2 - o, -q - g = -9. Is 2 a factor of q?
True
Suppose 10*r - 18 - 62 = 0. Does 13 divide r/6*(-16608)/(-64)?
False
Let q(w) = -405 + 30*w**2 + 267 + w**3 - 5*w + 239. Does 18 divide q(-30)?
False
Let d be 4/18 - (-43)/9. Suppose 2*w + d - 13 = 0. Is (2 - (-1 + w))*16/(-4) a multiple of 4?
True
Let n be 10 + -7 + 7 - 3. Is 13 + (2 + 0 + 2 - n) a multiple of 2?
True
Is 29 a factor of (-1409562)/(-810) + (-1)/5?
True
Let f(i) = -3*i**3 - 5*i**2 - 9 + 3 - 6*i + 2*i**3. Let s be f(-4). Suppose 174 = -s*j + 8*j. Does 29 divide j?
True
Suppose -18*h + 83857 + 51811 = -39490. Is 37 a factor of h?
True
Suppose 3*v + 3 = 9. Suppose -3*n = v*d - 87 + 6, -n + 87 = 2*d. Suppose -d = -2*a - 23. Is a a multiple of 3?
False
Suppose -66*o + 77328 = -12*o. Is 30 a factor of o?
False
Let s be 3 - 5*(-3)/(-15). Suppose 3*n = j - 13, s*n + 5 = 3*j - 13. Suppose -4*k - k + 418 = -2*z, 5*k + j*z = 424. Is k a multiple of 21?
True
Let i be (72/6