 + 1/(-2). Suppose p*s + 10 = 4*s. Is s even?
False
Suppose -v - 2*k - k = -15, -4*k - 20 = -2*v. Does 5 divide v?
False
Let o(j) = -j**2 + 14*j + 1. Let u(h) = h**2 - 15*h - 2. Let g(k) = -6*o(k) - 5*u(k). Is 8 a factor of g(10)?
False
Suppose c = -m - 0*m + 88, -m - 5 = 0. Is c a multiple of 26?
False
Let g(i) = -i**3 - 9*i**2 - 2*i - 13. Let o be g(-9). Suppose 0 = 4*p + o*w - 95, -3*p + 32 = -w - 25. Is 10 a factor of p?
True
Suppose 5*x = 100 + 80. Is 12 a factor of x?
True
Suppose 5*f + 99 + 10 = -4*l, -3*l - 77 = -f. Let w = l - -38. Is w a multiple of 6?
True
Suppose 2*q - 7*c + 2*c = 6, 15 = 5*q + 3*c. Suppose -3*w + 6*w - 72 = -q*h, 0 = -3*w - 12. Does 16 divide h?
False
Let l be ((-5)/2)/((-2)/76). Suppose -l = -3*w - 5*k, k = 6*k - 5. Suppose -5*q = -5*m - 75, -4*m + w = 2*q + 3*q. Is q a multiple of 5?
True
Suppose 73 = 3*q - 668. Is q a multiple of 25?
False
Let g = -6 - -33. Is 9 a factor of g?
True
Let u be ((-8)/4)/(3/(-6)). Suppose 0 = 2*f + 6*k - k - 52, -u*f - 3*k + 132 = 0. Does 9 divide f?
True
Suppose -5*s = -y + 2*y - 2, -5*y + 2*s - 17 = 0. Is 15 a factor of (y - (-25)/2)*2?
False
Let f(p) = p + 20. Let z be f(-9). Suppose 0 = -2*c, z = 3*o - 5*c + 2. Suppose -o*y + 96 = y. Is y a multiple of 10?
False
Is 8*-3*(-4)/3 a multiple of 8?
True
Is (161 - 1) + 6 + -4 a multiple of 27?
True
Let b be 2/(2/3 + 0). Suppose r + b*a - 32 = -a, -4*a + 76 = 2*r. Is 22 a factor of r?
True
Let g = 102 + -63. Is g a multiple of 20?
False
Suppose 2*q - 5 = 31. Is 18 a factor of q?
True
Is (-142)/(-4) + 5 + (-42)/12 a multiple of 3?
False
Let u = 13 - 8. Suppose -z + 23 = 4*t, -2*t = -u*t - 2*z + 21. Suppose 0 = t*y - 93 + 18. Does 15 divide y?
True
Suppose -22 = 4*x - 86. Does 10 divide x?
False
Suppose 0 = h + 3*g - 72, -7*h + 280 = -2*h - 5*g. Is 10 a factor of h?
True
Suppose -7*x + 777 = -4*x. Is 12 a factor of x?
False
Let j(i) = 2*i**2 - 2. Let u be j(2). Let x = u - -25. Let a = x + -22. Is a a multiple of 9?
True
Let f(a) = a**2 + 4*a - 2. Let n = -1 + -4. Let r be f(n). Suppose -m - l + 9 = 0, 0*m + r*l = 2*m - 23. Is m a multiple of 9?
False
Suppose 3*u + 36 = g + 2*g, 31 = -3*u + 2*g. Let n = -26 - -9. Let y = u - n. Is y a multiple of 10?
True
Let n = -9 + 9. Let a = n + 22. Is 22 a factor of a?
True
Let h(o) be the second derivative of -o**4/12 - o**3 + 5*o**2 - 3*o. Let g be h(-7). Suppose -5*y + 83 = g*i + 1, -i + 2*y + 20 = 0. Does 12 divide i?
True
Suppose -4*l + 49 = -5*y, -2*y - l - 35 = 2*y. Let t be (1*-1)/(3/y). Suppose -4*j = -7*j + 12, t*c = -3*j + 42. Is 9 a factor of c?
False
Suppose 4*p = 3*p + 36. Is 7 a factor of p?
False
Suppose -4*h + 97 + 23 = 0. Does 9 divide h?
False
Suppose 5*u = -5*t + 275, 3*u - 83 - 30 = -2*t. Is 14 a factor of t?
False
Suppose 0 = -2*g + 153 + 129. Is 47 a factor of g?
True
Let n(t) be the first derivative of -t**3/3 + 7*t**2 - t - 4. Is n(13) a multiple of 2?
True
Let c be (4/14)/(11/308). Suppose -7*l = -3*l + 16. Let v = c + l. Is v a multiple of 2?
True
Let h(b) = -b + 49. Let o = 5 - 5. Is h(o) a multiple of 23?
False
Suppose -183 = -4*f + f. Is 16 a factor of f?
False
Suppose -2*p + r + 0 = -5, -4*p + 5 = 3*r. Suppose -p*s = 4*z - 0*s - 404, z + 2*s = 98. Is z a multiple of 34?
True
Let i = -3 - -7. Suppose 3*c - i*h = -6, c - h + 1 = -0*h. Does 2 divide c?
True
Suppose 4*w = -r + 15, -2*w + 3*r = -w - 7. Suppose 4*y + w*z - 12 - 16 = 0, 3*y + z - 27 = 0. Suppose 2*c - 28 - y = 0. Does 16 divide c?
False
Let t = 118 - 116. Is 2 a factor of t?
True
Suppose 3*f + f = x + 13, -2*f + 5 = -x. Suppose f*k = -9 + 29. Is k a multiple of 5?
True
Let p(l) = -l**3 + 12*l**2 + 16*l - 18. Does 4 divide p(13)?
False
Suppose 0*v = v. Suppose v = 3*w + 58 - 274. Is 19 a factor of w?
False
Let f(l) = l**3 + 11*l**2 + 5. Let z be f(-11). Suppose -5*h + 231 = 3*m, 0*h + h - z*m = 63. Is h a multiple of 21?
False
Let r(t) = -t + 10. Let a be r(10). Suppose 4*v + 8 = 2*l, a + 12 = 3*l - 2*v. Does 7 divide 4/(-16) - (-29)/l?
True
Suppose a + 0 - 34 = 0. Suppose p + p = a. Does 10 divide p?
False
Suppose 0 = -7*z + 1244 + 79. Is z a multiple of 8?
False
Let s = 2 - -46. Is 8 a factor of s?
True
Let b(i) = -i**3 - i - 1. Let y(a) = 6*a**3 - 4*a**2 + 12*a + 4. Let p(q) = -5*b(q) - y(q). Let c be p(6). Let t = -74 - c. Is 15 a factor of t?
False
Let f = -3 + -6. Let z(n) = n**3 + 11*n**2 + 11*n + 5. Let l be z(f). Suppose l = -i + 3*i. Is i a multiple of 17?
True
Let d(v) = v + 6. Let m be d(9). Suppose 0 = -3*i - s + 81 - 11, 3*s = -m. Is 13 a factor of i?
False
Let s be ((-6)/(-9))/(1/126). Let d be s/22 - (-2)/11. Suppose d*l - 55 = -l. Is l a multiple of 8?
False
Let g = -413 + 623. Is 42 a factor of g?
True
Let n = 75 + -64. Is n a multiple of 2?
False
Let v(d) = 385*d - 1. Let j be v(1). Suppose 2*n - j = -2*n. Let s = n - 54. Does 15 divide s?
False
Suppose 120 = 2*r - 6*r. Let t(f) = -3*f + 3. Let x be t(6). Let m = x - r. Is 12 a factor of m?
False
Let z(q) = -q**2 - q + 3. Let b be z(6). Let p = b - -102. Is p a multiple of 21?
True
Is (-46*1)/(38/(-133)) a multiple of 36?
False
Let d = -7 - 8. Let q be (-12)/d*15/6. Suppose 0 = -q*g - 2*f - 4 + 40, 0 = -g + 4*f + 18. Is 9 a factor of g?
True
Suppose 3*p = 2*v - 181 + 17, -4*v + 5*p + 328 = 0. Let y = 131 - v. Suppose -4*g + 23 = -y. Is 12 a factor of g?
False
Let p = -20 - -32. Suppose -p = 3*o + 3. Let m = o + 10. Does 5 divide m?
True
Let x = -194 + 612. Does 38 divide x?
True
Let m = 5 - 11. Let t = m - -12. Suppose -4*j = 4*n - 36, -t + 21 = 5*n. Does 4 divide j?
False
Let o(x) = -2*x - 6. Let q be o(0). Does 8 divide (-3)/2 + (-87)/q?
False
Let m(b) = 2*b**3 - 6*b**2 - b - 4. Let x(w) = w**3 - 3*w**2 - w - 2. Let c(p) = 3*m(p) - 7*x(p). Is c(-2) a multiple of 14?
True
Let l(c) = c**3 - 13*c**2 + 5*c + 15. Does 10 divide l(13)?
True
Let l(f) = -22*f - 2. Does 14 divide l(-2)?
True
Let p = -51 - -96. Suppose 0*s - 3*s = -p. Does 15 divide s?
True
Let b = -80 - -141. Is b a multiple of 22?
False
Let q(b) = 39*b**3 + 3*b**2 - 2*b. Is 5 a factor of q(1)?
True
Suppose 0*z - 2*z - 5*u + 95 = 0, 4*u = -12. Is 7 a factor of z?
False
Let k be (0 + 0)*1 + -4. Let m be ((-2)/k)/((-1)/(-4)). Suppose -5*x - 109 = -3*v, 3*v = 6*v + m*x - 116. Is 19 a factor of v?
True
Suppose -3 = -5*o + 2. Let g be o + -1 + (-4 - -7). Suppose g*k + 2*d = 88, k - d = -0*d + 21. Is k a multiple of 14?
False
Suppose -2*r = -a + 2, -a - 5*r - 5 = 4*a. Suppose a = 5*x - 15. Let v = 6 + x. Is 3 a factor of v?
True
Let u(q) = 14*q - 7. Let h be u(-7). Let m = h + 150. Is 16 a factor of m?
False
Let o be 100*(3 - (-9)/6). Does 10 divide ((-2)/(-3))/(6/o)?
True
Suppose -4*x + 3*y - 10 = -5*x, 0 = -4*x - 2*y + 20. Suppose g + 8 = x*s - 3, 5*s = -g + 25. Let j = 1 + s. Is j a multiple of 4?
False
Suppose 4*n - 5*n - 132 = 0. Is 26 a factor of n/(-5) + (-10)/25?
True
Let d be (-197)/(-6) + (-4)/(-24). Suppose 0*z + 5*h = -5*z + 95, h = -2*z + d. Does 7 divide 298/z + 12/(-42)?
True
Does 15 divide ((-16)/(-6))/((-4)/(-114))?
False
Let h(m) = -m**2 - m + 14. Let x be h(0). Suppose -3*u = 2*g - 10, -u + 2*g + 4 = x. Suppose -5*n + 27 + 53 = u. Is n a multiple of 8?
True
Let c(v) = -10*v + 1. Let i(y) = y**2 + 7*y + 3. Let l be i(-6). Let z be c(l). Let f = z + -19. Does 12 divide f?
True
Let c(q) = q**3 - 2*q**2 - 8*q + 7. Let v = 22 - 17. Is 7 a factor of c(v)?
True
Let a = 0 + -1. Does 2 divide (0 - 2) + (a - -7)?
True
Suppose 100 = d + 5*z, 2*d + 6*z - 188 = 2*z. Is 45 a factor of d?
True
Suppose -t = 4*a + 12, 0 = t + 2*a + 3*a + 15. Let b be (-1)/((-2 + t)/4). Does 12 divide (-4)/(0 + b) + 35?
False
Is 7 a factor of 165/6 + 2/4?
True
Suppose 4*m + 0*m = 408. Does 34 divide m?
True
Let b(a) = -7*a - 24. Does 5 divide b(-7)?
True
Suppose 18 = u - 18. Does 12 divide u?
True
Let c(j) = 3*j - 12. Is c(6) a multiple of 2?
True
Let x be ((-6)/7)/(-1)*-7. Does 13 divide ((-40)/(-6))/(x/(-27))?
False
Let a(j) = -j**2 - 12*j - 3. Is a(-10) a multiple of 17?
True
Suppose -3*k + 262 = -k. Suppose -4*q + k = 35. Is 6 a factor of q?
True
Suppose 3*p + 13 - 2 = x, -5*x + 4*p + 33 = 0. Suppose -n + x*t = -29, -2*n - n = 4*t - 49. Does 19 divide n + -3 + 2 - -1?
True
Suppose 5*o = 2*p + 379, -2*p = -o + 79 - 0. Does 9 divide o?
False
Suppose -4*r = -2*l - 730, -l = 5*r + 3*l - 919. Does 9