). Suppose 0 = -f*i + 5*m + 5, i + 2*i - 2*m = 5. Is 11 a factor of (-3)/(-6)*(i + 37)?
False
Let u(q) = -q**3 + q**2 + 1. Let g be u(0). Suppose g = -s + 6. Is s a multiple of 3?
False
Let a be (-1)/(-1) - (4 + 2). Let q = a + 5. Suppose q = 3*f - 7*f + 60. Is f a multiple of 12?
False
Let d = 4 + -5. Let t = 3 + d. Is 10 a factor of 2 + (-1)/(t/(-36))?
True
Let z be (-1)/(-2)*4/(-2). Let h be (-2)/(-6) - (-10)/6. Is 2 a factor of z + 6 - 4/h?
False
Let m = 45 + -28. Is 4 a factor of m?
False
Let l = -145 + 223. Does 39 divide l?
True
Does 7 divide 1*(-4 - -18) - 0?
True
Let x(r) = 1 + 4*r**3 - 4 + 0 + 4*r. Is x(2) a multiple of 10?
False
Does 4 divide ((-6)/(-5))/(-2) - 1316/(-35)?
False
Let q be 2/8 + (-1)/4. Suppose -5*o = -b - 4 - q, 5*b = 3*o + 24. Suppose f - b = -1. Is f a multiple of 5?
True
Let h = 0 + 4. Let b(m) = -m**3 - 4*m**2 - 6*m - 1. Let k be b(-5). Suppose h*l + k = 182. Is 18 a factor of l?
False
Let b be 21/6 - 1/(-2). Suppose 5*m - 3*y - 12 = 0, 8*m - 3*m - 11 = b*y. Suppose m*h - 4 = 20. Is 4 a factor of h?
True
Suppose 7*g - 340 = 2*g. Does 17 divide g?
True
Suppose -3*d - 1 - 14 = 0. Is 15 a factor of 6/d*100/(-8)?
True
Let i(h) = -h**3 + 7*h**2 + 10*h - 8. Let q be i(7). Suppose -2*n - q = -4*n. Is 8 a factor of n?
False
Let u(b) be the third derivative of -b**6/720 + b**5/20 - b**4/24 - 2*b**2. Let p(c) be the second derivative of u(c). Does 3 divide p(3)?
True
Let j be (-1)/3 - 520/6. Let c = j + 127. Is 16 a factor of c?
False
Let o(f) = f**3 - 4*f**2 + 3. Let c be o(4). Let q = c - 2. Suppose 0 = w + q - 23. Is 11 a factor of w?
True
Let z(y) = 6*y - 6 + 6. Let t be z(2). Suppose -4*n + 0 = -t. Is 2 a factor of n?
False
Does 9 divide 69/(-2)*4*4/(-24)?
False
Suppose -c + 53 = 20. Is c a multiple of 33?
True
Let s(w) = -6*w**3 - 2*w**2 - 12*w + 3. Let d = 6 + -7. Let a(i) = -i**3 + i**2 - i + 1. Let o(c) = d*s(c) + 5*a(c). Does 7 divide o(-5)?
False
Let f(k) = -25*k + 4. Let q be f(-4). Let l = q + -71. Is 18 a factor of l?
False
Suppose -a - 7 = -2. Let x be a*2 - (-8 + 11). Let t = 29 + x. Is 8 a factor of t?
True
Suppose z = -4 + 2, -2*t - 2*z = 12. Let r be (-14)/(-2)*t/4. Let g(q) = -4*q - 8. Is g(r) a multiple of 15?
False
Let i(k) = 4*k**2 - 3*k + 1. Suppose 5*f = 101 - 36. Suppose -5*v = l + 2*l - f, -v + l = -1. Is i(v) a multiple of 11?
True
Let y be (-14)/(-4)*120/70. Suppose q + 2*c - y = 5*c, -2 = c. Suppose -3*h + q*h + 12 = 0. Is h a multiple of 2?
True
Let n = -36 - -64. Does 7 divide n?
True
Let o = -101 + 27. Let m = o - -53. Does 8 divide 2 + 1*-4 - m?
False
Let v(d) = -3*d**2 + 0*d - d + d**3 + 3*d**3 - 5 - 3*d**3. Does 5 divide v(4)?
False
Let d(z) = -z**3 + 9*z**2 + 13*z - 8. Does 7 divide d(10)?
False
Suppose -5*z + 3*u = 24 - 299, 4*z + 4*u = 252. Does 23 divide z?
False
Let p = -70 + 150. Suppose p = -0*f + 2*f + 4*y, 106 = 3*f - y. Is 22 a factor of f?
False
Suppose 5*v - 5*m + 40 = 0, 4*v + v + 3*m = 0. Let z(a) = a**3 + 2*a**2 - 3*a - 4. Let x be z(v). Is 1*(x + 2 - -37) a multiple of 13?
False
Let a(n) = -143*n**3 - 2*n - 1. Let o be a(-1). Let r be (-3)/(-3)*(-5 - -2). Does 12 divide ((-6)/8)/(r/o)?
True
Suppose 0 = -2*t - 2*q + 18, -3*t - 2*q + 6*q = -62. Suppose -4*l + t = -3*l. Suppose u = 2 + l. Is 16 a factor of u?
True
Is 15 a factor of 0 + (189 - 0) + 6?
True
Suppose 5*j - 26 = 14. Suppose -j*z = -4*z - 84. Does 5 divide z?
False
Let o = 15 - 12. Suppose -3*m - n + 40 = 0, 3*m + o*n - 34 = -n. Is 7 a factor of m?
True
Let n(j) = -j**2 + 3*j - 1. Let s be -1*1 - (-4 - -2). Let w be n(s). Is 15 a factor of -2 + w + 2 - -14?
True
Let t be 16/(-6) + (-2)/6. Let h(i) be the first derivative of i**4/4 + 5*i**3/3 + 3*i**2/2 + 2*i + 2. Is h(t) a multiple of 4?
False
Suppose -45 = -3*w + 357. Does 18 divide w?
False
Let v(k) = 2*k**2 + 11*k - 8. Let h be v(-8). Suppose 4*n - 4*p - h = 32, -41 = -3*n - 4*p. Suppose 2*g = -n + 37. Is g a multiple of 11?
True
Suppose 0*g - 2*g = -42. Let x(n) = -n**2 + 5*n. Let h be x(5). Let p = g - h. Does 7 divide p?
True
Let u(n) = -n - 4. Let g be u(0). Let a be (-3 + (-10)/g)*0. Suppose 0*y + 4*y - 144 = a. Is y a multiple of 21?
False
Suppose -c + 6*c = 35. Let h = 2 + c. Does 9 divide h?
True
Suppose 0 = -2*v + 12 - 6. Suppose -18 = -h + 2*a + 49, v*h - 189 = 2*a. Is 13 a factor of h?
False
Let v = -2 - -3. Let q(a) = 4 + 21*a**2 - 2 - v + a. Does 9 divide q(-1)?
False
Is 31 a factor of -186*((-20)/15 - -1)?
True
Let b be (1 + 2)/((-3)/14). Is (-1184)/(-22) - b/77 a multiple of 18?
True
Let y(l) = -2 + 5*l**2 + 4 - 6*l - 4*l**2. Let z be y(6). Suppose 1 = -z*k + 21. Does 4 divide k?
False
Let x be (2/1)/(2/(-20)). Does 5 divide (x/8)/((-3)/6)?
True
Let l(z) = 2*z**2 - 3*z - 2. Let c be (-6)/9*9/(-2). Is l(c) a multiple of 4?
False
Is 8/(-10)*(-60)/8 even?
True
Let s = 16 + -10. Let o(b) = -10 - 5*b - b**3 - b + 8*b**2 + 2. Is o(s) a multiple of 14?
True
Let r be (2 - -8) + 3 + -2. Let b = r - 7. Suppose v + b*i + 1 = 2*i, 4*i = -16. Is v a multiple of 4?
False
Does 8 divide (-12)/(-18) - 169*(-1)/3?
False
Is (-4)/(-12)*-14*-9 a multiple of 14?
True
Let x(m) = m**2 - 10*m + 12. Is x(11) a multiple of 4?
False
Suppose 20 = 4*p, -2*n + 31 = 2*p - 29. Does 10 divide n?
False
Suppose 0 = -10*t + 11*t - 40. Does 8 divide t?
True
Let t be 4/(-12) + 149/(-3). Let x = 73 + t. Let q = x + -7. Is q a multiple of 11?
False
Is 10 a factor of (28/6 + -4)*120?
True
Let x = -7 + 70. Is x a multiple of 9?
True
Suppose -l = -4*f + 6 - 21, -3*f = 4*l + 16. Let s = 4 + l. Suppose s*v + x - 51 = 0, -4*x = -2*v - 0*v + 34. Does 7 divide v?
False
Let p(x) = 9*x**2 + x - 2. Is 9 a factor of p(2)?
True
Suppose z = 3*v - 133, 3*v + 3*z - 2*z - 125 = 0. Is 16 a factor of v?
False
Let n(i) = -3*i**3 - 4*i**2 - 3*i. Suppose -f + 2*l - 4*l = 0, 1 = -3*f - 5*l. Is 14 a factor of n(f)?
True
Suppose -20*u + 7*u + 897 = 0. Is 5 a factor of u?
False
Suppose 4*g - 5*g = -4. Let z(f) = f**3 - 2 + g + 6*f**2 + 2. Does 4 divide z(-6)?
True
Suppose 8*j - 10*j = -122. Does 18 divide j?
False
Is 16 a factor of 63 - 5/15*-3?
True
Let j(n) be the second derivative of 8*n**3/3 + 2*n. Is 7 a factor of j(1)?
False
Is 8 a factor of 4/(-3)*(5 - 11)?
True
Suppose 136 = 2*u - 8. Suppose 3*v - u = -v. Suppose 0 = -2*l + 6 + v. Does 7 divide l?
False
Suppose 60*n + 138 = 63*n. Is 23 a factor of n?
True
Is 98 - (-20)/(-2 - 3) a multiple of 9?
False
Let l(j) = 2*j + 15. Let s be l(13). Suppose -2*p - 3*o + s = -6*o, 50 = 5*p + 3*o. Is p a multiple of 13?
True
Suppose -g + 4*a + 365 = 0, 2*g - a = -0*a + 702. Does 20 divide g?
False
Let g be ((-42)/5)/(3/(-20)). Suppose -j - 2 = -g. Is 22 a factor of j?
False
Suppose 157 = 5*v - 4*t, -5*v + 3*t = -2*t - 155. Is v a multiple of 11?
True
Suppose -2*o - 3*z - 11 = -4*o, -43 = -4*o - z. Let a be 4/14 + 24/14. Suppose -a*k + 36 = -s + o, 0 = 4*s. Is 13 a factor of k?
True
Suppose -x + j + 45 = 0, -228 = 4*x - 9*x + 2*j. Is x a multiple of 23?
True
Let f(g) = -g**3 - 5*g**2 - 4*g + 2. Let l be f(-4). Suppose 3*j - l*j + 10 = 0. Does 8 divide 82/10 - (-2)/j?
True
Suppose -2*m + k + 13 = 0, m - 3*k + k - 14 = 0. Suppose w = -l - m*w + 19, -2*l = 3*w - 45. Is l a multiple of 14?
False
Let g(j) = j**2 + 2*j + 15. Is g(-7) a multiple of 15?
False
Let u = -71 + 47. Let o = -16 - u. Is 5 a factor of o?
False
Let m be -8*(-1 + (-4)/(-16)). Let z = m + 5. Is 3 a factor of z?
False
Let x = 28 + -10. Let s = 48 - x. Is s a multiple of 8?
False
Suppose -4*i - 3*b - 20 - 230 = 0, 4 = -2*b. Let t = i - -109. Is t a multiple of 16?
True
Suppose 5*h - 22 = 8. Does 6 divide h?
True
Let f be (-21)/(-12) - 2/(-8). Suppose f*w = 6*w. Is 18/2 + (3 - w) a multiple of 12?
True
Suppose -39 = -5*d + 16. Is 5 a factor of d?
False
Let i(s) = -1 - 8*s**2 - 2*s - 2*s**2 + 0*s**2 + s**3 + 3*s. Let g(c) = c**2 + 1. Let y(j) = -4*g(j) - i(j). Is y(3) a multiple of 21?
True
Let q(y) = 23*y**3 + 2*y**2 - 1. Is 11 a factor of q(1)?
False
Let x(m) = 2*m**2 + 3*m + 1. Suppose 8 = -4*q - 0*q. Let f be x(q). Let c(z) = 3*z - 2. Is 7 a factor of c(f)?
True
Suppose 0 = -4*q + 2*r - 0*r + 52, 0 = -3*r. Is 13 a factor of q?
True
Let q = 309 - 146. Does 23 divide q?
False
Suppose -5*x = -3*a - 18, 3*a = 4*a + 4*x - 11. Let o = a + 58. Is 19 a factor of o?
True
Let p = -5 + 52. Let y = p + 0. Is y a