+ z)/((-4)/12)?
False
Suppose -2*l + l = 0. Suppose l = 3*u - r - 73, -r + 2 = -0. Let p = u - 13. Is p a multiple of 12?
True
Let y(v) = v**2 + v - 7. Let f be (-14)/63 + (-47)/(-9). Is 6 a factor of y(f)?
False
Let p = -2 + -6. Let m(l) = -l**3 - 9*l**2 - 10*l - 1. Is 15 a factor of m(p)?
True
Let y(m) = m**3 - 3*m**2 + 4*m + 1. Let g(a) = a + 12. Let b(q) = -3*q. Let w be b(3). Let s be g(w). Is 11 a factor of y(s)?
False
Let v be 5/4 + 15/20. Suppose v*j = j + 15. Is j a multiple of 5?
True
Let t = -4 - -7. Suppose 4*l - 61 - 103 = -t*n, l = 5. Is 21 a factor of n?
False
Does 3 divide -1 - -1 - (-1 - 7)?
False
Suppose -7*s + 3*s = 4*m - 28, -15 = 5*m - 5*s. Suppose 2*j + 17 + 5 = -2*y, m*y = -4*j - 28. Does 2 divide (-2)/4*y*1?
True
Let n be -4 + 5 - (-10)/(-2). Let p(b) = 7*b**3 + 3*b**2 + 8*b + 7. Let m(l) = -11*l**3 - 4*l**2 - 12*l - 11. Let w(z) = -5*m(z) - 8*p(z). Does 12 divide w(n)?
False
Suppose 0*u + 5 = 5*q - u, -2*u = 4*q - 18. Suppose -2*i - q*i = -188. Does 12 divide i?
False
Suppose s + 64 = -0*s. Let j = -25 - s. Is j a multiple of 13?
True
Suppose 0*r + 3*z = -2*r - 1, 2*r = 5*z + 23. Suppose r*v - 9 = 7. Suppose 0*f + v*f = 20. Is 2 a factor of f?
False
Let m be 8/5 + 2/5. Suppose x = m*x. Suppose -z = q - 7 - 4, x = 3*q - 4*z - 61. Is q a multiple of 15?
True
Suppose 5*h + 5*j + 45 = 0, -2*h - 4*j + 9 = -3*h. Let r = h + 37. Is 8 a factor of r?
False
Let s = -92 - -232. Is s a multiple of 28?
True
Let j = 334 + -22. Is 13 a factor of j?
True
Let t(z) = -z**3 + 2*z**2 + 2*z + 1. Let m be t(-5). Suppose -6*v + 50 + m = 0. Is 18 a factor of v?
True
Suppose y + 4*q - 3 = 28, 4*y = -5*q + 91. Is y a multiple of 6?
False
Suppose 3*m = -2*b + 409, b + 71 = 3*m + 271. Is 20 a factor of b?
False
Let n = -230 - -495. Does 20 divide n?
False
Let a = 102 - 49. Is 12 a factor of a?
False
Suppose 0 = -4*c + 745 + 275. Suppose 0 = 3*z + 2*v - 153, -5*z + 2*v + c = -2*v. Is z a multiple of 13?
False
Suppose -4*o + 3*d + 19 = 0, 2*o - 21 = -2*o + 5*d. Let n be ((-12)/(-10))/(o/10). Is (-12)/8*(-4)/n a multiple of 2?
True
Does 15 divide (4 - (-5 + -21))*14?
True
Suppose -6*o = -o - 280. Let v = o + -40. Is v a multiple of 5?
False
Let t = -93 + 32. Suppose -3*k = 3*k + 162. Let n = k - t. Does 17 divide n?
True
Suppose 64 = o - 16. Is o a multiple of 40?
True
Suppose -b - 4*a + 82 = -36, -306 = -3*b + 4*a. Is 6 a factor of b?
False
Let f(s) = -5*s + 2. Let u(m) = 26*m - 10. Let x(c) = 11*f(c) + 2*u(c). Is 4 a factor of x(-5)?
False
Suppose 5*a + t - 110 = 0, 5*a = -7*t + 3*t + 125. Is 16 a factor of (-4)/(-6) - (-742)/a?
False
Let o be (-248)/(-60) - 8/60. Suppose 0*w - 152 = -o*w. Is 32 a factor of w?
False
Let v be 0/(3/(9/6)). Suppose v = 5*l + 2*a - 76, -2*l + 2*a - 7 + 29 = 0. Is l a multiple of 14?
True
Does 31 divide (-8376)/(-45) + 10/(-75)?
True
Let c = 3 - -3. Suppose 6 + c = 3*b. Suppose 0 = -8*n + b*n + 48. Does 5 divide n?
False
Let g(n) = -8*n**3 - 5*n**2 - 4*n - 1. Does 11 divide g(-3)?
False
Is 3 a factor of (1 - (-3 + -6)) + (2 - 1)?
False
Suppose 2*a = a + 18. Suppose x - a = -x. Is 5 a factor of ((-30)/x)/(1/(-3))?
True
Suppose -o = o - 90. Does 15 divide o?
True
Let p(f) = -38*f**2 - 2*f + 1. Let a be p(1). Let g = 4 + a. Does 10 divide (2 - 28/10)*g?
False
Suppose 2*i = -5*g + 240, -4*i + 0*g = 2*g - 480. Is i a multiple of 15?
True
Suppose -4*v - 20 = -t, 3*t - 4*v = -2*v + 20. Suppose 0 = 2*c + t*w - 236, 8 - 4 = -2*w. Suppose n + c = 3*n. Is n a multiple of 23?
False
Let u = 11 + -8. Let v(l) = l - 3. Let t be v(u). Suppose -i + 0 + 5 = t. Does 3 divide i?
False
Let v be 50/(3 - (1 + 0)). Suppose -55 = -5*t + 2*s, 5*s = -0*s + v. Suppose t = 4*k - 39. Is 13 a factor of k?
True
Is ((-1275)/60)/(1 + (-5)/4) a multiple of 17?
True
Let z(p) = 14*p. Is 17 a factor of z(4)?
False
Let n = -17 + 29. Is 6 a factor of n?
True
Let r = 5 + -2. Suppose 3*c - 81 = r. Does 8 divide c?
False
Let m(p) = -2*p - 18. Let v(c) = c + 9. Let s(b) = 3*m(b) + 7*v(b). Let u be s(-5). Suppose 0*y - 28 = -u*y + 5*o, -y - 5*o + 32 = 0. Does 4 divide y?
True
Let b(j) = j + 8. Does 5 divide b(8)?
False
Suppose 0 = -2*p + 2 - 0. Does 14 divide p + (33 - 3 - 3)?
True
Let v(r) be the first derivative of r**4/4 - 2*r**3 - r**2 + 8*r - 2. Let p be v(6). Let i = p + 10. Does 6 divide i?
True
Is (-2)/(-3)*(97/2 + 1) a multiple of 23?
False
Let o be 2/(-3) - (-294)/9. Suppose 3*s = s + o. Is s a multiple of 16?
True
Let t(a) = 2*a**2 - 10*a + 5. Let u be t(7). Let f = u - 15. Does 9 divide f?
True
Suppose -4*i = s + 6, 3*s - 16 = -0*s + 5*i. Suppose 0 = s*t - 109 - 5. Is t a multiple of 22?
False
Suppose 3*f = q + 16, -5*f - 3 = 5*q - 23. Let v(m) = 2*m - 6. Let r be v(f). Suppose -20 = -u + r*o - 3, -4*o = 12. Is u a multiple of 5?
True
Let x = -44 - -188. Is x a multiple of 18?
True
Let p(z) = z**3 - 6*z**2 + 6*z - 7. Let l be p(7). Let c be 1 - (l/3)/(-1). Suppose -5*r + 97 = 4*w + c, 2*r - 102 = -5*w. Is 11 a factor of w?
True
Suppose 0 = 3*n + 11 + 34. Let o = n + 2. Let g = -7 - o. Does 6 divide g?
True
Suppose 5*f + c - 73 = -0*f, 3*c + 6 = 0. Is f a multiple of 14?
False
Is 4 a factor of 3 - 3*(-1 + -4)?
False
Does 2 divide 19 + -2 + (6 - 7)?
True
Let k = 6 - 12. Let p be k/(-33) + (-546)/(-22). Let t = 3 + p. Is 13 a factor of t?
False
Let y(v) = v**2 + 3*v - 5. Let s be y(-5). Suppose 0 = s*w - 3*w - 12. Is w a multiple of 6?
True
Suppose 4*c + 12 + 26 = 2*b, -5*b = 2*c - 95. Is b a multiple of 7?
False
Let l be (-2)/7 - 90/(-21). Suppose -3*s + l + 5 = 0. Suppose 19 = r - 4*k, s*r = -2*r - 3*k + 49. Is r a multiple of 11?
True
Let k(s) = -9*s - 1. Let a be k(-1). Let r = a - 6. Suppose 0 = -o + r*g + 31, 0*o + 133 = 3*o + 4*g. Is o a multiple of 14?
False
Suppose 0*r - 15 = -3*r. Is r even?
False
Suppose 4*a + 8 = -8. Does 7 divide -2 - 104/a*1?
False
Let j(u) = -u**3 + 7*u**2 + 3*u. Let c be j(7). Let d = -9 + c. Is 12 a factor of d?
True
Let o(l) = -4*l. Let p be o(-5). Let q = p - -10. Suppose 62 = 2*z + 3*r, 63 = 3*z + 2*r - q. Does 12 divide z?
False
Let z be 1/(-3) + 20/6. Is 8/3*z/2 a multiple of 4?
True
Suppose 4*d + 2*f = 250, 3*f = 5*d + 2*f - 302. Does 10 divide d?
False
Suppose -2*p + 2*h + h = 19, -p - 4*h - 4 = 0. Suppose i = -3*i - 60. Does 20 divide (i/2)/(3/p)?
True
Let v be 10/25 + 66/(-15). Let h(n) = 3 - 6*n - n + 0. Is h(v) a multiple of 11?
False
Let y be 7/4 + (-2)/(-8). Suppose -2*c - 2*c = 3*p - 14, y*c = p + 12. Suppose c*d - 40 = -0*d + 4*b, b + 8 = d. Does 7 divide d?
False
Suppose 0 = -4*i + 164 - 4. Let h = i - 24. Is h a multiple of 8?
True
Let n be (-12)/((-35)/(-10) + -2). Suppose -6*o = -o. Is 13 a factor of -8 - n - (o - 13)?
True
Let v = 26 - 0. Suppose 3*l - 1 - v = 0. Does 9 divide l?
True
Let m(b) be the third derivative of b**2 + 0*b - 1/12*b**4 + 1/2*b**3 + 0 + 1/60*b**5. Is 3 a factor of m(3)?
True
Is 11 a factor of (25/(-2) + -1)/(9/(-12))?
False
Suppose 327 + 37 = z. Is 26 a factor of z?
True
Suppose 16 = 4*c - c + t, -2*c = -3*t + 4. Suppose -3*d = c*y + 2, -2*y = 2*d - d + 2. Does 4 divide (4 - d) + (3 - 1)?
True
Let n(i) = 13*i + 4. Let y be n(-3). Let q = -7 - y. Let t = -16 + q. Is t a multiple of 4?
True
Let b(a) be the third derivative of a**5/10 + a**4/12 - a**3/6 + 2*a**2. Suppose 0 = 5*h - 5*m + 25, 2*h + 6*m = 2*m + 8. Is b(h) a multiple of 9?
False
Let d = 141 - 68. Is 15 a factor of d?
False
Suppose -2*l + 4*l = 4. Suppose -l*r - 4 = 2, 0 = -2*y + 4*r + 18. Suppose -5*s - 25 = 0, y*s - 5*s = -a + 26. Is 16 a factor of a?
True
Suppose -2*r + 20 = 4*c, 5*c - 7*r + 4*r = 14. Suppose -c = -n + 24. Is n a multiple of 15?
False
Let l be (2/(-6))/(9/54). Does 8 divide l/5 - (-948)/20?
False
Let g = 184 + -178. Does 3 divide g?
True
Is 9 a factor of (38/4)/(2/4)?
False
Let z(g) = g - 8. Let p be z(8). Suppose p = -3*n + 2*m + 10, 0*m = 3*n + 3*m. Suppose 3*d = -5*k + 22, 16 = 2*d - n*k + 4*k. Is 4 a factor of d?
False
Let i(l) = -2*l + 3 + l - 5. Let s be i(7). Is (s/2)/((-2)/8) a multiple of 14?
False
Let n(w) = 3*w**2 + 1. Let d be n(1). Suppose -4*i + 65 = -2*r + r, 5*r + 69 = d*i. Is 4 a factor of i?
True
Suppose 0 = 4*t - 2*t + 34. Let q = t + 40. Is 15 a factor of q?
False
Suppose 4*h = -t + 313, 2*t = -0*h - 5*h + 620. Is t a multiple of 13?
False
Suppose -t - 4*s + 112 = 2*t, -176 =