alse
Let c(n) = n**2 - 7*n + 6. Let q be c(7). Suppose q*s - s - 375 = 0. Is 5/(s/110)*3 a multiple of 11?
True
Suppose -6*f + 74 = -4. Suppose -2*p - f = -35. Does 11 divide p?
True
Suppose 0 = -5*o - 25, o = 3*v - 3*o - 1040. Suppose 4*y = j - 65 - 39, 4*j - v = -3*y. Does 17 divide 3 + j/(2 + 2)?
False
Let x = 1988 + 963. Suppose -11*d + 184 = -x. Is d a multiple of 12?
False
Does 44 divide 12672/18*(-45)/(-12)?
True
Let v = 16 - 10. Suppose 2*k - 2 = 3*u, -2*u + 3*u - k = 0. Is 13 a factor of (2 + (-9)/u)*v?
True
Suppose -5*x - 269 = 5*w - 9*w, -201 = -3*w + 3*x. Does 33 divide w?
True
Let j be ((-70)/(-42))/(10/36). Let k(w) = 2*w**2 - 5*w + 14. Is 17 a factor of k(j)?
False
Suppose 3*c = -c. Suppose 0 = -c*y - 4*y + 188. Is 9 a factor of y?
False
Let v be (-18)/(-4) + 4/(-8). Does 6 divide 59 - (v/(-1))/(-4)?
False
Let g = -14 + 17. Suppose 4*b = 16, 4*n - n + g*b = 39. Suppose 5*u - n = 46. Is 8 a factor of u?
False
Let s be 5 + 3/((-6)/4). Suppose 21 = -5*i - 4*q, 18*i - 21*i = -2*q - 5. Does 8 divide 12 + s/(-1) + i?
True
Let n = -27 + 30. Suppose -n*v = 3 - 87. Does 5 divide v?
False
Is 7 + (-135)/18*-116 a multiple of 11?
False
Let l = -44 + 396. Is 44 a factor of l?
True
Let u be -1 + 9*(-4)/(-6). Suppose -u*c - 2*p - 20 + 75 = 0, 22 = 2*c - p. Is c a multiple of 6?
False
Is 11 a factor of (6*2)/((-4221)/847 - -5)?
True
Let s = 2 - -1. Suppose 31 = 5*g - 5*x + 11, -s*g + x = -14. Let r(v) = 9*v + 4. Does 23 divide r(g)?
False
Is 6 a factor of 4 - 244*(-4)/8?
True
Let h = 1270 - 583. Is h a multiple of 4?
False
Let j(m) = -m**3 - 8*m**2 - 7*m + 15. Let s be j(-6). Is 8 a factor of (-3)/s - (-5)/(50/2268)?
False
Let y(v) = 3*v + 0*v + 10 + v**3 + 3*v**2 + 7 + 4*v**2. Let h be y(-7). Is h/18 + 870/27 a multiple of 16?
True
Let p(a) = a**3 - 13*a**2 - 15*a + 12. Let u be p(14). Is u - -4 - 918/(-9) a multiple of 8?
True
Suppose -25*z - 2520 = -29*z. Does 9 divide z?
True
Suppose 0 = 2*b + 3*b + 220. Let u = 50 + b. Is 3 a factor of u?
True
Suppose -306 = -104*s + 95*s. Is s a multiple of 3?
False
Suppose 2*o - 313 = -4*c + 3*c, -3*o + 466 = -2*c. Does 13 divide o?
True
Let c(k) = k**3 - 30*k**2 + 56*k + 49. Is 29 a factor of c(28)?
False
Let d = 426 + -233. Is d a multiple of 5?
False
Suppose a - 2 = -5*n, -5*n + 5*a - 3*a - 4 = 0. Suppose 2*k + 15 = b, -4*b + k + 46 = -n*k. Does 6 divide b?
False
Let h = -1223 - -2529. Is h a multiple of 40?
False
Let a(d) = 8*d**2 - 15*d - 12. Does 19 divide a(8)?
True
Let a(s) = 5 - 2*s + 0*s + s. Suppose 0 = -25*q + 30*q - 15. Does 2 divide a(q)?
True
Let k = -12 + 13. Suppose -h = -1 - k. Suppose 2*u - 2*a = -2*u + 234, -2*u + 108 = h*a. Is 11 a factor of u?
False
Let n(w) = w**3 + 9*w**2 - 7*w + 6. Let z be n(-10). Does 9 divide (-2514)/z + 1/4?
False
Does 7 divide -33*(-8 - 102/(-18))?
True
Let j(h) = 20*h**2 - 5*h + 5. Let l be j(2). Let b = l + -39. Does 6 divide b?
True
Let t be 8*(-1)/(4/(-3)). Does 5 divide 26 - ((-14)/6 - (-2)/t)?
False
Suppose -28*g + 11742 = -8866. Is 41 a factor of g?
False
Suppose -4*d = -3*k + 38, 0*k + 92 = 4*k + 5*d. Suppose 2*q = -5*y + 452, 4*y - 2*q - k - 340 = 0. Is 18 a factor of y?
True
Let i = -6 + -9. Let s be i/(-25) - 207/(-5). Suppose -5*k + 118 = -3*m, -2*k - 3*m + s = -1. Does 9 divide k?
False
Suppose 15*m = 1540 + 1610. Is m a multiple of 7?
True
Let o(t) = 31*t + 0*t**2 + 1 + 7*t**2 - t**3 - 36*t. Let k be o(6). Let l(f) = f**2 + f. Does 8 divide l(k)?
True
Let k = 57 + -33. Suppose 19*l - 20*l + k = 0. Does 12 divide l?
True
Suppose -3*b = -6 - 15. Suppose -o = -b + 1. Suppose o*g - g - 140 = 0. Is g a multiple of 14?
True
Suppose 0 = 4*n - 237 - 1047. Let f = n + -211. Does 22 divide f?
True
Let x(s) = 3*s**2 + s + 1. Let n be x(-1). Suppose -g = n*v - 48, 3*v - 2*g - 23 = 2*v. Is v a multiple of 5?
False
Suppose -2*u + 3*u = -a + 4, -4*u + 17 = 3*a. Suppose -f + 405 = 4*f - 3*q, u*q = -4*f + 361. Does 28 divide f?
True
Let s(j) = -j**3 - 6*j**2 - 2*j - 3. Let r be s(-5). Let q = -18 - r. Suppose 4*o - 6*c = -c + 220, 4*o + 3*c - 188 = q. Is o a multiple of 14?
False
Suppose 11*g - 122 = 9*g. Let z = g - 20. Is 12 a factor of z?
False
Suppose 0 = -4*p - p + 245. Suppose w + p = 63. Is w a multiple of 2?
True
Is ((-1)/2)/(11 + (-11886)/1080) a multiple of 30?
True
Does 19 divide (-5)/(50/(-95))*2?
True
Let i be (1/1)/((18/204)/3). Suppose g + 2 = 0, 3*g - 16 - i = -m. Is m a multiple of 8?
True
Suppose 27*k - 25*k = 968. Is 11 a factor of k?
True
Suppose -z + 70 = z. Let p(w) = -w + 6. Let g be p(3). Suppose -2*a + z = g*a. Is a a multiple of 2?
False
Let l(b) = 2*b**2 + 11*b + 7 - 3*b**2 + 9*b**2 - 6*b**2. Is l(-6) a multiple of 13?
True
Let h = -14 + 104. Is 6 a factor of h?
True
Let g(m) = -14*m - 22. Let w(z) = -z**2 + 28*z + 43. Let y(f) = -5*g(f) - 2*w(f). Is y(-9) a multiple of 20?
True
Suppose -z - 4*r + 24 = 0, 4*r - 23 = -4*z + 13. Suppose -z*i + h + 2 + 7 = 0, 3*i = 2*h + 8. Let q = 29 + i. Is 12 a factor of q?
False
Suppose 0 = 3*d + 9*d - 4476. Does 4 divide d?
False
Suppose 8*g - 27*g + 3192 = 0. Does 5 divide (-4)/(-6) + g/18?
True
Let c = 1265 - 891. Let f = c + -238. Does 34 divide f?
True
Let h = 330 + -184. Suppose -7*x + h = -5*x. Is 36 a factor of x?
False
Suppose 118*s = 114*s + 1276. Is s a multiple of 93?
False
Let g(a) = -23*a + 7. Let n(v) = -v**3 + 10*v**2 + 2*v - 22. Let o be n(10). Does 9 divide g(o)?
False
Suppose 4*m = 17*x - 18*x + 10753, -5*m - 4*x = -13444. Does 14 divide m?
True
Suppose -17*c = -5412 - 8970. Does 3 divide c?
True
Let h = 1166 - 752. Does 9 divide h?
True
Let n be (2 + 6)/(0 - -2). Suppose -n*t = 16, 4*l - l + 3*t = -42. Is 3 a factor of (2 - -33)*(-2)/l?
False
Let r(q) = -8*q + 19. Suppose 5*v - 2*v - 145 = h, h + 4 = 0. Suppose -v + 17 = 5*b. Is r(b) a multiple of 24?
False
Let q(u) = -2*u + 9*u + 4*u + 18*u - 4. Does 28 divide q(4)?
True
Suppose -5*o = -0*y + y - 3097, -2*y + 1234 = 2*o. Does 62 divide o?
True
Suppose -133*a + 119*a = -51520. Is a a multiple of 92?
True
Suppose 16*v + 12*l + 1362 = 19*v, v - 484 = -2*l. Is 9 a factor of v?
False
Does 22 divide (-8340)/(-30) - (2 + -4)?
False
Let q = 8 - 4. Suppose -8 = -4*c - 3*v, -q*c - 2*v - 6 = -14. Suppose -u - 12 = c*u, -30 = -o + 2*u. Is 19 a factor of o?
False
Let o = -316 + 203. Let j = o + 231. Is j a multiple of 23?
False
Is 73 a factor of 2 + -1 + -36 + 3831?
True
Suppose 2*u = -3*z + 145 + 20, 4*z = -u + 70. Is u a multiple of 14?
False
Is 23 a factor of 2/(-1 + 3) - (-162 + 2)?
True
Suppose 34 = i + 5*z - 0*z, -2*z + 37 = i. Suppose 0 = -19*u + 23*u + 96. Let v = i + u. Is v a multiple of 15?
True
Let w be 4/3*9/(-2). Let b(d) = -2. Let g(l) = -5*l - 2. Let f(n) = -4*b(n) + g(n). Is f(w) a multiple of 12?
True
Let g(i) = i**2 - 2*i - 3. Suppose -3*q = 38 - 20. Is g(q) a multiple of 15?
True
Let w = 143 - 76. Suppose -5*t - 35 = -3*n + 28, -2*n = 5*t - w. Does 8 divide n?
False
Suppose -5*l - 10 = -4*l. Let t = l - -12. Suppose t*f = 4*u + 14, -5*u + 35 = 7*f - 2*f. Does 2 divide f?
False
Let c be (-58)/(-18) + 24/(-108). Suppose -y + 8 = -0*q + c*q, 24 = 4*q - 2*y. Let h(x) = x**3 - 2*x**2 + 5*x + 1. Does 25 divide h(q)?
False
Let p(f) be the third derivative of -11*f**6/60 - f**4/24 - f**3/3 + 4*f**2. Let d be p(-2). Suppose -2*s = -3*a + d, -2*s - s + 139 = 2*a. Is 19 a factor of a?
False
Suppose 2*b = n + 4, -4*b + 8 = -6*n + n. Suppose -16*z = 3*z - 247. Suppose -z = -4*d + 5*c + 15, 5*d - b*c - 52 = 0. Is d a multiple of 12?
True
Let a = 32 + -35. Is 9 a factor of 276/(12/4) - (2 + a)?
False
Suppose -4*c + 3*k + 1441 = -224, 4*c = -2*k + 1690. Is c a multiple of 7?
True
Let m be ((-27)/12)/(3/(-156)). Let z = m - 75. Suppose 3*u + 3*t = 126, u + 3*t - z = 4*t. Does 21 divide u?
True
Let d(m) be the third derivative of 37*m**4/24 - 11*m**3/6 + 12*m**2. Is d(2) a multiple of 9?
True
Let y be (0 - 12/16)*8/(-2). Suppose 3*r - y*c = 2*r + 7, 6 = 3*c. Is r even?
False
Let d = 31 - 27. Is 25 a factor of (-3 - -3) + d + 116?
False
Let g(w) = -4*w - 8. Let t be g(-4). Is 74 - (-1)/(4/t) a multiple of 19?
True
Let o(k) = -k**2 + 47*k - 28. Does 39 divide o(31)?
True
Let y = -349 - -180. Let v = -121 - y. Is v a multiple of 12?
True
Let a(c) = -11*c**2 + 20*c - 23. Suppose 15*x = 16*x - 17. Let w(j) = 4*j**2 - 7*j + 8. Let m(y) = x*w