*f + 8 - 48 = v. Is f a multiple of 8?
True
Let v = 10 - 25. Is 2 a factor of ((-12)/v)/((-6)/(-15))?
True
Let f(a) = 3*a**3 + a**2 + 2*a + 1. Let q be f(-1). Let p = q + 2. Is 42*(p - (-39)/21) a multiple of 18?
True
Let g be (-2)/(-6) - 142/(-6). Suppose 0*r + 3*r = g. Is r a multiple of 3?
False
Suppose -5*t = -2*v + 60, -2*t - 13 = v - 52. Does 22 divide v?
False
Let s be 9*(-6)/(-9) - -2. Let b = 15 + s. Is b a multiple of 14?
False
Is 3 a factor of (20/16)/(1/12)?
True
Is 10 a factor of -4 - 1*(2 + -123)?
False
Let y(a) = 4*a + 6*a**2 + 3*a**2 + a**3 - 2*a**3 + 5 + 7. Does 31 divide y(9)?
False
Let l(x) = -x**2 + 27. Let r be l(0). Is 10 a factor of r + (-7)/(28/8)?
False
Let z be -7 + 2/(2/(-1)). Let u(j) = j**2 + 3*j - 8. Let o be u(z). Let b = -11 + o. Is b a multiple of 11?
False
Suppose -5*d = 5*t + 15, t + 15 = 4*t. Let o = d - -18. Is 5 a factor of o?
True
Let l(b) = -28*b**3 - 1. Let f be l(1). Let r = -11 - f. Is r a multiple of 9?
True
Suppose 13*m = 17*m - 352. Is 11 a factor of m?
True
Suppose -21*h + 1283 + 2245 = 0. Is h a multiple of 12?
True
Suppose y + 3 - 13 = 0. Does 7 divide y?
False
Let f(n) = n**2 + 5*n. Let g be f(-5). Suppose -4*h + 3*h + 53 = g. Is 27 a factor of h?
False
Let a(c) = c**2 + 2*c + 1. Let f be a(-4). Let i = f - 3. Suppose -4*n = 2*h - 16, -i*h = -4*h - 4*n - 56. Is h a multiple of 9?
True
Let w(g) = 4*g**2 + 7*g + 1. Is 33 a factor of w(-5)?
True
Suppose 4*y - 125 = 35. Does 10 divide y?
True
Suppose 215 = -5*l - y, 4*y = 5*y + 5. Let v = -10 - l. Is v a multiple of 16?
True
Let u be (2*1)/((-7)/28). Let a(m) = m**2 + 4*m + 12. Does 11 divide a(u)?
True
Let s = 3 + -4. Let i(o) = -58*o**2 + 1. Let r be i(s). Does 11 divide -3*r/27*3?
False
Suppose h = 1, -3*q - 2*h + 0*h = -2. Suppose -3*r - y + 65 = 2, r + y - 21 = q. Is r a multiple of 21?
True
Let d(w) = w**3 - 6*w**2 + 7*w + 9. Let b(x) = 2*x**3 - 7*x**2 + 7*x + 10. Let s(c) = 2*b(c) - 3*d(c). Let q be s(-5). Is 4 a factor of (18 + -3 + q)/2?
False
Let a = -12 - -14. Suppose a*q + 8 = 4*q. Is 2 a factor of q?
True
Is 278/4 - (3 - (-30)/(-12)) a multiple of 23?
True
Suppose 2*g = 3 + 53. Is g a multiple of 14?
True
Let r(y) be the third derivative of -3*y**4/8 + y**3 + y**2. Let n be r(-5). Does 17 divide (2 - 1)/(3/n)?
True
Let i = 11 - 38. Let l = 87 + i. Does 20 divide l?
True
Let m = 22 + -9. Suppose -25 - 31 = -4*g. Let v = m + g. Is 10 a factor of v?
False
Suppose o - 4*y = -1, -5*o + 0*o - 2*y = -61. Is 7 a factor of o?
False
Suppose -5*n = 4*d + 14, 5*n - d = -4*d - 13. Does 17 divide -2 + 36/(3 + n)?
True
Suppose -j - 3*j + 24 = 0. Is 4/j + 92/6 a multiple of 6?
False
Let y(d) = 2*d**2 - d + 3. Let w be y(4). Let m be 5 + (-16)/2 + -4. Let b = m + w. Is 12 a factor of b?
True
Let c = 6 + -3. Suppose -c*h - 12 = -0*h. Is 29 + 2 - (-5 - h) a multiple of 12?
False
Let x(y) = y**2 + 5*y + 13. Let z(n) = 3*n**2 + 15*n + 38. Let t(u) = -8*x(u) + 3*z(u). Does 8 divide t(-7)?
True
Let q(p) = -p**3 - 10*p**2 - 11*p - 2. Is 8 a factor of q(-9)?
True
Suppose -2*w + 4 = -w. Suppose p = w*n - 22, 0*n + 3*p - 30 = -4*n. Is 3 a factor of n?
True
Let b(w) = -w - 2. Let o be b(-4). Suppose 7*a - o*a - 60 = 0. Does 12 divide a?
True
Let c be 18/7*336/18. Let f = -31 + 9. Let y = c + f. Is y a multiple of 11?
False
Suppose 3*s - 7*s + 100 = -2*d, -5*d + 2*s - 234 = 0. Let u be 0 + (79/1 - 1). Let p = d + u. Does 16 divide p?
True
Let k be 78/((-9)/(-6) + 0). Is 4 a factor of (-2)/(3 + k/(-16))?
True
Let g(r) = -r**2 + 11*r - 6 + 2 - 14*r. Let x be g(-5). Is ((-21)/x)/((-2)/(-8)) a multiple of 4?
False
Let u(j) be the first derivative of -49*j**4/4 + j**2 + j - 1. Let g be u(-1). Let z = g + -33. Is z a multiple of 5?
True
Let s = -8 + -24. Let r = s + 47. Is 4 a factor of r?
False
Suppose -b - 4 = -0. Is 4797/81 - b/(-18) a multiple of 17?
False
Let k = 870 - 447. Does 49 divide k?
False
Let f(i) = i**2 - 9*i - 7. Let v be (4 - 2) + (-33)/3. Let r be ((-3)/v)/(3/90). Is f(r) a multiple of 3?
True
Let q be (3 + -2)*-3 - -22. Suppose 3 = -f + q. Does 8 divide f?
True
Suppose 5*v = -u + 61, 0*v + 3 = -v - 4*u. Does 11 divide v?
False
Let b = 56 - 12. Does 3 divide b?
False
Suppose -m = m - 4*o - 64, 5*o + 125 = 4*m. Does 5 divide m?
True
Suppose 0 = 4*z - 6*z + 52. Is 25 a factor of z?
False
Is 81 + (-6 - -2) + 8/(-2) a multiple of 20?
False
Does 12 divide (3/(-9))/((-4)/192)?
False
Let u(x) = 8*x + 4. Let f be u(-4). Let s be f/(-13) + 8/(-52). Is s/6 - 131/(-3) a multiple of 17?
False
Suppose 4*w + 4*y - 24 = 20, -w + 4*y + 1 = 0. Is w/6*136/6 a multiple of 17?
True
Suppose -3*f = -9*f + 288. Is f a multiple of 16?
True
Suppose 0 = -0*m + m. Let n = m - -2. Suppose -n*u = -4*u - t + 31, -u - 5*t = -11. Is u a multiple of 8?
True
Let r be (-103)/(-15) - (-2)/15. Let q(h) = h**2 + 3*h - 7. Is q(r) a multiple of 22?
False
Suppose 5*z - a - 13 = 0, 4*z + 5*a = 2*z - 11. Suppose 4*w = z*w + 36. Does 9 divide w?
True
Suppose -2*i + 344 = 4*q, -2*q - i + 424 = 3*q. Does 28 divide q?
True
Suppose 4*j + 3*d = -25 + 135, 4*j = -5*d + 106. Is j a multiple of 29?
True
Let f(i) = -i**2 + 9*i + 6. Let t be f(9). Let w(j) = -7*j + 5. Let s(u) = 7*u - 6. Let l(h) = 4*s(h) + 3*w(h). Is 11 a factor of l(t)?
True
Suppose -5*w = -18 - 2, 4*w = 2*i - 698. Is 51 a factor of i?
True
Is ((-78)/(-4) - -2)*2 a multiple of 15?
False
Suppose 2*y - 3*y + 8 = 4*d, -3*d + 17 = -2*y. Let u = -2 - y. Suppose -2*p - u*p = -108. Is p a multiple of 13?
False
Suppose -4 = 2*h, 0*r - r + 19 = 3*h. Suppose 0 = 2*j - r - 1. Let u = 28 - j. Does 15 divide u?
True
Is (-1)/(-6) + 8/(288/1758) a multiple of 4?
False
Suppose -v - 2*v + 49 = 5*a, v = 3*a + 21. Is (-3616)/(-72) + (-4)/v a multiple of 25?
True
Let y = -1 - 8. Does 2 divide -2 - y - (0 + -3)?
True
Let u(t) = t**2 + 7*t. Let s be u(-6). Let y be (-3)/(-2) + s/4. Does 8 divide 17 - (y + 3 + -2)?
True
Let j(x) = 41*x**2 - x - 2. Is j(-1) a multiple of 10?
True
Let n be (-8)/((-111)/105 + 1). Suppose 5*p - n = -2*s, 6*p - s = p + 155. Does 15 divide p?
True
Let q = -11 - -43. Is 7 a factor of q?
False
Suppose 0 = z - 0*z. Let a(t) = t**3 + t**2 - t + 6. Let w be a(z). Suppose -2*k - 4*q = 8, -k - 3*q = -w*k + 32. Is k a multiple of 4?
True
Suppose 0 = -3*u + 4*u - 6. Let b(v) = -v + 1. Let w(r) = -3*r - 2. Let n(p) = -6*b(p) + w(p). Does 5 divide n(u)?
True
Let l(c) = -6*c**3 - c**2 - c - 1. Let w be l(-1). Suppose w*u = -32 + 2. Let o(p) = -p**2 - 7*p + 4. Is 8 a factor of o(u)?
False
Suppose 4*g + 14 = -5*f, 6*g - 5*g + 8 = f. Is (111/(-9))/(2/g) a multiple of 19?
False
Let y(z) = z**2 + 9*z + 8. Is 2 a factor of y(-9)?
True
Let o = 10 + -9. Is 27 a factor of ((-24)/(-32))/(o/72)?
True
Suppose 5*y = 328 + 527. Is 2 a factor of y/63 - 2/(-7)?
False
Suppose -h + 8 = 53. Does 12 divide 2/15 - 1614/h?
True
Let d(u) = -u - 1. Let c be d(-4). Let a = 9 - c. Suppose -5*g = -29 - a. Does 4 divide g?
False
Suppose -3*g = -g. Suppose -x = -3*m - 13, x + g*x = -5*m - 27. Let n(z) = -13*z - 1. Is 9 a factor of n(x)?
False
Is (-1*(-96)/18)/((-3)/(-54)) a multiple of 14?
False
Suppose 3*w + i + 16 = 0, -4*w = -0*i - 3*i + 4. Let f be w/14 - (-424)/14. Suppose 3*m - m - 4*p - 20 = 0, -m + f = 2*p. Is m a multiple of 11?
False
Let b = 78 - 73. Is b a multiple of 3?
False
Let b be (-4)/6 + (-245)/(-21). Does 26 divide (-49)/14*(1 - b)?
False
Suppose 3*y - 14 = -4*v - 6, v - 36 = -5*y. Is 2/8 + 430/y a multiple of 18?
True
Let v be (-2)/1 - (-4 + -3). Suppose -49 = v*r - 409. Is 24 a factor of r?
True
Let p(u) = -u**2 + 3*u + 1. Let g be p(-2). Let w = g + -22. Does 11 divide w/(-3) + (-2)/(-3)?
True
Suppose -39 = -r + 5*v, 3*r - 63 = -v - 2*v. Suppose -l + r = -5*l. Let d = l - -12. Is d a multiple of 6?
True
Let s = 14 + -10. Suppose -61 + 13 = -s*o. Is o a multiple of 5?
False
Suppose -2*k = -4*c + 154, -3*k + 39 = c - 4*k. Suppose -q - q + c = -3*n, -2*q - 4*n + 52 = 0. Is 15 a factor of q?
False
Suppose -t = -4*t. Suppose r + 3*r - 36 = t. Does 2 divide r?
False
Let v(a) = -a**3 + 3*a**2 - a. Let p be v(2). Let t be 3/p - (-2)/4. Does 5 divide 3/t*20/6?
True
Suppose -3*m + 65 = l, 0 = 4*l - m + 38 - 298. Suppose -l - 63 = -4*t. Let s = t + -13. Is 14 a factor of s?
False
Let m(q) = -12*q**3 - 2*q**2 + 2*q - 1. Let c be m(1). Let t = 18 + c. Suppos