(-48)/40 + 424/20 a multiple of 8?
False
Suppose d + 2*d + 6 = 0. Let x(g) = -3*g**3 - g**2 + 2*g + 1. Is 7 a factor of x(d)?
False
Let q(t) = t**3 - 6*t**2 - t + 8. Let p be q(6). Does 6 divide ((-68)/8)/((-1)/p)?
False
Let j be (-4)/(4/(-15)) + -1. Suppose -r + j = -0*r. Is r a multiple of 14?
True
Suppose 4*g - 37 + 5 = -k, 147 = 3*k - 5*g. Suppose -4*t + k = 8. Suppose -2*x + 5 = -t. Is x a multiple of 7?
True
Let c(t) = -t. Let m be c(-2). Suppose 450 = i + m*i. Suppose i = x + 4*x. Is x a multiple of 15?
True
Suppose -4*i + x = -14, -2*x = -7*i + 2*i + 19. Suppose 4*y = 5*y - i. Suppose 0 = o + 2*f - 24, 0*o + y*f + 29 = o. Is 9 a factor of o?
False
Let q(t) = -t**3 + 10*t**2 - 5*t - 12. Is 5 a factor of q(9)?
False
Suppose 3*l = 2*w + 401, l + 3*w - 124 = 28. Suppose n - l = -2*n - 4*s, 0 = 5*n - 5*s - 240. Is 17 a factor of n?
False
Let v(x) = 2*x**3 - 2*x + 3. Let l be v(4). Suppose 4*o = o + l. Is 19 a factor of o?
False
Let m be 52/12 + 2/3. Suppose 4*i + 40 = -4*h + 6*h, -h - m*i + 41 = 0. Is h a multiple of 19?
False
Let g = 0 - 0. Suppose -2*i - 6 + 46 = g. Suppose -2*o + o + i = 0. Is 10 a factor of o?
True
Let p = 13 - 31. Is (12/p)/(2/(-36)) a multiple of 3?
True
Suppose 0 = 2*m - 0*m - 194. Does 25 divide m?
False
Let p(w) = -9*w**3 - w - 1. Suppose 4*s - 7 = -5*l, -5*s + 19 = -2*l - 2*l. Does 4 divide p(l)?
False
Suppose 4*a + j - 133 = 0, 3*a - 2*j + 68 = 5*a. Is 8 a factor of a?
False
Let m = -5 + 15. Let l be 2/(-4) + 5/m. Suppose 0 = -l*j + 5*j - 55. Is j a multiple of 3?
False
Let y(u) = 41*u**3 + u**2 + u - 1. Is 7 a factor of y(1)?
True
Suppose -2*n + 153 = -31. Suppose 2*z = 4*z - n. Does 23 divide z?
True
Let k(o) = o**3 + o**2 - o - 3. Suppose -5*r - 2*t + 12 = 0, -4*t + 7 = 3*r - 3. Is 2 a factor of k(r)?
False
Let o be (-8)/6 + (-595)/(-21). Is (-176)/(-6) - (-18)/o a multiple of 10?
True
Let l = 11 - -95. Let o = l - 24. Is 25 a factor of o?
False
Let i = -54 + 127. Does 14 divide i?
False
Is ((-2)/(-2))/(2/122) a multiple of 13?
False
Suppose 0*r + 3*r - 3*w - 15 = 0, -5*w = 2*r - 3. Let s = r + -4. Suppose s = 5*c + 7*d - 3*d - 108, 5*c - 2*d = 126. Is c a multiple of 13?
False
Suppose 0 = -6*a + a, -2*c + 2*a = 0. Let y(l) = l + 8. Let f be y(c). Suppose -x - 144 = -4*p, f*p + 3*x = 3*p + 197. Is 13 a factor of p?
False
Let v be (-95)/(-25) + (-3)/(-15). Let s = 48 - v. Is s a multiple of 11?
True
Suppose -y - 3*b + b = -24, 0 = -3*y + 4*b + 22. Is 14 a factor of y?
True
Let z(b) = 2*b**2 + 6*b + 5. Suppose 4*a = 2*h + 20, -4*h + 5*a - 2 = 29. Does 13 divide z(h)?
True
Is (68 - 0) + 4 + -7 a multiple of 24?
False
Suppose 3*s - k - 356 = -19, -3*s = -5*k - 329. Is s a multiple of 13?
False
Suppose -10*t = -9*t - 186. Does 15 divide t?
False
Is 12 a factor of (9/(-2))/(3/(-32))?
True
Let v(f) = f**3 - f**2 - 5*f. Let b be (1 - (1 + 0))*-1. Suppose 5*t - 20 = -b*t. Is v(t) a multiple of 14?
True
Let v(h) be the first derivative of -h**3/3 - 2*h**2 + 4*h + 2. Let b be v(-5). Does 12 divide b/(3/(-2 - 70))?
True
Let g = -19 + 12. Let i(a) = -a**3 - 6*a**2 + 6*a. Let d be i(g). Let t(k) = 4*k + 6. Is t(d) a multiple of 17?
True
Let m(u) = u + 8. Let h be m(-6). Suppose -h*y - 78 = -4*y. Is 13 a factor of y?
True
Let q be (-1)/((-15)/6)*10. Suppose -4*i = q*y - 22 - 10, i = 5*y - 16. Suppose 2*a = 2*p - 20, y*p - 2*a + 4*a = 64. Does 14 divide p?
True
Suppose 3*f = 5*c + f - 12, f - 1 = -c. Let x = 0 + -15. Is (6/x)/(c/(-20)) a multiple of 2?
True
Let i(t) be the third derivative of -5*t**4/24 + 2*t**3/3 - t**2. Does 11 divide i(-6)?
False
Let p = 13 - 37. Suppose 4*k - a = 5*k - 43, 0 = k - 3*a - 47. Let b = k + p. Is 20 a factor of b?
True
Let u = -10 + 51. Is 10 a factor of u?
False
Suppose 3*u - r + 24 = 4*u, -3*u + 2*r = -92. Let d = -4 + u. Is d a multiple of 8?
True
Does 25 divide 0 + 19/2*10?
False
Suppose 0 = -3*v - 15, 3*y + 5*v = -12 - 1. Suppose 4*f + y = -4. Let x = f - -14. Is 12 a factor of x?
True
Let v = -3 - -7. Suppose -m + v*h + 33 = 0, 5*m + 0*h - 93 = -4*h. Is m a multiple of 21?
True
Let n be 3*(5 + 1)/3. Suppose 26 = 2*i + n. Does 5 divide i?
True
Suppose -i + 2*i - 6 = 0. Suppose -i*o + 3*s + 54 = -2*o, -2*s - 64 = -5*o. Does 12 divide o?
True
Let k(c) = -c**3 + 9*c**2 - 7*c - 5. Let t be k(8). Is 27/t*(-2)/(-6) a multiple of 2?
False
Suppose 0 = 2*f - 0*f - 58. Is 3*2/6 + f a multiple of 10?
True
Let t(p) = -3 - 3 + 14 + 8 + 2*p**2 + 6*p. Is 24 a factor of t(-7)?
True
Let y(c) = 4*c**2 - 3*c. Let l(u) = 3*u**2 - 4*u + 1. Let q(h) = 5*l(h) - 4*y(h). Is 6 a factor of q(-7)?
True
Suppose 308 = 8*z - 4*z. Does 13 divide z?
False
Let l = 12 + -1. Suppose -3 = -4*s + 9. Suppose 5*o - 99 = m, o = -s*m + l + 12. Is 7 a factor of o?
False
Suppose -105*f - 14 = -107*f. Is f even?
False
Let l(t) = -3*t - 6. Suppose -5*p = -b - 13, -5*p + 0*p = -10. Does 3 divide l(b)?
True
Suppose 4*o = y - 11, 0*y - 4*y = -2*o - 16. Let w = y - -19. Does 11 divide w?
True
Is ((-16)/(-5))/(6 - 445/75) a multiple of 3?
True
Suppose 5*z - 3*z = 48. Is z a multiple of 4?
True
Let j(a) = 11*a**3 + 3*a**2 - 3*a. Is 9 a factor of j(2)?
False
Suppose -2*d + 18 = -12. Let f = d - 13. Does 2 divide f?
True
Let v = 51 + 44. Let b be 0 - 2/(-1) - -1. Is 20 a factor of (-2)/b + v/3?
False
Is -19*46/(-10) - (-3)/5 a multiple of 5?
False
Let w(n) be the third derivative of 0 + 0*n - 1/120*n**6 - 2*n**2 + 5/3*n**3 - 2/15*n**5 - 1/3*n**4. Does 11 divide w(-7)?
False
Let f = -4 - 0. Let o be (f - 1)*18/(-30). Suppose 4*k = v - 27, 4*k + 67 = o*v - k. Is v a multiple of 17?
False
Suppose -2*r - h = 4*h - 193, 498 = 5*r - 3*h. Is 12 a factor of r?
False
Let x = -14 - -15. Suppose 0 = 2*t - 5*i - 15, -9 = -2*i + x. Does 14 divide t?
False
Let u(l) = -l**2 + 6*l - 3. Let x be -2 + 6 + 0/2. Let d be u(x). Suppose 0 = d*k - 83 - 27. Is 10 a factor of k?
False
Let f = 8 - 6. Let a be (-235)/(-45) + f/(-9). Suppose a*y = 3*y + 28. Does 7 divide y?
True
Suppose 0 = 4*z + z - 5. Is 27 a factor of 14 + 40 + (z - 1)?
True
Suppose -3*p = 13 + 5. Let j be (0/3 - 2) + -2. Is 4 a factor of (-160)/(-15) - j/p?
False
Let q(s) be the second derivative of -s**5/60 - s**4/3 - s**3/2 - s. Let m(h) be the second derivative of q(h). Does 12 divide m(-10)?
True
Let b(v) = -3*v**2 - 43*v - 5. Is 6 a factor of b(-14)?
False
Is 13 a factor of (-4 - -6 - 0) + 141?
True
Suppose -2*z + 48 = -z. Let w = z + -33. Does 10 divide w?
False
Suppose 6*o - o = 20. Suppose 5*q = 5*a + 10, -3*a + 4*q = -0*a + o. Let k = 15 + a. Is k a multiple of 11?
True
Suppose -n + 4 = n. Let i(k) = 24*k - 3. Is 15 a factor of i(n)?
True
Suppose -f - 214 = -4*h + h, -3*f - 292 = -4*h. Is 10 a factor of h?
True
Suppose -3*m = 9, 2*b + 35 = 2*m - 9. Suppose 5*q + 100 = 375. Let o = q + b. Is o a multiple of 15?
True
Let c be 20*3*(-2)/(-12). Suppose 0 = -y + 3*y. Let n = y + c. Is n a multiple of 10?
True
Suppose w = 3 - 2. Suppose -5*s + 2*h - 17 = w, 4*h = 16. Is 14 a factor of 2/(2/37) - s?
False
Let u(f) = -f**2 - f + 4. Let i be u(0). Suppose 0 = m + i*j - 21, 2*m - 18 = 2*j - 4*j. Suppose b = m*h - 82, -2*b = -h + 3*b + 26. Does 8 divide h?
True
Suppose l = 135 - 38. Is l a multiple of 19?
False
Suppose 2*q - 1294 = 4*y - 3404, 2*y - 1061 = -q. Is y a multiple of 68?
False
Let c(l) = 96*l**2 + 2*l + 1. Let y be c(-1). Let u = y + -67. Does 23 divide u?
False
Suppose -2*w + 8 = 0, -3*w - 2*w = i - 36. Does 6 divide i?
False
Let q(w) = 4 - 5 - 1 + 1 - 4*w + 2*w**2. Does 5 divide q(3)?
True
Suppose 4*q = -2 - 6, 0 = -3*x - 5*q - 25. Is 9 a factor of 4/(-10) - 92/x?
True
Suppose -z + 2*p + 28 = 3*z, 5*z - 5*p - 25 = 0. Does 9 divide z?
True
Let u = -18 + 23. Is 4 a factor of (-10)/25 + 47/u?
False
Let d(i) = 69*i**2 - 1. Let p be d(1). Suppose 4*m - 496 = -3*a, -a + 96 = m - p. Suppose -4*l - l = -a. Is l a multiple of 11?
False
Let a(z) = 5*z**2 + 2*z - 2. Let s be a(-2). Suppose 92 - s = 3*n. Is 13 a factor of n?
True
Let b(y) be the first derivative of 2*y**2 + 9*y + 14. Suppose -3*n - 3*q = -5*q - 17, n + 5*q = 17. Is b(n) a multiple of 19?
False
Let c = 20 + 18. Suppose 0 = -4*r + i - 5*i + 40, -3*r = i - c. Is r a multiple of 7?
True
Let l(v) = v**3 + 6*v**2 + 9*v + 14. Does 5 divide l(-4)?
True
Suppose 0*q = 3*q + 45. Is (18/q)/(6/(-100)) a multiple of 12?
False
Let m = -121 +