 -5*p - 0*h + h. Is (22 - 2) + (p - 5) a multiple of 3?
False
Suppose 844*l = 837*l + 2716. Is 10 a factor of l?
False
Let b(w) = -2*w + 152. Is 6 a factor of b(37)?
True
Suppose 13 + 42 = 5*i. Suppose -r + 3*r + 5*m - 27 = 0, r + 3*m - i = 0. Does 9 divide r?
False
Does 5 divide (((-54)/15)/(-3))/(11/1540)?
False
Suppose -4*m + 138 = 2*m. Suppose 4*v = -m + 231. Does 23 divide v?
False
Let y = 1294 - 781. Does 27 divide y?
True
Let t(f) = -19*f**3 + f**2 - 7*f - 59. Is t(-4) a multiple of 36?
False
Suppose 2*o - 28 = 2. Is 4 a factor of (-1 - o/(-6))/(3/128)?
True
Suppose 16 = 2*r - 0. Suppose 0 = -0*s - r*s + 40. Does 2 divide s?
False
Suppose w + 9 = 4*w. Suppose 4*n + 505 = 5*v, -4*v + v - w*n = -276. Is 26 a factor of v?
False
Suppose -4*h + 2196 = -3*a, h + 15*a = 26*a + 508. Is 26 a factor of h?
False
Let p be 2/(-6) - ((-487)/3 - -4). Suppose -p = -8*r + 466. Is r a multiple of 28?
False
Suppose 2*g - 4*x = -g + 30, g - 5*x = 21. Let k(j) = j - 4. Let c be k(g). Suppose 5*o - c*i = -5*i + 261, 2*o = 2*i + 98. Is o a multiple of 15?
False
Suppose -2*o - 3*u - 731 = 2*u, 0 = 4*o + 3*u + 1427. Let c = -80 - o. Is 17 a factor of c/4 - 20/80?
True
Let q = -246 - -652. Is q a multiple of 40?
False
Suppose -496 - 106 = -2*a. Let l = -145 + a. Is l a multiple of 14?
False
Suppose -2*b = n + 26, 4*b + 1 + 7 = 0. Let z = 72 + n. Let a = z + -28. Is a a multiple of 7?
False
Does 5 divide 21/(-9) + 2 - 1580/(-15)?
True
Let b be 1/((-4)/(-319 - -3)) + 2. Suppose 0 = 10*x + b - 501. Is x a multiple of 7?
True
Let w be (-7)/(-4) - 2/(-8). Let l be 2 + -3 + w*-1. Does 16 divide 51 - (-2 - (l + -2))?
True
Let y(x) = 17*x - 157. Let p(h) = 25*h - 236. Let n(l) = 5*p(l) - 7*y(l). Is n(21) a multiple of 5?
True
Suppose 2*c + 2*c - 3*w = -29, 33 = -4*c - w. Let s be 1743/28 + (-6)/c. Suppose s = 3*h - 0. Does 11 divide h?
False
Let r = -1705 + 4280. Is r a multiple of 114?
False
Let z(l) = 14*l - 1. Let j(h) = -1. Let d(w) = -j(w) + z(w). Is d(14) a multiple of 28?
True
Suppose -60 + 11 = -7*n. Is n a multiple of 5?
False
Suppose 5*t - 33 + 3 = 0. Let f = 97 - t. Is f/4 + 2/8 a multiple of 15?
False
Let t = 62 + -54. Is 19 a factor of 50*(2 + (-12)/t)?
False
Let d(g) = 16*g + 125. Is 17 a factor of d(-6)?
False
Let x(m) = 21 + 2*m + 0*m - 3*m. Let f = -101 - -112. Is 10 a factor of x(f)?
True
Let h(l) = -l**3 - 12*l**2 + 16*l + 19. Let p be h(-13). Let n = 23 + p. Suppose -19 = -n*q - 3*k + 11, -q + k + 16 = 0. Is q a multiple of 7?
False
Let k(c) = -15*c + 5. Let i be k(4). Let f be i/(-20) - (-2)/8. Suppose -f*q + 4 = -2*q. Is 4 a factor of q?
True
Let i be 1528/7 - ((-12)/21)/(-2). Suppose -7*k + i + 62 = 0. Is k a multiple of 14?
False
Let d(m) = 4*m + m - 10 - 2*m. Let s be d(5). Suppose s*u + o - 45 = -o, -5*o = -5*u + 80. Is u a multiple of 3?
False
Suppose -3*a = -77 + 71. Let y(f) = 18*f - 7. Is y(a) a multiple of 7?
False
Suppose 17 = 5*j + 2*d, -3*j - 4*d + 11 = -2. Suppose 0 = 4*p - 3*n - 115, -8 = -2*p - j*n + 45. Does 7 divide p?
True
Let d(u) = 3*u**2 + 25*u - 11. Is 7 a factor of d(10)?
True
Let u be (56/(-36))/7*-9. Let a = 27 - u. Is 22 a factor of a?
False
Suppose -2*d + 14*m - 15*m + 71 = 0, -5*m = -2*d + 89. Does 5 divide d?
False
Let t(k) = k + 1. Let q(i) = 3*i**2 + 17. Let u(g) = q(g) - 5*t(g). Does 10 divide u(6)?
True
Suppose -6 = -9*u + 5*u + 5*p, -4*u = -p - 14. Suppose -c + u*c = -3*x + 72, -c - 126 = -5*x. Is 6 a factor of x?
False
Let o(y) = -3*y**3 - 7*y**2 + 3*y + 7. Let r be o(-5). Suppose -4*s + 192 = 2*b, 3*b - r = -4*s - b. Does 12 divide s?
True
Suppose -4*j + 16 = 0, 14*c - j + 256 = 15*c. Does 18 divide c?
True
Let f = -4206 - -6978. Is 33 a factor of f?
True
Let j be (-3)/(-3) - 7/1. Let o = 13 + j. Suppose 4*i - 336 = 2*u, -5*i - o*u = -3*u - 420. Is 16 a factor of i?
False
Let t be 2/4 - 537/6. Let f = 63 - t. Suppose 3*n - f = -n. Is n a multiple of 19?
True
Let p = 6 + 12. Let v = 9 + p. Does 5 divide v?
False
Let r = 22 + -22. Suppose a + 2*a + w = 199, -4*w + 4 = r. Is a a multiple of 22?
True
Suppose -6*y + 374 + 550 = 0. Does 9 divide y?
False
Suppose -84 = -4*x - 4*s, 5*x - 31 = 4*x - 3*s. Suppose -a = -x*a + 1890. Is 9 a factor of a?
True
Suppose 3*p - 2*p - 1086 = -3*l, -4*l + 3*p + 1435 = 0. Is 19 a factor of l?
True
Let z be 1 + (4 + 13 - -1). Suppose 5*t = 439 - z. Does 28 divide t?
True
Let q = 39 + 1. Is 8 a factor of q?
True
Let t be 67 + 1 + 2 - 3. Suppose -3*z - 2*x - 83 = 0, 3*z + 49 + 22 = x. Let f = z + t. Is f a multiple of 21?
True
Let q be 13/((-195)/66)*5/(-2). Let m = q + 7. Does 4 divide m?
False
Let q be (15/12)/(1/168). Suppose -2*s = 3*s - q. Is 6 a factor of s?
True
Is 13 a factor of 1/((-8)/13736)*1*-1?
False
Let z(j) = -336*j + 41. Is 22 a factor of z(-2)?
False
Does 12 divide 2672 - (-7 - -4)/(-3)*-2?
False
Let x(i) = 14*i. Let c be x(3). Let h = c + 85. Does 31 divide h?
False
Let k = -12 - -15. Suppose -k*g = -4*g + 21. Suppose -4*v + 4*a = -104, v - 7 - g = 2*a. Does 10 divide v?
False
Suppose 4*a + 126 = 430. Suppose a = f + 2*v, -123 = -4*f + 3*v + 225. Is f a multiple of 21?
True
Suppose 0 = m + 2*m. Let o = -9 - -11. Suppose 42 = 3*f - 2*n, m*f - 17 = -o*f + 5*n. Is f a multiple of 8?
True
Let j = 961 + -337. Is j a multiple of 8?
True
Let w be 4 + (-102)/(1 + 2). Let q be (-40)/w*114/4. Suppose -q = b - 3*b. Does 9 divide b?
False
Does 29 divide 319/(3 - 16/6)?
True
Let p(k) = 5*k**2 + 10*k + 25. Let z(d) = -3*d + 9. Let h be z(6). Is 20 a factor of p(h)?
True
Does 13 divide (-142)/(-284) - (-4757)/2?
True
Let b be (9*2/6)/1. Let m(i) = 9*i**2 - 3. Does 13 divide m(b)?
True
Let k = 927 + -534. Suppose c + f = -2*f + 195, 3*f - k = -2*c. Is 22 a factor of c?
True
Let i(m) = -36*m**2 + 4*m + 2. Let v be i(-1). Let j = v + 53. Is 5 a factor of j?
True
Let i(l) = -l**2 - 17*l - 4. Let f(b) = 2*b**2 + 34*b + 9. Let s(k) = -3*f(k) - 5*i(k). Is s(-14) a multiple of 30?
False
Suppose 5*b = -2*r + 110, 4*b + 4*r - 7 - 69 = 0. Suppose -b = -z + 3*h, h = -2*z + 5*z - 48. Suppose -1 = -2*d + 4*x + z, -3*d - 4*x + 24 = 0. Does 5 divide d?
False
Let s = 573 + 2952. Is 93 a factor of s?
False
Is 10 a factor of 1*1*-1*(-237 - 2)?
False
Let s = -4 + 10. Let l(w) = -w**3 + 8*w**2 - 8*w - 4. Does 5 divide l(s)?
True
Suppose -17*y + 12*y - 55 = 0. Let i = y - -89. Is i a multiple of 19?
False
Let v be (16/(-10))/((-14)/35). Let z = 0 + v. Suppose -137 = z*o - 389. Does 20 divide o?
False
Let j(q) = 3*q + 2 - 23*q**2 + 49*q**2 + 36*q**2. Is 9 a factor of j(-1)?
False
Let j = -429 + 1206. Is j a multiple of 21?
True
Let d be (20/5 + 2)/2. Suppose 0*s - d*s = -114. Does 19 divide s?
True
Let w(g) = -g**2 + 63*g - 649. Is w(23) a multiple of 5?
False
Let s(f) be the first derivative of 2*f**3/3 - 3*f**2/2 - 5*f - 3. Is 8 a factor of s(5)?
False
Is 12 a factor of (-53086)/(-54) + (-132)/1782?
False
Suppose -10 = m - 2*m. Let v = m - 6. Suppose -k + 1 = 2*n, -v*n - 11 = 9. Is 11 a factor of k?
True
Let r = -30 - -33. Suppose -3*h - 6 = -2*f - h, -5*f = r*h - 55. Is f even?
True
Let t = 11 - -84. Suppose -5*x + 8*h + t = 9*h, -h + 35 = 2*x. Is x a multiple of 2?
True
Let t(w) = 30*w**3 + 25*w - 79. Does 15 divide t(3)?
False
Suppose 21 = -5*z + 1, z + 18 = 2*p. Is p a multiple of 7?
True
Suppose -5*x + 5*j + 181 = -1684, 0 = -x + 4*j + 388. Does 8 divide x?
True
Suppose 2*y + 2136 = 8*y. Does 15 divide y?
False
Suppose 2740 + 24 = 4*u + 5*c, 2*u + 2*c - 1382 = 0. Let a = u - 471. Is 10 a factor of a?
True
Suppose r - 4*o + 3*o = -9, 3*o - 12 = 0. Let q(x) = 2*x**2 - 2*x + 5. Is q(r) a multiple of 12?
False
Let p(x) = 2*x + 21. Let y(j) = -j + 3. Let a be y(5). Let r(q) = q + 20. Let u(h) = a*p(h) + 3*r(h). Is 18 a factor of u(0)?
True
Let o be 726/30 - 2/10. Suppose 13 = 2*y + s + 4*s, 7 = y + 2*s. Let q = o - y. Does 14 divide q?
False
Suppose -357 = 8*m - m. Let u = 41 - m. Does 35 divide u?
False
Let h = 415 - 129. Is h a multiple of 22?
True
Let c = 99 + -43. Suppose -98 = -2*p + 2*n - 2, n - c = -p. Suppose -7*k + p = -53. Is 5 a factor of k?
True
Suppose -2 + 7 = -z, 4*o = -5*z + 395. Is 3 a factor of o?
True
Let u = 34 + -30. Suppose -3*i + u*s = -24, 3*i + s = -3*s + 48. Is i even?
True
Suppose 0*b = b. Let a = -5 - b. Let l(u) = -2*u - 4. Is l(a) a multiple of 4?
False
Let d be 259 + (-