a). Let c = m + 22. Does 12 divide c?
False
Let g(a) = 70*a - 7. Let x be g(2). Suppose -5*k - x = -378. Is 7 a factor of k?
True
Let h = -35 - -35. Suppose -4*p + 4 = h, 5*t - 967 = -p - p. Is t a multiple of 63?
False
Let u(y) = -y**3 - 10*y**2 - 11*y + 12. Let x be u(-9). Let p = -25 + x. Suppose p*i - 119 - 11 = 0. Is 8 a factor of i?
False
Let c = -56 - -56. Suppose -5*q + 7 = v - c, 0 = 3*v + q - 91. Is 24 a factor of v?
False
Let q(d) = -d + 1. Let l be q(-3). Let r = -3 + l. Let m(z) = 12*z. Does 6 divide m(r)?
True
Let o(z) = -91*z + 24. Is 8 a factor of o(-16)?
True
Let m be (26/(-6))/(2/(-6)). Suppose m*v - 14*v + 46 = 0. Does 22 divide v?
False
Suppose 9*g = 7*g + 10. Suppose -6*l = g*l - 484. Is l a multiple of 4?
True
Let j(u) = u**3 + 10*u**2 - 26*u - 21. Let q be j(-11). Suppose -50*a = -52*a + q. Is a a multiple of 18?
True
Suppose 2*p - 4 = -14. Is 9 a factor of ((-26)/5)/(1/p)?
False
Suppose 292 = 4*y - v + 6*v, 4*y - 332 = 5*v. Suppose -w - w = -y. Is 15 a factor of w?
False
Suppose 0 = 4*o - 5*m - 213, 3*o - 27 = 2*o - 4*m. Let x be (1 + -372)*(-22)/77 + -6. Let k = x - o. Is k a multiple of 20?
False
Suppose -82*d = -64*d - 5706. Is d a multiple of 9?
False
Suppose -8*c = -2400 - 6048. Is 88 a factor of c?
True
Let h be 4/2 + -3 - 19. Is (-1 - h/3)*(12 - -3) a multiple of 12?
False
Let z = -24 - -34. Suppose -z*h = -5*h - 360. Is 24 a factor of h?
True
Let y = -29 - -32. Suppose 0 = -3*j - 3*v - 2*v + 14, -y*v = 4*j - 15. Is j a multiple of 3?
True
Does 7 divide (-2)/((-12)/15)*(-5604)/(-30)?
False
Suppose 13*w = -0*w + 962. Is w a multiple of 21?
False
Let f be 518/49 + 6/14. Let d(g) = -2*g**2 + 31*g - 3. Does 12 divide d(f)?
True
Suppose 0 = 21*n - 16*n - 2*o - 10412, 1 = -o. Is 61 a factor of n?
False
Is 25 a factor of (20685/(-84))/(2/(-8))?
False
Let t = 518 + 79. Suppose -11*d + 14*d = t. Suppose 2*n - d = y + 56, 0 = -4*y + 20. Does 31 divide n?
False
Let k be ((-377)/26)/((-1)/(-2)). Let f = 36 + k. Suppose -5*g + f*g - 204 = 0. Does 34 divide g?
True
Let n = -53 - -117. Suppose 2*m = 24 + n. Is 6 a factor of m?
False
Suppose b + 5*m + 1 = 0, -m - 87 = -3*b + 2*m. Let l be (b/(-30))/((-4)/10). Suppose l*f + 2*d = 46, -3*d - d + 70 = 3*f. Does 7 divide f?
False
Let m(f) = f**3 - 16*f**2 - 25*f + 28. Let h(b) = b - 1. Let c(j) = -5*h(j) - m(j). Is c(17) a multiple of 4?
True
Suppose 162 = -4*x - 2*t + 32, 0 = -5*x - 4*t - 155. Is 14/x + (-87)/(-5) a multiple of 3?
False
Let k(f) = 356 - 2*f**2 - 363 + 3*f**2. Is 6 a factor of k(7)?
True
Let q = -485 - -791. Suppose -3*r + q = 5*m, -m - 400 = -4*r - 5*m. Is r a multiple of 19?
False
Suppose 0 = -2*f + 3*n + 13, n = -3*f - 4*n + 48. Suppose -27 = -8*y - f. Suppose 7*p - 2*p - 5 = 5*x, -2 = -y*x + p. Does 3 divide x?
True
Suppose 0 = 72*u - 64*u - 5560. Is 49 a factor of u?
False
Let s = -34 + 36. Is 36 a factor of s/2 - 35*-1?
True
Suppose 3*b - r = 279, 3*b + 5*r - 186 = b. Let x(d) = 3*d**2 + 6*d + 3. Let g be x(-2). Suppose -b = -g*o - 0*o. Is o a multiple of 16?
False
Suppose -3*g = -y + 4, 5*y + 3*g - 20 = 4*g. Suppose -3*i = 2*j - j - 127, -5*j + 616 = -y*i. Is 22 a factor of j?
False
Let p(v) = -13*v - 5. Let n be p(5). Let o be (-6)/(-10) - (-462)/n. Is 32 a factor of 61 - o/4*2?
True
Suppose -764 = -2*v - 4*j, v - 387 = 12*j - 9*j. Is v a multiple of 32?
True
Suppose 570 = -18*d + 13*d. Let m = -60 - d. Is m a multiple of 30?
False
Suppose -2*d - c = -6*d - 9, -4*d - 12 = -4*c. Is 6 a factor of 1/(-2)*50*d?
False
Let j = -1 - 13. Let m = j + 46. Suppose c + 4*y = -c + m, y = -3. Is 22 a factor of c?
True
Suppose 6987 = -139*y + 141*y - 3*g, -10488 = -3*y - 3*g. Is y a multiple of 19?
False
Let m(d) be the first derivative of -5*d**2 + 12*d - 10. Does 52 divide m(-4)?
True
Suppose 3*p = -5*l + 7182, 3*l - 6*l - 7182 = -3*p. Is 14 a factor of p?
True
Let t = -64 - -90. Suppose -t = -2*u + 50. Is u a multiple of 5?
False
Is (-1235)/(-10) + (-2)/(-4) a multiple of 32?
False
Let s = 339 - 168. Let r = s + -102. Does 19 divide r?
False
Suppose 0 = -4*k + 127 - 7. Suppose -5*m + k = -0*m. Let g(q) = -q**3 + 6*q**2 + 5*q + 6. Is g(m) a multiple of 12?
True
Let s be 1*20*24/20. Suppose -b = a - s, -4*a = b - 120 + 9. Let n = a + -19. Is 10 a factor of n?
True
Suppose 2 = -2*y + 8. Suppose 0 = 2*v - 4*h + 12, -y*v + h + 5 = 3. Suppose -3*a = -v*a + j - 78, 4*j + 336 = 4*a. Is a a multiple of 27?
True
Suppose 720 = c - 3*k - 2*k, 5*c - 3681 = -2*k. Is 5 a factor of c?
True
Let h be 30*2/(-9)*-3. Suppose 2*f = -3*w - h, -3*w + f - 2 = 6. Let g(x) = -14*x - 1. Is g(w) a multiple of 10?
False
Let d(q) = -11*q**2 + 13*q - 35. Let k(g) = 4*g**2 - 4*g + 12. Let p(i) = 3*d(i) + 8*k(i). Let w be p(6). Let f = w + 94. Does 25 divide f?
False
Let c = -57 + 60. Suppose -5*s + t + 46 = -78, -c*t = s - 12. Is s a multiple of 5?
False
Suppose 0*c - 2*c = -4. Let u be -29*(-3 + 3 + (2 - 3)). Suppose -103 = -c*w + u. Is 22 a factor of w?
True
Suppose o - 84 = 5*q, -2*q = o + 3 - 101. Is 19 a factor of o?
False
Let f be -2 - (180 + -5 + (-9)/(-3)). Is 8 a factor of (f/4 + 5)*(-1 + 0)?
True
Let r = -337 + 1519. Is 45 a factor of r?
False
Suppose 2*g + 2*g - 12 = 0. Let k = g - 7. Is 18 a factor of (k + 2)*(-138)/4?
False
Let l(t) = t**3 + t**2 + 8*t. Is l(10) a multiple of 69?
False
Suppose -5*g - 3*z + 31 + 81 = 0, -g + 4*z + 4 = 0. Suppose -4 = -x - 4*i, 0 = 5*x + 3*i - 2 - 1. Suppose -g = -r - x*r. Is 20 a factor of r?
True
Let j(s) = -84*s**2 + s. Let y be j(-1). Let t = y + -1. Let x = t - -146. Does 20 divide x?
True
Suppose 0 = 50*m + 25*m - 6525. Is m a multiple of 2?
False
Let o(i) = -6*i + 103. Is o(-9) even?
False
Suppose 10*m - 240 = 250. Is m a multiple of 2?
False
Suppose 10*w = -2 + 22. Suppose -240 = -5*k + 2*d, w*d - 96 = -2*k - 2*d. Is k a multiple of 20?
False
Let q(w) = w**2 - 11*w + 164. Does 22 divide q(-22)?
False
Let y(c) = -c**3 - 2*c**2 + 1. Let s be y(-1). Let z be ((s - 3) + 3)/1. Suppose t + 2*t - 72 = z. Is t a multiple of 10?
False
Let x be (24/30)/(3*3/360). Suppose -261 = -4*j - u, -3*j + 178 + x = -4*u. Does 12 divide j?
False
Suppose 0 = -2*b - 6, -x - 5*b = -490 + 155. Is 35 a factor of x?
True
Suppose 91*p + p = 24472. Is p a multiple of 2?
True
Let b be -4 + 7 - (1 + -1). Suppose 3*t + 5*j + 0 = -6, 0 = -t + b*j + 12. Suppose -2*m - t*m = -95. Does 19 divide m?
True
Let l(d) = d**3 + 10*d**2 - 16*d - 6. Let x = -10 + -1. Does 11 divide l(x)?
False
Suppose -2*c - 3*p + 36 = p, 5*c - 54 = -p. Suppose c = 3*d - n, d + d - 3*n + 5 = 0. Suppose -4*v + 42 = -3*y + 125, d*y - 5*v = 135. Is 16 a factor of y?
False
Let u = -37 - -39. Suppose -5*m - u*l + 66 = 0, 3*m + 6*l - 34 = 2*l. Does 7 divide 510/m + (-16)/(-28)?
False
Suppose 22*c - 21*c - 32 = 0. Suppose 0 = 6*q - c - 70. Does 3 divide q?
False
Suppose 4*j - 5*j = 0. Suppose -3*c + f + 88 = j, c - 3*c + 5*f = -63. Is c a multiple of 8?
False
Suppose -11*y + 351 = -10*y + 2*i, 4*y - 3*i = 1437. Is 17 a factor of y?
True
Suppose -30 = -5*c - 5. Let g(z) = 3*z**2 - 10*z + 4. Is 19 a factor of g(c)?
False
Suppose -3*b = 3*c - 15, -4*b = -b - c - 15. Is b/((-15)/9) - (3 - 27) a multiple of 7?
True
Suppose 0 = 4*w + 4*f - 988, 2*w - 1226 = -3*w + 4*f. Does 41 divide w?
True
Let a(r) = -r**3 - r**2 - r + 3. Let b be a(0). Suppose 320 = l + b*l. Is l a multiple of 10?
True
Let k(b) = 11*b + 22. Is k(3) a multiple of 11?
True
Suppose -10*y - 30 + 120 = 0. Suppose 0 = -y*h + 472 + 707. Is 29 a factor of h?
False
Let c(y) = 154*y - 383. Is c(8) a multiple of 9?
False
Let x(z) = 15 - 8*z + 2 - 17 - 22. Is x(-7) a multiple of 4?
False
Let f(y) = -y**2 - y. Let c(r) = -5*r**2 - 4. Let x(a) = -c(a) + 4*f(a). Is x(8) a multiple of 4?
True
Let o = -159 - -152. Let n(x) = -17*x + 9. Is 34 a factor of n(o)?
False
Let d = 63 - 50. Does 13 divide d?
True
Let m(a) = -a**2 - 13*a - 12. Let g be m(-8). Let p = 52 - g. Is 15 a factor of p?
False
Suppose 3*f = 5*j - 2*j - 2790, 4*j - 3720 = f. Suppose 0 = 4*l + 2*l - j. Is 38 a factor of l?
False
Is (-407)/(-9) + 16/(-216)*3 a multiple of 2?
False
Let p be (-2)/(10/25*3/(-3)). Does 5 divide 4/p - 812/(-35)?
False
Let m(s) = s + 47. Let c be m(0). Is c + (4 - (4 - 2)) a multiple of 7?
True
Let t(a) be the second derivative of -a**4/12 + 11*a**3/6 + 4*a. Let f be t(11). Let