
True
Let g = -10 - -4. Let w be (-1)/(-3 + 4) - g. Suppose 3*z - w*z + 56 = 0. Is z a multiple of 10?
False
Is 41 a factor of 2218/9 + 17/((-153)/4)?
True
Let c be (-1041)/(-7) - (-20)/70. Suppose 155 = 2*m - c. Is m a multiple of 19?
True
Let z be (12/4)/(3/19). Suppose -t = 4*a - 57, 5*a + z = -3*t + 190. Is 13 a factor of t?
False
Suppose -776*v = -766*v - 3510. Is v a multiple of 9?
True
Let h(a) = 2*a + 10. Let l(v) = 3*v + 9. Let q(r) = -6*h(r) + 5*l(r). Let o be q(6). Is (o - 14)*(2 + -3) a multiple of 11?
True
Let d = -131 - -383. Suppose 4*m - 23 = -7. Suppose -m*q + d = -0*q. Does 11 divide q?
False
Let r(q) = q**3 + 7*q**2 - 4*q - 6. Suppose 2*y + 5*y = -49. Is 11 a factor of r(y)?
True
Let i(k) = 4*k**3 - 16*k**2 + 6*k + 8. Is i(11) a multiple of 11?
False
Let w = -54 + -11. Let g = -36 - w. Does 14 divide g?
False
Let g(n) = 7*n + 26. Let m be g(7). Let w = m + 35. Is 11 a factor of w?
True
Let z be (-10 + 0)*(-2)/4. Suppose -z*a - 51 = 2*r, 3 = a - 6*r + 2*r. Let k = 22 + a. Is k a multiple of 13?
True
Let l(o) be the first derivative of 7*o**3 - o + 1. Suppose 25*y = 7*y - 18. Is l(y) a multiple of 4?
True
Let m(y) = 9*y - 6. Let w(f) = 26*f - 17. Let l(b) = 2*b + 4. Let i be l(-4). Let r(t) = i*w(t) + 11*m(t). Is 8 a factor of r(-3)?
False
Suppose -2*x = -2*q - 0*q + 6, x + 2*q = 0. Is 3/6 + (-13)/x + -1 a multiple of 5?
False
Let j(b) = -74*b - 27. Let y be j(-9). Suppose 0 = 5*v + 114 - y. Does 15 divide v?
True
Let c be 0 + 38/6 - (-63)/(-189). Suppose 54 = 6*u + c. Does 8 divide u?
True
Suppose -3*l + 228 = 3*l. Suppose 0*h - 2*h + l = 2*p, 5*p + 1 = h. Does 4 divide h?
True
Suppose 81290 = 49*a - 14113. Is a a multiple of 24?
False
Let b = 1 + -5. Let w be (1/b)/((-8)/224). Let n(d) = -d**2 + 17*d - 10. Is 29 a factor of n(w)?
False
Let f = -2 - -4. Suppose -74 = -f*r - 18. Does 14 divide r?
True
Let o = -10 + 15. Suppose o*a + 28 = 7*a. Is a a multiple of 2?
True
Let h(q) = -1435*q + 50. Does 10 divide h(-1)?
False
Let k = -9 + 9. Suppose d - 5*m + 3 = k, 3*m + 2 = 5*m. Suppose d*a = -3*a - u + 64, u + 56 = 5*a. Does 12 divide a?
True
Suppose 5*z = 2*b - 28, -5*z - 4*b = -0*b + 34. Let j be 3/2*(-16)/z. Suppose -n - j + 52 = 0. Does 24 divide n?
True
Let j = -39 - -43. Is 2 a factor of j?
True
Let g(s) = -3*s**2 + 3*s + 7. Let j be g(-3). Let l = -4 - j. Does 5 divide l?
True
Suppose 0 = 3*k - k + 20. Is 21 a factor of 4/k*(10*138)/(-4)?
False
Let o = 88 + 108. Suppose 0*t = -5*t, -2*f = -4*t - o. Does 9 divide f?
False
Does 5 divide 30/(-10) + 1 + 54*1?
False
Let t = 48 + -45. Suppose t*l + 68 = 7*l. Is 9 a factor of l?
False
Let m(d) = -d**2 + 8*d + 11. Let q be m(9). Suppose q = z - 0. Is 10 a factor of (-1)/z + (-78)/(-4)?
False
Is ((-490)/(-7))/(11/22) a multiple of 5?
True
Let n = 406 - -163. Does 13 divide n?
False
Suppose -167*z = -173*z + 2256. Does 24 divide z?
False
Suppose -2*z + 6365 = 3*i - 1339, -4*z = -3*i - 15408. Is 7 a factor of (-3)/2*z/(-54)?
False
Suppose 10*v = 1246 + 254. Does 3 divide v?
True
Let o(c) = 5*c**2 - 3*c - 44. Is o(6) a multiple of 6?
False
Suppose 0 = 6*s - s + 15. Let z = -5 - s. Is 3 a factor of 6 + (z - 3 - -3)?
False
Suppose 66*w - 111673 = -6997. Is w a multiple of 11?
False
Is (-4 - -3789)*-4*10/(-200) a multiple of 40?
False
Suppose 45*n + 13046 = 32171. Is n a multiple of 85?
True
Suppose 2*l - 56 - 90 = 0. Does 20 divide l?
False
Is (-3 - (-11 + -2)) + 952 a multiple of 13?
True
Suppose 559 + 119 = 2*h. Is 13 a factor of h?
False
Let l = 0 - -4. Let w = -286 - -362. Suppose -196 = -l*v - w. Is v a multiple of 7?
False
Suppose -5*u + 46 = -4*l, 0 = 5*u - u + 2*l - 16. Suppose w - 2*w = -u. Does 6 divide w?
True
Is 24 a factor of (-94)/(6*11/(-1584))?
True
Suppose 186*d - 152*d - 3672 = 0. Is d a multiple of 36?
True
Let x = 56 - 53. Suppose 2*h - 5*v = 51, x*h + 4*v - 6 = h. Is h a multiple of 2?
False
Let f(g) = -g**3 + g**2 - 15*g + 6. Does 7 divide f(-5)?
True
Let r(x) = -2*x + 5. Let s be (-1 - (-4)/6)*-9. Suppose -s*y - 5 = 7. Does 7 divide r(y)?
False
Let n(r) = 2*r**3 - 23*r**2 + 49*r + 48. Is n(15) a multiple of 18?
True
Suppose 4*d = 4*a - 0*a - 92, -3*a = -2*d - 65. Is 19 a factor of a?
True
Suppose 478 - 172 = 3*w. Does 6 divide w?
True
Let b(v) = 169*v + 1. Is 17 a factor of b(1)?
True
Suppose 2*j + 0*o - 5*o - 42 = 0, 30 = j + 2*o. Suppose 3*k = -5*x + 6, 0*x + 4 = 2*k + x. Let h = j - k. Is h a multiple of 8?
True
Let y(i) = i**3 + 6*i**2 + 8*i + 3. Let a be y(-4). Suppose -a*n - n - 50 = -v, -v - 3*n + 36 = 0. Is 10 a factor of v?
False
Let b be -6 - (-81)/15 - 56/(-10). Suppose -b*m + 445 = -a, 2*m - 3*a - 108 = 57. Is 10 a factor of m?
True
Suppose z + 0*z + 32 = -5*x, -x + 2*z = 13. Let p = x - 13. Does 9 divide 15/p*(-12 - 0)?
True
Suppose -7*n - 20*n = -15390. Is n a multiple of 38?
True
Let v be 10/3 + (-8)/(-12). Suppose 53 = 2*j - 5*j + v*k, -4*k + 75 = -5*j. Let o(f) = -f**2 - 13*f - 10. Is 4 a factor of o(j)?
True
Suppose -2*t + 10 = -12. Suppose 3*x + 513 = 3*y, -y = -4*x + 5*x - 163. Suppose 6*c - y = -t. Does 3 divide c?
False
Let b = -768 - -1740. Suppose -x - b = -5*x. Is 38 a factor of x?
False
Let g(y) = 8*y + 4*y**2 - 8 + 0 + y - 5*y**2. Let k be g(8). Suppose -42 = -3*a - 3*l, a - 4*l - 52 + 13 = k. Is a a multiple of 19?
True
Let d be 1*((0 - -1) + 1). Let v be ((-80)/(-30))/(d/3). Suppose -3*t - 119 = -5*m, -v*m - t + 0*t = -102. Does 20 divide m?
False
Suppose 0 = 3*z - 20 - 7. Let y(g) = 4*g - 24. Let k be y(7). Is k/(-6) - (-402)/z a multiple of 18?
False
Suppose -4*h = -8*h + 48. Suppose h = 5*a - 38. Does 5 divide a?
True
Is (523640/25)/19 + (-3)/(-5) a multiple of 69?
False
Suppose -5*a + 68 + 65 = 4*y, 0 = y + 2*a - 34. Suppose 3*u + 4*t + 0 - 24 = 0, -5*t = 4*u - y. Is 2 a factor of u?
True
Is 3833 + 28 - 1*0/(-4) a multiple of 13?
True
Let f = 1444 + -844. Does 10 divide f?
True
Let d(u) = -2*u**3 - 2*u**2 + 2*u. Let z be d(-2). Suppose -6*x + 7*x - 66 = 0. Suppose z*w - 6 = x. Does 13 divide w?
False
Let t = -1150 + 2713. Is t a multiple of 30?
False
Let s = 67 - 60. Let a(v) = -v**2 + 12*v - 19. Is a(s) a multiple of 8?
True
Let a(p) be the second derivative of p**5/20 + 5*p**4/6 + 4*p**3/3 - 7*p**2/2 + 6*p. Let d be a(-9). Suppose -d*g - 4 = -30. Does 13 divide g?
True
Let x = -282 + 741. Let w = 834 - x. Suppose 0 = -8*a + 3*a + w. Does 26 divide a?
False
Suppose 46 = -5*h + 436. Suppose -61 - h = -o. Is o a multiple of 21?
False
Let p = 4 + -2. Let r = 1740 - 1726. Is 12 a factor of ((-7)/r)/(p/(-340))?
False
Let x be 186/4*12/9. Let j = x + -34. Is 7 a factor of j?
True
Suppose 3*m + 0*m + 4*w + 291 = 0, -2*w = 4*m + 388. Let l = 148 + m. Is l a multiple of 12?
False
Let t be (-18)/(-5)*25/15. Let x = t + -4. Suppose -x*s + 187 = 3*d, -37 = -3*d - 3*s + 152. Is 8 a factor of d?
False
Suppose -4*i + 5*u = -595, -3*u - 151 - 148 = -2*i. Is 4 a factor of i?
False
Let m(t) = -3*t + 0 - 12 - 4. Let j be m(-7). Let p = 1 + j. Is 2 a factor of p?
True
Suppose 4*j + 38 + 30 = 0. Let m(c) = -11*c - 19. Is 28 a factor of m(j)?
True
Let w = 25 - 22. Is (-2 + 55 - w)*3/6 a multiple of 23?
False
Suppose 2*v - 3*y - 18 = 0, -25 = -4*v - 2*y + 11. Let i(q) = -3 + 0 - v*q + 4. Is 22 a factor of i(-4)?
False
Let m(p) = -5*p**3 + 1. Let r be m(-1). Let h(t) = t**3 - 4*t**2 + 3*t - 20. Is 13 a factor of h(r)?
False
Let i = -21 + 26. Suppose -p - 3 = 0, i*p - 8 = -v + 7. Is v a multiple of 5?
True
Let y(n) = n**2 - 7*n - 5. Let g be y(9). Suppose x + 1 = 0, 5*j = -x + 1 + g. Suppose -55 = -2*p - j*h - 22, -10 = 2*h. Is 10 a factor of p?
False
Suppose 6*f - 5 = 31. Suppose 140 = 4*v + a - f*a, 0 = 5*a + 20. Is 13 a factor of v?
False
Suppose -28 + 8 = 5*n, 0 = 2*k + 3*n + 8. Suppose 69 + 45 = k*t. Is 15 a factor of t?
False
Suppose 2*v = -w - w - 120, 5*v + 2*w = -294. Let p = v + 100. Does 12 divide p?
False
Suppose 0 = j - 5*y - 211, 0 = 2*j + 4*y - 416 - 20. Does 27 divide j?
True
Let c(x) = x**3 - 4*x**2 - 11. Let g(w) = w**2 - w - 1. Let s be (-6)/(-1)*(-4)/(-8). Let a be g(s). Does 3 divide c(a)?
False
Let n(s) = 9*s**2 + 9. Let w be n(7). Suppose -v - w = -5*h, v - 74 = -h - 2*v. Is h a multiple of 35?
False
Let b = 1004 - 290. Does 42 divide b?
True
Suppose 4*f + 2*x - 2 = 12, 4*f - 4*x = 20. Suppose -2*w + 95 = -c, 15 = f*w + 3*c - 