a multiple of 15?
False
Suppose 5*v - 114 = -4*j + 3*v, 3*j - 69 = 4*v. Suppose -4*h + 5 = -11. Suppose -4*f - 3 + j = -4*g, h*f - 30 = g. Is f a multiple of 4?
True
Let u(g) be the second derivative of 0 - 1/12*g**4 + 0*g**3 + 13*g**2 + 1/20*g**5 - 3*g. Is 12 a factor of u(0)?
False
Suppose -v + 5 = -0*v, -2*l + 28 = 4*v. Suppose 5*d = l*f - 3*f + 205, 0 = -3*d - 5*f + 151. Does 14 divide d?
True
Let u(y) = -3*y**3 + y**2 + 2*y + 1. Let o be u(-1). Suppose 2*d - o*d = -15. Is d a multiple of 13?
False
Let v(n) = -5*n + 15. Is 5 a factor of v(-15)?
True
Let j = 15 + -11. Let o be (-4)/(-6) - 58/(-3). Suppose j*t - o = -t. Is t a multiple of 2?
True
Suppose 0 = -4*p + 53 + 127. Does 9 divide p?
True
Suppose -c = -3 - 9. Does 4 divide c?
True
Is 18 a factor of (-46)/(-3)*(-8 - -11)?
False
Let h be ((-4)/(-2) - 2) + 5. Suppose -3*c = -h*d - 27, 5*d - 3 = 2*c - 26. Is 312/(-18)*(-6)/c a multiple of 13?
True
Let q(z) be the second derivative of -z**4/12 - z**3/2 + 2*z**2 - z. Let m be q(-5). Let y(g) = g**2 + g - 4. Is y(m) a multiple of 13?
True
Let o = 49 + -7. Is o a multiple of 7?
True
Let s(h) = 7 + h**2 + 9*h**2 - h**3 - 2*h**2 - 2*h - 4*h. Is s(7) a multiple of 12?
False
Suppose -3*z + 5 = -1. Suppose z*y = 27 + 89. Suppose j - y = -j. Is j a multiple of 16?
False
Let l be 144/45 - (-1)/(-5). Suppose j - 6 = 2*j + l*r, 2*j + 5*r = -9. Is 2 a factor of j?
False
Suppose 4*u = -3*b + 20 + 7, u = 3*b + 3. Let g(w) = -7 + 0*w**3 - w**3 - 4*w + 0 + 7*w**2. Is g(u) a multiple of 2?
False
Let p = -25 - -18. Let x(g) = -g**3 - 8*g**2 - 9*g - 2. Let f(t) = 2*t**3 + 16*t**2 + 18*t + 3. Let q(s) = -3*f(s) - 5*x(s). Is 10 a factor of q(p)?
False
Let j = 6 + -6. Suppose 0 = -g - j + 12. Does 12 divide g?
True
Let s be 2*(1 + 1) - 2. Let u = s - -2. Suppose 0 = 2*k - u*h - 72, -h = -2*k + 2*h + 75. Is k a multiple of 21?
True
Suppose 60 = 3*y + 3*t, -3*y + 12 = -5*t - 40. Does 4 divide y?
False
Let z be 1 + (-2 + 5)/1. Suppose -12 = -4*b + 4*k, -2*b + 21 + 15 = z*k. Is b a multiple of 8?
True
Let p(w) = w - 7*w + 3*w - 3 + 6. Let t be p(-8). Suppose 8*m = 5*m + t. Is 5 a factor of m?
False
Let d(r) = 6*r**3 + r**2 + 3*r + 2. Let h be d(-1). Is 9 a factor of (-807)/(-15) + h/(-30)?
True
Let d = 4 - 1. Let m be ((-34)/(-3))/(2/d). Suppose 2*j = m + 3. Is 5 a factor of j?
True
Suppose -2*z - 5*z + 399 = 0. Does 8 divide z?
False
Suppose 3*i - 2*n - 10 = i, 4*i - 8 = -2*n. Suppose -i*s - 8 = -7*s. Suppose -3*w + 20 = s*w. Is 2 a factor of w?
True
Let q(b) = 6*b**2 + 7*b - 3. Let z(c) = -c**2 - c + 1. Let g(k) = q(k) + 5*z(k). Is g(4) a multiple of 15?
False
Let o = -9 - -7. Is 7 a factor of (-10 + 4)/o + 4?
True
Let s(a) = 2*a**2 - 9*a + 5. Is s(6) a multiple of 11?
False
Suppose -5*m = 5*t - 80, -2*m - t + 33 = -0*m. Is 17 a factor of m?
True
Let x(b) = -b**3 + 12*b**2 + 5*b - 9. Let i be x(12). Let h = -33 + i. Does 12 divide h?
False
Suppose 2*b = 7*b - 115. Let f = b + -8. Is f a multiple of 13?
False
Let m(f) = -f**3 + 2*f**2 - 4*f + 3. Let j be m(2). Let a = j - -5. Suppose a*i = -4*i + 84. Is i a multiple of 21?
True
Let p be -1*(-2)/((-2)/15). Let x = p + 32. Does 10 divide x?
False
Let s(t) = 3*t**3 + 0 - t**2 - 2*t**3 + 2. Let h be s(0). Suppose -45 + 9 = -h*c. Is c a multiple of 9?
True
Let m(y) = 3*y**3 - 2*y**2 - y - 1. Is m(3) a multiple of 20?
False
Suppose -4*s + 3*h = -9, s - 7 = -2*h - 2*h. Let v be (-40)/s*9/6. Let m = v + 53. Is 9 a factor of m?
False
Let d(f) = f**2 + 6*f - 5. Let s be d(-7). Let w be 6/(-4)*s*1. Let i(j) = j**3 + 5*j**2 + j. Is 6 a factor of i(w)?
False
Let n = -2 - -4. Suppose n*a = -2*a + 208. Suppose k + k = a. Is k a multiple of 10?
False
Let u be (-5)/20 + (-13)/(-4). Suppose u*j - 12 = 2*c + 9, 3*c = 5*j - 35. Is j a multiple of 2?
False
Suppose -z - 4*z - 1310 = 0. Let s = -186 - z. Let a = -50 + s. Is a a multiple of 10?
False
Suppose 5*t + 79 = 24. Does 19 divide (-4)/22 - 563/t?
False
Does 4 divide 9/(-27) - 25/(-3)?
True
Let l be (-1478)/(-9) - 2/9. Let i be (1 + 0)/((-2)/l). Let s = 117 + i. Is s a multiple of 10?
False
Is 24 a factor of (-1 + -11 - 3)*(-68)/10?
False
Suppose 8*d = 6*d - 5*o + 515, 0 = 5*d - 4*o - 1304. Is 13 a factor of d?
True
Let t be 2/(-2) + 3 + 0. Let l = 0 + 0. Suppose 4*i - 59 = -5*y, l = 6*y - t*y + 4. Is 16 a factor of i?
True
Is 8 - (-2 - -6)/4 a multiple of 3?
False
Let j be 98/8 - 4/16. Let z be ((-332)/j)/(2/6). Let h = -55 - z. Does 12 divide h?
False
Let c = -143 - -213. Is c a multiple of 11?
False
Suppose 3*h = -5*m - 12, 3*m + h + 8 = -0*m. Let b(f) = -8*f - 3. Is b(m) a multiple of 14?
False
Suppose -4*z = -2*q + 132, -2*z + 38 = 2*q - 64. Is 14 a factor of q?
True
Suppose -z = -2, 0 = 4*b - 0*z - 4*z + 4. Let p be b/((1/3)/(-1)). Let i(c) = -12*c + 2. Is 16 a factor of i(p)?
False
Let g(q) = -4*q - 8. Does 7 divide g(-9)?
True
Suppose -5*j = -3*j - 44. Is (-4 - (-36)/8)*j a multiple of 2?
False
Suppose 6*y - y = k - 3, 0 = -4*y + 2*k. Let t(i) = -5*i - 1. Let n be t(y). Suppose -2*z = o - 10, -3*z + 7 = n*o - 48. Is 6 a factor of o?
False
Suppose 2*l = l - 3948. Let g be (-2)/(-11) - l/66. Suppose -5*j - 5*k = -g, -2*j + k + 30 = 6. Is j a multiple of 11?
False
Suppose 3*l = z, 9*l - 4*l + 5*z = 20. Suppose 4*b - l - 4 = -p, b = 0. Suppose p*r = -0*r + 30. Is 6 a factor of r?
True
Is (-3 + -3 + 56/6)*15 a multiple of 10?
True
Let z be 0 + (-1 - -2 - -1). Suppose -t - 9 = z*t. Let p = t + 49. Does 23 divide p?
True
Suppose 4*o = -5*g - 27, -3*g + 2*g - 4*o - 15 = 0. Let m(j) be the second derivative of -j**4/12 - 5*j**3/6 - j**2/2 - 3*j. Is 5 a factor of m(g)?
True
Let z be (-22)/(-12) + 1/6. Suppose 0*k - 63 = -k. Suppose z*o - 5*o = -k. Does 18 divide o?
False
Does 16 divide -4 + 56 + (2 - -1)?
False
Suppose 149 + 331 = 5*i. Does 16 divide i?
True
Let c(r) = 20*r - 2. Does 14 divide c(3)?
False
Let r be 102/30 + 2/(-5). Is 11 a factor of 11*(r + -1)/2?
True
Suppose 4*z - 2*n = -3*n + 82, 5*z = -5*n + 95. Suppose -3*l = -3*t + z, 5*l + 16 = 3*l + 4*t. Let g = l + 14. Does 4 divide g?
True
Let w = -6 + 8. Suppose -29 = -n - w. Is n a multiple of 9?
True
Suppose 2*z - 87 = s - 2*s, -3*s - 3*z = -252. Does 27 divide s?
True
Let c be (-1 - -2)*(1 + 2). Suppose 3*n + 5 = -4*l - 8, -5*n - 2*l = c. Suppose -46 = -2*q - 2*d, -n + 80 = 3*q - 2*d. Does 10 divide q?
False
Let x(c) = -2*c + 2. Suppose 21 = 3*l - 6*l + k, -5*l - 3*k = 21. Does 10 divide x(l)?
False
Let z(r) be the first derivative of 2*r**3/3 - 3*r**2 - r - 4. Let j be z(8). Suppose 67 = 3*p + 4*n, -3*p + 7*p - j = 5*n. Is p a multiple of 16?
False
Let w be (-4)/(-18) - 50/(-18). Suppose -18 = -w*j - 3*h, 0 = j - 5*j + 2*h + 12. Suppose -5*l - 13 = -b + 7, -4*b + 200 = j*l. Is 14 a factor of b?
False
Let v(w) = w**3 + 12*w**2 - 17*w + 13. Let d be v(-13). Suppose -4*z = z - d. Does 13 divide z?
True
Let t(d) = 6*d - 3. Does 4 divide t(5)?
False
Suppose -4*s - 4*k = 28, -15 = -0*k + 3*k. Let c be (-645)/(-9) - s/6. Let d = -38 + c. Does 9 divide d?
False
Let s be 11/44 + 55/4. Does 7 divide (s/6)/((-2)/(-18))?
True
Let c(a) = -7*a + 2*a + a**3 + 0*a - 2 + 6 - 7*a**2. Is 28 a factor of c(8)?
True
Suppose 0 = 3*l - 5*l + 22. Is 10 a factor of l?
False
Does 6 divide 2*2/(-4) - -13?
True
Suppose 0 = -5*r - 76 + 256. Is r a multiple of 9?
True
Suppose 0 = 5*g - 3*v - 0*v - 137, -3*g + 83 = -2*v. Let r = g + -15. Is 5 a factor of r?
True
Suppose 0 = -0*d + 2*d - 58. Let x be 80/45 - (-4)/18. Suppose -2*g + x*z + 41 = -z, -2*g + d = z. Is 7 a factor of g?
False
Let c(x) be the second derivative of x**7/280 - x**6/720 + x**4/6 + 2*x. Let t(k) be the third derivative of c(k). Is t(1) a multiple of 3?
False
Is 12 a factor of (2*3)/(16/112)?
False
Let s = -25 + 34. Does 2 divide s?
False
Let m(s) = s - 5. Let z be m(4). Let u = -1 - z. Does 17 divide u + 1 + 3 + 30?
True
Let r = -24 + 87. Is 21 a factor of r?
True
Let n be 2/(-4) - (-3)/2. Is 2 - (-15 - (n + -2)) a multiple of 16?
True
Let t(z) = -3*z - 5. Let s(q) = -3*q - 5. Let i(d) = -3*s(d) + 4*t(d). Let k be i(4). Does 17 divide k*(-3)/((-3)/(-1))?
True
Suppose 5*g + 166 - 491 = 0. Does 13 divide g?
True
Suppose k = -4*m + 8, -2*k - 2*k + 4 = 2*m. Let d = -2 + m. Suppose 0 = -3*q + 4*f + 3 + 28, -5*q - 2*f + 43 = d. Is 9 a factor of q?
True
Let a be 10860/100 + (-3)/5. 