*2 + 20*l - 3 + 3*l**3 - 3 - l**3. Is 9 a factor of h(-24)?
True
Suppose -4*z = -7*z + 9. Let k(t) = 7*t**2 + t - 8. Is k(z) a multiple of 4?
False
Let m = -23 - -63. Let h(l) = -2*l**2 + 19*l + 10. Let d be h(10). Is 40 a factor of (2/2 - d)*m?
True
Suppose 0 = -0*i - i, -5*p = 5*i. Suppose p = 2*x - 84 - 106. Suppose 4*u + 5*g - x = 0, 7*g = 2*u + 2*g - 25. Is u a multiple of 6?
False
Suppose 2*q = 10, -5*c + 2*q - 6 - 4 = 0. Suppose -2*d + c*d = 88. Let y = d - -72. Does 14 divide y?
True
Let u(o) = -5*o**2 + 3*o. Let i(h) = -h**2 + h. Let t(y) = 12*i(y) - 4*u(y). Does 16 divide t(2)?
True
Suppose 0 = -5*j - 11 + 81. Is 22 a factor of 15/2*(-2 + j)?
False
Suppose 0*d = -3*d + 531. Let x = 250 - d. Is 13 a factor of x?
False
Let k be (-2 - -7)*8/8. Suppose 5*g = 3*i - 133, -k*i - g + 106 = -153. Is 40 a factor of i?
False
Let c(f) = f**2 + 21*f + 20. Let u be c(-20). Suppose -3*l = 0, u*b = b - l - 185. Is b a multiple of 37?
True
Suppose -3*z - 292 = -2182. Is 34 a factor of z?
False
Let d(a) = -a**3 + 7*a**2 - 3*a + 8. Let t be d(6). Let v be 1 - 1 - (3 - (-2 - -7)). Suppose v*i - 106 = -t. Is i a multiple of 10?
True
Is 2/24*2374 - 77/(-462) a multiple of 22?
True
Let j(c) = 4*c**2 - 15*c - 2. Is j(12) a multiple of 19?
False
Suppose 3*b + 4545 = -69*c + 73*c, 3*c + b - 3425 = 0. Is 10 a factor of c?
True
Suppose -3*c + 4*q - 22 = 0, -4*c + 2*q - 14 = -2*c. Let p be (-2)/c - (-62)/(-6). Is (-20)/(-6)*(-165)/p a multiple of 12?
False
Suppose -5257 = -4*q - 5*c + 523, 3*q = c + 4316. Is 8 a factor of q?
True
Let t(s) = 6*s**2 + 32*s - 85. Does 65 divide t(3)?
True
Suppose 5*j = 10*j. Suppose -5*q + i = -19, q = 6*q - 5*i - 15. Suppose -100 = -q*w + 4*d, 4*w + j*d = 5*d + 101. Is w a multiple of 16?
False
Is 3 - (18/(-4))/(9/156) a multiple of 10?
False
Let t = 705 + -325. Is t a multiple of 76?
True
Let m(j) be the third derivative of -j**4/3 - j**3/3 + 15*j**2. Does 5 divide m(-2)?
False
Does 37 divide ((110/(-15))/11)/((-2)/237)?
False
Let v(w) = -2*w**2 + 14*w + 2. Let k be v(7). Suppose 3*o - 5*d = 4*o - 87, 3*d - 195 = -k*o. Is 17 a factor of o?
True
Let m = 49 + -94. Let l = -18 - m. Does 9 divide l?
True
Let l = 1821 + -1254. Is 21 a factor of l?
True
Suppose 3*t - 2*h = 15, -5*t + 3*h + 21 = h. Suppose 0 = 5*u - 4*l + 49, t*u + 10 = 2*u + l. Let j(s) = s**3 + 8*s**2 - 12*s + 2. Does 13 divide j(u)?
False
Suppose 13330 = 6*q + 58. Is q a multiple of 79?
True
Suppose 5*f - 2456 = -4*t + 290, 5*t - 1645 = -3*f. Is f a multiple of 37?
False
Let p(x) = -x**3 - 16*x**2 + 13*x + 15. Does 33 divide p(-18)?
True
Is 1742/26 - (1 + -2) a multiple of 4?
True
Suppose -f = -4*q + 21, -5*q + 64 = -5*f - 26. Let l = f + 21. Is l + (-6)/2 + 11 a multiple of 3?
True
Let u = -44 + 49. Let g = u - 1. Is g a multiple of 4?
True
Suppose 0 = 3*c - 20 + 5. Suppose -3*m = -x + 237, -10 = c*x + 5. Let h = m + 120. Is h a multiple of 10?
True
Let c(n) = n - 2. Let t be c(-6). Let p be (4 + (-112)/21)/((-2)/(-12)). Is 23 a factor of ((-62)/p)/((-2)/t)?
False
Let z(s) = s**3 + 6*s**2 - 7*s + 4. Let f be z(-7). Suppose 11 = 3*b - f. Suppose b*d + n - 61 = 0, d + n + 4*n - 17 = 0. Does 4 divide d?
True
Let b(o) = 5*o + 1. Let m be b(-1). Let r be ((-2)/m)/(1/2). Let j = r - -18. Does 16 divide j?
False
Suppose -1981 - 2579 = -19*r. Is r a multiple of 15?
True
Suppose -5*y + 2*j - j + 294 = 0, -2*j - 8 = 0. Let a = y - 134. Let o = a - -133. Is o a multiple of 19?
True
Let c = 1183 + 2337. Does 55 divide c?
True
Let t = -20 - -34. Let d be (32 + 0)/(t/7). Let q = d + -9. Does 7 divide q?
True
Suppose 0 = 5*g + 3*z - 3052, z + 168 = g - 436. Is 7 a factor of g?
False
Let l = -9 + -16. Let v = 27 + l. Suppose -51 = -v*t + 133. Is 16 a factor of t?
False
Let c(a) = -94*a - 218. Does 8 divide c(-13)?
False
Suppose 11312 = 5*v + 4*u, -11294 = -5*v + u + u. Is v a multiple of 10?
True
Let i be (-3 - 7/(-2))*10. Suppose 5*z - 2*z + 173 = i*y, 5*y = z + 181. Let g = 9 + y. Is 11 a factor of g?
False
Let r(h) = -2*h**3 - 8*h**2 - 37*h - 151. Does 5 divide r(-6)?
True
Suppose -328 = -3*o + 497. Is 11 a factor of o?
True
Suppose -g - 4 + 0 = -4*l, 5*l = 5*g - 55. Let w = g + -13. Suppose 0 = -w*o + 15 - 0. Is o a multiple of 5?
True
Suppose 0 = -4*n + 5*b + 613, 4*b + 304 = 2*n + 2*b. Is n a multiple of 21?
True
Suppose 2*n - 1718 = -3*w, -11*w + 13*w - 2*n - 1142 = 0. Does 52 divide w?
True
Let h(n) = -15*n - 49*n + 17*n - 1. Let w be h(-2). Suppose 4*p = 12, -4*g + w = -p - 16. Does 14 divide g?
True
Let z(s) = -s**3 - 6*s**2 - 2*s - 7. Let u be z(-6). Let p(y) = -1 + 7 - 8*y - u*y. Is 10 a factor of p(-3)?
False
Let c(y) = -43*y. Let u be c(13). Let f = u - -799. Is f a multiple of 48?
True
Suppose 3*g + 9 = 3*n, -4*n - 4*g - 10 + 38 = 0. Suppose 0 = -4*o + 3*r + 284, n*r = -2*o - 0*r + 116. Is o a multiple of 11?
False
Suppose -x + 28*i = 29*i - 1075, -3197 = -3*x + 4*i. Does 22 divide x?
False
Let m be 13/2 - (-9)/6. Let t be (66/(-4))/((-6)/m). Let v = t - -6. Is v a multiple of 28?
True
Suppose 0 = 6*w - 905 + 179. Suppose -a + w = 7. Is a a multiple of 30?
False
Suppose -177*u + 198*u - 55440 = 0. Is 10 a factor of u?
True
Let b(m) = m**3 - 6*m**2 + 5*m - 7. Let z be b(5). Let d(w) = -w**3 - 6*w**2 - 3*w - 8. Let o be d(-4). Let t = z - o. Is t a multiple of 19?
False
Let q be 9120/168 - 2/7. Suppose -b + 0*a + 3*a = -q, -b + 47 = 4*a. Let m = b - 0. Is 21 a factor of m?
False
Let v(j) = 766*j**3 - j**2 + j - 1. Let g be v(1). Suppose g = 11*t - 522. Does 13 divide t?
True
Is 20 a factor of 636 - (-11 + (2 - -5))?
True
Let g(u) = -82*u - 332. Is g(-16) a multiple of 8?
False
Let z = 7 - 7. Suppose 2 + z = -o. Is 7 a factor of (10 - o - -4)*1?
False
Let k = 66 + -75. Is 35 a factor of 211/2 - k/(-18)?
True
Let b(p) = 5*p**2 - 6*p - 2. Let j be b(3). Is 8 a factor of 20*((-55)/j - -3)?
True
Suppose -15 - 3 = -s. Let h be 28/4*s/21. Suppose 0 = -h*l + 2*l + 144. Is 12 a factor of l?
True
Suppose 0 = 3*b - 4*g - 572, 4*b - 15*g + 14*g - 741 = 0. Is 4 a factor of b?
True
Let t = 2636 - 1844. Does 45 divide t?
False
Suppose 146*j - 1474 = 142*j - 5*u, j - 5*u = 381. Is 38 a factor of j?
False
Let n(o) = o + 158. Does 19 divide n(-17)?
False
Let a(t) = t**3 + 18*t**2 + 13*t - 13. Suppose -21*m = -18*m + 51. Is 8 a factor of a(m)?
False
Suppose 19*w - 22*w = -9. Is ((-5)/w)/((-2)/30) a multiple of 8?
False
Let m = -1381 + 2016. Does 15 divide m?
False
Suppose 3*f + 6 = 48. Let v(g) be the third derivative of -g**4/24 + 3*g**3 - 6*g**2. Is v(f) a multiple of 4?
True
Suppose -2*f - 1 + 5 = 0. Let m be 5/(10/4) + f. Does 3 divide (-105)/(-6) - m/8?
False
Suppose 41 = 5*y - 9. Suppose 14*x - y*x = 280. Is 14 a factor of x?
True
Let t be (-4)/(-6)*54/12. Let x(g) = g**3 - g. Let n(q) = -2*q**3 - 2*q**2 + 5*q - 1. Let d(r) = n(r) + 5*x(r). Does 31 divide d(t)?
True
Suppose -12*r + 180 = -0*r. Is 2 a factor of r?
False
Suppose -s = 5*g - 9, -5 = -4*s - 2*g + 31. Suppose -4*q + 14 = -z, -2*q - 3 = -s. Does 8 divide z/(-11) - (-262)/11?
True
Let l(v) = v**3 - 2*v**2 + v. Let y be l(2). Let a be y*(-1)/(-6)*45. Let g = a - -7. Is 16 a factor of g?
False
Let h(k) = -25*k + 8. Let r be h(-3). Let o = -34 + -19. Let g = o + r. Does 10 divide g?
True
Does 36 divide 3196 - (6 + 11/((-55)/45))?
False
Let h = 809 + -377. Is h a multiple of 12?
True
Let a = 267 - 146. Let v(l) = 13*l**2 + l. Let s be v(2). Let k = a - s. Is 14 a factor of k?
False
Suppose 0 = 3*q + b - 7, -5*q + 0*q - 3*b = -17. Is 36 a factor of (-3 - -2)/q - -55*2?
False
Let z(p) = -p**2 + 7*p + 4. Let g be z(7). Suppose x = -y + 8, 0 = -0*x + x - 2*y + g. Suppose -3 - 141 = -x*f. Is f a multiple of 9?
True
Let p = 19 - -1216. Is p a multiple of 13?
True
Let d be -1 + 593 - (-5 - (-4)/1). Let y = -400 + d. Is y a multiple of 36?
False
Suppose -4*b + 10 + 2 = 0. Suppose 0 = -5*t - 3*a + 9, 3*t - t = -b*a + 9. Suppose 10 = 4*m + f, t = m + m - 4*f + 4. Does 2 divide m?
True
Suppose 0*a + 468 = 3*a. Let l be a/(-12)*2*1. Let q = 50 + l. Does 13 divide q?
False
Suppose -3*x + 23 = 77. Let l = 46 - x. Is l a multiple of 32?
True
Suppose 2*x + 4*m = -430, 6*x - x + 3*m + 1082 = 0. Let j = 130 + x. Let d = -56 - j. Is d a multiple of 31?
True
Let n(r) = 2*r**2 - 15*r - 12. Is n(-6) a multiple of 15?
True
Let v be 15/45 - (-45