s 5 divide p?
False
Let h(c) = 10*c**2 - 12*c - 1. Is 13 a factor of h(-4)?
False
Suppose -366 = 7*j - 905. Is j a multiple of 12?
False
Is (-4)/6 - (-2504)/12 a multiple of 5?
False
Suppose c = -c. Suppose -w + 6*w - 25 = c. Suppose w*u - u = 160. Is u a multiple of 14?
False
Suppose -l = a + 2*a + 14, l + 5*a + 22 = 0. Let k(j) = -6*j + 2. Let q be k(l). Does 13 divide 810/42 - 4/q?
False
Let g(w) = w**2 - 6*w + 4. Let o be g(6). Suppose -6 = o*t - 18. Let k = 12 - t. Is 4 a factor of k?
False
Suppose 2*y - 1 = 3. Let j be (-2)/4 + 65/y. Let x = -7 + j. Does 15 divide x?
False
Let w be 2/12*3*202. Suppose -3*q = -2*x + 50, -w = -5*x + 5*q + 19. Is 11 a factor of x?
True
Suppose -2*w = -w - 221. Is w a multiple of 20?
False
Let r(t) = 22*t + 1. Suppose 3*u - 5*u + m - 11 = 0, -9 = -2*u + 5*m. Let z(b) = -b - 6. Let c be z(u). Is r(c) a multiple of 15?
True
Let c(b) be the second derivative of b**3/3 + 4*b**2 + 2*b. Is c(7) a multiple of 22?
True
Let k(x) = -x - 4. Let v be k(0). Is 17 a factor of v + (-4 + 0 - -73)?
False
Let h(j) = -38*j + 7. Suppose -4*s + 3*x = 0, 4*x = -3*s - x - 29. Is 31 a factor of h(s)?
False
Let y(k) = -4*k**3 - k**2 + k - 1. Does 9 divide y(-2)?
False
Let d(s) = 3*s**2 + 3*s - 3. Let o(a) = -7*a**2 - 6*a + 6. Let p(w) = 9*d(w) + 4*o(w). Let u be p(4). Let y(f) = f**2 + 6*f + 10. Is y(u) a multiple of 12?
False
Let b(d) = d**3 - 4*d**2 + 5*d - 2. Let f be b(3). Suppose -3*m + f*o + 40 = 0, -3*m + 44 = 3*o - 5*o. Let t = m + -1. Is 8 a factor of t?
False
Let i be -1 + 2 + (3 - 5). Does 9 divide i/3 + (-55)/(-3)?
True
Let t be (3/(-2))/(3/8). Does 14 divide 109/2 - (-2)/t?
False
Suppose 2*q + 16 - 4 = 0. Let d be (-4)/12 + (-104)/q. Suppose 117 = 5*p + d. Is 12 a factor of p?
False
Let t be 72/(-4)*6/9. Does 4 divide -39*(1 + 16/t)?
False
Let t be (2 + 9/(-3))*-5. Let c(l) = -l**3 + 5*l**2 + 2. Let z be c(t). Suppose 18 = z*q - 3*y, q + 5*y = 2*q - 16. Is 6 a factor of q?
True
Let y be (-8)/(-14) + (-312)/7. Let c = 65 + y. Is c a multiple of 7?
True
Suppose 3*k + 148 = -5*n, 0 = -3*n + 5*k - 47 - 35. Is 9 a factor of n/(-2) - (-1)/2?
False
Let p = 23 - 25. Does 24 divide p/4 - (-2101)/22?
False
Let z(n) = 4*n + 7. Let h(o) = 17*o + 28. Suppose 4*c - 13 = -0*c - 5*q, 3*c + 3*q = 9. Let p(x) = c*h(x) - 9*z(x). Is p(-5) a multiple of 3?
True
Suppose 2*c - 152 = -3*g + 6*g, -8 = 4*g. Suppose 3*s + s + 3*x = c, 0 = 2*s + x - 39. Does 11 divide s?
True
Is 19 a factor of 4/(-32)*-2 + (-275)/(-4)?
False
Let q = 131 + -110. Does 3 divide q?
True
Let y(z) = -z**3 - 10*z**2 + 7. Suppose 0 = -2*q - 5*j - 40, 0 = 3*q + 2*q - 2*j + 42. Is 3 a factor of y(q)?
False
Let o(u) = -8*u - 8. Let f(g) = 12*g + 12. Let s(b) = -5*f(b) - 8*o(b). Does 3 divide s(2)?
True
Let g(c) = -33*c + 1. Let h be g(-2). Let n be -2 + (h - (-1 + 3)). Suppose 2*w - n = -3*q, -2*q + 4*q = 5*w - 129. Does 11 divide w?
False
Suppose j - 40 - 15 = 0. Is j a multiple of 10?
False
Let p be (-1)/(-2) - 366/(-12). Suppose -p = -g + 2. Is g a multiple of 12?
False
Let j be (18/12)/((-3)/(-4)). Suppose a - j*k = k + 27, 56 = 3*a - 4*k. Is a a multiple of 7?
False
Suppose -3*c + 1055 = 2*c. Suppose -5*v = 11 - c. Is v a multiple of 20?
True
Let k be -4*3/3*-1. Suppose 43 = -k*o + 19. Is (o*8)/((-3)/2) a multiple of 16?
True
Let z = 4 + 5. Let k be (-12)/z*(-3 - 0). Suppose -c - k*o - 16 = -38, -2*c + 38 = 5*o. Does 7 divide c?
True
Is (-1292)/(-4) + 0 + 0 a multiple of 17?
True
Let p(y) = 2*y**3 - y - 5. Is p(3) a multiple of 13?
False
Let q(h) be the second derivative of h**3/6 + h**2 + 2*h. Let s be q(-2). Suppose s = -a + 3*a - 36. Is 9 a factor of a?
True
Let i be 4/8 - (-6)/4. Suppose 0*j - i*k + 52 = -3*j, -2*k - 12 = j. Let x = j - -26. Does 5 divide x?
True
Let j be 4/14 + (-19)/(-7). Suppose -j*h + 4*b = -b - 18, -3*h = -2*b - 18. Let s = h + 1. Is 3 a factor of s?
False
Let d(q) = -q**3 - 5*q**2 + 6*q + 5. Let c be d(-6). Suppose 2*z + 66 = -3*a + c, 0 = -z + 2*a - 34. Is (18/(-8))/(6/z) a multiple of 10?
False
Suppose 0*z - 5*z = -500. Is z a multiple of 10?
True
Suppose -4*o + 375 = o + 5*x, x + 3 = 0. Does 26 divide o?
True
Let c = 4 + -6. Suppose -3*r + 115 = 2*r. Let y = c + r. Is y a multiple of 9?
False
Let k(c) = -5*c - 9. Is 21 a factor of k(-7)?
False
Let n = -5 + 6. Let y(t) = 16*t. Let k be y(n). Let q = k + 2. Does 8 divide q?
False
Suppose -10 + 122 = 4*m. Let c = m - 1. Does 9 divide c?
True
Does 14 divide (-16)/(-20) - (-276)/5?
True
Let i(s) be the first derivative of -s**3/3 + 7*s**2 - 5*s + 2. Let u be i(10). Suppose -2*w + 53 = -u. Is 22 a factor of w?
True
Suppose 4*r = 5*g + 17, 3*r = -4*g - 3 + 8. Is r a multiple of 2?
False
Let s(v) = v**2 - 4*v - 5. Let a be s(4). Let d(r) = r**3 + 5*r**2 - 6*r - 2. Is d(a) a multiple of 15?
False
Let s be (44/(-5))/(8/(-20)). Is s + 1 - (3 + -2) a multiple of 16?
False
Let t(v) = -5*v**3 + 13*v**2 + 7*v + 21. Let a(d) = 3*d**3 - d**2 - 4 - 8*d**2 - 10 - 5*d. Let c(y) = 8*a(y) + 5*t(y). Is 14 a factor of c(-7)?
True
Suppose -3*d = -4*x + d, -24 = -5*x - d. Suppose -w = -3*w - x. Is 2 a factor of ((1 + w)*5)/(-1)?
False
Suppose 0 = g + s + 1, -g + 2*s + 2*s + 19 = 0. Let r = 2 + g. Suppose -r*f + 52 = -3*f. Is f a multiple of 11?
False
Let n(i) = 5*i**3 + 2*i**2 - 14*i + 4. Is 28 a factor of n(3)?
False
Suppose -4*o + 15 = o. Suppose o*m - 27 - 12 = 0. Does 13 divide m?
True
Suppose 5*z - 5 = 5. Suppose 9 = z*i - 37. Is i a multiple of 13?
False
Does 47 divide 6/(-27) + 886/18 + -2?
True
Let g(u) = 3*u. Suppose -n - 31 = -6*t + 2*t, -t + 11 = 3*n. Does 11 divide g(t)?
False
Suppose -5*c + 4 = -11. Suppose c*f + 29 = 4*f. Suppose f = 2*g + g - h, -5*g + h + 49 = 0. Is g a multiple of 5?
True
Let x(l) = -l + 1. Let h(j) = 3*j - 1. Let q(o) = -2*h(o) - 10*x(o). Does 8 divide q(6)?
True
Suppose 0*j = j + 3*m + 132, -3*j - 4*m - 416 = 0. Let h = j - -219. Is h a multiple of 17?
False
Let w(k) = k**3 - 2*k**2 - 6*k + 5. Is w(4) a multiple of 4?
False
Suppose -3*b + 6 = -s, -4*s = -6*s + 5*b - 10. Suppose 2*h - 22 = -4*t, 3*h = -s*h + 3*t + 6. Suppose -2*n + h*c = -55, -5*c = 5*n - 7 - 78. Does 10 divide n?
True
Let w(k) = -k**3 + 11*k**2 + 2*k + 10. Is w(11) a multiple of 9?
False
Suppose 2*q = 2*i - 2, -3 = 3*q - i + 2. Let x be 3*(55 - (-4)/q). Suppose -3*p = 2*p - 4*y - x, 3*y = -p + 47. Is 13 a factor of p?
False
Suppose 4*i = -2*o + 630, -3*i - 2*o + 397 = -76. Does 19 divide i?
False
Let n = -20 - -14. Does 10 divide (-2)/(-12) + (-59)/n?
True
Let m be (6/8)/((-11)/(-132)). Suppose -3*s = -a + 13, -4*s = -a - 2*s + 8. Let t = m + a. Is t a multiple of 6?
False
Suppose -107 = -3*r - y, 3*r - y = -0*r + 103. Suppose -15 - r = -5*o. Is 5 a factor of o?
True
Let g = 377 - 244. Is 12 a factor of g?
False
Let p(c) be the third derivative of c**6/120 - c**5/20 + c**4/12 - c**2. Let a be (-10)/(-4) - (-1)/2. Is 3 a factor of p(a)?
True
Suppose 6*f + 124 = 8*f. Does 26 divide f?
False
Let j = 12 - 0. Is j/36 + 28/6 a multiple of 5?
True
Suppose 2*v = -3 + 5. Let k be 15 + 3 + -2 + v. Let x = 37 - k. Is x a multiple of 8?
False
Suppose w = 3*w - 10. Suppose -4*q + 3 + w = 0. Suppose b - q*b = -4. Is 4 a factor of b?
True
Suppose -2*p + 6*p = 12. Is p a multiple of 2?
False
Suppose 7 = j - 33. Suppose -2*o + 12 = -j. Does 14 divide o?
False
Does 19 divide (-2)/40*-12 + 92/5?
True
Let a(g) = -2 + 4*g - 3*g - 2*g + g**3 - 2*g**2. Let s be a(3). Suppose -s*p + 2*l + 146 = 0, p = 4*l + 2 + 45. Is p a multiple of 21?
False
Suppose 0 = -3*f + 2*n + 128, -4*n - 164 = -4*f - 0*f. Is f a multiple of 17?
False
Let h = -31 + 58. Is h a multiple of 9?
True
Let t(k) = k - 2. Does 7 divide t(11)?
False
Suppose 18*s = 1801 - 559. Is s a multiple of 12?
False
Suppose 4*t = -60 + 12. Let r = t + 17. Does 5 divide r?
True
Does 34 divide (-6958)/(-154) + 4/(-22)?
False
Let o(a) = -a + 2. Let i = -2 + 2. Suppose p + s + 3 = -2*p, i = -5*p - 2*s - 6. Does 2 divide o(p)?
True
Does 26 divide ((380/12)/(-5) + 2)*-60?
True
Let q(y) = 9*y - 4. Let x be q(3). Let o = x - 14. Let s = o - 3. Is s a multiple of 3?
True
Let s = 54 + 25. Does 9 divide s?
False
Let y be (-662 - -2)*6/(-15). Is 3*-1*y/(-18) a multiple of 17?
False
Let j(t) = -14*t**2 + 2*t + 6. Let v be j(2). Suppose -2*b - 2*b + 340 = 0. Let o = b + v. Is o a multiple of 1