 z a multiple of 16?
True
Let y = -1069 + 1114. Is 45 a factor of y?
True
Is 1/(-4) - 1484868/(-528) a multiple of 20?
False
Suppose 0 = -23*i + 19*i. Let m be (6 - i)*40/30. Suppose 4*g - m*g + 220 = 0. Is 15 a factor of g?
False
Suppose -280 + 0 = -4*b. Let v(h) = h + 33. Let g be v(17). Let a = b - g. Does 10 divide a?
True
Let f(y) = 2*y**2 + 10*y - 8. Let j = 42 - 49. Is 4 a factor of f(j)?
True
Suppose 5*i = s - 74, 2*s + i = 3*s - 58. Let n = s + -31. Does 5 divide n?
False
Let k be 2144/24 - (-2)/3. Let b = -50 + k. Is 40 a factor of b?
True
Suppose -3*p + 4*r + 10 = 0, -37 = 3*p + 5*r - 11. Let a(d) = -12*d - 3. Is 13 a factor of a(p)?
False
Let d(w) = -w + 7. Let r be d(-8). Suppose -4*z = 21 + r. Is 17 a factor of 2/6 + (-267)/z?
False
Let x = 55 - 27. Suppose -4*q - x = -276. Is 11 a factor of q?
False
Suppose 20*d = 13*d + 168. Is 12 a factor of d?
True
Let w be 28/(-6)*9/(-6). Suppose w*b = -2*b + 675. Is b a multiple of 25?
True
Suppose -4*b = -b + 90. Let g be (0 - -3)/(9/b). Does 8 divide 183/5 + (-4)/g?
False
Suppose 0 = 22*c + 18*c - 23000. Does 23 divide c?
True
Let i(o) = 2*o - 8. Let r(k) = 5*k**2 + k + 1. Let g be r(-1). Let m be i(g). Suppose n + 140 = m*b - 3*n, 2*n + 342 = 5*b. Is b a multiple of 17?
True
Suppose -67*d + 66*d = 2*h - 274, 1070 = 4*d - 5*h. Is 10 a factor of d?
True
Let c(z) = 17*z**3 + 61*z**2 + 28*z - 23. Let x(f) = 4*f**3 + 15*f**2 + 7*f - 6. Let u(d) = 2*c(d) - 9*x(d). Is 24 a factor of u(-8)?
False
Let k(s) = -s**3 + 32*s**2 + 61*s + 146. Is k(30) a multiple of 32?
True
Suppose -2*w = -w. Suppose 3*j = -l + 332, -4*j + 2*l - 5*l + 436 = w. Is 20 a factor of j?
False
Let s be (-1)/(-1)*(48 - (13 - 7)). Does 8 divide ((-21)/s)/((-1 + 3)/(-376))?
False
Let l(u) = 24*u**2 + 5*u + 7. Let d be l(5). Suppose d = 11*r - 7*r. Is 17 a factor of r?
False
Let v(k) = 3*k**2 - 35*k - 375. Does 17 divide v(-11)?
False
Let v(s) = s**3 - 10*s**2 + 40*s + 14. Is 10 a factor of v(7)?
False
Let j = 28 + -46. Does 9 divide (-482)/j + 6/27?
True
Let l(b) = 5*b**2 + b + 2. Let v be l(2). Suppose 0 = 4*k - v + 4. Suppose 2*t = 5*n - 13, 2*n = 3*t - k*t + 22. Does 3 divide t?
True
Let h be ((-876)/(-20) + 3)*(-30)/(-12). Let u = -41 + h. Is u a multiple of 7?
False
Let h = 703 - 481. Does 16 divide h?
False
Let z = 60 + -40. Suppose -z = -4*k + 340. Is k a multiple of 21?
False
Let s be 0*(-3 + 14/4). Suppose -2*i = -m + 65, -248 = -4*m + 2*i + 3*i. Suppose s*r = r - m. Does 17 divide r?
False
Let i be (-6)/3*51/(-6). Suppose -n + 3*f + i = 0, -2*n + 33 = 2*n - 5*f. Suppose 8 = n*o + 3*a - 41, -2*a + 48 = 2*o. Is o a multiple of 6?
False
Suppose -f + 5*s - 6 = 9, -10 = 2*f - 5*s. Is 3 a factor of f?
False
Let a(f) = 2*f**2. Suppose -13*i = -10*i - 6. Suppose -5*y - 19 = -i*y + 5*d, 2*d = 2*y - 14. Does 8 divide a(y)?
True
Suppose -4*z = -l - 27, -2*z - 2*z + 33 = 5*l. Is (-7 + 0)*(-108)/z a multiple of 18?
True
Suppose 64*w = 37*w + 12393. Is 51 a factor of w?
True
Let h(f) = -f - 10. Let x be h(-15). Suppose 4*g - v = 35, -2*g + 1 + 0 = x*v. Is g even?
True
Let i(b) be the third derivative of -5*b**4/8 + b**3/3 - b**2. Suppose 85*o + 12 = 79*o. Is 16 a factor of i(o)?
True
Let i(u) = 2*u**2 + 9*u - 13. Suppose -4*b - 24 = -2*b. Let n = b - -3. Is i(n) a multiple of 15?
False
Suppose -4*o = -17 - 7. Let i(f) be the first derivative of f**3 - 5*f**2/2 - 4*f + 26. Is 20 a factor of i(o)?
False
Is -8 - 548/(-3)*3 a multiple of 90?
True
Does 60 divide (1713/(-6))/((-11)/(110 + 0))?
False
Let f = -22 - -32. Suppose 0 = -6*m + f*m - 148. Does 36 divide m?
False
Suppose 3*s - 4*f - 43 + 8 = 0, s - f = 10. Suppose -s*g - n + 137 = n, -2*n = -3*g + 79. Does 10 divide g?
False
Suppose 21 = -4*a - 5*b - 27, -b - 12 = a. Is 25 a factor of a*((-100)/16 + 1)?
False
Let c = 552 - 440. Does 41 divide c?
False
Let u(w) = 16*w - 4. Let q be u(3). Let v(o) = 7*o - 19. Let c be v(0). Let r = q + c. Is 25 a factor of r?
True
Suppose 0 = 165*q - 161*q - 1920. Is q a multiple of 10?
True
Suppose 4*w + 3*k - 724 = 0, 5*w + k + 3*k = 906. Let a = -74 + w. Suppose 4*z = a + 64. Is 14 a factor of z?
True
Suppose -y + 5*k = -675, -5*k + 297 = -3*y + 2372. Is 25 a factor of y?
True
Suppose -2*f = 3*u - 55, 0 = -u + 6*f - 2*f - 5. Does 5 divide u?
True
Is (-175)/(78/(-12) - (-1 + -5)) a multiple of 14?
True
Let k be (-4 - 34*(-3)/6) + -4. Suppose 3*d - 6*j - 513 = -k*j, -20 = 5*j. Is 24 a factor of d?
False
Let i = 85 - 176. Let n be (i/14)/((-2)/(-4)). Let z = n + 17. Is 4 a factor of z?
True
Suppose 0 = -5*n + 3*t + 18, 13 + 2 = 4*n - 3*t. Suppose -5*y = -n*x - 36, x - 15 = -y - x. Is 6 a factor of (-2)/1 + y + 11?
True
Let i be ((-240)/(-25) + 6/(-10))/(-1). Let t(f) = -2*f**2 - 18*f + 16. Is 13 a factor of t(i)?
False
Let t be 3/12*(13 - 1). Suppose 3*a + d = 39, 0*a + 4*a = -t*d + 47. Does 4 divide a?
False
Let u = 9 - 1. Suppose -5*f + 4*f + 11 = 0. Suppose -f*o + 51 = -u*o. Is o a multiple of 5?
False
Suppose -3 - 5 = -2*u. Suppose -2*r + 42 = -5*a, 4*a - 112 = -u*r - 0. Does 26 divide r?
True
Let b = -136 - -93. Let d = 21 - b. Does 8 divide d?
True
Let w be (3 - (7 - 4)) + 10. Suppose w*z = -3*z + 2002. Is z a multiple of 14?
True
Is (-128)/(-7) + 11/(693/(-18)) a multiple of 18?
True
Suppose 4*y = 3*z - 0*z + 287, -3*y + 213 = -3*z. Let h = 7 + -4. Suppose -v - y = -h*v. Is v a multiple of 15?
False
Let v(p) = 3*p**2 + 47*p - 34. Is v(-22) a multiple of 20?
False
Let l = 162 - 68. Suppose -2*i - 24 = -l. Suppose 2*y - i = -3*w - 2*y, 0 = -3*y - 12. Is w a multiple of 10?
False
Let z(c) = 5*c**3 - 21*c**2 + 10*c - 125. Is z(10) a multiple of 155?
False
Let v(z) = -1 - 2 - 23*z + 21*z + 14. Is v(-7) a multiple of 6?
False
Suppose 0 = l - 2*g + 6, -2*l + 35 = 3*l + 3*g. Does 14 divide (3/l)/(2/376)?
False
Let c(g) = 9*g - 3. Let h = 10 + -6. Is 9 a factor of c(h)?
False
Suppose d - 377 = -121. Does 16 divide d?
True
Suppose 16*l - 12*l = 56. Does 13 divide ((-936)/84)/((-2)/l)?
True
Suppose -4*y = 38 - 310. Suppose 2*q = g - y, -q + 236 = g + 3*g. Does 15 divide g?
True
Let b(j) = -2*j - 9. Let r be b(-7). Suppose a = -r, 4*l - 2*a = -6*a - 4. Let t(f) = 2*f**2 + 2*f + 4. Is 16 a factor of t(l)?
False
Suppose 0*u - 5*u + 20 = 0. Suppose -u*i + 99 = 5*v, -38 + 3 = -2*v + 3*i. Is 16 a factor of v?
False
Suppose s = 4*p + 292, 3*s + 0*s - 3*p - 894 = 0. Suppose 0 = -x + 3*x - s. Suppose y = -y + x. Is y a multiple of 14?
False
Suppose -71 = 13*k + 124. Let c(n) = 7*n + 5. Let m be c(5). Let u = m + k. Is 9 a factor of u?
False
Let d(y) = -y**3 - 4*y**2 + 4*y. Let g be d(-5). Suppose -g*a + 143 = -877. Is 12 a factor of a?
True
Suppose -71 = -5*u + 504. Is ((-18)/(-15))/(2/u) a multiple of 23?
True
Suppose -5*h = l - 2038, 4*h + 2*l - 253 = 1375. Is 4 a factor of h?
True
Let y(s) = s**2 + 7*s - 4. Let u be y(-8). Suppose j = 2*p - u*p + 34, 0 = -4*p + 2*j + 60. Is p a multiple of 4?
True
Let m = 1305 + -345. Is m a multiple of 120?
True
Let y = -438 + 763. Suppose -5*o + 174 = 3*a - 64, o = 4*a - y. Is 38 a factor of a?
False
Let y = 24 - 0. Let p be (-8)/6 - (-19)/((-114)/(-20)). Suppose -y = -k - p*k. Does 4 divide k?
True
Suppose -4*f + 1359 = 3*w - 0*w, f - 5*w - 311 = 0. Is f a multiple of 16?
True
Suppose 0 = -19*w - 587 + 9973. Does 26 divide w?
True
Is 5 a factor of (-15)/(-6*10/920)?
True
Suppose 3*b = x + 6, 6 = x + 2*x + 3*b. Suppose i + 3*z = 12, x = 2*i - 4*z - 51 - 13. Let f = -16 + i. Is f a multiple of 3?
False
Does 3 divide -2 - (12/2 + -9 + -53)?
True
Let g(w) be the second derivative of 5*w**3 + 3*w**2/2 + 16*w. Is g(1) a multiple of 6?
False
Let c(l) = 19*l**2 - 23*l - 3. Is 17 a factor of c(5)?
True
Let n be 422/(-8) + (-2)/(7 + 1). Let s = -55 + 31. Let z = s - n. Is z a multiple of 8?
False
Suppose -3*s = 4*k - 9364, 10*s - 2*k = 11*s - 3122. Is 30 a factor of s?
True
Let c(j) = -j**2 + 13*j - 26. Is 2 a factor of c(6)?
True
Let s(u) = -u + 21. Let o be s(15). Suppose o*v - 1424 = -10*v. Is v a multiple of 23?
False
Suppose 0 = 2*o - 6, 0 = r - 0*o + o + 58. Let v = -35 - r. Let j = v + -20. Is 6 a factor of j?
True
Suppose -329 = 3*l + 493. Let h = l + 458. Is 15 a factor of h?
False
Suppose 565*w = 559*w + 27090. Is 14 a factor of w?
False
Suppose -2*c = -4*w + 24 - 10, 2*c + 2 = 0. Suppose -5*o = -w*x + 233, 46 + 108 