
Let p(f) = 5*f**2 + 3*f + 2. Let q = -10 - -7. Is p(q) a multiple of 19?
True
Suppose -42 = -4*b + 22. Let l = b - -11. Let n = -2 + l. Does 12 divide n?
False
Let l(w) = -6*w + 65. Does 48 divide l(0)?
False
Suppose 2*p = 4*p. Suppose -2*g + 23 + 51 = p. Let t = g - 26. Does 4 divide t?
False
Let b = -9 + 13. Suppose 4*w + 4*g - 36 = 0, -b*w - w + 5*g = -55. Does 5 divide w?
True
Let b(d) = 6*d - 43. Does 38 divide b(22)?
False
Let q(u) be the first derivative of 10*u**3/3 + u**2/2 + 2*u + 2. Let s(w) be the first derivative of q(w). Is s(1) a multiple of 16?
False
Is 15 a factor of (-105)/14*(-1 - (8 + 1))?
True
Let y be (-2)/(-3)*(-60)/(-8). Suppose y*a - a = 64. Suppose -6 = -n + a. Does 11 divide n?
True
Let d = 70 + 41. Suppose 0*c + 3*c = d. Is 17 a factor of c?
False
Suppose 3*b - 2*y = 89, b + 4*b - 190 = -5*y. Does 11 divide b?
True
Suppose 676 = -4*u - 4*a, -3*u - a = 57 + 440. Is (-1*2)/(8/u) a multiple of 13?
False
Let l be (-9 - -6)*(-16)/6. Let t(q) = -q**2 + 9*q + 4. Is t(l) a multiple of 6?
True
Let q(x) = -4*x - 2*x**2 + 1 + 4*x**2 + 0. Let z be q(4). Let l = z + -10. Is 4 a factor of l?
False
Suppose 0*d + 2*d - 160 = 0. Does 8 divide d?
True
Let d(z) = -z**2 + 12*z - 15. Is d(7) a multiple of 20?
True
Suppose 3 + 1 = 2*i. Suppose -5*d - 50 = -5*n, -i*n - 3*d = 2*d - 34. Does 12 divide n?
True
Let y(i) = i**2 - i + 20. Is y(0) a multiple of 10?
True
Suppose -5*q = -2*o + o + 27, -3 = o + 5*q. Suppose -2*z = 3*l - o, 0*z + z = l + 1. Suppose 5*k + 1 = 4*k, 0 = -z*x - 4*k + 23. Does 4 divide x?
False
Suppose -a = -4*g - 0*g + 199, -3*g = -2*a - 153. Is g a multiple of 22?
False
Suppose -4*a - 10 = -198. Is 6 a factor of a?
False
Suppose -66 = -2*j - 5*g, 4*g + g + 66 = 2*j. Does 7 divide j?
False
Suppose -2*t + 9 = -m + 2*m, 3*m = -2*t + 19. Suppose -3*p + m + 202 = 0. Is 25 a factor of p?
False
Suppose 12 = -11*x + 12*x. Does 6 divide x?
True
Let p be (-43)/(-9) + 20/90. Let t(f) = 2*f - 2. Let s be t(p). Suppose -s - 13 = -3*l. Does 2 divide l?
False
Suppose -72 = -4*x - 4. Suppose -3 = -5*z + x, -z = -3*b + 11. Suppose -b*m = -59 - 56. Is 8 a factor of m?
False
Suppose 3 = 2*m + 1, 5*m + 90 = 5*z. Does 3 divide z?
False
Is (-5)/((-30)/1046) + 1/(-3) a multiple of 15?
False
Let n(l) = 4*l**2 + 6*l - 12. Is 24 a factor of n(-6)?
True
Let m = 213 + -145. Does 17 divide m?
True
Suppose -285 + 72 = -3*k. Let z = -43 + k. Does 25 divide z?
False
Let o = 93 + -53. Does 8 divide o?
True
Suppose -3*j - w = j - 89, 3*j + 3*w - 60 = 0. Is 5 a factor of j?
False
Let v(i) = -3*i + 2. Let h be 3 - (0 - -1) - 0. Suppose -14 + h = 3*z. Does 9 divide v(z)?
False
Suppose -d - d + 40 = 0. Suppose s + 45 = 5*z, -4*z + 3*s + s = -d. Is 5 a factor of z?
True
Suppose -5*y + 41 = u, 4*y - 98 = -3*u + 58. Does 14 divide u?
True
Let n be 8/(-28) + 940/7. Suppose 0 = -2*r + k - 50, -5*r + 5*k - n = 1. Let j = r - -33. Does 8 divide j?
False
Let f(w) = -w + 31. Is f(16) a multiple of 8?
False
Let g(h) = 2*h**2 - 3*h + 3. Let q be g(2). Does 3 divide q*(0 + 0 + 3)?
True
Is 9 a factor of -3 - -22 - (1 + 0)?
True
Suppose -5 = -g, -5*h + 0*h - 3*g + 120 = 0. Does 13 divide h?
False
Let z(k) = -k**3 - 2*k**2 - 5*k - 3. Let s be z(-4). Let a = s + -27. Is a a multiple of 18?
False
Let u = 5 + -5. Let w be -1 - (u + -3 + -1). Suppose -2*n + w*n - 11 = 0. Is 11 a factor of n?
True
Let w = -2 - -5. Let j(p) = -3*p**3 + p**2 - 5*p - 5. Let q be j(-2). Suppose 0 = 2*n - q - w. Is 18 a factor of n?
True
Does 3 divide (-20)/6*(-18)/5?
True
Let g = 1 - -11. Does 12 divide g?
True
Suppose 0*d - 3*d - 2*q = -318, 4*d + 5*q - 431 = 0. Is d a multiple of 13?
True
Let d = 2 + -3. Let a be 1 - (0 + d) - 0. Suppose 5*z = a*z + 42. Is z a multiple of 7?
True
Suppose 0 = -2*a - 5*z + 47, -59 = -4*a + a + 4*z. Does 18 divide a?
False
Let c be (-1006)/4 - (-8)/16. Let g = -113 - c. Let t = -87 + g. Is 21 a factor of t?
False
Let f be 0 + 1*(2 - 2). Suppose 7 = -f*l + l + v, 3*l - 35 = 4*v. Is l a multiple of 9?
True
Let g(z) = -z**3 + z**2 + z - 4. Let h be g(0). Let x(c) = -1 - 6*c - 7 + 2. Is 9 a factor of x(h)?
True
Suppose -8*n + 847 = 167. Does 17 divide n?
True
Let s(t) = -t**3 + 8*t**2 + 6*t + 5. Let h be s(9). Let u = h - -54. Is u a multiple of 13?
False
Let k = -8 + 4. Let z = 7 + k. Does 10 divide (-2 + z)*(-1 - -11)?
True
Let t = -82 - -132. Is t a multiple of 14?
False
Suppose p = -2*j + 24, -3*j + 30 = 5*p - 2*p. Let n be (-21)/(-2 - j/(-8)). Suppose 3*i = -24 + n. Does 10 divide i?
True
Let v(w) = -w**3 + w**2 + w + 22. Does 15 divide v(0)?
False
Let m(l) = l**3 + l**2 - l - 1. Let w(x) = 26*x**3 + 4*x**2 - x - 2. Let f(r) = 3*m(r) - w(r). Let u be f(-1). Suppose 4*p - u - 1 = 0. Is 6 a factor of p?
True
Let d(c) = -c**3 - 15*c**2 + 7*c + 8. Let v(l) = l**2 - l. Let s(q) = -d(q) - 6*v(q). Let j be s(-8). Suppose x - j = -x. Does 13 divide x?
False
Suppose 5*a + 42 = i, 5*a = a + i - 33. Is (-70)/(-3) - 6/a a multiple of 8?
True
Let i(j) = -3*j - 1. Is i(-6) a multiple of 5?
False
Suppose -3 = -q - 1. Suppose -12 = 5*i - q*i. Is ((-2)/i)/((-1)/(-10)) a multiple of 5?
True
Let y = -3 + 5. Suppose 0 = -4*v - 3*d + 77, -2*v - y*v - d = -79. Does 10 divide v?
True
Let y(q) = -q**2 + 4*q + 4. Let t be y(4). Suppose -3*u - 2*u + 280 = 3*z, 2*z = t*u - 246. Is 21 a factor of u?
False
Let n(y) = y**3 + 9*y**2 - 14*y + 2. Is 7 a factor of n(-10)?
True
Let s = -16 + 17. Is 7 a factor of 6 + (s - -3) + 4?
True
Let t be (-44)/(-12) - (-2)/(-3). Suppose -2*y + 34 = 3*g - 1, 49 = t*g - 5*y. Does 5 divide g?
False
Let h(t) = 2*t - 9. Let f be h(6). Suppose 3*r + 17 = 5*r - p, f*r - 42 = -4*p. Is (-84 + r)/((-2)/1) a multiple of 10?
False
Suppose -3*c - 3*g + 0*g + 363 = 0, -4*c = -g - 464. Does 13 divide c?
True
Let i be 0 + 2/4*-6. Let d be (-53)/i*(9 - 6). Suppose 2 - d = -3*c. Is 6 a factor of c?
False
Let u(a) = -27*a + 72. Is 26 a factor of u(-6)?
True
Let o(p) = p**2 + 4*p - 8. Let b be o(-6). Suppose -3*x - b = -46. Is x a multiple of 14?
True
Suppose u - 66 = -2*u. Is 5 a factor of u?
False
Let v(f) = 7 + 15*f - 7 - f. Is v(4) a multiple of 15?
False
Let h(k) = -k**3 + 6*k**2 + 14*k - 10. Is h(6) a multiple of 21?
False
Let m(j) = j**2 - 2. Let k(p) = -p + 6. Let t be k(4). Let u be m(t). Suppose -3*f + 20 = u*f. Is f a multiple of 4?
True
Is ((-16)/6)/((-5)/90) a multiple of 16?
True
Is 11 a factor of (-4 + 2 - -46)/2?
True
Let x(c) = -2*c - 6. Let j be x(-5). Suppose -a - j*a - 565 = 0. Let t = a - -158. Is t a multiple of 12?
False
Let f be ((-18)/8)/(6/16). Is 16 a factor of f/8 - (-201)/12?
True
Let k be (-6)/(3/(3/(-1))). Suppose -v = -k*v + 255. Suppose -2*z - v = -3*z. Is 21 a factor of z?
False
Let n be -19 + -2 + -2 + 5. Does 19 divide n/(-9) - -2*22?
False
Let y be (-4)/6 + 33/9. Suppose -2 - 7 = y*a. Is 9 a factor of ((-13)/(-3))/(-1)*a?
False
Is 13 a factor of -21*(38/(-6) - -3)?
False
Let g = -18 - -21. Suppose g*q - 58 = -4. Does 18 divide q?
True
Let k(a) = 7*a - 6. Is k(4) a multiple of 11?
True
Let n(l) be the first derivative of 3*l**2 - 4*l + 4. Is 13 a factor of n(5)?
True
Suppose 7*y - 3*y = 0. Suppose h - 14 + 2 = y. Is 12 a factor of h?
True
Let f(t) = -t**2 - 9*t - 14. Let u be f(-7). Let i(w) = -w**2 - 4*w + 4. Let k be i(-4). Suppose -l - 2*q + 13 = -5*q, -2*l + k*q + 30 = u. Is 8 a factor of l?
False
Let p(t) = t**3 + 5*t**2 - 3. Let q be p(-5). Does 4 divide 1 - (6 + q)*-1?
True
Let p(k) = -5*k - 10. Let i be p(-7). Let f = i - 10. Is 5 a factor of f?
True
Let l be 1/((-1)/(-2)) + -2. Suppose l*o = o. Is 5 a factor of 2 - (o + 8/(-2))?
False
Suppose -2*q - 4 + 2 = 0, s - 9 = 5*q. Suppose 68 = 4*t - 5*d - 53, -2*d = -s*t + 106. Is t a multiple of 8?
True
Suppose -10*o + 6*o = -280. Is o a multiple of 14?
True
Suppose 0 = -3*u - 3*x + 213, 0*x = -3*u - 2*x + 216. Does 21 divide u?
False
Let w(q) = 3*q - 3. Let a(n) = n**3 + 3*n**2 - 2*n - 4. Let p be a(-3). Is w(p) even?
False
Let v(r) = -5*r + 9*r + 3 - 9. Does 9 divide v(6)?
True
Let i(g) be the first derivative of g**3/3 + 3*g**2/2 - 1. Let n be i(-3). Suppose 0 = 3*f - n*f - 24. Is f a multiple of 4?
True
Is 718/8 + -9*(-8)/288 a multiple of 15?
True
Let y be 2/9 - 43/(-9). Suppose 0 = -4*p + p + 4*u + 12, -p + u + y = 0. Does 2 divide p?
True
Suppose -b + 3*y = -51, b - 4*y = -2*b 