16*n - 6. Is p(v) a multiple of 6?
False
Let d = -59 + 109. Is d a multiple of 25?
True
Let p be 8/3*(-9)/(-12). Suppose 3*n + 2*o = 212, n + 5*o - p*o = 59. Is 10 a factor of n?
False
Let o be (2/(-3))/(26/195). Let t = 30 + o. Does 6 divide t?
False
Suppose 5*b + 5*y - 3598 = 4*y, -5*b = -4*y - 3608. Suppose -5*l + l = -b. Suppose -u - 4*u = -l. Is u a multiple of 9?
True
Let b = -124 + 134. Does 6 divide b/(2 + 14/12 + -3)?
True
Let d(s) = 20*s**2 - 2*s. Let r = -6 + 4. Is 28 a factor of d(r)?
True
Let w = -52 + 752. Is 10 a factor of w?
True
Let m(a) = 4*a + 4. Let x(i) = -i - 1. Let n(s) = -2*m(s) - 18*x(s). Is n(6) a multiple of 35?
True
Let v(j) be the third derivative of j**5/30 - j**4/3 - 7*j**3/3 + 12*j**2. Let q be v(6). Let z = 28 - q. Is z even?
True
Let t = -949 + 1632. Is t a multiple of 25?
False
Let o = 73 - -108. Suppose 3*j - 589 = -o. Does 17 divide j?
True
Let w(z) = -z + 8. Let r be w(6). Suppose -r*g = -49 - 109. Suppose 4*o + 2*c = 102, 6*o - c = 3*o + g. Is o a multiple of 13?
True
Suppose -3*k - 60 = 2*i - 198, -i - 51 = -k. Is k a multiple of 4?
True
Suppose 183 - 2451 = -3*u. Does 28 divide u?
True
Suppose 19210 = -45*b + 50*b. Is b a multiple of 12?
False
Let g = 381 + -239. Let h = g - -12. Is h a multiple of 39?
False
Let x be 10/10*1*2 - -1. Suppose -252 = -x*l - 4*l. Is 18 a factor of l?
True
Let k(s) = -s**2 - 17*s - 25. Let w be k(-15). Is w*(-5)/10*68/(-10) a multiple of 17?
True
Suppose -u - 3*h + 242 = 0, 3*h - 2*h + 981 = 4*u. Does 14 divide u?
False
Let a(g) = 5*g**3 - 3*g**2 + 3*g - 2. Let u be a(3). Suppose 65 = t - u. Is 12 a factor of t?
True
Let g = 84 - 182. Suppose -2*i + 316 = 2*b, 627 = -b + 5*b + 3*i. Let v = b + g. Is v a multiple of 18?
False
Let j = -105 - -9. Let t = j - -220. Does 31 divide t?
True
Let h(s) = -109*s + 3. Let a be h(-1). Suppose 2*d - 16 = a. Is 11 a factor of d?
False
Let a = 376 - 31. Suppose 5*i - w = w + 8, -w = -5*i + 9. Suppose -a = -7*g + i*g. Does 26 divide g?
False
Let q = -455 + 463. Does 8 divide q?
True
Suppose 0 = 2*s + 2*n - 546, 6*n = s + 5*n - 267. Does 5 divide s?
True
Let i = 13 + 30. Suppose -i - 153 = -2*z. Is 14 a factor of z?
True
Let y(r) be the first derivative of r**4/4 - 10*r**3/3 - 3*r**2 - 13*r + 12. Is 6 a factor of y(11)?
True
Let r(m) = m**2 + 7*m + 80. Is 72 a factor of r(26)?
False
Let t be ((-9)/2 - -1)*10*-1. Suppose x - 43 = 3*z + t, 4*x + 3*z - 297 = 0. Is 9 a factor of x?
False
Let t(r) = r**2 + 55*r + 50. Let z be t(-30). Is 20 a factor of (-5)/(-1) - z/5?
False
Let s be 8 + -10 + 4/1. Suppose j = s + 7. Let u = j - -17. Is 14 a factor of u?
False
Suppose 2*q = -0*q + 3*q. Suppose -2*y + 444 = m + m, 5*y + 4*m - 1105 = q. Is y a multiple of 43?
False
Suppose -4446 = 42*k - 37164. Is k a multiple of 57?
False
Let h(q) = q**3 - 7*q**2 - 8*q - 4. Let o be h(8). Let l = 1 - o. Suppose 2*d + 54 = l*d. Does 8 divide d?
False
Let d(z) = -5*z**2 + 17*z - 22. Let v(c) = -3*c**2 + 11*c - 15. Let w(p) = -5*d(p) + 7*v(p). Is w(8) a multiple of 31?
False
Suppose -46*y = -39*y - 2310. Does 33 divide y?
True
Is 27 a factor of 1942/8 - 1*(-2)/8?
True
Let j = 9 + -23. Let n = j + 113. Is n a multiple of 37?
False
Let t(z) = 6*z + 20. Let q be t(-3). Suppose 0 = -v - q*s + 34, 0 = v + 5*s - 42 + 11. Does 18 divide v?
True
Suppose -3*t + 2*h = -1224, -5*h - 314 - 1318 = -4*t. Does 51 divide t?
True
Let q be 2 + 1 + (-3 - -4). Let v be 21/q - (-7)/(-28). Suppose 6*f - 17 = v*f. Does 17 divide f?
True
Let s(c) = 2*c + 8. Let m be s(0). Suppose b - m = 2*q + 6, -3*b - q + 70 = 0. Does 7 divide b?
False
Let d be (-3986)/(-14) + 4/14. Suppose -10*x + d = -7*x. Does 19 divide x?
True
Let n = 1015 - 669. Is 18 a factor of n?
False
Let g be 47 + (-8)/(-4) + -1 + 1. Let p = 65 - g. Does 11 divide p?
False
Suppose 0 = g + 2*g - 9. Suppose -21 = -4*k - g*l + 10, 5*l - 41 = -4*k. Is k even?
True
Let n(u) = 29*u + 587. Is 26 a factor of n(21)?
True
Suppose 8*g = 726 + 1226. Is 61 a factor of g?
True
Let f(o) be the second derivative of o**5/20 - 5*o**4/6 + 5*o**3/3 + o**2 - 2*o. Let c be f(9). Let s = 14 - c. Does 3 divide s?
True
Suppose 0 = t - 2*t. Suppose -4*o = 3*o - 28. Suppose -o*b = -t*b + 4*n - 132, 2*b - 62 = 2*n. Is b a multiple of 6?
False
Suppose 0 = t - f, -3*t - 4 = -0*t - 5*f. Suppose 2*k = -2*s - t*k + 28, -3*k + 11 = -s. Suppose s*n = -4*o - 0*n + 92, 5*o = -4*n + 115. Is o a multiple of 23?
True
Let a(l) = l**3 + 8*l**2 - l - 6. Let r be a(-8). Suppose -u + r = -26. Does 11 divide u?
False
Suppose 7*l - 1134 = 875. Does 9 divide l?
False
Suppose 0 = -j - 2 + 5. Suppose 70 = j*d - 164. Suppose -40 = k - d. Is k a multiple of 28?
False
Let q(l) = -37*l + 23. Let v be q(-13). Let r be ((-12)/(-18))/(2/12). Suppose -k = k, 4*w + r*k = v. Is w a multiple of 39?
False
Does 6 divide (-6)/(-4)*60*(-5)/(-2)?
False
Suppose 21*n + 7*n - 23772 = 0. Is n a multiple of 16?
False
Suppose -1659 = 14*i - 17*i. Is i a multiple of 10?
False
Suppose -118 = 3*i - 103. Is 8 a factor of 7/35 + (-359)/i?
True
Suppose -450*v = -462*v + 1980. Is v a multiple of 3?
True
Suppose -2*g - 360 = -6*g. Let p be g/21 + (-2)/7. Suppose -p*m - m + 70 = 0. Is 14 a factor of m?
True
Let b be (1806/(-168))/((-1)/(1*-4)). Let p = b + 64. Is 10 a factor of p?
False
Suppose -2*t = -5*d + 54, 0*d + 4*t - 32 = -4*d. Suppose -d*o = o - 462. Does 13 divide o?
False
Let n = 18 - 27. Let t be 0*(-2 - n/3). Suppose t = 3*q - 3*v + 7*v - 99, 5*q = v + 188. Is q a multiple of 8?
False
Let w be -38 - 7/(35/(-10)). Let r = 162 + w. Is r a multiple of 42?
True
Suppose -3*w = -0*w - 5*v - 26, 2*w - 20 = 4*v. Suppose 0 = -w*z + 299 - 87. Suppose z = -2*i + 4*i. Is i a multiple of 11?
False
Let a(p) = 21*p**2 + 11*p - 34. Is a(8) a multiple of 19?
False
Is 44 a factor of 1/(1*1/176)?
True
Let s(v) = -v - 5. Let p be s(-7). Let c(u) = -3*u**3 + 3*u**2 - 2*u + 3. Let a be c(p). Does 9 divide 1 - a*(2 - 1)?
False
Let k(v) = 22 - 4*v + 6*v - 4*v. Let l be k(9). Is 6/(-8) - (-87)/l a multiple of 5?
False
Suppose -p - 4*w = -20, w - 36 = -4*p - 4*w. Suppose -252 = -p*z + 432. Is 30 a factor of z?
False
Let o = -308 + 593. Let j = o - 159. Is 21 a factor of j?
True
Is 25 a factor of (-167 - 722)*12/(-14)?
False
Let w(h) = 2*h**2 + 38*h + 27. Does 14 divide w(-21)?
False
Let b(g) = g**2 + 5*g - 5. Let s be b(-5). Suppose -m + 5*m = 3*v + 145, 195 = -4*v + 5*m. Let f = s - v. Is f a multiple of 25?
True
Let d(p) = 4*p**3 - 9*p**2 + 5*p + 1. Is d(4) a multiple of 47?
False
Does 7 divide ((-1722)/8)/(25/(-100))?
True
Suppose 0 = 4*q - 435 - 233. Suppose 2*f + 0*k + k - q = 0, -f - 3*k + 81 = 0. Is 42 a factor of f?
True
Let n(w) = 2*w - 9. Let u be n(6). Suppose -24 = 5*g - 4*m, 12 = -4*g - u*m - m. Is 10 a factor of 35*(g - (-40)/7)?
True
Let b(l) = -l**3 - 6*l**2 + 2*l - 13. Let a be b(-8). Suppose t - 5*j - 42 = 0, -5*t + a = -5*j - 51. Is 10 a factor of t?
False
Suppose f + 5 = -0*f. Let j(x) = x**2 - 5*x + 4. Does 27 divide j(f)?
True
Suppose -12*q + 13 = 1. Is q + 43/5 + (-2)/(-5) a multiple of 10?
True
Suppose 4*p - 6*p = -0*p. Suppose 0 = m - 4*b - 70, -m + b - 26 + 105 = p. Is 41 a factor of m?
True
Let r(h) = h**3 + 7*h**2 - 20. Does 6 divide r(-5)?
True
Let q = 11 + -6. Suppose q*s + 11 = 121. Let v = s + 20. Is 22 a factor of v?
False
Suppose 0 = c + 18 + 4. Is 22 a factor of (6 + c)*(-2 + -2)?
False
Let a = -558 + 1118. Does 36 divide a?
False
Let n(u) = -40*u + 22. Let a be n(-6). Let m = a + -153. Is 15 a factor of m?
False
Suppose 0 = -25*u + 30*u - 1355. Suppose -5*k = r - 873 + u, -3*r + 596 = 5*k. Is 11 a factor of k?
True
Let g(c) be the first derivative of 5/2*c**2 - 11*c - 3 - 1/4*c**4 - 3*c**3. Is g(-10) a multiple of 22?
False
Let r(f) be the second derivative of -f**5/20 + f**4/3 - f**3/2 - f**2 - 4*f. Let s be r(3). Is 28/6*(s + 11) a multiple of 20?
False
Suppose -4*j = -3*l + 106, -j - 5*l - 7 = 31. Let a = -21 - j. Let x(m) = 5*m - 11. Does 6 divide x(a)?
True
Let z(b) = b**3 + 14*b**2 + 12*b - 10. Let k be z(-13). Suppose -4*s = -k*u + 179, -s - 110 = -2*u - 3*s. Is u a multiple of 19?
True
Let x(z) be the second derivative of 5*z**3/3 + 7*z**2/2 + 3*z. Is 18 a factor of x(15)?
False
Let r be (108/(-16))/(4/(-16)). Suppose r - 81 = -q. Does 27 divide q?
True
Suppose i + 24 = 4*i. 