multiple of 30?
False
Let a(s) = -3*s**3 - s**2 - 1. Let b be a(-3). Let t = 217 + b. Does 32 divide t?
True
Let q = -61 + 38. Let z = 82 + q. Does 10 divide z?
False
Suppose -4*c + 5*c = 14. Suppose 7*q = -b + 3*q + 8, b - 2*q = c. Let h(a) = -a**2 + 15*a - 18. Is h(b) a multiple of 9?
True
Suppose 0 = r - 22 + 20. Suppose -r*l + l + 160 = 0. Is 20 a factor of l?
True
Let s be -5*7/((-105)/(-12)). Let c be 58/12 - s/24. Let m = 5 + c. Is m a multiple of 5?
True
Let r = 12 + 37. Suppose 0 = 4*g + a - 163, -g - 5*a = -2*a - r. Is 8 a factor of g?
True
Let m be (6 + 56)*9/(-6). Let x = 16 - m. Is 17 a factor of x?
False
Let f be (-42)/4 - 9/(-18). Does 6 divide 1*f/(-5) - -16?
True
Let x = 0 + 0. Is 16 a factor of x + 61 + (26 - 23)?
True
Suppose 3*g - 1628 + 380 = 0. Suppose 112 = 6*i - g. Does 19 divide i?
False
Let s(o) be the third derivative of o**5/4 - o**4/4 - o**3/3 - 23*o**2. Does 7 divide s(-2)?
True
Let i = 2366 - -1061. Is 54 a factor of i?
False
Let a(j) = 4*j**2 + 12*j + 5. Does 15 divide a(-5)?
True
Suppose 0 = -29*i + 27*i + 4. Suppose -3*a + 19 + 69 = -y, y = -i*a + 67. Is 12 a factor of a?
False
Is 28 a factor of ((-66)/(-7))/((-11)/(-1078))?
True
Is 42/24*(3 - (-2239 - -6)) a multiple of 91?
True
Let s(g) = g**2 - 2. Let k be s(-2). Suppose 4*w + 27 = -c, -k = w + 5*c - 0*c. Let v = 21 + w. Does 5 divide v?
False
Suppose -5*k + 4*q + 7464 = 0, 3*k - 3*q - 1613 - 2863 = 0. Does 10 divide k?
False
Let q(g) = 7*g - 3. Let x be q(-1). Let v(r) = r**2 + 4*r - 5. Does 4 divide v(x)?
False
Suppose 41*i - 3*i - 19912 = 0. Is i a multiple of 131?
True
Let h = -9 - 4. Let b = h + 13. Suppose -4*a + 170 - 2 = b. Is a a multiple of 16?
False
Suppose 2*y - 12 = -4. Suppose -q + 1 = -y. Is 4 a factor of q?
False
Is 97 a factor of (-218728)/(-114)*3/2?
False
Is 16 a factor of 1316 + 18/12*8?
True
Let z = 1236 + -606. Is z a multiple of 14?
True
Let v(d) = -16*d**3 + 24*d**2 + 29*d + 41. Let w(h) = 3*h**3 - 5*h**2 - 6*h - 8. Let s(q) = -2*v(q) - 11*w(q). Is 6 a factor of s(8)?
True
Suppose 0*k - 160 = 5*k + 5*d, 4*d - 7 = k. Does 14 divide (-3)/(-6) - k/2?
True
Suppose -27*w - 2435 = -32*w. Is w a multiple of 40?
False
Let a(c) be the second derivative of -c**5/20 - 3*c**4/4 + 7*c**3/6 + c. Suppose 41*v - 36*v = -50. Does 8 divide a(v)?
False
Suppose 368 - 978 = -5*q. Is 20 a factor of q?
False
Let j be (8/(-2))/(-13 - -12). Suppose 0 = 4*l + 3*f - 60, f = 2*f - j. Suppose 9*y + 90 = l*y. Is 10 a factor of y?
True
Suppose 10 = -2*a - 3*a, -2*q = 3*a + 2. Is 14 a factor of q/((-108)/56 + 2)?
True
Let y = -9 - -4. Let z(q) = 2*q**2 + 2*q - 2. Let o be z(y). Suppose -o = -5*m + 37. Is m a multiple of 12?
False
Is 9 a factor of 3/2*1540/30?
False
Let h(i) = i**3 + 8*i**2 - 4*i + 1. Let o be h(-7). Suppose 3*x - 1 = -4, -j = 4*x - o. Suppose -3*z + j = -z. Is z a multiple of 13?
False
Let g = -17 + 9. Let t = g - -8. Suppose 2*o + t*o = 66. Is 13 a factor of o?
False
Suppose -2*s - 2060 = -2*p, 4*p - 2797 = -5*s + 1332. Does 32 divide p?
False
Is 7/(441/216)*287 a multiple of 26?
False
Let l(k) = -49*k**2 - k - 4. Let n be l(3). Does 9 divide (n/70)/((-2)/5)?
False
Let s = 81 - 88. Is (1 - 2) + 1/((-1)/s) even?
True
Is -22 + 372 - (4/2 + -7) a multiple of 20?
False
Let y be -70*(-5 - (4 + -1)). Suppose -3*f + 7*f = y. Is f a multiple of 28?
True
Let f = 17 + -14. Let r(t) = 16*t + 4 - 1 + 3. Does 18 divide r(f)?
True
Let g = 22 + -20. Let m(v) = 5*v + 0*v**2 + 5*v**2 - 5*v**g + v**2 + 2. Does 26 divide m(-10)?
True
Suppose 2971 - 11287 = -3*m. Is 11 a factor of m?
True
Suppose -3*j = -j - 12. Let p = -4 + j. Does 3 divide 59/4 - p/(-8)?
True
Let b = -21 + 16. Is 6 a factor of (b/(-2))/((-5)/(-80))?
False
Suppose -324 = -3*c + c. Does 54 divide c?
True
Let i be -30*(-72)/18*(-2)/20. Let t(a) = 2*a**3 + 3*a**2 + 2*a. Let r be t(-3). Let y = i - r. Is y a multiple of 16?
False
Let k(q) be the first derivative of q**3/3 + 3*q**2/2 - 9*q - 25. Is 9 a factor of k(3)?
True
Let t(h) be the second derivative of h**7/2520 + h**6/120 - 13*h**5/60 + h**4/12 - h. Let g(s) be the third derivative of t(s). Does 15 divide g(-11)?
False
Is 5 a factor of (28440/600)/(3/55)?
False
Let w = -91 - 247. Let j = w + 503. Is j a multiple of 11?
True
Suppose 4*p = -2*j + 1128, 3*j - 6*p - 1695 = -11*p. Does 30 divide j?
True
Suppose -2*t - 3*c + 8 = -c, -4*t = -5*c + 29. Let q(p) = 19*p**2 - 3*p - 2. Does 3 divide q(t)?
False
Suppose -6 = -o - 4. Does 30 divide 6*o/4 - -57?
True
Let n(q) = q**2 - 6*q - 5. Let u be n(7). Let g(d) = 6 - 11*d - 3*d**2 + 6*d**2 - d**3 - 4 - 13*d**u. Is g(-9) a multiple of 18?
False
Suppose 0 = 10*a - 11*a + 5*z - 25, -4*z = -3*a - 31. Is 44 a factor of (-1600)/a + 3 - -1?
False
Let k(r) = -2*r**2 - 4*r + 2. Let i be k(-3). Let j(d) = -35*d - 5. Does 27 divide j(i)?
True
Let c = -169 + 33. Let f = 201 + c. Does 30 divide f?
False
Let l(n) = n**2 + 2. Let x be l(-5). Let o = 37 - x. Is 5 a factor of o?
True
Suppose f + 6 = 1. Let b(m) = -4*m - 7. Is 13 a factor of b(f)?
True
Is 89 a factor of (-5)/(-10)*(807 - -1)?
False
Let i(a) = a**3 - 9*a**2 - 10*a + 11. Let y be i(10). Let h = y - 9. Suppose -57 = -3*z + h*z. Does 19 divide z?
True
Let f = -5 + 199. Suppose -34 = 4*y - f. Is y a multiple of 14?
False
Let h = 1105 + -580. Is 35 a factor of h?
True
Let p(r) = -7*r - 76. Let h be p(-17). Let f = 44 - 75. Let v = h + f. Does 12 divide v?
True
Let n(j) = -117*j + 345. Is n(-15) a multiple of 42?
True
Let b(j) = 3*j - 7. Let v be b(3). Let r(s) = -s + s + 4 + s**2 + s + 0*s**v. Is r(6) a multiple of 23?
True
Suppose 0 = -5*n + 5*m - 475, 38 - 331 = 3*n + 5*m. Let c = n + 113. Is 17 a factor of c?
True
Suppose 0 = 3*v + l - 43 + 16, 4*l - 28 = -4*v. Suppose v*c = 6*c + 548. Is c a multiple of 39?
False
Let l = -14 + 48. Suppose l*h - 39*h + 155 = 0. Let a = -1 + h. Does 6 divide a?
True
Suppose 16*d = 11*d. Suppose d = -66*l + 67*l - 125. Is l a multiple of 25?
True
Let y = -96 + 100. Suppose y*p + 13 = 137. Does 6 divide p?
False
Let k = -66 + 112. Let j = 137 - k. Does 12 divide j?
False
Is 18348/14 + (18 - 1107/63) a multiple of 31?
False
Let j(d) = -d**2 - 3*d + 5. Let u be j(-4). Let m be (u*-1)/((-10)/30). Is (-1)/3 - (-55)/m a multiple of 6?
True
Let s(q) = 3*q + 11. Let b = 20 - -4. Does 6 divide s(b)?
False
Suppose -176*l = -183*l + 3724. Does 19 divide l?
True
Suppose -5*p + 5 = -b, 2*p - 10 + 1 = -b. Suppose 2*z = -b*r + 193, -3*r + 141 - 18 = 3*z. Suppose 5*j = r + 223. Does 26 divide j?
True
Let y be 3 - 28/4 - -9. Suppose -36 - 434 = -y*v. Is v a multiple of 14?
False
Let n be (-27)/(-5) - 18/(-30). Suppose 0 = -n*c + 5*c + 26. Is 12 a factor of c?
False
Let d be -2*(-1)/(-4)*-10. Suppose 5*p + d + 55 = -z, 0 = -2*p - 4*z - 24. Is (-4)/(-10)*(-2220)/p a multiple of 22?
False
Suppose 7*y = 4*y + 24. Suppose y*z - 405 = 235. Does 17 divide z?
False
Let u(o) be the second derivative of -o**5/20 + 29*o**4/12 - 25*o**3/6 - 37*o**2/2 + 5*o. Is u(28) a multiple of 10?
False
Suppose 0 = 4*l - 4*y - 8508, 6*y - 9*y = -4*l + 8509. Is l a multiple of 14?
True
Suppose -5*n + 28 = -n. Suppose 598 = n*d - 1565. Suppose -2*k - k + 3*f = -d, 4*f = 4. Is k a multiple of 35?
False
Is 23 a factor of ((-32)/12)/((-1073)/357 + 3)?
False
Let m(n) = n**2 + 2*n. Let i be m(-3). Let d(l) = 2*l**2 - 3*l + 6. Let q be d(4). Suppose -y + i*w = -34 - q, 0 = -4*w + 16. Is y a multiple of 24?
True
Suppose -z - 4057 = -3*v, 0 = 2*v + z - 1042 - 1656. Is v a multiple of 49?
False
Let v be 24/4*9/2. Let j = 58 - v. Let k = j + 12. Is 21 a factor of k?
False
Suppose -2*m + 3*v + 189 = 0, 0 = -5*m + 6*m + 3*v - 90. Suppose m = 2*o - 75. Does 14 divide o?
True
Suppose 4*g = -25 + 21. Let v(l) = -80*l. Let j be v(g). Suppose 0 = 6*x - j - 136. Is x a multiple of 16?
False
Let i(s) = -s**2 + s + 14. Suppose 10*o = 15*o. Does 8 divide i(o)?
False
Suppose -13 = a - 5*s, -3*a - 5*s + 6*s + 3 = 0. Suppose -a*h = 3 + 11. Let p = -1 - h. Does 3 divide p?
True
Does 17 divide (4/10)/1 + (-2992)/(-20)?
False
Let o(n) = 2*n + 7. Let s be o(0). Let a(d) = -3*d**3 - 8*d + 4*d**3 + d**2 - 6 + s*d**2 + d. Does 15 divide a(-8)?
False
Let p(y) = y**3 + 10*y**2 + 9*y. Let r(m) = m**2 + 10*m + 14. Let f be r(-7). Is 28 a factor of p(f)?
True
Suppose -4*s = -0*s - 3*r - 2402, 2*s - r -