-2)?
False
Let b = -11058 + 21711. Is b a multiple of 159?
True
Let v(r) = 3*r**2 - 84*r + 202. Is v(-23) a multiple of 3?
False
Suppose -48*k = -1458554 + 169370. Is 13 a factor of k?
True
Let z be (2 - 1)/((-1)/(-7)). Let i = -1 + z. Suppose -i*o + 38 + 34 = 0. Is 12 a factor of o?
True
Suppose p - 2*k = 8, 5*p + 5*k + 12 = -8. Is (0 - (-2291 + 1))/(p + 2) a multiple of 27?
False
Suppose 477*s - 481*s + 16384 = -4*y, 16377 = 4*s + 3*y. Is 63 a factor of s?
True
Let a = -61002 - -86333. Is 17 a factor of a?
False
Suppose 3*k + 14905 = v, v - 2950 = -3*k + 11967. Is 37 a factor of v?
True
Suppose -2*h - 6252 = -3*k + 4977, 2*k - 22446 = 4*h. Is 108 a factor of 2*h/(-8)*(-318)/(-477)?
False
Let c = 60227 - 30480. Is c a multiple of 12?
False
Suppose 0 = -4*g + 4*h - 411 + 2075, h = -4*g + 1679. Let b = -334 - -65. Let v = b + g. Is v a multiple of 30?
True
Let y be 0/(4 + (-4 - -1)). Suppose 175 + 348 = g - 5*j, y = -5*g + j + 2519. Is 59 a factor of g?
False
Suppose -3*k - 5*b - 423 = -6080, 5*k - 9399 = -b. Is 49 a factor of k?
False
Suppose -18*n = 23*n + 38909. Let f = 1884 + n. Is 85 a factor of f?
True
Let l be 44/(-44) + (4 + 1 - -1). Suppose 573 = l*s - 3*d - 1063, 5*s - 1630 = 5*d. Is 15 a factor of s?
False
Suppose -129*y + 59881 = -184909 - 347320. Does 90 divide y?
True
Let a(w) be the first derivative of -1/2*w**2 - 2 + 0*w + 2/3*w**3. Is a(4) a multiple of 4?
True
Let r(h) = -100*h + 152. Let j(g) = 29*g + 20. Let k be j(-1). Is r(k) a multiple of 11?
False
Let k = 9184 - -140. Is k a multiple of 26?
False
Suppose 40913 + 95839 = 33*d. Is d a multiple of 37?
True
Let h(o) = 8*o - 23*o + 16*o - 3 + 10. Let u be h(22). Let g = -13 + u. Is g even?
True
Let y be (-68 + 62)*(1 - 2). Suppose 2*t - 136 = -y*t. Is t a multiple of 3?
False
Suppose 0*o - 5*o = -270. Let c be (o/21)/((-3)/(-14)). Suppose -z + c = -4. Is 16 a factor of z?
True
Suppose -31*y + 34*y = -9, f = 5*y + 10141. Does 19 divide f?
False
Suppose 0 = 101*w - 62105 - 142723. Is 25 a factor of w?
False
Let k = 14028 + -10792. Is k a multiple of 104?
False
Let c = 27106 + -22117. Is c a multiple of 14?
False
Suppose 5*r - 540 = -10*r. Suppose -n + 245 + 79 = 0. Suppose 39*m - n = r*m. Does 27 divide m?
True
Suppose -15*n = -40*n + 50. Is 21 a factor of 2*n/(-14) + 21373/203?
True
Suppose -4746 = -4*j - 2*d, 3*d - 2367 = -309*j + 307*j. Does 27 divide j?
True
Let z = 47 + -43. Suppose 2*a = -a - 4*c - 46, -z*a - 58 = 2*c. Is ((-68)/3)/(a/63) a multiple of 41?
False
Suppose 4043 + 162 = 2*l + 3*m, 5*l = 2*m + 10503. Suppose -17*i = -6*i - l. Is 23 a factor of i?
False
Suppose 0 = 4*q - 550 - 3290. Suppose 3*r + 3*h - 438 - 120 = 0, 5*r = 5*h + q. Let t = r + -67. Is 32 a factor of t?
False
Let c(g) = -11*g + 46. Let h be c(4). Is 20 a factor of -9 - -1 - -428 - h?
False
Let w = -48 + 78. Suppose 12 = -2*c - w. Let q = c - -83. Is 9 a factor of q?
False
Is 6 a factor of (69672/(-84) + -19)*-28?
False
Let z(q) = 2*q**2 + 445*q + 118. Is 17 a factor of z(46)?
True
Let g be 388/6 + (-1)/(-6)*-4. Suppose 14*m - 18*m = -g. Does 30 divide (1 - 13)*((-456)/m - -1)?
True
Let s(c) = 36 - 12*c + 2 + 46. Let j be s(-12). Let g = j - 102. Is 14 a factor of g?
True
Let y(i) = -i**2 - 16*i - 56. Let u be y(-6). Suppose 3*f - 46 = -5*k - 12, 34 = u*k - f. Is 7 a factor of (14/6)/(k/24)?
True
Let g = 5490 + 41481. Is g a multiple of 51?
True
Let x(u) = -u + 3. Let t be x(0). Let k be 2 - (-1 - -2) - 3/3. Suppose t*z + k*z = 270. Does 15 divide z?
True
Let d(p) be the third derivative of p**5/20 + 17*p**4/24 - 22*p**3/3 + 20*p**2 - 2*p. Is d(13) a multiple of 12?
True
Let p(x) = 34*x - 428. Let o be p(26). Let j = o - -792. Is j a multiple of 96?
True
Let a = -6806 + 13228. Is a a multiple of 38?
True
Let x = -26654 - -79157. Is 129 a factor of x?
True
Does 25 divide ((-96)/(-18) - 6)*-6 + 10368?
False
Let n = 17409 - 12274. Does 33 divide n?
False
Let g(n) = -n**2 - 13*n + 2. Let d be g(-13). Suppose 0 = -d*a - 5*c + 569, 0 = 5*c + 10 + 5. Let m = -162 + a. Is m a multiple of 20?
False
Let u(p) = 158*p**2 + 16*p + 51. Is 16 a factor of u(17)?
False
Suppose -2*v + 2*c - 5 = 1, -3*v - 5*c - 17 = 0. Does 46 divide ((-14672)/70)/(-1*v/(-10))?
False
Let f(c) be the first derivative of 22*c**4 - 2*c**3/3 + 3*c**2/2 - 309. Is 9 a factor of f(2)?
True
Suppose 12371*v = 12379*v - 2784. Suppose 338 = -3*g + g. Let t = g + v. Is 16 a factor of t?
False
Let z be (-72)/(-10) + -6*(-4)/(-120). Let g(t) = 28*t + 52. Is 8 a factor of g(z)?
True
Is 4 a factor of 18580/28 + 3 - (-69)/161?
False
Let n(g) = 12*g - 44. Suppose -r + 2*r + 4 = -4*v, -3*r = -5*v - 56. Is n(r) a multiple of 4?
True
Is ((-45)/(-135))/((-1)/(-7)) + (-168207)/(-9) a multiple of 49?
False
Let x(y) = 25*y + 1470. Is 18 a factor of x(-39)?
False
Suppose -34*c - 9581 = -47*c. Is 11 a factor of c?
True
Suppose -22475 = -3*v + 18889. Does 66 divide v?
False
Let f = -1072 + 4856. Does 22 divide f?
True
Suppose 13*w = -50*w + 10080. Suppose -145*q = -w*q + 29160. Does 27 divide q?
True
Let p be 48/(-9)*(1 + -8)*-3. Does 24 divide (2 + -4)/(1/p)?
False
Suppose 24*a - 29*a = 0, 0 = 4*l - 5*a - 32768. Is 20 a factor of l?
False
Let p be (-50337)/(-8) - (-4)/(-32). Suppose 4*d + 2*c - 6*c = p, 3140 = 2*d - 4*c. Is d a multiple of 15?
False
Let z(f) = 3*f - 1. Let p be z(1). Suppose 0 = -p*g + 286 - 46. Suppose -2*a - 3*j = -g, 20 = -5*a + 5*j + 270. Is a a multiple of 18?
True
Suppose -f = 3*y - 5, 3*y - 4 = f - 3. Let a(j) = 38 - 6 + f + 4*j. Does 3 divide a(0)?
False
Let a be (0 - -2)*-5*1/(-5). Suppose a*h - 3 = 7. Suppose 4*y + 5*z = 135, h*z = 4*y + z - 144. Is y a multiple of 7?
True
Let y(a) = -1685*a**3 + 4*a**2 + 16*a + 12. Does 60 divide y(-1)?
False
Let f(v) = v**3 + 15 + v + 19*v**2 - 6 - 3*v - 2*v. Let r be f(-19). Suppose -1 = 3*c - r. Does 14 divide c?
True
Let v(i) = i**2 + 11*i - 98. Does 2 divide v(11)?
True
Let y(k) be the third derivative of 5*k**4/24 - 13*k**3/2 + 23*k**2. Let a be y(9). Suppose a = -3*q, 2*j = q + 2*q + 196. Does 19 divide j?
True
Let z(s) = 15*s + 5. Let t be z(0). Suppose 4*b + t*h - 489 = -0*h, 4*h - 20 = 0. Is 3 a factor of b?
False
Let x be -5*(7 - 8) + 484. Suppose -2*o = 3*f - x, o = 2*f + 5*o - 334. Is f a multiple of 23?
True
Let u(a) = -551*a + 356. Is 11 a factor of u(-12)?
False
Suppose -10*g = 931 + 659. Let v = -85 - g. Does 16 divide v?
False
Let u(p) = -13*p - 23. Let v be u(-13). Suppose 4*w + 5*l = 229, 3*w + 4*l - 26 - v = 0. Does 7 divide w?
True
Let y(b) = -11*b**2 + 33*b**2 - 4*b**2 - 6 - 9*b - 11*b**2. Does 80 divide y(-7)?
True
Let u be (-49 - -9)*(1 - 13/2). Suppose 96 = 224*i - u*i. Is i a multiple of 24?
True
Is 23 a factor of (649/(-55) + 11)/(2/(-10725))?
False
Let a(p) = 2*p**3 - 4*p**2 + 2*p. Let d = -41 - -41. Suppose -2*m + 30 - 22 = d. Does 44 divide a(m)?
False
Let i be ((-1137)/(-9) - -2) + 8/(-24). Let o = 193 - i. Does 20 divide o?
False
Let a(v) = 3*v + 319. Is a(-21) a multiple of 21?
False
Let l be (-204 - 2) + 18 + -15. Let d = 390 + l. Does 17 divide d?
True
Is (5 - 5) + -3 + (20*1141 - 2) a multiple of 39?
True
Suppose 2*h = -45 + 2545. Suppose -h*v + 1230 = -1247*v. Is v a multiple of 41?
True
Let j(n) = 1804*n**2 + 79*n - 149. Is j(2) a multiple of 25?
True
Suppose -241*v + 24609 + 7123 + 1286056 = 0. Is 10 a factor of v?
False
Let b = 8 + -4. Let q be (20 + (-468)/13)*1/(-4). Suppose u = -b*n + 86, 4*u + 7*n - q*n = 279. Is 8 a factor of u?
False
Suppose 4*c - 12 = j, c - 2*c = 3*j - 16. Let g(l) = 32 + j*l**2 + 15*l - l**2 - 2*l**2 + 18. Is g(-15) a multiple of 6?
False
Suppose -a + 4*p = 6*p - 4, 2*p + 26 = 2*a. Let h be (-4)/a - (106/10 + 5). Is (h/3)/(9/(-108)) a multiple of 8?
True
Let a(l) = -7*l + 16. Let d(i) = -i - 32. Let y be d(-33). Is a(y) a multiple of 6?
False
Suppose -12*a + 21 = -27. Suppose 0 = a*b - 3*n + 981, -5*b - 3*n + n = 1255. Let r = b + 403. Does 14 divide r?
True
Let v be ((-48)/30*4)/(4/(-10)). Does 23 divide (370/(-8))/(v/(-128))?
False
Let u(l) = 102*l + 55. Suppose 18 = 33*z - 30*z. Does 47 divide u(z)?
False
Suppose 3*i + 304 = p - 155, 5*p = -i - 137. Let r be (i/16)/((-2)/(-20)). Does 15 divide (-849)/(-57) - 10/r?
True
Suppose c = 5*w - 1005, -603 = -3*w + c - 2*c. Let m = w + -161. Does 22 divide m?
False
Suppose -17*k = -