 be c(-2). Suppose -4*l - 92 = -4*j, 3*j - y*j = -4*l - 26. Does 10 divide j?
False
Let o = -50 + 54. Suppose -o*y + 356 = -12. Does 23 divide y?
True
Suppose -8*m + 711 + 2097 = 0. Is 40 a factor of m?
False
Suppose -j + 3*a = -698, 28*j - 23*j - 3504 = a. Is 15 a factor of j?
False
Suppose 0 = -28*v + 14*v + 26572. Is v a multiple of 9?
False
Let n be (-5)/(-30) - 106/(-12). Suppose 21 - 228 = -n*w. Is w a multiple of 13?
False
Let j(s) be the third derivative of -s**2 - 1/40*s**6 - 1/6*s**3 + 0 + 0*s - 1/4*s**4 - 3/20*s**5. Does 14 divide j(-4)?
False
Let z = 998 + -502. Is z a multiple of 8?
True
Let p(t) = 5*t - 99. Does 11 divide p(33)?
True
Suppose 4 = 38*t - 34*t, 0 = 5*r - 2*t - 19548. Is r a multiple of 17?
True
Let h be 46/14 + 2/(-7). Let v(q) = q - q + 5*q + h*q + 3. Does 19 divide v(2)?
True
Let a(q) = -2*q**3 + 1 - 12 - 5*q - 4*q**2 + 3 + 10. Is 21 a factor of a(-4)?
False
Let z(w) = -6*w**3 + 11*w**2 + 4*w - 37. Is z(-6) a multiple of 5?
False
Suppose 10*u + 1018 = 4*b, -2*u + 554 = 2*b + 2*u. Does 4 divide b?
False
Let w(q) = -2*q**2 + 32*q - 3. Does 5 divide w(10)?
False
Let o(j) = -j**2 - 10*j - 13. Let g be o(-9). Let y be 2/g*(7 + -11). Suppose y*s + s - 16 = 2*c, -4*c = 8. Is s a multiple of 2?
True
Let x(j) = 28*j**2 + 6*j + 2. Let o be x(-3). Suppose -7*h + o = -4*h + 5*k, -2*k - 64 = -h. Does 6 divide h?
True
Let d(j) = 13*j**2 - 4*j + 4. Is 11 a factor of d(-8)?
False
Let z be 6/10*60/12. Suppose y - 28 = -z*y. Suppose 0 = 6*w - y*w + 78. Does 26 divide w?
True
Let l(b) = -2*b**3 - 2*b**2 + 6*b + 9. Let d be l(-2). Suppose 19*x - 826 = d*x. Is 5 a factor of x?
False
Let c be (-4)/2 - 9*-7. Let s = -57 - -146. Let p = s - c. Is 14 a factor of p?
True
Suppose 17772 = 99*n - 87*n. Is 60 a factor of n?
False
Let g = 27 - 25. Is (-351)/(-18) + g/4 a multiple of 4?
True
Let r = -11 - -29. Suppose -5*n + 4*q - 26 = -72, -r = -n + 3*q. Suppose 0 = g - n*g + 180. Does 14 divide g?
False
Suppose 0 = -32*g - 220 + 2204. Does 15 divide g?
False
Let f(i) be the first derivative of i**4/2 + 2*i**3/3 - i**2 + i + 9. Is f(1) a multiple of 3?
True
Let g = -8 + -8. Let o(m) = m**3 + 2*m**2 - 3*m - 14. Let d be o(3). Let f = d + g. Is 3 a factor of f?
True
Let m = -1143 + 1244. Does 57 divide m?
False
Let u = -274 + 157. Let p = -49 - u. Suppose -14 = r - p. Does 9 divide r?
True
Is 674 + (-3 - 0 - -9) a multiple of 12?
False
Let y be -2 + (1644*1)/4. Suppose -2*o = -3*v - 23 - 168, -4*o - 3*v + y = 0. Is o a multiple of 20?
True
Let u(k) = -14*k - 56. Is 14 a factor of u(-9)?
True
Let a(z) = -z**2 + 12*z - 24. Let f be a(7). Suppose 5*g + i - 16 - f = 0, -17 = -3*g - i. Is 3 a factor of g?
False
Let j(w) = w**3 + 5*w**2 - 13*w + 7. Let s be j(-7). Suppose 2*f - 4*n - 76 = s, 82 = -2*f + 5*f + 2*n. Is 7 a factor of f?
False
Suppose 0 = s - 3*s - 2. Does 19 divide (-2 - -1)/s + 1 - -74?
True
Let s = -4650 - -8234. Is s a multiple of 56?
True
Let k = 146 + -102. Is 9/45 - k/(-5) a multiple of 9?
True
Suppose -2*w + 13 + 27 = 0. Let k be (9 + 1)/(2/(-2)). Let q = w - k. Does 10 divide q?
True
Let q(f) = -5*f**3 + 5*f**2 + 3*f - 4. Does 12 divide q(-4)?
True
Let l(r) = 11*r**3 + 2*r**2 - 5*r - 3. Let b be l(-3). Let t = -166 - b. Is 16 a factor of t?
False
Suppose -3*p - 460 = -5770. Is p a multiple of 59?
True
Suppose -169 = 2*v - 3*n + 8*n, -v = -n + 102. Suppose j = -3*j - 252. Let w = j - v. Is 9 a factor of w?
False
Is ((-64)/6)/((-42)/441) a multiple of 7?
True
Suppose -6636 + 156 = -16*v. Is 27 a factor of v?
True
Let z(k) = -k**2 + 13*k - 25. Suppose -3 = -3*q, -13 = -x + q - 4. Is z(x) a multiple of 5?
True
Suppose -3*b = -8*b, -4*b + 80 = -4*y. Does 7 divide (-1 - 4/y)/(4/(-450))?
False
Is 27 a factor of -3 + ((-4 + -7436)/(-4) - -6)?
True
Suppose 0*j = 5*j. Let r(x) = 8*x**2 - 1 + x**3 + j + 6*x + 0*x**3 + 0*x**3. Is r(-7) a multiple of 5?
False
Suppose -j + 140 = 5*k - 268, -5*k + 3*j = -416. Is k a multiple of 9?
False
Suppose -3*p - 16 = 5*r - 1, r - 25 = 5*p. Suppose 0 = -r*j - j + 3. Suppose j*m - 6 = 12. Is 3 a factor of m?
True
Suppose 4*t - 192 = -0*t. Suppose -3*j = -3 - t. Is 5 a factor of j?
False
Let d(k) = -2*k**2 + 61. Does 8 divide d(-5)?
False
Suppose 5*d - 435 = -2*o, 0 = -3*o + o + 5*d + 405. Suppose 3*l = -g + 237, -2*l - 53 + o = g. Does 12 divide (60/l)/(1/32)?
True
Does 11 divide (1304/32)/(2/16)*1?
False
Suppose -g + 5*g - 8 = 0. Suppose 4*o - g*o = 36. Is o a multiple of 13?
False
Does 14 divide (34/(-6))/(89/(-33909))?
False
Let v(s) = -s**2 + 7*s - 7. Let g be v(4). Suppose 0*i - 388 = -5*i + 2*w, 0 = -g*w - 20. Does 38 divide i?
True
Let r be 10/15*18/(-4). Is 8 a factor of (r + -13)*(1 - 3)?
True
Suppose 12 = -3*o, -7*d - 4*o = -2*d - 4. Suppose -d*l + 55 + 135 = -2*x, 184 = 4*l - 4*x. Is ((-42)/l)/((-2)/154) a multiple of 22?
True
Let o = -133 - -134. Is 3 a factor of 0 - ((-195)/5 + o)?
False
Suppose 0 = -13*y + 7*y - 6. Is 927/(9/3) + y a multiple of 44?
True
Let s be 7/(-28) + (-5378)/(-8). Suppose 2*f + 6*f = s. Does 21 divide f?
True
Suppose 19*o - 28 = 15*o. Suppose p - 4*z - 26 = -o, 24 = 2*p - z. Is 11 a factor of p?
True
Suppose 0 = -2*l - 40 - 14. Let b = 3 - l. Is 6 a factor of b?
True
Let q = 20 + 0. Suppose -g + 4*g = -5*j - q, 14 = -2*g - 4*j. Let i(k) = k**3 + 3*k**2 - 12*k + 2. Is 4 a factor of i(g)?
True
Let l(i) = 376*i - 8. Let n be l(1). Suppose 5*w + n = 2*z + z, 3*z - 388 = -5*w. Is z a multiple of 14?
True
Suppose 47*j - 12*j - 43015 = 0. Does 10 divide j?
False
Suppose -m = 4*r - 1181, -r - m + 284 = 3*m. Let g = 267 + -435. Let s = g + r. Is s a multiple of 34?
False
Let l(i) = -i**2 - 57*i + 28. Is 5 a factor of l(-38)?
True
Let l be 0 + 109 + (-4)/2. Suppose -l = -4*g + b, -g + 18 = -b - b. Is 14 a factor of g?
True
Let h = 1143 - 516. Is 33 a factor of h?
True
Let a(l) = l + 45. Let d(i) = 4*i**2 - 18*i + 3. Let y be d(5). Is 4 a factor of a(y)?
False
Let w(t) = 315*t**3 - 3*t + 2. Does 11 divide w(1)?
False
Let x = 16 + -20. Is 0 - ((x - -4) + -93) a multiple of 10?
False
Suppose -278 = -3*a + 2*a + m, 5*a - 1386 = 3*m. Does 6 divide a?
True
Let v be ((-2)/4)/(11/(-44)). Suppose 0 = -v*g + 2, g + g - 461 = -3*l. Does 11 divide l?
False
Let v(c) be the first derivative of -4 - 1/4*c**4 - 3*c + 3/2*c**2 + 7/3*c**3. Is v(7) a multiple of 6?
True
Let g(y) = y**2 - 5*y - 11. Let n be g(7). Suppose -n*x - 2*x = 0. Suppose -3*m + x = -15. Does 5 divide m?
True
Suppose n + 0*n - 467 = -p, 5*p - 2356 = 2*n. Suppose -5*m - 5*v + p = 0, 5*m - 5*v = -2*v + 430. Is m a multiple of 27?
False
Let y = -542 + 804. Is 21 a factor of y?
False
Suppose -9 = 5*z + 11. Let p be (-3)/((-6)/2) + (-6)/2. Is (-275)/z - p/8 a multiple of 23?
True
Suppose -z - 5*t = 3*z - 6500, 16 = 4*t. Is 65 a factor of z?
False
Let x be 0*(-2 - -3) + 4. Let r be ((-38)/(-3))/((-5)/(-75)). Suppose -n = x*n - r. Does 29 divide n?
False
Let c = 3 - 4. Let a be c/5 + 3/15. Suppose a*b = 3*b - 24. Is 6 a factor of b?
False
Suppose 4*x - 2*x = 2, -5*p = 2*x - 1367. Let n = p - 132. Is n a multiple of 16?
False
Suppose -10*c = 5*d - 5*c - 2930, 4*d = -3*c + 2348. Is d a multiple of 5?
True
Let d be 6*((-8)/6 - -1). Let b(c) = 3*c**2 + 5*c + 3. Let p be b(d). Suppose p*x - 330 = -120. Is x a multiple of 14?
True
Let m be (8/5 - 0)*(-6035)/34. Let y = m + 432. Is y a multiple of 47?
False
Let z = -13 - -13. Suppose z = -4*b - 4*i, 0*i = 4*b - 2*i - 12. Suppose 0*n - b*n + 120 = 4*v, -v = 3*n - 30. Is v a multiple of 9?
False
Let a = 860 + -478. Does 11 divide a?
False
Let r(k) = -k**2 - 15*k + 65. Is r(-13) a multiple of 3?
False
Let g(r) = 10*r**3 + 2*r**2 - 4*r + 3. Let v = 14 - 12. Let h be g(v). Let u = h + -17. Is 22 a factor of u?
True
Let m = -3 - -8. Let r be -36*(0 - m/20). Is 2 a factor of r/(-4 - -1) + 9?
True
Let k(t) = 39*t**3 + 4*t**2 - 10*t + 14. Does 14 divide k(4)?
True
Let f(x) = 4*x**2 + x + 1. Let d be f(-1). Let q be 2*(7 - (-12)/d). Suppose 3*v + q = l + 8*v, 2*v = 2*l - 16. Is l a multiple of 2?
True
Let v(p) = -11*p + 0*p**2 + 20 - p**2 + 17*p. Is v(6) a multiple of 3?
False
Suppose -6*t + 1619 = -577. Is t a multiple of 38?
False
Is 9 a factor of 207*((-2)/12 + (-56)/(-48))?
True
Suppose 0 = -5*p + 27 - 7. Let h(g) = 21*g**3 + p*g - 22*g**3 + 2*g**2 + 2*g**2. Is 35 a factor of h(-3)?
False
Let 