a = -p*r - 160. Is a a multiple of 21?
True
Let s = -15258 + 38912. Is s a multiple of 5?
False
Suppose 0 = 3*f - 5*y + 46, 4*y + 38 = -f - f. Let u(x) = -2*x**2 - 33*x + 15. Let w be u(f). Is 3 a factor of 5 + -1 + (-74)/w?
False
Let w(r) = r**3 - 20*r**2 - 34*r - 4. Let y be (-2 + 1)*-4 - 30. Let a = -4 - y. Is 36 a factor of w(a)?
True
Let m(u) = u**3 + 18*u**2 + 4*u + 17. Let s be m(-10). Let o = s - 96. Does 35 divide o?
False
Let o(f) = f**3 + 2*f**2 - 5*f - 6. Let a(r) = r**2 + 8*r - 12. Let g be a(-9). Let w be o(g). Is (-10)/3*(-13 - (5 - w)) a multiple of 20?
True
Suppose -2*a - 8 = 60. Let h = a + 103. Does 23 divide h?
True
Suppose -4*l + 54684 = 5*d, l - 4*d - 10032 = 3597. Is l a multiple of 26?
False
Let f(c) = 2*c**2 - 3*c - 29. Suppose 0 = -h + 13 - 3. Let l(n) = -n**3 + 11*n**2 - 12*n + 14. Let u be l(h). Is 9 a factor of f(u)?
False
Suppose -6 = -n - 2*v + 3, -5*v + 23 = 2*n. Let t be ((-5)/50*-4)/(n/(-10)). Suppose -3*u + 39 = y, 178 = t*y - 3*u - 53. Is y a multiple of 9?
True
Let k = 14 + -9. Suppose 0*s = -s + k*u + 25, -4*u = 20. Suppose 4*o - 851 + 155 = s. Is 29 a factor of o?
True
Does 40 divide (9805 - -2) + 1*-15 + (-296)/(-37)?
True
Let a be ((-3)/6)/((-6)/336). Let m be 427/a*(-1 + 5). Suppose u = -5*x + m, -2*x = 2*x - 2*u - 46. Does 6 divide x?
True
Let a be (22/(-2) - 3) + 2. Let p be a/(-10) - 3/15. Is 12 a factor of -1 - (3 - 124)*p?
True
Suppose -71*i + 3 = -74*i + g, 0 = 2*i + g + 7. Is i/((-4)/3 - (-1786)/1349) a multiple of 20?
False
Suppose -4*x + 1549 = -1791. Let g = 2153 - 2153. Suppose g = 5*f - 10*f + x. Is f a multiple of 28?
False
Suppose -4*h + 2*h + 48 = -4*t, -44 = 4*t - h. Let r be ((-258)/t)/(5/25). Suppose -3*l + 119 = 2*u + 2*l, 3*l - r = -2*u. Does 6 divide u?
True
Let o be -2 - -5 - 33/(-3). Suppose -8*y - 29 = -549. Let z = o + y. Is 11 a factor of z?
False
Suppose -18 = 3*c, -4*c - 7350 = -d + 1127. Is d a multiple of 107?
True
Is 57453 + -25 + -3 + 17 a multiple of 22?
True
Let r = 4325 - -566. Is 9 a factor of r?
False
Let t(a) = 20*a + 26. Let r be t(2). Suppose r*v + 13398 = 77*v. Does 42 divide v?
True
Suppose 2*k - 6 = -4*w, 4*k = -11 - 1. Is 14 a factor of w/(-9)*(-12 + -954)?
True
Suppose 0*t - 113498 = -47*t - 30*t. Does 5 divide t?
False
Let a(m) = -2*m + 8 - 15 + 3*m - 4. Let y be a(14). Suppose -y*s = -328 - 320. Is s a multiple of 37?
False
Let o(t) be the first derivative of t**4/4 + 11*t**3 - 20*t**2 - 14*t + 13285. Let g be 0*(-2)/(-4) - 34. Does 16 divide o(g)?
False
Let p(r) = 2*r**2 + 11*r + 67. Suppose -2*h + 5 = 2*v + 7, 1 = 4*v - h. Suppose v = -7*k - 7*k - 126. Is p(k) a multiple of 10?
True
Let d be (-9)/45 - (-31)/5. Let b be (-2)/d*27/(-3)*1. Suppose b*t + 339 = 852. Is 19 a factor of t?
True
Let t(d) = 442*d - 54. Is t(24) a multiple of 28?
False
Let c = 1336 - 701. Is c a multiple of 26?
False
Suppose 8*b - 51 - 29 = 0. Suppose 0 = -2*y + b, 5*y - 70 - 40 = k. Let a = k + 139. Is 4 a factor of a?
False
Suppose -2*z = 5*a - 101125, -64*a + 57*a - 2*z + 141575 = 0. Is a a multiple of 15?
False
Suppose -64*x + 670 = -69*x. Let p = 136 + x. Suppose -a - 4 = 0, -6*t = -p*t - 5*a - 140. Is t a multiple of 6?
True
Let b be 0/(((-4)/12)/(5/(-15))). Suppose b = y + 3*h - 230, 13*y - 504 = 11*y + 5*h. Is 9 a factor of y?
False
Let v be -1*(6 + -38 + 0). Let w = 54 + v. Does 18 divide w?
False
Let c be -8 + (6 + -4)*6. Suppose 4*h + 0*h + 2*p = 40, 0 = c*p - 16. Is 2 a factor of h?
True
Let s = -152 - -148. Let l be (s - 23/(-3))*3. Suppose 5*v = 2*t + 151, -12*v - 5*t + 14 = -l*v. Does 29 divide v?
True
Let m = 43 - 64. Let q = 127 + m. Suppose 6*f + 420 = 4*u + 3*f, 0 = -u + f + q. Is 34 a factor of u?
True
Let v = 3143 - 470. Does 9 divide v?
True
Suppose 7*j = 12*j - 195. Let u = j + -30. Suppose -3*l + 0*l - r = -24, 0 = 3*r - u. Is l a multiple of 2?
False
Suppose 0 = -q - q - 78. Let b be -2 + 14/(-4)*-18. Let k = q + b. Is k a multiple of 3?
False
Suppose 3*w + 4*q = 60067, 10*w + 5*q = 5*w + 100125. Is w a multiple of 67?
True
Let w be -1*(-3 + (0 - 211)*-1). Let a = -124 - w. Suppose -8*q = -2*q - a. Is q a multiple of 14?
True
Suppose -5*m + 15 = 0, -3*m - 224 + 23 = 5*f. Suppose 0*i = -7*i + 28. Does 21 divide f*(-3 - (4 - i))?
True
Suppose 24*m + 439 = -41. Is 4/m*-5 + 18*33 a multiple of 17?
True
Let x(k) be the second derivative of k**4/2 - k**3/3 - 7*k**2 - 5*k. Let d be x(-4). Does 9 divide d/8 - (45/20 + -2)?
False
Let h(d) = d**2 + 3*d + 6. Let u be (4/(-5))/(2/5*1). Let n be h(u). Is 5 a factor of ((-5)/(-2) - n)/(2/(-12))?
False
Suppose 4620 = 43*f - 15*f. Is (f/220)/((-2)/(-4320)) a multiple of 54?
True
Let b = 436 - 8. Suppose -3*m + b = -478. Is m a multiple of 12?
False
Is -9 + 1 + (2388 - -80) a multiple of 30?
True
Suppose 6*w - 710 = -182. Suppose b + w = 7. Let h = -33 - b. Does 14 divide h?
False
Suppose -w - 2*a = -173, a = -4*w - 0*a + 692. Suppose -q + 5*x = -178, 5*q - 852 = -2*x + w. Is 42 a factor of q?
False
Let x(b) = b**2 + 12*b - 18. Let v be x(-12). Is (-11984)/v + 34/153 a multiple of 37?
True
Let c(w) = -2*w**3 - w - 1. Let q be c(-1). Let p be q/((-8)/10) - (-6)/12. Is p/7 + 256/14 a multiple of 3?
True
Suppose -p + 12 = 5*l + 1, -3*l = -4*p + 67. Suppose -a + 5*k = -208, -5*k - 803 + p = -4*a. Does 8 divide a?
False
Let t be 1 - (1 + -1 - 7). Suppose t + 10 = m. Is 8 a factor of 7/2*(-2 + m)?
True
Suppose -1 = -3*x + 6*x - 2*o, -5*o - 7 = 2*x. Is ((-964)/16 - x)*-12 a multiple of 7?
False
Let f = -493 + 513. Suppose 0 = 5*x - f, -6*c + 2*c = 3*x - 5164. Does 28 divide c?
True
Suppose 0 = -w - 2*p + 450 - 91, -p = -5. Is 3 a factor of w?
False
Let c = 4417 + -2983. Let a = c + -18. Is 12 a factor of a?
True
Let u = -21009 + 44230. Does 15 divide u?
False
Let g(z) = z**3 - 10*z**2 + 10*z - 11. Let k be g(9). Let d(b) = 110*b**2 - 6*b + 4. Does 28 divide d(k)?
False
Let x(t) = -32*t - 58. Suppose -2*p - 4*r = 16, -p - 4 = r + 8. Is x(p) a multiple of 7?
False
Suppose -4*i - 47 = 17. Let g(l) = 8*l + 31. Let k(n) = -7*n - 30. Let m(d) = 2*g(d) + 3*k(d). Is 22 a factor of m(i)?
False
Let i = -6532 + 11212. Does 20 divide i?
True
Suppose -p = p + 24. Let f(r) = -98*r - 261. Let d be f(-3). Is d + (p + -4)/4 a multiple of 8?
False
Let t = 5841 - 3609. Does 8 divide t?
True
Let z = 642 - 342. Is 72/z*-30*100/(-3) a multiple of 48?
True
Let b(m) = -22*m. Let r be (-5 + 4)/((-9)/(-63)). Does 9 divide b(r)?
False
Let f(o) = 97*o**2 + 322*o + 113. Does 17 divide f(-12)?
True
Suppose -4*n + u = -4*u - 13, -2*n - 5*u = 31. Does 41 divide 40/(-12)*n*(-1440)/(-25)?
False
Suppose h + 355 = -5*c, 5*c + 197 = 4*h - 183. Let d = -47 - c. Is (d/(-3))/(4/(-60)) a multiple of 25?
True
Let c = -9762 + 29353. Does 143 divide c?
True
Suppose 5*v - 2 = -5*f - 7, 5*v - 40 = 4*f. Suppose -p + 381 = -v*n, -2*p - n - 3*n + 726 = 0. Does 12 divide p?
False
Suppose 0 = -3*u - 3*y + 5 + 10, 4*u - 15 = -3*y. Suppose u = -6*g + 2905 + 119. Does 18 divide g?
True
Suppose -3*d - 6 - 6 = 0. Let l be (104/20 + d)*30. Suppose -l*h + 39*h - 78 = 0. Does 13 divide h?
True
Let d = 11 + -11. Let j(q) be the first derivative of -q**2/2 + 250*q - 124. Does 42 divide j(d)?
False
Let o = -120 - -129. Suppose -6*d = -o*d + 2352. Is 17 a factor of d?
False
Is (86/4 - -1)*(-40572)/(-105) a multiple of 9?
True
Let b(u) = -30*u - 7. Let c be b(-10). Suppose -7*j = -c - 463. Does 4 divide j?
True
Let k be 28/(-13) - (-18)/117. Is (k - -7)*(-1)/(1/(-2)) a multiple of 10?
True
Let j = 18735 + -10577. Is 27 a factor of j?
False
Let l(n) = 487*n**2 + 757*n + 5367. Is l(-7) a multiple of 8?
False
Let n be 3 - 21/9 - 658/6. Is 7 a factor of (-5)/(20/24) - n?
False
Let j = -36439 - -81689. Does 50 divide j?
True
Let r(c) = -c**3 - 4*c + 8*c + 2*c**3 - 13 - 13*c + 14*c**2. Let n(t) = -t**3 - 15*t**2 + 10*t + 14. Let p(y) = 2*n(y) + 3*r(y). Is p(-7) a multiple of 47?
False
Suppose 6*f = d + 2*f - 2, -2*d - 2*f = -44. Let k = 98 + d. Does 31 divide k?
False
Let f be 1 + (1 - (-2)/2). Let s be 124 - (-5 + (14 - -2)). Suppose m + 2*q = s, f*q + 3 = -12. Does 41 divide m?
True
Let k(n) = -18*n + 1763. Is 15 a factor of k(8)?
False
Let g = -2604 + 10303. Is g a multiple of 98?
False
Let a be 20/6 + (-2)/(-3). Suppose 0 = 3*t - 4*t - a. Let u(m) = -3*m**3 - 5*m**2 - 4*m + 8. Does 14 divid