 = 4*b**2 - 13*b + 245. Is z(11) a multiple of 17?
False
Let x be ((-2)/3)/((-14)/84). Suppose -3*s + 1 = -x*s, -25 = -2*u + s. Is 12 a factor of u?
True
Let f(d) = -d**2 + 16*d - 32. Let w = 0 - -6. Does 7 divide f(w)?
True
Let m(l) = -l**3 + 7*l**2 - l + 8. Let t be m(7). Let z(r) = 3*r - 1. Let u be z(t). Suppose c + 119 = 5*o, 0*c + u*c = 4*o - 94. Is o a multiple of 12?
True
Suppose 0 = -4*d + 2*l + 2784, 4*d - 5*l = -10*l + 2756. Is d a multiple of 3?
False
Let z(b) = -b**2 + 14*b - 13. Let i be z(13). Suppose -w + 5*k = -i*w + 2, -6 = -3*k. Does 6 divide w?
False
Suppose -6*j + 4*j = 3*a - 1211, a + 1223 = 2*j. Is 13 a factor of j?
False
Suppose -4*k + t = -3*k - 3096, 5*k = -4*t + 15516. Is 62 a factor of k?
True
Suppose 4*o + 82 = 2*o. Let g = o - -185. Is g a multiple of 9?
True
Let o(h) be the third derivative of h**4/6 + 20*h**3/3 - 9*h**2. Does 16 divide o(18)?
True
Let f be 1*16/(-20) - (-1)/(-5). Let j(n) = -10*n - 4. Is 2 a factor of j(f)?
True
Let j be 1/(-2) - (-164)/(-8). Let h be ((-90)/(-10))/(-3*1/(-12)). Let y = h + j. Does 13 divide y?
False
Let a(f) = -2*f + 2. Let r be a(-1). Suppose -7*q = -r*q + 117. Let p = 21 - q. Is 15 a factor of p?
True
Let b(s) = 14*s - 35. Let g be b(3). Suppose g*d = -9*d + 1680. Is d a multiple of 31?
False
Let o(x) = 2*x**2 + 7. Let a(f) = 4*f - 9. Let q be a(4). Is 21 a factor of o(q)?
True
Let q be (12 + -13)/(2/4). Does 9 divide (-104)/q - (-18)/9?
True
Suppose 1034 = -5*d - 6*d. Suppose -206 = 4*x - 2. Let j = x - d. Is j a multiple of 8?
False
Suppose 24*n + 3 = 25*n. Suppose 2*y - 276 = -4*c, -2*c + n*y + 55 = -c. Is c - -2*(-6)/(-4) a multiple of 35?
True
Let d be (-1)/(-4) + 18/(-8). Let s be (-7 + 13)*(-1)/d. Suppose -130 = -s*f + 14. Does 12 divide f?
True
Suppose -3*v - a = -2*a - 111, 0 = 3*v + 4*a - 111. Is 31 a factor of v?
False
Let n(s) be the second derivative of -s**3/6 + 23*s**2/2 - 8*s. Let p be n(11). Suppose 2*j + 2 = p. Does 5 divide j?
True
Let v(h) = 3*h**3 + 4*h**2 - 8*h + 4*h**2 + 12 + 3*h**3 - 5*h**3. Let x be v(-9). Suppose -5*f + 10*f = s + 3, 4*s - 73 = x*f. Is s a multiple of 6?
False
Let x = 17 + -13. Suppose -5*j = -25, 2*o + 0*o + x*j = 244. Does 16 divide o?
True
Let s(x) = 2*x - 6. Let m be s(3). Suppose 3*k = 5*k - 2*a - 134, m = 3*k + 2*a - 191. Is k a multiple of 13?
True
Let l(d) be the first derivative of d**4/12 - d**3 + 2*d**2 + 6*d - 6. Let b(i) be the first derivative of l(i). Is b(11) a multiple of 17?
False
Suppose -q + k - 2*k = 3, -2*k = 5*q. Let b be -1 + (1 - q) - -7. Suppose -4*a = -b*a + 56. Is a a multiple of 14?
True
Let q(j) = 165*j - 71. Does 8 divide q(3)?
True
Suppose -2*a + 596 = o, -90*a + 93*a + 5*o - 880 = 0. Is 150 a factor of a?
True
Let b(u) = 14*u**2 - 69*u + 7. Is b(5) a multiple of 4?
True
Let h(d) = 13*d**2 + 3*d - 4. Let b be h(3). Suppose 2*i - 4*j - 154 = 0, 2*i + 2*j - 50 - b = 0. Let n = -20 + i. Does 15 divide n?
False
Let r(q) = -q**2 - 4*q - 5. Let x be r(-7). Let l = 17 - x. Does 6 divide l?
False
Suppose -79*g + 98400 = -19*g. Is g a multiple of 40?
True
Let j(z) be the first derivative of -3*z**3/2 - 7*z**2/2 - 2*z - 1. Let c(q) be the first derivative of j(q). Is 10 a factor of c(-5)?
False
Suppose 10 + 30 = -4*h. Let b be h/1 + -2*1. Does 2 divide (-51)/b - 3/12?
True
Let o(g) = g + 82. Is o(8) a multiple of 6?
True
Does 13 divide 3 + 1 + -1 - (6 - 107)?
True
Suppose 5*f - 3*q - 23 = 0, -q = 2*f - 3*q - 10. Suppose -f*i = 3*j - 303 + 14, -93 = -j + 2*i. Is j a multiple of 13?
False
Let b(d) = -d**3 + 13*d**2 + 18*d + 14. Let k be b(14). Let z = k + -2. Does 17 divide z?
True
Let j(x) = x**3 + 3*x**2 - 5*x + 796. Is 68 a factor of j(0)?
False
Let q = 161 + -126. Is 10 a factor of q?
False
Suppose 0 = 3*c + 48*i - 43*i - 15526, 0 = 3*c - 3*i - 15558. Is c a multiple of 30?
False
Suppose 5*h + 25 = 0, -2*h = 5*g - 6*h + 55. Let l be (-4 + 2)/(10/g). Suppose 2*k - 132 = -0*n + 4*n, -l*n = -3*k + 192. Is 11 a factor of k?
False
Let w be 61*((-2)/(-6))/(4/(-12)). Let i = 166 + w. Does 18 divide i?
False
Suppose 0 = 129*p - 132*p + 267. Is p/(-3)*-9 + 1*3 a multiple of 18?
True
Does 44 divide 1/(-4 + (-33390)/(-8346))?
False
Suppose -s - 4*o = -6*o - 10, 22 = 4*s - 2*o. Suppose -3*g - s*k + 503 = 0, -107 = -2*g + 4*k + 215. Is g a multiple of 19?
False
Let l be (-9)/15 - 66/15. Let y = l - -5. Suppose y*r = -5*r + 80. Does 4 divide r?
True
Let t be (64*(-8)/(-10))/(14/(-70)). Let y = 386 + t. Does 10 divide y?
True
Let x(h) = 4*h + 2. Let d be x(2). Let k = -22 + 17. Is (-10 - k)*(-134)/d a multiple of 15?
False
Suppose -3*m + 5 = g - 2*g, -2*g - 5*m + 34 = 0. Let a(w) = -w**3 + 6*w**2 + 9*w - 6. Let x be a(g). Suppose 0 = 2*s - x - 40. Is 12 a factor of s?
True
Let p be (-4)/5*9820/8. Let i = p + 1720. Does 7 divide i/21 + (-9)/63?
True
Let g be ((-21)/6)/(-7)*(9 + -1). Suppose 0 = -g*p + 628 - 188. Is 22 a factor of p?
True
Suppose -6*z - 84 = -3342. Is z a multiple of 18?
False
Let l(g) = g**2 - 13*g - 13. Suppose -4*b + 11 = -3*b. Let q be l(b). Does 10 divide (2 + q/3)*-3?
False
Let m be (-6)/(-2)*(-16)/(-24). Is 13 a factor of 4 + -356*m/(-4)?
True
Suppose -11*w = -13*w - 14. Let p = -27 + 62. Let d = p + w. Does 14 divide d?
True
Let x(w) = 2*w**2 + 16*w - 48. Does 24 divide x(10)?
True
Suppose 0 = 4*b - l - 300, 4*b - 8*b = -2*l - 304. Let w = 59 - 33. Let m = b - w. Is m a multiple of 15?
False
Let r be (-14)/3*(-6)/2. Let s = 16 - r. Suppose s*a - 31 = 1. Does 16 divide a?
True
Let p be 2/(-1) - (-1 + 0). Let s = p - -13. Suppose -3*z - s = 0, -3*y + z = 5*z - 89. Is y a multiple of 9?
False
Let u(t) = -1577*t - 47. Is u(-1) a multiple of 8?
False
Let x(j) = -j**3 - 30*j**2 - 41*j - 3. Is x(-29) a multiple of 25?
False
Let w = -3 + 5. Suppose 20 = w*v + 3*v. Suppose v*y + 3*y = 301. Does 13 divide y?
False
Suppose 0 = -2*p + 8 + 2. Let d(q) = 3*q + 5. Is d(p) a multiple of 6?
False
Is (-4932)/(-14) + (-9 - 183/(-21)) a multiple of 22?
True
Suppose -3*a = -c + 171, -a = -3*c - 2*a + 523. Let b = c + -119. Does 13 divide b?
False
Let r = -4322 + 6170. Is 28 a factor of r?
True
Let p be (-3)/15 + 284/20. Let a = p + 72. Does 43 divide a?
True
Let l = -49 + 70. Suppose -9*u - l = -10*u. Does 3 divide u?
True
Let l(d) = -1. Let v(u) = u**3 + 6*u**2 - 4*u + 3. Let h(a) = -l(a) + v(a). Let r be h(4). Suppose -w + r = w. Does 15 divide w?
False
Let s(t) = 16*t + 1315. Is s(-75) a multiple of 115?
True
Let p = -41 + 57. Suppose -5*d + 6*d = p. Is d a multiple of 15?
False
Suppose 0 = d + 2 - 15. Let n = d - 3. Is n a multiple of 6?
False
Is (-80)/(-5*(-12)/(-1650)) a multiple of 20?
True
Suppose 2*g - g - 3 = 0. Let q(a) = 3*a**2 - 5*a + 6*a**2 - 7*a**2 + 4*a**2 + 10. Is 7 a factor of q(g)?
True
Let o(b) = -27*b + 105. Is 17 a factor of o(-6)?
False
Is (-1 + (-1)/5)/((-4)/490) a multiple of 21?
True
Let t = 38 - 14. Let b = t + 28. Does 13 divide b?
True
Let v = 1137 - -818. Is v a multiple of 23?
True
Let s(k) = -k**3 - 20*k**2 - 22*k - 46. Is s(-20) a multiple of 15?
False
Let j(w) = -w - 6. Let n be j(-5). Let m = n + 4. Suppose 2 + m = p. Is p even?
False
Suppose 0 = -5*c + 6*c. Suppose c = 4*s - 4*l - 32, 2*s - s - 2 = -2*l. Suppose 0 = -2*g + s*g - 44. Is g a multiple of 4?
False
Let f(y) = -y**3 - 29*y**2 - 32*y - 26. Is f(-28) a multiple of 4?
False
Suppose -1253 = -10*c - 283. Let j = c - 49. Is 14 a factor of j?
False
Let l(p) = p**2 + 13*p. Let s be l(-13). Suppose s*m - 372 = 2*m. Is (-6)/10 - m/10 a multiple of 9?
True
Suppose -8*p + p + 63 = 0. Suppose -p*l = -45 - 36. Is 5 a factor of l?
False
Let u = -13 - -10. Let i be u/5 + (-6)/(-10). Does 5 divide 11 + -13 - (i + -18)?
False
Suppose -2*r + t + 4*t = 40, -2*r = 4*t + 58. Let v = 41 + r. Suppose 0 = -5*x - w + 16 + 24, -3*x + w = -v. Is x even?
False
Does 9 divide (13/(-13)*-4)/(4/162)?
True
Suppose -3*n = -n - 8. Let m(u) = 6*u**2 + 3*u - 7. Let a be m(n). Let s = -56 + a. Is 9 a factor of s?
True
Suppose -5*m + 4 = 2*j - 0*j, 0 = -4*m + 2*j + 14. Suppose 0 - 6 = -m*b. Suppose -4*y - b*z + 153 = y, 2*y + 3*z = 54. Is 11 a factor of y?
True
Suppose -663 = -6*r + 57. Does 23 divide r?
False
Suppose 2*y - 5*c = 98, -5*y = -4*y + 3*c - 27. Let m = y - 28. Does 3 divide (-4)/22 - (-145)/m?
False
Is -3*((-3 + -23)*15 + 0) a multiple of 65?
True
