t d(z) = -z**3 - 3*z**2 - 3*z - 5. Let i be d(-3). Suppose -i*s + 664 = 4*s. Is 10 a factor of s?
False
Let g(w) = -10*w + 51. Is g(-3) a multiple of 7?
False
Suppose 2*w - 4*y = 10, 4*w - 4*y - 3 = 5. Is 30 a factor of w/4 + (-121)/(-4)?
True
Suppose -7969 = -17*k + 2248. Is k a multiple of 53?
False
Suppose 3*i + 2*i - 10 = 0. Let u be ((-3)/i)/(9/24). Is u - (1 - 1 - 18) even?
True
Suppose -1403 - 1882 = -9*c. Does 5 divide c?
True
Does 2 divide -3 - (-45 + 5 + 4)?
False
Let y(h) = 4*h - 7. Let f(j) = -3*j + 7. Let b(m) = 3*f(m) + 2*y(m). Does 3 divide b(-5)?
True
Let o(l) = -l**2 - 77*l + 459. Is o(-51) a multiple of 21?
True
Suppose -4*m = -5 + 25. Let d be 7 + m + 18/(-2). Is (d + 3)*34/(-4) a multiple of 7?
False
Suppose -36*b + 11*b = -3675. Is b a multiple of 49?
True
Suppose 24 = 3*k - 0. Let j be 6 - (-2)/(k/(-12)). Suppose -j*z + 5*z = 192. Is 24 a factor of z?
True
Let f(d) = d**2 + 4*d - 1. Let i(q) = -q + 17. Let h be i(13). Suppose -h*w - 15 = -7*w. Is 19 a factor of f(w)?
False
Let z = 3379 + -1917. Does 21 divide z?
False
Suppose -5*n = -3*n - 16. Suppose -2 - n = -w. Does 4 divide w?
False
Suppose 0 = -10947*g + 10942*g + 1740. Does 11 divide g?
False
Let f = -592 + 720. Is f a multiple of 9?
False
Suppose -36*b = -34*b - 66. Suppose -11*y + 10*y = -b. Is 5 a factor of y?
False
Let c be (-1)/(-2) + (-27)/(-6). Let p be (2/c)/(2/(-70)). Let r(j) = -j**3 - 13*j**2 + 8*j + 11. Does 19 divide r(p)?
True
Let w = 39 - 47. Let d(m) = -15*m + 18. Does 14 divide d(w)?
False
Is 1337 + 6/12*-8 a multiple of 31?
True
Let f(j) = -92*j**3 + j**2. Let g be f(-1). Suppose -58 = 4*m + 3*b - 153, 2*m + 2*b = 46. Let x = g - m. Does 14 divide x?
False
Let w = -434 + 595. Is 99 a factor of w?
False
Let j = 100 + -24. Let a = 129 - j. Suppose 2*t = -t - 3*n + 177, -t = -n - a. Is t a multiple of 17?
False
Suppose -21 = 2*p - 5*p. Let a be 32/(-14) - (-2)/p. Is 31 a factor of (-657)/(-21) - a/(-7)?
True
Suppose 8*m = 11*m - 10500. Is 50 a factor of m?
True
Suppose -563 = -9*j + 274. Let i = j - -287. Is 38 a factor of i?
True
Let a(i) = -2 - 15*i**2 - 2*i**3 - 13*i + 6 + i**3 + 11*i**2. Is a(-6) a multiple of 22?
True
Suppose -z + 5 = 4*z. Let v be 2 - ((-3 - -20) + z). Does 13 divide v/(-1) + 12/(-4)?
True
Let f(q) = 6*q**2 - 127*q + 3. Let y be f(21). Let l be 60 + 1 - 1*-1. Let p = l - y. Is 20 a factor of p?
True
Let h(u) = 55*u**2 - 2*u - 3. Does 7 divide h(-1)?
False
Suppose -4 = -4*v + 2*v. Let u(q) = 8*q**2 - 8*q - 6. Let x be u(3). Suppose -3*c = -z - 0*c + x, -v*z = -5*c - 84. Does 14 divide z?
True
Let g(p) = -3*p - 41. Let d be g(-16). Suppose -9*r = d*r - 3072. Is r a multiple of 12?
True
Suppose -10*k + 202 = -138. Let u(o) = o**2 + 2*o + 2. Let w be u(-2). Suppose -3*r + k = -w. Does 5 divide r?
False
Let i(o) = -42*o**2 + 12*o + 12. Let a(x) = x**2 - x - 1. Let s = -21 + 20. Let j(h) = s*i(h) - 10*a(h). Is j(-1) a multiple of 16?
True
Suppose 5*c - 545 - 665 = 0. Let w = c - 160. Let y = -43 + w. Does 13 divide y?
True
Let z(i) = -i**3 - 12*i**2 + 12*i - 9. Let o be z(-13). Does 4 divide -1 - (0 - o - 6)?
False
Let f be 1 - -17 - (13 - 11). Suppose f = 11*a - 9*a. Does 3 divide a?
False
Let r = 47 + -32. Suppose 2*c - 24 = -3*c - 4*f, 4*c - f - r = 0. Is (c/(-6))/((-6)/261) a multiple of 19?
False
Let v(f) = -93*f + 1 - 104*f + 46*f. Does 38 divide v(-1)?
True
Suppose -11*s + 1534 = 2*s. Let b = -82 + s. Does 9 divide b?
True
Let o = -26 - -28. Suppose 0 + 4 = -o*p. Is 3 a factor of 6/p - 0 - -12?
True
Suppose -2*c + 113 = -c + r, 6 = 2*r. Let u(x) = -x**3 - 6*x**2 + 3*x + 3. Let f be u(-6). Does 9 divide c/f*6/(-4)?
False
Suppose 2 = -5*n - 4*a, 2*n - a + 1 = 4*n. Suppose -n*x + 6*x + 20 = 0, 5*w + 5*x - 430 = 0. Does 13 divide w?
True
Suppose 5*n - 121 = 3*r + 117, 5*n - 5*r - 230 = 0. Let l = n - 40. Is 5 a factor of l?
True
Let a be ((-24)/(-9))/(1/(-6)). Let l(y) = -y**3 - 17*y**2 - 20*y - 7. Does 19 divide l(a)?
True
Let w = -335 - -753. Does 19 divide w?
True
Let b(s) = -3*s + 6. Let h be b(4). Let g be (21/h)/(4/8). Is (-2)/g + (-580)/(-28) a multiple of 21?
True
Let w(o) = -o**2 - 13*o - 9. Suppose 5*l + 4 + 6 = 0. Let t be -10 - l - 1/1. Is 12 a factor of w(t)?
False
Suppose 2*t + 6*u - 8*u - 470 = 0, 2*t - 455 = 5*u. Is t a multiple of 30?
True
Let y be (-8)/(-6) + (-4)/(-6). Let t = y + 67. Is t a multiple of 45?
False
Suppose -6 = -0*k - 3*k. Suppose 0 = 2*y - u - 5, -3*y = -5*y + k*u + 6. Suppose 0 = -3*d - 3*l, 0 = y*d - 3*l - 23 - 2. Is d even?
False
Let k = -1000 + 1042. Is k a multiple of 2?
True
Is ((-4)/(-6)*-40)/((-36)/6372) a multiple of 59?
True
Let b(n) = 2*n**2 + 7*n - 10. Suppose u = 5*d + 15, u = 3*u - d + 15. Let t be b(u). Suppose -4*h + t = -8. Is h a multiple of 16?
True
Let p = -3712 + 5246. Does 9 divide p?
False
Suppose 199*i - 242*i = -29240. Is 34 a factor of i?
True
Let q(x) = -x**3 - x**2 + x + 5. Let p be q(0). Suppose -4*a + p*n + 961 = 0, -3*n + 0 - 15 = 0. Is a a multiple of 26?
True
Let h = -781 - -896. Is h a multiple of 23?
True
Let m be (2/5)/((-14)/(-1085)). Let w = m - 20. Does 3 divide w?
False
Let c(w) = -109*w + 24. Is 9 a factor of c(-1)?
False
Let d = -140 + 256. Is d a multiple of 29?
True
Suppose -4*c = a - 205, -12 = -c + a + 33. Suppose 0 = 3*b - c - 70. Is 10 a factor of b?
True
Let n(s) = 2*s**2 + 9*s - 5. Does 16 divide n(11)?
True
Suppose -5*u - 14 = 9*u. Let m = 13 + u. Is 6 a factor of m?
True
Let f(t) = 7*t - 7. Suppose 0 = -3*j - 5*s + 2 - 0, 0 = -3*s - 6. Suppose 0 = -0*x - j*x - 4*k + 44, k = -5*x + 39. Is f(x) a multiple of 11?
False
Suppose 25 = 2*g - 7*g. Let o(r) be the second derivative of r**4/12 - r**3/6 - 7*r**2/2 + 2*r. Does 23 divide o(g)?
True
Suppose 0 = -5*i + 8 + 2. Suppose -18 = -2*o - i*d, o + 48 = 6*o + 2*d. Is 10 a factor of o?
True
Does 12 divide (-1)/7 + (-4 - (-4426)/14)?
True
Let k(w) = 3*w**3 + 6*w**2 + 5. Let p be k(-5). Let h = 410 + p. Is 19 a factor of h?
True
Suppose -589 = -3*w + 62. Suppose 4*i = 2*p + w + 57, -268 = -4*i + 4*p. Does 16 divide i?
False
Let s(i) = -158*i - 44. Is s(-4) a multiple of 84?
True
Let s be (-12)/(-4) + 0/1. Let b = s - -1. Suppose -b*p + 23 - 3 = 0. Does 5 divide p?
True
Is (-240)/(-39) + 20/(-130) - -759 a multiple of 17?
True
Suppose -i = -4*m - 19, -3*i + 5*m + 26 = -3. Suppose -x + i*t + 9 = -8, -4*x - t = -133. Is 4 a factor of x?
True
Suppose -2*r + 560 = 3*r. Is r a multiple of 16?
True
Let v = 27 - -6. Suppose -4*r - v = -r. Let k = -7 - r. Does 4 divide k?
True
Does 17 divide (-18 + 9/9)*-29?
True
Let c = -1307 + 1467. Does 5 divide c?
True
Let h be ((-1)/(-3))/(3/9). Suppose -h = -3*b - 55. Let t = -8 - b. Is t a multiple of 4?
False
Suppose 2077 + 8633 = 7*h. Is h a multiple of 18?
True
Suppose 9*r - 12 = 12*r, 2*i + r = 692. Is 16 a factor of i?
False
Does 11 divide (1573/(-26))/(1/(-6))?
True
Does 12 divide ((-1676)/10)/((-62)/155)?
False
Suppose -4*h + 6*h - 111 = 5*f, f - 189 = -4*h. Suppose -3*n - 4*l = 8, l + 4 - 2 = -n. Suppose 5*d - d - h = n. Is d a multiple of 4?
True
Let m = -22 - -19. Is (-87)/m - 2/(-2) a multiple of 11?
False
Let k = 18 - -14. Suppose 5*t - k = 4*t. Is t a multiple of 3?
False
Let b(z) = z**3 + 26*z**2 + 13. Is 6 a factor of b(-26)?
False
Suppose -24*p = -1240 - 440. Does 4 divide p?
False
Let h = -45 + 63. Suppose 3*l + h = 300. Suppose 0*g - 5*g - 2*u + l = 0, 4*g - 2*u - 68 = 0. Is 4 a factor of g?
False
Let t(y) = -221*y - 2. Does 20 divide t(-1)?
False
Let v(p) = 20*p**2 + 22*p + 184. Is 20 a factor of v(-6)?
False
Suppose t - 1307 + 395 = 0. Is t a multiple of 76?
True
Let b(u) = -575*u**3 + 3*u**2 + 27*u + 25. Is b(-1) a multiple of 14?
False
Let a = 10 - 8. Suppose -4*l + 3*f + 32 = -a*f, -5*l - 1 = 4*f. Suppose 4*g - l*r - 89 + 9 = 0, -5*g = -r - 100. Is 10 a factor of g?
True
Let p(s) = -s**3 + s + 3. Let m be p(3). Let g = m + 20. Does 14 divide 14 - (-2 - (g - 1))?
True
Suppose -2*u + 7*u + 69 = -4*k, 3*k - 2*u = -69. Let t be (-18)/(-90) + k/5. Is t/((20/25)/(-2)) a multiple of 5?
True
Let r = 2 - -2. Let n(v) = -7*v - 105. Let a be n(-30). Suppose -7*z + a = -r*z. Is 9 a factor of z?
False
Let w = 53 - 46. Suppose 0 = -13*g + w*g + 336. Does 14 divide g?
True
Suppose -5*s = -0*s - 35. Let p be (-1 - 1)/2 - s. Is (12/8)/((-2)/p) a multiple of 3?
True