 -607. Is b a multiple of 13?
False
Let p = 15 + -7. Let f be (-20)/p*-2 + 1. Suppose c - f - 4 = 0. Is 6 a factor of c?
False
Let r(k) = k**2 - 4*k + 3. Let x be r(4). Suppose -4*n + x*n = -9. Let y = 12 - n. Is y a multiple of 3?
True
Suppose 6*i - 1232 = -8*i. Suppose -46 = t - i. Does 42 divide t?
True
Let n = -6 - -6. Let l(w) = 10*w + 17. Let a be l(-4). Is 8 a factor of (a - n)/(-10 + 9)?
False
Let m be 10318/26 - (-10)/65. Let w = 191 - m. Does 7 divide w/(-10) + 3/(-5)?
False
Let n = 1174 - 622. Is n a multiple of 12?
True
Suppose 3*i = 15, 2*i = 3*p + 5*i - 21. Suppose 3*l - 7*l = -16, 1243 = -3*c - p*l. Does 13 divide 3/7 - c/7?
False
Suppose -8*f + 156 = -180. Is f a multiple of 42?
True
Suppose 41*t = 49*t - 1392. Is t a multiple of 5?
False
Suppose 4*l = 2*v + 2, -4*v + 21 = -l + 4. Suppose z - v*z + 36 = 0. Let y = z - -11. Is 20 a factor of y?
True
Let q be 92/(-3)*(-27)/18. Suppose 0 = 3*b + 5*r - q, -5*r + 27 = 2. Is 5 a factor of b?
False
Suppose 4*r + r + 3*h - 491 = 0, 4*r + 4*h = 396. Is r a multiple of 8?
False
Suppose 5*z = 4*k + 14, -5*k - 13 = 3*z - 51. Suppose 3*j + 120 = z*j. Is j a multiple of 22?
False
Let z be (12/(-15))/(0 - 5/(-75)). Is 24/z*5*(-1)/2 a multiple of 3?
False
Suppose -k - 16 = k. Let q = 0 - k. Suppose 28 = -4*c + q*c. Is c a multiple of 3?
False
Let w(f) = -5*f - 1. Let r be w(-1). Suppose -5*d + 2*d - 12 = -5*c, 4*d - r = 0. Is 2/c - 148/(-12) even?
False
Let v(o) = -34*o - 103. Is v(-7) a multiple of 45?
True
Let m be 1050/(-7)*(-2)/(-5). Let c = 157 + m. Is 17 a factor of c?
False
Let o(f) = -9*f**2 - 21*f + 7. Let n(h) = h**2 - h. Let g(l) = 6*n(l) - o(l). Does 52 divide g(4)?
False
Suppose -10*p + 5*p + 1005 = 0. Is 19 a factor of p?
False
Is 11 a factor of (-1592)/(-16) - (-5)/(-10)?
True
Let f = 610 + -188. Is f a multiple of 24?
False
Let j(w) = -w**2 - 8*w - 4. Let n be j(-6). Suppose 243 + 333 = n*x. Does 36 divide x?
True
Let g = 19 - 3. Suppose g*u - 720 = 11*u. Is u a multiple of 48?
True
Suppose -3*p + 13 - 1 = 0, -5*v - 398 = -2*p. Does 16 divide (-12)/v + 583/13?
False
Let r = -39 - -42. Suppose -25 = 5*i, r*i = -0*n + 3*n - 354. Does 60 divide n?
False
Suppose -57*l + 1545 = -6036. Is l a multiple of 4?
False
Let d(v) = 7*v**2 + 23*v + 28. Let q(p) = 3*p**2 + 11*p + 14. Let c(o) = -4*d(o) + 9*q(o). Does 5 divide c(7)?
False
Suppose 55*d = 51*d + 20. Suppose -5*w + 2*o + 30 + 237 = 0, 4*w - 200 = d*o. Is w a multiple of 11?
True
Let v(t) = -t**2 + 5. Let s(c) = c - 1. Let i(o) = -4*s(o) - 2*v(o). Does 30 divide i(-6)?
True
Let t = -19 - -13. Let w be (-15)/t*(1 - 3). Does 3 divide ((-15)/25)/(1/w)?
True
Suppose 10*s = -0*s + 6*s. Suppose -2*p = m - 129, s = -3*m - 2*m + 5. Is p a multiple of 4?
True
Suppose -516 = -3*y + 25*x - 22*x, 2*y - 4*x - 354 = 0. Is y a multiple of 4?
False
Let s = -253 - -413. Suppose 15 + 1 = 2*d. Suppose 3*r = d*r - s. Is r a multiple of 16?
True
Let b = 126 + -126. Suppose -10*o + 153 + 147 = b. Is 3 a factor of o?
True
Let m(l) = l**3 - 11*l**2 + 9*l - 19. Is m(11) a multiple of 15?
False
Suppose -q - 4*v = -8, 6*q - 3*q = -4*v. Let t(l) = l**2 - 4 + 4*l + 13 + 0*l**2. Is t(q) a multiple of 2?
False
Suppose -4*o + 215 = -5*z, 8*z + 175 = 3*z - 4*o. Let q = 6 + -33. Let b = q - z. Is b a multiple of 3?
True
Let w(v) be the third derivative of 9*v**4/4 + 7*v**3/6 - 3*v**2. Let p be w(5). Suppose -p = -4*s - 101. Does 11 divide s?
True
Let j(q) be the first derivative of -q**4/4 + 13*q**3/3 + 4*q**2 - 13*q - 18. Does 14 divide j(13)?
False
Let t(j) = -j**3 + 6*j**2 + 3*j - 5. Let p be -4*4/8*6/3. Is 22 a factor of t(p)?
False
Suppose -4*z - 37*h = -35*h - 1654, -3*z + 1241 = 2*h. Does 7 divide z?
True
Let a(v) be the third derivative of -5*v**4/24 - 7*v**3/2 - 4*v**2. Is 3 a factor of a(-6)?
True
Suppose 4*v = 5*v. Let b be (-712)/(-7) - 4/(-14). Suppose -3*d + v*d + b = 0. Is d a multiple of 16?
False
Let a(q) = -4*q - 13. Suppose 3*m = -2*m + 5*h + 235, 0 = -5*h + 20. Suppose -m = 3*x - 4*t, 0 = 3*x + t - 0*t + 36. Does 13 divide a(x)?
True
Suppose u + 3698 = 3*t, 4*t - 6*t + 4*u + 2462 = 0. Is t a multiple of 14?
False
Suppose 0 = -5*g - 28 + 8, 42 = q - 2*g. Is q a multiple of 2?
True
Let m(n) = 2*n**2 - n - 6. Let g be m(-4). Let a = g + -16. Is 7 a factor of a?
True
Let w be 222 - 1 - (22 - 21). Suppose 0 = t - 5*t + w. Is t a multiple of 25?
False
Suppose 6*q = q - 40. Let x = -1 - q. Is x/(28/152) - 3 a multiple of 6?
False
Let y = -1625 + 1665. Is y a multiple of 3?
False
Let b(s) = -s + s + 0*s + s - 5. Let m be b(9). Suppose -3*y + 3*z + 105 = -60, m*z = y - 64. Is y a multiple of 24?
False
Let t = 37 + -34. Suppose 162 + 127 = 3*u - b, -291 = -t*u + 3*b. Is 12 a factor of u?
True
Suppose 0 = -4*c + 20 - 0. Let p = c + -9. Does 19 divide p/(-10) + 1860/100?
True
Let w(l) = -7*l - 47. Is w(-19) a multiple of 43?
True
Let q = 768 - 717. Does 2 divide q?
False
Let l = 66 - -32. Suppose -2*n + 6*v + l = 8*v, -3*n = 4*v - 150. Is n a multiple of 23?
True
Let a be 26/13*(-37)/2. Let m = a + 45. Does 5 divide m?
False
Suppose 50*l - 16080 = 34*l. Is 27 a factor of l?
False
Suppose -33 = 2*p - y, -2*p + 5*p = -5*y - 69. Does 39 divide (-9)/p*(-78)/(-4)*8?
True
Suppose -s + 6*s = 3*o + 3950, 5*o + 3940 = 5*s. Is s a multiple of 13?
True
Suppose -6*p - 5*g = -3*p - 16, 0 = -2*p + 5*g - 6. Suppose -p*v = r - 4*v - 175, -2*r - v = -365. Is 21 a factor of r?
False
Suppose 0 = 5*w - 5*x - 415, -6*w = -7*w - 3*x + 87. Is w a multiple of 42?
True
Suppose -25*x = -40*x + 13440. Does 64 divide x?
True
Is 46 a factor of ((13 - 1) + 0)*(-3864)/(-126)?
True
Let c = -66 + 54. Is 24*(3 + 28/c) a multiple of 8?
True
Let z = 4 - 1. Let b be (z - 0)/((-6)/(-8)). Suppose 77 = 3*s - b*y, -56 = -2*s + 4*y - 6*y. Is s a multiple of 8?
False
Let b(f) = -f**3 - 2*f**2 - 3*f - 2. Let k be b(-1). Let v be (-2 - -1)/(3/(-9)). Suppose -2*d + 90 = n + v*n, k = 4*n + 8. Does 11 divide d?
False
Suppose -s = 3*h - 115, -h + 3*h - 324 = -3*s. Is s a multiple of 4?
False
Let w be (-3)/((-18)/(-8))*48/(-32). Suppose -2*x + 229 = -w*c + 45, 3*c - 246 = -3*x. Is x a multiple of 11?
False
Let f(l) = 2*l**2 + 5*l - 9. Let z be f(2). Suppose 0 = -0*g + g + 5*m - z, -3*g + 27 = -2*m. Does 4 divide g?
False
Let l = -1 - -7. Let u = l - 8. Is 10 a factor of -1 + u - (-21 + -5)?
False
Let w = 22 - -10. Suppose 15*z - 10*z = -105. Let v = z + w. Is v even?
False
Let b be (-89)/(1 - (-16)/12 - 2). Let c = -62 - b. Is 20 a factor of c?
False
Suppose 325 = 3*t - 512. Suppose p - t = -a - 2*a, 0 = -p. Does 28 divide a?
False
Let r = 104 + -117. Let b(d) = d**2 + 10*d + 34. Does 16 divide b(r)?
False
Suppose -5*z - 5*n = 290, 293 = -5*z - 0*n - 2*n. Let m = 8 - -82. Let o = z + m. Is o a multiple of 18?
False
Suppose d - 2*d = 3*q + 153, 4*q + 754 = -5*d. Let j = d + 264. Is 22 a factor of j?
False
Is 16 a factor of ((-3024)/(-45))/((-2)/(20/(-3)))?
True
Let u = -19 + 21. Suppose -4*i - 4*b = -48, i - u*b - 21 = -0*b. Does 13 divide i?
False
Let o(q) = -q. Let k(b) be the third derivative of b**4/2 - 11*b**3/6 - 3*b**2. Let z(l) = -k(l) - 3*o(l). Is z(-5) a multiple of 14?
True
Let a = 94 - 179. Is 14/((-44)/a + 8/(-20)) a multiple of 17?
True
Suppose o - u = 192, 4*u = -3*o + 479 + 97. Is o a multiple of 64?
True
Let g(z) = z**2 - 3*z - 10. Let w be g(6). Suppose 2*u = 114 - w. Is 9 a factor of u?
False
Suppose f - 6 + 3 = 0. Is f*5 - (-4 - -1) a multiple of 10?
False
Let g(l) be the third derivative of -l**5/60 - 2*l**4/3 - l**3/2 - 6*l**2. Is 24 a factor of g(-12)?
False
Suppose 0 = 6*a + 4*a - 7540. Is 13 a factor of a?
True
Is 21 a factor of (-1 + 0 - 6)*-27?
True
Does 14 divide 12*200/72*(1 + 5)?
False
Suppose -2*g = -4*b - 1042, 2*b = -5*g + 6*b + 2635. Is 8 a factor of g?
False
Suppose -49*m - 326 = -50*m. Is m a multiple of 31?
False
Let w = 14 - 13. Let p(d) = 6 + 4*d - 1 + w - d. Is p(14) a multiple of 22?
False
Let b(j) be the second derivative of j**4/12 + 7*j**3/3 + 5*j**2 - 19*j. Does 10 divide b(-17)?
False
Let r(i) = i**2 + 16*i + 363. Is 33 a factor of r(0)?
True
Let p be 2 + 0 + 0 - 2. Suppose -21*n + 16*n + 100 = p. Does 10 divide n?
True
Let y(r) = -r**3 - 23*r + 3*r + 7 + 15 - 8 + 13*r**2. Is 9 a factor of y(11)?
True
Let o(n) = -n**3 - n**2 - 21*n - 7. Does 67 divide o(-5)