- 7. Let p be y(-5). Let f = p + 84. Suppose -3*s - f = -6*s. Is s a multiple of 19?
True
Let r(x) = -6*x**3 - x**2 + 4*x + 3. Let h(y) = y**3 - 5*y**2 - 5*y - 3. Let z be h(6). Suppose z*o - 10 = 8*o. Is r(o) a multiple of 12?
False
Suppose a + 0*a - 10 = -3*b, -1 = -2*b + 5*a. Suppose -4*w + 238 = b*w. Let n = w - -25. Is n a multiple of 34?
False
Suppose 708*t = 707*t + 3171. Is 21 a factor of t?
True
Suppose -4*s = -11*s. Suppose s = -3*p + 2*i + 33, 4*i = p - 1 - 0. Does 5 divide p?
False
Suppose 15*u - 142 = 8. Suppose -2*v - u*v = -300. Is 2 a factor of v?
False
Suppose -265 - 1250 = 5*r - 5*a, 602 = -2*r + 4*a. Let s = -145 - r. Does 16 divide s?
True
Does 9 divide (-144)/(3*2/(-6))?
True
Suppose 0 = -6*m + 3*m - 6. Let q = 3 - m. Is 17 a factor of (68/q)/(24/60)?
True
Let k be 18/6 - -5*1. Suppose 2*y + 34 = 4*i - 0*y, k = -i - 5*y. Let z = 15 - i. Is 4 a factor of z?
True
Let u(z) = -24*z. Let k be u(-4). Let t = 168 - k. Let j = 108 - t. Is 9 a factor of j?
True
Is 2 + (-12 - -43) + -2 + -2 even?
False
Let u(d) = -22. Let j(n) = n. Let h(o) = -3*j(o) + u(o). Let i be h(-9). Suppose i*b + 230 = 10*b. Does 23 divide b?
True
Let j = -13 - -6. Let m(w) = -w**2 - 7*w + 10. Let l be m(j). Suppose -6*d = -l*d + 96. Does 24 divide d?
True
Let c be (-2112)/(-672) - (-1 - 8/(-7)). Let t be 1/(-4) - 81/(-4). Suppose -c*h - h = -t. Is h a multiple of 5?
True
Let k = 29 - 27. Suppose -k*p + 231 - 47 = 0. Is 28 a factor of p?
False
Let q(a) be the second derivative of 11*a**5/15 - a**4/24 - a**2 + 8*a. Let p(u) be the first derivative of q(u). Is p(-1) a multiple of 17?
False
Does 18 divide 8/20 - ((-15106)/(-5))/(-7)?
True
Suppose 8*h = 11*h. Suppose h = 5*g - 133 + 18. Does 6 divide g?
False
Let c(k) = -k**3 + 14*k**2 - 13*k + 3. Let a be c(13). Let r(p) = 8*p - p**2 - 5 - p**a - 2*p**2 - 3*p**2. Does 13 divide r(-8)?
False
Suppose 46*a = -21*a + 84956. Is 13 a factor of a?
False
Suppose -5*u = -4*v - 2, -5*v + 3*u + 3 + 1 = 0. Suppose 2*y + 2*p = 3*y - 24, -v*y + p = -42. Is y a multiple of 3?
False
Let l = 584 - 418. Is l a multiple of 45?
False
Let q(p) = 3*p**2 + 3*p - 6. Let h be q(7). Suppose 0 = -5*j + 2*j - h. Let o = j - -90. Does 18 divide o?
True
Suppose 5*a = -5*n + 370, -4*n + 314 = -4*a + 2*a. Suppose n + 172 = 3*c. Is 22 a factor of c?
False
Suppose 9*r - 1336 - 2696 = 0. Does 5 divide r?
False
Let f(x) = x**2 - 5*x + 3. Let s be f(9). Let c = s - 58. Let h = c - -40. Is h a multiple of 7?
True
Let s(h) = 16*h**2 + 4*h - 27. Is s(5) a multiple of 24?
False
Suppose 1525 = 5*g + 3*c - 638, 0 = 2*g - 3*c - 861. Suppose -62*k = -64*k + g. Is k a multiple of 36?
True
Let n = 26 - 21. Suppose 0 = -4*o + n*b + 775, 0 = -o - 2*b + 279 - 82. Is o a multiple of 42?
False
Let l(g) = 33*g - 41. Does 7 divide l(18)?
True
Let a(g) = -g**2 + 2*g + 2. Let y be a(0). Suppose -4*x = 2*d + 2*d - 80, 5*d = -2*x + 112. Suppose y*u = -2*u + d. Is u a multiple of 6?
True
Let r be 2/(-11) + 70/22. Suppose 0 = -5*d + g + 177, r*g + 181 = -3*d + 8*d. Is 35 a factor of d?
True
Suppose 2*f - 2*s - 80 = -s, -3*s - 6 = 0. Let c = f + -24. Is 12 a factor of 120*(0 + 6/c)?
True
Suppose 5*k + 5*j - 511 - 79 = 0, 4*j - 12 = 0. Is 9 a factor of k?
False
Let y(c) = 147*c + 109. Is 7 a factor of y(12)?
False
Let t(p) = -15*p**2 + 11*p - 19. Let x(u) = 16*u**2 - 10*u + 20. Let k(a) = 2*t(a) + 3*x(a). Is k(4) a multiple of 28?
False
Let q = 132 + -91. Is q - (24/(-4) + 3) a multiple of 11?
True
Let r(v) = 4*v**2 + v. Let y be (-4*15/(-20))/1. Suppose -1 = y*m - 10. Is 29 a factor of r(m)?
False
Let c be (-372)/6 - -3*(-1 - 0). Does 28 divide 4/(-10) + (-5486)/c?
True
Let k = 309 + -138. Is k a multiple of 19?
True
Let k(s) = -2*s**2 - 8*s. Let z be k(-7). Let j be z/8 - 1/(-4). Let o(w) = 4*w**2 + 7*w + 11. Is o(j) a multiple of 19?
True
Suppose -2*f = 2*b - 8, 5*f - 16 = 3*f - 4*b. Suppose -4*j + 4*d = -f*d - 32, -4 = -2*d. Suppose 0 = -j*u + 4*u + 150. Is u a multiple of 6?
False
Let b(t) be the second derivative of t**4/12 + 7*t**3/6 + 2*t**2 - 10*t. Is 3 a factor of b(-8)?
True
Let a(c) = -101*c + 1247. Is a(-34) a multiple of 57?
False
Let x = 110 - 25. Suppose 0 = -4*f + 83 + x. Is f a multiple of 12?
False
Let n be 4/3*1686/4. Suppose 3*d - 425 = -5*i, 0 = -4*d - 2*i - 0*i + n. Suppose 0*w - 4*w = -d. Does 9 divide w?
False
Let q(l) = -l - 8. Let x be q(-16). Is 9 a factor of -1 - x/4 - -39?
True
Let y = 13 + -10. Let r(x) = y*x + 1 - x + 4*x. Is 30 a factor of r(8)?
False
Let g(j) = 2*j + 102. Is g(-35) a multiple of 2?
True
Suppose -4*w + 5*j = -19, -w - 5*j + 3*j + 8 = 0. Let b(r) = 67*r**2 - 3*r + 9. Let k be b(w). Is 30 a factor of 10/55 + k/33?
False
Let u = 211 - 209. Let t(m) = m**3 - 3*m**2 - 2*m + 5. Let o be t(5). Suppose -n = -u - o. Is 11 a factor of n?
False
Let r(t) = -t**2 - 10*t - 3. Let c be r(-9). Does 20 divide (-60)/((-4)/c*(-6)/(-4))?
True
Let b(o) = -2*o**2 + 8*o. Let u be b(2). Suppose 492 = u*h + 100. Is 9 a factor of h?
False
Suppose 3*m + 4*h + 12 = 0, -m + 5 + 2 = 5*h. Let t = -6 - -2. Is 13 a factor of (-310)/m + t/(-16)?
True
Let o = 520 - 90. Does 43 divide o?
True
Suppose 4*x - 8 = -2*m, -2*x - 4*m + m = 4. Suppose 0 = x*i + l + 16, 3*l = -i + l - 11. Let h = 11 + i. Is 8 a factor of h?
True
Suppose 0 = 2*u - 3 - 19. Let s = u + -3. Suppose 20 = 10*z - s*z. Does 10 divide z?
True
Let c = 221 + -145. Let p = c + -23. Let t = -25 + p. Is 14 a factor of t?
True
Let t(y) = y**2 + 9*y - 6. Is t(7) a multiple of 4?
False
Suppose 4*m = -0*m + 3*u + 53, m - 3*u - 2 = 0. Let a(v) = 2*v**2 + 29*v + 46. Let g be a(-11). Let c = m - g. Is c a multiple of 16?
True
Let q be 2/4*(-1 - 237). Let u = q + -147. Is u/(-4) - (-5)/(-10) a multiple of 11?
True
Let g(t) = -t**3 + 9*t**2 - 13*t - 10. Let i be g(6). Suppose 21 = -i*h + 21*h. Does 5 divide h?
False
Suppose -4*s + 966 = y, 4*y + 493 = s + 4306. Is y a multiple of 9?
True
Suppose -10*i = -9473 - 6137. Does 110 divide i?
False
Suppose -2*c - 3*c = 2*t + 8, 0 = -3*t - 5*c - 2. Let h be 1/3 + (0 - (-1344)/18). Suppose -t*n = -n - h. Is 9 a factor of n?
False
Is (2 + 10)*(-86)/(-3) + -6 a multiple of 13?
True
Suppose 5*p = 3*a + 4364, 1375 - 509 = p - 4*a. Is p a multiple of 63?
False
Let m(b) = 6*b + 182. Is m(20) a multiple of 3?
False
Suppose 5*o + f = 16, -3*f - 8 = -0*o + o. Suppose -o*a = -8*a - 280. Is (-11 - -12)*a/(-2) a multiple of 11?
False
Let f = 16 - 12. Let q = f + 14. Is 9 a factor of q?
True
Suppose 5*l = 5*a - 590, 0*a + 3*a - 356 = l. Is a a multiple of 15?
False
Let c be (10 - 12) + 1 + -101. Let l = c - 58. Let m = -105 - l. Is m a multiple of 12?
False
Suppose 154 = -20*j + 22134. Is 10 a factor of j?
False
Let s(u) = u**3 - 7*u**2 + 3*u - 4. Let g be s(6). Let o be (62/(-4))/((-11)/g). Let n = o - -42. Is 2 a factor of n?
False
Let q(i) = -8*i - 1. Let b be -12*1*1*(-2)/(-4). Does 10 divide q(b)?
False
Suppose 5*q - 197 - 338 = -4*w, -5 = q. Is 5 a factor of w?
True
Is 2 a factor of (-4)/4*-13*(-10)/(-2)?
False
Let y(p) = 6*p - 14. Let d = -34 + 38. Does 7 divide y(d)?
False
Suppose f + 1213 = 2*t - 5019, -5*t + 5*f = -15580. Is 10 a factor of t?
False
Let a = 80 + -80. Is (18/21 + a)*196 a multiple of 42?
True
Is 13 a factor of 458/(-687) - 106/12*-206?
False
Suppose -524 = -2*i + 5*r, -5*r - 292 = -i - 10*r. Suppose i = 4*m - 2*m. Suppose 2*l - 5*l - 4*z = -m, 0 = -2*l - 3*z + 91. Does 14 divide l?
False
Let a(r) = 3*r + 35. Let f be a(-8). Suppose -5*o = -f*o + 396. Is 16 a factor of o?
False
Let k be 2/3 + 48/9. Let s be ((-2)/k)/((-7)/(-42)). Does 8 divide s/6*(-3 - 24)?
False
Let h(i) = -i**3 - 23*i**2 - 30*i + 14. Let d be h(-22). Is (d - 0) + (-9 - -9 - 1) a multiple of 27?
True
Let s be ((-21)/(-14))/(6/1384). Let m be (-21)/28 - s/8. Does 20 divide -1 + 5 - 8 - m?
True
Let n(i) = -i**3 + 5*i**2 + 3*i + 19. Let v be n(6). Let f(o) be the third derivative of 59*o**4/24 + o**3/2 - o**2. Does 19 divide f(v)?
False
Does 22 divide ((-308)/8)/(-3*2/180)?
False
Suppose -37 = -8*a + 3. Suppose 5*i + 690 = a*f, 4*f - f + 3*i = 396. Is f a multiple of 15?
True
Let s be (-8)/(-8) + 3/(-1) + 1053. Suppose -3*k - 3*f = -k - 427, 5*k + 2*f = s. Does 39 divide k?
False
Let c(b) = b**2 - b - 30. Let u be c(0). Let v = 17 + u. Let s = v - -28. Is 5 a factor of s?
True
Suppos