s - 13090 = -12*s. Is 11 a factor of s?
True
Suppose 5*v = 1 + 4. Let k be v*82/(-2) - 0. Is (k - 1)/(7 + -8) a multiple of 21?
True
Let s(f) = f**2 - 40*f + 11. Is 18 a factor of s(-5)?
False
Let c = 19 - -104. Suppose m = -o + 5*o + 191, 4*m = -4. Let x = c + o. Does 17 divide x?
False
Suppose 0 = -3*p + 7*p - 24. Suppose 2*g = 4*v + 676, v - 4*v + p = 0. Does 35 divide g?
False
Let c be ((-2)/8)/(1/4). Let f(d) = 4*d**2 + 2*d + 2. Does 4 divide f(c)?
True
Suppose 14*z = 5*z + 99. Does 24 divide z/((-22)/72)*-2?
True
Let l = 3942 + -1901. Does 9 divide l?
False
Is 9 a factor of 2/(-13) - -5386*6/156?
True
Suppose -k + 931 = -3*g + k, -1581 = 5*g + 4*k. Let y = 485 + g. Does 35 divide y?
False
Let f(k) = -3*k**3 + 7*k**2 - 10*k + 10. Let r(a) = -4*a**3 + 6*a**2 - 9*a + 11. Let c(v) = -3*f(v) + 2*r(v). Suppose 2*h = 2 + 14. Does 12 divide c(h)?
True
Suppose -3*t = -180 - 1317. Does 8 divide t?
False
Let i = -114 - -96. Does 4 divide (-470)/(-9) + 4/i?
True
Let d(g) = g**3 + 24*g**2 + 57*g + 41. Is d(-20) a multiple of 10?
False
Let z = -378 + 674. Is 74 a factor of z?
True
Suppose -5*p + 580 = -t - 1234, 0 = -4*p + 3*t + 1449. Is 50 a factor of p?
False
Let c be ((-108)/(-24))/((-3)/(-28)). Let v = 2 + c. Is (-1 - -4)/(6/v) a multiple of 9?
False
Let q = -31 + 19. Is 5 + -3*4/q a multiple of 3?
True
Let c(d) = -3*d**3 + 13*d**2 - 13*d + 9. Let t(p) = 13*p**3 - 52*p**2 + 53*p - 37. Let q(x) = 9*c(x) + 2*t(x). Is 18 a factor of q(10)?
False
Let k = 67 + -64. Suppose k*o + 33 = 102. Is o a multiple of 12?
False
Suppose 4*h - 3*h + 4*x - 352 = 0, -5*x = 4*h - 1452. Is h a multiple of 92?
True
Does 6 divide -6 - (-119 + -2 + 1)?
True
Let i = 2 + 1. Suppose i*a - a = 0. Suppose 0 = -2*u - a*u + 60. Is 7 a factor of u?
False
Let m = 9 + 7. Let a be 1/((-4)/m*-1). Suppose a*n = n + 33. Does 3 divide n?
False
Let d = 0 - 4. Is (-2)/d + 136/16 a multiple of 5?
False
Let m be (-12)/(-18) + 750/9. Suppose p - m = -p. Is p a multiple of 6?
True
Let h = -1068 + 1176. Does 9 divide h?
True
Let r(g) = -3*g**3 - 5*g**2 - 4*g - 4. Let v be r(-2). Suppose -19*h + v*h + 3388 = 0. Is 28 a factor of h?
True
Suppose -167*b + 183*b - 8176 = 0. Is b a multiple of 9?
False
Suppose -6496 = -180*k + 173*k. Does 32 divide k?
True
Let w be (12/9)/((-15)/(-45)). Suppose 3*p - 130 - 96 = -w*z, 3*p - z = 221. Is p a multiple of 7?
False
Let p(x) = 3*x**3 + 4*x**2 + 5*x - 20. Does 60 divide p(5)?
True
Let k be (-6)/(-4)*924/9. Suppose 5*j - k = 3*p, -p = 3*j - 6*j + 94. Does 8 divide j?
True
Is 92 a factor of ((-120)/56 - -2) + (-15458)/(-14)?
True
Let b(h) = h**3 + 8*h**2 - 2*h - 15. Let m be b(-8). Does 18 divide (m*-38)/(-1) - -3?
False
Suppose -3*h = -12, -7*h + 3*h + 12 = -2*b. Suppose -3*k - 5*i = -136, b*k + 3*k = i + 180. Does 7 divide k?
False
Let w = -1147 + 1651. Suppose w = 9*i - 3*i. Does 21 divide i?
True
Suppose -4*w = -1177 - 2279. Is 8 a factor of w?
True
Suppose -l = 5, 0*l + 1319 = 4*b + l. Does 12 divide b?
False
Suppose 3*k = 12, -4*n - 3*k + 2*k = -396. Is 7 a factor of n?
True
Suppose 2*z = f - 4*f, 3*z - 19 = 5*f. Let x be 3 - (f/(-2) - 0). Suppose -40 = -2*j - x*j. Does 10 divide j?
True
Suppose -189*r = -188*r - 41. Does 41 divide r?
True
Suppose -9*v = -2446 + 169. Is v a multiple of 11?
True
Suppose -43*n + 1060 = -1950. Does 2 divide n?
True
Let s be 26/5 - (-2)/(-10). Suppose 0 = d + 2*j + j - 61, s*j = -2*d + 127. Is d a multiple of 28?
False
Let t(x) = x**3 + 7*x**2 + 3. Let q be t(-7). Suppose q*b = 1 + 14. Suppose -4*h = -3*a + 79, 3*a - b*h = 65 + 18. Is 3 a factor of a?
True
Does 12 divide (-4)/((-24)/2814) + -2?
False
Let j(b) = 18*b**2 - 5*b - 1. Let z = 29 + -32. Does 15 divide j(z)?
False
Let b(u) = 8*u + 15. Let p(m) = -2*m + 45. Let y be p(21). Does 13 divide b(y)?
True
Let p be (8/(-7))/(8/(-28) - 0). Suppose 0*j - 180 = -p*j. Does 5 divide j?
True
Let m(u) = 439*u**2 + 8*u - 7. Is m(1) a multiple of 8?
True
Suppose -8 = -2*h + 2*m, -h + 0*m - m = -6. Suppose 5*t - 21 - 4 = 0, h*b - 275 = t. Is b a multiple of 9?
False
Does 7 divide 281 + ((-1)/(-2))/(9/108)?
True
Let h(d) = -3*d + 49. Does 40 divide h(-17)?
False
Let j be (1 - (-6)/(-3))/(4/4). Is 4 + 873/6 - j/2 a multiple of 25?
True
Suppose -5*u = -2*s + 65, 5*s - u - 36 = 69. Let r be ((-153)/(-6))/((-15)/s). Let z = r - -58. Is 8 a factor of z?
True
Suppose -21 = -g + 55. Is 9 a factor of g - (-7 + 4 - -3) - 3?
False
Suppose 14 = 4*b - 2. Suppose 0 = -g - b*y + 52, g + 119 = 3*g + 5*y. Is g a multiple of 32?
False
Let y(p) = -p**3 + p**2 + p. Let k(u) be the third derivative of 7*u**6/60 + 2*u**5/15 + u**4/8 - 9*u**2. Let d(f) = k(f) - 5*y(f). Does 3 divide d(1)?
False
Suppose 2852 = 72*y - 68*y. Is 23 a factor of y?
True
Suppose 4 = 2*d - 0. Let n = 8 + -8. Suppose n*r - 36 = -d*r. Is r a multiple of 18?
True
Suppose -662 = -20*d - 62. Is 6 a factor of d?
True
Suppose o + 2*y = -0*o + 131, 3*o = -4*y + 393. Suppose 0*v - 5*v - o = -k, -2*k - 2*v = -238. Is k a multiple of 32?
False
Let c = -229 + 679. Does 3 divide c?
True
Suppose 38 = 3*i - 0*f + 2*f, 0 = -3*i - 5*f + 41. Let m be (-2)/(-4)*(i - 12). Suppose -33 = -2*l - 3*s, m = -s + 4 - 1. Is 3 a factor of l?
True
Let t = -374 + 633. Suppose -4*m + t = -17. Is 10 a factor of (-2 - 4)*m/(-6)?
False
Does 10 divide (75/6 + -5)/(12/992)?
True
Does 122 divide (0 - 20 - -3)*-122?
True
Let g(q) = 2*q**2 + 49*q - 21. Is g(-34) a multiple of 40?
False
Let o(x) = 124*x**2 + 2*x + 8. Let l(b) = -b**2 - 1. Let c(h) = 5*l(h) + o(h). Is 14 a factor of c(-1)?
False
Let h = 297 - -73. Is 5 a factor of h?
True
Is 340/25*(-180)/(-4) a multiple of 22?
False
Let d = 17 + -12. Suppose 8*p = d*p + 150. Is (-1)/((7/p)/(-7)) a multiple of 22?
False
Suppose 0 = 5*k - 3495 + 345. Does 35 divide k?
True
Let n = -4 - -10. Let c(k) = -k + 2. Let u be c(n). Is (56/6)/(u/(-18)) a multiple of 11?
False
Suppose 0 = -2*p - 2*b + 240, 8*b - 7*b + 356 = 3*p. Is p a multiple of 33?
False
Let a = -56 + 53. Does 29 divide 5/(-45)*a*201?
False
Suppose -2*w + 5*q = -362, 16*w - 14*w = q + 370. Does 8 divide w?
False
Let j(a) be the first derivative of 2*a**3/3 + 5*a**2 + 26*a - 39. Does 10 divide j(-4)?
False
Let a = 1399 + -706. Does 21 divide a?
True
Is ((4 - 7)/3)/((-2)/1146) a multiple of 8?
False
Suppose 340 = 4*k - 52. Let z(x) = x**3 - 4*x**2 - x + 2. Let i be z(4). Is 19 a factor of (k/(-4) + -4)*i?
True
Let n = -18 - -32. Let u = -2 + n. Is u a multiple of 4?
True
Suppose -7623 = -11*f - 10*f. Does 53 divide f?
False
Let a(k) = 2*k + 14. Let y be a(-6). Suppose y*w - 7 = -5*w. Is 62 + (w - (-1 - 0)) a multiple of 16?
True
Suppose 5*o - y = 3*o + 279, 141 = o - y. Suppose -4*p + o = 2*p. Let j = p - -1. Is j a multiple of 8?
True
Let u = 8 - 2. Let z be 275/66 + (-1)/u. Suppose -z*t + 30 + 74 = 0. Does 8 divide t?
False
Let l = 17 - 4. Suppose -y + 30 + l = 0. Is y a multiple of 10?
False
Let u = 1133 + -879. Is 12 a factor of u?
False
Suppose -34*u = -30*u + 220. Is 15 a factor of ((-33)/u)/(2/50)?
True
Let m = -1473 - -1960. Is m a multiple of 5?
False
Let i = -12 - -230. Suppose 0 = -5*q + 202 + i. Is 21 a factor of q?
True
Let a(f) = 24*f + 22. Let l be a(10). Suppose -6*p + l = -32. Does 14 divide p?
False
Let y(v) = v**3 + 5*v**2 + v - 2. Let x be y(-3). Let d = 16 - x. Is 182/42*d*1 a multiple of 2?
False
Suppose 8*p - 4*u = 4*p + 5424, 4*u = -4*p + 5416. Is 32 a factor of p?
False
Let z(i) = i**3 + 8*i**2 - 7*i + 7. Let m be z(-8). Let x = m + 2. Is 13 a factor of x?
True
Suppose s - 4*p = 867, 15*p + 4299 = 5*s + 13*p. Is s a multiple of 64?
False
Suppose 2*m - 177 - 4239 = 0. Is m a multiple of 12?
True
Let q(v) = -v + 221. Let x be q(0). Let a be 6 + ((-12)/15)/((-10)/(-25)). Suppose -53 + x = a*n. Is 21 a factor of n?
True
Suppose -2*w + 9 = -y - 7, 0 = 5*y + 5*w + 65. Let q(i) = 2*i**2 + 19*i + 10. Is 16 a factor of q(y)?
False
Let j(t) = 59*t - 1. Suppose -4*y + 9*y - 13 = -4*c, 0 = 2*y + 4*c - 10. Let k be j(y). Suppose -5*a + 2 + k = 0. Does 6 divide a?
True
Let h be 8144/2 - (-2 + 4 - 0). Is 8 a factor of 2/(-9) + h/90?
False
Suppose -4*x = -x + h - 758, 1018 = 4*x + 5*h. Let v = 412 - x. Is 32 a factor of v?
True
Let h = 21 + -19. Suppose -3*s = h*q - 8, -2*q + q = -4*s + 18. Suppose 2*i - s*y = -2, y + y - 26 = -4*i. Does 2 divide i?