 + 55*p. Suppose 0*g + 5*r - 1150 = -2*g, -10 = -p*r. Is g a multiple of 19?
True
Let v(r) = 102*r**2 - 2*r. Let f be v(-2). Suppose 0 = -2*b + 3*o + 417, -7*o + 3*o - f = -2*b. Is b a multiple of 23?
False
Suppose -1160 = -42*w + 37*w. Suppose 0*k + 2*k - 8 = 0, -5*t = -2*k - w. Does 6 divide t?
True
Let b(r) = 16*r + 97 - 10*r - 97 + 18*r**2. Does 12 divide b(2)?
True
Suppose 502109 = -299*a + 1337913 + 1336730. Is a a multiple of 13?
False
Suppose -3*o - 52 = 4*k, -k + 2*o = -0*k + 2. Let t be (8/k)/((-4)/190). Suppose 2 - t = -3*x. Does 2 divide x?
True
Let t(s) = 74*s**2 + 13*s - 7. Suppose -4*h + 10*a + 9 = 5*a, -a = -3*h - 7. Is t(h) a multiple of 27?
False
Does 10 divide (-4 - -2) + -4 - (0 + -9 - 2347)?
True
Suppose -3948 = -m - 3*w, -2*w = 91*m - 87*m - 15832. Is 165 a factor of m?
True
Let a = 19562 - 17670. Is 2 a factor of a?
True
Let a(k) = -k**2 - 136*k + 567. Does 36 divide a(-51)?
False
Let g(m) = 1068*m - 11. Let x be g(1). Let b = x + -666. Does 25 divide b?
False
Let c(g) = 283*g + 1329. Is c(57) a multiple of 45?
True
Let o = 55 - 52. Let d be (-675)/18*8/(-6). Suppose o*w + 8 = d. Is w a multiple of 14?
True
Let h = 92 - 63. Let b = -4 - h. Let w = 50 + b. Is w a multiple of 5?
False
Suppose -g + 9 = -0. Let c(q) be the first derivative of q**4/4 - 7*q**3/3 - 3*q**2/2 - 3*q - 159. Is 12 a factor of c(g)?
True
Suppose -144*p + 21*p = -8*p - 7890035. Does 19 divide p?
True
Suppose -18*u + 6 = -15*u. Suppose u*d + 1 = o, -3*o + 4*d = -7 - 6. Suppose 16*q - o*q - 465 = 0. Is 8 a factor of q?
False
Let i = 7 - 13. Let j = i - 14. Is 19 a factor of (j - -18)*(338/(-4) - 0)?
False
Suppose 5*j - 3 = 7, -4*b = j - 26. Let z be b*(0 + (-42)/9). Is 6 a factor of (-4)/14 - 512/z?
True
Let x = -251 - -281. Is (378/x)/(30/100) a multiple of 3?
True
Suppose -n = -2*r - 1319, -3*n + 713*r + 3957 = 712*r. Does 16 divide n?
False
Let t = 696 + -706. Let g(r) = -111*r - 158. Is g(t) a multiple of 56?
True
Suppose -q = 4*s - 7 - 14, -5*q + 4*s = -9. Suppose -f - 62 = -2*j + 59, 0 = f + q. Is 29 a factor of j?
True
Suppose -39*w + 3780 = -13*w - 17*w. Is w a multiple of 5?
True
Suppose -8 = -5*s + 4*k, 0 = 5*s - k - 3 + 1. Suppose 4*l - 442 - 1218 = s. Let u = l - 229. Is 31 a factor of u?
True
Let z be (-312)/91 - (0 - 4/(-7)). Is (-144)/(-8)*(-106)/z a multiple of 20?
False
Let b(z) be the first derivative of 95*z**2/2 - 63*z + 9. Is 35 a factor of b(4)?
False
Suppose -8 = 2*k + 5*u, 0*u - 2*u + 40 = -4*k. Let r be (6/k*-3)/(2 - 1). Suppose r*x = -2*x + 272. Does 25 divide x?
False
Let s be 3 - -3*56/(-12). Let f(w) = w**3 + 9*w**2 - 22*w + 3. Let h be f(s). Suppose -8*y + h*y + 30 = 0. Is 6 a factor of y?
True
Suppose -c = -r + 134, -2*c = -18*r + 19*r - 140. Suppose i - 142 = -4*n, -i + 3*n + r = 22. Is 12 a factor of i?
False
Is 18/(-90) + 27752/10 a multiple of 15?
True
Suppose 56*a - 369075 = 21*a. Is 11 a factor of a?
False
Let a(x) = 15*x**2 - x - 4. Suppose 0 = 5*s - 12 - 13, 5*b = -5*s + 15. Is 29 a factor of a(b)?
True
Let c = -8454 - -9650. Is 4 a factor of c?
True
Let i(s) = s**3 + 35*s**2 - 2*s + 234. Is i(-19) a multiple of 216?
True
Is 29 a factor of (12 - 6)*36920/117*(-3)/(-4)?
False
Let w(h) = 242*h + 3163. Is w(7) a multiple of 33?
False
Let d = -7306 - -13365. Suppose -53 - d = -32*k. Is k a multiple of 39?
False
Let s(f) = 2*f**3 - 8*f**2 + 16*f + 7. Let h be s(5). Suppose 5*x - 3*i + 8*i = 155, -h = -5*x + i. Is x a multiple of 6?
False
Let t = 7748 + 1436. Is t a multiple of 115?
False
Let k(z) be the third derivative of -z**6/120 + 7*z**5/30 - 7*z**4/24 - 11*z**3/3 - 40*z**2 - 2*z. Is 44 a factor of k(11)?
True
Suppose -3*j + 705 = g, -3*g = -0*g + 4*j - 2140. Suppose 12*h = 8*h + g. Let y = -100 + h. Does 20 divide y?
True
Suppose -5*x - 7 - 13 = 0, 2*x = f + 2. Let t be (1/(-5)*1)/((-1)/5). Does 27 divide 11 + f + 134/t?
True
Suppose -2*s - 5*w = 249, 2*s = -2*w - 300 + 54. Let a = s - -212. Is 10 a factor of a?
True
Does 9 divide (-102)/170*(-2100)/2?
True
Let u = 10 - 104. Let x = -22 - u. Suppose 4*w = -0*w + x. Does 6 divide w?
True
Suppose -4*r - 49581 = -5*f, -5*f + 34471 = 2*r - 15116. Is 47 a factor of f?
True
Let i be -1 - 20/(-14) - (-96)/21. Suppose 0 = -3*d - q - 707, i*d - 5*q = -10*q - 1195. Does 4 divide -2 + d/(-14) - 40/(-140)?
False
Let u be 7 + -2 + -8 + 7. Is 91 a factor of (20556/9)/(u/(-12)*-6)?
False
Let y(q) = 5*q**2 + 5*q - 29. Let p(j) = -12*j + 43. Let n = -67 + 71. Let u be p(n). Is y(u) a multiple of 10?
False
Let a = 146 - -246. Suppose 9*u = a + 67. Is 17 a factor of u?
True
Suppose 13 + 77 = 3*g. Let s be 144 + 8/5 + 12/g. Suppose -6*v - 2 + s = 0. Is 7 a factor of v?
False
Let c(k) = 2*k**2 - 14*k + 20. Let i be c(11). Suppose 12*o - 84 - i = 0. Suppose 5*l + 4*v + o = 1378, -2*l + 546 = 2*v. Is l a multiple of 45?
True
Let p(m) = m**3 - 2*m**2 - 14*m - 3. Suppose 71 = -4*y + 99. Let l be p(y). Suppose 4*f - 43 = 3*f + 4*x, -4*f + 2*x + l = 0. Is 4 a factor of f?
False
Suppose 4*i - 7182 = -23*i. Suppose -4*x + 2*m - 24 = -i, -162 = -3*x - 5*m. Is x a multiple of 7?
False
Let u = -1473 + 1479. Let s be ((-4)/3 - -2)*3. Suppose 0 = -u*w - s*w + 1952. Is w a multiple of 61?
True
Let f be (-2)/8 - 726/8. Let s = 102 + f. Does 11 divide s?
True
Let m(s) = -5*s - 10. Let y be m(2). Let k = -38 + y. Let j = k + 108. Is 25 a factor of j?
True
Suppose -u = 3*z - 4 + 15, 0 = 4*z - 3*u + 32. Let q(a) = -a**3 + 6*a**2 + a - 12. Let o be q(z). Suppose -o = w - 5*w + h, 2 = h. Is 13 a factor of w?
True
Let i(r) = -130*r**3 - 2*r**2 + 17*r**2 - 20 + 128*r**3 - 3*r**2 + 3*r + 4*r**2. Suppose 11 = 3*c - 13. Does 4 divide i(c)?
True
Is (-74 - -86)*-2*434/(-8) a multiple of 62?
True
Let b(w) = -w**2 - w + 1. Let i(p) = -14*p**2 - 21*p - 4. Suppose -5*t - 5 = 2*n - 0*n, n = -3*t - 3. Let m(v) = t*i(v) + 4*b(v). Is 32 a factor of m(-5)?
False
Suppose -x + 140 = -2*f - 57, -4*x + 2*f = -800. Is x a multiple of 3?
True
Let h = 649 + -449. Let q = -279 + 282. Is (2 + h/q)*(-3)/(-2) a multiple of 13?
False
Let w = -257 + 180. Let u = -129 - w. Let h = 120 + u. Is h a multiple of 21?
False
Let c(k) = 114*k**2 - 16*k - 394. Is c(17) a multiple of 15?
True
Suppose 3*f - 6*i = 402, 4*f - 4*i + 187 - 743 = 0. Is 6 a factor of f?
True
Suppose 0 = -20*p + 47*p - 10*p - 364140. Is p a multiple of 45?
True
Suppose -k = 2*k. Let h be ((-4)/(-24))/((-8)/(-144)). Suppose 5*x = -4*n + 69 - 19, 5*x + h*n - 55 = k. Is 14 a factor of x?
True
Let c = -264 + 268. Suppose -2*p = 3*r - 514, c*r - 4*p = -0*r + 712. Does 13 divide r?
False
Suppose 287*k = 827981 + 4259668. Is 89 a factor of k?
False
Suppose 0 = 2*t + 5*u - 50, 4*t - 82 - 18 = -5*u. Suppose -g - 2 + t = 5*w, 24 = 4*g + 3*w. Let b(d) = 2*d**2 - 3*d. Is 5 a factor of b(g)?
False
Let i(f) = -2 - 10 - 13*f - 4*f - 2*f. Let q be i(6). Let v = -74 - q. Is v a multiple of 26?
True
Does 22 divide (-21706)/(-2) - (-74 + 85)?
False
Suppose 108374 = 8*q - 71293 + 33275. Is q a multiple of 98?
False
Let t(f) = 0*f - 24 + f**2 - 14*f + 2*f + 3. Let d be t(15). Suppose -d = m - 7*m. Is 2 a factor of m?
True
Let x(f) = 35*f**2 - 22*f + 370. Is x(10) a multiple of 25?
True
Let s(v) = 6*v + 7*v**2 + 1 - 3 - 4*v + 0. Let t be ((2/5)/(-1))/((-6)/(-30)). Is 11 a factor of s(t)?
True
Suppose 3*g - 11933 = -3101. Does 72 divide g?
False
Let v(b) be the first derivative of b**4/4 + b**2/2 + 234*b + 54. Does 9 divide v(0)?
True
Suppose 3*q = 4*a + 24, -4*a = -q - 0 + 16. Let w be 114 - a - (2 - 1). Suppose -113*z - 189 = -w*z. Is z a multiple of 7?
True
Is 61551/4 + 252/336 - (-3)/2 a multiple of 27?
True
Suppose 0 = -4*d - 0*d - 3*v + 6987, -4*d - v + 6985 = 0. Is 10 a factor of d?
False
Suppose 163*p + 1284 = 169*p. Is (-19 - (-10 - 4)) + p/2 a multiple of 34?
True
Let v(i) = -7*i**3 + 6*i**2 - 3*i + 3. Let x(z) = -3*z**3 + 3*z**2 - z + 1. Let f(y) = 2*v(y) - 5*x(y). Let w be f(4). Let m = w + 38. Is 11 a factor of m?
False
Suppose 2*l + 642 = 3*w, 2*l + 7*w - 11*w + 646 = 0. Is ((l/6)/(-7))/(1/6) a multiple of 15?
True
Let c(b) be the first derivative of -b**5/40 + 25*b**4/8 + 34*b**3/3 - 5. Let a(n) be the third derivative of c(n). Is 48 a factor of a(-7)?
True
Suppose 0 = -9*o + 4*o + 15. Let p be (-1*(-4 - -4))/o. Suppose p = 3*c + 3*u - 279, -3*c + 5*u = c - 327. Is 22 a fa