+ 159 = 4*z + 27. Does 34 divide z?
False
Let u(c) = c**3 - 2*c**2 + 6*c - 1. Let a be u(3). Does 8 divide (-74)/26 - 4/a - -20?
False
Let r = -22 + 22. Suppose r + 12 = -3*s. Let v(u) = -u**3 - 2*u**2 + 2*u - 9. Is v(s) a multiple of 5?
True
Let y(n) = -3 - 13*n - 3*n - 46 + 10. Is y(-17) a multiple of 40?
False
Let s = 185 + -180. Is 5 a factor of s?
True
Suppose 3*p - 1167 - 11583 = 0. Is 1/22*-4 - p/(-22) a multiple of 27?
False
Let d(y) = 314*y**2 - 11*y + 16. Is 21 a factor of d(2)?
False
Let r(n) = -n**3 + 13*n**2 + 13*n + 11. Let j be r(14). Does 25 divide (j - 1) + 79/1 - -2?
False
Suppose 10*a + 8*a = 1242. Is 3 a factor of a?
True
Suppose 60 = -7*n + n. Is (-15)/(-2 - 18/n) a multiple of 7?
False
Let i(k) = 162*k**2 + 2*k - 4. Let t be i(4). Does 22 divide -3 + (-1)/5 + t/55?
True
Suppose 19*s - 11*s - 936 = 0. Suppose 5*j = s + 78. Is 7 a factor of j?
False
Suppose 3*b = 4*v - 468, -v + 5*b + 93 = -24. Let f = v + -4. Let h = f + -68. Is 15 a factor of h?
True
Let j(g) be the third derivative of -g**7/2520 - g**6/60 - g**5/120 - g**4/6 + 3*g**2. Let s(a) be the second derivative of j(a). Is s(-10) a multiple of 19?
True
Suppose -92 = -5*i + 3*a, -2*i = 6*a - 2*a - 42. Let o = i - 16. Suppose 117 = 5*q - n, -o*q = -q - 4*n - 54. Does 9 divide q?
False
Suppose -3*c - 4*w - 34 = 8, 2*c = -5*w - 35. Is 5/c*-1*10 a multiple of 2?
False
Let c(y) = y + 4. Let v = -8 + 14. Is 5 a factor of c(v)?
True
Let x be 6/(-12)*(1 + 0)*0. Suppose -k - 3*o + 48 = -o, x = -k + 5*o + 69. Does 9 divide k?
True
Suppose 40 = 3*o + 5*m, -16*o + 14*o + 5*m + 10 = 0. Is 10 a factor of o?
True
Let w(b) = 37*b**3 + 4*b**2 + 6*b + 3. Let y(p) = 38*p**3 + 3*p**2 + 5*p + 2. Let n(l) = -3*w(l) + 4*y(l). Is n(1) a multiple of 14?
True
Let f = -660 + 2707. Does 19 divide f?
False
Is (-1)/((-2)/8) - (-390 - -142) a multiple of 2?
True
Is -51*(-1)/12*(10 + 254) a multiple of 34?
True
Suppose s = -s, s = -5*h + 20. Suppose -h*k - 4 = -148. Is k a multiple of 36?
True
Let c(k) = -7*k + 26. Let y be c(3). Suppose -z + 2*u = -66, -58 = -z + y*u + 5. Does 49 divide z?
False
Suppose k = -5*n + 1000, 5*n = -0*n + 4*k + 1000. Is 13 a factor of n?
False
Suppose 52*p - 1800 = 34*p. Is 100 a factor of p?
True
Let y = -240 - -704. Does 8 divide y?
True
Let z be (20/14)/(-5) - (-382)/14. Let b = z + -18. Is b a multiple of 9?
True
Let c(l) = -2*l**2 + 3*l - 3. Let r be c(2). Let v(a) = 8 + 6*a**2 + 0*a - 8 + 4*a + a**3. Is v(r) a multiple of 5?
True
Is 105 a factor of (-170)/(-20)*(1 + 271) + -2?
True
Let u(z) = 3*z**2 + 10*z - 6. Let y(i) = -13*i**2 - 40*i + 25. Let j(f) = -9*u(f) - 2*y(f). Let a be j(-10). Suppose a*v = -v + 255. Does 20 divide v?
False
Suppose -2*w - 3*w - 5415 = -4*g, 6773 = 5*g - 2*w. Is 33 a factor of g?
False
Suppose 0 = -v - 2*i + 12 + 66, 0 = 2*i - 2. Is 4 a factor of v?
True
Let s be 32/24 + (-155)/(-3). Let u = s + -19. Let k = u - 22. Is k even?
True
Suppose -2*c = 2*b - 5682, 93*c + 2851 = 94*c - 4*b. Is 28 a factor of c?
False
Is 14 a factor of 786 + -6 + -5 + 9?
True
Let q(b) = -b**3 - 4*b**2 - 6*b - 7. Let j be q(-3). Suppose -j*a = -1 - 3. Suppose -5*x = -o - a*x + 44, -3*o - 4*x = -171. Is 14 a factor of o?
False
Suppose -7*d + 4*d + 954 = 0. Is d a multiple of 21?
False
Suppose 0 = -h - 4, 5*j - h + 227 = 61. Let z = j - -61. Let u = -13 + z. Is 7 a factor of u?
True
Let b(c) be the second derivative of c**4/12 + 4*c**3/3 + 39*c**2/2 - 7*c. Is 13 a factor of b(-8)?
True
Let v(h) = -4*h + 7. Let t be v(0). Suppose 0 = y + m - 15, 3*m - 81 = 2*y - t*y. Does 3 divide y?
True
Let g(s) = 32*s + 218. Is 14 a factor of g(7)?
False
Let y(s) = s + 7. Suppose 7*p = 6*p - 18. Let g be (-376)/(-72) - (-4)/p. Is y(g) a multiple of 6?
True
Let s be 6/7*(1 + 6). Suppose 3*i - 117 = s*i. Let y = i + 64. Is y a multiple of 20?
False
Let l(n) = 7*n**2 - n - 3. Let q be l(-3). Suppose 5*h - q - 32 = 0. Let j = h + 0. Is j a multiple of 19?
True
Let j = 439 - 164. Suppose 2 - 7 = -5*u, -4*m - 3*u = -j. Is 21 a factor of m?
False
Let w = 12 - 25. Let k = w - -22. Is 9 a factor of k?
True
Let k(b) = b**3 + 2*b**2 + b + 33. Let x be 0*(-5)/(-30)*-3. Does 11 divide k(x)?
True
Is 152*(11/4 - (-21)/(-28)) a multiple of 16?
True
Suppose 2*q - 35 + 11 = 0. Let r be (-177)/(-9) + 2/6. Let y = r - q. Does 4 divide y?
True
Suppose 3*s - 2*b + 356 = 0, -244 = 2*s - 2*b + 4*b. Suppose 5*h + 5*p + 275 = 0, 3*p - p + 212 = -4*h. Let q = h - s. Does 23 divide q?
True
Let k = 1781 - 1186. Is k a multiple of 10?
False
Let f(w) = 3*w**3 - 15*w**2 + 5*w + 32. Is 8 a factor of f(8)?
True
Let q(m) = 2*m**3 + 5*m**2 - 4*m + 3. Let t(r) = -3*r**3 - 4*r**2 + 5*r - 4. Let z(c) = -4*q(c) - 3*t(c). Let g be z(6). Let i = g - -102. Does 13 divide i?
False
Let v = -117 + 367. Does 14 divide v?
False
Suppose 752 = -6*r + 7*r + 5*y, 5*y = 3*r - 2356. Is r a multiple of 11?
False
Let h = -98 + 163. Suppose -25 + h = 5*q. Let y(n) = n**2 - 6*n + 1. Is y(q) a multiple of 9?
False
Does 10 divide ((-1446)/9)/(-2) - 4/12?
True
Let o(z) = 5*z - 25. Let k be o(5). Let i(r) = r**3 + 2*r**2 + 2*r + 56. Does 4 divide i(k)?
True
Suppose -45*k = -49*k + 4. Let p(s) = 34*s**3 + s**2 - 7*s + 7. Let y(x) = 35*x**3 + x**2 - 8*x + 8. Let v(n) = 6*p(n) - 5*y(n). Is v(k) a multiple of 16?
False
Suppose 21 - 61 = -4*l. Suppose 2*k - 1056 = -l*k. Is 7 a factor of k?
False
Suppose 28*d = 20*d + 4992. Is 12 a factor of d?
True
Suppose 0 = -o + l + 66, l - 117 = o - 3*o. Suppose 4*k - 51 - o = 0. Is k a multiple of 6?
False
Let f = -322 + 584. Suppose -5*j - 1 - 29 = 0. Is 12/(-18) - f/j a multiple of 17?
False
Let m(t) = -t**2 + 6*t + 10. Let c be m(7). Suppose 5*d - 12 = -4*s, 2*s + c*d + 0*d = 6. Suppose 0 = 3*p + s, 4*j - 2*p = -5*p + 25. Does 2 divide j?
False
Let x be 53 - ((-1)/(-4) + 15/(-12)). Let z = x - 8. Is z a multiple of 13?
False
Let o(i) = i**3 + 2*i**2 - 8*i. Let c be o(-4). Suppose -2*s = m - 6 - 34, c = -4*m + s + 160. Does 10 divide m?
True
Let d = -163 - -235. Does 6 divide d?
True
Let c be 5/9*6 - (-2)/(-6). Let m be 32/14 + 6/(-21). Suppose -d + 3*g + 1 = -g, c*g - 24 = -m*d. Is d a multiple of 9?
True
Let f(r) = -4*r**3 - 3*r**2 - 6*r - 8. Suppose -6*n - 44 = 5*n. Is 25 a factor of f(n)?
False
Let c(d) = -d**3 + 3*d**2 + d + 3. Let g(y) = y + 1. Let o be g(-3). Let i be (-10)/30*18/o. Is c(i) even?
True
Is (456/(-660) + (-3)/(-33))*-865 a multiple of 5?
False
Let u be (-6)/((-3)/(-3 + 0)). Let d = u - -20. Does 7 divide d?
True
Let v be ((-2)/5)/(2/(-20)). Suppose 0 = -i + v*i - 579. Suppose 3*o - i = 2*t, -4*o = 3*t - 2*t - 272. Is 28 a factor of o?
False
Does 7 divide (8 + (-20)/(-15))*75?
True
Let p = 131 - 7. Does 62 divide p?
True
Suppose 0 = -2*x + 6*x. Let z(r) = r**3 + r. Let n be z(x). Suppose n = -8*f + 10*f - 72. Is 12 a factor of f?
True
Is (-4 + -3 + 18)/((-2)/(-656)) a multiple of 44?
True
Let f(x) = x**3 - 29*x**2 + 39*x - 228. Does 20 divide f(28)?
True
Let c be 0/3 - 6/(-2). Let m = c - 1. Suppose y + 114 = 3*h, -3*h + m*y + 85 + 26 = 0. Does 10 divide h?
False
Suppose -3*i - 2*a + 84 = a, 51 = 2*i + a. Suppose -i = -4*g - 19. Let p(d) = 28*d**3 - d + 1. Is 15 a factor of p(g)?
False
Suppose 286*i + 112140 = 314*i. Does 108 divide i?
False
Suppose -2*v - 10 = 0, 2*t - 5*t + 155 = -v. Let u = t - 23. Is u a multiple of 11?
False
Let m be ((-2892)/24)/((-2)/(-4)). Let z = m - -75. Is 15 a factor of z/4*(-5 + 3)?
False
Suppose 12*g = 15*g - 1368. Is 12 a factor of g?
True
Let m = -480 + 868. Suppose 25 = -3*n + m. Does 26 divide n?
False
Suppose 0 = 4*m - 13 - 3. Suppose 0 = -m*b + 76. Let j = b + -16. Is 3 a factor of j?
True
Let d = 109 - -24. Does 19 divide d?
True
Let p be 3 - (-9)/(-3) - 0. Let j be (p + 1)*6/2. Is j + 10*3/3 a multiple of 7?
False
Let f(j) = 2*j**2 - 14*j + 50. Does 33 divide f(8)?
True
Suppose 3 = 2*t - 5*t. Let a be ((-15)/t)/((-9)/9). Let s = a - -49. Is 11 a factor of s?
False
Let i(o) = 14*o + 9. Let v(f) = -14*f - 10. Let q(n) = 7*i(n) + 6*v(n). Let u be q(-2). Does 12 divide ((-160)/u)/((-2)/(-15))?
True
Let g be ((-10)/(-6))/((-4)/(-12)). Suppose -5*b + g*y - 33 = -13, -4 = -b - y. Suppose -2*j + x = -x - 50, b = -4*j - 4*x + 60. Does 10 divide j?
True
Suppose -39*t + 4434 = -3405. Is t a multiple of 3?
True
Let i be 0*2*4/(-8). Suppose i = -4*l + 