Suppose 3*j + 5*p - 13280 = 0, 738 = -5*j - 3*p + 22850. Is 130 a factor of j?
True
Let j = 215 - -5321. Is j a multiple of 16?
True
Let z(k) = 11*k**2 - 5*k + 8. Let l be z(5). Suppose -q + 96 = -4*t, 3*t - 291 - l = -5*q. Suppose 0*j + 2*j - q = 0. Does 6 divide j?
True
Suppose -5*p - 4 = -6*p. Let j be 4/14 + 747/7. Suppose p*u - j - 25 = 0. Does 6 divide u?
False
Does 16 divide (-9)/15 - (-33)/60*7972?
True
Suppose 0*h + 7290 = 2*h + 4*x, x = 8. Does 19 divide h?
True
Let h be 1*(5 - 5 - 3). Let q(p) = -2*p**3 + 2*p**2 + 3*p - 15. Is q(h) a multiple of 23?
False
Does 8 divide 236*(4 + -7 - (3 + (-436)/16))?
False
Let y = -47 + 47. Let u(t) = y + 58*t**3 - 59*t**3 - 12*t + 11*t**2 + 3. Does 11 divide u(8)?
True
Let a(g) = 6*g - 41. Let u be a(7). Suppose 3*v + 4*z - 31 + u = 0, 2*z = -v + 12. Is 2 a factor of v?
True
Let t be (-6)/4*(0 - 2). Suppose 3*x - 3*r + 3 = 0, 2*r - 6 = -21*x + 22*x. Suppose 2*s - 107 = -t*v - 3*s, x*s + 64 = 2*v. Is v a multiple of 7?
False
Let b be 32/40 - (-204)/(-5). Suppose 35*f - 264 = 38*f. Let i = b - f. Is 12 a factor of i?
True
Let u(y) = y + 1. Let j(z) = -13*z + 10. Let g(w) = j(w) - 4*u(w). Suppose 0 = 4*h + 4*q - 4, -5*h - 4*q - 7 = -3*q. Does 30 divide g(h)?
False
Let t(h) = -h + 15. Let g be (-6*(-10)/(-3))/((-12)/(-30)). Let b = g - -54. Does 3 divide t(b)?
False
Suppose 0*i = -z - 2*i - 1, 2 = 2*i. Let v be z*939/(-54) + (-1)/6. Let q = 91 - v. Does 8 divide q?
False
Suppose 2*c - 4*u - 4 = 0, -4 = -2*u - 0*u. Let l(y) = -y + 18*y - c - y. Does 41 divide l(6)?
False
Suppose 6 = 24*v - 23*v. Let j(s) = -11*s + 63. Let x be j(v). Is 29 a factor of 1 + 228 + x*(3 - 4)?
True
Let c(j) = 2*j**2 + 3*j - 26. Let d be c(10). Let p(z) = -18*z + 4*z**2 - 3*z**3 + 218 - d + 2*z**3 - 21*z**2. Does 2 divide p(-16)?
True
Suppose 3*n + 4*g + 88 = -143, -2*g - 154 = 2*n. Let d = 310 + n. Is d a multiple of 22?
False
Let n(b) = b**3 - 14*b**2 + 13*b - 29. Let x be n(15). Let u = 521 - x. Is 9 a factor of u?
False
Suppose 4*f - 29 = -5*h, 3*f = -h + 6*f + 2. Suppose -h*s = 285 - 85. Is 22 a factor of ((-22)/4 + 3)*s?
False
Suppose -5*g = -5*u - 79965, 9*u - 16038 = -g + 5*u. Is 16 a factor of g?
False
Suppose 4*s - 55 = 4*m - 19, -4 = m. Suppose 0 = h + s - 39. Suppose -3*x = -h - 92. Is 6 a factor of x?
True
Let s be (-8)/(-2) + 3 + -124 + 1. Let q = s + 188. Is 5 a factor of q?
False
Let g(s) be the first derivative of 7*s**2/2 + 20*s + 9. Let c be g(-6). Let d(u) = -u + 17. Is d(c) a multiple of 10?
False
Suppose -5*a = -a + 544. Let g be (-100656)/a - 6/51. Suppose 7*w - g = -3*w. Is w a multiple of 11?
False
Let d = 38 + -35. Suppose -2*c - d*b + b = -72, 0 = 4*c + 2*b - 140. Is 3 a factor of c?
False
Let h be (-222)/(-6)*(-4 - -3). Let z = -41 - h. Is 1065/21 - z/14 a multiple of 17?
True
Let b = -399 + 8029. Is b a multiple of 109?
True
Let k(i) = i + 72. Suppose -4*u = -0*u - u. Let l be k(u). Suppose l = -0*j + 3*j. Does 13 divide j?
False
Let v(x) = -1960*x**3 + 7*x + 14. Let d be v(-2). Suppose 32*o - d = -3*o. Is o a multiple of 14?
True
Let f(j) = -1 + 13*j + 5*j + 12*j - 8*j. Let n be f(-1). Let p = n + 96. Is p a multiple of 15?
False
Suppose 12*d - 10*d = 11*d - 390852. Does 12 divide d?
True
Let u(d) = -35*d - 1. Let b be u(1). Let s be b/21 + 2 - 3534/21. Is (s/(-20))/(15/50) a multiple of 28?
True
Suppose -4*r - 3*b = -4*b - 19, -2*r + 4*b = -6. Suppose -3*f = 2*y - 3*y + 919, 0 = -r*f - 2*y - 1539. Let t = f - -533. Does 21 divide t?
False
Let i(w) = -27*w - 57. Let t be i(-2). Is 3*1 - ((-5214)/11 + t) a multiple of 20?
True
Let o be (-2)/(-6) + 7546/42. Let h be (-2)/(-1) - (0 + 2). Suppose h = 19*l - 21*l + o. Does 10 divide l?
True
Suppose -5*l + 8*t - 7*t + 1159 = 0, 3*t - 699 = -3*l. Let n = l - 126. Is 3 a factor of n?
False
Suppose -4*m = -g - 2009, m - 500 = 8*g - 7*g. Does 6 divide m?
False
Let n = 124 - -572. Suppose 10*k = 7*k + n. Suppose -2*o - 3*q = 2*q - 146, -5*q = -4*o + k. Is 9 a factor of o?
True
Suppose 37*i + 97358 - 631971 = 0. Is 15 a factor of i?
False
Let c(p) = p**3 - 4. Let k be c(3). Suppose -1410 + 7781 = k*n. Is 16 a factor of n?
False
Suppose 0 = s - 7*s + 6690. Let b = -485 + s. Does 9 divide b?
True
Suppose -3*l + 373 = f + 21, 3*l - 2*f = 367. Let n = -96 - l. Let y = 436 + n. Is y a multiple of 17?
True
Let n(z) = 180*z**2 + 12*z + 4. Let p be n(-2). Suppose -9*c + p = c. Is 10 a factor of c?
True
Suppose 5*u - 31 = -2*d - 0*d, 0 = -3*d + 3*u - 6. Suppose -d*a - 444 = -5*t, -a + 491 = 5*t + 39. Is 5 a factor of t?
True
Let y be 8/(-28) - (-64)/28. Let r be (1/y)/(4/(-16)) + -3. Let p(o) = 7*o**2 - 8*o - 13. Is p(r) a multiple of 59?
False
Let s be (3 - 4)*(-1 + 1). Suppose s = -v + 6 - 56. Let w = 150 + v. Does 10 divide w?
True
Let y = 2195 - -4594. Is 93 a factor of y?
True
Let x = 770 - 2106. Let y = 2146 + x. Is y a multiple of 54?
True
Let l be ((-5)/(-10))/(-4 + 41/10). Suppose 1632 = -21*m + 23*m + 2*y, -l*m + 4108 = -2*y. Is m a multiple of 41?
True
Suppose -24*h = 5*h + 4408. Let b = 200 + h. Is b a multiple of 3?
True
Let i(v) = -2*v - 4. Let h be i(-3). Let m be (-8 - -2)*(-3)/h. Suppose 50 = m*z - 8*z. Does 5 divide z?
True
Suppose -19*t + l - 40700 = -23*t, 2*t - 4*l - 20350 = 0. Is 9 a factor of t?
False
Suppose -63*v - 5*h - 4865 = -68*v, -3*v + 2921 = -2*h. Is v a multiple of 7?
False
Let k be (311/3)/((-24)/(-72)). Suppose 3*m = 523 + k. Is m a multiple of 15?
False
Let s(b) = 2*b**2 - 9*b - 15. Let i be s(6). Suppose i*v + 2*d - 66 - 6 = 0, 96 = 4*v + d. Is v a multiple of 24?
True
Suppose 0 = -z - 3*z + 4*l, -z - 3*l = 0. Suppose z = -63*q + 60*q + 756. Does 9 divide q?
True
Let j(n) = n**3 - 14*n**2 - 23*n - 7. Let t(y) = 3*y**2 + 6*y - 8. Let x be t(2). Let l be j(x). Let d = l + 50. Does 11 divide d?
True
Suppose 2*b - 42 = -4*n + 38, -4*n + b = -80. Let h be (-18)/(0 + 6/n). Is (-24)/h - 366/(-10) a multiple of 11?
False
Let c be 9180/8*(-44)/(-55). Suppose -c = 49*p - 52*p. Is p a multiple of 36?
False
Does 25 divide (-126373)/(-12) - (-9)/(-17 - 91)?
False
Suppose 40 - 52 = -4*y. Suppose h = -y*a + 223, -4*a + 112 + 197 = -h. Does 19 divide (a/10)/(2/5 + 0)?
True
Suppose -3*q + 535 + 119 = 0. Suppose -5*p + 3*g + 334 = -q, 0 = p + g - 104. Suppose -4*x = 2*v - p, 2*v = -v - 5*x + 166. Is v a multiple of 7?
False
Does 36 divide -21*(-29)/609 - (-1 - 5002)?
True
Let g = 2882 - 1552. Does 70 divide g?
True
Does 38 divide (3/(-24) - (102179/(-88) + -2))/1?
False
Let t = 9 + -15. Let l(o) = 8*o**2 - 1 + 4 - 855*o - 9 - 6 + 861*o + o**3. Is 4 a factor of l(t)?
True
Suppose 299*w - 1552329 = -140750. Is 39 a factor of w?
False
Let v(p) = 11*p - 6*p - 4*p**2 + 5*p**2 - 52 + 0*p**2. Is 34 a factor of v(-22)?
False
Let z(d) = -d**3 - 5*d**2 + 11*d - 16. Let p be z(-7). Suppose w - 2*f = 10, 3*f - 20 = -p*w + 7*f. Suppose -8*c = -w*c - 928. Does 29 divide c?
True
Let k(u) = 228*u - 1096. Does 171 divide k(45)?
False
Let y be ((0 - 3) + 3)/1. Suppose 534 = 3*a - n, y = 5*a + 4*n - 857 - 50. Is a a multiple of 12?
False
Suppose 6*i - 9*i - 3*o + 2706 = 0, 3*i = -o + 2696. Let r = i - 754. Is r even?
False
Let l = -325 - -243. Let n = 214 + l. Is 6 a factor of n?
True
Let r = 2 + 27. Let s(q) = -q**2 + 29*q + 64. Is s(r) a multiple of 2?
True
Is 150 a factor of -2 - 342580/(-18) - ((-616)/(-99) + -6)?
False
Let g = 632 - 612. Suppose g*a - 37426 + 1606 = 0. Is 12 a factor of a?
False
Let u(f) = -f**3 - 11*f**2 - 13*f - 8. Let s be u(-9). Let v = -51 - s. Suppose 3*d + 3*n = 42, 2*n = d + v*d - 62. Is d a multiple of 9?
True
Let a(o) = 4*o - 4. Let y be a(2). Let c(t) = 12*t**2 - 9*t + 27. Does 11 divide c(y)?
False
Suppose -650*y - 3*z + 22452 = -647*y, 29942 = 4*y + 3*z. Does 102 divide y?
False
Let u(k) = -k**3 - 37*k**2 + 30*k + 58. Let r(w) = 5*w**3 + 148*w**2 - 119*w - 231. Let p(o) = -2*r(o) - 9*u(o). Does 14 divide p(36)?
True
Suppose -5*r - 251 = m - 2644, 0 = -m - 2. Suppose 5*z + 89 = r. Is z a multiple of 26?
True
Let z = -148 + 150. Suppose -4*d = -5*n - 652, -z*d - n + 387 = 47. Is d a multiple of 6?
True
Suppose -3*a = 9 - 15. Suppose -5*t + 10*t - 594 = a*p, 0 = -3*t - 5*p + 344. Is 8 a factor of t?
False
Suppose 4*c = 4*n - 9540, -3684 = -3*n - 2*c + 3456. Does 69 divide n?
False
Suppose -8 = -4*f, 15 = -5*h + 4*f + 7. Suppose h*r