4)/a?
False
Suppose 0 = -36*z + 32*z + 460. Is 4 a factor of z?
False
Let l(x) = x**2 - 1. Let t be l(1). Let p be ((-2)/(-1))/((-2)/(-2)). Suppose -u + 77 = -r, -3*u + p*u - 3*r + 77 = t. Does 16 divide u?
False
Let u(w) = w**3 + 6*w**2 - 8*w - 5. Let y be u(-7). Suppose -y*t + 166 = -42. Suppose 3*j = t + 67. Is j a multiple of 19?
True
Does 8 divide -9*(-426)/(-15)*2420/(-363)?
True
Let h be 0 - ((-36)/(-4))/(-3). Suppose h*a = 3*p - 183, -209 = 2*p - 6*p - 3*a. Does 11 divide p/(-12)*(-60)/8?
False
Let w(y) = -4 - 1 - 3*y**2 - 6*y + 2*y**2. Let u be w(-3). Suppose 0 = 2*r + u*i - 78, -r - 5*i = -3*r + 78. Is r a multiple of 13?
True
Let j = 59 - 24. Suppose j*b + 29 = 36*b. Is b a multiple of 3?
False
Let t(i) = 46*i**2 - 6*i + 56. Does 56 divide t(5)?
True
Is (336/(-7))/(8/(-252)) a multiple of 38?
False
Let s be 8/28 - (-80)/14. Let n(i) = 5*i - 29. Let q(d) = -2*d + 15. Let v(l) = 3*n(l) + 5*q(l). Is v(s) a multiple of 4?
False
Let f(t) = t**2 + 18*t - 4. Let c be f(-18). Let a(p) = p**2 - p + 3. Let y be a(c). Suppose -y*k + 25*k = 40. Is 20 a factor of k?
True
Let n be 5 + (2 - (-6)/(-2)). Suppose -4*i + 0 = u - n, i = u - 4. Suppose 95 = 5*w + j, i*j - j = -5*w + 105. Is w a multiple of 14?
False
Let w be (-20)/(-170) - (-4074)/51. Is 22 a factor of 5328/w + (-6)/10?
True
Let k = 66 + 44. Let f = k - 58. Let l = f + -28. Is 12 a factor of l?
True
Let i(d) = -d**2 - 3*d - 2. Let t be i(-3). Let c = t + 2. Suppose c = r + 7 - 36. Is r a multiple of 16?
False
Is 3 a factor of ((-15)/4)/(44/(-4752))?
True
Let z be (-1)/(-2)*0/7. Is 68*1 + (-2 + z - 0) a multiple of 30?
False
Suppose -22*x + 24*x = 20. Does 4 divide x?
False
Is 20 a factor of (-24 - -17) + (2030 - 0)?
False
Suppose -2*j = -3*c + 3813, -545 - 713 = -c + 5*j. Is c a multiple of 39?
False
Let m be (-3)/(-2) + 214/4. Suppose 5*a = -5*o + m, 2*o = -4*a + 3*o + 34. Is (-1 - 0)/((-1)/a) a multiple of 9?
True
Let a = -157 - -283. Suppose -2*u + 7*g + a = 3*g, g = 4*u - 252. Suppose 2*s = s - c + u, 0 = -s + c + 57. Is 18 a factor of s?
False
Let q(s) = -s**3 - 14*s**2 - 18*s - 8. Let k be q(-13). Let b = -31 + k. Suppose -a - 119 = -5*a - p, a - b = p. Is 28 a factor of a?
False
Let s(x) = -8*x - 10. Let m be s(-4). Let p be (-4)/22 - (-1522)/m. Suppose 3*c - 45 = p. Is c a multiple of 9?
False
Suppose -3*q = -7*q + 48. Let j = q - 7. Is 24 a factor of (-49)/j*(-7 + 2)?
False
Is (-10)/(320/(-56))*468 a multiple of 13?
True
Suppose 5*f + 25 = -15. Let q be (f/(-10))/(23/1955). Suppose -g - q = -3*g. Is 9 a factor of g?
False
Let r be (-26)/6*(-3 - 0). Suppose -1 = -3*y - r, c - 4*y = 145. Is 17 a factor of c?
False
Let m(u) = -11*u + 7*u + 16 + 17*u + 12*u + u**2. Is 56 a factor of m(-27)?
False
Let k(x) = x + 2. Let t be k(-1). Let w(q) = 104*q + 2. Is 12 a factor of w(t)?
False
Suppose 0 = -3*q + p + 55, q + 10 - 25 = p. Is 3 a factor of q?
False
Suppose -3*a - 17 = -h + 3, -3*h = -3*a - 36. Is 20 a factor of 1/(-4) + 986/h?
False
Let l be 484/55 - (-2)/10. Suppose -l*x = -14*x - 230. Is (x/(-2))/(2/4) a multiple of 12?
False
Let m(x) = -x**3 - 20. Suppose i - 1 - 1 = -5*c, 5*i = 10. Let r be m(c). Let b = 22 - r. Is b a multiple of 12?
False
Let i(r) = -6*r**3 + r**2 + 4. Let c be i(-3). Let d be (-3)/2*(-4)/6. Suppose -c = -4*f + d. Does 18 divide f?
False
Let p(f) = 11*f - 8. Let t be p(-6). Let j = t + 111. Is j a multiple of 10?
False
Let y = 609 - 332. Let z = y + 103. Suppose -s = -4*j + 299, -7*j - 5*s + z = -2*j. Is 18 a factor of j?
False
Let f(l) = -l**3 - 4*l**2 - 4*l - 5. Let u be f(-4). Suppose -2 = 3*q - u. Suppose y - 3*m - 10 - 2 = 0, -2*m + 3 = q*y. Is 3 a factor of y?
True
Suppose t - 4 = -0*t. Suppose 57 - 9 = t*b. Does 8 divide b?
False
Let o(t) = 3 + 0*t**2 - 7 - 4*t + 2*t**2 + 11*t. Is o(5) a multiple of 10?
False
Let r be 1 - (-15)/(-18) - 58/(-12). Suppose r*t = 24 + 11. Does 3 divide t?
False
Let m(s) = -546*s - 379. Is m(-2) a multiple of 23?
True
Let y(m) = 9*m + 14. Let w be y(5). Let a = w + -35. Is a a multiple of 4?
True
Let s be 1 + -1 - (11 - 8). Let l = s - -6. Suppose l*c = -4*k + 240, -2*k + 60 = -k - 3*c. Does 30 divide k?
True
Let n be 6*(-6 + (-6)/(-3)). Is (-298)/(-8) + 6/n a multiple of 15?
False
Let z(m) = -3*m**2 + 6*m - 3. Let o be z(4). Let h = o - -18. Let t = 6 - h. Is t a multiple of 6?
False
Let n(v) = -4*v - 18. Let l be n(-6). Suppose 3948 = 20*j - l*j. Is j a multiple of 17?
False
Suppose -5*a + 2*w - 7063 = -10*a, 0 = -a + 5*w + 1418. Does 26 divide a?
False
Suppose 42 - 252 = 7*t. Let h = 22 - t. Does 30 divide h?
False
Let i = -374 + 867. Does 29 divide i?
True
Suppose 3*u = -3*c - 54, 12 + 17 = -3*u + 2*c. Let z(r) = -r**3 - 12*r**2 + 12*r - 10. Let v be z(u). Let m(l) = 8*l + 2. Does 7 divide m(v)?
False
Suppose 5*b = -5*p + 180, 3*b - 186 = -5*p - 0*b. Suppose 2*l + 85 = 3*z, -3*z + 2*z - 2*l + p = 0. Is 31 a factor of z?
True
Let c = -475 + 861. Is c a multiple of 20?
False
Let d(k) = -5*k + 5. Let o be d(2). Let l = 7 - o. Does 9 divide (-112)/l*(-9)/6?
False
Let t(a) = 4*a**3 + 2*a**2 - 4*a + 3. Let c be t(2). Let q = c + -24. Is q a multiple of 2?
False
Suppose 16*y = 2084 + 1660. Does 39 divide y?
True
Let p be (-15)/(-2)*(-3 + 5 - 4). Is (p/5)/(9/(-33)) even?
False
Let z(q) = 2*q**2 + 7*q - 3. Let s be z(9). Suppose 14*h - s = 8*h. Does 14 divide h?
False
Let j(v) = -19*v - 14. Let d be j(-4). Suppose -d = -4*h - 14. Does 3 divide h?
True
Let b be 24/((28/10)/7). Let h = -3 + b. Does 10 divide h?
False
Let l = 43 - 77. Let q be l/(-10) + (-15)/(-25). Is 12 a factor of 17/(q + (-15)/4)?
False
Suppose -6*f + 971 = -583. Is 33 a factor of f/4 - 2/(-8)?
False
Suppose -2*c = -4*f - 3272, 5*f - 3308 = 8*c - 10*c. Does 12 divide c?
True
Suppose 0 = 70*v - 60*v - 3240. Does 54 divide v?
True
Let u = -10 + 19. Let d = u - 7. Suppose -2*z = d*z - 64. Is z a multiple of 9?
False
Let w(x) be the third derivative of -x**6/60 - x**5/20 + x**4/4 + 7*x**3/6 + 27*x**2. Is 22 a factor of w(-5)?
False
Let a be 2/8 - (-4872)/(-32). Let c be -226 + (-3 + 3 - 3). Let m = a - c. Is m a multiple of 27?
False
Suppose 4*s + m + m + 24 = 0, -4*m = s + 13. Let a be (-580)/s*(-6)/(-8). Let t = 125 - a. Is t a multiple of 15?
False
Let p = 536 + -932. Is (-9)/(p/(-136) - 3) a multiple of 29?
False
Suppose 7*a - 8*a = 0. Suppose 3*z - 3*p - 153 = 0, 4*z - 2*p - 210 = -a*p. Does 14 divide z?
False
Let z(i) = -5*i**2 - 97*i + 6. Does 36 divide z(-11)?
True
Let u = -193 + 1025. Is 86 a factor of u?
False
Let z(i) = 7*i**2 - 11*i - 1. Let y(x) = -7*x**2 + 10*x + 1. Let q(c) = -5*y(c) - 4*z(c). Is 25 a factor of q(-4)?
False
Let b = 32 - 35. Does 12 divide (b/(-6))/(2/84)?
False
Let d be (-9 - -6) + 1*4. Is 7 a factor of 753/6 + d - (-10)/(-20)?
True
Is 3 + (-3133)/(-1) - -3 a multiple of 43?
True
Does 8 divide (-12 - -7)/5 + (2 - -76)?
False
Suppose 2*s = -k - 19, 3*s - 3*k - k + 56 = 0. Let o(r) = r**2 - r - 2. Is o(s) a multiple of 13?
False
Let o = -629 + 667. Is 7 a factor of o?
False
Let b be (-1)/((-33)/(-12) + -3). Suppose 0 = b*u + u - 155. Is 9 a factor of u?
False
Let p = 577 + -253. Is p a multiple of 27?
True
Let x be -4*(363/(-6) + -1). Suppose 5*k - 2*w = x, k - 243 = -4*k + w. Does 6 divide k?
True
Suppose -5*w - 24 = 56. Is 6 a factor of ((-1)/(-2))/(-1) + (-872)/w?
True
Let o = 6868 - 4454. Is 9 a factor of o?
False
Suppose 0 = 6*k + 8 + 58. Let m = k + 29. Suppose -13*b - 670 = -m*b. Is 40 a factor of b?
False
Let d be 2/15 + 21814/195. Suppose 9*l = 329 + d. Is 7 a factor of l?
True
Let s(g) = g + 5. Let z be s(2). Is 5 a factor of (-6)/45*6*(-3 - z)?
False
Let i = -67 + 31. Is 14 a factor of i/(-63) + (-276)/(-7)?
False
Suppose 5*q - 5106 = -3*h, -2*q - 3*h = -2222 + 176. Is q a multiple of 10?
True
Let t = -413 - -1163. Is t a multiple of 30?
True
Let x(i) = -1968*i**3 - i**2 - 45*i - 44. Does 25 divide x(-1)?
False
Let v(s) = -26*s - 10. Let u be 88/(-6) - -1 - (-11)/(-33). Does 59 divide v(u)?
True
Let f = -2 + 3. Let p = -106 + 110. Suppose -2*k + 12 = -p*i, -3*i = f - 10. Is k a multiple of 4?
True
Is 38 a factor of 1/7 + (4 - (-74418)/42)?
False
Let p(v) = -2*v**3 - 5*v**2 - 3*v + 1. Let u(z) = z**3 + z**2 + z. Let o(b) = p(b) + 3*u(b). Let s be o(-3). Is 15 a factor of 7/((-14)/s) + -3?
False
Suppose -796 - 3075 = -7*