 18 + z. Is (-602)/f + 16/(-80) a multiple of 13?
False
Suppose 0 = -4*t + 7*t - 27. Let o = t + 71. Does 20 divide o?
True
Let k(b) = 6*b + 24. Let y be k(-7). Let s = 69 + y. Is 17 a factor of s?
True
Suppose 2 = 4*m - 10. Suppose -n - 1 = 2*p - 11, -m*n + 4*p + 60 = 0. Is 4 a factor of n?
True
Does 13 divide (2 + -3872)/(-6) - (-10 + 5)?
True
Let a(y) = -15*y**3 + 2*y**2 + 16*y + 80. Is 25 a factor of a(-5)?
True
Let r be (-9)/3 + 3 + 38. Suppose y - 4*z = 9 + 5, 0 = -y - 2*z + r. Is (45/6)/(5/y) a multiple of 15?
True
Let g(d) = -d**2 + 3*d + 4. Let s be g(5). Suppose f = 5*h - 33, f + 1 = -h - 44. Let c = s - f. Does 17 divide c?
False
Let k be (-1 - 4)/((-2)/(-116)). Let g = -198 - k. Suppose -g = -5*p + 168. Is 13 a factor of p?
True
Let g = -1572 - -3274. Does 37 divide g?
True
Let a(y) = y**2 - 11*y - 12. Let c be a(9). Let o be (-16)/(-10) - 12/c. Suppose -2*z = o*n - 22, -5 = 5*n - 10*n + 5*z. Does 4 divide n?
False
Let h be 2822/10 - 2 - (-3)/(-15). Suppose -30 - h = -2*n + 5*v, v = 0. Is 29 a factor of n?
False
Let r(g) = g**3 + g**2 + 4*g. Let n be r(4). Suppose 3*d + n = 309. Does 32 divide d?
False
Let n(r) = r**2 + r - 1. Let y(c) = 45*c**2 - 8*c + 12. Let t(s) = 4*n(s) + y(s). Does 14 divide t(2)?
True
Suppose -107*b + 21*b + 40334 = 0. Is 7 a factor of b?
True
Suppose -10 = 3*l - 5*d, -3*l + 2*d - 6 = -d. Let w be 1/(-2)*4 + l. Is 9 a factor of 12/(-14)*(-12 + w)?
False
Let q(b) be the second derivative of -b**3/3 + 33*b**2/2 - 13*b. Does 13 divide q(0)?
False
Suppose -d + 5*t - 28 = 0, 2*d + 3*t - 9 = -0. Let x be (0*1/d)/(-2). Let c = 12 + x. Does 4 divide c?
True
Suppose 5*v + 9 - 24 = 0. Suppose v*u + 43 - 164 = -4*s, -3*s - 2*u + 90 = 0. Is 11 a factor of 1 + 7/(s/104)?
False
Suppose 6*a = 5*a + 16. Let r = 21 - a. Suppose 0 = -r*u + 98 + 37. Is 9 a factor of u?
True
Let v be (4/6)/((-2)/(-2004)*2). Suppose 3*w = -5*m + v, w - 194 = -3*m - 4*w. Is 5 a factor of m?
False
Suppose m - 24 = -3. Let d be 7/(-63)*3 + (-2)/(-6). Suppose -2*p + 51 + m = d. Is p a multiple of 11?
False
Let d be 350/(-28)*(-4)/5. Is (-4)/d - 314/(-10) a multiple of 21?
False
Suppose 64 = 3*m - 353. Let c = 237 - m. Is c a multiple of 14?
True
Suppose f - 4*p = 5*f + 12, 0 = 2*p + 10. Let n be 6/(-18)*-6 + 1 + -1. Let h = n + f. Is h even?
True
Suppose 757 = 8*a + 117. Let y = 173 - a. Is y a multiple of 14?
False
Let n(l) = -8. Let o = -14 - -7. Let a(w) = -w - 15. Let z(r) = o*n(r) + 4*a(r). Does 16 divide z(-9)?
True
Let v(f) = f**3 + f + 4. Let g be v(0). Suppose -4*a = t + 11, 3*a - 2*a - g*t + 24 = 0. Let r = 24 + a. Is 4 a factor of r?
True
Let j(y) = -12*y**3 + 3*y**2 + 2*y - 16. Does 10 divide j(-4)?
False
Is -72*((-25)/2 + 7) a multiple of 22?
True
Let a be 1/3 + 44/(-6). Let x = 10 - a. Suppose 3*z = 22 + x. Does 5 divide z?
False
Let c be 43/2*(5 - -1). Let b(v) = -3*v - 24. Let z be b(-9). Suppose z*k - c = -12. Is 16 a factor of k?
False
Let g(t) = t**3 + 11*t**2 - 11*t + 14. Let b be g(-12). Let u be -3*(b + -1)*-1. Suppose 33 + 6 = u*h. Is 8 a factor of h?
False
Suppose 2*o + 11 = 41. Suppose q - o = -5*u, -q + 2*u = 3*q + 28. Let z = q - -28. Is z a multiple of 6?
False
Let n(l) = 11*l**2 + 16*l + 2*l**3 - l - 11 - l**3 + 26. Does 42 divide n(-9)?
True
Let c = 126 + 1869. Does 21 divide c?
True
Suppose -2*w - 5 = -5*z + 3*w, 0 = -4*z + 3*w. Suppose 0 = 3*f - 9*f - 54. Let u = z - f. Does 4 divide u?
False
Let w = 473 - 278. Does 15 divide w?
True
Let o = 78 - 54. Suppose 10 + o = 2*b. Is 4 a factor of b?
False
Let p(k) be the first derivative of k**3/3 - 9*k**2/2 - 11*k + 1. Let q be p(12). Suppose 345 = 5*u - 3*j, 3*j = -2*j + q. Is u a multiple of 24?
True
Suppose 5*b + 20 = 8*u - 4*u, 0 = u + 5*b + 20. Suppose u*m = -m + 66. Is m a multiple of 10?
False
Suppose 131 = 5*b + 5*i + 21, -i - 128 = -5*b. Suppose b = o + 4*o. Suppose -o*q + 322 = 27. Does 30 divide q?
False
Let d(s) = 3*s - 2. Let g be d(4). Let m = g + -10. Suppose 3*o - 6 = m, -z = -5*z + 5*o + 54. Is z a multiple of 3?
False
Suppose 2*h = 4*h - 10. Suppose 0*m - h*m - 4*f + 18 = 0, -3*f = -3*m. Suppose -101 = -2*l + 3*i, -5*l - m*i + 167 + 76 = 0. Is l a multiple of 17?
False
Suppose 1440 = 4*w - 24*f + 28*f, -2*w - 4*f = -720. Is 90 a factor of w?
True
Suppose 9*i = 3260 + 1213. Let o = i - 287. Is o a multiple of 42?
True
Let h(i) = 4*i - 47. Let q be h(8). Let c = 66 - q. Is c a multiple of 27?
True
Is 60 a factor of (-3049)/(-3) + 116/174?
False
Suppose 3*h = -0*h + 675. Is h a multiple of 24?
False
Suppose -7*r + 2*r + 56 = 3*m, r + 5*m = -2. Let b = 35 - r. Does 13 divide b?
False
Suppose 0 = 4*b + 3*f - 19, f + 1 = 2. Let j(i) = i + 1. Let u be j(b). Suppose 5*o = -u*r + o + 140, -4*o - 4 = -r. Does 24 divide r?
True
Suppose -115*d - 3*y - 9411 = -120*d, -9395 = -5*d - 5*y. Does 11 divide d?
True
Let p(s) = 204*s + 607. Is p(13) a multiple of 32?
False
Suppose 2*c - 3*c = -3*j + 903, 592 = 2*j - 4*c. Is 87 a factor of j?
False
Let q(g) = -3*g**3 - 20*g - 5. Does 48 divide q(-5)?
False
Let b = 101 + 241. Does 11 divide b?
False
Suppose -6*w - 28 - 140 = 0. Let a = w - -161. Does 12 divide a?
False
Suppose 0 = -6*x + 10*x + 56. Let o = x + 17. Is 3 a factor of o?
True
Let x(n) = -n - 9. Let v be x(-9). Let q(d) = -5*d + v*d + 2*d + 8. Does 10 divide q(-14)?
True
Let r(o) = -5*o**3 + 12*o**2 + 5*o + 20. Let s(j) = -6*j**3 + 11*j**2 + 4*j + 19. Let n(y) = -5*r(y) + 4*s(y). Is 13 a factor of n(17)?
False
Suppose w - 189 + 27 = 0. Does 27 divide w?
True
Does 103 divide 45118/22 + -5 - (-4)/22?
False
Let i(y) = 44*y - 6. Suppose 5 + 22 = 9*g. Does 62 divide i(g)?
False
Let u(b) = -7*b - 25. Let m be u(-6). Let i = m + 42. Is i a multiple of 17?
False
Let s be 5/((-10)/(-3)) - (-9)/6. Suppose -5*l + 172 = s*q, 5*l - 2*l + 3*q - 102 = 0. Does 6 divide l?
False
Let q(l) = l**2 - 10*l + 9. Let n be q(8). Let k be n/35 + 2/10. Suppose 2*c + 2*c + 3*o - 78 = k, -44 = -2*c - 4*o. Is 9 a factor of c?
True
Let o(y) = -209*y + 1. Does 31 divide o(-4)?
True
Let v = 280 - 270. Is v a multiple of 3?
False
Let u(c) = -c**3 - 8*c**2 - c + 8. Suppose -4*m + 2*m = 18. Is u(m) a multiple of 21?
False
Suppose -14*f = -24*f + 1800. Is f a multiple of 4?
True
Let t(a) = -a**2 + 2*a + 9. Let w be t(10). Let f = w + 124. Does 11 divide f?
False
Let f(d) = -23*d + 8. Let n(m) be the first derivative of -17*m**2 + 12*m - 6. Let r(p) = 7*f(p) - 5*n(p). Is r(8) a multiple of 17?
True
Let i(l) = -274*l. Let k be i(1). Let o = k + 405. Suppose -5*t - 41 = -o. Is 7 a factor of t?
False
Let f be 2/4 + 33/6. Suppose 0 = 3*y - f*y + 12. Does 5 divide (-1)/(y/(-100)*1)?
True
Let w = -615 - -642. Does 3 divide w?
True
Suppose 8*d + 771 = 6843. Is d a multiple of 69?
True
Let p(x) = -x**3 + 13*x**2 - 16*x + 64. Does 5 divide p(10)?
False
Suppose -v + 88 = y, 2*v = -2*y - 2*y + 352. Is 8 a factor of y?
True
Suppose 3*n + n + 23 = -3*y, -4*n = y + 21. Let a be y + 5 - (4 - 2). Suppose -a*c + 23 + 13 = 0. Is 11 a factor of c?
False
Let p = 511 + -295. Is p a multiple of 6?
True
Suppose -1110 = x - 6*x. Suppose n + x = 5*w - n, -4*n + 154 = 3*w. Suppose -217 = -3*z - w. Does 16 divide z?
False
Suppose -25*v + 22*v + 348 = 0. Let b = 179 - v. Does 7 divide b?
True
Let f(a) = -a**3 + a**2 + 2*a - 3. Let m be f(3). Let l = m + 20. Suppose l*v - 30 = 40. Is v a multiple of 6?
False
Let a = -533 - -275. Let z = a + 374. Does 19 divide z?
False
Suppose 0 = -5*p - 358 + 933. Suppose a + 9 + 55 = 0. Let u = a + p. Is 36 a factor of u?
False
Suppose -4 + 2 = -a. Suppose -290 = -a*c + 34. Does 27 divide c?
True
Is (3 - -3)*96/8 a multiple of 6?
True
Let j = -8 + 13. Let a be (4/(-5))/((-2)/j). Suppose 3*c + 3*i = 111, 3*c = a*i - 0*i + 136. Does 11 divide c?
False
Let m be 18/10*(-40)/(-12). Suppose -3*j = -m*j + 45. Is 15 a factor of j?
True
Suppose 6 = -2*z - k + 4*k, -k = -4. Suppose -5*o - 5*h = 40, -z*o - 15 = h + 3. Let v(c) = c**2 + 4*c. Does 4 divide v(o)?
False
Let l(y) = 4*y + 20. Let b be l(-5). Is (b - (-2 + 5))*(-292)/6 a multiple of 16?
False
Let g(r) = -34*r + 35. Let x be g(-3). Let k = x + -89. Is k a multiple of 6?
True
Is (-30)/(-5) + 84 + -6 a multiple of 14?
True
Suppose -4*v - v + 4*a + 6493 = 0, 5*v + 4*a - 6477 = 0. Does 56 divide v?
False
Let p = -34 + 34. Let i be 3 - p/(-4 - 1). Su