
Suppose 109 = 5*g - 2*l + 30, -5*g = 3*l - 94. Let p(t) = -5 + 7*t + 0 + g. Is 22 a factor of p(5)?
False
Suppose 539 = 17*q - 5122. Does 33 divide q?
False
Is ((-24)/(-18) + 0)*351/12 even?
False
Let d(z) = -z**3 + 7*z**2 + z + 9. Let s be d(7). Let a = s + -7. Does 4 divide a?
False
Let c = -50 - -76. Suppose -m + 2*i + 34 = -c, 5*m = 2*i + 260. Let a = m - 23. Is 9 a factor of a?
True
Let l(k) = 52*k - 264. Is 27 a factor of l(6)?
False
Let x be 9 - (6 + (1 - 3)). Suppose -x*d - 3*w - w + 6 = 0, -3*w - 5 = -d. Suppose -4*h - 74 = -2*r, 3*h = d*h - 2. Is r a multiple of 11?
True
Let w(b) be the third derivative of b**5/30 + 13*b**4/24 + b**3/3 - 10*b**2. Let q be w(-8). Suppose q + 26 = f. Does 26 divide f?
True
Does 6 divide (-111 - 1)/(-7 - -1 - -5)?
False
Let k be (10/(-4))/(7/(-14)). Suppose 0 = 3*a + 3*b - 54, -3*a = k*b - 28 - 22. Is a a multiple of 20?
True
Suppose -5*d + 359 = -3*c, -2*c + 0*c = -5*d + 246. Let t = 319 + -153. Let a = c + t. Is a a multiple of 17?
False
Suppose 0 = -6*k + 144 + 186. Let b = -19 + k. Is 12 a factor of b?
True
Suppose 3*h - 112 = 53. Let r = -50 + h. Does 5 divide r?
True
Let u(i) = i**2 - 9*i - 7. Let l be u(11). Let f(x) = -x**2 + 17*x + 16. Does 17 divide f(l)?
False
Let h(u) = 4*u**2 - 9*u + 7. Is 3 a factor of h(6)?
False
Suppose -44*f + 18018 = -2*f. Does 18 divide f?
False
Suppose 0 = 4*v - 50 - 30. Suppose b - 4 = -5*o, 152*o - 31 = 2*b + 149*o. Let u = b + v. Is 7 a factor of u?
False
Let t = -62 + 65. Suppose 0 = 5*j - v - 102 - 178, j + t*v - 56 = 0. Is 28 a factor of j?
True
Let i(a) = -4*a**3 - a**2 + a + 1. Let c be i(-1). Let x be ((-3)/c)/(-1) - -43. Is 13 a factor of (x + -3 - 4) + -4?
False
Let b(d) = -d**2 + 16*d - 10. Let i = -18 - -29. Let u be b(i). Is 11 a factor of (68/3)/(30/u)?
False
Let h = 428 - 252. Is 15 a factor of h?
False
Let x be (-6*1)/((-8)/(-8)). Let q = -4 - x. Suppose -t - 3*f = -55, -q*t = -5*t + 2*f + 220. Is t a multiple of 14?
True
Let y = -106 - -460. Is 19 a factor of y?
False
Let z = 94 - -13. Let w = z + -33. Is w a multiple of 37?
True
Suppose 3*d = 235 - 22. Let o = d - -110. Let r = o + -109. Does 12 divide r?
True
Suppose -4*k = a + 2*a - 183, -2*a + 10 = 0. Suppose -4*i + 5*r + 232 = 0, -r - k = -5*i + 269. Does 6 divide i?
False
Let k(t) = 13 + 2 - t + 4. Does 5 divide k(-6)?
True
Suppose 45*b + 7320 - 20235 = 0. Does 5 divide b?
False
Let t = 15 + -21. Let g be t/(-2) - (-6)/6. Suppose 2*i + i = -3*d + 45, g*i + d - 57 = 0. Is i a multiple of 6?
False
Suppose -3*j + 4 = -8. Suppose 0 = 2*h - 4, j*s - 106 = -h + 32. Does 5 divide s?
False
Let o(u) = u**3 + 18*u**2 - 4*u - 61. Is 22 a factor of o(-13)?
True
Suppose -6*q - 92 + 8870 = 0. Does 86 divide q?
False
Let j be 18/(-6)*(1 + -91). Is (1 - -2)/(1086/j + -4) a multiple of 27?
True
Suppose 3*h + 59 = -4*d + 4*h, 31 = -d - 3*h. Let i = 56 + d. Is i a multiple of 8?
True
Suppose -25*l = -3*l - 26796. Is l a multiple of 58?
True
Let q(s) = -5*s + 6. Does 7 divide q(-8)?
False
Suppose 0 = g - a - 5, 6 + 9 = 3*g + a. Suppose -3*u = g*j + 2*u - 30, 3*u = -5*j + 22. Suppose -j*s + 190 = 3*s. Does 17 divide s?
False
Let d = 1718 + -1424. Is d a multiple of 10?
False
Let n = 744 + 514. Is n a multiple of 16?
False
Let u be (-2)/(-3) + 121/(-33). Let d be 2 - ((u - 0) + -3). Suppose -v = 7*n - 4*n - 31, 2*v - d = 0. Is n a multiple of 3?
True
Suppose 0 = 4*u - 3*u - 2*b - 61, b = 5. Is 4 a factor of u?
False
Suppose -5*u + 20 = 0, r - 3*u = -4*r + 213. Suppose 40*n - r*n = -385. Is 11 a factor of n?
True
Let o = -6 + 10. Suppose 4*m = -m + 3*u + 731, -o*u = m - 137. Is m a multiple of 26?
False
Suppose 5*w - 19 = -4*s, 4*w + 7*s - 4*s - 15 = 0. Suppose w*u = 52 + 17. Is 4 a factor of u?
False
Suppose -3*g - 13*g + 3808 = 0. Does 22 divide g?
False
Is 40 a factor of ((-840)/196)/(2 - (-114)/(-56))?
True
Let y(c) be the third derivative of -7*c**6/40 + c**5/30 + c**4/12 + c**3/6 - c**2. Is 11 a factor of y(-1)?
True
Let g = -3546 - -5158. Does 52 divide g?
True
Suppose 2030 = 4*s - 2*z, -z + 985 = 2*s + 4*z. Suppose 3*r + 2*r = -s. Is (-44)/(-11)*r/(-4) a multiple of 28?
False
Is 4 a factor of -1*1 - (-115 - -50)?
True
Let r(o) be the first derivative of -o**4/4 + 3*o**2/2 + 2*o - 7. Let n be r(4). Let u = -35 - n. Is 5 a factor of u?
True
Let x = -542 - -636. Is x a multiple of 36?
False
Is (-4 + 10/(-25))*2*-75 a multiple of 20?
True
Let l(f) = 31*f - 15 + 13 + 10. Is l(4) a multiple of 33?
True
Let s be ((-4)/(-3) + -1)*9. Suppose 0 = d - 0*d - s. Suppose -d*k - k + 144 = 0. Is 17 a factor of k?
False
Suppose 5*w - 13 = 7. Suppose 2*u - w = -16. Does 9 divide (-14 - -1)/(3/u)?
False
Let j(w) = 57*w + 136. Does 41 divide j(12)?
True
Let n = -6063 - -8754. Is 69 a factor of n?
True
Let f(a) = 23*a - 10. Let c be f(4). Suppose -o + c = -9. Is o a multiple of 13?
True
Suppose 69*q - 67*q = 5*o - 2293, -3*q = 3*o - 1359. Does 6 divide o?
False
Let z be (6/1 - 3) + -1. Suppose -z = -m - 3. Let r = m - -18. Is r a multiple of 5?
False
Suppose 0 = -b - w - 3, -w + 14 = -3*b - 7. Let j(f) = -f**3 - 4*f**2 + 4*f + 2. Does 10 divide j(b)?
True
Let f(b) = -b**2 + 7*b. Let u be f(5). Suppose -k + w = -5, -4*k - 3*w + w = u. Suppose -d - 12 = -3*d + 4*g, k = -4*g + 12. Does 4 divide d?
True
Let s(m) = -22*m - 69. Does 7 divide s(-6)?
True
Suppose 22*y = 13*y + 12312. Is 36 a factor of y?
True
Suppose -2*a - 14 + 10 = 0. Does 16 divide 3/(12/376) - a?
True
Let o(m) = 0*m + 21*m**2 - 22*m**2 + 10*m. Let q be o(8). Suppose -3*i + q = 1. Is i a multiple of 2?
False
Suppose 0 = 3*z + 3*n - 264, -5*z = -2*z - 4*n - 292. Let s(l) = -2*l - 8. Let b be s(-7). Is (3 - 15/b)*z a multiple of 23?
True
Let n(h) = h**2 + 18*h - 18. Is n(-26) a multiple of 19?
True
Let d = 144 + -151. Is 24 a factor of (264/d)/((-16)/112)?
True
Let b(g) = 5*g**2 - 25*g + 7. Suppose -n - 5*z + 12 = 0, 5*n - 3*z - 1 = 31. Does 11 divide b(n)?
True
Let y(c) = 4*c**3 + 10*c**2 + 11*c - 21. Let g(n) = -n**3 + n**2 + 1. Let i(b) = -3*g(b) - y(b). Is i(-13) a multiple of 7?
True
Let z = -1237 + 2086. Is 19 a factor of z?
False
Suppose 4*i - 131 = -31. Let k(o) = -4*o**2 - 33*o - 8. Let b be k(-8). Suppose -i = -q - b*q. Is q a multiple of 15?
False
Let x be ((-3)/2)/(2/(-4)*1). Is 17 a factor of 500/30 - (-1)/x?
True
Let a(i) be the third derivative of -i**5/60 - 7*i**4/12 + i**3/2 - 3*i**2. Suppose -3*t = 5*x + 50, -t = -x - 2*t - 12. Is 19 a factor of a(x)?
False
Let g = -52 - -22. Does 7 divide 28/(-3)*45/g?
True
Let b = 1516 + -986. Does 53 divide b?
True
Let m = 19 - 16. Suppose -3*f - p + 38 = 0, -4*f - p + 40 = m*p. Does 14 divide f?
True
Suppose f - 44 = 5*f - 2*t, -30 = 2*f + 3*t. Let x = f + 52. Is x a multiple of 8?
True
Let k be -2 - (-2 - 2)/4. Let j be (-49)/(-4) + k/4. Is 6 a factor of 4/(2*2/j)?
True
Let a = -47 - -30. Let q = a - -43. Does 6 divide q?
False
Is 3 a factor of (-1624)/(-22) + (-58)/(-319)?
False
Let w(o) be the third derivative of o**5/30 - 3*o**4/8 - 37*o**3/6 + 4*o**2 + 2*o. Is 13 a factor of w(12)?
True
Let k = -1139 - -1691. Is k a multiple of 24?
True
Let f be (8/12)/((-2)/3). Let a = -30 + 36. Is 16 a factor of -96*f/(a/3)?
True
Let v = -332 - -619. Is v a multiple of 9?
False
Let h = 6 - 0. Suppose -h*m = 3*y - m - 7, -2*y - 3*m = -5. Suppose -q - y*q = -70. Does 4 divide q?
False
Let b(j) = 3*j - 53 + 44 + 0*j. Does 12 divide b(13)?
False
Let y(d) = 243*d**3 - 2*d + 2. Let h be y(1). Suppose 9*j + 0*j - h = 0. Does 27 divide j?
True
Let j = 635 - 431. Let a = j - 132. Is a a multiple of 16?
False
Let z = 155 + 316. Is z a multiple of 60?
False
Suppose 3*z = 5*z - 14. Does 24 divide 74/(-4)*(-9 + z)?
False
Let a(u) = 395*u**3 + 5*u**2 - 11*u + 7. Does 15 divide a(2)?
True
Suppose 0 = -2*m + 5 + 5. Suppose -4*g - 6*r = -11*r - 194, m*g = -4*r + 222. Does 13 divide g?
False
Suppose -49 = -2*q - 53, -5*p + 1633 = -4*q. Is 25 a factor of p?
True
Suppose 3*k = -2*k + 20. Let g = -16 - -20. Let x = g + k. Does 8 divide x?
True
Let h be 5*3/((-15)/(-2)). Suppose -5*p - 3*m = -372, 3*m = 5*p - h*m - 380. Is 15 a factor of p?
True
Let v(s) = s**3 + 10*s**2 + 16*s + 18. Suppose 5*u = 4*z - 38, -2*u + 2*z = 4*z + 8. Does 22 divide v(u)?
True
Does 55 divide (0 - (-54)/8)/(15/2200)?
True
Let d = -42 + 39. Does 6 divide (1 - d - 