e p(s)?
False
Suppose 5 = p - o, p = 6*o - o - 7. Let y be (-1 + 2)*-6 - 0. Let d = p - y. Is d a multiple of 9?
False
Suppose 3*z + o + 0*o = 6, -3*z = -5*o - 24. Suppose -5*q - 69 = -z*w, 4*w - 52 = -5*q + 40. Is w a multiple of 18?
False
Let c be ((-2)/6*0)/1. Does 18 divide (1 + c)/(1/18)?
True
Let o be (-1)/((-21)/12 + 2). Let p(g) = -39*g - 2. Let l be p(o). Is 15 a factor of l/6 - 8/12?
False
Let h(m) = m + 7. Let j be h(-5). Let q(o) = 10*o. Is q(j) a multiple of 10?
True
Suppose 2*b = -2*w + 12, -6*b + 3*b - 5*w + 24 = 0. Suppose b*r - 87 = -0*r. Does 12 divide r?
False
Let m(w) = w**3 - w**2 - 5*w - 6. Let d be m(6). Suppose 0*s - d = -4*s. Is s a multiple of 18?
True
Suppose -d - 4*g = -1 - 5, 2*g - 6 = 0. Is 4 a factor of (-3)/1*16/d?
True
Suppose -5*s + 0*f = -5*f - 430, -2*f - 91 = -s. Is s a multiple of 10?
False
Let q be 9*(-2 + 0)/(-6). Suppose -7*t + q*t + 204 = 0. Is 13 a factor of t?
False
Let s = -33 + 80. Suppose -2*k = -37 - s. Is 14 a factor of k?
True
Let n be (252/20)/(2/20). Suppose -5*v = -n - 64. Does 11 divide v?
False
Let z = -33 - -118. Does 28 divide z?
False
Suppose 5*q + 39 = 14. Is (12/q)/(3/(-20)) a multiple of 15?
False
Suppose 5*v + 10 = 0, 2*v + 3*v + 5 = 5*p. Is 11 a factor of p/4 - (-712)/32?
True
Suppose -4*m - 92 = -8*m. Does 5 divide m?
False
Let j(p) = p**3 - 31*p**2 + 31*p + 16. Is j(30) a multiple of 7?
False
Let w = -10 - -16. Suppose -4*a = -a - w. Suppose -2*h + 50 = 4*z, -a*z - 2*h = -7*h + 5. Is 7 a factor of z?
False
Suppose 0 = -191*s + 194*s - 126. Does 7 divide s?
True
Let j(r) = 2*r**2. Let u be j(1). Let s(z) = -z**2 + 16*z + 16. Let y be s(12). Suppose 4*t - y = u*t. Is t a multiple of 16?
True
Let f = -170 - -240. Does 9 divide f?
False
Let n(r) = -r**3 + 7*r**2 - r + 10. Let w be n(7). Suppose -w*s = s - 60. Is 9 a factor of s?
False
Let o(l) = -l. Let t(w) = -2*w + 8. Let q(y) = 6*o(y) - t(y). Let x be q(-8). Let f = 10 + x. Is 17 a factor of f?
True
Does 13 divide (6 + -3 - -32)*1?
False
Let f = 18 + -14. Suppose 30 = 3*w - 2*r, 12 = -0*w + 3*w + f*r. Is w a multiple of 4?
True
Let t = -12 + 52. Is 5 a factor of t?
True
Suppose -5*r + 2*o = -446, -3*r + 214 + 58 = o. Does 33 divide r?
False
Let h = -160 + 392. Is h a multiple of 8?
True
Let m(k) = -4*k - 5. Let p(r) = -5*r + 1. Let t be p(1). Does 7 divide m(t)?
False
Suppose -6*s + 1115 + 325 = 0. Does 40 divide s?
True
Does 13 divide 5/15*(76 + 2)?
True
Let m = -2 - -6. Let h(d) = d + 5 - 18 + 12. Is 3 a factor of h(m)?
True
Suppose 0 = b + 4*b. Let p(v) = v + 2. Let i be p(b). Is ((-5)/2)/(i/(-4)) a multiple of 5?
True
Suppose -16 = -w - 4*y, 0 = w - 3*y - 0*y - 2. Is w a multiple of 4?
True
Suppose -2*k = -6*k - 448. Is (-1)/3 - k/12 a multiple of 9?
True
Let r be 30/(-4)*(-6)/(-9). Let s(t) = -5*t - 1. Does 11 divide s(r)?
False
Let b(z) = -17*z. Let r(n) = n**2 + 9*n + 9. Let f be r(-9). Let w be 2/7 - f/7. Does 11 divide b(w)?
False
Suppose 3*f + 74 = 6*h - h, 46 = 3*h - f. Is 16 a factor of h?
True
Suppose -5*r + 268 = 48. Is r a multiple of 11?
True
Let m(z) = 3*z**2 + z - 5. Let s be m(5). Let b = s - 40. Does 8 divide b?
False
Let q be ((-8)/3)/(2/(-3)). Suppose q*x - 4 = 0, 6 = 5*s + 3*x + 23. Let t = 14 - s. Is t a multiple of 18?
True
Let b(m) be the third derivative of -1/120*m**6 - 3*m**2 + 0*m + 0*m**3 + 0 + 1/24*m**4 + 1/15*m**5. Does 4 divide b(3)?
True
Is 10 a factor of 1 - (3/5 + 990/(-25))?
True
Let t(p) = -p**3 + 4*p**2 + p - 4. Let f be t(4). Let g be (-500)/(-16) - 2/8. Suppose 0*a + 71 = 5*r - a, f = -r - 4*a + g. Is r a multiple of 15?
True
Let y = -2 - -5. Let t = 6 - y. Is t even?
False
Let x be -42*-1*(-2)/4. Let j be (3/(-9))/(1/x). Suppose 10 = u - j. Is 17 a factor of u?
True
Suppose 0 = 2*b - 307 - 13. Is b a multiple of 20?
True
Suppose 4*a - 5*t - 10 = 27, 0 = -5*a + 3*t + 43. Is 7 a factor of (-4 - -16)*14/a?
True
Suppose -5*q + 314 + 336 = 0. Is 26 a factor of q?
True
Let t(k) = 14*k - 5. Let u(s) = -14*s + 4. Let q(x) = 3*t(x) + 4*u(x). Is q(-1) a multiple of 15?
True
Let z(j) = 4*j**2 - 1. Let n be z(1). Suppose n*r - 25 = -2*m, 4*m + r - 14 = 41. Does 4 divide m?
False
Let l(b) = -4*b**3 + b**2 + b. Let o be l(-1). Let w(s) = 3 - 1 - s**2 - 3 - 2*s + 8*s. Is w(o) a multiple of 3?
False
Let r(s) = -12*s - 4. Is 16 a factor of r(-7)?
True
Let n = -6 - -17. Suppose u - n = 21. Is 8 a factor of u?
True
Suppose -3*g = 3*i - 135, 11 = g - 4*i - 9. Let k = 110 - g. Suppose 0 = -4*n - n + k. Is n a multiple of 7?
True
Let r = 103 - 25. Is 9 a factor of r?
False
Does 13 divide 100 - (1 + (-30)/6)?
True
Suppose -2*c + 5*k - 12 = 0, -8*c - 2*k + 28 = -3*c. Is c even?
True
Suppose -u = -0*u - 5. Suppose 194 = 3*i - u*k, -i - 4*k - 4 = -63. Suppose -2*t = -c - 53, -2*c + 27 = 3*t - i. Is t a multiple of 14?
True
Let o = -1 + 6. Let s(z) = z**3 - 4*z**2 + z + 7. Is s(o) a multiple of 10?
False
Let w be -3*3/6*-2. Suppose -s + 16 = -4*b, 2*s - w*b + 2*b = 32. Let p = s + 13. Does 11 divide p?
False
Does 10 divide -2 + 1 + 4 + 47?
True
Suppose -5*f + 3*g = 116, -2*f + f + 2*g = 19. Let s = 1 - f. Does 13 divide s?
True
Does 19 divide (7/3)/(8/168)?
False
Suppose -29 = -3*d + 4*c + 44, 20 = -5*c. Suppose 5*g - 11 = d. Is g a multiple of 6?
True
Let t = -13 + 24. Let s(m) = -m**3 + 10*m**2 + 16*m - 7. Is s(t) a multiple of 18?
False
Let z = -21 + 11. Let j = z - -38. Is 14 a factor of j?
True
Let m be (-3)/(-2)*(-16)/(-6). Suppose d = 3*r + 2*r + 19, m*r + 21 = d. Does 11 divide d?
False
Let s = -19 - -31. Is 3 a factor of s?
True
Let b(y) = y**2 - 8*y - 4. Let x be b(6). Let s = x + 25. Does 9 divide s?
True
Suppose 2*o + 61 = 3*o - 3*c, -2*o - 5*c + 89 = 0. Suppose o = 4*n + 12. Is 4 a factor of n?
False
Suppose -5*w - 5*z = 70, -3*w - 2*w + 2*z - 42 = 0. Let k be (2 - (-12)/w)*-5. Let f(g) = g**2 + 3*g + 6. Is f(k) a multiple of 5?
True
Let m be (-48 - (0 + 3))*-1. Suppose -2*u = -u - m. Is 17 a factor of u?
True
Suppose 0*a = -2*b + 5*a + 31, b = -3*a - 12. Suppose b*f + 64 = 7*f. Suppose -x - 2*n = -f, -3*x - 16 + 80 = 2*n. Is 12 a factor of x?
True
Let a = -28 + 66. Does 10 divide a?
False
Suppose 2*s = -3 + 7. Suppose d - 5*d - 86 = -s*k, -5*d + 57 = k. Is k a multiple of 17?
False
Suppose 488 + 562 = 6*p. Is 29 a factor of p?
False
Let y = -31 - -22. Does 18 divide 6/(-9) + (-366)/y?
False
Let f = -12 - -33. Let t = 2 + f. Suppose 0 = 3*q - 4*d - 35, -3*q + t + 14 = -5*d. Is 6 a factor of q?
False
Let a = 17 - 11. Is 40/3 + (-2)/a a multiple of 13?
True
Suppose 4 = -a + 1. Does 2 divide -6*(10/4 + a)?
False
Let j(n) = 2*n**2 + n + 7. Does 5 divide j(3)?
False
Let q(v) = v**3 + 21*v**2 - 3*v + 1. Does 8 divide q(-21)?
True
Let y(i) = -i**2 + i. Let a be y(1). Let t(n) = 2*n - 7. Let c be t(5). Suppose -5*z + m + 76 = a, 2*z + 3*m - 47 = -c. Does 8 divide z?
True
Let u = 39 + 21. Does 10 divide u?
True
Suppose 5*r + 25 = -5. Let c(z) be the second derivative of -z**5/20 - 5*z**4/12 - z**2/2 - 2*z. Is 21 a factor of c(r)?
False
Let q = 0 - 0. Does 13 divide 3/((-1)/(-9) + q)?
False
Let x = 4 + 0. Suppose 3*s - 4*f - 5 = 0, -3*s - 5*f + 2 = -x*s. Suppose 4*g = -s*k - g + 8, 0 = -2*g - 10. Does 11 divide k?
True
Let u = 8 + 4. Let i = -8 + u. Suppose 91 = i*b - v, 0 = -b + 2*v + 7 + 21. Is 11 a factor of b?
True
Let n(t) = 2*t**2 + 3*t - 3. Let b(a) = 3*a**2 + 7*a - 6. Let y(m) = -6*b(m) + 13*n(m). Does 12 divide y(-2)?
False
Let t be (-128)/(-22) + (-2)/(-11). Let i = t + -9. Is ((-1)/(-3))/(i/(-117)) a multiple of 7?
False
Let g = 1 + -1. Suppose 47 + 9 = 4*c. Suppose b - c - 16 = g. Does 12 divide b?
False
Suppose -5*o - 6 = -16. Suppose 0 = o*n - 20 - 12. Is 8 a factor of n?
True
Let q be 4/6*(-15)/(-1). Let s = 14 - q. Suppose s*t - 13 - 7 = 0. Is t a multiple of 4?
False
Suppose 0*c - 8 = -2*c. Suppose -2*k - 288 = -6*k. Does 7 divide (c/8)/(2/k)?
False
Suppose 2*n + v - 122 = -3*n, -5*v = -4*n + 115. Is n a multiple of 10?
False
Is ((-148)/(-8))/((-2)/(-4)) a multiple of 4?
False
Suppose 18*j - 120 = 14*j. Is 5 a factor of j?
True
Let c(i) = 2*i + 4 + i**3 - 6 + 4 - 6*i**2. Let h be c(6). Suppose -3*o + 112 = -h. Does 21 divide o?
True
Let g(t) = t**3 + 3*t**2 + 2*t + 3. Let k be g(-2). Suppose 0 = -k*m + 5*m - 5*w + 25, 4*m + w - 5 = 0. Suppose m = -7*l + 3*l + 36. Is 9 a factor of l?
True
Le