= -82 + 372. Is 19 a factor of d?
False
Suppose 87*v - 15300 = 69*v. Is v a multiple of 10?
True
Let f(m) = -2*m + 110. Does 65 divide f(-33)?
False
Suppose 2*g + 6 = -4*h, 0 = -4*g + 5*h - 0*h + 14. Let s = 2 + g. Suppose 0 = -s*o - 33 + 198. Does 11 divide o?
True
Let p = -35 - -3. Let h = p - -46. Is 3 a factor of h?
False
Suppose -j + 15 = 4*j. Suppose -j*i + 65 = -13. Is 5 a factor of i?
False
Let l = 194 + 78. Does 17 divide l?
True
Let m(z) = -z**3 + 7*z**2 + 2*z - 6. Let x be m(7). Let a(d) = d - 10. Let k be a(12). Does 7 divide ((-9)/k)/((-4)/x)?
False
Suppose 5*s - n = 18, 4*s - 4*n + 1 = 9. Does 7 divide (1 + 4)/(s/20)?
False
Let u = -759 - -1257. Is u a multiple of 19?
False
Let c = -75 + 140. Suppose c = 2*o - o. Does 16 divide o?
False
Is 11 a factor of ((-534)/(-2))/1*3/3?
False
Suppose u + 3 = -5*g + 14, 3*g - 2*u = 4. Suppose 3*r + a - 215 = 2*a, 5*r + g*a - 373 = 0. Does 13 divide r?
False
Suppose 4*q + 826 = 5*x + 2207, 3*x = 2*q - 691. Does 8 divide q?
True
Is 25 a factor of (30/(-5) - -1264) + 11?
False
Let u = -60 - -88. Let b = u - 48. Does 5 divide (5/b)/(3/(-60))?
True
Suppose 4*h - 1048 = -4*a, -2*h + 406 = -3*a - 128. Is 88 a factor of h?
True
Let x(u) = -u**2 + 12*u - 15. Let c be x(10). Suppose 3*v = -4*g - v + 20, -17 = -c*g + 3*v. Suppose -218 + 2 = -g*o. Is o a multiple of 22?
False
Let h = 59 + -54. Suppose s + 77 = h*c, -s + 19 = c - 0*s. Is c a multiple of 2?
True
Let d be (4/6)/(2/(-6)). Is (177/(-12))/((4/d)/16) a multiple of 21?
False
Let n = -2005 + 2808. Is 46 a factor of n?
False
Let j(i) = 46*i + 328. Does 11 divide j(12)?
True
Suppose 0 = 3*w + 7 + 17. Let h(v) = -26*v + 19 + 57*v - 33*v. Does 18 divide h(w)?
False
Suppose -3*k + 2*w = -5*k + 252, 4*k + 2*w - 508 = 0. Does 16 divide k?
True
Does 7 divide 7 + -4 + -1 - (3 + -64)?
True
Let a(y) = 202*y - 168. Is a(4) a multiple of 20?
True
Suppose -43*w = -40*w - 897. Is w a multiple of 46?
False
Let j(i) = -i**3 - 4*i**2 + 3*i + 2. Suppose -2*y - 4 = 4*t + 18, -4*t = y + 19. Let c be j(t). Is 23 a factor of (184/c)/(6/(-15))?
True
Does 10 divide 182/(-52)*1024/(-14)?
False
Suppose 0 = -s + 2*s - 1. Let h be 1 - (-7 + 1) - s. Suppose -h*t - 18 = -x - 4*t, -10 = -x - 2*t. Does 7 divide x?
True
Let t(u) = -5*u**2 - 3. Suppose -10 = -3*s + 5*s. Let n be t(s). Is (n/(-20) + 2)*5 a multiple of 12?
False
Suppose -2*x + 3*p = -284, 3*p - 12 = -0*p. Let l = x + -88. Is 19 a factor of l?
False
Let p = -1 + 4. Suppose -m + 5 = 2*a - 2, 3*a = -p. Let v = m - 6. Does 3 divide v?
True
Suppose -2*y + 38 = 2*s, 5*y = 5*s - 57 + 142. Suppose -2*v - y = -5*v. Is (v/4)/((-16)/(-448)) a multiple of 7?
True
Is 511/(-2)*(-112)/49 a multiple of 45?
False
Suppose 2*b + p + 27 = 4*b, 5*p = -b - 3. Suppose 0 + b = 3*z. Let y(j) = 2*j**2 + 3*j + 2. Is y(z) a multiple of 23?
True
Let r = 0 + 3. Suppose 6*h = r*h. Suppose h*j - 36 = -4*j. Does 3 divide j?
True
Let t(w) = w + 12. Let u(x) = 2*x**2 + x - 2. Let n be u(-2). Suppose -5*g + 8 = -n*f + 54, 5*f = g + 26. Is t(g) a multiple of 6?
True
Let a = 155 + -100. Is a a multiple of 5?
True
Suppose 4*k - 3032 = -5*z, 1060 = 4*z + 4*k - 1364. Does 38 divide z?
True
Suppose -12*o - 15120 = -17*o. Does 72 divide o?
True
Suppose -8471 - 7461 = -14*q. Does 19 divide q?
False
Suppose 0 = z + z + 3*m - 20, -5*m + 28 = 2*z. Suppose 0 = -5*o + 2*u, z*o + 3*u - 25 = -o. Suppose o*v - 36 = -v. Is 4 a factor of v?
True
Let j = 8 - 12. Let t(n) = -28*n + 2. Is 29 a factor of t(j)?
False
Let i(t) = -13*t + 9. Let r(o) = -7*o + 5. Let u(a) = 6*i(a) - 11*r(a). Let h be u(-4). Suppose -n + 3 = -h. Is 2 a factor of n?
True
Let u(z) be the third derivative of -z**4/24 + 2*z**3 + z**2. Let s be u(10). Suppose l = -s*j + 13, -j + 3*j = -4. Is 17 a factor of l?
True
Let i = -18 - -31. Let c(n) = i + n**2 - n - 23 + 15. Is 17 a factor of c(7)?
False
Suppose -2*u + 3*d - 9 = 0, -3*u + d + 3*d = 13. Let o be 0 - -2*(u - -4). Is 32/o - (-7)/(-7) a multiple of 8?
False
Let b = 976 - 668. Is b a multiple of 10?
False
Let k(d) = 6*d**3 + 4*d**2 + 14*d - 20. Does 60 divide k(5)?
True
Let d = 1119 + 945. Does 16 divide d?
True
Suppose -7726 = -26*h + 1218. Is h a multiple of 28?
False
Let m = 37 - -51. Suppose -4*o + 52 = -m. Does 14 divide o?
False
Suppose f + 5*x + 22 = 0, -16 - 19 = -5*f + 4*x. Let h(r) = 11*r**3 - 8*r**2 + 12*r + 3. Is 22 a factor of h(f)?
True
Suppose 7*b - 2*b = -p + 1155, 0 = -p - 2*b + 1164. Does 6 divide p?
True
Let r(u) = -u**2 - 21*u - 19. Let l be r(-20). Suppose y - 3*p + 5 = -l, -2*y = -3*p - 3. Is 9 a factor of y?
True
Is 7 a factor of (171/(-228))/((-6)/104)?
False
Suppose j - 5*t - 1900 = 0, 2*t + 1789 = 2*j - 2003. Is 17 a factor of j?
False
Let q be 160*(7/2 + -1 + -4). Let t = q - -360. Is 15 a factor of t?
True
Suppose 6*x + 21 = -189. Let m be (-190)/x + (-6)/14. Suppose -2*q = -2*f + 3 - 15, f - m = 0. Is 5 a factor of q?
False
Suppose 1803 = 4*s - q, -2280 = -6*s + s - 4*q. Is 7 a factor of s?
False
Let g(w) = 2*w**3 + 25*w**2 + 9*w + 21. Let m be 4/(-6)*(-105)/(-14). Let a(s) = s**3 + 12*s**2 + 4*s + 10. Let q(f) = m*a(f) + 2*g(f). Does 6 divide q(-10)?
True
Let x = -33 - -46. Suppose -15*k = -x*k - 64. Is 8 a factor of k?
True
Let l = 1372 - 1032. Is l a multiple of 21?
False
Suppose 4*v = -3*b + 347, 3*b + 4 + 5 = 0. Does 8 divide v?
False
Let b = 37 + 458. Is 45 a factor of b?
True
Suppose 161*n = i + 157*n - 970, -4*n = 3*i - 2910. Is 2 a factor of i?
True
Let k be 0*2*2/4. Let u(w) = w**2 + w**3 + 33 - 5 - 11. Is u(k) a multiple of 17?
True
Let i(n) = -3*n**3 + 4*n**2 - 3*n. Let d be i(-4). Suppose 0 = -6*p + 176 + d. Is p a multiple of 11?
False
Let q be 2/(-10) + (-522)/(-10). Let d = 97 - q. Let m = d - 32. Does 9 divide m?
False
Let g = 269 + -38. Is 7 a factor of g?
True
Suppose 2*p + 3*p = 3*q - 202, -182 = -3*q - 5*p. Let y = q - 53. Is y a multiple of 4?
False
Suppose -3*h = 5*h - 1784. Is 11 a factor of h?
False
Let g = 64 + -90. Let l = -16 - g. Is 2 a factor of l?
True
Suppose 1 = 3*u + 5*x, -24 = 3*u - 3*x - 9. Is 2 a factor of 27/3 - u/(-1)?
True
Suppose 2*p - 11 = -7. Suppose 0 = -p*v + 5*t - 3*t + 366, -180 = -v - 2*t. Is v a multiple of 26?
True
Let r(j) = 195*j**2 + 116*j - 346. Does 7 divide r(3)?
True
Suppose d - 5 = 0, 289 = -4*q - 5*d + 106. Let g = 2 - 3. Is 14 a factor of (q - (g + 4))/(-1)?
False
Let j = 70 - 97. Is 44 a factor of (-2385)/j - (2 + 10/(-6))?
True
Let v(w) be the first derivative of w**4/2 + w**3 - w**2/2 - 6*w - 17. Does 12 divide v(3)?
True
Let o(g) = -10*g**2 - 4*g + 2. Let a be o(-5). Let i = 15 + -153. Let s = i - a. Does 30 divide s?
True
Let h(r) = -r**3 - r**2 + r + 2. Suppose -3*g - 15 = -8*g. Let y be h(g). Let t = y + 61. Does 10 divide t?
True
Suppose -p = 0, -5*r - 4*p + 0*p = -950. Is r a multiple of 18?
False
Suppose -3*m + 2*t + 1916 = 0, -23*t + 19*t + 2528 = 4*m. Does 12 divide m?
True
Let n(f) = f**2 + 66*f - 432. Is 13 a factor of n(41)?
False
Suppose -28*i + 54688 + 640 = 0. Is 13 a factor of i?
True
Let q = 19 - 15. Suppose -2*x - 3*x - 22 = -s, q*x = -4. Is 15 a factor of s?
False
Suppose 2*u + 4 = 0, 0 = 3*c + 2*u - 3*u - 8. Let t = 6 + -2. Suppose t*z - 308 = -c*a, 0*z + 146 = 2*z + 5*a. Is 26 a factor of z?
True
Let f be 1*10/4*16. Let b = -14 + f. Is 14 a factor of b?
False
Suppose -2*k + 108 = k. Suppose -k = -3*o - 2*u - 11, -4*o + 32 = 4*u. Is o a multiple of 3?
True
Let j = 25 + -15. Suppose -11*y = -j*y - 303. Is 43 a factor of y?
False
Suppose -2*u + u = 4*a - 9, -3*a - 5*u = -11. Is 12 a factor of (-3 + a)*2 - -56?
False
Let x(k) be the third derivative of -k**6/120 + k**5/6 + 17*k**4/24 - k**3/2 + 5*k**2. Is 21 a factor of x(11)?
True
Let a = 272 - 141. Suppose -4*h - 3*t = a, -5*t = -7*h + 2*h - 155. Let q = h + 56. Is 3 a factor of q?
True
Let l be 8/(-10)*(-550)/4. Suppose -2*n + 0*n + l = z, -5*n = z - 275. Does 30 divide n?
False
Suppose 4*y - 2601 = 5*d, y + 4*d - 1268 = -y. Does 46 divide y?
True
Suppose -2*o - 5*i = -0*o + 7, 4*i = -5*o + 8. Let s(z) = -32*z + 32*z + o + 2*z**2 + 1. Is s(-5) a multiple of 23?
False
Suppose 11*r = 3*r - 24. Is 18/(-6)*4/r a multiple of 4?
True
Suppose -12*w = -6*w - 60. Suppose 4*s - 158 = w. Does 14 divide s?
True
Let x be (51/(-42) - (-2)/(-7))*-40. Suppose 0*p = -p + x. Is 15 a factor of p?
Tru