 80 - 376 = 5*p. Is 10 a factor of v?
False
Is (-84 + 76)/(1/1124*-2) a multiple of 54?
False
Suppose 0 = 4*n - 256 + 992. Let o = n - -362. Suppose 6*q + o = 8*q. Is q a multiple of 18?
False
Let p(v) = 19*v - 49. Suppose 0 = -10*h + 4*h - 0*h. Suppose 17*z - 100 - 70 = h. Does 8 divide p(z)?
False
Let u(m) be the first derivative of 17*m**3/3 + 8*m**2 + 20*m + 14. Is u(-4) a multiple of 14?
False
Suppose 3*s - 9 = 0, -5*y = -5*s + 3*s - 3284. Suppose a = 4*n - n + 654, -5*n - y = -a. Does 18 divide a?
True
Let l(v) = -309*v + 3599. Is 34 a factor of l(-13)?
True
Let w(n) = 17*n + 617. Let a be w(-39). Suppose -z - 252 = z. Let q = a - z. Is 16 a factor of q?
True
Let r = 76749 + -26614. Is r a multiple of 25?
False
Suppose -3*k + 17430 = -5*l, 5*k + 23208 = 9*k + 4*l. Is k a multiple of 14?
False
Let z be (-4*1)/2 - (6 + 757). Let p = z + 1648. Does 32 divide p?
False
Suppose -5*x = -2*y - 711 - 67, -2*x - 2*y = -314. Let v = x + 120. Suppose 5*k = 3*a - 2*a + v, 0 = 5*a + 5. Is k a multiple of 40?
False
Suppose -195*b - 93240 = -219*b. Is b a multiple of 37?
True
Suppose c = -5*u + 1750, -c + 1154 = 4*u - 601. Does 13 divide c?
False
Suppose 47 = 5*w + 27. Suppose 24 - 16 = w*p. Suppose 0 = p*c + c - 24. Does 8 divide c?
True
Let m(c) = -3*c**2 - 112*c - 85. Let n be m(-37). Suppose -3*t + 4*t = 74. Let j = t - n. Is 27 a factor of j?
False
Let o be -3 + (-58)/(-18) + (-301)/(-63). Is 11 a factor of ((-6)/o - -1) + 11172/35?
True
Suppose 69205 = 58*t - 35079. Is 4 a factor of t?
False
Let k = 55 - 50. Suppose -2*g - k*h - 770 + 1869 = 0, -5*h + 5 = 0. Does 74 divide g?
False
Let u(p) = 35 - 5*p - 17*p + p + p - p**2. Let i be u(-21). Suppose -14*l = -12*l - i. Is l a multiple of 2?
False
Let d = 96 + -71. Is (-4*42)/(d + -26) a multiple of 28?
True
Let d = -106 + 106. Suppose d = -11*y + 10 + 45. Let x(r) = 5*r**2 - 10*r + 29. Is x(y) a multiple of 13?
True
Let i be 32/(-272) - (-12509)/119. Let t = 49 - 33. Let r = i + t. Is 22 a factor of r?
False
Let y be (-1041)/15 - (-12)/30. Suppose 4*q + 164 = 2*l - 148, -5*l = 2*q - 804. Let h = y + l. Is 8 a factor of h?
False
Suppose 8*t + 480 = -8*t. Let q be t/8*(-64)/24. Is ((-212)/q)/(4 + 63/(-15)) a multiple of 20?
False
Suppose 9 - 31 = -r. Let i be 2 - r/14 - (-60)/(-42). Does 5 divide i + -1 - (-19 - (4 - 4))?
False
Suppose 5*s - 19666 - 8724 = 2*y, 5*y + 5655 = s. Suppose s - 1705 = 3*b. Is 18 a factor of b?
False
Suppose -11*s = 1345 - 26513. Is s a multiple of 29?
False
Let h(s) = -2*s + 1. Let y be h(-1). Let z(p) = -26*p + 314. Let c be z(12). Suppose -g + 5 = 0, c*b - y*g - 290 = -g. Is b a multiple of 16?
False
Let o(k) = -14*k - 289. Let r be o(-21). Let b(n) = n**2 - 2*n - 7. Let l be b(-5). Let z = r + l. Does 15 divide z?
False
Let z be 2 + 5/5 + 7. Let a(u) be the first derivative of 15*u**2 - 44*u + 21. Does 43 divide a(z)?
False
Suppose 5*t - 157 = 4*q + 215, q - 4*t + 71 = 0. Suppose -3*r - 3*i = -70 + 571, -i = 4*r + 656. Let a = q - r. Is 15 a factor of a?
True
Let c(s) = 1559*s + 1198. Does 67 divide c(2)?
False
Is 144 a factor of (0 - -5)*(-8 + (-5)/((-75)/36408))?
True
Suppose 54*o - 56*o + 76 = 0. Suppose -427 - 24197 = -o*a. Is 12 a factor of a?
True
Let k be 4/(-22) - (-6048)/(-132). Suppose 2*s = 4*s + 174. Let x = k - s. Is 27 a factor of x?
False
Suppose i - 22249 = -4*i + 14236. Is 55 a factor of i?
False
Suppose 5*o - 199 = p - 2*p, -2*p - 2*o + 406 = 0. Is 9/(28 + -1)*p a multiple of 68?
True
Suppose -2*f + 9 = -1. Suppose j = -d + 496, f*d + 0*j - 4*j - 2489 = 0. Suppose 5*i = 4*x + 22 + d, -417 = -4*i + 5*x. Is 13 a factor of i?
False
Suppose -39915 = -27*u + 155565. Suppose -48*t + u = -8*t. Does 8 divide t?
False
Let b(w) = -14*w + 150. Let k be b(12). Does 6 divide (3 + -77)/(k/54)?
True
Suppose -15*t + 29*t - 5670 = 0. Is t a multiple of 90?
False
Let g(d) = -3*d**2 - 38*d - 37. Let s be g(-16). Let p = -73 - s. Does 31 divide p?
True
Is 24 a factor of (-145724)/(-12) - -4 - ((-40)/12 + 2)?
False
Let z(v) be the second derivative of v**3/3 + 453*v**2/2 - 46*v. Is z(10) a multiple of 10?
False
Suppose -b = -3*t - 4413, 4*t + 3175 + 1241 = b. Is b a multiple of 12?
True
Let h(q) = -6*q**3 + q**2 + 78*q - 5. Is h(-7) a multiple of 25?
False
Is 28 a factor of -3*(11 - (21 - 11)) - -4353?
False
Let l be -1 - (2 - (-729 - -4) - -1). Let g be -1*l/(-3) + 4. Let c = -171 - g. Does 17 divide c?
True
Let x = 118 - 74. Let n(w) = 9*w**3 - w**2 + 7*w - 5. Let z be n(2). Let r = z - x. Is r a multiple of 11?
True
Suppose 0*j + 7*j - 371 = 0. Let y = 194 - j. Is y a multiple of 7?
False
Let r be (-3)/24 + (-519)/8. Let s = -15 + r. Let k = s - -86. Does 2 divide k?
True
Suppose 3*q = 5*x + 318, 0 = 4*q - 9*q - 5*x + 530. Suppose q - 656 = -11*b. Is b a multiple of 5?
True
Let j(q) = -82*q + 12. Let m be j(8). Let f = m + 968. Suppose 0 = -5*y + f - 24. Does 15 divide y?
True
Let j(b) = -286*b - 36. Let l be j(-5). Suppose 0 = -5*c - 4*a + a + 2355, -3*c = -2*a - l. Is c a multiple of 52?
True
Suppose 19 - 3 = 3*a - 5*m, -8 = -3*a + m. Suppose -a*u = -3*q + 1860, u + 1239 = 4*q - 2*q. Is 28 a factor of q?
False
Let o be 6 + (-4 - (-3 + (-1 - -4))). Is (177 - -5) + o*-1 a multiple of 45?
True
Suppose 30*j - 5358600 = -165*j. Is j a multiple of 15?
True
Suppose 28638 = 40*r - 37*r - 5*p, -3*r + 3*p = -28632. Does 203 divide r?
True
Let g(o) = o**2 - 12*o - 2. Let p be g(14). Let j be 4/p + 7/((-182)/(-48)). Let z(y) = 28*y - 7. Is 8 a factor of z(j)?
False
Suppose 103*u - 158991 = 138267. Does 4 divide u?
False
Let z(g) = 16*g + 60. Let x(t) = -t - 1. Let i(l) = 20*x(l) + z(l). Is i(9) even?
True
Let w(c) be the third derivative of -c**6/120 - c**5/4 - 13*c**4/24 + 2*c**3/3 + 6*c**2. Let y be w(-14). Let u = 83 - y. Is 20 a factor of u?
False
Let y = -2391 + 10346. Does 65 divide y?
False
Let u(k) be the first derivative of -k**4/4 + 5*k**3 - k**2/2 - 23*k - 61. Is 8 a factor of u(7)?
False
Let z(l) = 9*l + 44. Let h be z(18). Suppose h = m - 132. Is 15 a factor of m?
False
Let g = 16618 - -4039. Does 17 divide g?
False
Let n = 258 + -266. Is 101*(-7 + -1)/n a multiple of 3?
False
Suppose p = 2*k - 4, 4*p - k + 4*k = 17. Let f be (-4)/14 - (-1692)/42. Suppose 4*h - 4 = 0, 2*h - f = -0*n - p*n. Is n a multiple of 19?
True
Suppose 1099 = q - 5*c, 0 = 4*q - c - 2974 - 1422. Suppose 8*s = 45 + q. Is s a multiple of 13?
True
Suppose -g - 336 = -4*r, -23*r = -5*g - 18*r - 1650. Is g*(-1 + (-9)/36) a multiple of 24?
False
Suppose 1056 = 5*i - 10419. Suppose 6*m - 4*m - 2301 = -5*o, 5*m - i = -5*o. Is o a multiple of 43?
False
Let r be 1/(((-2)/(-3))/((-246)/(-9))). Suppose r*m = 38*m + 861. Let d = -191 + m. Does 24 divide d?
True
Let a(j) = -2*j**2 - 441*j + 56. Is 15 a factor of a(-138)?
False
Suppose -7*v + 122 = 31. Suppose -396 = v*t - 14*t. Does 36 divide t?
True
Let g be -6*(42/(-9) - -4). Suppose g*q - 435 = -q. Is 17 a factor of 4*(q/4 + -2)?
False
Let d(b) = 107*b**3 - 5*b**2 + 21*b - 96. Does 19 divide d(4)?
False
Let v be -3*((-6)/(-2) - 383/3). Let j = 677 - v. Is j a multiple of 46?
False
Suppose 7*k + 882 - 840 = 0. Is 4 a factor of (-614)/k + 14*(-4)/(-84)?
False
Let s(a) = 2*a**2 - 6*a + 18. Let k(q) = 5*q**2 - 13*q + 37. Let o(n) = -3*k(n) + 7*s(n). Let f be o(0). Does 24 divide f/(0 + -3) - -149?
True
Let f be 2/(((-12)/(-74))/3). Let s = 37 - f. Suppose -2*z = 5*q - 11, s = q - 0*q - 4*z - 11. Is q even?
False
Is 80/(-6 - -22) + 5980 a multiple of 21?
True
Let j(l) = 154*l - 191. Let r be 200/(-800) - (246/(-8))/3. Does 17 divide j(r)?
False
Suppose -960*q = -955*q - 5. Is 7 a factor of ((-355)/(-25))/(q/5)?
False
Let j(z) be the first derivative of -z**4/4 + 4*z**3/3 + 19*z**2 - z + 8. Does 15 divide j(8)?
False
Let z(l) = -13*l**3 + 9*l**2 - 4*l - 39. Let o be z(-6). Let r = -1723 + o. Is r a multiple of 41?
True
Let g(n) = -2*n**3 + n**2 - 2*n - 38. Is 4 a factor of g(-6)?
False
Let a(l) = l**3 - 22*l**2 - 22*l + 27. Let p(j) = 7*j**2 + 7*j - 8. Let m(o) = -2*a(o) - 7*p(o). Is m(-4) a multiple of 5?
True
Let s = -83 + -165. Let l = -59 - s. Is 9 a factor of l?
True
Let x be 1/(8/10) + 28/16. Is 15 a factor of (-90)/(-135) + (536/x)/2?
True
Does 9 divide 17 - (-13 + -15060 + 3)?
False
Let v(z) = 2*z**2 + 7*z - 267. Is v(-21) a multiple of 12?
True
Let 