 - 3*m + 7, 2*x - 3*m = 21. Suppose p = x*p - 515. Is 19 a factor of p?
False
Let l be ((-12)/10)/((-15)/25). Let d(c) = 7*c**2 - 4*c + 7. Is d(l) a multiple of 6?
False
Suppose v - 6 = -2*v. Suppose -4*a - 4*y = -240, 4*a - 193 = -v*y + 57. Let r = 130 - a. Does 21 divide r?
False
Suppose 7*k + 0*k + 3773 = 0. Let v = -278 - k. Does 29 divide v?
True
Does 68 divide 12/((-5)/(2720/(-24)))?
True
Suppose 3*l = -3*h + 33, -2*h + 69 = 3*h - 2*l. Suppose 5*f + 31 = g, 2*g = -0*g - 5*f - h. Suppose 5*n = 4*w - 29, -4*w - 3*n + 47 = -g. Does 11 divide w?
True
Suppose 3*i - i - 60 = 0. Let y = 238 - 130. Is 10 a factor of (y/10)/(12/i)?
False
Suppose 2*g + 788 = 3*g - 5*k, 3*k = 4*g - 3203. Does 6 divide g?
False
Suppose 0 = 10*c - 112 - 1348. Is c a multiple of 13?
False
Suppose 0 = 5*q + 5*u, -2*q + 5*u = q - 16. Suppose -2*x - 128 = q*x + 4*a, 58 = -2*x + a. Let p = x - -43. Does 13 divide p?
True
Let x = 333 + -118. Does 35 divide x?
False
Suppose 0 = -5*w + 5*h + 25, 5*w - 9 = 2*w + h. Let f be (w/(-4))/((-1)/(-104)). Is 4 a factor of (-13)/f + (-15)/(-4)?
True
Let t(l) = -l**2 + 10*l - 6. Let u be t(6). Suppose -2*k + u = -k. Does 17 divide k?
False
Let s be 23*(-4)/(-22) + (-6)/33. Does 16 divide 324/(11 - 5) + s?
False
Let v = 2 + -12. Let x(t) = -t**3 - 9*t**2 + 4*t + 4. Is x(v) a multiple of 16?
True
Suppose 0 = 2*s - 6. Does 12 divide (-8 - -4 - -37) + s?
True
Let z(l) = 15*l + 11. Let n be z(-5). Let c = 94 + n. Does 10 divide c?
True
Let s(t) = t**2 + t + 3. Let j be s(0). Suppose 0*z + j*z = 225. Is z a multiple of 5?
True
Let t(o) = 1 + 0 + 25*o**3 - 15*o + 16*o. Let z be t(-1). Let a = z - -60. Is a a multiple of 28?
False
Suppose -q - 16*w + 1565 = -12*w, 0 = -3*q + w + 4760. Is q a multiple of 80?
False
Let l(u) be the second derivative of -u**4/12 - 19*u**3/6 + 17*u**2/2 + 30*u. Is 10 a factor of l(-15)?
False
Let y be 6/1 + (-2 + 1 - 0). Suppose y*s + 65 = 100. Is 6 a factor of s?
False
Suppose 0 = -h - 46 + 44. Is h/3 - (-6944)/48 a multiple of 24?
True
Suppose 416 + 1 = -3*z. Let l = z + 199. Does 12 divide l?
True
Is 12980/20 + (-18)/(-2) a multiple of 7?
True
Suppose -3*x + 358 = 4*u, -75 = -x - u + 46. Is x a multiple of 6?
True
Let f(b) = -2*b + 53. Is f(10) a multiple of 7?
False
Let o(w) = w + 12. Let v be o(-9). Suppose -4*l + 3*l = -2*d - 24, -v*d + 55 = 2*l. Is 5 a factor of l?
False
Let x = 20 + -22. Let f be (-2)/(x/(-12)*3). Let r(d) = -15*d - 4. Does 14 divide r(f)?
True
Suppose 12*u = 10*u + 3*m + 397, 586 = 3*u + 5*m. Is u a multiple of 26?
False
Let v be 3225/18 + 4/(-24). Suppose -4*r - v - 41 = -3*b, -2*r = -b + 72. Is b a multiple of 12?
False
Suppose 11*s - 15*s + 4 = 0. Is (3/(-1) - (-3 + s))*-323 a multiple of 19?
True
Let u be (8 - 7)*(-72)/(-2). Let q = 0 - -2. Suppose -u = -5*x + q*x. Does 8 divide x?
False
Let r = -623 + 408. Let y = r - -496. Is 41 a factor of y?
False
Suppose -42 = -4*y + w + 10, 0 = -5*y + 5*w + 80. Let v = 32 - y. Is v a multiple of 20?
True
Let b = 47 - 31. Suppose 5*t + 34 + b = 0. Let d(l) = l**2 + 4*l + 13. Is d(t) a multiple of 20?
False
Let h = -39 - -37. Let z be (-32 - -4) + 6 + h. Is 10 a factor of (222/z)/(1/(-4))?
False
Let j be (-1 + (-1)/(-2))*-4. Suppose 0 = -4*x + j*c + 446, -x = 4*x + 5*c - 520. Is 10 a factor of x?
False
Suppose 5*h = 3*p - 235, h = -3*p - 39 - 8. Let y = h + 107. Is 5 a factor of y?
True
Is 3 a factor of (28 - (1 - -12))*1*3?
True
Suppose 4*y - d - 23 + 6 = 0, 4*y = -2*d + 14. Suppose -5*l = -3*r - 56, -17 = -l + y*r + 1. Suppose 140 = 12*b - l*b. Is 21 a factor of b?
False
Suppose -5*a + 590 = -3*u, -2*u + 236 = 2*a + u. Suppose q - a = -5*s, 0*q - 4*q - s = -415. Is q a multiple of 18?
False
Suppose -x = i - 122, 7*i = x + 3*i - 142. Suppose -x = -2*n - 4*n. Is 13 a factor of n?
False
Suppose 3391 + 144 = 5*n. Let w = -315 + n. Is 14 a factor of w?
True
Let z be 76 - 1 - (-6 + 1). Let g = z - 45. Is g a multiple of 12?
False
Suppose 3*s = -3*g + 606, 558 + 285 = 4*g - 3*s. Is 9 a factor of g?
True
Suppose -24 = 2*o - 0*o. Suppose -2*w + 7*w = 30. Is 19 a factor of 4/o + 116/w?
True
Let p be (2 + (-14)/5)/(8/(-20)). Does 15 divide 3 - (-40 - (-3 + 3 + p))?
True
Let t(h) = -2*h - 5. Let j be t(-4). Suppose -12 = -7*v + j*v. Suppose 5*f = v*f + 58. Is f a multiple of 7?
False
Let u(o) = -o**3 - o**2 + 7. Let s be u(0). Suppose s*g + 1078 = 21*g. Is 7 a factor of g?
True
Let w = 1 + 4. Let m(o) = -6*o**2 - 41*o - 24. Let t be m(-6). Suppose -h - 4*v + t = v, 0 = w*h - 2*v - 111. Is 7 a factor of h?
True
Suppose 2*q - 2*k = 4*q, 5*k = -10. Suppose q = 2*w, -27 = -5*z + 3*w - 0*w. Is 10 a factor of ((-12)/(-15))/(z/225)?
True
Let q(x) = -x**3 - 2*x**2 - 16*x - 101. Does 6 divide q(-5)?
True
Let l = -158 + 293. Let d = l - -63. Is 36 a factor of d?
False
Does 15 divide (-2)/4 + (23 - 12705/(-42))?
False
Let f(k) = 6*k**2 - k - 5. Let w be f(-5). Suppose -8*r + 13*r + w = 0. Let h = 33 + r. Is h even?
False
Let f(l) = 2*l - 9. Let b be f(11). Let v(t) = -49*t**3 - t**2 - 2*t - 1. Let a be v(-1). Let g = a - b. Is g a multiple of 15?
False
Let s(j) = 234*j**2 + 16*j + 4. Is s(2) a multiple of 18?
True
Let f be (26/39)/(-1*2/(-843)). Let b = 471 - f. Is 10 a factor of b?
True
Suppose 1520 = 43*b - 1963. Is b a multiple of 9?
True
Let s(g) = -g**3 + 20*g**2 + 3*g + 22. Is 12 a factor of s(20)?
False
Let y(h) = -2*h**3 + 6*h**2 + 2*h + 19. Is y(-6) a multiple of 11?
False
Let p be 3*2/(-3) + 0. Suppose -4*s - 5*f - 420 = -2*s, 4 = -f. Is 20 a factor of ((-4)/(-10))/(p/s)?
True
Suppose 55*p = 31267 - 3217. Is p a multiple of 17?
True
Suppose -8*u - 72 = -400. Suppose -z + n + 36 = -1, -z - 3*n + u = 0. Does 20 divide z?
False
Suppose d + 2*d - 1730 = -5*g, -4*g + 1156 = 2*d. Is 10 a factor of d?
True
Suppose 13*v + 10*v = 1035. Is 3 a factor of v?
True
Suppose -j + 3*v - 23 = -2*j, -4*v = -5*j + 115. Let m = j + -12. Is 2/m - (-1770)/66 a multiple of 9?
True
Let t be 2/12 - (-55)/30. Suppose -2*h = -6*h + 16, t*c - 2*h = 382. Does 28 divide c?
False
Let i = 3 + 1. Suppose 0 = -i*a + 2*g + 270, -2*a - a - g + 215 = 0. Let o = 25 + a. Is o a multiple of 24?
False
Suppose 13055 = -11*j + 16*j. Is 17 a factor of j?
False
Let w(y) = 2*y**2 - 86*y + 605. Does 7 divide w(39)?
False
Suppose -h + 16 + 35 = 3*b, h - 3*b = 39. Suppose -44 = 3*s + 4*p, -3*p - h = 3*s - 0*p. Let j = -8 - s. Is j a multiple of 4?
True
Let c(v) = -v**2 + 9*v - 2. Let q be c(8). Suppose 16 = -4*f, -f + q*f - 64 = -4*x. Is x a multiple of 5?
False
Suppose v - 652 = -4*z, 4*z - 3*z + 3*v = 174. Let o = z + -92. Does 14 divide (1 - 2)/((-5)/o)?
True
Let h be (-4 + 6)/((-2)/(-12)). Is ((-45)/h)/((-3)/12) a multiple of 5?
True
Let t be 78/30 + (-2)/(-5). Does 13 divide t + (-2)/2 + 4*21?
False
Let u = -33 - -35. Suppose 3*n = a - n - 34, u*a - 5*n - 77 = 0. Does 25 divide a?
False
Let v(q) = 229*q - 609. Does 45 divide v(6)?
True
Suppose -13*n = -19089 - 9498. Does 14 divide n?
False
Let j(a) = 6 + a - a - 5*a + 4*a - 10. Let k(h) = -11*h - 1. Let o be k(1). Does 2 divide j(o)?
True
Suppose 214 = y - 3*i - 706, 3*i + 3653 = 4*y. Does 14 divide y?
False
Let l be ((-4)/(-3))/(8*2/24). Does 11 divide (l - (-69)/6)*160/24?
False
Let d be ((-78)/(-24))/(-13) + (-125)/(-4). Suppose q - d - 46 = 0. Does 11 divide q?
True
Let q(v) = 23*v + 405. Does 6 divide q(9)?
True
Suppose 0 = 2*v - 3 - 13. Let i = v + -4. Is 4 a factor of i?
True
Let y = 370 + -286. Is y a multiple of 12?
True
Is 3 a factor of -1 - (-26 - (-5 + 0))?
False
Suppose 17*g + 0*g = 442. Is g even?
True
Suppose -f + 0*v + 10 = -3*v, 2*f - 10 = v. Suppose 0 = -f*i - 4*x - 0*x + 572, 0 = 5*i + x - 703. Does 35 divide i?
True
Let q = 577 + 155. Does 6 divide q?
True
Let t(w) = w**3 - w**2 + w + 41. Let l = 5 - 5. Suppose 4*o + l*o = 0. Is 14 a factor of t(o)?
False
Let z = 74 + -4. Let i(t) = t - 10. Let g be i(12). Suppose 0 = -g*s - 14 + z. Is 14 a factor of s?
True
Let f(m) = -m**2 + 11*m - 6. Let j be f(5). Let y = 12 - j. Does 12 divide (-54)/4*32/y?
True
Let y(u) = -4*u**2 - 15*u - 9. Let j(h) = -3*h**2 - 15*h - 8. Let p(o) = -3*j(o) + 2*y(o). Let n be 8/(-12) + 92/(-6). Is p(n) a multiple of 16?
False
Let j be 2/(-5) + 84/10. Let c(t) = 3*t**2 - 8. Let w be c(j). Suppose 5*y = -a + 227, 4*y = -3*a + a + w. Does 9 divide y?
True
Let