 a = 19 - z. Is 12 a factor of a?
True
Let t(c) = c**3 - c - 4. Let d be t(-5). Let x = -71 - d. Does 18 divide x?
False
Let f = -223 - -373. Suppose q + 4*q = f. Is 15 a factor of q?
True
Let r be (-18)/(-5) + (-2)/(-5). Suppose -r*j + 39 = -1. Is j a multiple of 9?
False
Let z = 139 - 46. Is 19 a factor of z?
False
Let t(g) = g**3 + 21*g**2 - g + 32. Does 23 divide t(-21)?
False
Let a be ((-2)/2)/((-1)/3). Suppose a*r - 2*r = 4. Does 4 divide r?
True
Suppose 67 = -6*d - 53. Let s = 24 + d. Is s a multiple of 4?
True
Suppose y + 15 = 4*y. Suppose -r - 92 = -y*r. Is r a multiple of 13?
False
Let c = 75 + -47. Is c a multiple of 10?
False
Let q = -12 + 7. Let g(w) = -w**3 - 6*w**2 - 8*w - 7. Does 7 divide g(q)?
False
Suppose 2*s - 6 = 52. Is 9 a factor of s?
False
Suppose -165 = -p - 2*p. Is 55 a factor of p?
True
Let k(b) = -b - 1. Let t(a) = a**2 - a + 3. Let g(l) = -2*k(l) + t(l). Is 5 a factor of g(0)?
True
Let x = 44 - 72. Is (1 - 0) + x/(-2) a multiple of 6?
False
Let v(x) = -2*x**3 - 6*x**2 - 5*x - 1. Does 10 divide v(-4)?
False
Suppose 2*b - 5*v = -24, 0 = -3*b - 2*v + 2. Is 7 a factor of 1*(b - -1)*-7?
True
Let j be 1/(-3) - (-1504)/12. Suppose 0*r + 5*r - j = -5*m, 0 = 4*m - 3*r - 72. Is m a multiple of 11?
False
Let f = 19 + -12. Suppose 2*q + 0 = -t + f, 5*t = -q + 26. Suppose o = -3*m + 101, 3 + 4 = m - t*o. Is 19 a factor of m?
False
Suppose -4*w = 256 - 1176. Is 10 a factor of w?
True
Suppose 20 = -r + 23. Let q = r + 12. Is q a multiple of 4?
False
Let x be 86 - (2 + (1 - 2)). Suppose 6*f - 47 = x. Is f a multiple of 14?
False
Suppose -28*f - 90 = -30*f. Is f a multiple of 5?
True
Suppose 1 = q + 5, 3*k + 3*q + 15 = 0. Let b be 24/(-3)*(-2 - k). Let a(t) = t**3 - 8*t**2 + 9. Does 9 divide a(b)?
True
Let v(d) = -5*d - 1. Let u be v(1). Let z be u*4/30*-5. Suppose -72 = o - z*o. Does 12 divide o?
True
Suppose -2*x - 28 = -78. Does 17 divide x?
False
Let v(l) = -l**3 - 12*l**2 - 8*l + 13. Does 19 divide v(-12)?
False
Suppose 7 = -2*c + 3. Let s be c/(-4)*(1 + -1). Suppose u - 9 - 22 = s. Is 10 a factor of u?
False
Let m(a) = 2*a**2 - 4*a + 6. Suppose -q - 2 = -2*c, 3*c + 1 = -3*q - 5. Suppose c*j + 8 = 2*j. Is 10 a factor of m(j)?
False
Let x(a) = 2*a**2 + a - 1. Let r be x(-2). Suppose 0 = -v + 2*t + 10, -2*v = -v + r*t + 18. Is 7/((-21)/(-102)) + v a multiple of 14?
False
Is 20/15 + 128/3 a multiple of 11?
True
Let a(g) = g**2 - 24. Is a(8) a multiple of 17?
False
Suppose -g + 2 = -1. Is 6 a factor of g/9 + 34/6?
True
Let j(o) = o**3 + 17*o**2 - 2*o - 23. Does 3 divide j(-17)?
False
Is (-23)/115 + 141/5 a multiple of 2?
True
Suppose 48 = -3*v + 5*v - 4*k, 0 = -2*v + k + 51. Suppose 0 = -5*s + 4*s. Suppose -4*j = -4*n - 22 - 50, s = -3*j - 4*n + v. Is j a multiple of 5?
False
Suppose 2*m - 22 = -a, 2*m = 4 + 2. Does 9 divide a?
False
Let k(m) = -17*m - 7. Let d(j) = -17*j - 8. Let l = 14 + -8. Let b(r) = l*d(r) - 7*k(r). Is b(2) a multiple of 12?
False
Let f(s) = -s - 1. Let l be f(4). Let a(t) = t + 3. Let c be a(l). Is 2 a factor of c/(-3) + 14/6?
False
Suppose 98 = -2*n + 350. Suppose -3*m - 27 + n = 0. Does 11 divide m?
True
Let d be (4 - 0) + (-4)/2. Let x = 4 - d. Suppose 4*z + x*f = -0*z + 18, -6 = 2*z - 4*f. Is z a multiple of 2?
False
Let q = 16 + -16. Suppose -5 = 4*o + 3*y - 166, q = -o + 5*y + 23. Is 14 a factor of o?
False
Let u(d) = 5*d**2 - 3*d - 2*d - d**3 + 3*d + 2*d**2 + 4. Does 16 divide u(5)?
False
Suppose -2*y - 65 = -3*h, -5*h - y = -2*h - 71. Let k = h - 5. Suppose v = -v + k. Does 4 divide v?
False
Let s be 2/(-11) + (-3546)/(-22). Suppose -3*h + 4*y + 0*y = -115, -5*h + s = y. Is 11 a factor of h?
True
Suppose 8*c - 11*c = -27. Is 3 a factor of c?
True
Suppose -5*s = -14*s + 387. Is 2 a factor of s?
False
Suppose -u = -33 - 8. Does 41 divide u?
True
Suppose 0 = 4*r + 4*c - 17 - 23, 3*c - 46 = -5*r. Is r a multiple of 4?
True
Let x = -11 + 15. Suppose -2*a + 34 = -2*b, a - x*b = -2*a + 52. Does 10 divide a?
False
Suppose 0 = -5*t - 3*s + 3 - 1, 0 = -4*t - s + 3. Let y be 3 - t - 8/1. Let a(g) = g**2 + 6*g + 4. Does 2 divide a(y)?
True
Let w(l) = -l - 10. Let y be 4/18 + (-444)/54. Let h be w(y). Does 15 divide ((-3)/(-3) - h) + 12?
True
Let i(k) = 4*k**3 + 2*k**2 - 1. Let p be i(-1). Let u(s) be the third derivative of s**5/20 + s**4/24 + 2*s**3/3 - 2*s**2. Does 14 divide u(p)?
True
Suppose -m - 4*m + u = -40, 2*u = 10. Is m a multiple of 9?
True
Let u = -17 + 17. Suppose a = 5 - u. Is a a multiple of 2?
False
Let q = 122 + 160. Is q a multiple of 22?
False
Suppose -5*i = 3*m - 390, 3*m + 4*i - 663 = -2*m. Does 27 divide m?
True
Let h(q) = q**2 + 12*q + 13. Is h(-16) a multiple of 7?
True
Let g(f) = 3*f**3 - 2*f**2 + 2*f. Is 20 a factor of g(3)?
False
Let f = 8 - 17. Let p = 14 + f. Is ((-3)/p)/((-2)/10) a multiple of 3?
True
Suppose 2*g + 5*o - 4*o - 7 = 0, -3*o = -15. Suppose 0 = -4*k + f - 11 + 33, -3*k - 2*f = -11. Suppose 2*l = k*x - 127, 4*l + g - 17 = 0. Is 9 a factor of x?
True
Let x(d) = 3*d - 5*d + 3*d + 11 - 2*d**2 + d**2. Is x(0) a multiple of 11?
True
Let i(d) = d**2 - 2. Let w(n) = 1. Let k(b) = i(b) - 2*w(b). Is k(-3) a multiple of 5?
True
Let n(c) = -c**2 + 10*c + 5. Let w be n(10). Suppose 3*g - w*d + 1 = 7, -3*d + 2 = -g. Does 3 divide g?
False
Suppose 5*l - 3*l + 52 = 0. Let v = -10 - l. Is v a multiple of 8?
True
Suppose -4 = 2*p - 4*c, -4*p = c + 5 - 33. Let d(k) = k**2 - 7*k. Let n be d(p). Let h(t) = -2*t - 4. Is 4 a factor of h(n)?
True
Suppose 0 = -4*y - 2*x - 2*x + 20, -2*x + 14 = 3*y. Let v(u) = 3*u - 5. Does 6 divide v(y)?
False
Let i(u) be the second derivative of -u**5/20 - 2*u**4/3 - 4*u**2 - u. Let h be i(-8). Let w = h + 11. Does 2 divide w?
False
Suppose -2*w - 4 = -4*w. Suppose -2*k = 3*u + w*k - 101, -5*u + 4*k + 211 = 0. Is u a multiple of 13?
True
Let w be (2 + 5)/(5/5). Suppose -w = -z + 3. Does 10 divide z?
True
Let w be (-1)/(3/(-60)) - -4. Suppose 2*u - a + 4*a - 34 = 0, 0 = -u - 5*a + w. Is 14 a factor of u?
True
Suppose -1123 = -4*u + 3*c, 277 = 5*u - 4*u + 3*c. Does 36 divide u?
False
Let d(u) = -14*u - 5. Does 2 divide d(-1)?
False
Let l(q) = 5*q**2 - 3*q - 2. Let r(y) = -y - 1. Let c be r(1). Does 12 divide l(c)?
True
Let d be (1 + 1)*1 + 3. Suppose -3*z = 2*p - 128 - 58, -d*z - 3*p = -309. Suppose 0*w + 2*w = z. Is 17 a factor of w?
False
Is -2*7/(-2) + 3 a multiple of 5?
True
Let w = 4 - 1. Let k be ((-1)/2)/(w/(-18)). Suppose 32 = 2*u + 4*n, -k*u = -4*u - n + 13. Is 6 a factor of u?
False
Suppose 0*h + 10 = 5*h. Let m(w) = -12 - w**2 + h*w + 4 + 6*w. Does 4 divide m(6)?
True
Let x = -1 + 69. Is x a multiple of 34?
True
Let b = -1 - -3. Suppose -5 = -k - b, 4*g + 4*k = 4. Does 10 divide (g + 5)/3 - -23?
False
Let v = 45 - -15. Is 20 a factor of v?
True
Suppose -3*m - 168 + 723 = 0. Let f = -113 + m. Is f a multiple of 18?
True
Suppose -4*s = 3*g - 29, -3 + 5 = -g + s. Suppose 0 = -g*a - 0*a + 21. Is a a multiple of 5?
False
Let f = -1 + 15. Does 5 divide (-4)/f - 642/(-42)?
True
Let o = 5 + 0. Suppose o*x - 37 = 48. Is 7 a factor of x?
False
Suppose -7*q - 60 + 466 = 0. Is q a multiple of 29?
True
Suppose 253 = 2*l + 3*q + 58, 4*q + 202 = 2*l. Suppose -157 = -4*n + l. Does 26 divide n?
False
Is (1242/(-30) - -1)*-5 a multiple of 33?
False
Suppose 3*m - 5 = -2*i + 8*m, 2*i - 2*m = 14. Let d(l) = l**2 - 10*l + 15. Is d(i) a multiple of 14?
False
Is 1/((-2)/(-10) + 16/(-84)) a multiple of 35?
True
Suppose 46*x - 41*x - 535 = 0. Is x a multiple of 13?
False
Let r be (-1 + -17)*2/(-4). Let j(t) = t - r + 0*t + 45. Does 13 divide j(0)?
False
Let u = 33 + -28. Suppose 4*g = 2*g - 2. Is (u*g)/(1/(-5)) a multiple of 11?
False
Let i(x) = -x**2 - 11*x - 8. Let m(r) = -9*r**2 + r + 1. Suppose 3*d = -2 - 1. Let y be m(d). Is i(y) a multiple of 9?
False
Suppose -5*i + 5*n = -30, -3*n - 26 = -4*i + 2. Does 5 divide i?
True
Let r = 580 + 266. Let a be r/10 - 4/(-10). Suppose 0*s = 5*b + 5*s - 85, a = 5*b - 4*s. Is 10 a factor of b?
False
Let u(g) = 7*g**2 - 11*g - 4. Let p(s) = 3*s**2 - 5*s - 2. Let v(d) = -9*p(d) + 4*u(d). Let z = -7 - -3. Is v(z) a multiple of 7?
True
Suppose 0 = -3*c + 804 + 69. Is c a multiple of 32?
False
Let s(a) = 4*a**2 - 5*a + 54. Does 30 divide s(8)?
True
Let v(d) = 2*d**2 - 4*d - 2. Let w be v(7). Let y = w + -44. Does 8 divide y?
True
Let g 