pose -r - 1 = 3*a, 0 = -3*r - 0*r + 3*a + c. Does 3 divide r?
False
Let d(l) = -17*l + 2. Let j(g) = 2*g**3 - 8*g**2 - g. Let k be j(4). Is d(k) a multiple of 35?
True
Suppose -2*p - 3 = -59. Let f = p - 22. Is 3 a factor of f?
True
Suppose -4*x - 17 = k, 1 + 6 = -k - 2*x. Suppose k = 2*h - 35. Does 19 divide h?
True
Suppose 2804 = 6*w + 536. Does 25 divide w?
False
Is 14 a factor of (308/22)/((-3)/(-60)*5)?
True
Suppose -18*i = -595 - 197. Is 22 a factor of i?
True
Suppose 0 = -8*v + 3792 + 1752. Does 33 divide v?
True
Let q be 4*(-1 + 0) + 6. Suppose -171 = -q*n + n. Is n a multiple of 25?
False
Let q = 207 + -373. Let j = 108 - q. Is j a multiple of 46?
False
Suppose 71 = -4*o + 2*o + 5*r, 4*r = -4*o - 100. Let n = o + 26. Is (-39)/n*8/12 a multiple of 4?
False
Suppose 0 = m - 2*u - 855, -128*u + 133*u = 4*m - 3435. Is 26 a factor of m?
False
Let b(n) = 8*n**2 - 12*n + 6*n + 5*n - 7. Let r be b(4). Suppose -5*j - p + r = 0, -3*j = -5*p - 56 - 31. Does 12 divide j?
True
Suppose -3*r + 3 = -15. Let y be (6/(-9))/(r/(-360)). Let m = -17 + y. Is m a multiple of 5?
False
Let i(c) be the second derivative of 5/2*c**3 - c + 0 - 3*c**2. Is 18 a factor of i(4)?
True
Suppose 0 = -2*h + 1468 + 1220. Does 14 divide h?
True
Let z(u) = u**2 - 3*u - 10. Let q be ((-60)/42)/(3/(-21)). Is 6 a factor of z(q)?
True
Let a(s) = -s**2 - 7*s + 4. Let y be a(-6). Suppose -22 - y = -l. Does 4 divide l?
True
Let w(h) = -186*h - 6. Is 16 a factor of w(-7)?
True
Let b = -647 + 2668. Is b a multiple of 19?
False
Let u = 78 + 34. Suppose u = -6*k + 7*k. Does 26 divide k?
False
Let g be 2/5*(-30)/(-6). Suppose 0*f - 460 = -g*f. Suppose 3*s - f = s. Does 26 divide s?
False
Suppose 16*c - 63 = 13*c. Is (-2 - 0)/((-3)/c) even?
True
Let z(d) = 5*d + 7. Let w be z(6). Suppose -2*v = -w - 23. Does 7 divide v?
False
Suppose 2*s - 845 = -3*w + 211, 5*w - 542 = -s. Let b = s + -171. Is b a multiple of 17?
False
Let p = 156 - 91. Let o = p - 25. Does 40 divide o?
True
Let k(i) = -4*i - 3. Let c(a) = -a**2 + 9*a + 3. Let x be c(9). Suppose 4*r - 2*t = -33 + 11, 3*t = x*r + 18. Does 17 divide k(r)?
True
Let g(a) = a**2 - a. Let w(d) = 5*d**2 + 6*d - 4. Let i(h) = 4*g(h) - w(h). Suppose -2*n - 2*p - 26 = 0, 2*p - 1 - 5 = 2*n. Is 10 a factor of i(n)?
True
Let z(d) = d**3 - 3*d**2 - 5*d + 2. Let x be z(4). Let k(n) = 140 - 70 - 7*n - 71. Is 9 a factor of k(x)?
False
Suppose 4121 = 5*i + 3*b - 9372, 1 = b. Does 69 divide i?
False
Suppose 3*i - x = -0*x + 44, 0 = x + 2. Let n(a) = -a + 3. Let d be n(i). Let t = d + 41. Does 15 divide t?
True
Let t(a) = a**3 + 8*a**2 + 10*a - 121. Is t(11) a multiple of 25?
False
Suppose -5*h - 4*p + 3 = -3, -5*h + 3*p = -13. Suppose -h*w - 4 = -3*w. Suppose d - w = 17. Does 12 divide d?
False
Suppose 6*p + 630 = 108. Let d = -33 - p. Is 18 a factor of d?
True
Is -1 + 150 + (1 - (6 + -2)) a multiple of 20?
False
Let f(c) = -81*c + 90. Does 14 divide f(-1)?
False
Let a be (-3)/(-45)*5*0. Suppose 2*x = -a*x + 32. Is 8 a factor of x?
True
Does 5 divide 1 + (-3 - 2) + 496/4?
True
Let h(y) be the second derivative of -32*y**3/3 + y**2 - 5*y. Does 13 divide h(-1)?
False
Suppose 9*t + 4044 = 12639. Is t a multiple of 29?
False
Let y = 124 - 32. Suppose y + 3 = 5*d. Is 5 a factor of d?
False
Let n(r) be the third derivative of -5*r**4/12 - r**3/6 - 4*r**2. Let w be n(-3). Let c = 48 - w. Is 19 a factor of c?
True
Let u = -410 + 426. Let a(g) = g**3 + 3*g**2 - 4*g + 1. Let c be a(-4). Let y = u + c. Is 17 a factor of y?
True
Does 6 divide ((-274)/(-8))/((-12)/(-48))?
False
Let g = 1609 + -703. Is 68 a factor of g?
False
Suppose 4736 - 30720 = -29*z. Is 16 a factor of z?
True
Is 37 a factor of ((-144)/(-15))/((-38)/10 - -4)?
False
Suppose 5*d - v - 1027 = 0, -v = 3*d - 581 - 40. Is d a multiple of 6?
False
Let s(x) = -24*x - 13*x - 9*x. Let d be s(-1). Let y = 149 - d. Is 26 a factor of y?
False
Let j = -86 + 126. Suppose 0 = 3*g + 3*w - 5*w + j, -2 = -w. Let l(m) = m**2 + 7*m - 5. Does 13 divide l(g)?
False
Let r(q) = -q**3 - 16*q**2 + 6*q - 19. Suppose 0 = 15*j - 11*j + 68. Is r(j) a multiple of 16?
False
Let u = 14 + -10. Suppose 19 = u*m + 7. Suppose -5*a + m*o = -225, -4*o - 28 = 3*a - 4*a. Is a a multiple of 12?
True
Let d(k) = 1296*k**3 - k**2 - 2*k + 3. Is d(1) a multiple of 27?
True
Suppose 2*h = -3*y - 228 + 69, 5*y = 4*h + 351. Is ((-78)/(-52))/((-2)/h) a multiple of 8?
False
Suppose 0*q - 11 = -2*y + 5*q, -y - q = 5. Let h be (4/y)/1 - -4. Suppose h*k - 3*k + 10 = 0. Is 5 a factor of k?
True
Suppose -55 = -4*o + 81. Let s = o - 24. Suppose 0 = s*d - 7*d - 204. Is d a multiple of 23?
False
Suppose -u - 3*u = 2*j - 794, 0 = -4*j + 4*u + 1636. Is j even?
False
Let w(v) = 3*v**2 - 13*v - 6. Let c be w(18). Let p = -406 + c. Is p a multiple of 11?
False
Suppose -7*s - 3047 = -15416. Does 9 divide s?
False
Suppose 0 = -9*j + 4549 + 1823. Is 33 a factor of j?
False
Suppose 8*z - 5*z - 982 = -5*a, 0 = 2*z + 5*a - 663. Is 134 a factor of z?
False
Is 12 a factor of 332/14 + (60/(-21))/(-10)?
True
Let y(d) = 12*d**2 - 7*d + 7. Let z be y(3). Suppose -m + 21 = -z. Does 30 divide m?
False
Suppose 4*f + 220 - 17 = -3*j, -5*j = -5*f + 315. Let q be -1*(2 + 0) - -100. Let l = j + q. Does 8 divide l?
False
Suppose s + 125 = 3*c, 4*s - 243 = -4*c - 71. Suppose 0 = -2*r - 0*r + c. Is 15 a factor of r?
False
Let u be 33 - (-3 + 3)/(-1). Suppose 1 + u = 2*b - 4*s, 6 = 2*b + 3*s. Let a = b + 63. Is 18 a factor of a?
True
Let h(f) be the first derivative of 7 - 6*f**2 - 4 - 6*f + 3*f**2 + 2*f**2. Is h(-5) a multiple of 3?
False
Does 14 divide (-495 + -3 + 1)*(-32)/16?
True
Let m = 4106 + -1634. Does 25 divide 2/(-4) - m/(-16)?
False
Suppose 0 = -3*h + 6, 4*a + 84 = -4*h + 452. Suppose -130 = -4*z + 4*o + a, -z = -5*o - 59. Is z a multiple of 5?
False
Suppose 166950 = 38*g + 7*g. Is 44 a factor of g?
False
Let u = -3 - -16. Let o(g) = -g**2 + 15*g + 18. Does 9 divide o(u)?
False
Let h(q) be the second derivative of q**5/20 - q**4/3 - q**3 + 3*q**2 - 6*q. Let a(d) = -d**3 + 14*d**2 + 14*d + 21. Let o be a(15). Is h(o) a multiple of 13?
False
Suppose 5*a - 25 = -5*g, 15 - 35 = -2*g - 4*a. Suppose g = 5*r - 182 - 8. Is 13 a factor of r?
False
Let z(g) = -13*g**3 + 29*g + 52. Let x(c) = 3*c**3 - 7*c - 13. Let d(b) = -9*x(b) - 2*z(b). Does 2 divide d(0)?
False
Suppose -5*y + 125 = 4*c, 2*c - y - 35 = 2*y. Is (-5)/2*(-280)/c a multiple of 6?
False
Let u(c) = -2*c**3 + 14*c**2 + c + 15. Let w be -2 - -5 - ((-12)/4 - 1). Is 11 a factor of u(w)?
True
Let q(d) = d**3 - 5*d**2 + 6*d - 2. Let f be q(4). Let b be (10/f)/(4/72). Suppose 3*c = 36 + b. Is c a multiple of 12?
False
Let y(p) = -p**2 - 3*p + 10. Let g be y(-7). Is g/(-108) - 419/(-6) a multiple of 13?
False
Let l be 5/((-15)/(-9)) + -1 + 3. Suppose 0 = 4*a - 3*x - 312, 3*a + a = l*x + 304. Does 27 divide a?
True
Let m(i) = -i**2 + 11*i - 10. Let z be m(10). Suppose 4*p - 95 = -z*g + 3*g, 0 = -4*p + 2*g + 98. Is p a multiple of 3?
False
Let f be 99/54 - (-2)/12. Suppose 3*r - f*r - 47 = 0. Is r a multiple of 12?
False
Let a be 0 + -1 + 0 + 126/9. Suppose a*j = 8*j + 120. Is j a multiple of 12?
True
Let p = 865 - 429. Is p a multiple of 11?
False
Let j(t) = -5 - 7 - 4 + 34*t. Let a(m) = 17*m - 8. Let v(c) = 5*a(c) - 2*j(c). Does 19 divide v(4)?
False
Let t(h) = -h + 28. Let n be t(13). Suppose -n + 69 = 2*z. Is 4 a factor of z?
False
Let w = 13 - 5. Let u be w/36 - 44/36. Is (-1 - u) + 1*13 a multiple of 13?
True
Let m = 1447 - 1397. Is m even?
True
Let k be (-2)/(-5) + (-46)/(-10). Let f be k/2*(1 + 1). Suppose -j + f = -10. Does 5 divide j?
True
Let u(o) = 150*o**3 - 4*o**2 + 18*o - 28. Is u(2) a multiple of 16?
False
Suppose 2 = 4*d - 14, 2*d - 2856 = -2*g. Does 9 divide g?
False
Let c(m) = -79*m - 503. Is c(-10) a multiple of 2?
False
Suppose k + 6 = -2*i - 2, -k - 5*i - 20 = 0. Let q(g) = 0 + 4 - g + k. Is q(-14) a multiple of 8?
False
Let d(l) = 132*l. Let s(k) = 7*k. Let n(h) = 4*d(h) - 77*s(h). Let p be ((-4)/5)/((-4)/(-90)*9). Does 11 divide n(p)?
True
Let o(f) = -f**2 + 70*f - 168. Is 24 a factor of o(54)?
True
Let p be 0 + (-1 - 0) + 1. Let i(r) = -r**2 - r - 59. Let y be i(p). Is -2 + 1 + 2 - y a multiple of 13?
False
Let t be 1 - (2 + 6 + -4). Let q be 0 - -2 - (t - -1). Suppose -4*z = 4*x - 176, 0*x - 3*x - 204 