factor of z?
True
Let z(r) = -2*r**3 + 18*r**2 - r + 5. Is 11 a factor of z(8)?
False
Let c be (-115)/(-25) + (-2)/(-5). Suppose 0*z - c*z + 420 = 5*n, -5 = -n. Is 24 a factor of z?
False
Let j = 145 + -74. Is j a multiple of 12?
False
Suppose c = 2*i - 0*c - 37, -57 = -3*i + 3*c. Let x be (-12)/i*(-42)/4. Suppose y - 7 = -n, x - 17 = -5*y. Is 5 a factor of n?
True
Suppose -x = -3*y - 18, -5*x - 3*y - y = 5. Suppose 0 = -b - 3*t - 1, 2*b + 1 = -t + 4. Suppose 4*s - b*i - 56 = i, -i = -x*s + 42. Is 7 a factor of s?
True
Let k(r) = r**3 - 9*r**2 + 8. Let b be k(9). Let v(z) = z**3 - 6*z**2 - 11*z + 5. Does 15 divide v(b)?
True
Suppose 4*l = -3*i - 7 - 2, -5*l = -4*i - 12. Suppose l*d = -4*d + 240. Does 22 divide d?
False
Let a(z) = -z**2 + 9*z - 14. Let h be a(10). Let o = -16 - h. Is 4 a factor of o?
True
Suppose 2*v - 7*v = -20. Suppose 56 = -v*q + 300. Is 19 a factor of q?
False
Does 29 divide (-3 - -4) + -2 + 88?
True
Let n be (-3 - 0 - -3)/1. Let x = 13 - n. Does 11 divide x?
False
Is 45 a factor of 93 + 2/4*(-1 - 5)?
True
Is 16 a factor of (-992)/(-20) - (-2)/5?
False
Does 6 divide -9 - -5 - 12*-3?
False
Suppose 4*t + 2*o - 206 = 0, 157 = 4*t + 4*o - 55. Is 7 a factor of t?
False
Suppose 0 = -3*g - 4*w - 19, -w = -4*g - 61 + 23. Let d(h) = h**2 + 7*h + 1. Is 19 a factor of d(g)?
True
Let z be (0 + 1)/((-2)/(-4)). Suppose -4*x = -h - 99, -3*x - z*h = x - 90. Does 8 divide x?
True
Suppose -1 = 2*f - 11. Suppose 2*j - 21 = f. Is 13 a factor of j?
True
Let h = 18 + 2. Let k = h + 0. Let z = 46 - k. Is z a multiple of 9?
False
Let c(b) = 6 + b - 23 - 4*b. Is c(-7) a multiple of 2?
True
Let s be 40 + (-2 + 3)*1. Let n = 1 + 4. Suppose -2*q + n*p = -s, 67 = 4*q - 0*p - 5*p. Is 11 a factor of q?
False
Suppose -y + 114 = 93. Does 21 divide y?
True
Let b(d) = -4*d + d + 0*d - 2*d. Let x be b(-12). Suppose 2*r = -3*r + x. Is 12 a factor of r?
True
Let b(r) = -5*r - 16. Suppose 43 = -3*d + 19. Is b(d) a multiple of 24?
True
Let h(t) = t**3 + 10*t**2 + 6*t + 6. Is 11 a factor of h(-9)?
True
Suppose -5*d + 675 = -4*j, 2*d - 2*j - 2*j - 258 = 0. Is 36 a factor of d?
False
Let a(o) = o + 8. Let z be a(-10). Is 9 a factor of ((-1)/z)/(4/80)?
False
Let s be (-7 - -5)*(-9)/2. Let w = -3 + 0. Does 9 divide (-68)/w + 3/s?
False
Suppose -2*o - 84 = 2*l, 84 + 124 = -5*l - 4*o. Is 8 a factor of ((-32)/40)/(2/l)?
True
Let m be (-94)/(-3) + 1/(-3). Suppose 0 = -3*a - 2*r + 59, 76 = 2*a + 2*a + 2*r. Let f = m - a. Is 6 a factor of f?
False
Let w be 75 + (1 - (4 - 2)). Suppose -w = -4*a - 14. Does 7 divide a?
False
Let h(j) = -j**3 - 4*j**2 + 6*j + 4. Let n be h(-5). Let l be (n - 1) + (0 - -2). Suppose -5*r + l*r + 45 = 0. Does 7 divide r?
False
Let m(d) = 6*d**2 - d + 1. Is 3 a factor of m(1)?
True
Is 10 a factor of -1*2 + -1*(4 - 26)?
True
Let u = 26 + -39. Suppose 3*f = -3*t + 4*f + 60, -3*t - 5*f + 78 = 0. Let m = t + u. Is 5 a factor of m?
False
Suppose 50 = -2*n - 3*n. Is 17 a factor of n/3*-1*12?
False
Suppose b + l - 7 = 0, 4*b - 8*b + l = -23. Suppose -3*s - 5 = 2*q, -b - 9 = -5*q - 2*s. Suppose -u + 3*a = -3, q*u - u + 4*a = 92. Is 9 a factor of u?
True
Let f(m) = -m**3 - 10*m**2 + 9. Let l be f(-10). Suppose 2*k = 2*g - 42, -g - k = -22 - l. Is 13 a factor of g?
True
Suppose -4*b + 423 - 111 = 0. Is b a multiple of 35?
False
Suppose -80 = -4*i - 20. Suppose 2*c - 4*k = 12, 0*c - 5*k = 3*c + i. Suppose g = 4*w + 18, c = -4*g - 4*w + 61 + 51. Does 13 divide g?
True
Let y(w) = 6*w - 15. Is 16 a factor of y(9)?
False
Suppose -3*k - 210 = -4*c, 2*c + c - k - 160 = 0. Is c a multiple of 9?
True
Suppose 15 = q - 0*q. Suppose 0*i + 5 = -2*d - 3*i, -d = 4*i + q. Suppose 4*y + 52 = 5*l, 3*y - 2*y + 43 = d*l. Is l a multiple of 3?
False
Suppose -447 = -3*i - 3*u, 5*i - 1048 + 303 = u. Is 39 a factor of i?
False
Let q = -72 + 51. Let x = q - -37. Is x a multiple of 6?
False
Suppose 5 = -5*g - 4*j, 3*g + 6 = -2*j - j. Suppose 2*h - 83 = 3*v, g + 3 = 2*v. Does 23 divide h?
True
Suppose 0 = 2*o - 5*u - 21, 0*o - 3*o = 3*u. Suppose 21 + 6 = 2*q + o*s, 11 = q + 4*s. Is q a multiple of 15?
True
Suppose 0 = -2*j + j + 30. Let g(s) = s**2 + 6*s - 19. Let r be g(-8). Let c = r + j. Is c a multiple of 19?
False
Suppose -211 = 6*w - 691. Is w a multiple of 20?
True
Is (-3 - (-1192)/5) + 18/(-45) a multiple of 17?
False
Suppose -5*h = 15, -6*p + 2*p - 2*h + 50 = 0. Suppose -z + 4*q = -15, 5*z - q = -5*q - 45. Let t = p + z. Is t a multiple of 9?
True
Suppose -3*w + 8 = 3*h - 4, 40 = 4*w - 4*h. Suppose -3*s + 6 + w = r, -4*s + 65 = 5*r. Is 13 a factor of r?
True
Let c(l) = l**2 - 6*l + 1. Let r be c(4). Let y = r + 11. Suppose y*z + 0*v + 3*v = 22, 3*z - 4*v = 4. Is 4 a factor of z?
True
Let s(l) be the second derivative of -l**3/2 + l**2/2 + 3*l. Does 4 divide s(-1)?
True
Let o = -6 + 8. Suppose -2*u + 112 = o*u. Is 13 a factor of u?
False
Let u = 4 - -17. Let d = 0 + u. Is d a multiple of 5?
False
Let h(n) = n + 8. Let s be h(-5). Suppose q + 6 = -2*t, -2*q = s*t + q + 6. Is t/22 - 686/(-22) a multiple of 11?
False
Suppose -5*a + 108 - 13 = 0. Let r = a - -3. Is 15 a factor of r?
False
Let m(t) = 13*t**2 + 2*t + 1. Suppose -u + 2*u = -2. Is m(u) a multiple of 14?
False
Let j = -3 - -10. Suppose -5 = s - j. Suppose 0 = -5*n - s*i + 255, -157 = -3*n + 3*i - 5*i. Is 14 a factor of n?
False
Suppose j + 4*j - 25 = 0. Suppose -4*u + j*u = 5*b - 51, 0 = 2*b + u - 19. Is b a multiple of 10?
True
Let q(u) = 34*u**2 + 7*u - 3. Does 8 divide q(2)?
False
Let k(r) = r + 5. Let o be k(-3). Suppose -y = 3*h - 123, -2*h + 2*y = o*h - 174. Is 13 a factor of h?
False
Let m(a) = -29*a**3 + 9*a**2 - 2*a + 7. Let l(q) = 15*q**3 - 4*q**2 + q - 3. Let c(y) = -9*l(y) - 4*m(y). Is 19 a factor of c(-1)?
True
Let q be (-2)/2*(0 + -1). Let w(n) = -9*n**3 + n**2 - 6*n + 6. Let i(j) = -18*j**3 + 2*j**2 - 11*j + 11. Let k(f) = -6*i(f) + 11*w(f). Is 6 a factor of k(q)?
False
Is ((-76)/4)/(-1) - -1 a multiple of 5?
True
Let v = 6 + -6. Suppose -w + 2*n = -4, 2*w - n - 10 + 5 = v. Suppose -5*t + f - w*f = -123, 4*f - 12 = 0. Is t a multiple of 9?
False
Suppose 2*l = 2*t + 72, 3*l = 2*l - 3*t + 36. Is 6 a factor of l?
True
Let g be -18 - -2 - (0 - 0). Let t = 9 + -15. Let c = t - g. Does 10 divide c?
True
Let o be -3 - 322 - 1/1. Does 18 divide o/(-9) - 6/27?
True
Suppose 0 = -0*g + 3*g - 39. Is g a multiple of 3?
False
Does 20 divide (3/(-4))/((-25)/3500)?
False
Suppose 2*f + 5*b = 8, -9 = 5*f - 6*f - 5*b. Does 3 divide 11 + (2 - f) + -3?
False
Let h = -11 + 25. Is 9 a factor of h?
False
Let q = 5 + -4. Let c be 30 + (q + -1 - -1). Does 8 divide -3*(1 - c/3)?
False
Is 10 a factor of 92*4/8 + -3?
False
Let q(u) = 3*u**3 + 2*u**2 + 3*u + 4. Does 24 divide q(4)?
True
Let p(w) = 26*w + 2. Is p(2) a multiple of 18?
True
Let j be (-15)/(-3)*(-2)/(-5). Suppose -j*o - 3*o + 110 = 0. Is 11 a factor of o?
True
Suppose 7*s - 2*s = 4*y + 65, -y - 8 = -4*s. Let r = y + 25. Is 3 a factor of r?
False
Let v(o) = 12*o**2 - o. Is v(2) a multiple of 10?
False
Suppose 1 = -f + 26. Is f a multiple of 7?
False
Let v(a) = 3*a**2 + 3*a + 3. Let s be v(-3). Let g = s + -15. Is 6 a factor of g?
True
Let v(k) = -k**3 + 5*k**2 + 7*k - 3. Let r be v(6). Suppose 5*m + 69 = 2*a + 2*m, r*a = -2*m + 123. Is a a multiple of 13?
True
Suppose 5*x = 15, -y = -3*y - 4*x + 298. Is y a multiple of 25?
False
Suppose 0 = -6*c + 4*c + 84. Is 14 a factor of c?
True
Let f(m) = m**3 - 9*m**2. Let d be f(9). Let i = d + 2. Does 3 divide (1 - 3/i)*-8?
False
Let s = 28 - 8. Does 12 divide s?
False
Suppose -3*w - 2*c + 284 = 0, 6*w - w = 2*c + 452. Is 23 a factor of w?
True
Suppose 3*t = -0*t - 12, 2*t + 120 = 4*g. Suppose -3*r = -5*i - g, 3*r - 4*i = 33 - 4. Is 11 a factor of r?
True
Let x(k) = -4*k + 101. Is 3 a factor of x(14)?
True
Suppose 25 = 4*f + 1. Suppose -3*z = 12 + 3. Let c = f - z. Is c a multiple of 7?
False
Suppose 0*v + 4*g + 109 = 5*v, 0 = -3*v + 3*g + 66. Is 6 a factor of v?
False
Suppose 2*o + o = 4*f - 336, -5*f = o - 401. Is 34 a factor of f?
False
Suppose -141 = -f + 4*q + 3, 3*f - 364 = -5*q. Is f a multiple of 12?
False
Suppose -2 - 4 = -3*g. Suppose -2*b - 26 = g*m + 2*m, -2 = -b + m. Let q = 12 + b. Does 7 divide q?
False
Let j = 413 + -259. Is j a multiple of 11?
True
Let l(z) = 4*z**3 + 2*z**2 - 4*z + 3. Let k be l(3). Suppose 