0 + 6)*30/45. Suppose 100 = 8*p + i. Is 2 a factor of p?
True
Let l = 90 - 128. Let d = -4 - l. Is 17 a factor of d?
True
Suppose -1020 = -5*x + 2*a, -7*x + 5*a + 816 = -3*x. Is x a multiple of 34?
True
Let g = -1156 - -1678. Is 38 a factor of g?
False
Suppose 2*n = s + 20, 3*s = s. Suppose -25 + n = -5*u. Suppose -57 = u*p - 6*p. Is 19 a factor of p?
True
Does 58 divide 4469/7 - 3/7?
True
Let a(c) = -c**3 - 5*c**2 - 13*c - 19. Is 47 a factor of a(-10)?
True
Suppose 0 = -10*f + 10 - 40. Suppose -4*v - 2*m + 60 = 0, 9*m - 4*m = -v + 24. Does 14 divide (f*v)/((-2)/2)?
True
Suppose -52 = -r + 58. Suppose -3*x = -x - r. Is x a multiple of 11?
True
Let a be ((-2)/5)/((-4)/320). Let k = a + 42. Is k a multiple of 26?
False
Let u(b) = -2*b**3 - 11*b**2 + b + 3. Let a be u(-8). Suppose 4*i - a - 69 = 0. Is 24 a factor of i?
True
Suppose -3*m - 5*b - 540 = 0, -m - 2*m = -5*b + 510. Let d = -75 - m. Does 16 divide d?
False
Suppose -37 = 5*n + 48. Is (n/(-3))/(2/6) a multiple of 13?
False
Let h = 206 - 51. Does 41 divide h?
False
Let i(p) = -p + 10. Let u be i(0). Let a = -19 + u. Is 4 a factor of ((-1)/(-1))/(a/(-108))?
True
Let n(a) = a**2 + 10*a - 17. Let t be n(-12). Suppose t*x + 0*x - 553 = 0. Is x a multiple of 7?
False
Let f = 1619 + -474. Suppose 0 = -7*p + 2*p + f. Is 10 a factor of p?
False
Let l = 1875 - 1822. Is l a multiple of 30?
False
Let f = 8 + -3. Suppose -3*s + 9 = f*y, -y + 3*s = y - 12. Suppose 5*b = 5*z + 35, -3*b + 7 = z + y*z. Is b a multiple of 2?
False
Suppose t = -4*t + 25. Suppose 20 = 9*a - t*a. Is a a multiple of 5?
True
Let f be (24/20)/(3/(-50)). Let s be 8/f - 27/(-5). Suppose -2*c = 5*t - 103, -s*c + 2*t - 6*t = -300. Is c a multiple of 13?
False
Let c(m) = -12*m**2 - m**3 + m**3 - 4 - m**3 - m - 3*m. Let v = -19 + 7. Does 14 divide c(v)?
False
Let w(b) = -13 + 5*b**2 + 7*b**2 - 7*b - 8*b - b**3 + 6*b. Let f be w(11). Let d = f + 0. Is 6 a factor of d?
False
Suppose -19*r = 21*r - 12640. Is r a multiple of 29?
False
Let h(l) = 22*l - 8. Let c be h(2). Suppose c = 5*x - 264. Is x a multiple of 12?
True
Let z(c) = 6*c**2 - 15*c + 2. Does 72 divide z(9)?
False
Let l = 2321 + -2316. Is l a multiple of 2?
False
Suppose 6*d - 178 = -10. Suppose -d*c + 23*c = -920. Does 23 divide c?
True
Suppose i + 9 - 10 = 0. Let a be (2/2 + i)*2. Suppose 0 = s + 5, -160 = -j - 4*j - a*s. Is 9 a factor of j?
True
Let u(n) = 11*n - 5. Let g be u(7). Suppose 2*y - 4*h = g, -h + 4 + 0 = 0. Is y a multiple of 8?
False
Is 4 a factor of (-4)/6 + (1 - (-1270)/6)?
True
Suppose -7*y + 4 + 31 = 0. Suppose c + y*v - 3*v = 66, v + 117 = 2*c. Does 10 divide c?
True
Suppose 3*g = 4*g - 4. Let l be 0/((g*-2)/(-4)). Suppose y + 24 = 2*v + 5*y, -4*v - y + 55 = l. Does 11 divide v?
False
Let f(n) = n**2 - 5 - n - 10 + 0 + 3. Is f(-8) a multiple of 15?
True
Suppose j = 5*j + 4*x, 0 = 3*j - x - 12. Suppose j = s + 9. Is 2 a factor of (s/5)/3*-5?
True
Suppose 2*t + w - 6 = -t, 0 = 3*t - w - 6. Suppose -2*x + 77 = -3*i, 0*x - t*i = -x + 40. Is x a multiple of 13?
False
Let u = -766 + 1109. Is 13 a factor of u?
False
Suppose -j = -7*t + 5*t - 131, -j + 133 = -t. Does 15 divide j?
True
Let a be (8 - 6)/((-2)/(-388)). Suppose 4*p = -4*y - p + 294, -5*y + a = -4*p. Is 19 a factor of y?
True
Let y = 13 + -22. Let u be ((-12)/(-10))/(y/(-30)). Suppose -4*h - 5*b + 145 = h, -h + 26 = u*b. Is h a multiple of 10?
True
Let r be -2*2/(-12)*9. Let b(w) = 8 - r + w**3 - 18*w**2 + 16 + 3*w. Is b(18) a multiple of 25?
True
Let f be 1 + 1 + 14/(-7). Let u = f - -6. Is 27/(3/u - -1) a multiple of 6?
True
Let s = 3896 + -1142. Is 47 a factor of s?
False
Suppose 2*h + 3*j = 2*j + 5, 0 = 2*h + 2*j. Suppose -h*y + 27 = -2*y. Does 15 divide 3/y - (-492)/9?
False
Let t(b) = -3*b + 2. Let v be t(4). Let f = 4 - v. Is f a multiple of 6?
False
Let k(s) = 3*s + 23. Let x be k(-5). Let g(v) = -v**3 + 11*v**2 - 11*v - 8. Is g(x) a multiple of 9?
False
Suppose 8 = 4*d - b + 4*b, 2*d + 2*b - 4 = 0. Suppose -k + 36 = -g, -g = 4*k - 2*k - 78. Does 8 divide k/d + (0 - -1)?
False
Let k(z) = -z**3 + 8*z**2 - 5*z + 12. Let u be k(5). Let l = u - -1. Is l a multiple of 7?
True
Let x = 1131 + -822. Is 2 a factor of x?
False
Let f = 54 + -34. Suppose -2*c + 284 = -f. Does 31 divide c?
False
Suppose -339*i + 314*i = -66875. Is i a multiple of 25?
True
Let b = 66 - -15. Is 8 a factor of b?
False
Let b(q) = 2*q**2 - 10*q + 23. Let p be b(4). Is 5 - (-3)/(p/10) even?
False
Let i(l) = -49*l**3 + 2*l**2 + 3*l + 2. Suppose 0 = -4*n - 0 - 4. Is 25 a factor of i(n)?
True
Suppose -2*k + 768 = 6*k. Suppose d + 4*y = 6*d - 249, 0 = 2*d + 2*y - k. Is d a multiple of 10?
False
Let x = 302 + -163. Let s = -78 + x. Does 25 divide s?
False
Let r(w) = -5*w - 8. Let t be r(-4). Suppose -5*h + 4*h + 5*p = -t, -2*h - 2*p = -24. Is 6 a factor of h?
True
Suppose -6306 = -17*n - 2226. Is n a multiple of 15?
True
Suppose 3*c - h = 2*h + 138, 0 = 5*c + 2*h - 251. Let l = c - 37. Is l a multiple of 4?
True
Let o(a) = -5*a**2 - 13*a - 30. Let k be o(-7). Let f = -64 - k. Is f a multiple of 15?
True
Let j = -486 + 788. Does 29 divide j?
False
Does 17 divide 409/3 + (-42)/(-9) + -5?
True
Let u = -28 - -36. Let j be 0 - u/20*5. Let f(g) = 4*g**2 + 3*g + 2. Is f(j) a multiple of 12?
True
Suppose -2 = 4*p - 26. Suppose -p*r + 160 = -2*r. Suppose 3*z + 3*u - 39 = 0, -3*u + r = 3*z + u. Is z a multiple of 12?
True
Suppose -189*h + 186*h + 2064 = 0. Does 12 divide h?
False
Let b(v) = -14*v - 3 - 4 - 2. Let z be b(4). Does 5 divide 132/13 + 10/z?
True
Is (694 - 0)*(-13 + 378/28) a multiple of 8?
False
Let p(z) = -19*z**2 - 2*z + 3. Let j be p(1). Let t = 24 + j. Is 4 a factor of t?
False
Suppose -3*x + 4*q = 28 - 4, 0 = -5*x + 2*q - 54. Let a be (-30)/25*4*-5. Is 9 a factor of (a/x)/(2/(-9))?
True
Let w(u) = u + 24. Let f(r) = 8. Let p(y) = 8*f(y) - 3*w(y). Let m be p(-5). Let h(z) = z. Is h(m) a multiple of 6?
False
Suppose 7*z = -37 + 982. Does 45 divide z?
True
Suppose 2160 = 6*m - 2916. Is 9 a factor of m?
True
Let b(p) = -p + 13. Let i be b(11). Is (51/(-34))/(i/(-4)) even?
False
Suppose -48*i + 4752 = -42*i. Does 8 divide i?
True
Does 13 divide ((-168486)/27)/(-2) + 3/(-27)?
True
Let w = 144 - 126. Does 3 divide w?
True
Let l(q) = 2*q**2 - 75*q + 87. Is l(57) a multiple of 15?
True
Suppose 0 = 22*k - 18*k - 36. Suppose -3*b = -i - b + 14, i = -3*b + k. Does 4 divide i?
True
Let q = -420 - -696. Is q a multiple of 20?
False
Let f = 17 + -12. Suppose -f*m + 0*m = 15. Is 20 a factor of (m - (-14)/4)*82?
False
Let h = -43 - -290. Is h a multiple of 13?
True
Suppose 4*b = x + 22, 2*b = 5*b - 3*x - 21. Suppose 0 = 3*q + 3*l - 105, -5*q - 10 = -b*l - 155. Is q a multiple of 8?
True
Suppose 3 = l + d - 4*d, 2 = 2*d. Let t(b) = 9*b + 3. Is t(l) a multiple of 3?
True
Does 41 divide 0/(18/2) - -328?
True
Suppose 0 = 78*d - 85*d + 38808. Does 126 divide d?
True
Let b be (14 - -2)/(-2)*(-2)/(-4). Is b/(-24) + 105/18 a multiple of 5?
False
Suppose 2*r = q - 3*r + 4, -5*q = 3*r - 64. Suppose 10*x = q*x - 57. Does 19 divide x?
True
Let s(c) = 17*c - 142. Does 13 divide s(16)?
True
Suppose -11*l - 5280 = -22*l. Is 20 a factor of l?
True
Let n(z) = -3*z + 18. Let p be n(5). Suppose -3*x + 175 = -5*g, 5*x - 64 = 4*x - 4*g. Suppose -4 = -2*r, -p*d + 0*r - 3*r + x = 0. Is 7 a factor of d?
False
Suppose 5 = u - 10. Let t(a) = a + 1 + 5 - 2 - 3. Is t(u) a multiple of 5?
False
Suppose 2*w + s - 8 = 0, -4*w + 0*s + 16 = -4*s. Suppose -3*j + w*j = 5. Is ((-204)/(-15))/(1/j) a multiple of 26?
False
Suppose -19 = -4*c + 5*t, -2*t - 2*t = 5*c + 7. Is ((-1)/(-2))/((c/1)/132) a multiple of 17?
False
Suppose 102 = 4*w - w. Let x = w + -15. Suppose x = 2*p - 1. Is p a multiple of 5?
True
Let t be 63 - (1 + (4 - (1 + 1))). Suppose -p - 3*p - 140 = 0. Let m = t + p. Is m a multiple of 5?
True
Let a(d) = -4*d + 531. Does 18 divide a(29)?
False
Let w(n) be the third derivative of -7*n**4/24 - 5*n**3 - n**2. Is w(-7) a multiple of 15?
False
Let o = 69 + -37. Suppose 5*q - 31 = 39. Let l = o + q. Is l a multiple of 14?
False
Let c(g) = g. Let p(s) = -8*s - 9. Let t(w) = 4*c(w) + p(w). Let r = -48 + 36. Does 10 divide t(r)?
False
Suppose 3*s - 4*w - 1 = 0, 7 = s - 4*w + w. Let t(q) = -18*q + 18. Let f(k) = -6*k + 6. Let v(y) = 16*f(y) - 5*t(y). Is v(s) a multiple of 