6)?
True
Let g = -12 - -20. Let x be g/20 - (-748)/5. Suppose 0 = p + 4*p - x. Is p a multiple of 15?
True
Let t(r) = r + 4. Let u be t(-2). Suppose -y = -4*d + 7, 16 = u*d - 0*y + 2*y. Suppose -d*b + 171 = -5*k, b + 316 = 6*b + 2*k. Is b a multiple of 22?
False
Suppose 0 = 33*k - 29*k - 52. Does 4 divide k?
False
Let o = -42 + 61. Is o a multiple of 6?
False
Let r(m) = -m**2 + 22. Is r(0) a multiple of 4?
False
Let h be 64/(-6) + (-1)/3. Is 10 a factor of (-2)/h - 432/(-44)?
True
Let g(v) = v**2 + 5*v - 10. Let q be g(-7). Suppose q*h = 303 - 43. Does 19 divide h?
False
Let r(i) = -i**3 + 8*i**2 - 5*i + 6. Let s be r(7). Suppose 0 = -7*x + 8*x - s. Does 7 divide x?
False
Let u(k) = 2*k**3 - 3*k**2 - k + 5. Let o be u(4). Let n = o + -47. Is 13 a factor of n?
False
Let l = 40 + -22. Suppose 4*k - l - 50 = 0. Is 11 a factor of k?
False
Let a = 639 + -348. Does 8 divide a?
False
Suppose -3*q - 22 = -2*q. Let l = q - -10. Is 19 a factor of (-248)/l - (-4)/(-6)?
False
Let n = 36 + 8. Is 11 a factor of n?
True
Is 2524/14 - (-14)/(-49) a multiple of 20?
True
Let a be ((-12)/(-9))/(6/387). Suppose -54 = -h + a. Suppose 5*n = h + 50. Is n a multiple of 19?
True
Let o(z) be the first derivative of z**3/3 - 3*z**2/2 - 9*z + 1. Is o(7) a multiple of 7?
False
Let j = 0 - -1. Is (-3*2 - j)*-5 a multiple of 17?
False
Suppose 0 = -5*i - 5*b - 95, 21 = -i - 2*b + 3*b. Let h = -8 - i. Is h a multiple of 3?
True
Suppose 0 = 9*j + 2*j - 3630. Is 30 a factor of j?
True
Suppose 0 = 3*q - 5*z - 100, -q - 7*z + 2*z = 0. Does 5 divide q?
True
Let j(c) = -c**2 + 4*c + 4. Let s be j(4). Let x be 22/6 + s/(-6). Suppose 0*t + 6 = x*t. Is 2 a factor of t?
True
Let s = 9 + -3. Suppose 0 = -4*d + d + 36. Let i = s + d. Is 7 a factor of i?
False
Suppose 0 = -6*c - 10 + 58. Is 4 a factor of c?
True
Suppose 0 = 2*i + 25 + 43. Does 17 divide -1*i*1 + 0?
True
Is 4 a factor of (5 - 0)*(-342)/(-30)?
False
Let c be (4 + 0)/(4/2). Let w be c/7 - 198/(-42). Let y = 8 - w. Is y even?
False
Suppose 4*f + 0*f + 24 = -5*p, 4*p + 13 = 3*f. Is 20 a factor of (-77)/p + (-6)/(-8)?
True
Suppose v + 762 = 4*v. Is 18 a factor of v?
False
Let l = 170 + -95. Is l a multiple of 24?
False
Let z = -40 - -45. Is z even?
False
Let u = -2 + 5. Suppose -u*r - 60 = -3*q, -2*r + 5 = 13. Is q a multiple of 7?
False
Does 21 divide (-930)/(-15) - (1 + -4)?
False
Let q = 43 + -62. Let c = 41 + -12. Let m = q + c. Does 8 divide m?
False
Let r(s) = 12*s**3 + s**2 + s + 2. Let t be r(2). Let h = -44 + t. Does 26 divide h?
False
Suppose 3*c = -4 + 16. Let o be (-10)/c*6/(-3). Suppose -o*j - 19 = -z - z, 0 = -3*z - 3*j + 39. Does 9 divide z?
False
Suppose z - 5 = -0. Suppose -z*s + 118 = i - 8, 5*i = -s + 6. Does 9 divide s?
False
Let z = 236 - 86. Does 25 divide z?
True
Let l = 0 + 1. Let i(h) = -2*h + 25*h**2 + h + 3*h - h. Is 13 a factor of i(l)?
True
Let o = -3 - -5. Let i be 2/(-10) - (-56)/5. Let v = o + i. Is v a multiple of 6?
False
Suppose 155 = 4*f - 41. Is f a multiple of 11?
False
Suppose -5*t + 407 = -333. Let c = -78 + t. Does 18 divide c?
False
Suppose -21*t + 1200 = -15*t. Is 40 a factor of t?
True
Let m = 9 + -7. Let l = 4 - m. Suppose 3*k + 2*k = l*i + 2, 5*i = -4*k + 28. Is i a multiple of 2?
True
Let d(v) = 2*v + 12. Let s be d(-4). Does 23 divide (4/5)/(s/150)?
False
Let p(x) = 6*x**3 - 4*x**2 + 2*x + 2. Let m be p(2). Let k = m - 19. Is 5 a factor of k?
False
Suppose 0 = -3*y - 3*f + 33, 2*y - 5*f - 9 = -y. Does 8 divide y?
True
Suppose 3*n - 5 = 5*d, -3*d = -n + 2*d + 5. Suppose -z + n*h - 5*h = -24, -3*z = 4*h - 105. Is z a multiple of 13?
True
Does 7 divide 6*(3 + (-58)/(-4))?
True
Let i = 6 - 1. Suppose 0 = 3*l + 6, 3*l + 61 = -i*y + 315. Is 13 a factor of y?
True
Suppose 0 = 4*c + 2*j - 542, 2*c + 5*j = -112 + 379. Does 34 divide c?
True
Let d be 15/(-20) + (-46)/(-8). Is 10/(-3)*-3*d a multiple of 20?
False
Let f(s) = -s**2 - 5*s + 8. Let y(r) = -2*r + 7. Let t be y(7). Let v be f(t). Let h = 10 + v. Does 4 divide h?
True
Suppose 10 = -2*f + 96. Let j = f - -29. Is (2/4)/(4/j) a multiple of 9?
True
Suppose 110 = 5*m - 5*g, -5*m - 3*g - g = -92. Is m a multiple of 19?
False
Let b be (-2)/(-8)*2*4. Let c be 5/(b/18*3). Let p = c + -11. Is 4 a factor of p?
True
Let i = 11 - 2. Is i a multiple of 9?
True
Let g(q) = -1 + 0 - 15*q - 2 + 2. Is 5 a factor of g(-1)?
False
Let c be (1 - (-3)/(-3)) + 6. Does 3 divide (c/(-10))/(4/(-20))?
True
Let j = 23 + 21. Does 19 divide j?
False
Let c(q) = 3*q**3 - 3*q**2 + 4*q - 2. Let m be c(2). Suppose 0 = -0*h - h + m. Suppose x - h = 8. Does 13 divide x?
True
Let f be 30/(-9)*6/(-5). Suppose -3*h + f*i = 14, h - 2 = 5*h - 2*i. Suppose -6 = -a - h*a. Is a even?
True
Suppose v = -2*p - 0*v + 89, -5*v = 4*p - 181. Is p a multiple of 11?
True
Let v(r) = -r**3 + 6*r**2 + 7. Let c(f) = -f**2 - 8*f - 1. Let n be c(-7). Is v(n) a multiple of 4?
False
Suppose 66 - 250 = -4*k. Is k a multiple of 7?
False
Let v = 88 + -50. Is 12 a factor of v?
False
Suppose -20 = -3*f - 0*b - 4*b, 5*b = 3*f - 29. Is 6 - f - (-39 - 1) a multiple of 11?
False
Let t(s) be the second derivative of -s**3/6 + 135*s**2/2 + s. Let m be t(0). Suppose 4*o - 161 = -8*h + 3*h, 0 = 4*h - 3*o - m. Is h a multiple of 13?
False
Suppose 2*d + 2*l + l = 9, 0 = 2*d + l - 3. Let c = -3 + d. Let j(m) = -6*m - 2. Does 8 divide j(c)?
True
Let k = 15 + -22. Let u(f) = -f**2 - 4*f + 7. Let q be u(k). Does 14 divide 4/q - (-396)/14?
True
Suppose -5*b = -3*g - g - 8, 0 = 3*b + 5*g - 27. Suppose b*o - 65 = 5*k, -k = -o - 0*k + 15. Is o a multiple of 8?
False
Let y be 8/10*(-9 - -4). Is 14 a factor of 7/(-3)*3*y?
True
Suppose 7*o - 3*o = 0. Suppose -p + 16 = -o*p. Does 12 divide p?
False
Let x(u) = 1 + 0*u**2 - 2 + 9*u**3 + 0*u**2. Is 8 a factor of x(1)?
True
Is 57*(2 - 1)/1 a multiple of 14?
False
Let r = 3 - 1. Let n(h) = 2 - h**r + 3 + h - 19*h**3 - 4. Does 18 divide n(-1)?
True
Let n be 0/((-2 + -1)/3). Does 10 divide (-44)/(-2) + (n - -1)?
False
Let v = -3 - -5. Suppose -v*k + 50 = 4*s, 5 + 0 = s. Is 5 a factor of k?
True
Suppose 0 + 12 = -4*g. Let u be (-2)/(34/(-11) - g). Let m = u + -5. Is 17 a factor of m?
True
Let m = 13 - 1. Is m a multiple of 12?
True
Let r = -25 + 64. Is r a multiple of 13?
True
Let a = 3 + 30. Does 12 divide a?
False
Suppose 0*k = -3*k. Suppose 3*s = -k*s + 45. Is s a multiple of 7?
False
Suppose 40 = -3*p - 2*p. Let f be (-5 - -4)*(2 + -15). Let z = p + f. Is 4 a factor of z?
False
Let c(y) = y**2 + y - 3. Let p be c(-3). Suppose -u + 4*h - h + 24 = 0, u = -p*h. Is u a multiple of 8?
False
Let g be 36/6 - (-2)/(-1). Let r = -4 + g. Suppose r = 5*d + 2*y - 180, d + y + 2 = 38. Is 18 a factor of d?
True
Let o(u) = 30*u**3 + u**2 - 4*u + 2. Is o(1) a multiple of 3?
False
Let g be 1/(-4) - (-46)/(-8). Let w(q) = 4*q**3 + 6*q**2 - 2*q - 4. Let s(h) = 7*h**3 + 12*h**2 - 4*h - 8. Let i(u) = 3*s(u) - 5*w(u). Does 4 divide i(g)?
True
Let h(a) = 27*a - 1. Let k(n) = -28*n + 1. Let c(f) = 3*h(f) + 2*k(f). Does 9 divide c(1)?
False
Suppose -5*c = -4*k + 2, -c - 3*c + 20 = 4*k. Let g be (0/k + 1)/(-1). Does 8 divide -2 - (-18)/(-1)*g?
True
Let j(x) = 14*x**3 + 4*x**2 - 6*x + 4. Is j(2) a multiple of 20?
True
Let n = 25 - 42. Let i = -11 - n. Suppose 0 = -2*h + 2*l + i + 24, -2*h + 20 = 3*l. Is h a multiple of 11?
False
Let c be 2/3 + 1450/30. Suppose 6*r - 229 = -c. Is r a multiple of 9?
False
Suppose 3*d - 4*l - 101 = 0, -4*d + 148 = -5*l + 3*l. Is d a multiple of 14?
False
Suppose -3*t - 123 = -4*i, -i = 5*t + 1 - 3. Is 7 a factor of i?
False
Suppose 0 = 5*o + 5 - 25. Suppose -5*d + 6*q + 49 = o*q, -d + 4*q = -17. Is d a multiple of 6?
False
Is ((-52)/(-12))/((-4)/(-72)) a multiple of 13?
True
Suppose 2*l = -3*l + 10. Let y(a) = 10*a**3 - 1 + 2*a - a**l + 2*a - 2*a. Does 5 divide y(1)?
True
Let q be 3/12 + 942/8. Is 8 a factor of (-1)/(-2) - q/(-4)?
False
Let l be ((-1)/2)/(1/32). Let w = -7 - l. Does 3 divide w?
True
Let h be (-2 + 1 - -3)*-1. Is h/(-6) + 413/21 a multiple of 10?
True
Let c = -23 + 44. Is 4 a factor of c?
False
Let i(h) be the second derivative of -h**7/2520 + h**6/144 - h**5/60 - h**4/12 + h. Let b(v) be the third derivative of i(v). Is b(3) a multiple of 2?
True
Suppose -d + 35 = -0*d. Is 16 a factor of d?
False
Let p = 32 + 48. Does 16 divide p?
True
Let k(b) = b**