c = -2668 - -4786. Is 9 a factor of c?
False
Does 37 divide (29/((-261)/54))/((-6)/1016)?
False
Let j(u) = -u + 13. Let n be j(13). Suppose k + 3*k = n. Suppose k*c = 2*c - p - 91, -5*c + 205 = 5*p. Is c a multiple of 19?
False
Suppose 2*m = -0*m + 6. Suppose 2*c + 72 = r, 272 + 114 = 5*r + m*c. Is r a multiple of 20?
False
Let t(x) = 13*x**3 - 4*x**2 - 7*x - 2. Let d(o) = -38*o**3 + 12*o**2 + 22*o + 5. Let m(h) = -2*d(h) - 7*t(h). Does 10 divide m(-2)?
True
Suppose q + 3*u = 7 + 5, -5*q - 16 = -4*u. Let b be (-2 - q)/((-6)/(-15)). Let z(w) = w**3 + 5*w**2 - 4*w + 1. Is 7 a factor of z(b)?
True
Suppose 4*a + 27 = -f, f - 3*a - a - 5 = 0. Let v(j) = j**2 + 10*j - 8. Let l be v(f). Is 16 a factor of -2 + l/6*38?
False
Suppose -15*v - 2552 = -23*v. Is v a multiple of 29?
True
Let y(k) = 3*k**2 - 11*k + 13. Let o be y(3). Let v = -4 + 6. Let m = v + o. Is 9 a factor of m?
True
Let g = -7 + 10. Let y = g - 1. Suppose y*t - 3*l - 148 = -4*l, 5*l + 10 = 0. Is t a multiple of 26?
False
Suppose -16 = -2*p - 5*m + 12, 2*m - 4 = p. Suppose 36 = 2*o + p*l, -4*o + 2*o + 41 = 5*l. Is 4 a factor of o?
True
Let r(h) = 34*h + 2. Let p be r(2). Suppose -11*w - p = -16*w. Suppose w = 2*n - 8. Is 6 a factor of n?
False
Suppose -18*h + 309 = -6369. Is h a multiple of 25?
False
Let n(m) = -346*m**3 + m**2 - m - 3. Is 23 a factor of n(-1)?
True
Suppose 1482 = -59*l + 60*l. Does 26 divide l?
True
Suppose -3 = 5*r - 108. Does 10 divide r?
False
Suppose 64 + 456 = 5*f. Suppose 21*w - 17*w - f = 0. Is w a multiple of 13?
True
Suppose 3*v + 3*c = 132, c - 52 = -v - 4*c. Is v a multiple of 4?
False
Suppose 0*h = -2*h. Suppose 0 = -h*z + 4*z - 40. Suppose 0 = -5*q + 3*q + z. Is q a multiple of 4?
False
Let q be 9 + 0 + 3/(-1). Let d(n) = 2*n - 8. Let i be d(q). Suppose -7*c = -i*c - 144. Does 16 divide c?
True
Suppose -k - 2*t + 298 = -7*t, 0 = -5*k - 5*t + 1550. Suppose 3*d - k = -d. Suppose 0*r + 2*r + 2*j = 46, 4*r - j = d. Is 5 a factor of r?
True
Is 4/7 + 2445/21 - 5 a multiple of 3?
False
Let n = -19 + 36. Suppose -3*l = -n - 37. Does 4 divide l?
False
Let m(p) = 16*p**2 + 5*p - 31. Let r(b) = 3*b**2 + b - 6. Let o(v) = -2*m(v) + 11*r(v). Let w = -168 + 171. Is 4 a factor of o(w)?
True
Suppose -k + 361 = 2*q + 3*q, -q - 4 = 0. Suppose 2*b = -l + 7*b + 84, -5*b = -4*l + k. Is l a multiple of 9?
True
Suppose -2450 = 7*q - 21*q. Does 7 divide q?
True
Suppose 3*a - 4*a = 12. Let h be ((-4)/6)/(4/a). Suppose -88 = -h*n + n. Does 26 divide n?
False
Let r = -1477 - -604. Let l be r/(-15) - (-1)/(-5). Let m = 70 + l. Is 19 a factor of m?
False
Let i = 1329 - 821. Is i a multiple of 20?
False
Suppose 5*m + 4*s = -99, s = -m + 4*s - 35. Let v = 24 + m. Is 16 a factor of 30 + (3 - 1)*v?
True
Let c be ((-5)/2)/(7/(-350)). Let q = c - 11. Is 19 a factor of q?
True
Let r(g) be the second derivative of 5*g + 0 + 5/6*g**3 + 2*g**2 + 1/12*g**4. Is 3 a factor of r(-5)?
False
Let c(i) = i**3 + 8*i**2 + 6*i + 6. Let p = 22 + -26. Is 7 a factor of c(p)?
False
Let l be ((-20)/(-8))/((-1)/2). Let c = l - -8. Suppose c*k - 160 = -k. Does 10 divide k?
True
Let t(u) = 15*u - 12. Let y be t(-7). Let c = y - -191. Suppose -l - l + c = 0. Is l a multiple of 10?
False
Let t = -244 - -84. Is 10 a factor of (-3)/(8/(t/6))?
True
Let c(j) = j**3 - 17*j**2 + 8*j - 3 - 3*j + 10*j**2 - 4. Let y(g) = -g + 7. Let h be y(0). Is 8 a factor of c(h)?
False
Suppose -5*t = 3*n + 74, 5*n = -4*t + t - 38. Let y = t - -21. Suppose -7*p = -y*p - 32. Is 8 a factor of p?
True
Suppose z + s + 3 = -z, -2*z + s - 1 = 0. Let n be (z/(-1) - 1)/2. Is n + -2*(2 - 20) a multiple of 12?
True
Suppose 5*v - l = -4*l - 3, 5*l = -v + 17. Is 31 a factor of 96/(-18)*19*v?
False
Suppose -2*n = a - 6731, -3*a + 16829 = 8*n - 3*n. Is n a multiple of 49?
False
Let g(n) = 3*n - 19. Let p be g(7). Suppose z = 5*a + 43, z - 37 = a + p*a. Is z a multiple of 13?
False
Let d(l) be the first derivative of -5*l + 7*l**2 - 6 - 1/3*l**3. Does 20 divide d(9)?
True
Let h be (8/10)/(4/230). Let b(z) = -z**2 - 18*z - 14. Let d be b(-17). Suppose -d*n = -11 - h. Is n a multiple of 8?
False
Let a = -1324 + 2834. Is a a multiple of 9?
False
Suppose -2*t - m = -5*m - 346, -4*t = -5*m - 698. Is t a multiple of 59?
True
Is 19 a factor of (0 + 399/2)*4/3?
True
Let b(z) = z**2 - 1. Let v(j) = 5*j**2 + 7*j - 4. Let a(x) = 4*b(x) - v(x). Is 3 a factor of a(-4)?
True
Does 16 divide (-1992)/(-5) - (24/(-15) - -1)?
False
Let g(s) = -31*s - 103. Is g(-54) a multiple of 30?
False
Let o(l) = 2*l**2 - 3*l - 5. Let m be o(3). Let n(x) = 2*x**3 - x**2 + 5*x. Does 22 divide n(m)?
True
Let x = -13 + 17. Suppose 0 = -4*p + x*l - 0*l + 32, -2*p + 20 = -3*l. Suppose -32 = p*j - 8*j. Is 4 a factor of j?
True
Let q = -105 - -38. Let b = -29 - q. Is 34 a factor of b?
False
Let w(h) = 2*h + 10. Let c be w(0). Let n(q) be the third derivative of -q**6/120 + 11*q**5/60 - q**4/4 - 7*q**3/3 - 6*q**2. Does 10 divide n(c)?
False
Let z(x) = -43*x + 1. Let n be z(-2). Let f = n - 44. Is 7 a factor of f?
False
Suppose -3*j - k - 263 = -1119, 0 = j - 3*k - 282. Does 95 divide j?
True
Suppose -33*o + 13700 = -1150. Does 15 divide o?
True
Let x be 2*5/((-5)/(-2)). Suppose x*z - 228 = 12. Is 12 a factor of z?
True
Let i = 1012 + -654. Does 2 divide i?
True
Let x be (42/24 - 3)*(-3 + -1). Suppose -166 = -3*p - 2*c, x*p - c - 60 = 195. Does 13 divide p?
True
Is 6 - -69 - (5 + -14) a multiple of 54?
False
Let u = -103 + 163. Suppose 0 = p - 4*p + u. Does 12 divide p?
False
Suppose -127 = 4*m - 379. Let g = m - -49. Does 16 divide g?
True
Suppose -43 = 3*w + 92. Is 46/3 - (-5)/(w/(-6)) a multiple of 16?
True
Suppose -3*r + f + 10 = 0, -r + 4 = f - 2. Suppose 0 = -r*q + 4*m + 511 - 103, 2*q - m = 201. Is 9 a factor of q?
True
Suppose 2*z = -r + 5*z - 60, 4*r + 5*z = -155. Let p = r - -95. Does 25 divide p?
True
Suppose 2*r + 2*o - 36 = 0, -3*o = -0*o. Suppose 0 = 6*w - w - 90. Let v = r + w. Is 30 a factor of v?
False
Suppose 18*g + 960 = 34*g. Is g a multiple of 20?
True
Let k = 72 + -53. Suppose 3*n + 5*r = 2*n + k, 2*n = -5*r + 43. Does 6 divide n?
True
Suppose -5*w + 10160 = -3*u, 13*w - 15*w = -u - 4063. Is 19 a factor of w?
False
Let d(n) = 6*n**2 - 2*n + 1. Let h be d(1). Suppose -h*v - 104 - 141 = 0. Let c = -27 - v. Is c a multiple of 7?
False
Let n(o) = 14*o - 14. Let m(x) = -3*x - 43. Let s be m(-16). Is 4 a factor of n(s)?
True
Suppose -d = -4*d + 6. Suppose 0 = -h + d - 6, 364 = 5*v - h. Is v a multiple of 18?
True
Let n(o) be the second derivative of o**4/12 + 3*o**3/2 + o**2 + 4*o. Let k be n(-9). Is 10 a factor of (k*10)/((-4)/(-6))?
True
Let b be (16/6)/((-2)/(-3)). Suppose 2 = b*a + 42. Let r = a + 28. Is r a multiple of 7?
False
Let t = 87 - 71. Suppose 7*k = 19 + t. Does 5 divide k?
True
Let r = -26 + 50. Let x = r - 4. Is x a multiple of 3?
False
Let p = 10 - 7. Let l(o) = 4 + 3*o - 8 - 7 - p. Is 6 a factor of l(10)?
False
Let r(j) = j**3 - 6*j**2 - 7*j - 6. Let q be r(7). Let v be (-3 - q) + 0/(-2). Suppose 0 = v*c + 2*c - 145. Is c a multiple of 16?
False
Suppose -5574 = -2*y + 44*r - 46*r, -2*r - 11154 = -4*y. Does 19 divide y?
False
Suppose 31*v = 10734 + 4921. Is 55 a factor of v?
False
Let b(h) be the second derivative of 23*h**4/24 + 2*h**3/3 - 5*h**2/2 - h. Let v(x) be the first derivative of b(x). Does 13 divide v(2)?
False
Is ((-156)/16)/(-13)*6436/3 a multiple of 10?
False
Suppose -3*w + x + 12 = 0, -3*x + 3 = 3*w - x. Suppose 90 = 2*t + w*t. Is t a multiple of 6?
True
Let l = -425 + 373. Suppose 4*t + t = -180. Let k = t - l. Is k a multiple of 16?
True
Suppose v - j + 6*j = 3991, -5*j - 7907 = -2*v. Is v a multiple of 11?
False
Let i = -87 - -687. Does 15 divide i?
True
Let d be ((-270)/8)/(5/(-20)). Suppose 4*c - d = -c. Is c a multiple of 13?
False
Let k = 296 - -168. Is 5 a factor of k?
False
Suppose 499 = -5*k + 2*x, 5*k + 36 + 465 = 3*x. Let l = 167 + k. Does 12 divide l?
False
Let s = -19 + 6. Let n = -5 - s. Does 5 divide n?
False
Suppose -10 = 2*z + 6. Let m(r) = -r**2 + 4*r. Let c be m(6). Let a = z - c. Is a a multiple of 4?
True
Suppose -19*l + 2*l = -17. Is 18 a factor of l/2 + (-1724)/(-8)?
True
Let o = -16 - -18. Suppose -o*q + 49 = -61. Is q a multiple of 11?
True
Suppose 84 = -20*o + 22*o. Let w be o/(1*5/(-5)). Is 43 a factor of (-640)/(-1