actor of y?
True
Let a be (5 - 4)/(2/194). Let b = a - 67. Is 13 a factor of b?
False
Let q(a) = 2*a**3 + 21*a**2 + 9*a - 13. Let l(u) = u**3 + 10*u**2 + 5*u - 7. Let v(b) = -5*l(b) + 2*q(b). Let g be (0 + -2 + 3)/(7/(-49)). Does 8 divide v(g)?
False
Suppose 0*q + 15 = 3*q, q = -s + 151. Suppose -5*h - s = -2*v, -5*h - 161 = 5*v - 36. Let y = 56 + h. Is y a multiple of 14?
True
Let t(q) = -q**2 - 6*q - 15. Let h(s) = -s - 1. Let o(n) = 5*h(n) - t(n). Let b be (4/(-6))/((-3)/(126/4)). Is o(b) a multiple of 22?
True
Let w(j) = j. Let i(n) = -4*n + 7. Let b(x) = -i(x) - 2*w(x). Is b(6) a multiple of 5?
True
Let t = 5 - 10. Is 3 a factor of (-3)/t - 160/(-25)?
False
Suppose 42 = 4*s - 30. Suppose -3*y - 3*b = -3, -s = -3*y - 0*y + 2*b. Does 4 divide y?
True
Suppose 0 = 2*h + 5*n - 0*n - 37, -2*n = -3*h + 46. Is h a multiple of 2?
True
Let v(q) = q**3 - 10*q**2 - 10*q + 8. Let h be v(11). Suppose 3*y - 11 = h. Is 3 a factor of y?
False
Let u(a) = a**2 - 3*a + 2. Suppose -3*p = j - 18, -4*j = p - 6 - 0. Is 10 a factor of u(p)?
True
Let h = -3 - -5. Suppose 0*i - 12 = -h*i. Suppose i*u - 48 = 3*u. Does 8 divide u?
True
Let n(m) = m**3 + 10*m**2 - 12*m - 6. Let j be (-99)/(-6)*(-2)/3. Is 3 a factor of n(j)?
False
Let w = -4 - -6. Let z be 12/2 + -2 - w. Does 7 divide (-6)/(-2) - -13 - z?
True
Suppose -3*p - 4*d + 63 = 0, 98 = 4*p - 4*d + 42. Let u = p + 35. Is 26 a factor of u?
True
Does 9 divide 45*(-6)/45*-3?
True
Suppose -45 = -5*j - 4*f + 331, -2*j = f - 148. Does 24 divide j?
True
Let f(d) = -5*d - 3*d - 6 + 2*d + 3. Does 3 divide f(-2)?
True
Let a(v) be the second derivative of -29*v**3/6 + v**2 + 2*v. Let s be a(-2). Suppose s - 9 = 3*c. Is c a multiple of 17?
True
Suppose m - 111 = 3*f, -3*m - 10 + 313 = -3*f. Let h = -44 + m. Does 14 divide h?
False
Suppose 2*i + 2 = 0, 5*d - 295 = -7*i + 2*i. Suppose 4*h - u = d, -h - 2 = -2*u - 10. Does 7 divide h?
False
Let s = 38 + -21. Is s a multiple of 17?
True
Let w(y) = -y**2 + 2. Let c(v) = v**2 - 1. Let l(s) = 7*c(s) + 5*w(s). Is 13 a factor of l(3)?
False
Let b be (-4)/6 + (-530)/15. Does 9 divide b/(-2) - (0 - 2)?
False
Let i(n) = -n**3 + 8*n**2 - 8*n + 9. Let f be i(7). Suppose l - 3*l = 3*x - 56, -4*l = -f*x - 80. Is l a multiple of 22?
True
Suppose -x + 2 = -2*p + 3, 3*x = -p - 3. Suppose p = -q + 3*q - 46. Is 8 a factor of q?
False
Let v = 18 + -12. Let k be v + -3 - 7*2. Let a = k + 46. Is a a multiple of 18?
False
Let h(n) = n**2 + n + 6 - 2*n + 2*n**2 + 9*n. Does 22 divide h(-6)?
True
Let t = -13 - -22. Let m = t + 3. Does 6 divide m?
True
Suppose -3*x = -3*m - 24, m = -4 - 0. Suppose 0*r + 3*o = -r + 32, x*r - 53 = 3*o. Does 10 divide r?
False
Let d = -164 + 260. Is d a multiple of 12?
True
Let o(i) = -10*i + 4. Let d be ((-16)/12)/(2/(-6)). Suppose 3*f + 6 = -d*v, 4*v - 2*f + 5 = -11. Is 17 a factor of o(v)?
True
Suppose -4*j = -0 + 100. Let f = 56 + j. Is f a multiple of 11?
False
Suppose 5*w + 5*n = -0*n + 220, 0 = 3*w - 4*n - 160. Is w a multiple of 16?
True
Let f be 4/(-26) + 6/39. Suppose -3*j = -f*j - 42. Does 7 divide j?
True
Let r be 12/54 - 562/18. Let u = 44 + r. Does 13 divide u?
True
Suppose 4*x = -g - 100, x + 2*g + 25 = -3*g. Let q = x + 42. Suppose q = 2*p - 9. Is 13 a factor of p?
True
Suppose 5*s - 2*j - 200 = 0, 118 = 3*s + 4*j - 2. Is s a multiple of 36?
False
Let p be (2/3)/(5/900). Suppose 0 = 4*t + 5*d - p, 150 = 5*t + d + 4*d. Is t a multiple of 10?
True
Suppose 4*n - f = 322, 2*n - 4*f = -n + 248. Suppose -n = 5*d - 0*d. Let q = 28 + d. Is q a multiple of 12?
True
Let g be 45/(-6)*(-12)/(-1). Let o = g + 127. Is 10 a factor of o?
False
Suppose d - t = 0, 3*t = -d + 1 + 7. Suppose -380 = -3*p - d*p. Is 19 a factor of p?
True
Suppose b - 658 = -2*y - 2*y, 3*b = -y + 159. Is y a multiple of 33?
True
Is 14 a factor of ((-924)/22)/(1/(-5))?
True
Let w(c) = -5*c - 4. Let x be w(-3). Let i = 3 + x. Does 14 divide i?
True
Let c be (-24)/(-20)*-1*5. Does 9 divide (c - (-5 + 2))*-3?
True
Let z be ((-122)/(-8))/1*8. Suppose 4*u = z + 34. Is u a multiple of 24?
False
Suppose -3*l + 2*g = -3*g - 79, 136 = 5*l - 4*g. Let w = 39 - l. Is w a multiple of 4?
False
Let f be 0/((-4)/8*2). Suppose 0*l - 5*l + 5*r - 10 = 0, f = -3*l + 2*r - 1. Is l a multiple of 2?
False
Let z(c) = -5*c - 3. Is 10 a factor of z(-5)?
False
Suppose 0*v = 4*v. Let j be 6/(-2) + v + 8. Suppose -4*u = j*p - 57, -p + 3*u + 9 = p. Does 9 divide p?
True
Let g(a) = -a**2 - 8*a + 12. Let x be g(-9). Suppose -5*z + 70 = 5*q, -2*q - z - 8 = -x*q. Is q a multiple of 11?
True
Is (3 - -223) + 4/2 + -3 a multiple of 22?
False
Suppose 5*g - 94 = 16. Is g a multiple of 11?
True
Suppose -5*k = -1292 + 177. Is 40 a factor of k?
False
Let u = 2 - 1. Let a be 1 - -6 - (u + -2). Let i = 23 - a. Is i a multiple of 15?
True
Suppose -9 = 3*p - 168. Is 13 a factor of 2/(-8) + p/4?
True
Suppose 54 = c + s, 3*s + 17 - 75 = -c. Is 15 a factor of c?
False
Does 27 divide 291*((10 - 7) + (-16)/6)?
False
Does 23 divide (-2110)/(-14) - (-22)/77?
False
Let i(m) = 2 - 2 - 7*m - 5 - 1. Is 10 a factor of i(-3)?
False
Let r(a) = 3*a**2 + 7*a - 2. Let h = 4 - 10. Is 14 a factor of r(h)?
False
Suppose -2*p - 3*p = 0. Is (-8)/(2/(p - 1)) even?
True
Let i = 4 + -1. Does 22 divide ((-10)/4)/(i/(-54))?
False
Suppose 160 = 17*c - 12*c. Does 32 divide c?
True
Let i(w) = 0 - 3 + 2*w + 4. Let p be i(1). Is 473/55 - p/5 a multiple of 4?
True
Let u = -6 + -1. Let p = -11 - u. Is 8 a factor of 2/p + 49/2?
True
Suppose i + 3*r + 208 = 5*i, 4*i + 4*r = 236. Is 15 a factor of i?
False
Suppose 0 = 3*r + 15, -2*b - r = -4*b + 121. Suppose 0 = -5*j + 18 - 3, 4*w + 2*j - b = 0. Suppose 4*t - 5*h = -12, 3*t - 5*h + w + 1 = 0. Is t even?
True
Suppose 0 = -n + 5, 3*n = -0*l + l - 235. Is l a multiple of 12?
False
Let x(j) = -j**3 - 5*j**2 + 7*j + 11. Is 13 a factor of x(-7)?
False
Let o be 1/(0 - (-3)/9). Let i(m) = m**o + 1 + m**3 + 2 - 2*m. Is 15 a factor of i(2)?
True
Let q = 43 + -30. Is 13 a factor of q?
True
Let o = 74 - 16. Is o a multiple of 38?
False
Suppose w + y + 62 = 4*w, 3*y = -3*w + 78. Suppose 12 = 3*q, q = 5*x - 6*x + w. Is x a multiple of 4?
False
Let p = 18 + 29. Is p a multiple of 10?
False
Let c(f) = -f**3 - f**2 + 2*f + 2. Let a be c(-2). Suppose -2*i + 248 = a*i. Does 29 divide i?
False
Let z(t) = 27*t**3 - t**2 - t + 1. Let b(j) = j**3 + 7*j**2 + 4*j - 5. Let k be b(-6). Suppose k = 4*q + 3. Is 10 a factor of z(q)?
False
Is 5 a factor of (-586)/(-10) - (-4 - 54/(-15))?
False
Let h be 2/2*-9 + 2. Suppose -1 = -q + 2, 2*s + 39 = q. Let n = h - s. Is 3 a factor of n?
False
Let i(m) = 2*m**3 - 3*m**2 + m - 1. Let f be i(2). Let o be (-3 + f)*(-6)/(-4). Suppose 3*l = -l + 4*b + 32, o*b + 38 = 5*l. Is 7 a factor of l?
True
Suppose -5*q + f = -51 - 29, -3*q - 5*f + 76 = 0. Does 10 divide -3 + 2 + 4 + q?
True
Let o(d) = d**3 - 4*d**2 - 2*d - 1. Let l be o(4). Let y be 2 + (-4)/(12/69). Let i = l - y. Is 11 a factor of i?
False
Let o be ((-14)/(-5))/(1/5). Let s = -9 + o. Suppose -3*r = s*n - 15, 0 = 2*n - 5*n - 9. Does 4 divide r?
False
Let a be (80/4)/4 - 3. Suppose 2*j - 4*j = -o + 33, -a*o + 60 = -j. Does 8 divide o?
False
Is 2 a factor of 2 + (-84)/45 + (-1640)/(-75)?
True
Let r(c) = -c**2 + 6*c + 5. Let l be r(6). Suppose 0 = k + 3*p - 35, 26 = 4*k - 2*k - l*p. Is 23 a factor of k?
True
Let r = -1 - -3. Suppose 3*y = -5*j + 26, -2*y = 2*j + r*j - 20. Is j a multiple of 3?
False
Let l(m) = -2*m**2 - 1 + 3*m - m**2 + 5*m**2. Let d be l(-3). Suppose 24 = 4*j + d. Is j a multiple of 2?
True
Let c(g) be the second derivative of 2*g**3/3 - 13*g**2/2 - 3*g. Does 5 divide c(7)?
True
Suppose 17*u = 14*u + 90. Is 3 a factor of u?
True
Let j be (20/(-25))/((-1)/5). Is 96/9 + j/(-6) a multiple of 4?
False
Suppose 2*h + f + 689 = 0, -3*h - h - f - 1377 = 0. Does 19 divide h/(-9) + (-4)/18?
True
Let d(a) = 2*a**3 - 3*a**2 + 2*a + 3. Is d(3) a multiple of 18?
True
Suppose 0 = -2*m - 3*y + 96, m + 4*m = -y + 214. Is m a multiple of 11?
False
Let z(r) = -15*r - 28. Is z(-12) a multiple of 22?
False
Let d be (-3)/(6/(-4)) - -18. Suppose x + 2 + 2 = -5*z, 5*z - d = 5*x. Suppose 3*u + u - 72 = z. Does 7 divide u?
False
Let a = -57 - -78. Is 19 a factor of a?
False
Suppose -5*c + 231 = 41. Suppose 8*s - 3*s = -4*i + 204, 0 = -s + 2*i + c. Does 20 divide s?
Tr