4466 = -30*z. Is z a multiple of 33?
True
Is (10/(120/(-222)))/(1/(-102)) a multiple of 93?
False
Let y be 0 + 987/6 - (-3)/6. Let c = y - 95. Is c a multiple of 10?
True
Suppose -4*t + 24*v + 3594 = 22*v, -3*t + 2*v = -2695. Does 29 divide t?
True
Let m = 196 + -154. Does 5 divide m?
False
Suppose 4*p - 4*d = 2932, 8*p - 5*p - 2194 = 4*d. Is 12 a factor of p?
False
Let o = -7 + 20. Let i(p) = -2*p**2 - 3*p - 7. Let h be i(5). Let q = o - h. Is 13 a factor of q?
False
Suppose t + 4*b - 16 = 10, -2*b - 44 = -t. Let s = t - 23. Is 15 a factor of s?
True
Let i(b) = b**3 + 14*b**2 + b - 12. Let a be i(-14). Let w = a - -33. Is w a multiple of 3?
False
Suppose g + 4*g = 240. Suppose -g = -s - 3*s. Let y = s + -8. Does 4 divide y?
True
Suppose 0 = 21*v - 21341 - 24082. Does 103 divide v?
True
Let d(n) = -4*n**2 - 13*n - 27. Let s(f) = -5*f**2 - 12*f - 28. Let k(u) = -4*d(u) + 3*s(u). Does 8 divide k(-16)?
True
Suppose -2*u - 1314 = 7*u. Let x = u - -275. Does 43 divide x?
True
Suppose -2*r - 38 = 20. Let l = 81 - r. Is 41 a factor of l?
False
Let u be (-4 + (3 - 1))*4. Is -2*(-428)/32 + (-2)/u a multiple of 27?
True
Let b = 106 - 104. Suppose -b*p = -3*h + 64, -3*h - p + 56 = -5*p. Is h a multiple of 12?
True
Suppose -b + 299 = -4*r - 2*b, -5*r + 4*b - 379 = 0. Let m = r + 100. Is 16 a factor of m?
False
Let w = 103 + -96. Suppose w*x - x = 576. Does 12 divide x?
True
Does 2 divide (2 - -4)*(-126)/(-28)?
False
Let t(b) be the third derivative of b**5/60 + b**4/2 - 2*b**3 + b**2. Let x be t(-10). Is 18 a factor of (-5 + 3 - -1)*x?
False
Let y = 25 + -20. Suppose y*q - 2*k - 2*k - 110 = 0, -4*k - 2 = q. Does 9 divide q?
True
Let l be (1 - 1)/((-6)/(-3)). Let u = 8 + l. Suppose -3*k = -3*d - u*k + 112, 0 = -4*d + 4*k + 160. Is d a multiple of 13?
True
Let n be ((-1)/(-2))/(1/4). Let j be (-6)/n + (189 - -2). Does 8 divide (-2)/(-6) + j/12?
True
Suppose -15 = -3*n, -3*n + 0 = 4*g + 1. Let c = g + 5. Is (-2 + 20)/(c + 0) a multiple of 18?
True
Let k = 1105 - 341. Does 10 divide k?
False
Let j(h) be the third derivative of -h**4/4 + 3*h**3 - h**2. Suppose 50 = 2*b + 64. Does 12 divide j(b)?
True
Is (8442/(-84))/(2*3/(-44)) a multiple of 11?
True
Suppose 2*i = 5*o - 1174, -2*o - 44 + 520 = -4*i. Suppose -2*q = q - o. Is 13 a factor of q?
True
Suppose 4*f - 2*s = 1452, 0*s - 366 = -f - s. Is f a multiple of 26?
True
Let f(d) = d**2 + 2. Suppose 4 = -2*k + 12. Let s be f(k). Does 4 divide 147/s + 3/(-18)?
True
Suppose -24*v - 144 = -28*v. Does 4 divide v?
True
Suppose -r - 15 + 262 = 0. Suppose -4*u - 5*k = -r, -4*u + u + 5*k = -194. Let f = u + 8. Is f a multiple of 12?
False
Let c = -1829 - -2729. Does 9 divide c?
True
Suppose 4*t + 2 - 6 = -n, -2*t = -n - 14. Let b(o) = 5*o + 7. Let x(j) = -4*j - 6. Let c(g) = 2*b(g) + 3*x(g). Is c(n) a multiple of 10?
False
Suppose 4*m + 4*v = 496, m - 3*v - 131 = -7. Is 31 a factor of m?
True
Let x(d) = 13*d - 75. Let g be x(6). Does 6 divide (-104)/(-6) - g/9 - 0?
False
Let k be 2/9 + 8844/54. Let g = k - 84. Is g a multiple of 17?
False
Let q be (-56)/21*(-51)/(-4). Let z = q - -39. Is 2 a factor of z?
False
Let z = 7 - 12. Let w = -3 - z. Is 2 a factor of w?
True
Suppose 9 = -2*i + 1, k - 4*i = 17. Suppose 0 = 5*y - 4*u - 23, -2*u - k = 3*y - 6. Suppose -y*x = -4*x + 7. Is x a multiple of 4?
False
Let f be (-3 - (40 - -3)) + (-9)/3. Let z = -8 - f. Is 41 a factor of z?
True
Let u(b) = b**3 + 2*b + 10. Suppose 3*s = -0*s. Let m be u(s). Is 12 a factor of m/(-15)*(-222)/4?
False
Let l be ((-30)/10)/(1/3). Let s = 184 - l. Does 11 divide s?
False
Suppose -5*l + 3*n = -2*n - 1995, -5*n = 10. Is 7 a factor of l?
False
Let z = -29 + 30. Let h(q) = 80*q**3 + q**2. Is 15 a factor of h(z)?
False
Suppose -5*g - 115 = 3*w, -5*g + 101 = -4*w + 6. Is (-2*(-5)/(-6))/(5/w) a multiple of 10?
True
Let b(j) = 8*j + 49. Suppose 4*l - 24 = 8. Is b(l) a multiple of 24?
False
Suppose 16*x - 12*x = 1440. Let r = x + 32. Does 56 divide r?
True
Suppose 9*g - 294 = 516. Does 9 divide g?
True
Suppose 2*h = 3*q + 1191, -1553 - 244 = -3*h + q. Is h a multiple of 10?
True
Suppose -4*u - 3*z = -921 - 1309, 0 = 3*z - 6. Does 11 divide u?
False
Suppose 11*v - 16*v + 1425 = 0. Is v a multiple of 19?
True
Let n be 1043/(-11) - (-10)/(-55). Let a = n + 23. Let f = -4 - a. Does 34 divide f?
True
Let j = -20 - -53. Suppose 0 = -j*u + 38*u + 70. Let f(r) = -3*r - 10. Is 8 a factor of f(u)?
True
Let v(r) = 15*r**2 + 7*r + 11. Is 17 a factor of v(-6)?
False
Let q = -21 - 68. Let d = q + 201. Is d a multiple of 16?
True
Let k = -48 - -62. Suppose 2 - k = -3*z. Does 3 divide z?
False
Suppose -3*o + 2691 = 4*u - 7*u, 5*o + 3*u - 4525 = 0. Is o a multiple of 15?
False
Let a(p) = -11*p**2 + 15*p - 16. Let s(i) = -12*i**2 + 16*i - 17. Let c(y) = -7*a(y) + 6*s(y). Is 15 a factor of c(5)?
True
Let k(p) = p**3 - 27*p**2 + 5*p + 15. Does 22 divide k(27)?
False
Let z be 6/8 + 106/8. Suppose 94 = 3*b - z. Does 9 divide b?
True
Suppose 2*d + 5261 = 5*n, -n + 2*n = -5*d + 1063. Is n a multiple of 33?
False
Let t(m) = -m**3 - 7*m**2 + 3*m + 6. Let i be t(-7). Suppose -b = 2*z - 12, 3*b - 2*z + z = 64. Let k = b + i. Does 2 divide k?
False
Let u = 59 + -41. Is 9 a factor of -1 + 79 + (u - 20)?
False
Let q(r) = r - 1. Let v(t) = -5*t + 154. Let y(b) = 4*q(b) + v(b). Let m be y(0). Suppose 4*n - m = -n. Is 10 a factor of n?
True
Let u(p) = p**3 - 7*p**2 + p - 4. Let s be u(7). Let c be (1 - s) + (-5)/(-1). Suppose c*g = -g + 12, -2*g = -q + 3. Is q a multiple of 3?
True
Suppose 0 = x - c - 4, 0 = x + c - 4*c. Suppose -54 = -x*v + 42. Does 9 divide v?
False
Let a(w) = 3*w**2 + 6*w - 7. Let z be a(4). Let o = z + 31. Does 12 divide o?
True
Let n(a) = 3253*a**2 - 13*a + 16. Does 18 divide n(1)?
False
Suppose 172 = 3*h - 2*v, 0 = -5*h - 5*v + v + 294. Let x = h + 102. Is 32 a factor of x?
True
Let m(l) = 4*l**3 + 6*l**2 + 8*l - 12. Is 46 a factor of m(3)?
False
Let h = -30 + 31. Is 1 - -327 - h*(1 - 3) a multiple of 42?
False
Let r(x) = -7*x + 2. Let g be r(-2). Suppose -15*z = -g*z + 230. Does 23 divide z?
True
Suppose 23*d = 4*d + 38. Is d a multiple of 2?
True
Let h be (-1 + -159)*8/20. Let j = h - -238. Is j a multiple of 29?
True
Let o(j) = 3*j**2 + 3*j + 11. Let s(z) = -4*z**2 - 4*z - 16. Let x(l) = -7*o(l) - 5*s(l). Let p be x(0). Suppose -f = p - 13. Is f a multiple of 8?
False
Let b = -12 - 3. Let g = -77 + 70. Does 32 divide (72/b)/(g/140)?
True
Let i(v) = -v**3 + 4*v**2 - v. Let g be i(3). Suppose 0 = m - g*m. Suppose 5*p - 37 - 3 = m. Is p a multiple of 8?
True
Let b(n) = 18*n**2 - 22*n + 53. Is b(3) a multiple of 9?
False
Does 4 divide ((-4)/(-6))/(21/(12663/6))?
False
Let d be (8 + (-3 - -1))*-1. Let i be 4 + (2 - d)*-26. Is 1/(4 - i/(-52)) a multiple of 3?
False
Let d = -165 - -81. Is 10 a factor of (-3)/7 - 7848/d?
False
Let v be (10/(-8))/(13/(-52)). Suppose v = 3*q - 7. Suppose q*m = -0*m + 92. Is m a multiple of 6?
False
Let n = 2749 + -1789. Does 10 divide n?
True
Suppose 179*w - 1513 = -3*p + 178*w, 0 = 4*p + 4*w - 2004. Is p a multiple of 11?
True
Suppose 0 = 2*y + x - 4 - 13, 4*y - 4*x = 16. Suppose y*d = 3*d. Suppose d = -3*t + 45 + 27. Is 8 a factor of t?
True
Suppose 43*p - 5108 = -2*z + 46*p, 0 = 2*z + 3*p - 5096. Is z a multiple of 36?
False
Let m = 5919 + -4057. Does 19 divide m?
True
Let u = 344 - -623. Is 71 a factor of u?
False
Suppose -2*d - 3*y = 6, -d + 3*d - 2 = -y. Suppose -109 - 23 = d*i. Let q = i + 75. Is 10 a factor of q?
False
Let i = -93 - -150. Suppose -81 = -3*o + i. Does 25 divide o?
False
Let q = 328 + -216. Does 4 divide q?
True
Suppose 11*u - 300 = u. Does 4 divide u?
False
Let m be (-1)/(-3) - (-424)/6. Suppose -19*g = -26*g - 112. Let t = m + g. Does 10 divide t?
False
Let m = -46 + 52. Is 15 a factor of (m + -3 + (71 - -1))*1?
True
Let g = -1 - -3. Let t be 35/(-21) + g/3. Let f(o) = -28*o**3 - o**2 - 2*o - 2. Does 9 divide f(t)?
True
Let r be 4/(-4 + 72/15). Suppose 2*p - 2*w - w + 18 = 0, p = r*w - 16. Let h(k) = 2*k**2 - 8. Is 16 a factor of h(p)?
True
Does 19 divide (2 + 16/(-4))/((-14)/532)?
True
Suppose -3*p = -5*j - 2*p + 70, -49 = -3*j + 2*p. Suppose -3*u + 3*i + 11 = -j, -u - 4*i = 12. Suppose 5 + u = s. Does 3 divide s?
True
Suppose -19 = -5*t + 6. Suppose 301 + 9 = t*l. Is l a multiple of 13?
False
Let j = -22 +