 + 67. Is h(-4) a multiple of 44?
False
Suppose 0*a - 26 = -2*q - a, 0 = 2*a + 8. Suppose 5*p = -q, n - 1 + 10 = -3*p. Suppose u + n*u - 66 = 0. Is u a multiple of 22?
True
Let w(u) be the first derivative of u**4/4 - 10*u**3/3 + 5*u**2 + 7*u + 1. Let r(t) = t**2 + 3*t - 45. Let i be r(6). Is w(i) a multiple of 13?
False
Suppose -f - 39360 = -33*f. Is f a multiple of 9?
False
Let m = 2 + -2. Suppose 3*h - 7*s + 3*s - 185 = 0, 0 = -5*h + 5*s + 300. Is 21 a factor of m + 0 + h + -1?
False
Suppose 0 = 12*p - 7 - 149. Is 13 a factor of p?
True
Suppose -2*c = 2*c. Suppose -2*s + 178 + 170 = c. Suppose -x - 5*x = -s. Is x a multiple of 5?
False
Let h(u) = 11*u - 34. Let s(b) = 10*b - 35. Let x(f) = -3*h(f) + 4*s(f). Is 33 a factor of x(24)?
False
Does 86 divide 466896/336 + 3/7?
False
Is 46 a factor of (1 + -2577)/(2/(-1))?
True
Let o = -6 - 5. Let h = o - -6. Let m(w) = w**2 + 4*w + 9. Does 7 divide m(h)?
True
Suppose 446 = 5*k - 4*w - 530, -k = 2*w - 198. Is k a multiple of 14?
True
Suppose 101*n - 179*n = -469170. Is n a multiple of 15?
True
Suppose -t - 363 = 4*u - 2*t, 3*t + 3 = 0. Let h = 157 + u. Is h a multiple of 22?
True
Let i be (3 + -1)/((-5)/(-20)). Let j = 30 - i. Suppose 6*p - 50 = j. Is 12 a factor of p?
True
Let o = -36 + 1086. Does 75 divide o?
True
Suppose 6*d = 7*d - 782. Does 34 divide d?
True
Is 8 a factor of 3/((-8)/(1536/(-18)))?
True
Suppose 0 = 6*v - 35 - 43. Is 61 a factor of (-40)/260 + 4760/v?
True
Let o = 37 + -25. Let r = -8 + o. Is 16 a factor of 31 + 2/(8/r)?
True
Suppose 9*p = 21*p - 10296. Does 22 divide p?
True
Suppose 0 = w - 4, 4*z + 36 + 8 = w. Is (-6)/z - (-7241)/65 a multiple of 28?
True
Is -6 + (-301)/(-49) + (-2013)/(-21) a multiple of 16?
True
Let g = 2168 + -1763. Is 81 a factor of g?
True
Suppose -4*r + 3*r - 4*u = 16, 2*r + 20 = -5*u. Suppose 3*a - 4*a - 4*n + 21 = r, -4*n = 5*a - 89. Let v = a + 55. Is v a multiple of 24?
True
Let z = -22 - -25. Is (-894)/(-12)*(z - 1) a multiple of 20?
False
Let s be (-2)/(8/(-20412)*3). Suppose 0 = n + 8*n - s. Is n a multiple of 21?
True
Let o(l) = -11*l - 6. Let m = -11 - 0. Let r(q) = -21*q - 12. Let f(v) = m*o(v) + 6*r(v). Is f(-5) a multiple of 12?
False
Let x(k) = 6*k**3 - 8*k**2 + 11*k - 2. Does 18 divide x(2)?
True
Suppose 5*m - 51*m = -9936. Does 5 divide m?
False
Let s(g) = g**3 - g**2 - g - 1. Let b be s(2). Let n be ((-18)/(-8))/(b/52). Suppose 3*i = -i - 4*t + 264, -t - n = -2*i. Does 16 divide i?
False
Let h(w) be the third derivative of -w**5/60 + 5*w**4/8 + w**3 - 21*w**2. Is h(14) a multiple of 3?
False
Does 13 divide 7/(-35) - (70524/15)/(-3)?
False
Suppose 5*r - 10805 = -5*x, -4*r + 5*r = 2*x - 4334. Is x a multiple of 7?
False
Let n be (-1 - -81)/(((-8)/7)/(-4)). Suppose 6*l - n = 146. Does 44 divide l?
False
Let b be -8*(-1)/(-12)*-3. Suppose -14 = f + n, -6*f + 2*n = -b*f + 62. Let m = f + 21. Is 6 a factor of m?
True
Suppose -2*j = -s - 155, 4*j - 325 = 3*s + 2*s. Is j a multiple of 2?
False
Suppose -4*l + 31 = -5*i, 0 = -l - 9*i + 8*i + 19. Is l a multiple of 3?
False
Let l(y) = y**2 - y + 2. Let h be l(0). Suppose n = -2 - h. Is 1 - 1 - (n - 4) a multiple of 3?
False
Let y(t) = 741*t**3 - 27. Let n(h) = -57*h**3 + 2. Let u(d) = 27*n(d) + 2*y(d). Is u(-1) a multiple of 6?
False
Let o(u) be the second derivative of 17*u**4/3 - 4*u. Does 14 divide o(-1)?
False
Let r(y) = 5*y**2 - 4*y. Let n be r(2). Let h = n + 27. Is h*2/6 + -4 a multiple of 2?
False
Suppose 5*n - m - 3764 = 0, -n + 4*m = 2 - 770. Is n a multiple of 47?
True
Let x = 258 + -219. Is x a multiple of 13?
True
Let l = -26 + 70. Is (l/10)/((-6)/(-165)) a multiple of 11?
True
Let k = 371 + -246. Let b = 213 - k. Does 22 divide b?
True
Let z(x) = -53*x**3 + x + 3. Is z(-1) even?
False
Let t(j) = j**2 - 2. Let b be t(5). Suppose 464 - b = 7*k. Is k a multiple of 9?
True
Suppose 0 = -11*y + 19 + 641. Is 20 a factor of y?
True
Let u(j) = -14*j - 44. Let g(y) = 5*y + 15. Let i(r) = -11*g(r) - 4*u(r). Let d be i(-6). Suppose -2*a + a = -c + 20, 0 = 4*c - d*a - 79. Is c a multiple of 7?
True
Suppose 4*d = -3*v + 26, 4*d + v - 2*v = 18. Is 13 a factor of (-2)/(-4) + d/(-10) + 25?
False
Is -7 + 808/(-24)*-1*6 a multiple of 3?
True
Let r(a) = a**3 + 10*a**2 + 6*a - 14. Let v be r(-10). Does 37 divide 72/(-6)*v/8?
True
Let p be -1*2*(-39)/6. Let a(n) = 8 - n - n + 18*n - n**2 - 2. Is 25 a factor of a(p)?
False
Suppose 2*f - 624 = -4*a - 0*f, a - 156 = f. Let z = -118 + a. Does 5 divide z?
False
Let b = -165 + 540. Does 30 divide b?
False
Suppose -4*z - i + 4 = 3*i, i + 11 = 3*z. Suppose -6*b - 92 = -4*g - 2*b, 5*g - z*b = 105. Is g even?
True
Let g be -1*-1*1/1*5. Suppose -132 = -g*p + p. Does 33 divide p?
True
Let j be 368/32*(4*1)/2. Suppose -j*h = -28*h + 200. Is 4 a factor of h?
True
Let q(a) = 54*a - 21. Is q(3) a multiple of 8?
False
Suppose 2*l - 4*l = 0. Suppose -5*y + 8 + 22 = l. Suppose 5*i = y*i - 27. Does 9 divide i?
True
Let y(a) = 10*a + 5. Suppose -2*z = 4, -3*p = -4*z - 84 + 16. Suppose 0 = g + 4*g - p. Is y(g) a multiple of 19?
False
Let y(g) be the first derivative of g**4/4 + 2*g**3 - 7*g + 6. Is y(-5) a multiple of 6?
True
Let f(n) be the first derivative of n**4/4 + 7*n**3/3 - 3*n**2/2 - 7*n + 1. Does 7 divide f(-7)?
True
Suppose -o = 2*w - 121, w + 2*o - 33 - 29 = 0. Is 60 a factor of w?
True
Let c(g) = 3*g**2 + 6*g. Let w be c(8). Suppose -2 = f - 3*z, 5*z = f - 28 + 36. Suppose -m + w = f*m. Is m a multiple of 5?
True
Suppose -3*j - 3 = 0, -3*t = j - 4*j - 1074. Is 3 a factor of t?
True
Suppose -o = 2, -2*o = -7*v + 10*v - 38. Is v a multiple of 3?
False
Suppose 6*s - 96 = -24. Suppose 7*x + 280 = s*x. Does 28 divide x?
True
Suppose -9 = -2*u - 1. Suppose -u*l + 9*l - 150 = 0. Suppose -1 - 4 = -2*x - h, l = 2*x - 4*h. Does 5 divide x?
True
Let f = -59 + 15. Let r = f - -48. Does 4 divide r?
True
Suppose 0 = 5*q - 168 - 4107. Does 5 divide q?
True
Let n(h) = 4*h + 1. Let j be n(1). Suppose 6 + 24 = j*c - 5*t, c + 10 = -3*t. Suppose c*m - 101 = -15. Is m a multiple of 9?
False
Let t(k) = -k**2 - 3*k - 1. Let u be t(-3). Does 15 divide -300*(-4 + (-27)/(-6))*u?
True
Let q = -747 - -713. Suppose -3*p - p = -152. Let v = p + q. Is v a multiple of 4?
True
Let v be (-1 - (-2)/(-1)) + 14 + -4. Suppose 15*x - v*x = 1360. Is 12 a factor of x?
False
Let x = -232 + 225. Let k = -76 + 108. Let h = k + x. Is 5 a factor of h?
True
Let y be (-10)/8*(6 - 58). Let j = y + -38. Is j a multiple of 27?
True
Let o = -41 + 25. Let h(u) = u**2 + 14*u - 22. Is h(o) a multiple of 5?
True
Let b(s) = s**2 - 4*s - 8. Let j be b(6). Let o be j/(-30) - 32/(-240). Suppose o = a - 54 + 14. Is a a multiple of 10?
True
Let a(c) = 229*c**3 - c**2 + 4*c - 6. Is 40 a factor of a(2)?
False
Let z(c) be the second derivative of c**4/12 - 5*c**3/3 + 14*c**2 - 5*c. Does 42 divide z(12)?
False
Suppose 6888 = 126*f - 114*f. Is f a multiple of 14?
True
Let c(b) = 4*b + 1. Let j(o) = o. Let q be j(5). Does 5 divide c(q)?
False
Suppose 0*s - 2*s = -2*p - 70, 0 = 4*p. Let o = s - 31. Suppose 0 = 2*b - o*b + 2*u + 182, 270 = 3*b - 4*u. Is 24 a factor of b?
False
Let h(r) = 2*r**3 - r**2 + 4*r - 10. Let m be h(4). Is 4 a factor of (-59)/(-1) + 0 - m/59?
False
Let l(w) = -w**2 + 14*w + 101. Let b be l(17). Let j(o) = o**2 + 4*o - 3. Let s be j(-5). Is 10 a factor of ((-24)/(-10))/(s/b)?
True
Suppose -21 = 2*n - d + 23, -2*d - 17 = n. Does 32 divide -333*(n/9 - -2)?
False
Let v be ((-6)/5)/((-9)/30). Suppose -3*l + v*c = -88, 0 = 2*l + 3*c - 29 - 41. Does 5 divide l?
False
Let o = 698 - 398. Is 12 a factor of o?
True
Let l(q) = q**2 + 2*q + 350. Let y be l(0). Does 24 divide (2 + 4)*y/20?
False
Suppose 0*k - 5*w = -2*k - 25, -2*w = -k - 10. Suppose -q + 28 = -5*j + 811, 3*q + 9 = k. Is j a multiple of 52?
True
Suppose -2*l = -5*h + 606 + 477, 3*h - 646 = 5*l. Is 7 a factor of h?
True
Suppose -14 = 3*p + 550. Let s = -68 - p. Is 13 a factor of s?
False
Let b(y) = y**3 + 4*y**2 - y - 2. Let q = -34 + 31. Let l be b(q). Suppose 3*a - l - 2 = 0. Is a even?
True
Let z = 5719 + -3848. Is z a multiple of 60?
False
Let h(o) = o**2 - 2*o - 5. Let k = 7 - 3. Let t be h(k). Suppose 2*u = -x + 2*x - 45, -4*x + 165 = -t*u. Does 13 divide x?
True
Does 8 divide (8/(-6) + 1)/(19/(-7752))?
True
Suppose y - 533 = -4*n, -6*y + 9*y = 4*n 