 be t(-3). Suppose -q*h + 9*h - 100 = u. Is 10 a factor of h?
True
Let j(c) = -c**2 + 15*c - 21. Is j(10) a multiple of 29?
True
Let l(t) = t**3 - t**2 - t + 20. Let n = 3 - 3. Is 20 a factor of l(n)?
True
Suppose 2*q - 109 = 5. Let f = q - 31. Does 13 divide (-1)/((3/f)/(-3))?
True
Let h(g) be the first derivative of -g**3/3 - 5*g**2 + 14*g + 3. Let q(b) = 2*b**2 + 20*b - 28. Let s(z) = -7*h(z) - 4*q(z). Is 7 a factor of s(-10)?
True
Suppose -m - 22 = -2*x - 0*m, -22 = -x - 5*m. Is x a multiple of 6?
True
Suppose -a + 17 = -10. Is a a multiple of 9?
True
Suppose -3 = -4*h + 3*h. Does 5 divide 2*1/h*21?
False
Let k = 156 + -93. Does 21 divide k?
True
Let b = -268 + 440. Does 24 divide b?
False
Let d = -39 - -69. Is 10 a factor of d?
True
Suppose -6*q = -61 - 65. Is 3 a factor of q?
True
Let q(y) = y**2 + 8*y + 5. Let p be q(-8). Suppose 3*j + 44 = -j. Let m = p - j. Is 16 a factor of m?
True
Let c(u) = u**2 + 5*u + 3. Let z be c(-5). Suppose 8 = z*w - 13. Is 2 a factor of w?
False
Suppose -3*u - 85 = -k - 6*u, -89 = -k - u. Does 9 divide k?
False
Does 17 divide (-2)/(-10) + (-676)/(-20)?
True
Let w be ((-4)/(-3))/(1/3). Suppose w*a = -5*s + 80, -2*s + 4*a + 19 = 3*a. Is s a multiple of 12?
True
Let h be (-24)/(-10)*(-35)/(-2). Let q = h + -16. Let y = 3 + q. Is 9 a factor of y?
False
Suppose s + 0*s - 381 = 0. Suppose 77 - s = -4*p. Let l = -43 + p. Does 11 divide l?
True
Suppose 115*v = 119*v - 160. Is 8 a factor of v?
True
Suppose -40 = -3*i - 5*m, 0 = 6*i - 2*i - 5*m - 100. Does 4 divide i?
True
Does 31 divide 31 + -1 + (-11)/(-11)?
True
Does 11 divide 57 - -2*((-6)/(-4))/(-1)?
False
Let g = -2 - -2. Suppose 0*o = -o + 4, g = 4*k + 5*o - 20. Suppose 0 = -5*r - k*r + 70. Is 7 a factor of r?
True
Suppose 3*m - 4*m = -13. Does 12 divide m?
False
Let q(m) = -3*m**3 + m**2. Let k be q(-1). Let z be ((-8)/k)/((-4)/6). Suppose -z*c - 69 = -6*c. Does 23 divide c?
True
Is (4 - 3) + (20 + -4)*2 a multiple of 11?
True
Let m be (3 + -1)/(6/(-108)). Let v be 4/18 - 64/m. Does 15 divide v*12*(-5)/(-4)?
True
Let c = 114 + -54. Is 6 a factor of c?
True
Let h(a) = -a**2 - 13*a + 10. Is 11 a factor of h(-12)?
True
Suppose 4*q = -3*z + 442, -3*q + 4*z + 332 = 6*z. Is q a multiple of 14?
True
Suppose 3*n - 12 = -3*p, 3*n - 4 = p - 0. Let m be (-2 - -3) + p*-2. Let g(q) = -2*q**3 - 3*q**2 + q + 2. Is 13 a factor of g(m)?
True
Let t be ((-6)/(-2) - 40) + -2. Let g = 20 - t. Is g a multiple of 20?
False
Is 22 a factor of (-1 - 0)/(34/(-3502))?
False
Let d(s) = s**2 + 4*s - 2. Suppose -a - 4*a - 25 = 0. Let k be d(a). Suppose k = -g, y + 2*g - 31 = 5. Is 20 a factor of y?
False
Let b be (-1)/4 + (-61)/(-4). Is 7 a factor of b + 0 + (2 - 3)?
True
Let f = -10 - -42. Does 8 divide f?
True
Is 4 a factor of (23 - 9) + (-1)/1?
False
Let x(n) = n**3 - 6*n**2 + 5. Let l(w) = 7*w**2 + w. Let k be l(-1). Let j be x(k). Suppose y - 5*s = 26, -s = -2*y - j*s - 4. Is y a multiple of 3?
True
Suppose -3*r + 246 = 3*q, 0*q - 5*r + 90 = q. Let t be 15*(1 - 2/6). Suppose -w - h + t = 0, h - q = -4*w + 5*h. Is w a multiple of 15?
True
Suppose 2*x - x - 4*v - 54 = 0, x + 2*v = 36. Does 6 divide x?
True
Let f(s) = 107*s**3 - s**2 + s - 2. Is f(1) a multiple of 15?
True
Suppose 53 = 2*o - 107. Is 20 a factor of o?
True
Let o be 4/14 - 254/7. Let y = o + 59. Is y a multiple of 13?
False
Let u(g) = 2*g**2 + 21*g - 9. Does 12 divide u(9)?
False
Suppose -320 = -4*g + 5*d, -3*g = g - 4*d - 316. Is g a multiple of 12?
False
Let u be (-2)/6 - (-19)/3. Let m(n) = 6*n - 1. Does 12 divide m(u)?
False
Suppose t - 2*t = -25. Let n be 10/35 + (-237)/21. Let s = t + n. Is 7 a factor of s?
True
Suppose 2*t - 121 = -f, -4*f + 71 = t - 0*f. Is t a multiple of 15?
False
Let v(w) = w**2 - 4. Suppose 4*h + 5*a = 25, -2*a + 5*a = 3. Suppose 5*y + 4*t = 36, 0*y = -2*y + h*t - 12. Does 7 divide v(y)?
False
Does 2 divide (-3)/(-1) - 3 - -4?
True
Suppose 3*o - 519 = 3*v, -3*v = -o + 51 + 120. Does 30 divide o?
False
Suppose 2*g - 4*g + 362 = 4*v, -374 = -4*v + 2*g. Does 19 divide v?
False
Is (-1146)/(-24) + (-3)/(-12) a multiple of 4?
True
Let u(z) = -z**2 - 4. Let j = 6 - 6. Let c be u(j). Let v = -1 - c. Is 2 a factor of v?
False
Suppose f + 2*f - 303 = 0. Does 29 divide f?
False
Suppose 0 = -3*a - 5*s + 34, 0 = 5*a + 4*s + 22 - 57. Is 14/(1/a - 0) a multiple of 11?
False
Let y be 32/((-3)/(-3 + -15)). Suppose 0*i = 3*i - y. Let r = i - 33. Does 11 divide r?
False
Let t = 11 - -6. Suppose t - 5 = 2*k. Does 3 divide k?
True
Let b(x) = x**3 - 5*x**2 - 9*x + 5. Suppose -18 = 4*g - 46. Let u be b(g). Let j = 56 - u. Is 13 a factor of j?
False
Suppose -u + 4*u = 39. Does 2 divide u?
False
Let s = -112 - -55. Let j = -34 - s. Is 23 a factor of j?
True
Suppose 7*o = 2*o + 10. Suppose -o*b = -4*b + 50. Is b a multiple of 8?
False
Let m be (-1 - (-4)/(-6))*-3. Let p(z) = 2*z**2 + 11*z + 7. Let b be p(-5). Suppose 0 = -3*k - b*k - m*c + 85, -5*k + 117 = -3*c. Is 15 a factor of k?
False
Suppose -c - 25 = 27. Suppose -613 + 133 = -5*v. Let b = c + v. Is b a multiple of 22?
True
Is 6 a factor of 16/3 - (-2)/3?
True
Suppose 3*h = 7*h - 32. Does 4 divide h?
True
Suppose 0 = -4*v + 19 + 61. Is 13 a factor of v?
False
Let g(f) = 7*f**3 - 2*f**2 + 5*f**2 - f**2 - 1 + 0. Let o be g(-1). Is 200/o*9/(-6) a multiple of 25?
True
Let f(j) = -j + 2. Let r be f(-3). Suppose -3*b - 36 = -r*b. Is 8 a factor of b?
False
Suppose -46 = 5*g - 4*i, g = 5*i + 1 - 27. Let d be (4/g)/(3/81). Let p = 4 - d. Is 11 a factor of p?
True
Suppose u = -3*a + 47, 2*u - 6*u = -5*a + 67. Does 12 divide a?
False
Suppose -3*m + 139 = 5*w - 16, 3*m - 160 = -4*w. Does 30 divide m?
True
Suppose u - 111 = -4*t, 4*u + t - 408 - 111 = 0. Suppose 5*h = -2*c + u, 5*c = 4*h - h + 312. Suppose -w - 2*w = -c. Does 7 divide w?
True
Suppose 4*v - 3*v - 3 = 0. Suppose 12 = 4*x, -3*x + 4*x = v*q - 87. Is q a multiple of 10?
True
Suppose 2*u + 3*v - 61 = 42, -108 = -2*u - 4*v. Is u a multiple of 11?
True
Let r(q) = -q**3 + 10*q**2 - 13*q + 8. Does 6 divide r(6)?
False
Let x be -324 - 3/(-12)*0. Is x/42*1*-7 a multiple of 18?
True
Let k(r) = r + r**2 + 7 - 6 - 5*r**3 - 1. Is k(-2) a multiple of 14?
True
Let r(g) = g**3 - 9*g**2 + 11*g + 1. Let d be r(8). Let z = d - 44. Let o = z - -37. Is 13 a factor of o?
False
Suppose -4*p + 9*p + 40 = 0. Let j = p + 34. Is 26 a factor of j?
True
Suppose 9*l = 4*l + 2*f - 127, 0 = -2*l + 3*f - 42. Let c = l - -42. Is c a multiple of 6?
False
Let q(h) = 9*h - 3. Let a be 14/(-4)*36/(-21). Let c = a - 3. Does 13 divide q(c)?
False
Let y(k) = 4*k**2 - 2*k + 4. Let u be y(3). Let r(p) = -p**3 - 6*p**2 - 2*p - 9. Let t be r(-6). Suppose b = 2*g + u, -2*g + 23 = b - t. Is b a multiple of 15?
True
Let q = -8 + 10. Suppose q*a + 3*i - 5 = 13, 2*a - i = 2. Suppose 5*n - a*n = 58. Is n a multiple of 18?
False
Let z = 6 - 4. Let w(y) = y - 2*y**z - 7*y**2 - 2 + 1 + y**3. Is 4 a factor of w(9)?
True
Let u(t) = -4*t - 4*t - 3*t + 0*t + 1. Does 5 divide u(-1)?
False
Does 4 divide (-110)/(-3) + (-114)/(-18) + -6?
False
Does 61 divide ((-2016)/(-35))/(6/40)?
False
Let h be (-664)/(-8) + (-2)/(-2). Suppose 4*g + 5*b = -g + 80, 4*g - b - h = 0. Is g a multiple of 13?
False
Suppose -20 = 16*s - 17*s. Is s a multiple of 10?
True
Let m(c) be the second derivative of 5*c**4/12 - 2*c. Does 13 divide m(2)?
False
Suppose c - p + 12 = 91, 5*c + 5*p = 385. Does 39 divide c?
True
Suppose 4*t = -26 + 106. Is t a multiple of 7?
False
Let b(t) = t + 2. Let x be b(0). Suppose -20 = -o + 3*p + 40, -x*o - 2*p = -80. Is o a multiple of 15?
True
Let c(d) = d - 10. Let k be c(10). Suppose -4*l + 32 = 4*i - 0*l, k = -3*i + 3*l - 6. Suppose 3*x = -5*a + 47, 0*x + 3*x - 39 = i*a. Does 6 divide x?
False
Let p be 0/(-4) - 10/(-2). Let v = -9 + p. Does 13 divide v*(10/(-8) + -2)?
True
Let d = 19 - 15. Suppose 58 = d*w - 6. Is w a multiple of 8?
True
Does 14 divide (-76)/(-8)*(1 + 7)?
False
Let r(b) = -b**2 + 6. Let n be r(0). Let x(d) be the first derivative of d**4/4 - 5*d**3/3 - d**2 - 8*d + 12. Is 8 a factor of x(n)?
True
Suppose 4*p - 377 - 199 = 0. Is p a multiple of 15?
False
Let r = -9 - -15. Let z = 4 + r. Does 6 divide z?
False
Suppose -6*x + 9 = -3*x. Let c = -13 + 53. Suppose -5*o - c = -8*f + 3*f, -26 = -x*f + o. Does 9 divide f?
True
Let b = 2 - 3. Let k be 9*(