 q(t) = 36*t**3 - t**2 + t. Is q(2) a multiple of 26?
True
Suppose -6*j + 11*j = 0. Suppose 4*a - 5*u - 71 = j, 4*u - 30 + 7 = -a. Does 9 divide a?
False
Suppose 0 = 3*h - 14 + 2. Suppose -2*y + h*y = 84. Is y a multiple of 14?
True
Let r = 43 + -1. Is r a multiple of 16?
False
Let l = 13 + -23. Let j = l + 14. Suppose -4*y + i + 92 = 0, -21 + 5 = -j*i. Is y a multiple of 12?
True
Let s(r) = 5*r**2 - 12*r + 19. Is s(2) a multiple of 2?
False
Let j = -1 + 18. Is j a multiple of 8?
False
Let h(q) = q + 13. Let a(x) be the first derivative of x**2/2 + 9*x - 1. Let d(p) = -8*a(p) + 5*h(p). Is 7 a factor of d(-7)?
True
Is 12 a factor of (-18)/21*(-37 - 5)?
True
Suppose 0 = 2*z - 7*z + 390. Is 5 a factor of z?
False
Suppose 4*x + 2*i - 10 = 0, 2*x + 27 = 5*x - 5*i. Suppose -4*z - 8 = 2*n, 5 + 16 = -x*n - 3*z. Let b(m) = m**3 + 6*m**2 - 6*m - 2. Is b(n) a multiple of 12?
False
Suppose -7*v + 14*v = 805. Is 25 a factor of v?
False
Let a = -12 + 18. Suppose 14 - a = -2*t. Does 3 divide -2*6*t/6?
False
Suppose -2*p + 105 + 301 = 0. Does 7 divide p?
True
Suppose -4*c - 7 = 4*q + 1, 5*c = 4*q - 10. Let m(u) = q - 9 + u + 5*u. Does 13 divide m(7)?
False
Suppose 4*x = x + 6. Let u be 1*-1*5*x. Let i = -5 - u. Is i a multiple of 5?
True
Let c = 9 - 16. Let z(b) = -2*b - 3. Does 4 divide z(c)?
False
Let v(n) = n**2 - 6*n + 3. Let f(w) = w**3 + 14*w**2 + 11*w - 19. Let a be f(-13). Does 10 divide v(a)?
True
Suppose 3*a - 36 = 2*a. Is a a multiple of 12?
True
Let v = 302 + -206. Does 24 divide v?
True
Suppose -6*r = -2*r - 28. Let n(d) = 5*d**2 - 2*d - 4. Let g(m) = 14*m**2 - 7*m - 12. Let l(u) = 4*g(u) - 11*n(u). Is l(r) a multiple of 3?
True
Let n(c) = c + 8. Let y be n(-7). Suppose y = 5*v - 14. Suppose -4*x + v*l = -1, -6*x + 4*x + 2*l = 2. Is 4 a factor of x?
True
Let n = -7 - -7. Let q(o) = -o**2 + o + 45. Is q(n) a multiple of 14?
False
Let t = -16 - -6. Suppose 0 = 2*m + 3*m. Let u = m - t. Is u a multiple of 6?
False
Suppose -3*m - 852 = 4*s, s = -5*m - 159 - 37. Let j = -152 - s. Suppose -4*z - 4*h = -j, -3*h + 39 - 5 = 2*z. Is 7 a factor of z?
True
Let a(c) = -c**3 - 11*c**2 - 10*c + 5. Let w be a(-10). Let i(k) = k**3 - 4*k**2 - 5*k + 7. Is 4 a factor of i(w)?
False
Let g(j) = 2*j - 5. Let u be (-1)/((-1)/11*1). Is g(u) a multiple of 7?
False
Suppose -3 - 21 = -4*l. Is 6 a factor of l?
True
Suppose 3*g - 670 = -7*g. Is g a multiple of 19?
False
Let t(w) = -41*w**2 + 2*w - 1. Let n be t(1). Let g be 4/10 - 127/5. Let m = g - n. Is m a multiple of 12?
False
Let l = 40 - 22. Is 11 a factor of l?
False
Let m = 7 + -1. Suppose 0 = -2*n - n - m. Does 3 divide 7 + (-2 - 2/n)?
True
Suppose -4*v + 19 + 61 = 4*u, 0 = -3*v - u + 70. Is v a multiple of 17?
False
Let r(t) be the third derivative of t**5/6 - t**3/6 + 4*t**2. Is 4 a factor of r(1)?
False
Let h(x) = x**3 + 5*x**2 + 3*x. Let b be h(-3). Suppose 5*f = -g + b, g - 4*g = -4*f - 8. Suppose l + 4*d - 14 = 9, 0 = g*d. Is l a multiple of 12?
False
Let h(g) = g**3 - 2*g**2 - 3*g + 3. Let l be h(2). Let j(y) = 0 - 3 - 2*y - 6*y + 2. Does 11 divide j(l)?
False
Suppose 4*g + 12 = 0, -3*p + p + 3*g + 29 = 0. Is p a multiple of 5?
True
Is 25 a factor of 4/(-2)*(3 - (-31)/(-2))?
True
Suppose -3*c = -3*o + 36, -2 = 3*c + 5*o + 2. Let l be ((-50)/(-40))/(2/32). Let t = l + c. Is 6 a factor of t?
True
Let i(b) be the third derivative of b**5/60 + b**4/8 + 7*b**3/6 - 4*b**2. Is 6 a factor of i(-5)?
False
Let g(o) = o + 13. Let k be g(-8). Suppose -k*x = -61 + 21. Does 4 divide x?
True
Let a(m) = m**3 + 4*m**2 + 2*m - 2. Let b be a(-2). Let d be ((-4)/12)/(b/(-12)). Let s = d + 2. Is s a multiple of 2?
True
Suppose -39 = -4*i - 2*g + 3*g, -51 = -5*i + 2*g. Is 3 a factor of i?
True
Let v be (-13)/(-4) - (-4)/(-16). Suppose 0 = -4*x + 5*r - 2, 4*x + 6 = -0*r + v*r. Does 22 divide 915/(-10)*2/x?
False
Let q(i) be the second derivative of -i**4/12 - 2*i**3/3 - i**2/2 + 3*i. Let y be q(-3). Suppose -11 = -y*p + 2*z - 3, 20 = 5*z. Is p a multiple of 8?
True
Suppose -2*o - o = -9. Does 12 divide -2 + (0/o - -44)?
False
Let c be 2/8 - 22/(-8). Suppose n - 27 = -4*l + 1, c*n - 24 = 3*l. Does 6 divide n?
True
Let d = -43 + 72. Does 14 divide d?
False
Let f be (3 - 0)*4/3. Suppose 0 = v + f*v. Suppose v*i = 2*i - 20. Is 10 a factor of i?
True
Does 18 divide 0 - (-1)/(4/192)?
False
Let b = 3 - 9. Let f be (-1)/((-3)/b) + -79. Let u = f + 119. Is u a multiple of 16?
False
Suppose 2*s + g = -12, -4*g - 36 = -s + 6*s. Let u(l) = -5*l**2 - 17*l - 5. Let z(f) = 2*f**2 + 6*f + 2. Let y(c) = 4*u(c) + 11*z(c). Is y(s) a multiple of 16?
False
Let i(g) = 3*g**2 - 21*g + 56. Is i(12) a multiple of 59?
True
Let z(b) = 3*b**2 - 30*b - 25. Let u be z(11). Let g(x) = 9*x**2 + 2*x - x**3 + 3*x + 5 - 7*x. Is g(u) a multiple of 20?
False
Let n(g) = -g**3 - 6*g**2 - 4*g + 3. Let q be n(-5). Is (q + -1)*28/(-3) a multiple of 14?
True
Suppose -5*i + 0*b = b - 22, 5*i = 3*b + 34. Let m = -6 + i. Does 8 divide 1/(20/(-22) - m)?
False
Suppose -5*x + 18 = -l, 0 = -2*l - 3*x + 16. Suppose -2*w + 11 = f, 14 = 2*f - 0*f + l*w. Suppose 3*s = -3*u - 2*u + 1, -f*s + 5*u + 41 = 0. Is s even?
False
Suppose -4*x + 75 = 23. Let g = x - -17. Does 16 divide g?
False
Let y(d) = d**2 + 24*d - 15. Let l be y(-12). Let i = 249 + l. Is 30 a factor of i?
True
Suppose -s - 4 = -2*s. Let j = -22 + 31. Let m = s + j. Does 13 divide m?
True
Does 2 divide 1/1 - (-20 + 18)?
False
Let c = 1 + -1. Suppose 39 = j - 5*n, -4*j - 3*n + 119 + 60 = c. Suppose j = q - 4*d, d = -4*q + 6*d + 121. Is q a multiple of 11?
False
Let r(d) = d**2 - 10*d - 20. Is 24 a factor of r(-6)?
False
Let n(l) = -l**3 - l**2. Let o be n(0). Suppose -3*u + 30 = -o. Suppose -10 = -3*p + 4*r + u, -27 = -3*p - 3*r. Does 4 divide p?
True
Suppose 0 = -4*s - 3*y + 556, -y - 2*y - 154 = -s. Is s a multiple of 34?
False
Let o(t) = -t + 4. Let k be o(4). Let u be (k - (-1 - -1))*-1. Suppose 3*q - q - 26 = u. Is 13 a factor of q?
True
Suppose 0 = -j + q + 2, 2*j - 2*q - 2 = -q. Let m = 6 - 2. Suppose m*w - 2*w - 60 = j. Is w a multiple of 15?
True
Suppose 5*c = -0*c + 15. Suppose -c = q + 2*q. Is (-69)/(-3) + (-1)/q a multiple of 13?
False
Suppose 0 = -3*o - 12 - 9. Let t(m) = 17*m**2. Let p be t(-1). Let z = o + p. Does 10 divide z?
True
Let j(q) be the second derivative of q**5/20 - 2*q**4/3 + 5*q**3/3 - 7*q**2/2 - q. Let x be j(6). Let p = 34 + x. Does 10 divide p?
False
Suppose 5*f - 87 = 4*f. Does 10 divide f?
False
Let g(v) = -v**3 + 4*v**2 - 3*v + 1. Let f be g(2). Let a be 1 - 1 - (-1 - f). Let l(j) = 7*j - 4. Is l(a) a multiple of 12?
True
Let l(s) = 3*s**3 - 4*s**2 + 4*s + 1. Let g(d) = -13*d**3 + 15*d**2 - 15*d - 3. Let o(c) = 2*g(c) + 9*l(c). Is o(5) a multiple of 3?
False
Let l be (-10)/(-2)*6/10. Let j = l - -2. Suppose -107 = -3*f - j*s, 3*s = -0*f + f - 17. Does 11 divide f?
False
Is 17 a factor of 1 + -1 + (-74)/(-2)?
False
Let s(l) = -l**3 + l. Let r be (-2)/(-10) + 4/5. Let x be s(r). Suppose x*p = 5*p - 120. Is 12 a factor of p?
True
Let s(x) be the second derivative of 0*x**4 + 0 - 1/20*x**5 + 0*x**3 + 2*x + 6*x**2. Is 12 a factor of s(0)?
True
Is 33 a factor of ((-72)/(-24))/(1/107)?
False
Let h = -14 + 22. Is 3 a factor of h?
False
Let f be 236/10 + 4/10. Does 7 divide 19/3 - f/(-36)?
True
Suppose k - 4*k + 96 = 0. Suppose k = 2*u - 2. Let a = -11 + u. Is a a multiple of 6?
True
Let y = 40 + -28. Let h(s) = 5*s + 4. Let l(d) = -d + 1. Let j(i) = -h(i) - 6*l(i). Is j(y) a multiple of 2?
True
Suppose -4*u + 3*i = -625, 0 = -5*i + 2*i - 9. Is u a multiple of 7?
True
Let a(s) = -4*s**3 - 2*s**2 + 3*s + 3. Let n be a(-2). Suppose 3*c - 27 = n. Is 16 a factor of c?
True
Let r = -8 - -18. Suppose -i - 4*i + 5*o - r = 0, 4*o = -2*i - 16. Is 2 a factor of 3/((-2)/(i/3))?
True
Let f(y) = y**3 + 7*y**2 + 3*y - 2. Let x(j) = j**2 + 7*j - 11. Let z be x(-8). Is 17 a factor of f(z)?
False
Suppose 4*p = g + g + 4, 2*p - 5*g - 10 = 0. Suppose p = -8*n + 6*n + 40. Is 20 a factor of n?
True
Suppose 1 = -l + 4. Is 15 a factor of 25/15*10*l?
False
Suppose a = -k - 2*a + 10, -86 = -3*k + 5*a. Is k a multiple of 6?
False
Suppose 3*a - 110 = a. Does 11 divide a?
True
Let o = -30 - -17. Let g(i) = i**2 + 11*i - 5. Is 7 a factor of g(o)?
True
Let c = 158 - 91. Suppose -q + 58 + c = 3*v, -q = 1. Suppose 0 = 3*i - 0