 of 14?
True
Let d = -107 + 112. Let g be (-38)/6*(-2 + -58). Suppose -c - 228 = -4*c + 2*y, d*c = -2*y + g. Is c a multiple of 10?
False
Let v(l) = 2*l**2 - 4*l - 16. Is 32 a factor of v(12)?
True
Let f be (-16 - -22)*-2*2/6. Is (7/f)/((-5)/220) a multiple of 11?
True
Let v(w) = -w**2 - 2*w - 213. Let i be v(0). Let m = 353 + i. Is m a multiple of 35?
True
Suppose 4*v - 3 = 5. Let s be 0 + 117 - (-5 + v). Suppose 4*i + s = 2*g, 3*i - 6*i - 117 = -2*g. Does 18 divide g?
True
Let a = 1158 + -2674. Let w = 842 + a. Is w/(-10) + 4/(-10) a multiple of 20?
False
Let o = 5 + -5. Suppose -4*a - 5*p + 200 = 0, o*a + 5*a - 205 = 5*p. Does 15 divide a?
True
Let m = -11 + 17. Suppose 5*q + x = 174, -2*q - 3*x + 2*x = -72. Suppose -m = -w + q. Is w a multiple of 10?
True
Let i be 55/(-3) - (-5)/15. Let x = 103 - i. Is 13 a factor of x?
False
Let x(k) = 12*k**2 + 8*k + 31. Is x(9) a multiple of 25?
True
Let d be (-3 - -3) + 1*-8. Let f be d/(-2)*1/1. Does 12 divide f/6 + 560/24?
True
Let g(h) = -10*h - 6. Let u(s) = 20*s + 11. Let b(x) = -5*g(x) - 3*u(x). Let c be b(-5). Let z = 6 + c. Is z a multiple of 27?
False
Suppose 4*p + 43 + 221 = 3*o, -5*o + 440 = -3*p. Is 16 a factor of o?
False
Let u(b) = 14*b**2 - 2*b - 1. Let o be 17 + 9/(27/(-6)). Let i be (6/o)/((-4)/10). Is 5 a factor of u(i)?
True
Let p = -54 - -59. Suppose y + 88 = i, p*y + 89 - 9 = i. Is 29 a factor of i?
False
Suppose 63*y - 55568 = 6802. Is 15 a factor of y?
True
Let i(u) = -u**3 + 10*u**2 - 10*u - 24. Is i(8) a multiple of 6?
True
Let p(b) = -3*b + 17. Let y(x) = x**2 + 4*x - 16. Let z(d) = 3*p(d) + 2*y(d). Is 36 a factor of z(-10)?
False
Suppose 2*x - 1880 = 4*j, x + 8*j - 961 = 3*j. Is 22 a factor of x?
True
Let y(t) = 61*t - 8. Let o be y(8). Does 6 divide 4/(-10)*o/(-8)?
True
Let k(u) = -118*u + 269. Is k(-19) a multiple of 16?
False
Suppose 0*y + 30080 = 64*y. Is 10 a factor of y?
True
Suppose 0 = -5*w + 11*w + 618. Let n = w + 243. Is n a multiple of 35?
True
Let c(k) = -2*k**3 + 37*k**2 + 40*k + 17. Is c(19) a multiple of 52?
True
Let w = 1496 + -1016. Does 20 divide w?
True
Suppose -78 - 24 = -2*y - 2*i, 3*y = -4*i + 150. Let b = -540 - -544. Is 3 a factor of 2/(y/(-14) + b)?
False
Let a = -6 - 100. Let s = a + 164. Suppose 0 = 5*i - 3*j - s - 11, -2*j + 49 = 3*i. Is i a multiple of 8?
False
Let x be 3 + (-1)/3*-3. Suppose -5*b - 2*w = -52, -x*b + 42 = 2*w - 0*w. Let c(p) = 2*p - 6. Is c(b) a multiple of 7?
True
Suppose -4*c + 2*c = 0, -2*b = c. Suppose b = 3*n + 3 + 21. Is -1 - (n + (-1 - -2)) a multiple of 6?
True
Let h(g) = -g**2 + 6*g - 1. Let n be h(4). Let u = n + -4. Suppose -u*o = b + o - 31, b - 5*o - 49 = 0. Is b a multiple of 13?
True
Let o(a) = -3*a**2 - 15*a + 10. Let p be o(-7). Let i = -29 - p. Suppose i*k - b - 48 = 0, -b - 12 = -k + 6. Is 15 a factor of k?
True
Let j(u) = u**3 + 36*u**2 - 104*u + 112. Is j(-38) a multiple of 84?
True
Suppose -4*t + 5*f = -56, -4*f - f + 25 = 5*t. Suppose -g + o = -4, -t = -3*g + o - 1. Suppose g*a - 11 = 3. Is 7 a factor of a?
True
Does 6 divide 1488/10 - -2 - (-83)/415?
False
Suppose 5*q + 246 - 1686 = 0. Does 12 divide q?
True
Let x = 1449 + -494. Suppose -7*b = -x - 585. Is 19 a factor of b?
False
Let w be (-58)/7 - (-4)/14. Let d(f) be the second derivative of -f**5/20 - f**4/2 + 11*f**3/6 + 7*f. Does 31 divide d(w)?
False
Let s(m) = m**2 - 9*m + 12. Let y be s(8). Suppose 3*o + y*b - 26 = 0, -15 = b - 4*b. Suppose -t - 105 - 53 = -3*l, -4*t + 96 = o*l. Is l a multiple of 25?
False
Let y(u) = u**2 - 2*u - 7. Let f be y(6). Let l = f + -13. Suppose -2*n = -0*n + 5*a - 11, l*n - 13 = -a. Is n a multiple of 3?
True
Let a = 1133 - 770. Is 53 a factor of a?
False
Let x = 12 - 11. Let p = x + 4. Suppose 0 = p*i + 4*l - 47, 2 = 4*l + 10. Does 2 divide i?
False
Suppose 391 + 203 = 9*h. Does 26 divide h?
False
Let m = -38 + 31. Let r(o) = o**3 + 6*o**2 - 7*o + 2. Let a be r(m). Does 15 divide a/(-3) - 94/(-6)?
True
Let n = -31 + 40. Suppose -3*w = -n*w + 372. Is 36 a factor of w?
False
Suppose -25*y - 1892 = -28*y - j, -1894 = -3*y - 2*j. Is 30 a factor of y?
True
Let d be (2/(-2))/(11/(-55)). Let z be (4*64 - 1) + 1. Suppose -d*m - 76 = -4*s + z, -12 = 3*m. Is 20 a factor of s?
False
Let v(y) = 5*y**3 - 4*y**2 + 6*y. Is 23 a factor of v(2)?
False
Let u(p) be the third derivative of p**5/60 - p**4/24 + 91*p**3/3 + 26*p**2. Is u(0) a multiple of 13?
True
Let l(k) = k**3 + 11*k**2 + 9*k - 18. Suppose 2*p + m - 27 = 5*p, 3*p + 5*m = -27. Does 9 divide l(p)?
True
Let r(y) = y**3 + 11*y**2 - y + 7. Let d(t) = -t**3 + 4*t**2 - 2*t. Let w be d(3). Suppose c + 4*z - 14 = -z, 2*c = -5*z + w. Is 13 a factor of r(c)?
False
Let m = 2870 - 2851. Is m a multiple of 3?
False
Let r be 40/((-4)/(-2*12)). Is (8/(-4))/((-2)/r) + 2 a multiple of 41?
False
Suppose 18*k - 896 = 10*k. Does 16 divide k?
True
Let p(j) = j + 4. Let f be p(-10). Suppose 0 = -2*s + 4, -2*s + 0*s + 43 = 3*x. Let g = x + f. Is 4 a factor of g?
False
Let q be -1 + 1 + 4/1. Suppose l = 2*l. Suppose l = -q*u + 5*u - 48. Is 16 a factor of u?
True
Let b(x) be the third derivative of 3*x**5/5 - x**4/24 + x**3/6 - 4*x**2. Let v be b(1). Suppose 0 = -4*z + 2*z + v. Is z a multiple of 9?
True
Let n be 1 + -1 + 1 + 4/2. Suppose -3*v + 657 = n*f, 15 = 5*v - 0. Does 24 divide f?
True
Suppose -42 = 3*c + 5*u, 3*c + 3*u + 34 = -2. Let r = c + 3. Does 29 divide (3 + 0 + r)*-21?
False
Let v = -19 - -12. Let m = -3 + 2. Let i = m - v. Is i a multiple of 5?
False
Let b = 54 + 537. Let a = b + -194. Is 22 a factor of 1/(-6) + a/6?
True
Let b(d) = d**3 + 5*d**2 + 12*d - 1. Let a(h) = -3*h**3 - 10*h**2 - 25*h + 3. Let m(c) = -2*a(c) - 5*b(c). Is 27 a factor of m(7)?
True
Let s(l) = 14*l - 8 - 13*l - l**2 - 19*l. Is s(-16) a multiple of 15?
False
Let t(a) = 5 + 2 + 2*a + 1. Let l(x) = -3*x - 16. Let c(s) = -3*l(s) - 5*t(s). Is 6 a factor of c(-8)?
False
Is 49/4*(-38 + 74) a multiple of 21?
True
Let h be (-30)/20*(-2)/(-3) + 2. Suppose 0 = 2*g - 4*y - 86, -3*g + 128 + h = -2*y. Is 6 a factor of g?
False
Let p = -33 - -47. Suppose -12*r = -p*r + 218. Is r a multiple of 20?
False
Let i be 3/(-6)*(-11 - 1). Let o(c) = -c**3 + 7*c**2 + c - 2. Let h be o(i). Suppose 4*p - h - 4 = 0. Is 11 a factor of p?
True
Let g be (6 - 3)/(3/4). Suppose -53 - 145 = -3*q. Suppose g*i - q = i. Does 11 divide i?
True
Suppose 0 = 5*n + 5*g - 2505, 5*g + 2164 - 169 = 4*n. Is 100 a factor of n?
True
Suppose -164*q - 2460 = -167*q. Is q a multiple of 41?
True
Suppose -5*u - 26 + 246 = 0. Let l = -2 + u. Does 14 divide l?
True
Does 32 divide (-14228)/(-10) + (-27)/(-135)?
False
Let s(u) be the third derivative of -31*u**6/20 + u**5/30 + u**4/8 + u**3/3 - 8*u**2. Is 11 a factor of s(-1)?
True
Let l(o) = -6*o**3 + 10*o**2 + 16*o + 9. Does 7 divide l(-3)?
False
Let a = -212 + 151. Let c = -33 - a. Does 7 divide c?
True
Suppose a + 0*y + 2 = -2*y, 0 = 2*y + 4. Suppose 0 = a*v + 16 - 60. Is v a multiple of 22?
True
Let a be (208/(-65))/(1/(-60)). Suppose -g + 175 = 2*t, 2*t - 4*g = -2 + a. Is t a multiple of 16?
False
Suppose 5*w - 4752 = -2*g - 390, 1 = g. Does 8 divide w?
True
Let b(h) = 14*h**3 - 2*h + 4. Let z be b(2). Suppose 2*n + z = 6*n. Suppose 4*s - n = 2*m, 10*m = 5*m - 10. Is s a multiple of 4?
False
Suppose 0 = 4*p - 5 - 3. Suppose 5*v + p*h - 44 = 0, -4*v + 0*h - 2*h + 36 = 0. Does 11 divide (v/12)/((-4)/(-186))?
False
Suppose -6*f = -f - u - 2, -f - 8 = -3*u. Let z be -3*f + (6 - -17). Let p = z + -13. Does 5 divide p?
False
Is (-5570)/(-10) + ((-8)/(-4) - -3) a multiple of 77?
False
Let y be 1 - (0 - 1) - 0. Let i = 129 - 129. Suppose -y*u + 42 = -i*u. Does 9 divide u?
False
Let h(l) = 2*l**2 + 4*l - 15. Let p be h(7). Suppose -2*j - p = c, 166 = -3*j - 0*c - c. Let u = j - -102. Is u a multiple of 16?
False
Let p be 1617/3 - (-2 + 5)*-1. Suppose 2*h - 1377 = -5*u, -2*u - 2*h + 4 = -p. Does 14 divide u?
False
Suppose 2*r - 5*b = 138, -r - 9 = 3*b - 100. Let i(x) = x**3 - x**2 - 4*x + 2. Let c be i(3). Suppose -3*f + r = -5*d, 3*f + d - c = 77. Does 20 divide f?
False
Let a = 349 + -181. Is a a multiple of 7?
True
Suppose -2*i + 2*s = -4*i - 254, -637 = 5*i + 4*s. Is 4/6 - i/9 a multiple of 15?
True
Let s be (-6)/(-3) + 0 + 2. Suppose 3*n = -s*j + 2*n + 36, 4*j = 2*n + 36. Does 3 divide j?
True
Is (-42)/(-4)*171