alse
Let t(k) = k**2 + 10*k + 10. Suppose -4 + 28 = -3*q. Let w be t(q). Is (w/(-5))/((-6)/(-20)) a multiple of 4?
True
Let h(j) be the second derivative of -3*j**3/2 + 17*j**2 - 27*j. Is h(-17) a multiple of 34?
False
Suppose 3*i = 3*g - 60, 4*g + i - 2*i = 89. Suppose 13*r - 12*r = 51. Let k = r - g. Does 9 divide k?
False
Let r(x) = x**3 - x**2 + 3*x - 2. Suppose -6*g = -4*g - 2. Let h be r(g). Is 3 a factor of (2 - 0)*h - -5?
False
Is (-1)/(-2*(-9)/(-3960)) a multiple of 10?
True
Let w(j) = -j**2 + j. Let l(k) = 10*k**2 - 5*k + 4. Let v(f) = l(f) + 5*w(f). Let d be (-1)/(10/8 - 1). Is v(d) a multiple of 24?
False
Suppose 0 = -4*o - 0*o. Let s be -3 + ((-33)/6)/(2/(-4)). Suppose o = 2*n - s, -2*n + 1 = 4*h - 267. Is 17 a factor of h?
False
Let r(n) = -2*n - 12. Let l = -9 + 1. Let i be r(l). Suppose v - 23 = 3*k + k, -i*v = -4*k - 44. Does 7 divide v?
True
Suppose 0 = -y + 2*s + 280, 0 = y - 8*s + 13*s - 280. Is y a multiple of 59?
False
Let s(k) = -k**3 - 13*k**2 + k - 16. Let c be s(-12). Let p = -99 - c. Does 14 divide p?
False
Let f be 3*(-9)/((-54)/(-20)). Let n = f - -26. Is n a multiple of 8?
True
Let j(k) = 8*k**2 - 7*k + 4. Suppose -22 + 30 = 4*g. Does 8 divide j(g)?
False
Let v(w) = -w**2 + 23*w + 192. Is v(0) a multiple of 24?
True
Let t = 4 - -5. Let r be -4*t/(-12) + 54. Suppose 2*w = -1 + r. Is w a multiple of 14?
True
Suppose g + 24 = 4*p - 3*g, -g + 12 = 2*p. Suppose -p*q = -2*q + a - 27, 29 = 3*q - a. Let l(n) = n**2 - 7*n - 3. Is l(q) even?
False
Suppose -3*v - 1 = -4*v. Let y(r) = -4 + 5 + v + 0 - 15*r. Is y(-2) a multiple of 9?
False
Let l = 199 - 151. Does 6 divide l?
True
Is 65/260*(-1 - -2189) a multiple of 24?
False
Suppose -4*r = 5*i - 3250, 7*i + 2436 = 3*r + 10*i. Is 30 a factor of r?
True
Let t be (2/(-3))/((-3)/9). Is (-91)/(-7) + (-2)/(t*1) a multiple of 5?
False
Suppose 125*u - 118*u - 8932 = 0. Is 58 a factor of u?
True
Let l(j) = 250*j - 122. Is l(2) a multiple of 14?
True
Let d = -3 + -6. Let q(v) = -13*v. Let u be q(2). Let m = d - u. Is m a multiple of 7?
False
Suppose -311 = -3*n + 319. Suppose -4*b + 36 - n = -2*m, 3*m - 276 = b. Does 16 divide m?
False
Let z be (-129)/(-9)*(0 - -6). Suppose -6*t + t = 5*p + 420, 2*p = -t - z. Let u = 150 + t. Does 25 divide u?
False
Suppose 3 = 2*x - 1. Suppose 5*j - 8 = x. Suppose 2*s = -3*o + 7 + 3, -5*s + 63 = -j*o. Does 11 divide s?
True
Let z = 128 - 120. Suppose -560 = a - z*a. Is 16 a factor of a?
True
Let r(z) = -z**3 + 3*z**2 - 3*z. Let k(y) = -y**2 + 14*y + 18. Let o be k(15). Let c be r(o). Let q(n) = -n**2 - 11*n - 1. Does 6 divide q(c)?
False
Let g be 50/6*(-24)/(-20). Let z = g + -47. Is 3*(-4)/(-6) - z a multiple of 8?
False
Let d = -261 - -736. Is d a multiple of 19?
True
Let p = 36 - 32. Suppose -p*q = -2*q. Suppose -5*w + o + 9 = q, 5*w + 9*o = 4*o + 15. Does 2 divide w?
True
Suppose -5 - 4 = -3*c. Suppose 3*j = -4*w - 2, w = c*j - 4*w - 43. Is 167/5 - j/(-10) a multiple of 7?
False
Suppose 3*w = -3*t + 24, 0 = w - t + 2. Let s(g) = -6 - w - 1 + 4*g + 0. Is 5 a factor of s(6)?
False
Suppose 21*u + 36 = 18*u. Is (-13)/(26/u) - 3 a multiple of 2?
False
Suppose 240 = 16*t - 11*t. Suppose -2*y - t = -10*y. Does 3 divide y?
True
Let p = 3 - -2. Suppose p*k - 33 - 72 = 0. Is k a multiple of 7?
True
Let d be 2/(-8) - 55/4. Let p = -13 - d. Suppose -3*s - i + 31 = -s, 0 = -i - p. Is s a multiple of 11?
False
Let v(q) = q**2 + q. Let f(d) = -3*d**2 + 6*d + 6. Let o(b) = f(b) - 2*v(b). Let y be o(-5). Let l = y - -213. Does 16 divide l?
False
Let b(f) = -7*f. Let r be b(-6). Is 27 a factor of (-14)/(-2)*-1*(-648)/r?
True
Suppose -2*v + 2174 = 4*y, 16*y = 6*y. Does 4 divide v?
False
Does 27 divide (-48405)/(-150) - 12/(-40)?
False
Suppose -15 = -6*u + 3*u. Let p(i) = -u*i**2 - 1 + 3*i**2 + 7 + 5*i**2 - 7*i. Is p(5) a multiple of 14?
False
Let a(y) = -62*y - 8. Let n be a(-4). Let g = 9 - 5. Suppose -o = -g*o + n. Is 20 a factor of o?
True
Let o(x) = 19*x**2 + 4*x - 1. Let f be o(3). Let u(s) = 7*s**2 + 76*s - 4. Let c be u(-12). Let v = f - c. Is 19 a factor of v?
False
Suppose 2*i + 0 = -6. Let m(t) = -5*t**2 - t + 5. Let y(o) = -25*o**2 - 5*o + 28. Let s(d) = -11*m(d) + 2*y(d). Does 16 divide s(i)?
False
Let b = 44 + -39. Let p = b - -56. Is p a multiple of 14?
False
Suppose -2*m = -2*f - 6*m - 44, -4*m + 52 = -f. Let r be 105/(-8) - 4/f. Let n = -5 - r. Does 8 divide n?
True
Let u(o) = -o**3 - 9*o**2 + 3*o - 6. Let r be u(-7). Let k = r - -182. Is 19 a factor of k?
True
Does 23 divide ((-21743)/(-34))/((-1)/(-2))?
False
Let r(v) = 18*v**3 - v**2 + 3*v - 2. Let x be (6/8)/((-42)/(-112)). Let c be r(x). Suppose -4*p = 4*p - c. Is 6 a factor of p?
True
Let d be (-504)/(-132) - (-2)/11. Suppose -h = -3*p - 20, 4*h + 2*p = d*p + 30. Suppose 3*b = -15, -8*t = -3*t + h*b - 55. Is 4 a factor of t?
True
Let n = -2 + 1. Let l(t) = -8*t**2 - t - 1. Let f be l(n). Let d(m) = m**2 + 6*m - 7. Does 3 divide d(f)?
True
Suppose 5*g - 90 = 3*y, -2*g + g = 3*y + 108. Let o = y + 70. Does 18 divide 88/5 - (-14)/o?
True
Let q(u) = -3*u + 36. Let c be q(10). Is ((-15)/(-9))/(c*(-2)/(-1512)) a multiple of 30?
True
Let c = -11 + 24. Suppose -5*j = -4*j - c. Let o = 31 - j. Is 5 a factor of o?
False
Let f = 19 - 16. Let r = f - -1. Suppose 4*u + 0*z = z + 29, 2*u - 18 = r*z. Is u a multiple of 7?
True
Suppose 0 = -4*o + 17 + 11. Suppose -o*n + 52 = -5*n. Is n a multiple of 26?
True
Let y(k) = k - 1. Let p(u) = -u**3 + 12*u**2 - 11*u + 5. Let v be p(11). Let j be y(v). Let f(h) = 2*h**2 + h - 2. Is 9 a factor of f(j)?
False
Suppose -8857 = -49*u + 32*u. Is 28 a factor of u?
False
Let l(i) = 26*i**3 + 3*i**2 + 2*i + 1. Is l(2) a multiple of 37?
False
Let c be 22/5 + (-51)/(-85). Suppose 303 + 1017 = c*d. Is d a multiple of 33?
True
Suppose -2*b + 4 = -b. Suppose 0 = 3*t - 2*s - b, -2*s + 4 = 2*s. Suppose -3*v + 170 = t*v. Is 17 a factor of v?
True
Suppose 23 = 3*z - 13. Does 4 divide z?
True
Suppose h + 0 = 49. Let b = h + -37. Is b a multiple of 2?
True
Suppose 3 = 5*x - 2*j, 2*x - j - 2 + 1 = 0. Let g(n) = 80*n**2 - n + 1. Does 16 divide g(x)?
True
Let r(z) = 2*z + 6. Suppose 7*t - 2*t - 5 = -l, 0 = 3*l - 3*t + 21. Let b be r(l). Is (-4 - 2)*14/b a multiple of 7?
True
Suppose -4*h + 168 = 4*r, r - 35 - 7 = -3*h. Is 11 a factor of r?
False
Let z(q) = -q**2 + 11*q - 13. Let d be z(9). Suppose 4*i - 20 = -d*s, 2*i = -2*s + 5 + 3. Suppose 137 = 4*y - 3*f, 0 = s*f + 11 + 1. Is y a multiple of 7?
False
Let a(p) = p**2 - 15*p + 54. Let g be a(10). Let s(o) = 12 - o + 10*o + 0*o. Is 8 a factor of s(g)?
True
Let r = 6 - 11. Let v = r - -9. Suppose 150 = 5*k - 3*c, -k + v*c = -33 + 3. Does 15 divide k?
True
Suppose -i - 3*i = -5*b + 12, 4*b = 16. Suppose -i*s - 5*a + 68 = 0, 4*s - 8*s - 4*a = -160. Is s a multiple of 12?
False
Let a(m) = 391*m + 290. Is a(4) a multiple of 25?
False
Let s(g) = g**3 - 52*g**2 + 54*g - 47. Does 2 divide s(51)?
True
Suppose -5*j = p - 24, 2*p + j - 24 = p. Let q = p - 21. Is 6/((-38)/14 + q) a multiple of 21?
True
Let f = -202 - -690. Is f a multiple of 7?
False
Let y(w) = w**2 + 4*w + 7. Let r be y(-7). Suppose -2*x + 5*l = -r, 2*l - 56 = -3*x - x. Suppose -x*d + 115 = -9*d. Does 8 divide d?
False
Suppose m - 2*n = -0*m + 80, -2*n = -6*m + 440. Is m a multiple of 8?
True
Suppose r = 67 - 67. Suppose v - 3*u - 24 - 66 = 0, r = -3*v - u + 250. Does 28 divide v?
True
Let g(m) = -m**3 - 13*m**2 + 7*m + 30. Let z be g(-14). Let p = z + -86. Is p a multiple of 7?
True
Let t = 26 + -26. Suppose 0 = -k - 2*p + 6, 5*p = 2*k - t*p - 12. Suppose -o + k + 27 = 0. Is 11 a factor of o?
True
Suppose -2*s - 3*y = -0*s + 1, 3*s + 4*y = 0. Suppose 4*o = -s*f + 1116, 574 = 2*f - 3*o + o. Does 27 divide f?
False
Let c(q) = -4*q - 4. Let r be c(3). Let l = -4 - r. Is (-30 - 0)*(-8)/l a multiple of 14?
False
Suppose f - 6*f + 5*a = 0, 0 = -3*f - 2*a + 20. Suppose -f*j = j. Suppose -s = 2*c + s - 136, 3*c + 5*s - 196 = j. Does 24 divide c?
True
Let n(r) = 21*r - 32. Let u be n(17). Suppose 0 = -5*j - 0*j + u. Does 13 divide j?
True
Let x(p) = p + 10. Let w be x(-3). Suppose -7 - 28 = -w*h. Suppose 0 = d - u - 18, -u = -5*d + h + 101. Does 11 divide d?
True
Let i(h) = 0*h**3 + 3 + 3*h + h**3 + 2*h**3 - 2*h**3 - 4*h**2. Let g be i(6). Suppose -102 = -5*p + g. Does 11 divide p?
False