t. Let u be k(6). Suppose 2*f = -2*f + u. Does 12 divide f?
False
Suppose 3*k = -5*z + 8*k - 25, 5*k - 5 = 0. Let n(w) = w**2 - 2*w + 4. Let y be n(z). Suppose -2*i + 46 = 4*x - y, -3*x - 2*i = -53. Is x a multiple of 13?
False
Suppose 2*c - 2*r + 557 = 5*c, 179 = c + 4*r. Is 17 a factor of c?
True
Does 26 divide -1 - (-1)/(-2)*(-304 + -10)?
True
Suppose -4*o = -119 + 7. Let p(l) = -l + 6. Let z be p(6). Suppose -w + 0*w + o = z. Is 14 a factor of w?
True
Suppose 4*d = -0*d + 48. Let k = d - -5. Is k a multiple of 13?
False
Let u(g) = 10*g - 20. Does 25 divide u(7)?
True
Does 22 divide 1058/18 + (-4)/(-18)?
False
Suppose -5 + 0 = -5*n. Is 11 a factor of (n + -1 - 1) + 12?
True
Is 310/4*(-12)/(-10) a multiple of 31?
True
Let y(n) = n + 19. Let p be y(-8). Suppose 9 = 5*g - p. Suppose o - 13 = g. Does 10 divide o?
False
Suppose p - 5*f = 59 + 4, 5*p - 170 = -4*f. Let b be (7/1 - 1)/(-1). Is 6 a factor of (p - -1)*(-2)/b?
False
Let c(s) = 32*s**3 - 1. Let m be c(1). Suppose q - 25 = 4*k, 5*q + k = m + 73. Is 14 a factor of q?
False
Suppose p - 5 = 2*p, 2*p = 5*q - 495. Does 8 divide q?
False
Let d(b) = b**3 - 5*b**2 + 3*b - 3. Let v be d(3). Let y = v - -79. Let q = -47 + y. Is q a multiple of 11?
False
Let m = 13 + -8. Suppose -s = -4*f + 3*s, -40 = -m*f - 5*s. Suppose f*p - 29 - 60 = 5*u, -u = -p + 22. Does 13 divide p?
False
Is 12*(28/16 + 3) a multiple of 20?
False
Let w = -11 - -59. Is w a multiple of 10?
False
Is 10 a factor of (2 - 1)*103 - (-13 + 14)?
False
Is 28 a factor of (-430)/(-4)*20/25?
False
Suppose 38 = 5*t - 82. Does 6 divide t?
True
Let y(m) = -m**3 + 21*m**2 - 17*m. Is 40 a factor of y(20)?
False
Suppose -4*a = -5*s - 5, -3*a - 1 = 4*s + 3. Let u be 1*(-1 - a)*0. Suppose u*m = 4*m - 12. Does 3 divide m?
True
Let u = 1 - -8. Suppose -4*a + u*a = 80. Does 16 divide a?
True
Let a(t) = t**2 + 12*t + 10. Let d be a(-11). Let z(s) = -50*s. Is 25 a factor of z(d)?
True
Suppose -z + 2*z - 2 = 0. Suppose 5*q = -3*l + 75, -3*q - z*l - 1 = -45. Is 5 a factor of q?
False
Let k(u) = u**2 - 5*u - 10. Let f be k(7). Suppose -49 = -f*y + 11. Is y a multiple of 15?
True
Let a(h) = 3*h - 4. Let o be a(4). Let p = o + -5. Suppose -b - p*b = -32. Is b a multiple of 3?
False
Let o = 3 - 3. Suppose o = -5*m - r + 170, -3*m = -4*m - 3*r + 48. Let v = m - 15. Is 10 a factor of v?
False
Let j = -3 - -4. Let d = j - -25. Is 13 a factor of d?
True
Let o(c) = c**2 + 12*c + 3. Let p(h) = h**2 + 13*h + 3. Let b(n) = -4*o(n) + 3*p(n). Is 4 a factor of b(-7)?
False
Let b(g) = 3*g**3 + 4*g**3 - 2*g**3 - 4*g**3 - 11*g + 6*g**2 - 11. Is 6 a factor of b(-7)?
False
Let x = 61 - 33. Suppose -2*p + 5*z - x = -3*p, 15 = 5*z. Is p a multiple of 7?
False
Suppose -b = 3*b. Does 7 divide 19 - (0 - (2 - b))?
True
Suppose -z - 279 = -5*b, -2*b + 7*b = -4*z + 259. Is b a multiple of 10?
False
Let x(u) = -3 - 3 - 4*u - 6 - 3*u. Does 10 divide x(-6)?
True
Let h(y) be the third derivative of y**5/3 + y**4/12 - 7*y**3/6 - 2*y**2. Let q be h(-5). Does 14 divide (-2)/(q/(-159) - -3)?
False
Let f(u) = 2*u**2 - 2*u - 4. Let q(o) = o**2 + 9*o + 3. Let m be q(-9). Is 8 a factor of f(m)?
True
Let l be 27 + 3/((-9)/12). Let v = l + -10. Does 13 divide v?
True
Is 5/(-2)*(-32)/5 a multiple of 13?
False
Let m be (12/8)/(1/2). Suppose m*j = -3, 1 + 3 = 2*a + 4*j. Is 4 a factor of a?
True
Let x be (-6 - 0)*14/(-21). Suppose -3*k = 5*u - 25, 2*u = 4*u - x. Suppose 9 = -4*p + k*p. Does 9 divide p?
True
Suppose -4*t + 21 + 11 = 0. Does 8 divide t?
True
Suppose -2*t - 2*t = -60. Does 5 divide t?
True
Let h be (1/1)/((-2)/20). Let n be 490/25 + (-4)/h. Let j = n + -10. Is 7 a factor of j?
False
Suppose -3*d - 9 = 0, -5*v - d - 19 = -6. Let l(f) = 3*f**3 + 2*f**2 - f - 1. Let z be l(v). Let s = 39 + z. Is 12 a factor of s?
True
Let y be (-33)/(-15) + (-1)/5. Suppose -4*z - 8 = -2*w - y*w, 5*z = -3*w - 2. Suppose 11 = l + w. Is 5 a factor of l?
True
Suppose 133 - 29 = 2*m. Is m a multiple of 13?
True
Let n = -21 - -14. Let k = 16 + -4. Let l = k + n. Is l a multiple of 4?
False
Let u(v) = v**3 - 8*v**2 + v + 6. Is u(8) a multiple of 3?
False
Let a(l) = l + 7. Let c be a(-7). Suppose c*j = j - 19. Is j a multiple of 4?
False
Let k(b) = b**3 - 2*b**2 + 2*b - 4. Is k(3) a multiple of 2?
False
Suppose 0 = 36*t - 37*t + 49. Is t a multiple of 11?
False
Suppose 5*f - 4*r - 45 = 0, -r = -2*f - 4*r + 18. Is 16 a factor of ((-24)/f)/((-2)/12)?
True
Let g = -99 - -46. Is 15 a factor of -3 - (g + 2 - 3)?
False
Let n(x) = -29*x - 27 + 28 + 8*x. Let t = 0 + -1. Is n(t) a multiple of 12?
False
Let n = 97 + -76. Is n a multiple of 21?
True
Suppose -4*t + 24 = 4*u, 0*t - 1 = -t - 2*u. Is 11 a factor of t?
True
Let i(w) = w**2 - 4*w + 6. Let g(c) = -8 - 6*c - 3*c - c**2 + 0*c. Let y be g(-7). Is i(y) a multiple of 8?
False
Suppose h = c + 88, 0*h - 4*h + 3*c = -356. Does 12 divide h?
False
Let h = 53 + -22. Does 7 divide h?
False
Let f = 64 + -144. Let o be (9/(-2))/(1/10). Let p = o - f. Is p a multiple of 16?
False
Suppose 0 = 3*t - 76 + 4. Does 6 divide t?
True
Suppose c - 5*o + 4*o = -12, 5*o = 0. Suppose -3*i = -3*t - 5*i - 204, t = 5*i - 51. Is 2/(-4) + t/c even?
False
Is ((-2)/3)/((-5)/60) a multiple of 4?
True
Let a be (-60)/(-25) - (-2)/(-5). Suppose -5*i + 6 = -a*i. Let l(n) = 2*n + 2. Does 3 divide l(i)?
True
Suppose 0 = -5*k + c + 579, -3*c = 4*k + 2 - 469. Is 4 a factor of k?
True
Suppose 28 = 2*o - 6*o. Let c = 7 + o. Suppose c = u - 15 - 21. Is 10 a factor of u?
False
Suppose 4*a - 26 = -2*k, -2*k + 6 = 5*a - 28. Is a a multiple of 4?
True
Suppose 5*o - 4*o = -5*z + 61, -z + 53 = o. Does 17 divide o?
True
Suppose 0 = 4*t - 3 - 85. Is t a multiple of 11?
True
Suppose -2*q + m + 3*m = 26, 4*q + 64 = 4*m. Let r = -7 - q. Does 4 divide r?
True
Let z(l) = -l + 11. Suppose 3*m = -m - 24. Is 17 a factor of z(m)?
True
Suppose -4*f + 315 + 125 = 0. Is 13 a factor of f?
False
Let t(p) = -p**2 - 15*p + 6. Let v be t(-8). Let w = 43 + -23. Suppose -2*b + 7*j + v = 2*j, -b = 3*j - w. Is b a multiple of 13?
True
Let c = 5 - 5. Suppose -t - 3*d + 24 = c, 0 = 4*t - t + 4*d - 62. Is t a multiple of 9?
True
Suppose -2*t + 0*t + 46 = 0. Is 9 a factor of t?
False
Suppose -4*q + 5*c - 334 = -6*q, c = 5*q - 862. Suppose 0 = 4*n - 5*m - q, -3*n + 4*n - 2*m - 46 = 0. Is n a multiple of 14?
False
Let f(q) = q + 5. Let t be f(-3). Suppose 15 = -l - 4*l - 5*y, -6 = -5*l + t*y. Suppose 19 = 2*u - 3*m, 4*u + l*m - 53 = 3*m. Is u a multiple of 15?
False
Let g(y) be the second derivative of y**5/20 - 5*y**4/6 + y**3/3 + 5*y**2 + y. Let a be 68/7 - (-6)/21. Is 10 a factor of g(a)?
True
Let d be 0 - -6*(-9 - -3). Is (-604)/d - 6/(-27) a multiple of 4?
False
Suppose 15 = 3*n + 2*n. Suppose n*q - 42 = -5*l, -4*q - 2*l + 5*l + 27 = 0. Is 3 a factor of q?
True
Let t = -74 - -104. Is t a multiple of 3?
True
Let t = -4 - -6. Let r = 28 + -20. Suppose 0 = t*d + r, 3*a - d + 48 - 229 = 0. Is 22 a factor of a?
False
Suppose 7*i = 8 + 27. Is 2 a factor of i?
False
Let x(r) = -r**3 + 4*r**2 - 3*r + 2. Let b be x(3). Let a(m) = -5*m + 1. Let t be a(b). Let n = 15 + t. Does 5 divide n?
False
Let o be (-8)/12*(-12 - 0). Let x = -2 + o. Does 4 divide x?
False
Let m be (1 - 1)/(-1 - -2). Let v = 28 + m. Is v a multiple of 14?
True
Suppose -185 = 5*y + 90. Let v = 77 + y. Is 16 a factor of v?
False
Let a(g) = -47*g - 4. Let n be a(-3). Is 15 a factor of 16/(-24) + n/3?
True
Let y(v) be the third derivative of 11*v**7/5040 - v**6/720 - v**5/15 + 4*v**2. Let m(w) be the third derivative of y(w). Is 9 a factor of m(3)?
False
Let u(g) = g**2 - g. Let l be u(0). Suppose 5*r - 77 = s, l = -2*r - 5*s + 2*s + 24. Does 15 divide r?
True
Suppose 216 = -6*y + 10*y. Is y a multiple of 21?
False
Let c(y) = -y**2 - 9*y - 3. Let v(f) = -2*f + 2. Let h be v(4). Is 15 a factor of c(h)?
True
Let l(y) = -82*y**2 - 2. Let p be l(2). Let c = p - -480. Suppose 0 = -g - 2*g + c. Does 18 divide g?
False
Let x(w) = w**3 + 8*w**2 - 2*w + 9. Is x(-7) a multiple of 8?
True
Let z be 1*(-2 + (1 - 8)). Let m be 2/(-6) + 60/z. Let t = m + 33. Is t a multiple of 15?
False
Suppose p = 2 + 2. Suppose -4*c = -3*w + 19, -w - p*w - 5*c - 15 = 0. Does 6 divide (-49)/(-4) + w/(-4)?
True
Suppose -3*c - p = -497, 0*c - 826 = -5*c - 4*p. Is 31 a factor of c?
False
Suppose 0 = -5*n - 3