r(c) = 2*c**2 - 5*c + 7. Is 19 a factor of r(d)?
False
Let s be (-68)/3 - (-5)/(-15). Suppose -183 = -3*y + 3*l, 2*y - 3*y = 4*l - 46. Let x = s + y. Is 12 a factor of x?
False
Suppose -8*v = -1689 - 1407. Is v a multiple of 45?
False
Let b(d) = 6*d**2 - 6*d - 2. Does 22 divide b(-5)?
False
Let u be 72*(-5)/((-10)/1). Let p = -16 + u. Does 5 divide p?
True
Let l be (1/(-2))/(3/12) - -7. Suppose 3*n - 4*r + 78 = 403, 0 = l*n + r - 511. Is n a multiple of 17?
False
Let n(y) = -43*y - 53. Suppose 3*q + 9*c - 6*c + 21 = 0, -4*q - 2*c = 26. Is 41 a factor of n(q)?
True
Does 14 divide ((-2)/(-4))/(-12 + (-5521)/(-460))?
False
Let z(r) = r**3 - 10*r**2 - 17*r + 20. Is z(16) a multiple of 6?
True
Let n = -40 - -53. Suppose -198 = -n*y + 12*y. Does 66 divide y?
True
Let w = -133 - -193. Suppose 0*z - w = -3*z. Does 5 divide z?
True
Suppose -3465 = -3721*q + 3712*q. Does 6 divide q?
False
Let k(y) = -2*y - 13. Let o be k(4). Let t = o - -64. Is t a multiple of 17?
False
Let k be (-28)/(-35) + (-42)/(-10). Suppose 0 = -x - k + 10. Suppose -x*z = 3*y - 252, -y + 103 + 93 = 4*z. Is z a multiple of 12?
True
Suppose 0 = 2*p - 2*w - 1180, 2*p + 3*p - 2962 = 2*w. Does 6 divide p?
True
Let y(q) = -q - 4. Let z be y(0). Suppose 14*u - 15*u + 3 = 0. Does 8 divide u - (-148)/z*-1?
True
Let x(i) = -i**2 - 17*i - 9. Let k = 6 + -14. Does 21 divide x(k)?
True
Let o = 685 - -111. Does 14 divide o?
False
Let x be (10/4)/((-1)/2). Let l(q) = -3 + 109*q + 0*q**2 - 117*q + 3*q**2. Is l(x) a multiple of 23?
False
Let f = 591 - 218. Is 3 a factor of f?
False
Suppose 3*i + 1 = -a + 11, i + a = 0. Suppose i*k - 145 = 95. Is k a multiple of 15?
False
Suppose -172 - 43 = -n - 5*h, 0 = -2*n + 2*h + 430. Does 14 divide n?
False
Let o be 4 - (-5)/((-20)/8). Let h be o/(-11) - 84/22. Is 10/((-6)/h + -1) a multiple of 6?
False
Suppose -3*n - 10 = 4*p + 7, 2*p - 2*n + 12 = 0. Let r = p + 7. Suppose 3*c - 25 = f, 4*f + 28 = r*c + c. Does 8 divide c?
True
Let r be 49/(-4) + 3/12. Let j(g) = g**3 + 13*g**2 + 10*g - 10. Let u be j(r). Suppose u = 7*p - 301. Is p a multiple of 15?
True
Suppose 0 = 48*s - 53*s + 120. Is s a multiple of 12?
True
Let h(y) = -3*y**2 + 4. Let z(w) = -w**2 + 1. Suppose 8 - 2 = 3*k. Let c(t) = k*z(t) - h(t). Is c(4) a multiple of 7?
True
Is 52 a factor of 12/((-6567)/3289 + 2)?
True
Suppose -11*z + 9*z = 36. Let l = z - -90. Is l a multiple of 24?
True
Let s(d) = 4*d**3 - 7*d**2 - 8*d + 23. Is s(5) a multiple of 18?
False
Is 2 a factor of 8 - (-113 + (-18)/3)?
False
Suppose -h - 702 = -10*h. Does 7 divide h/(-429) + 1311/11?
True
Let m(c) = c**3 + 9*c**2 + 3*c + 2. Let s be m(-6). Suppose -z + 17 = -2*u, -5*z + 38 + 8 = 3*u. Suppose 3*y = s - z. Is y a multiple of 9?
True
Let l(z) = -z**3 + 8*z**2 + 7*z - 7. Let q be l(9). Is 21 a factor of q/10*14*-3?
True
Let u(g) = 2*g**3 + g**2 + 2*g + 2. Let y = -3 - -1. Let b be u(y). Let q = b - -51. Does 12 divide q?
False
Let b = -8 + 14. Let u(c) = 4*c**2 - 7*c - 9. Is 16 a factor of u(b)?
False
Let l(a) be the third derivative of a**4/8 - 7*a**3/3 - 12*a**2. Let n be l(-4). Is n*2/(-12)*3 a multiple of 3?
False
Let v(m) = -12*m**2 - m + 4. Let j be v(10). Let l = j - -2236. Does 3 divide l/70 + 4/14?
True
Let k(p) = 3*p**2 + 10*p + 9. Let t = 15 - 14. Suppose -2*s + 5*x - 7 = 0, 2 - t = -s + 5*x. Is k(s) a multiple of 16?
False
Let y(r) = 737*r**2 - 1. Is y(-1) a multiple of 22?
False
Let i(t) = -t + 3*t - 5*t + 2*t. Let f(b) = -26*b + 1. Let p(k) = -f(k) - 5*i(k). Does 10 divide p(1)?
True
Suppose 0*p = p - 1. Let g(z) = z**2 - 6*z + 5. Let x be g(4). Is p*x/(12/(-88)) a multiple of 9?
False
Suppose 11*t - 567 = 4*t. Is 37 a factor of t?
False
Suppose -m = 3*g - 12, -g + 24 = 4*g + 3*m. Suppose 0 = i + g - 1. Let s(u) = -34*u + 1. Is s(i) a multiple of 24?
False
Is 4504/12 + (-34)/(-51) a multiple of 8?
True
Let z(q) = -6*q**2 + 10*q + 15. Let k(l) = -3*l**2 + 5*l + 8. Let a(f) = -11*k(f) + 6*z(f). Let s be a(7). Let y = -44 - s. Does 22 divide y?
True
Let v(i) be the first derivative of 3*i**4/4 + i**3/3 + 5*i**2/2 - 3*i - 7. Let r be v(3). Let l = -57 + r. Does 9 divide l?
True
Suppose 1563 = 36*r + 51. Is r a multiple of 4?
False
Let p(z) = 8*z**2 - 13*z - 5 - 12 + 18. Is p(-5) a multiple of 38?
True
Suppose -24*p + 27*p = -27. Does 10 divide 202/4 - p/18?
False
Let b = 2442 - 1584. Is 33 a factor of b?
True
Let a(t) = 143*t**3 + t**2 + 3*t + 2. Let r be a(-1). Let n = r + 239. Does 32 divide n?
True
Is -4 - -811 - (10 + -12) a multiple of 35?
False
Let m(q) = -q**3 + q**2 - q + 210. Let z be m(0). Suppose z = 2*g + 5*v, v - 2*v + 202 = 2*g. Let x = 178 - g. Does 13 divide x?
True
Suppose 4*m + 9 - 2941 = 0. Is m a multiple of 16?
False
Let z(p) = p**2 - 3*p + 7. Suppose 2*d = 4*d - 4. Is 3 a factor of z(d)?
False
Let c = -132 + 74. Let x = -22 - c. Is 22 a factor of x?
False
Let l be 1/(-2)*-2 + 151. Suppose -3*f + l + 0 = d, 252 = 5*f + 3*d. Is 15 a factor of f/((-8)/(-4) + -1)?
False
Let o be (-2 - (0 - 4)) + -3. Let h = o - 3. Does 30 divide (6/h)/((-2)/80)?
True
Suppose -i + 4*s = -178, i - 5*s - 182 = -3*s. Let k be (i/18)/((-1)/(-12)). Suppose -2*d - k = -4*d. Does 10 divide d?
False
Let v(j) = 3*j**3 + 10*j**2 + 15*j + 2. Is v(6) a multiple of 25?
True
Let o be 1/(-4) - 45/(-20). Suppose n = -o*n + 9. Suppose 3*s - 4*p = -5*p + 45, 0 = -s + n*p + 15. Is 5 a factor of s?
True
Let u(x) = 1. Let l(t) = t**3 - 9*t**2 + 10*t - 7. Let o(w) = l(w) + 3*u(w). Is 9 a factor of o(8)?
False
Let q = -2 - -5. Suppose q*r = -4*m - 21, 2*m - 6 = 5*m - r. Is 16 a factor of (-412)/(-12) - (-1)/m?
False
Suppose -a + 6*a = 5*f, 12 = f + 5*a. Suppose 5*z = -x + 73 - 16, 3*z = f*x - 153. Does 32 divide x?
False
Let k = 107 + -75. Does 6 divide 2/3 + k/12*2?
True
Let u(m) = -2*m**3 + 82*m**2 - 62*m + 87. Does 75 divide u(40)?
False
Let t be (-4)/10 - 74/(-10). Suppose 11 + t = 3*d. Does 10 divide (-12)/8*(-40)/d?
True
Let h(d) = d**3 + 13*d**2 - 2*d - 17. Let x be h(-13). Let u(q) = 8*q + 8. Let r be u(x). Suppose 4*f - r = -0*f. Is 10 a factor of f?
True
Let f(d) = 55*d + 70. Is f(2) a multiple of 7?
False
Let g = 2052 - 1532. Is g a multiple of 59?
False
Let i(s) = -s**2 + 9*s + 6. Let z(d) = -d**3 + 7*d**2 + 2*d - 9. Let q be z(7). Suppose -20 = -q*a + a. Is 3 a factor of i(a)?
False
Let l(d) = d**2 - 6. Let i be l(3). Suppose -t - x + 5 = 0, -i*x + 2 = 11. Is t a multiple of 3?
False
Suppose 3*a - 4*h = -3*h + 290, -3*a - 5*h + 278 = 0. Is 48 a factor of a?
True
Let t(h) = h - 31. Let d be t(0). Suppose 0 = -2*v - s + 122, -v + 49 = -2*s - 17. Let u = d + v. Is u a multiple of 9?
False
Suppose -3*q + 0*g + 32 = 4*g, -3*q + 2*g = -2. Does 20 divide 6 + 1 + 11 - q/(-2)?
True
Let u(b) = 4*b**3 - 4*b**2 + 6*b - 10. Let z be u(3). Let a = 0 - -3. Suppose -2*s - p + z = -a*p, 4*p = -4. Does 10 divide s?
False
Suppose 2*i = 5 + 5. Suppose -v = -2*x - 0*v + 65, 0 = 5*x - i*v - 175. Is x a multiple of 10?
True
Suppose 3*d - 4*v + 7*v = 402, -5*d + 638 = -3*v. Is d a multiple of 10?
True
Let d be 28*(-3)/(-12)*6. Let w = d + -23. Suppose -4*m - w + 67 = 0. Is 4 a factor of m?
True
Let q(i) = 14*i**3 - i**2 + i + 3. Let o = -33 - -35. Is 27 a factor of q(o)?
False
Suppose -25*j - 13*j = -532. Is j a multiple of 14?
True
Suppose -5*p - 2*j + 259 = 0, -4*p - 5*j + 237 - 23 = 0. Let l = 39 + p. Is 14 a factor of l?
False
Suppose -z = -4*i - 1389, -44*z + 49*z + 5*i = 6920. Is 99 a factor of z?
False
Suppose 3*p - 15 = 0, -3*p - 891 = 5*y - 2951. Does 2 divide y?
False
Suppose -2*q + 20 = -10. Does 29 divide (q/10)/(12/464)?
True
Let b = -847 - -922. Is 9 a factor of b?
False
Suppose -13 + 2 = -l. Let x be (-984)/16*-1*2. Suppose -l*g - x = -14*g. Does 41 divide g?
True
Let y be (2 - (18/4 + -1))*-98. Suppose -y = -2*j - q, j = 3*q - q + 61. Does 7 divide j?
False
Suppose 5*w + 20 - 190 = 0. Let q = 50 + w. Is q a multiple of 14?
True
Suppose -6 - 5 = 3*q + 4*h, 5 = -h. Is (-18)/(-3 - q) + 550/2 a multiple of 29?
False
Suppose 0 = -2*o + 3 + 7. Let d(x) be the third derivative of -x**6/120 + x**5/12 + x**4/12 + 7*x**3/6 + 2*x**2 + 112*x. Is d(o) a multiple of 4?
False
Let f = -754 + 1127. Is f a multiple of 17?
False
Let c be (-75)/10*(-4)/(-5). Let t = 9 + c. Suppose -2*h = -y - 61, -5*y - 84 = -t*h - y. Is 16 a factor of h?
True
Let