iple of 10?
False
Suppose 2*b - 6*b = 56. Let r = 21 - b. Is r a multiple of 11?
False
Suppose 22 = 4*v + 3*l, 5*v - l + 7 - 25 = 0. Suppose -2*c = 2*c + v. Let u(t) = 10*t**2. Does 5 divide u(c)?
True
Is (1 - 1) + 35 + 3 a multiple of 24?
False
Let o(n) = -n**3 - 5*n**2 - n. Let f be o(-5). Suppose -2*z = -5*z + 15. Suppose -f*b + z = 0, 0*j + 2*b + 34 = 4*j. Is 8 a factor of j?
False
Is 11 a factor of ((-44)/(-6))/((-13)/(-39))?
True
Let x = 7 - 5. Let y = x - -5. Does 21 divide y*6/1*1?
True
Suppose -3*c + 3*i - 60 = 0, 5*c - 4*i = 3*c - 44. Let j = c + 48. Is j a multiple of 15?
True
Let p(i) = -i**2 - 14*i + 5. Does 11 divide p(-10)?
False
Suppose -4*o = o - 25. Suppose 4*t + 74 = o*h, -8*t + 4*t - 20 = -2*h. Does 9 divide h?
True
Let b = 166 - 62. Is b a multiple of 21?
False
Suppose 4*f - 32 = 2*f. Suppose 0 = 2*j - x + 4, 0*j - 3*j + f = 4*x. Is (-21)/(j - (-6)/(-4)) a multiple of 14?
True
Suppose -n + 0 + 4 = 0. Suppose 0 = n*a - a - 54. Does 9 divide a?
True
Suppose c + c - 4 = 0. Let r be c + (0 - (3 + 0)). Let u(a) = -15*a + 1. Is u(r) a multiple of 10?
False
Let k(o) = -o**3 + 11*o**2 - o + 12. Let u be k(11). Suppose 13 = -5*j - f + 40, -u = j - 3*f. Is 3 a factor of j?
False
Let x(k) = k**3 - 3*k**2 + 2*k - 6. Let f be x(7). Let p = -64 + f. Does 7 divide p/(-8)*(-8)/10?
True
Let v(d) = 7*d + 1. Let p be v(2). Let b = 21 - p. Is (-19)/(-7) - b/(-21) a multiple of 3?
True
Suppose 56 - 392 = -8*l. Is 14 a factor of l?
True
Suppose 3*b + 2*v - 244 = 0, 2*b - 126 = 4*v + 42. Let k = b + -35. Let o = 81 - k. Does 17 divide o?
True
Let n = 3 - 0. Let o = 1 - n. Let d(x) = -4*x**3 - 3*x**2 - 2*x. Is 12 a factor of d(o)?
True
Suppose -4*r = -2*r + 3*d - 61, 5*d + 5 = 0. Is 9 a factor of r?
False
Let t = -13 - -51. Suppose t - 188 = -6*y. Is y a multiple of 11?
False
Let b(o) = o**3 - 9*o**2 + 4*o - 3. Let y be b(7). Let c = 106 + y. Is 9 a factor of c?
False
Suppose -4*d + 2 = 2*c + 10, 0 = -3*d - 15. Does 6 divide c?
True
Let l be (-205)/10*(0 - 4). Let d = -48 + l. Is 14 a factor of d?
False
Suppose 16 = -2*d + 4*y, -2*d - 2*d - y = -4. Is (9 - 1) + d - -2 a multiple of 8?
False
Let k = -16 - -23. Is 4 a factor of k?
False
Let s = -79 - -205. Is s a multiple of 7?
True
Suppose -2*l - 24 = 2*l + 4*p, 5*p + 23 = -4*l. Let i(s) = 0*s + 4 + 0*s**2 - 11*s - s**2. Is 12 a factor of i(l)?
False
Let u = -5 + 10. Suppose 5*d + c = -1 + 6, u*c + 21 = -2*d. Is 6 a factor of 0/(-4 + d) + 18?
True
Suppose -y + 4 = -0*y + 3*a, -y = 5*a - 6. Suppose y + 11 = -b. Let i = b + 25. Is 13 a factor of i?
True
Let i(x) = -x**3 + 12*x**2 + 29*x + 14. Is i(14) a multiple of 4?
True
Suppose 4*l = 2*p + 330, -4*l + l = 3*p - 252. Suppose l = 4*d - 5. Is 11 a factor of d?
True
Let g(b) = 2*b - 4. Let i(m) = m - 3. Let k(o) = 2*g(o) - 3*i(o). Let l(h) = 15*h + 2. Let f(x) = -2*k(x) + l(x). Is f(1) a multiple of 13?
True
Let o = 20 - 69. Let s = o - -99. Is s a multiple of 17?
False
Let z = 2 + -2. Suppose 5*q + 368 + 592 = z. Is 12 a factor of (6/8)/((-4)/q)?
True
Let x be 14/(-3)*9/(-6). Suppose -3*f + 94 = 4*z, 2*f = x*f - 4*z - 146. Is 15 a factor of f?
True
Suppose 0*y - 198 = -3*y. Does 43 divide y?
False
Let z(i) = 5*i + 26. Is 12 a factor of z(14)?
True
Let g = 97 + -55. Suppose -2*c + g + 0 = 0. Is c a multiple of 12?
False
Suppose -x + 3*t = 4*t - 84, -x = 2*t - 79. Is x a multiple of 26?
False
Suppose -7*j = 2*v - 2*j - 20, 5*v - 3*j = -12. Suppose -w + 20 = 3*w - m, 4*m = v. Suppose -2*z = p + p - 18, 5*p - w*z = 15. Is 3 a factor of p?
True
Suppose -35 = -5*u + 4*v, 4*u - 2 = -4*v + 2*v. Suppose -l + m = 4*l - 6, -14 = -l - u*m. Suppose 5*r - 5*a - 113 = 2, 53 = l*r + 5*a. Does 12 divide r?
True
Suppose 4*p = -273 + 817. Is p a multiple of 34?
True
Let f(i) = 4*i - 1. Suppose 3*w + 13 = 2*v, 6 = v - 3*w - 5. Is 7 a factor of f(v)?
True
Let v(m) = 38*m**3 - m**2 + 2*m - 1. Is 19 a factor of v(1)?
True
Let i(s) = -s**2 - 8*s - 2. Suppose -6 - 10 = 2*f. Let b be i(f). Is (b - (-9)/1) + -2 a multiple of 3?
False
Suppose 23 = -9*j + 68. Is j a multiple of 3?
False
Suppose 12 = 4*n - 4. Suppose -n*w + 98 = -2*w. Does 21 divide w?
False
Let a be (-23)/(-3) + 2/(-3). Let d = a + -2. Is d even?
False
Suppose 7 = x + 18. Let g be (2/2)/(2/34). Let y = x + g. Does 3 divide y?
True
Suppose -2*o - 3*o + 9 = -s, -3*s + 3 = 0. Let u(m) = 6*m - 2. Does 8 divide u(o)?
False
Let c(m) = m**2 - 5*m + 3. Let t be c(3). Let d = t + 9. Does 2 divide d?
True
Let g be 78/8 + 2/8. Let m be 2/9 + (-6)/27. Suppose g = -m*k + 2*k. Does 5 divide k?
True
Let d(n) = 29*n**3 + n**2 - 1. Is d(1) a multiple of 29?
True
Let s(q) = -q + 6. Let m(i) = 0*i**2 - 6 + 0*i**2 - i**2 + 4*i. Let x be m(4). Does 5 divide s(x)?
False
Let f be 3 + (-1 - 0) - -1. Let n be (-6 + -3)/f - 26. Let b = n + 40. Does 10 divide b?
False
Does 5 divide (-1 - 1)*17*(-3 - -2)?
False
Suppose 5*q + 46 = 136. Is 5 a factor of (q + -8)*1/1?
True
Is 5 a factor of (124/6)/(4/6)?
False
Let d = 17 + -9. Is d a multiple of 4?
True
Suppose -474 = -20*d + 14*d. Is d a multiple of 30?
False
Let m be 0/(2*(-2)/4). Suppose -4*n + 26 - 6 = m. Suppose 0*i + i = o - 3, 0 = 3*o - 5*i - n. Is o even?
False
Let x = 14 + 28. Suppose -2*m + x = -18. Is m a multiple of 15?
True
Let v(l) = l**3 - 7*l**2 - 12*l - 3. Let f(r) = r - 2. Let u(w) = w**2 - 3*w - 7. Let o be u(6). Let a be f(o). Is v(a) a multiple of 18?
False
Let d be (1/2)/(4/40). Suppose z = -0 + d. Suppose -4*q + z*x = -55, 0*q + 15 = q - x. Does 14 divide q?
False
Let r(w) = -w**3 + 13*w**2 + 14*w + 22. Is r(13) a multiple of 34?
True
Suppose 2*l = 4*l - 40. Is l a multiple of 10?
True
Suppose -7 + 67 = 3*r. Let k be (0 - r) + 2/(-1). Let v = -2 - k. Does 10 divide v?
True
Is 4790/30 - (-1)/3 a multiple of 16?
True
Suppose -3*n - 3*o = -6, n - o + 0*o - 8 = 0. Suppose 22 = n*r - 133. Is 12 a factor of r?
False
Suppose -1472 = -4*o + 2*f, 7*o + 4*f = 2*o + 1814. Does 12 divide o?
False
Let n(y) = y**2 + 2*y - 2*y - 11 - 6*y + 0*y. Suppose -q + 2 = -7. Does 16 divide n(q)?
True
Let l be (-2)/8 + (-10)/(-8). Let q(m) = m**2 + 6*m + 2. Let d be q(-5). Let k = l - d. Is k a multiple of 3?
False
Is 1/((4 - 3)*1/138) a multiple of 10?
False
Let s(a) be the first derivative of 2*a + 2/3*a**3 - 1 + 3*a**2. Does 8 divide s(-4)?
False
Is (-2 - -56)*12/9 a multiple of 31?
False
Suppose i + 0*j - 29 = 4*j, 191 = 5*i + 3*j. Is i a multiple of 6?
False
Suppose 10 = 5*x - 0. Suppose -x*p - 3*p + 290 = 0. Is 29 a factor of p?
True
Let v(u) = 3*u + 3. Let i be v(-2). Is (-2 - (i + 0))*2 even?
True
Suppose 14*g = 13*g + 13. Does 4 divide g?
False
Let o(s) = -s**3 - 8*s**2 - 11*s - 11. Let z be o(-8). Let d = z - 37. Is d a multiple of 17?
False
Suppose 0 = p - 3*g - 54 + 10, 0 = -p + 5*g + 50. Does 14 divide p?
False
Let b = -6 + 9. Let k = 6 - b. Is 15 a factor of (-2 + k)*23 + 1?
False
Let s = 18 - 13. Suppose -5*f + 57 + 20 = -y, -f + 31 = s*y. Does 4 divide f?
True
Let o be 1*1/(1 + 0). Suppose 3*g = -2*g - 5. Is 9 a factor of (2 + -21)*o*g?
False
Let u be 1*2 + -6 + 39. Suppose -2*c + 5*z + u = 0, z - 4*z = 3*c - 63. Does 10 divide c?
True
Suppose 13*z = 11*z + 168. Does 26 divide z?
False
Suppose 6*v + 70 = 5*j + 2*v, -3*j + 2*v + 42 = 0. Is 7 a factor of j?
True
Let s(p) = p - 9. Let c be s(9). Let u be (c - -4) + (1 - 0). Suppose u*l - 10 = 3*l. Is l a multiple of 2?
False
Let i(h) = h - 2. Let q be i(4). Suppose 3*s + 3 = 0, q*u + s = -0*s + 5. Suppose 6*k = u*k + 15. Does 3 divide k?
False
Suppose -7*u - 4*u = -3223. Does 14 divide u?
False
Suppose 25 = 5*l, -5*l = 6*i - 2*i - 101. Is i a multiple of 12?
False
Let b(l) = l**2 - 10*l + 18. Is b(9) a multiple of 4?
False
Suppose -4*c + 9 = -c. Suppose c*s = s + 30. Let w = s + -7. Does 4 divide w?
True
Let t = -151 + 263. Does 14 divide t?
True
Suppose -5*q = 118 + 152. Suppose 0 = -4*i + 1 + 3. Is 12 a factor of q*((-1)/(-3) - i)?
True
Let h(n) = n**2 - 4*n + 4. Is 15 a factor of h(-4)?
False
Let x(t) = t**2 + 15*t - 20. Is x(-19) a multiple of 7?
True
Let r = -48 - -11. Let u = r - -107. Does 28 divide u?
False
Let c(m) = m**3 + 16*m**2 + 20*m. Is 9 a factor of c(-14)?
False
Is 39 a factor of 2*(2 - (-5)/(-2) - -59)?
True
Let q(z) = -3*z**2 + 2*z + 1. Let k be q(2). Let s = k + 11. Suppose 4*y + 2*j + 18 = 5*y, s*j - 12 = 