 5*r. Suppose -135 = -3*v - 3*p, -9*v = -m*v + p - 229. Is v a multiple of 6?
False
Suppose y + 9 = -2*y. Let d be 0/((-2)/y*-3). Suppose d*u = n + 3*u - 40, 5*u = -4*n + 195. Is 12 a factor of n?
False
Suppose 2*f - 4*j - 41 - 47 = 0, -5*f - 3*j = -220. Suppose -4*a = y - 72, -4*a + f + 48 = -4*y. Let h = -12 + a. Does 7 divide h?
True
Does 3 divide -12*12/64*-20?
True
Suppose 0 = -3*t + 33 + 156. Suppose t = 7*l - 238. Is 10 a factor of l?
False
Suppose 3*b + 2*n - 207 = 0, 3*b - 4*n = n + 207. Let h = b + -47. Is h a multiple of 7?
False
Let m(t) = -t**2 - 12*t - 12. Let y be m(-10). Suppose -3*h - 3*g + 258 = -0*g, y = 4*g. Suppose h = 10*b - 6*b. Is 7 a factor of b?
True
Suppose -9*s = -2616 - 138. Is 51 a factor of s?
True
Let u(p) = -39*p**2 - 7*p + 7. Let j(b) = 19*b**2 + 4*b - 4. Let l(d) = -5*j(d) - 3*u(d). Does 16 divide l(1)?
False
Suppose 0 = 4*x + 4, -i + 0*x = -5*x + 10. Let l = i + 30. Let j = 12 + l. Is 11 a factor of j?
False
Let q = -78 + 74. Is 341 - 2 - (q + 12 - 4) a multiple of 43?
False
Suppose 15 = -0*t + 3*t. Suppose t*s = 2 + 38. Let w = 47 - s. Is w a multiple of 13?
True
Suppose -3*d - a = 286, -3*a = -d - a - 107. Let f = 170 + d. Is 15 a factor of f?
False
Let w = -868 + 1141. Is w a multiple of 3?
True
Suppose -3*f = -2*s - 17, 5*s - f + 6 = -17. Suppose z - 92 + 9 = 0. Is s*1/1 + z a multiple of 31?
False
Let y be (2096/12 + -1)/(1/3). Suppose 4*i + y = 5*z, 0 = -3*z - i - 19 + 335. Is 21 a factor of z?
True
Suppose -198 = -9*a + 4*a - 4*y, a - 30 = -4*y. Suppose a*m - 39*m - 24 = 0. Is m a multiple of 4?
True
Let r(h) = 323*h - 160. Is 45 a factor of r(3)?
False
Does 3 divide 4/5 + 2317/35?
False
Suppose 0 = 61*g - 66*g + 15855. Does 151 divide g?
True
Suppose -2*f + 5 = s + 24, 4*f + 58 = 2*s. Is (-338)/f - 15/90 a multiple of 5?
False
Suppose 0 = 5*v + 11 - 111. Suppose 172 = 4*y + v. Is y a multiple of 19?
True
Does 57 divide 963 - ((-26)/65 + (-84)/15)?
True
Suppose 3*k + 93 = -5*f, 3*k - f - 155 = 8*k. Let n = -20 - k. Suppose 1 = j - n. Is 12 a factor of j?
True
Let k = -201 - -390. Does 12 divide 0 + k/7 + 2/2?
False
Is 8 a factor of (670/4 - -2) + 24/(-48)?
False
Suppose 12*i + 575 - 4907 = 0. Is 3 a factor of i?
False
Suppose -3 = -4*n + 5*x, -5*n + 4*x = x - 7. Suppose 2*w - 1 = p - n, 5*p - 31 = -3*w. Suppose -2*q = -3*d + 304 - 56, q = p. Is d a multiple of 22?
False
Suppose 210 = 2*c + 4*i - 516, 5*i = -25. Does 13 divide c?
False
Let g be 295/15 + (-12)/(-9). Does 18 divide ((-18)/g)/(5/(-455))?
False
Let m(x) = x**3 + 5*x**2 + 5*x + 1. Let y be m(-2). Is 7 a factor of 1 - y - (-12)/1?
False
Suppose 19*v - 9641 = -2611. Is 43 a factor of v?
False
Let h(l) = -14*l - 38. Suppose c + 1 = 4*y - 10, -2*c - 15 = -y. Is h(c) a multiple of 10?
True
Let c(a) be the second derivative of a**5/20 + a**4/4 - 7*a**3/6 - a**2 - 8*a. Let s be c(-5). Let l = 49 + s. Is 24 a factor of l?
False
Let c = -56 + 115. Suppose -l = 3*g - c, 0 = -g + 3*g - l - 36. Is 6 a factor of g?
False
Let x(r) = -r**2 - 46*r + 1. Is 26 a factor of x(-43)?
True
Let f = -45 + 34. Let x = 26 + f. Is x a multiple of 5?
True
Suppose 10*f + 57120 = 27*f. Does 95 divide f?
False
Suppose -14*f + 17*f - 99 = 0. Does 2 divide f?
False
Is ((-168)/63)/((-8)/1866) a multiple of 33?
False
Let i(u) = -u**2 - 21*u - 25. Let c be i(-18). Suppose b - 10 = 2*v, 5*v = -5*b + 6 + c. Is 3 a factor of 166/b + (-15)/20?
False
Suppose 105 = -3*u + 12. Suppose 30*p - 25*p + 65 = 0. Let b = p - u. Does 18 divide b?
True
Let x be (-228)/(-20) - 4/10. Suppose 339 - 1109 = -x*z. Is 10 a factor of z?
True
Suppose 5 = 5*c + 5*g, -3*g = -4*c - 4*g + 10. Suppose 0*w + w - c*k = 223, -1055 = -5*w + 3*k. Does 13 divide w?
True
Let w(z) = z**2 + z + 4. Let n be w(-4). Let y = n - 8. Suppose 4*a = 188 + y. Is 13 a factor of a?
False
Suppose -627 - 543 = 5*m. Is 8 a factor of (-2 + 22)*m/(-45)?
True
Suppose 122 = 3*w - 214. Let l = w - 3. Is l a multiple of 27?
False
Suppose 0 = 2*m + 31 - 7. Let s = 12 + m. Suppose -4*g - 5*p + 58 + 25 = s, -3*p - 47 = -2*g. Is 17 a factor of g?
False
Suppose i = -2*b + 5*b - 86, 4*b - 3*i - 118 = 0. Suppose -4*o = -204 + b. Is o a multiple of 23?
False
Suppose 4*m - 5*m = -h - 225, -h - 5*m - 243 = 0. Let j = h + 335. Suppose -110 = -3*v - 5*b, -2*v - 2*b = v - j. Is v a multiple of 7?
True
Let b = 944 + -632. Is 12 a factor of b?
True
Let g = 498 + -422. Is g even?
True
Suppose r + 78 - 170 = 0. Is 14 a factor of r?
False
Suppose -182 = -3*n + 5*s, 8*n - 3*s = 11*n - 222. Does 8 divide n?
False
Suppose 0 = 7*m - 835 - 2693. Is 9 a factor of m?
True
Suppose -2*t - 3*k + 453 = 138, -3*t = 2*k - 460. Is 50 a factor of t?
True
Let p(z) be the third derivative of -z**5/60 + z**4/4 + 2*z**3/3 + 6*z**2. Let i be p(5). Suppose -4*u + 17 = w - i, 187 = 5*w + u. Does 19 divide w?
True
Let o be (-28)/7*(-382)/(-8). Let j = o + 319. Does 32 divide j?
True
Suppose 3*t + 8 = u - 4, -5*u - 3*t - 12 = 0. Suppose u*h = 2*h - 88. Is h a multiple of 7?
False
Let o = 782 - -1090. Is o a multiple of 52?
True
Suppose 144 = -0*k + 2*k. Suppose k = 2*x - 68. Is 17 a factor of x?
False
Suppose -k - 35 = -5*r, 0 = -2*k + k + r - 19. Is 11 a factor of ((-12)/8)/(-2*k/(-760))?
False
Suppose 3*p - 3*f - 117 = 0, -f + 112 = -5*p + 299. Suppose 6*b - p = -7. Suppose 0 = -b*i - 4*q + 488, -i - 2*q + 294 = 2*i. Is i a multiple of 25?
True
Suppose 5*x + 15 = 4*m - 5*m, -5*x - 65 = -4*m. Let z(n) = 11 - 15*n - n + 1776*n**2 - 1774*n**2. Does 21 divide z(m)?
False
Suppose -3*j = -4*k + 407, 5*k - 2*j - 413 = 87. Suppose 3*l + 6*t - t = k, -l - 2*t = -34. Does 3 divide l?
False
Let p be 8*(-3 + 14/4). Suppose -100 - 84 = -p*g. Does 11 divide g?
False
Is (9*(5 - 6))/(6/(-32)) a multiple of 24?
True
Let b = 1287 + -647. Does 8 divide b?
True
Let z(l) = l**3 - 12*l**2 - 12*l - 4. Let q be z(13). Let m(n) = n**3 - 7*n**2 - 12*n - 4. Is m(q) a multiple of 12?
False
Let j(p) be the third derivative of -p**6/120 - 13*p**5/60 - p**4/24 - p**3 + p**2. Let n be j(-13). Let w = n - -15. Does 6 divide w?
False
Let o(d) = -d**3 - 6*d**2 - 17. Let j = -38 + 31. Is o(j) a multiple of 16?
True
Suppose 2*c = 169 + 233. Is 86 a factor of c?
False
Let y be 3*(0 - 5)/5. Is (y + -18 + 0)*(-14)/6 a multiple of 7?
True
Suppose -152 + 532 = j. Suppose 0 = 4*g - d - j, -3*g + 180 + 96 = -3*d. Is g a multiple of 29?
False
Let l = -86 - -117. Let i be 1/(-2) - (-11)/2. Is 3 a factor of 1/3*(i + l)?
True
Let f(r) = -695*r + 98. Is 8 a factor of f(-2)?
True
Suppose 5*a = -3 - 72. Let m(b) = 10*b + 15. Let g(z) = 19*z + 29. Let f(k) = -4*g(k) + 7*m(k). Is 14 a factor of f(a)?
False
Let w = 61 + -37. Let z be (-51)/(-21) - w/(-42). Suppose 0 = z*m - 5 - 19. Is m a multiple of 3?
False
Let o(k) = -2*k - 4. Let b be o(-5). Let u be -2*2/(2 - b). Let v = 26 + u. Does 15 divide v?
False
Suppose 4*q - 3 = 3*q. Let b = 13 - q. Let g(y) = 3*y - 7. Does 10 divide g(b)?
False
Let c(p) = -p**3 - 3*p**2 + 10*p + 8. Let a be (22/4)/((-1)/2). Let g = -17 - a. Does 22 divide c(g)?
False
Let q = -74 + 44. Let m = 114 - q. Does 48 divide m?
True
Suppose 86*c + 15961 = 82181. Is 9 a factor of c?
False
Suppose -4 = 4*c + 4*n, -5*n = 2*c - 6*c + 41. Let p be ((-8)/(-6))/(c/6). Suppose 2*r - 248 = -p*r. Is 13 a factor of r?
False
Suppose 3*u = -3*l + 25 + 98, 4*l - 163 = -3*u. Let i be -1 - -3 - l/(-5). Suppose -i*o = -5*o - 130. Does 18 divide o?
False
Let b be 16/28*2/(12/21). Is b/8 + 582/8 a multiple of 23?
False
Suppose -230*g = -227*g + 342. Let n = g - -156. Is n a multiple of 5?
False
Let q = -84 - 29. Let p = -45 - q. Does 9 divide p?
False
Let t = -51 + 618. Is t a multiple of 63?
True
Suppose -11*h + 47 = 14. Suppose h*p - 229 - 98 = 0. Is p a multiple of 9?
False
Let r(g) = -g**3 + 15*g**2 - 18*g - 1. Let m be r(14). Let u(s) = s**2 - s + 9. Let w be u(-8). Let n = w + m. Does 7 divide n?
False
Let o(z) = z**2 + 3*z - 8. Let w be o(9). Suppose -4*k - k + 555 = -f, -2*f + w = k. Is k a multiple of 10?
True
Let g(k) = k**2 - 13*k - 45. Let q be g(16). Suppose q*r - 120 - 120 = 0. Does 5 divide r?
True
Suppose 0 = -29*g + 721 + 2353. Is g a multiple of 53?
True
Let q(d) = -d**3 + 6*d**2 - 3*d - 3. Let t be q(8). Let s = t - -218. Is 9 a factor of s?
True
Let w = -65 + 308. Does 31 divide (-40)/(-8) + w + 0?
