-3)*0 + 45. Let z = 32 + -58. Let r = z + d. Does 8 divide r?
False
Suppose m - 3*m = -144. Is m a multiple of 8?
True
Let l(i) = -i + 8. Let z be l(4). Suppose -z*c + 28 = 4. Suppose 2*x - c*x + 148 = 0. Does 11 divide x?
False
Suppose -x - 44 = 3*x. Let z be (-2 - -12)*2 + -2. Let p = z + x. Is 7 a factor of p?
True
Let q = 8 - 7. Let f(p) = 37*p**2. Is f(q) a multiple of 13?
False
Does 19 divide (1 - -36)/((-12)/(-24))?
False
Let l be 3*-2*(-4)/8. Suppose -5*b - 4*f + 200 = f, l*b - 114 = 3*f. Is b a multiple of 13?
True
Suppose g - 248 = -4*t, 3*g - t = -2*g + 1135. Is 19 a factor of g?
True
Suppose -d = 4*t, 4*d - 2*t - 3*t = 0. Suppose -5*z + 30 = -2*v, 2*z + 4*v = -4 + 16. Suppose z*p - 3*p - 12 = d. Is 3 a factor of p?
False
Suppose -g - 4*z + 84 = g, 0 = -2*g + z + 104. Is g a multiple of 23?
False
Suppose -2 + 20 = -z. Let r be (-140)/z + 4/18. Let l = -3 + r. Does 3 divide l?
False
Let c(l) = -l**3 - 12*l**2 - 14*l + 7. Is c(-11) a multiple of 20?
True
Let p be 50/8 - 1/4. Let v(s) = 17*s. Let d be v(3). Suppose -g = 2*i - p, 2*i - 3 = -4*g + d. Is g a multiple of 8?
True
Let p(g) = -g + 203. Let m be p(0). Suppose 0 = 5*q + 18 - m. Does 20 divide q?
False
Let m(c) = 2*c**3 - 5*c**2 - c - 4. Let g be 2 + 6/15*5. Is m(g) a multiple of 8?
True
Let k(h) = h**3 + 2*h + 5. Let b be k(4). Let j = b - 41. Is j a multiple of 18?
True
Suppose 0 = -n - 0*n + 3, 5*q = -4*n + 1287. Is q a multiple of 17?
True
Suppose 5*b - 5*j - 1960 = 0, 7*j + 790 = 2*b + 2*j. Is 30 a factor of b?
True
Suppose -5*t + 165 = 2*l, 12*t - 13*t + 357 = 4*l. Is l a multiple of 45?
True
Let u = -22 - -16. Does 6 divide (u/8)/(2/(-48))?
True
Suppose o + 4*o - 150 = 0. Does 5 divide o?
True
Let u(l) = l - 3. Let w be u(-6). Let b(g) = 4*g**3 + 12*g**2 + g. Let k(p) = 3*p**3 + 11*p**2 + p. Let r(x) = 2*b(x) - 3*k(x). Does 5 divide r(w)?
False
Let d(t) = 4*t. Let v = 0 - 3. Let y = v + 9. Is 19 a factor of d(y)?
False
Let c = -2 - -6. Suppose 2*u = c*d - 3*u - 3, 0 = -4*d - 4*u + 12. Is d a multiple of 2?
True
Suppose -5*f + 10 + 25 = 0. Suppose -3*s + f = -8. Suppose 10 = s*t - 0*t. Does 2 divide t?
True
Let b = -2 + -4. Let i be (-4)/b + 55/(-15). Does 7 divide 2/i + (-195)/(-9)?
True
Let o(h) = h**2 + 5. Is 15 a factor of o(10)?
True
Let j(b) = -2*b. Let s be j(3). Let a(i) = -i**3 - 5*i**2 + 4*i - 7. Let y be a(s). Suppose y*k - 7 = 4*k. Does 7 divide k?
True
Let k(u) = -3*u - 1. Let y = -7 + 4. Let i be k(y). Is 3 a factor of i/44 + 86/11?
False
Let k(n) = -3*n**2 - 10*n + 9. Let j be k(-9). Let q = -79 - j. Is 11 a factor of q?
False
Let x(g) = g**3 - 5*g**2 - 2*g - 3. Let l be x(6). Suppose 5*q = 13 - 88. Let m = q + l. Is m a multiple of 3?
True
Let j = 55 - 33. Does 5 divide j?
False
Let g be ((-6)/(-12))/(2/24). Let t = 35 - g. Does 14 divide t?
False
Let j = -4 + 8. Let h be j/(3 - 2)*1. Suppose -h*r + 2*r = -42. Is r a multiple of 20?
False
Suppose -3*b - 8*f = -5*f - 240, 2*b = f + 160. Suppose -b = -4*d - d. Suppose -d = -2*c - p, -2*c - 2*p + 0*p = -14. Is 9 a factor of c?
True
Suppose -4*i + 5*v + 22 = 0, -17 = -5*i - 2*v + 3*v. Let w = 8 - i. Suppose -2*f + w*f = 9. Is 3 a factor of f?
True
Suppose -13*y = -16*y + 321. Is y a multiple of 12?
False
Let f = 105 - -79. Does 23 divide f?
True
Let u = 4 - 4. Suppose -2*p - p + 54 = u. Is p a multiple of 9?
True
Let s(c) = 4*c**3 - 4*c**2 + 2*c. Let b = -2 - -4. Is s(b) a multiple of 10?
True
Suppose -4*h = -3*h + 1. Is 4 a factor of (h + 3)/((-4)/(-10))?
False
Suppose 3*d = -1 - 2. Let n be d/(-1)*(-9 - -1). Does 6 divide (-69)/(-12) - 2/n?
True
Let w(j) = j**2 + j + 9. Let y be w(0). Let u = 6 - y. Does 18 divide u + (-60)/(-1) + -3?
True
Let s = -3 + 14. Is 9 a factor of s?
False
Let x(h) = 15*h + 7. Does 12 divide x(6)?
False
Let p(z) be the second derivative of -3*z**5/2 - z**4/6 - z**3/6 - 4*z. Is p(-1) a multiple of 7?
False
Let f(h) = h**3 - 3*h - 4. Let n(a) = -1 - a**2 - 5*a + a**2 - a**2. Let b be n(-4). Does 9 divide f(b)?
False
Let q = 10 + -7. Suppose -q*j + 47 = -7. Is 12 a factor of j?
False
Let z(w) = w**2 - 3*w + 2. Let v be z(2). Suppose v = -4*h - h + 45. Does 4 divide h?
False
Let f = -37 - -65. Is 14 a factor of f?
True
Suppose m - 28 = 45. Suppose -3*j - m = -199. Is 23 a factor of j?
False
Let j(a) = 13*a - 1. Let k(z) = 14*z - 1. Let c(u) = 7*j(u) - 6*k(u). Is c(3) a multiple of 10?
True
Suppose c - 5*m + 7 = -2, 2*m = c. Let s = c - -16. Let v = s - 6. Does 16 divide v?
True
Let v = 3 + 118. Does 11 divide v?
True
Let r = 7 + -2. Suppose -r*p + 2 = -128. Is p a multiple of 13?
True
Suppose 0 = 3*q - 3, 4*i + q - 3*q = 582. Does 12 divide i?
False
Suppose 5*g + 15 = 0, -2*u - 3*g - 129 = -3*u. Suppose 3*h = -2*h + 15. Suppose h*z - 8*z = -u. Is z a multiple of 10?
False
Let c be 4/(-14) + 219/7. Let a = -8 + c. Is a a multiple of 17?
False
Let h = 7 + -14. Let f = h + 14. Does 7 divide f?
True
Suppose 1278 - 298 = 4*w. Is w a multiple of 37?
False
Let i = -471 - -683. Does 14 divide i?
False
Let t(w) = 7*w - 9. Let g be t(10). Let n = g - 43. Is 14 a factor of n?
False
Let m = -37 - -52. Is 2 a factor of m?
False
Let s(x) = 7*x**2 + 10*x - 5*x + 7 - x**2 + x**3. Suppose -y - 4*y - 25 = 0. Is 4 a factor of s(y)?
False
Let p be 47/(-5) + 6/15. Let k be ((-15)/p - 1)*3. Let n = 14 - k. Is 6 a factor of n?
True
Suppose -9 = f - 2. Let w(n) = n**2 + 2*n + 5. Is w(f) a multiple of 20?
True
Let i(q) = -q + 70. Does 29 divide i(0)?
False
Suppose -3*t + 770 = -259. Is t a multiple of 34?
False
Let a = -26 + 16. Suppose -3*q + 43 = -j, -j - 3*j - 37 = -3*q. Does 3 divide (q/a)/((-1)/4)?
True
Is 28 a factor of -6*-2*98/8?
False
Let r = 24 - -264. Is 12 a factor of r?
True
Let r(v) = 3*v + 19. Does 9 divide r(8)?
False
Let w = -76 + 133. Is 13 a factor of w?
False
Let i = -3 + 6. Let p = i - -5. Does 5 divide p?
False
Let r be -1*(-1 + 2 + -28). Let d(t) = -t**2 + 6*t + 2. Let q be d(8). Let x = r + q. Does 13 divide x?
True
Let w(t) = -t**2 + 10*t + 6. Let a be w(10). Suppose 5*l = -a + 11. Does 10 divide -7*((-20)/14)/l?
True
Let i = -2 - -4. Suppose -i*q + 7*q = 55. Is 11 a factor of 1 + q + 0/2?
False
Does 13 divide 53 - 18 - (1 - 5)?
True
Let z = 5 - 7. Let h = z - -2. Is 8 a factor of (h - -22) + (5 - 3)?
True
Suppose 3*u = 2*q + 75, -3*q - 6*u - 87 = -2*u. Let b = -12 - q. Does 3 divide b?
True
Let a = -55 + 100. Is a a multiple of 9?
True
Suppose 0 = -5*a - 663 + 73. Is (-11)/(-22) + a/(-4) a multiple of 10?
True
Suppose -2*q = 4, -2*o + 5*q - 366 = -6*o. Is o a multiple of 27?
False
Let p be -14 - (7 + 2)/(-3). Let h = 23 + p. Is 6 a factor of h?
True
Let w = 4 - -8. Is 24 a factor of ((-9)/2)/(w/(-256))?
True
Is 57 + 8 + 6/2 a multiple of 17?
True
Let i be 12/16 - (-21)/4. Suppose 10*q = i*q + 20. Is 5 a factor of q?
True
Let t be 2/((-3)/84 - 0). Let j = t - -80. Does 12 divide j?
True
Let f = 85 + -41. Does 18 divide f?
False
Let v be (0 - 1 - 1)*-1. Suppose 2*r - 5*z - 12 = 0, -v*r + 31 - 5 = 2*z. Is 11 a factor of r?
True
Suppose -2*u + 3*u - 189 = 0. Suppose -2*l - 25 + u = 0. Does 13 divide l?
False
Let x(s) = -3*s**2 - 3*s + 3. Let t be x(2). Suppose 0 = 7*v - 2*v - 275. Let m = t + v. Does 20 divide m?
True
Let z(o) = o. Let g be z(6). Suppose 9*y = 4*y + 20. Suppose -4*r = 2*f - 40, g*f - 34 = y*f - r. Does 16 divide f?
True
Let i(q) = q**2 - q - q + 4 + 0. Does 14 divide i(6)?
True
Let v = 29 + -20. Suppose 33 - v = b. Is b a multiple of 24?
True
Suppose h = 56 + 28. Suppose 3*o - h = o. Suppose c - o = -c. Does 7 divide c?
True
Suppose -2*l + 10*w = 5*w + 1, 3*l - w = -8. Let o be -3*(l/9 - -1). Is 51/6 - (-1)/o a multiple of 8?
True
Suppose j = 3*j - 3*b - 102, -5*j + 234 = 3*b. Is j a multiple of 12?
True
Suppose 0 = 3*z + 5*m - 20, 45 = 2*z - 4*m + m. Let t = z + -7. Let c(w) = w + 8. Does 16 divide c(t)?
True
Suppose 48 = 3*j - 6*a + 2*a, -6 = -2*a. Suppose -2*w + j = 2*w. Suppose 10*q - w*q = -5*c + 130, 4*q - 2*c = 122. Is q a multiple of 13?
False
Let l(k) = -3*k**2 + 6*k + 2 + 7*k**2 - 3*k**2. Let r be l(-6). Suppose -t - 16 = -r*m, -2*m - t + 16 = -5*t. Is 3 a factor of m?
False
Suppose -405 = -12*a + 9*a. Does 45 divide a?
True
Suppose 5*t - 355 = -3*l, -4*t - l + 321 = -6*l. Does 24 divide t?
False
Let f(h) = -h - 10. Let w be f(-9). Does 19 divide (-916)/(-16)