ue
Let w be (-8)/60 + 799/255. Let y(g) = 0 - g + 1 - 5 + 5*g**2. Does 15 divide y(w)?
False
Suppose 0*z + 2106 = 4*z + 3*r, -2*z - 2*r + 1054 = 0. Is 21 a factor of z?
True
Suppose -1408 = -4*m - 108. Does 13 divide m?
True
Let p(q) = -q**3 + 10*q**2 + 11*q + 5. Let j be p(11). Suppose 5*v = j*n + 65, -2*v - 4*n + 2*n + 30 = 0. Let w = v - -11. Is 13 a factor of w?
False
Does 37 divide 2 + 1 - -2 - (-12957)/21?
False
Let j = -71 + 74. Suppose 5*f - 75 = -4*y, -j*f = 4*y + 15 - 92. Does 4 divide y?
True
Let m be (-2 - -4) + -5 + -1. Let f = 4 + m. Suppose j = -f + 12. Is j a multiple of 12?
True
Suppose -4*m + 4*z + 16 = 0, m - 2*z + 0*z = 4. Suppose m*n - 45 = 83. Suppose -3*f = f - n. Does 2 divide f?
True
Let b(i) = i + 6. Let y be b(-7). Let l = 6 + y. Suppose o - 175 = -l*x, 5*x + 5*o - 26 = 129. Is 9 a factor of x?
True
Let x(j) = -12*j**3 - 5*j + 7. Is x(-4) a multiple of 53?
True
Suppose 0 = -4*w + 20, -2*c + 2 = -2*w - 0. Suppose -5*f + 40 = n + 4*n, c = 2*f. Suppose 37 = -n*k + 147. Does 9 divide k?
False
Let v(m) = -m**3 + 24*m**2 - 22*m - 1. Let j be v(23). Let a = j + 32. Does 19 divide a?
False
Let l(t) = t**2 + t + 1. Let x(u) = u**3 + 15*u**2 + 6. Let p(s) = 6*l(s) - x(s). Is 5 a factor of p(-10)?
True
Is (-1)/(-4)*-808*(4 - 5) a multiple of 35?
False
Let g = 29 - 25. Suppose g*c - 3*c = 48. Is c a multiple of 8?
True
Suppose -4*l + 2*m + 792 = -2*m, -4*l + 789 = -3*m. Suppose 0*u = -5*u + l. Is u a multiple of 13?
True
Let q(b) = b**2 + 9*b + 2. Let n be q(-9). Suppose n*v - 24 = -248. Let z = -16 - v. Does 29 divide z?
False
Let l be 3/3 - -25 - 1. Suppose k - 25 = l. Is 25 a factor of k?
True
Let b(w) = 7*w**2 - 6*w**2 - 10*w - 1 - 20. Is b(13) a multiple of 6?
True
Let n be 1*-4 - (-16)/4. Suppose -3*c - 2*c + 3*s + 150 = 0, -3*s = n. Is c - (2 + -2 + 2) a multiple of 14?
True
Let x be (2 - 2) + 0/(-7). Suppose x = 4*c - g - 675, 3*g + 586 - 82 = 3*c. Suppose 5*l - c = 71. Does 12 divide l?
True
Suppose 3*r = n - 18, 5*r = -n - 2*n - 16. Suppose -550 = -n*v + 5*m, -3*m = 24 - 9. Does 25 divide v?
True
Let j = 13 + -9. Suppose -c - 4*q + 43 = 2*c, j*c - 5*q = 16. Let b = 3 + c. Is 4 a factor of b?
True
Suppose 0 = -6*b + 4*b + 4*p + 164, -b = 4*p - 106. Let x = b - 35. Is 11 a factor of x?
True
Let z(o) = -o - 20. Let f be z(-22). Suppose 14 + 64 = f*s. Does 13 divide s?
True
Is (2664/(-10))/(((-32)/(-40))/(-4)) a multiple of 41?
False
Let k(c) be the third derivative of -c**6/120 + 4*c**5/15 - 4*c**3/3 + 9*c**2. Let d be k(13). Suppose -83 + d = 4*z. Is 21 a factor of z?
False
Let w = 1405 - -586. Is w a multiple of 90?
False
Suppose 0 = 4*t + t - 15. Suppose t = 5*f - 6*f, g - 7 = f. Suppose -3*n - 84 = -3*p - 0*n, 4 = -g*n. Is 7 a factor of p?
False
Let n = -30 + 50. Suppose q = p - n, -p + 35 = 4*q - 10. Does 17 divide p?
False
Let f(n) = -n**3 + 5*n**2 + 11*n - 9. Let i be f(7). Let u = i + 74. Is u a multiple of 11?
True
Let m(l) = 1. Let x(p) = -45*p - 7. Let y(o) = -6*m(o) - x(o). Does 17 divide y(3)?
True
Suppose 3*w = -5*c - 9, 0 = 4*w - w - 5*c - 21. Suppose w*h = -40 + 132. Suppose 0 = 3*z - 80 - h. Is z a multiple of 21?
True
Suppose 5*g = 2*g + 3525. Does 49 divide g?
False
Let v(p) = p**2 + 8*p + 4. Let w be v(-8). Suppose -3*s = -2*g + 85, -3*g + w*s + 129 = -0*g. Is g a multiple of 19?
False
Suppose 4*y + 240 = 5*f, 0*y + 5*f = -4*y - 280. Does 13 divide y*(18/(-15))/3?
True
Let d = 16 - 17. Is 13 a factor of 114/4*(1 - (-2 - d))?
False
Suppose -a + 2*a - 3 = 0. Suppose a*q - 5*n = -2*q + 175, 2*n = 5*q - 175. Suppose -m = -q - 54. Is 34 a factor of m?
False
Let q = -113 - -34. Let n = q - -106. Does 9 divide n?
True
Suppose 5*v + 15 + 5 = 0. Does 24 divide 163 + (-4 - -5) - v?
True
Suppose -x - 3*j - 24 = 0, 0*x = -5*x - j - 78. Is 11 a factor of 12/x + 845/25?
True
Suppose 38 = 3*x - 16. Is x/(-4) - -5 - (-31)/2 a multiple of 4?
True
Let w(s) = s**3 + 7*s**2 + 7*s + 6. Let u be w(-5). Suppose 9 = -4*q + u. Is 3 a factor of q?
True
Let d(v) = -v**2 + 5*v. Suppose 2*c - 11 = f, 15 = 5*c - 4*f - 17. Let x be d(c). Suppose -x*s - 54 = -7*s. Does 9 divide s?
True
Suppose 0*w - 7*w + 616 = 0. Suppose 4*h + i - 88 = -2*i, 4*h - w = -i. Is h a multiple of 3?
False
Suppose -5*z - 9*i = -4*i - 1330, -2*z + 529 = -i. Is 15 a factor of z?
False
Suppose 0*h + 4 = 2*h. Suppose 12 = 2*x + h*x. Let j = -1 + x. Does 2 divide j?
True
Let l(a) = -2*a**2 + 19*a + 16. Is l(9) a multiple of 2?
False
Let m(s) = -5*s**2 + 11*s + 3. Let b(p) = 6*p**2 - 11*p - 4. Let w be (-63)/(-12) - 2/8. Let j(x) = w*m(x) + 4*b(x). Is j(9) a multiple of 17?
True
Let m(l) be the second derivative of 2*l**3 + 28*l**2 - 3*l. Let r(n) = 4*n + 19. Let v(a) = -6*m(a) + 17*r(a). Does 3 divide v(-6)?
False
Let k = -150 + 240. Suppose -k = -3*b - 0*b. Is b a multiple of 15?
True
Let n be (11 - 13)*2/2. Does 34 divide 902/9 - (-36)/(-162) - n?
True
Suppose -336 + 3225 = 9*m. Is m a multiple of 3?
True
Suppose -2*n = -10, 0 = d - 5*n - 100 - 52. Does 3 divide d?
True
Let f(s) be the third derivative of -3*s**4/8 - s**3 - 11*s**2. Let h(t) = t + 1. Let d(m) = 2*f(m) + 6*h(m). Is d(-3) a multiple of 15?
True
Let v(w) = -3*w**3 + 2*w**2 - 2*w - 2. Let n be v(2). Is (891/n)/((-1)/2) a multiple of 27?
True
Let j(c) = 5*c + 57. Let u be j(-11). Suppose -4*w - h + 143 = u*h, -5*h = -5. Is w a multiple of 13?
False
Let x(r) = 90*r + 81. Does 2 divide x(3)?
False
Let s(g) = -g**2 - 6*g - 6. Let c be s(-4). Suppose -c*r = 10 - 2. Let q = 25 + r. Is 18 a factor of q?
False
Let t = -16 + 28. Let v be (1 + 2)*184/t. Let i = -9 + v. Is 20 a factor of i?
False
Suppose -242 = -4*c + 106. Suppose 0*x + 225 = -5*x. Let s = c + x. Does 9 divide s?
False
Does 40 divide 5034/((-24)/(-4)) + -1 + 2?
True
Let c be (-4)/(-6) + 26/6. Let x(z) = -6*z + 2. Let j(w) = 23*w - 6. Let k(i) = -2*j(i) - 9*x(i). Is 7 a factor of k(c)?
False
Suppose -4*l = -5*l - 1. Is (0 + l/2)/(8/(-672)) a multiple of 13?
False
Let n = 46 + -44. Suppose 2*t + 2*t - n*l = 268, t = 5*l + 58. Is 7 a factor of t?
False
Let p(k) = -6*k**3 + k**2 + 3*k + 2. Let j be p(3). Let x = j + 215. Let l = -44 + x. Is 13 a factor of l?
False
Let s = -142 + 244. Let z = 5 + 3. Suppose -s = -z*k + 5*k. Does 17 divide k?
True
Is (1 - 4812/8)/(6/(-12)) a multiple of 16?
False
Let c = 1077 - 1022. Is c a multiple of 10?
False
Suppose -2*m + 245 = 4*n - 2267, 4*m - n = 5051. Is m a multiple of 37?
False
Suppose 0 = 4*v + 5*s - s - 2060, 4*v + 3*s = 2059. Is v a multiple of 12?
False
Suppose -2 = 5*v - 7. Is (2/v)/((-8)/(-156)) a multiple of 10?
False
Let p(k) = 14*k**3 - 9*k**2 + 15*k - 2. Is p(3) a multiple of 20?
True
Suppose 0 = -3*r - 2*r + 5. Suppose g - 5 = -r. Suppose -g*n + 2*j = 7*j - 97, 5*n - 65 = 5*j. Is 18 a factor of n?
True
Suppose 0 = 68*n - 73*n + 1595. Let y = 583 - n. Is y a multiple of 33?
True
Let p(s) = 2*s + 8. Let z be p(-5). Is z*(0 - 725/10) a multiple of 33?
False
Let h = -11 - -16. Suppose -3*q - 2*v + 3 = -1, h*v + 1 = -2*q. Suppose q*c = 26 + 10. Is 14 a factor of c?
False
Suppose 12 = 3*u, 4*o - u = 132 + 2804. Is o a multiple of 35?
True
Suppose -61 = 2*m - 3*w, -4*m - w - 137 = -4*w. Let s = 0 - m. Does 16 divide s?
False
Suppose 6*q = -247 + 811. Is 3 a factor of q?
False
Suppose -2*u - 5*g = -1142, 11*u - 12*u + 5*g + 586 = 0. Does 16 divide u?
True
Let u(n) = -345*n + 31. Is u(-3) a multiple of 13?
True
Suppose 0*o + 4*o - 48 = 0. Let h be (o/8)/((-15)/(-2110)). Suppose 123 = 3*d + 5*n, -4*d - 3*n - 58 + h = 0. Does 9 divide d?
True
Suppose -3*t + 2*t - 11 = 0. Let v = 53 + t. Suppose -3*w + v = 2*g - 0*w, -4*w + 26 = g. Is 12 a factor of g?
False
Let q = 11 + -44. Let r be (q/(-12))/(1/20). Suppose 5*t + 51 = 3*z + 2*t, r = 3*z - 5*t. Does 4 divide z?
False
Does 100 divide (-5)/70*-4 + (-13998)/(-7)?
True
Suppose 0 = -466*q + 470*q - 3116. Is q a multiple of 10?
False
Let x = 3 - -3. Suppose -x*v + 365 = 23. Is v a multiple of 20?
False
Let i = -13 - -15. Let c be -2*(-3 - i - -3). Does 4 divide c/(-22) + 112/11?
False
Let u be (7/2)/((-10)/(-60)). Let q(h) = 3*h**2 + 4*h. Let f be q(5). Suppose y = -u + f. Does 22 divide y?
False
Let b = 23 + -23. Let l be b/((0 + -3)/(-3)). Suppose l = -i, 4*o + 6*i - 4*i = 32. Is 8 a factor of o?
True
Let s(m) be the first derivative of m**3/3 - 4*m*