 = 0. Is p a multiple of 45?
True
Is 24 a factor of (-8)/(-72) - (-73390)/45?
False
Suppose 4*h + 3*k + 376 = 0, 31 - 102 = h - 5*k. Let c be 139 - (-10 - -2)/4. Let v = h + c. Does 25 divide v?
True
Suppose 2*k - 71 = -m, 0*k + 2*m = 2*k - 74. Suppose -i + 3*p + 0*p = -k, 3*p = -4*i + 129. Is i a multiple of 15?
False
Does 4 divide (-1452)/(-24) + (-6)/4?
False
Suppose a - 59 = -n - 15, 3*a + 64 = n. Let p(j) = j**3 - 6*j**2 - 8*j + 3. Let g be p(7). Let u = n - g. Is 11 a factor of u?
False
Let s(p) = -p**2 + 13*p - 4. Suppose -2*k = -4*a + 30, -8*a + 3*a = k - 27. Suppose a*l = l + 60. Is 4 a factor of s(l)?
True
Is ((-168)/(-24) + 71)/((-3)/(-92)) a multiple of 21?
False
Let z(o) = 20*o + 74. Is z(0) a multiple of 3?
False
Let u(b) = 6*b**2 + 27*b - b**3 - 62*b + 39*b. Does 12 divide u(6)?
True
Let n(c) = c**3 - 3*c + 7. Let a be n(3). Suppose 0 = -a*l + 5*l + 2800. Is l a multiple of 20?
True
Let n(y) = 11*y + 10. Suppose -5*q - 5 + 25 = 0. Suppose 0 = h - q - 2. Is 19 a factor of n(h)?
True
Let q = 25 + -22. Suppose -3*h - 8*f = -4*f - 5, q*h - 3*f + 30 = 0. Is 84/(-1 - h) - -4 a multiple of 10?
False
Let p = -13 + 17. Suppose -24 = -p*a + 2*t, 4*t = -5*a - t + 15. Suppose a*y = 2*y + 132. Is y a multiple of 10?
False
Let b(a) = a**3 + a**2 + a - 1. Let z be b(1). Suppose 6*h = z*h + 748. Suppose -428 - h = -5*j. Does 32 divide j?
False
Let x(d) = d + 2. Suppose 3 = -3*s - 6. Let f be x(s). Does 13 divide (-8)/(4/f) + 27?
False
Suppose -660 = -2*s + 2*v, 22*s - 23*s + 350 = -5*v. Does 13 divide s?
True
Let b = -117 + 176. Let s be (222/(-3 + 0))/2. Let d = s + b. Is 6 a factor of d?
False
Suppose -2*s + 24 = -5*x, s - 4*x = 4*s - 59. Is s a multiple of 3?
False
Let s(g) be the second derivative of 21*g**5/5 + g**4/12 - g**2/2 - 16*g. Is 13 a factor of s(1)?
False
Let r(b) = b**2 - 9*b + 12. Let g be r(8). Suppose -o + 2 = -g*p + 6, 4*p = 2*o. Does 2 divide p?
True
Suppose 4*l - l + 33 = 0. Let s = 12 + l. Does 3 divide (-2 - s - -8)/1?
False
Suppose i - 3*p + 18 = 0, -3*i - 2*i = 2*p + 39. Does 3 divide (i - -9) + (5 - 1)?
False
Let x(w) = w**2 - w - 3. Let u be x(3). Suppose -u*m - 367 = -4*i, -2*i - 372 = -6*i + 4*m. Is 9 a factor of i?
False
Suppose -57*x + 43*x + 2156 = 0. Does 7 divide x?
True
Let j(g) = 4*g**3 + 63*g**2 + 23*g + 8. Does 11 divide j(-15)?
False
Let i be (-12)/(-18) - 4/6. Suppose -3 = -i*j - j. Is 3 a factor of 0*(-3)/(-6) + j?
True
Let q = -26 + 27. Let b = 12 - q. Is 13 a factor of (55/b)/(2/20)?
False
Let m = -9 - -33. Suppose m + 21 = u. Is 9 a factor of u?
True
Let n(i) = i**3 - 14*i**2 + 25*i + 48. Does 15 divide n(16)?
True
Suppose 164 = 4*i - 2*f - 6, f - 38 = -i. Let p = i - 32. Is p a multiple of 9?
True
Let g(d) = -d + 12. Let o be g(8). Suppose o*q = 71 + 25. Is q a multiple of 3?
True
Let h = 21 - 9. Suppose -h*a + 12 = -11*a. Does 3 divide a?
True
Suppose -3*t + 2*t = -73. Suppose t = -2*f - 49. Let x = f + 104. Is x a multiple of 12?
False
Suppose -3 = -3*u - 0*u. Let s(n) = -n + 4*n - u - n. Does 12 divide s(8)?
False
Suppose -2*q + 263 = -85. Suppose -5*z + 3*g + q = 0, 2*z - 2*g = -0*z + 68. Let j = -30 + z. Is 6 a factor of j?
True
Let d = 148 + -104. Let k = 100 - d. Is k a multiple of 13?
False
Let t(w) = -37*w - 18. Does 10 divide t(-4)?
True
Let d(p) = p**3 + 10*p**2 - 6*p - 5. Let i(l) = -2*l**3 - 21*l**2 + 12*l + 9. Let j(b) = 7*d(b) + 3*i(b). Is j(-6) a multiple of 16?
True
Let c = 1349 + -1029. Is 9 a factor of c?
False
Suppose 26*h = 31*h - 4535. Does 50 divide h?
False
Let f(w) = -2*w + 6. Let u be f(3). Suppose x + 2*h - 3 = -u*x, 3*h = -3. Does 3 divide x?
False
Suppose -5*z - u - 2 - 19 = 0, -4*z = -3*u + 32. Let i(v) = v**3 + 4*v**2 - 5*v + 12. Does 2 divide i(z)?
True
Suppose 2 = -3*z + 14. Suppose -4*k + 4*f + 36 = -2*k, -3*k = z*f - 34. Is k a multiple of 4?
False
Let q(b) = -b**2 - 9*b + 3. Let o be q(-9). Suppose f + 5 = 5*v, 0*f + 5*f = -o*v + 31. Suppose v*p - 50 + 0 = 0. Is p a multiple of 8?
False
Let n(k) = -4*k - 5. Let w be n(-2). Suppose -2*r - 13 = 5*q + 46, 75 = -w*r - 3*q. Let d = -12 - r. Is d even?
True
Let n(l) = 1. Let f = -7 + 2. Let k(y) = -4*y - 2. Let g(u) = f*n(u) + k(u). Is 13 a factor of g(-8)?
False
Suppose 2430 = 7*i - 664. Is i a multiple of 12?
False
Let k = 436 - 272. Suppose -3*h - h - k = 0. Let a = h + 101. Does 15 divide a?
True
Suppose -r - 3*u = -18 - 12, 3*r - u = 50. Is 15 a factor of r?
False
Suppose 0 = 3*o - 2*q - 1096, -8*q + 3*q = -4*o + 1466. Is o a multiple of 3?
False
Is 2 a factor of (-15092)/(-66) + (-4)/(-3)?
True
Let k = 19 - 10. Suppose -j - 1528 = -k*j. Is j a multiple of 19?
False
Is 931*(38/665)/((-1)/(-15)) a multiple of 19?
True
Let m = -10 + 12. Suppose -m*u = -x - 3*x, -4*x + 3*u + 4 = 0. Does 8 divide (-4*1)/x - -11?
False
Suppose -27*o + 2993 = -409. Is 7 a factor of o?
True
Suppose 19*l - 18 = 16*l. Suppose 11*c - 130 = l*c. Is 13 a factor of c?
True
Suppose 4*r - 461 + 1261 = g, -2*r - 4000 = -5*g. Is 40 a factor of g?
True
Suppose -2*u - 2492 = -4*i + 3*u, -1904 = -3*i - 5*u. Is i a multiple of 10?
False
Let x(g) = 2*g + 111. Is x(35) a multiple of 93?
False
Let y(b) = 11*b**2 + 11*b + 9. Let k be y(-9). Is 2 + 9/(-4) - k/(-36) a multiple of 8?
False
Is (1341/(-6) + 2)*(-114)/57 a multiple of 5?
False
Let q = 154 + 79. Suppose 5*i - 227 = q. Is 46 a factor of i?
True
Is 93 a factor of (2 - (35 + 8))/1*-93?
True
Suppose 2492 = 3*i + 2*t, 10*t - 1664 = -2*i + 8*t. Does 46 divide i?
True
Let a be (-6)/10 + (-66)/(-10). Let s(u) = u**3 - 7*u**2 + 5*u + 8. Let z be s(a). Suppose 3 = -2*m + q + 18, -2*q = -z. Is 4 a factor of m?
True
Suppose 6*s - 5*s = 321. Suppose -105 = 3*q - s. Does 9 divide q?
True
Suppose 68 = 4*p - 36. Let f = p + -5. Is 19 a factor of f?
False
Let p(q) = 3*q**2 + 5*q - 72. Is p(9) a multiple of 54?
True
Is -3*((-9215)/45)/(9/27) a multiple of 19?
True
Suppose 8*k - k = 49. Let n = 151 - k. Suppose -o = 20 - n. Does 31 divide o?
True
Suppose -26*s - 48 = -23*s. Let o be 3 + (1 - s)/1. Let g = 30 + o. Is 13 a factor of g?
False
Suppose -8*g + 2*y - 512 = -9*g, 0 = 4*y. Is g a multiple of 37?
False
Does 20 divide ((1 + 5)/6)/(2/1996)?
False
Let z(k) = -12*k + 4. Let a be z(-6). Let r = -31 + a. Let m = r - 20. Does 12 divide m?
False
Let u = 4092 - 2388. Does 12 divide u?
True
Let m(k) = -11*k**3 + 2*k**2 - 27*k - 80. Is m(-5) a multiple of 20?
True
Let n(d) = d**2 - 2*d - 4. Let f be n(-3). Let p = f + 3. Does 6 divide p?
False
Suppose 4*w - 200 + 524 = 4*h, -5*w = 0. Does 27 divide h?
True
Let j(g) = -1 + 71*g**3 - 6*g**3 - 3*g + 4*g. Is j(1) a multiple of 13?
True
Suppose -12 + 4 = -4*n. Suppose -2*f - 6 = -4*f. Suppose 20 = f*j + n*j. Is j a multiple of 3?
False
Let r(g) = -6*g + 1. Let j be r(-5). Let i = -21 + j. Is i a multiple of 5?
True
Let l = 397 - 309. Does 8 divide l?
True
Let l = 291 + -195. Does 24 divide l?
True
Suppose 2*f - 1002 = 2*x - 5*x, -f = 3*x - 498. Suppose -2*u - 5*u = -f. Is u a multiple of 12?
True
Suppose 0 = 12*v + 5 + 43. Let k(c) = -c**3 + 4*c**2 + 6*c - 4. Is k(v) a multiple of 20?
True
Suppose -6*c + 10*c + 5*s - 357 = 0, 0 = 2*c - 4*s - 198. Is 31 a factor of c?
True
Let p be (-3 - -1)*(1 - 18). Suppose 30*s + 72 = p*s. Is s a multiple of 5?
False
Let k(d) = -d**2 + 14*d - 11. Let i be k(9). Suppose -194 + i = -s. Does 10 divide s?
True
Is (80/64)/(3/5832) a multiple of 27?
True
Let x be 15/2 + (-6)/(-4). Suppose b - 27 = -x. Let i = b + -3. Does 5 divide i?
True
Suppose c - 1213 = -2*n + 6*n, -c + 909 = -3*n. Let q = n - -450. Suppose -5*a + 5*s - 86 + 261 = 0, -q = -4*a + 2*s. Is a a multiple of 19?
True
Let z = 7 - 10. Let o = 7 + z. Suppose -j + 13 = -y + o*y, 0 = 5*j + y - 79. Does 8 divide j?
True
Let m = -116 - -118. Suppose 4*n + o = 161, o + 2*o + 77 = m*n. Does 24 divide n?
False
Let s(l) = 5*l**3 - l - 19. Let p be s(4). Suppose 0 = 2*i - 6*h + 4*h - 126, p = 5*i + 4*h. Does 14 divide i?
False
Suppose 3*b + 12*l = 13*l + 318, -3*b - 3*l + 318 = 0. Does 4 divide b?
False
Suppose 29*u - 25*u - 16 = 0. Suppose -216 = u*g - 7*g. Does 18 divide g?
True
Let z(s) = 48*s**2 - 2*s + 1. Suppose -2 = 2*n + 3*p, -n - 3*p = 4 - 0. Let k be (1/3)/(n/6). Does 12 divide z(k)?
False
Let s(l) = -l**3 - 8*l**2 + 11*l + 13. Let i(n) = n**3 - 6*n**2 - n - 3. Let z be i(6). 