 v = 3*z, 4*o - 113 = -2*z - 5. Is 9 a factor of z?
False
Suppose 750 = 7*a - 48. Is a a multiple of 2?
True
Let n(t) = -2*t**3 + 15*t**2 - t + 2. Let d be n(10). Let a = -248 - d. Does 15 divide a?
False
Let m be 8/(-3) + 5/(-15). Let j = 2 + m. Does 6 divide 6 + 1 - (j - -2)?
True
Let k be (35/(-20))/((-1)/(-4)). Let w = k - -77. Does 7 divide w?
True
Suppose 12 = -5*i + 2. Let d(j) = j**3 - j**2 - 2*j - 1. Let v be d(i). Is 26 a factor of 52/3*v/(-3)?
True
Let h be (70/30)/((-1)/(-9)). Let g = -8 + h. Suppose 0 = 14*x - g*x - 16. Is x a multiple of 4?
True
Let p be (-2)/((-4)/1) + 17/(-34). Suppose p = -h - 3*o + 2*o + 14, -h = -4*o - 29. Is h a multiple of 17?
True
Let y = 31 + -29. Suppose -484 = -4*p - 4*a, -4*p + 3*a = -y*a - 439. Is p a multiple of 24?
False
Let y = -12 + 94. Suppose -2*l - l + 2*o = -y, 4*l - 116 = -4*o. Is 24 a factor of l?
False
Let t(q) = -215*q - 5. Does 42 divide t(-1)?
True
Suppose 0 = i - 3*z - 2436, -2*i + 1533 = -3*z - 3348. Does 72 divide i?
False
Let a(c) be the first derivative of -c**7/840 + c**6/360 + c**5/120 - 4*c**3/3 - 3. Let v(p) be the third derivative of a(p). Does 5 divide v(-2)?
True
Let t = -14 - -17. Suppose -33 = -2*h + c - 8, 41 = t*h + 2*c. Let s = h - 6. Is 2 a factor of s?
False
Suppose -3423 - 1887 = -3*c. Suppose -2*q = -5*t - 897, 2*t + c = 5*q - q. Is 22 a factor of (4/6)/(6/q)?
False
Is -260*(-5)/(-20)*-3 + 3 a multiple of 13?
False
Suppose -2*r + 15 = -5*r. Let l be (-16)/r - (-80)/100. Is 2/l + (-1592)/(-16) a multiple of 31?
False
Suppose -m - 4*w - 480 = -1775, -5*w = -20. Is 12 a factor of m?
False
Let f = 1977 - 924. Is f a multiple of 12?
False
Let j(q) = q**3 - 29*q**2 - 52*q - 3. Does 31 divide j(32)?
False
Suppose 3*i = 10*i + 49. Does 10 divide (-5 - i)/(41/10 + -4)?
True
Let h = -108 - -109. Does 56 divide -2*h - (-6084)/26?
False
Suppose 3*t = -2*h - 3*h + 17, 5*h = -5*t + 25. Suppose 108 = s + 5*g, -2*s - 312 = -6*s + t*g. Is s a multiple of 26?
False
Let k be 0 + (2 - -106)/3. Suppose 0*t - 4*t + k = 0. Let u(m) = -m**2 + 13*m - 10. Does 10 divide u(t)?
False
Let k(f) be the first derivative of f**2/2 + 9*f + 3. Let b be k(0). Is (114/b)/((-2)/(-15)) a multiple of 35?
False
Let f = 8 + -7. Let z(g) = 147*g - 4. Is z(f) a multiple of 13?
True
Let t(z) = -6 - 5 - 8*z**2 - 12*z + 4 + 7*z**2. Let l be t(-9). Suppose -l = -4*p + 4*s + 40, -24 = -3*p - 4*s. Is 3 a factor of p?
True
Let c be (-3)/(-2)*(0 - -2). Let d(l) = -l**3 + 6*l**2 - 5*l + 2. Let r be d(c). Suppose 13 + r = 3*k. Is 3 a factor of k?
True
Let k = 8 + -3. Suppose -8*q = -4*q + 4*w + 204, k*q + 285 = 5*w. Let j = q - -82. Is 13 a factor of j?
False
Let j(q) = q + 3. Let s be j(-2). Does 6 divide 41 + (-2 + -2)/(s*-2)?
False
Let c(q) be the second derivative of q**3/3 + 8*q**2 - 9*q. Does 9 divide c(7)?
False
Suppose -6 - 14 = -4*a. Suppose -a*i - 4*i + 207 = 0. Does 9 divide i?
False
Suppose 4*g + 438 = 3*d, -3*g + 2*d - 436 = g. Let z be (g/(-5))/((-6)/(-20)). Is 6 a factor of (4/(-12))/((-2)/z)?
True
Suppose 4*v + 74 = 210. Let m be 150/(-9)*(-30)/(-25). Let o = m + v. Is 6 a factor of o?
False
Let j(x) = -x**3 - 8*x**2 + 18*x + 10. Is j(-12) a multiple of 27?
False
Let h = 2703 - 1191. Does 6 divide h?
True
Suppose -31 = -12*b + 917. Does 11 divide b?
False
Let p be (-3 - 1)*(-30)/40. Suppose -5 = f - p. Does 28 divide (3 - 2)*f - -96?
False
Let j = -1038 + 2703. Does 45 divide j?
True
Let p(f) = f**2 - 8*f + 2. Let v be p(7). Let n(i) = i**2 + i + 4. Let r be n(v). Is 27 a factor of (r - 29)/(2/(-24))?
False
Let s be (0 - (-1 - -18))*-1. Let g = 29 - s. Does 12 divide 27 - (g/2)/2?
True
Let d = 655 - -58. Is d a multiple of 4?
False
Let b(z) = -z**3 + 3*z**2 + 2*z + 1. Let j be b(2). Let w be (-14)/(-63) + (-2)/j. Suppose y = w, 2*y + 32 = -o + 3*o. Does 7 divide o?
False
Let h be 2/(-9) - (-2032)/72. Let o = h - 18. Does 3 divide 58/o + (-5)/(-25)?
True
Suppose 4 = 2*d, 75*s - 2*d = 70*s + 10761. Is s a multiple of 48?
False
Let y(c) = -c**2 + 4*c - 3. Let q be y(4). Does 9 divide (-2)/q*(-3672)/(-48)?
False
Let t(h) = 252*h**2 - 8*h - 21. Is t(-2) a multiple of 69?
False
Let o = -965 - -1408. Does 21 divide o?
False
Suppose -18 = -4*y + 2*p, 3*y + p + 0 = 6. Suppose 3*m = -12, 4*m - 664 = -4*t + 5*m. Suppose a + 3*z = 2*z + 47, y*z = 3*a - t. Does 17 divide a?
True
Suppose 14*h = 34*h - 17040. Is h a multiple of 44?
False
Let y = 0 - 4. Let u = y - -12. Let d = u + -4. Is d a multiple of 4?
True
Let m = -516 - -750. Is m a multiple of 8?
False
Let i(o) = -104 + 12*o - 60*o + 97. Is i(-4) a multiple of 14?
False
Suppose -25 - 11 = -6*o. Is 8/o - 1768/(-51) a multiple of 5?
False
Suppose 2*x + 3*y + 2*y = 61, y + 27 = x. Let q(z) = -8*z**3. Let r be q(-1). Let h = x - r. Is 20 a factor of h?
True
Let c be ((-2)/4)/((-6)/(-828)). Let g = -6 - c. Does 21 divide g?
True
Let o be 3/(-2)*24/(-18). Suppose 0 = o*p - 21 - 103. Let z = p + -31. Does 11 divide z?
False
Suppose 20 = -5*w, -34*f + 35*f = 2*w + 1648. Does 20 divide f?
True
Suppose 15*c - 6362 - 1243 = 0. Does 87 divide c?
False
Let h = -525 - -2917. Is 39 a factor of h?
False
Suppose -27*h = 1261 - 10171. Does 33 divide h?
True
Let n be 4/(-8)*(0 + -6). Suppose n = l - 4. Let d = l - -14. Does 8 divide d?
False
Suppose -5*l - 4*c + 617 = 156, 162 = 2*l - 4*c. Suppose -2*f + 127 = -l. Is f a multiple of 25?
False
Let s(d) = -d**2 + 2*d**2 - 16 - 18*d + 22 + 41. Is s(20) a multiple of 29?
True
Let k(j) = -j**3 + 2*j**2 + 3*j + 2. Let r be k(3). Suppose 130 = -r*c + 3*c. Suppose 4*d + d - c = 3*f, -d = 5*f + 2. Is d a multiple of 6?
False
Let y be (3 - (-2 - -4))/((-1)/(-12)). Suppose y + 18 = 6*l. Is 2 a factor of l?
False
Let t = -2 + 16. Let m(k) = -2 + 30*k + t*k + 1 - 10*k. Does 12 divide m(1)?
False
Let r = 40 + -37. Suppose -107 = -o + k - 5*k, 0 = -o + r*k + 107. Is 29 a factor of o?
False
Let i(o) be the first derivative of -o**4/4 - 3*o**3 + 8*o**2 + 15*o - 7. Let z be i(-11). Suppose 0 = 3*a - 6, a - z - 261 = -5*t. Does 17 divide t?
True
Let y = 19 - 19. Suppose 3*v + 10 - 403 = y. Is v a multiple of 27?
False
Let i = 57 + -54. Does 7 divide i + -2 + 3 + -1 + 45?
False
Let z(g) = -g**2 + 6*g - 6. Let t be z(3). Suppose t*d + 348 = 2*i + 2*i, -3*i + 250 = -5*d. Does 18 divide i?
True
Suppose 0 = -2*h - 2*z + 6, -h + 3 = -5*z + 4*z. Suppose -48 = -h*x + 168. Is x a multiple of 8?
True
Suppose 43*i - 39*i - 1392 = 0. Suppose 27*j + i = 31*j. Is 15 a factor of j?
False
Suppose -663*z + 1705 = -652*z. Is z a multiple of 11?
False
Suppose 3*w + 113 = -y, -2*y - 22 = 2*w + 52. Let s(j) = -j**3 + 8*j**2 - 4*j - 2. Let i be s(5). Let a = w + i. Is a a multiple of 15?
True
Let m be ((-1)/(-3))/((-4)/(-24)). Suppose 12 = -4*u, u + u + 12 = m*j. Suppose -q = 2*s - 32, q + 2*q - j*s = 60. Does 12 divide q?
True
Suppose -4*t - 1783 + 6611 = 2*n, 5*n - 2*t - 12058 = 0. Is 86 a factor of n?
False
Is ((-60)/(-40))/(6/284) even?
False
Let y(t) = 569*t**2 - 6*t - 8. Does 15 divide y(-2)?
True
Suppose 0*l = 6*l - 18. Is 6 a factor of 15 + (l - 7 - -3)?
False
Does 52 divide (-3 + 11 + -268)*(-2 + -1)?
True
Let a(z) be the second derivative of z**3 + 1/12*z**4 + 0 + 6*z**2 - 4*z. Is 9 a factor of a(-8)?
False
Let p be -11*1*37*(1 - 3). Suppose p = 3*a - 4*w, -5*a - w + 539 = -3*a. Is a a multiple of 45?
True
Let c be (3/(-15) - (-1166)/(-20))*-4. Suppose 2*z = -4*a + 468, z + 5*a = a + c. Is z a multiple of 13?
True
Suppose -3*v - 3*n = -1338, 3*n = 2 + 1. Does 53 divide v?
False
Let n(t) = 22*t**2 - 45*t - 4. Is 44 a factor of n(-4)?
True
Let p(s) = 15*s**2 - 27*s - 5. Let r be p(4). Let a = 256 - r. Does 15 divide a?
False
Let n be (-17)/(-5) - 18/(-30). Suppose 6 = -n*b + 22. Suppose 0 = -b*f + 22 + 2. Does 3 divide f?
True
Is 1366 + 5 + 7 + -3 a multiple of 55?
True
Let x(d) = -d**3 + 4*d**2 - 5*d + 2. Let i be x(3). Let k(b) = 2*b**2 + 8*b + 9. Let o be k(i). Suppose 0 = -5*n + 46 + o. Does 11 divide n?
True
Suppose -3*l + 0 = -2*u + 3, -4*u + l = -11. Let g(q) = 10*q**2 - 3*q - 6. Does 14 divide g(u)?
False
Let a = -172 - -298. Is 46 a factor of a?
False
Let z(o) = -3*o**2 + 4*o - 5. Let q be z(-5). Let u = -6 + -6. Is (u/10)/(6/q) a multiple of 5?
True
Suppose -5*x + 35 = -5*a, -9*a + 4*a = -4*x + 33. Suppose -d = 2*z - 14, x*z + 3*d - 8 = -d. Does 4