 w = -5*p + n, p + 11 - 48 = w. Is p a multiple of 5?
False
Let a(m) = 2*m**2 + 20*m + 17. Let k(s) = 2*s**2 + 21*s + 17. Let w(i) = -3*a(i) + 2*k(i). Is w(-7) a multiple of 8?
False
Let j(c) = 311*c - 1826. Does 13 divide j(6)?
False
Let j = -5240 + 7924. Is j a multiple of 4?
True
Let r(c) = c - 8. Let n be r(10). Suppose -t = z, t - n*z = 4*t - 4. Is 4 a factor of (-15 + -17)*(0 + (-9)/t)?
True
Let r(u) = -14*u + 334. Suppose -23*j + 160 = -15*j. Is r(j) a multiple of 7?
False
Let t(g) = -9*g + 9. Let d(o) = o**2 + 11*o + 16. Let l be d(-8). Let i be t(l). Suppose -i = -7*m + 45. Is m a multiple of 18?
True
Suppose -5*m = -5*y - 4*m + 241, 249 = 5*y + m. Let t = 53 - y. Suppose t*r = -2*p + 266, 5*r - 294 + 974 = 5*p. Is p a multiple of 45?
True
Suppose -66*u = 66*u - 124*u - 17528. Is u a multiple of 8?
False
Let z = -14 + 19. Suppose 6*t = t - 15, -55 = -5*s - z*t. Does 8 divide s?
False
Suppose 46*r + 108 = 49*r + 3*u, 0 = -3*r - 2*u + 107. Let y be 11 - (-4 - -2)/(-2). Is 7/r + 1678/y a multiple of 18?
False
Let o be 12/30 + 1526/10. Let t = o + -46. Suppose 0 = 5*j + 47 - t. Is j a multiple of 12?
True
Let r be 1*(4 + 3 - 7). Let w(i) = 2*i + 275. Is 25 a factor of w(r)?
True
Let i(n) = -n**3 - 24*n**2 + 17*n + 10. Let t be -7*5 - (12/(-6) + 2). Let j = t + 10. Does 35 divide i(j)?
True
Suppose 2*i = -4*b - 1358, 2*i = -5*b + 371 - 2067. Let o = 998 + b. Is 73 a factor of o?
False
Let x(d) = 59*d**2 + d. Let a(f) = 60*f**2 + 2*f. Let j(k) = -2*a(k) + 3*x(k). Let b be j(-1). Let g = -19 + b. Is 13 a factor of g?
True
Suppose -941*h + 15200 = -937*h. Is h a multiple of 40?
True
Suppose 9*f = f - 864. Is 2 a factor of f/81*((-21)/2)/1?
True
Suppose 11863 + 11495 = 5*s - 4757. Is 32 a factor of s?
False
Suppose 0 = 28*a - 35*a + 77. Is (a/1)/(12/456) a multiple of 38?
True
Suppose -2*v - 28836 = -11*v. Suppose 76*d - v = 72*d. Is d a multiple of 90?
False
Suppose 3*v + 9*v = 48. Suppose p - v*a - 435 = 0, 9*p - 5*p - 3*a = 1701. Is p a multiple of 26?
False
Suppose -2*k = d - k, -2*k - 9 = -d. Suppose 15 = -d*p + 3, 5*p + 37 = g. Suppose 4*h - 20 = 0, -34 - g = -3*s - 3*h. Is s a multiple of 4?
True
Let q(r) = 19*r + 1 - 5 + r. Let v be (-110)/60 + 2486/132. Is q(v) a multiple of 12?
True
Suppose -67562 - 283962 = -137*z + 521851. Does 7 divide z?
False
Suppose 4*q - 30624 = 4*l, -939*l = -5*q - 944*l + 38260. Is q a multiple of 89?
True
Let b(r) = 2*r**3 + 39*r**2 - 2*r + 6. Is 22 a factor of b(-9)?
False
Let k = 15 - 21. Let n(j) = -3*j + 30. Is n(k) a multiple of 34?
False
Does 101 divide -9*((-971620)/39)/4?
True
Suppose 925282 = 48*w - 2219155 + 18773. Is 63 a factor of w?
False
Let g(m) = -234*m - 75. Suppose 12 = 51*t - 55*t. Is 57 a factor of g(t)?
True
Let a = -31 + 29. Let p be ((-1)/4 + 168/(-32))*a. Let c = 21 - p. Is c even?
True
Suppose 4352*w - 407890 = 4317*w. Does 15 divide w?
False
Suppose 37*t - 33*t + 3*g = 28227, 14115 = 2*t + 3*g. Does 48 divide t?
True
Let w be -4 + 18/3 + 0. Is 6 a factor of (w - 748/8)*-2 - -4?
False
Suppose 718*z + 365 = 713*z. Is (-5 + z)/(21/(-28)) a multiple of 6?
False
Let w = 94 - 88. Is 3 a factor of 73 + w/(-1) - -2?
True
Let p(j) be the third derivative of j**5/8 - 23*j**4/24 - 2*j**3/3 + 2*j**2. Let z(h) be the first derivative of p(h). Is 31 a factor of z(4)?
False
Let j(c) = -9*c - 17. Let l be j(-6). Let a = 39 - l. Suppose -a*w + 234 = w. Is 13 a factor of w?
True
Let q(v) = -83*v + 14. Let s be q(-3). Let o = -369 - -229. Let y = s + o. Does 41 divide y?
True
Let j(u) = -347*u - 371. Does 16 divide j(-9)?
True
Let z be 236/8*(14 - 3 - -3). Suppose -z = 5*m + 397. Is (55 + (-2)/2)/(m/(-108)) a multiple of 12?
True
Let p = 28 + 34. Let v = -32 + p. Is v a multiple of 30?
True
Let s = 70 + -59. Suppose -1 + s = 3*z + 5*x, -3*z + 13 = 2*x. Does 25 divide (-118)/(-5 + -1 + z)?
False
Let s(l) = 6*l**2 - 3*l + 3. Let t be s(4). Let c(z) = -50*z**3 + 2*z**2 + 9*z + 8. Let i be c(-1). Let n = t - i. Is 12 a factor of n?
True
Suppose -15*a + 46134 + 147832 = -410189. Does 30 divide a?
False
Let g = -6746 - -12632. Does 35 divide g?
False
Suppose 7*i + 18 = -2*g + 3*i, -5*g = 4*i + 39. Let o = g - 5. Is (o/(-10))/((-3)/(-240)) a multiple of 9?
False
Let x(w) = 5*w**2 + 6*w - 5. Let v(n) = 9*n**2 - 1. Let l be v(1). Suppose -l*d - 15 = -5*d. Is 10 a factor of x(d)?
True
Suppose 4*g - 4*y - 101208 = 0, -7*y + 101180 = 4*g - 4*y. Does 76 divide g?
False
Suppose 2020 + 209 = -3*k. Let i = 821 + k. Does 2 divide i?
True
Is ((-3)/(-21))/((-110)/(-8363740)) a multiple of 21?
False
Suppose 130*f - 129*f - 6 = 0, 7*q + 2*f - 121952 = 0. Is q a multiple of 13?
True
Let n = 166 - 174. Let q(o) = -29*o - 77. Does 31 divide q(n)?
True
Suppose 4*c - 16 - 144 = 0. Let y = -25 + c. Suppose y*k - 17*k = -18. Is k a multiple of 3?
True
Let w = -60582 - -110696. Is 13 a factor of w?
False
Let q(z) = -z**2 + 6*z - 1. Let j be q(5). Suppose -2*x + 430 = -j*y - 34, 2*x + 3*y = 478. Is x a multiple of 7?
False
Suppose 0 = -19*h + 31 + 102. Suppose -1563 = -h*m - 191. Is m a multiple of 43?
False
Suppose 2*u - 4*c + 0*c = 884, 2252 = 5*u + 4*c. Is (0 + 24)*u/24 a multiple of 28?
True
Let b(m) = 12*m**2 - 7*m + 25. Let h be 8/2 - (-5 + 4). Is 27 a factor of b(h)?
False
Let y(d) = d**2 - 10*d + 16. Suppose -158 = -12*v + 58. Does 16 divide y(v)?
True
Suppose 3*m = 3*a + 30, -a - 4*m + 2 = -13. Let j(s) = -6*s - 27. Let r be j(a). Suppose 2*z = -r*v + 10, -2*v + 3*z = -12 - 12. Does 2 divide v?
True
Let j(x) = -1130*x - 84. Is j(-7) a multiple of 10?
False
Suppose 77*x + 21 = 70*x. Does 40 divide (-4398)/30*-3 + x/(-15)?
True
Suppose 207*z + 45984 = 480684. Is 35 a factor of z?
True
Suppose -2*z - 464 = -0*z + 4*o, -2*o = -5*z - 1184. Suppose -y + 454 = -4*c, -139 + 19 = c + 3*y. Let h = c - z. Does 19 divide h?
False
Suppose 907*n - 5*k - 3085 = 903*n, n = -2*k + 755. Is 2 a factor of n?
False
Is -11 + (0 - -3169) - 11 a multiple of 10?
False
Let t(d) = 7*d**3 + d**2 - d + 2. Let y be t(1). Suppose -y*j + 266 = 140. Is j a multiple of 14?
True
Let r(t) = 64*t**3 + 2*t**2 + 2*t - 3. Suppose 2*m - 6*m = -8. Let k be r(m). Suppose 7*o - k = -143. Is o a multiple of 18?
True
Let f(z) = -z - 4. Let b be f(3). Does 9 divide (b + 26/6)*27/(-1)?
True
Let p = 5293 - 277. Is p a multiple of 114?
True
Let z(p) = 8*p**2 - 4*p - 455. Is 13 a factor of z(-19)?
True
Let s(i) = 25*i**3 - 14*i**2 + 24*i - 16. Is s(4) a multiple of 133?
False
Let p(h) = 13*h - 124. Let o be p(35). Let l = o - 311. Is 20 a factor of l?
True
Suppose -2*l - 2*s - 1205 + 6011 = 0, 7201 = 3*l - 5*s. Is l a multiple of 34?
False
Suppose 351 = -5*n + 1066. Suppose -3577 = -34*b - n. Is 24 a factor of b?
False
Suppose -3*v - 60030 = -3*o, -14*o + 11*o - 4*v + 60030 = 0. Is o a multiple of 58?
True
Let s(l) be the third derivative of 7/20*l**5 + 1/2*l**3 + 0 - 13*l**2 + 0*l**4 + 0*l. Does 29 divide s(-2)?
True
Let x = 105 - 101. Suppose x*c - 5*c + 45 = 5*i, 0 = 5*i - c - 45. Is 9 a factor of i?
True
Suppose 16119 = -73*a + 115983. Is a a multiple of 19?
True
Suppose -2488 = -7*q + 3*q. Let t(r) = 4*r**2 - 29*r + 124. Let v be t(6). Suppose q = 16*i + v. Does 19 divide i?
False
Let x = -168 + 201. Let u(z) = -z**3 + 34*z**2 + 6*z + 55. Does 10 divide u(x)?
False
Let a = 112 - 113. Is 10 a factor of a/(((-20)/(-556))/(-5))?
False
Let q = 5 - 10. Let o = q + 13. Suppose -o = 2*u - 3*u. Does 8 divide u?
True
Let x(g) = 2*g**3 - 8*g**2 + 42*g - 65. Does 3 divide x(7)?
False
Suppose 7 + 5 = 4*q. Suppose -4*l - 6 = r + 11, 0 = -5*r + q*l + 30. Suppose -9 = r*p, p = 2*u + u - 147. Does 16 divide u?
True
Suppose -5*m = 4*j - 6, -j + 3*j + 5*m + 2 = 0. Let t(k) = -k**3 + 7*k**2 - k. Let a be t(j). Suppose -2*x + a = -0*c + 2*c, -4*x + 92 = 3*c. Does 5 divide x?
False
Let y(d) = 47*d - 154. Let j = 317 + -311. Is 14 a factor of y(j)?
False
Let a be (-4862)/(-88) - 1/4. Let y be 1172/10 - 11/a. Let u = y - 66. Does 12 divide u?
False
Suppose -9*f - 386384 = 143446. Is 11 a factor of -1*(3/27 + f/90)?
False
Suppose 0 = 4*o - 5*f - 323, 10 = 266*f - 264*f. Let x = -1 + 1. Suppose -n + 30 + o = x. Does 13 divide n?
True
Let l = -47 - -47. Suppose 3*i + 3*i + 12 = l. Is 18 a factor of (1 + 0)*(2/i - -19)?
True
Let l = -668 - -362. Let n = 689 + l. Is n a multiple of 40?
Fa