- 4*p. Is 13 a factor of d?
False
Let u = -442 - -837. Is 79 a factor of u?
True
Suppose 11*u + 270 = 8*u. Let i = u + 141. Does 4 divide i?
False
Let z = 1198 + -424. Is z a multiple of 43?
True
Let o(f) = 3*f**2 + f + 2. Let p(z) = -z - 10. Suppose 1 + 20 = -3*b. Let a be p(b). Is 8 a factor of o(a)?
False
Let w(r) = 24*r - 16. Suppose -4*n + 12 = -3*n. Let f be w(n). Suppose -2*a = o - 122, f - 28 = 4*a - o. Is a a multiple of 25?
False
Let w(m) = 2*m**3 - m**2 - m. Suppose 6*z + 6 = 18. Is w(z) a multiple of 5?
True
Let k(a) = -2 + 0*a - 1 - 26 - 3*a. Is k(-23) a multiple of 14?
False
Suppose 161*c - 164*c = -1134. Is c a multiple of 3?
True
Let u be (17 - 18) + 3*2. Let z be 4 + (u - (4 - 0)). Suppose 224 = z*s - s. Is s a multiple of 12?
False
Let d(v) = -v**2 + 20*v - 14. Is d(13) a multiple of 18?
False
Let x(q) = -3*q**2 + 12*q - 1. Let n(s) = -s**2 + 6*s - 1. Let t(a) = 7*n(a) - 3*x(a). Is t(-4) a multiple of 4?
True
Suppose 4*c - 5*t - 10566 = 2778, -6*c + 19998 = -3*t. Does 88 divide c?
False
Suppose 0 = 5*j - 4*v - 1245, -v + 288 + 982 = 5*j. Is j a multiple of 23?
True
Suppose -150 = -17*h + 547. Is h a multiple of 39?
False
Suppose -3*s - 84 = -w, 2*w - 45 = -2*s + 123. Is 4 a factor of w?
True
Suppose 5*g = 1077 + 1243. Is g a multiple of 7?
False
Let f(m) = m**2 - 2*m - 10. Is 10 a factor of f(-10)?
True
Let h = -19 + 24. Suppose 327 = s + 2*s + 3*q, h*s - 2*q = 566. Is 36 a factor of s?
False
Let s = -2164 + 3034. Does 36 divide s?
False
Let d = -994 + 1464. Does 13 divide d?
False
Suppose x - 1917 = -2*r, 454 = 3*r - 4*x - 2438. Does 12 divide r?
True
Suppose 15*a - 8*a = 28. Suppose -a*f + 418 = 2*b, f = -0*b + b + 112. Is f a multiple of 8?
False
Suppose 27 = 5*t + f, 4*t = 2*f - 0*f + 16. Does 5 divide t?
True
Suppose -5783 = -13*i + 1328. Is 29 a factor of i?
False
Let f(l) = l + 4. Let d be f(-3). Let b be 166 - -1 - (d + 2). Let g = b - 98. Is 20 a factor of g?
False
Let n(m) = m**3 + 13*m**2 - m - 2. Let q be n(-13). Let f(s) = 16*s - 17. Does 22 divide f(q)?
False
Let n be 1 + 0 + (2 - 2). Let u be ((-8)/(-5) - (-27)/(-45)) + -3. Is ((-2)/(-2))/n - u even?
False
Let r(a) = -a**2 + a - 1. Let b(t) = -4*t**2 + 21*t - 6. Let h(p) = -b(p) - 2*r(p). Does 39 divide h(-5)?
True
Suppose -180 = 10*m - 8*m. Let o = -90 + 50. Let z = o - m. Is z a multiple of 21?
False
Let y be 54/9*2/(-4). Let o be 4/2 + (-3)/y. Suppose -165 = -o*h - 0*h. Is 11 a factor of h?
True
Let u be (-8)/((-64)/12)*(1 + -3). Is 27 a factor of u/(54/(-4)) - (-2910)/27?
True
Let q be ((-12)/7)/((-4)/28). Suppose q = 2*o - 178. Suppose -o = -n - 31. Is n a multiple of 32?
True
Let h = 12 + -8. Suppose -h*j - 6 = -3*j. Let a = j + 15. Does 7 divide a?
False
Suppose 4 - 39 = -5*z. Let o(t) = -2 - 19*t**3 + 6*t - z*t + 1. Is o(-1) a multiple of 19?
True
Let t be 3/(-1 + 0) - (15 - 12). Is (32/(-6))/(-4) + (-4)/t a multiple of 2?
True
Suppose 1 + 4 = b. Suppose -25 = -b*z, 2*n - n - 5*z = -19. Let k(t) = 3*t - 10. Is 8 a factor of k(n)?
True
Suppose -115*g + 114*g + 494 = 0. Is g a multiple of 19?
True
Let t be 3 + 3 + -3 - 0. Suppose 2*l - t*u + 24 = 74, u + 26 = l. Is l even?
True
Let r(s) = -5*s - 10. Let n be r(-3). Suppose 0 = 3*w + v - 353, -2*v - 381 = -n*w + 189. Does 13 divide w?
False
Suppose -4*m - 4 = 0, -11*q + 3*m + 3843 = -8*q. Is 51 a factor of q?
False
Let b(p) = -p**3 + 10*p**2 + 14*p + 3. Let t be b(11). Let n be t/12*10/6. Suppose 0 = -n*w + 3*w + 62. Is w a multiple of 16?
False
Let y = -219 - -280. Does 7 divide y?
False
Let s(q) be the first derivative of q**4/2 - 3*q**3 - 13*q**2/2 + q - 11. Is s(6) a multiple of 4?
False
Let u(p) = 6*p**2 - 1. Suppose 4 = 15*x - 14*x. Is u(x) a multiple of 33?
False
Let i be (4 - 8)*(-276)/8. Suppose 2*c = i - 30. Does 9 divide c?
True
Let v = -1598 - -1738. Is v a multiple of 5?
True
Suppose 3*z + a = 4 + 3, -5*a = 3*z + 1. Suppose -c + 2*v = -24, v - 2*v - 72 = -z*c. Does 6 divide c?
True
Let y = 195 + -178. Is y a multiple of 11?
False
Suppose 9 - 9 = -3*l. Suppose -73 = 4*c - 2*p - 459, l = c + 3*p - 114. Is c a multiple of 11?
True
Suppose -4*j - p = -243, 3*j + 8*p - 186 = 6*p. Does 4 divide j?
True
Let o be (4/10)/(3/255). Let b be (0/(-2))/(6 - 9). Suppose -o = -2*d + 3*h + 4, -3*h - 6 = b. Is d a multiple of 7?
False
Let h(o) = o - 4. Let b be h(10). Let s(p) = -p**3 - 29*p**2 + 19*p**2 - 3 + b. Is s(-10) a multiple of 3?
True
Suppose -4 - 8 = -4*f. Let o be (f - 0) + 32/16. Suppose -10 = o*c - 165. Does 12 divide c?
False
Does 29 divide 2552/(-8)*(-1 + -9 + -1)?
True
Let f be 2*1/(-4)*-86. Suppose -5*h + f = -h + 3*a, -18 = h - 5*a. Suppose -3*c - 136 = -h*c. Is c a multiple of 17?
True
Let o be (-3 + (-45)/2)/(4/(-8)). Suppose -o = 3*b - 195. Does 24 divide b?
True
Let j(f) = -f**3 - 15*f**2 - 12*f + 22. Let g be j(-14). Suppose -c = 3*l + 20, 2*l + 80 = -3*c - 2*l. Let x = g - c. Is 13 a factor of x?
True
Let g be -1 - -276*(14/(-4) - -3). Let r = g + 274. Is r a multiple of 45?
True
Is 2 - (-562 - (-8)/2) a multiple of 40?
True
Suppose -2*o + 12 = -0*o. Suppose 0 = 37*l - 39*l + 192. Is o/(-10) - l/(-10) a multiple of 9?
True
Let k(z) = z + 15. Let o be k(-15). Suppose 8*a - 10*a + 304 = o. Does 38 divide a?
True
Suppose -533 = -80*x + 79*x. Does 41 divide x?
True
Suppose 0 = 2*q + 3*k - 13, -2*q - 3*k = 3*q - 55. Suppose h - 7 - q = 0. Is h a multiple of 7?
True
Let z = -17 - -10. Let s = z - -10. Suppose 8*l = s*l + 2*d + 60, 5*l = 5*d + 75. Is 3 a factor of l?
False
Let u = -56 - -305. Suppose -4*h + u = 2*w - 3*w, 3*h = -3*w + 198. Is 11 a factor of h?
False
Let w(f) = -f**3 + 8*f**2 - 4. Let o be w(7). Suppose -4*y + o = y. Let t(v) = 2*v - 6. Is 7 a factor of t(y)?
False
Suppose 495 = -4*z - 1297. Let j be (6/4)/(7/z). Is -5*(j/15)/2 a multiple of 16?
True
Let t = 608 + -408. Is t a multiple of 20?
True
Let n = 126 + -86. Let w(s) = s**3 - 4*s**2 + 4*s + 1. Let o be w(3). Is 33 a factor of 2656/n + o/(-10)?
True
Let l = 37 + 570. Suppose 5*s + f = 2*s + 610, -3*s + 2*f = -l. Is 29 a factor of s?
True
Suppose 4*c - 6*c + f - 943 = 0, 0 = -4*c - 4*f - 1892. Let i = -292 - c. Is 30 a factor of i?
True
Suppose 0 = -18*v + 2880 + 3690. Does 15 divide v?
False
Let w = -568 + 795. Does 28 divide w?
False
Let k be 7/2 - (-3)/(-2). Suppose -2*i + 1 + 1 = 0, k*i - 2 = 4*b. Is 37 - -6 - (b - 3) a multiple of 10?
False
Let i(k) = -k**3 + 2*k**2 - 6*k - 4. Let d(g) = -g**2 - 14*g - 36. Let m be d(-11). Does 59 divide i(m)?
True
Suppose -2*v - 4*q + 1412 - 528 = 0, 0 = 5*v + q - 2201. Is 5 a factor of v?
True
Is 6 a factor of ((-549)/12 + 5)/(3/(-12))?
False
Let k be (-168)/(-36)*18/21. Suppose 3*f = -f + 1376. Is 4 a factor of k/(-14) + f/28?
True
Suppose -2*r + 2095 = -2*s + 3*s, 3*r + s = 3141. Suppose -4*b + 1404 = 4*c - 5*b, 0 = 3*c + b - r. Is c a multiple of 35?
True
Let p be 0/(1*(-4)/(-2)). Let j be 2*-107*4/32*-4. Suppose -3*x + p*m + 2*m = -j, 5*x = 4*m + 181. Does 12 divide x?
False
Let i be 2/3 + 10/(-15). Suppose 5*g - 62 = -h, i*h + 226 = 5*h + 4*g. Does 18 divide 3768/h + (-6)/(-21)?
True
Let q(u) be the second derivative of -u**4/12 + 10*u**3/3 + 8*u**2 + 29*u. Is q(18) a multiple of 13?
True
Let a(f) = -f**2 + 17*f - 8. Let p(o) = -o**3 - 9*o**2 - 9*o + 7. Suppose t + t - j + 17 = 0, -4*t + 5*j = 37. Let r be p(t). Is 6 a factor of a(r)?
False
Suppose 0 = 24*w + 1970 - 11330. Does 78 divide w?
True
Suppose 0 = t + 2*q - 822, 0 = 37*t - 39*t + 5*q + 1599. Does 9 divide t?
False
Suppose -f - 4*s = -s - 118, -5*f = -s - 622. Let q = 25 + f. Suppose k = 4, -q = -2*l - l + k. Is 17 a factor of l?
True
Let q be (15/(-9) - -1)*-3. Suppose 0 = 4*d - q*d - 34. Is d a multiple of 17?
True
Let r(d) = 3 - 2*d + 3*d - 5. Let x be r(5). Does 18 divide 2/x - (-52)/3?
True
Suppose -5*k + 20 = -g, 2*k - 31 = g + 4*g. Suppose -5*t - 110 = -k*q + q, 4*t = q - 55. Is q a multiple of 11?
True
Let h be ((-36)/(-14))/(6/42). Let i be (1/(-3))/((-3)/h). Is 6 a factor of 20 + -3 + i + 5?
True
Suppose -1540 = -18*d + 4*d. Is 22 a factor of d?
True
Suppose -r = -t + 577, -3*t + 690 = 5*r - 1025. Does 107 divide t?
False
Suppose 13*k - 21*k = -568. Is 3 a factor of k?
False
Let w be 66/8 - 16/64. Let z be (-318)/(-16) - (-1)/w. Let m = 0 + z. Is 4 a factor of m?
True
Suppose 3*f - 14*f + 33 = 0. Does 2