4. Let w be v(-4). Let f = w + 93. Is 15 a factor of f?
True
Suppose 2*d + 106 = -10. Let o = -14 - 22. Let c = o - d. Does 8 divide c?
False
Let u be 1/5*-2*10. Let f be (3/u)/((-9)/36). Suppose f*b + 0*b - 33 = -p, -2*b = -4*p + 160. Is 13 a factor of p?
True
Let s = 5 + -26. Let t be 4/(-3) - 364/s. Let d = 29 - t. Does 4 divide d?
False
Suppose h + 3*f = 430, -3*f - 2222 = 189*h - 194*h. Is 19 a factor of h?
False
Suppose 0 = 20*c - 22*c + 60. Is 10 a factor of c?
True
Suppose 4*m = v, 0*v + 4*m = 3*v. Suppose y - 22 = -4*x, -5*y + 5*x = -v*y - 160. Suppose 10*g + y = 12*g. Is 6 a factor of g?
False
Let y(v) be the third derivative of 3*v**4/8 + 3*v**3 - 13*v**2. Is 12 a factor of y(6)?
True
Let k(w) = w**3 + 12*w**2 + 4*w - 8. Let m be k(-8). Suppose 54 = -2*i + m. Does 8 divide i?
False
Suppose -44*q + 2240 = -37*q. Is 16 a factor of q?
True
Let c(d) = -d**2 - 9*d - 12. Let w be c(-6). Let s(y) = 78*y**3 + y**2 - y + 1. Let t be s(1). Suppose 5*u = w + t. Does 17 divide u?
True
Suppose 31 + 79 = 5*u. Suppose l + 28 = o, -5*l = o - u + 6. Is o a multiple of 7?
False
Let p(b) = -b - 19. Suppose -10 = 5*h + 70. Let j be p(h). Let n(s) = -2*s + 3. Does 5 divide n(j)?
False
Let n = -54 - -115. Suppose 0 = -m + 3*v + n, -v + 0*v + 101 = 2*m. Is 13 a factor of m?
True
Let p(n) = -n**3 - 7*n**2 + 3. Let d be p(-7). Suppose -g = 3*v + g - 10, -2*v + 10 = d*g. Does 10 divide -1 - 1 - (-39 + v)?
False
Let z(l) = l**2 + 12*l**2 + 1 - 9*l**2 - 2*l**2. Let a be z(1). Suppose -a*y = -4*s + 177, 0 = -3*y - 12 + 3. Is 14 a factor of s?
True
Let q be (-194)/((8/20)/((-3)/15)). Suppose -b + q = -s + 4*s, -4*b + 337 = -5*s. Does 11 divide b?
True
Suppose 0 = -22*w + 24*w - 2. Suppose -n - w + 4 = 0. Suppose -t + 144 = n*t. Is 12 a factor of t?
True
Suppose 2*x - 99 - 359 = -3*o, 0 = 5*x + 2*o - 1134. Suppose 5*q + 86 = x. Is 2 a factor of q?
True
Is 15 a factor of (596/3)/((-4)/(-6))?
False
Suppose 5*j - 4*i + 494 = 0, 5*j - i = -273 - 218. Let s = j - -180. Does 8 divide s?
False
Let d = 28 + -67. Suppose 12 + 248 = -4*r. Let q = d - r. Does 26 divide q?
True
Let y(b) = b**2 - 8*b. Let g be y(8). Suppose -j - 4*d + 125 = g, 3*d = -3*j - 2*d + 354. Is 12 a factor of j?
False
Let h = 21 + -33. Let k(c) = -8*c + 24. Is k(h) a multiple of 30?
True
Does 24 divide ((-864)/120)/((-6)/160)?
True
Let q(t) = 42 - 3*t + 5*t - 3*t + t**3 + 0*t. Is 27 a factor of q(0)?
False
Let n(s) = s**3 - 4*s**2 + 1903. Does 12 divide n(0)?
False
Let v = 144 + -24. Let c = v - 72. Is 12 a factor of c?
True
Let g(t) = 2*t**2 + 2*t + 0 - 7 - 8*t + 1. Let y be g(6). Let r = y + -17. Does 10 divide r?
False
Suppose -14*w + 2*w = -144. Is 3 a factor of w?
True
Let s = -81 + 229. Suppose 6*a - s - 20 = 0. Is 28 a factor of a?
True
Suppose -5*p = 4*x - 6076, -2*x - 2444 = -2*p - 7*x. Is p a multiple of 30?
False
Let a be ((-33)/(-11))/((-2)/(-12)). Suppose 7 = q - a. Is q a multiple of 4?
False
Let o = -18 - -23. Suppose -o*n - 2*y = y - 153, -5*n = y - 151. Is 17 a factor of n?
False
Suppose -3*p = -2*y + 436, -y - 2*p = 25 - 243. Suppose -3*w + 2*t - 5*t = -318, -2*w + t = -y. Is 9 a factor of w?
True
Let x = -12 - -176. Suppose 4*g - 2*t + 5*t - 17 = 0, 0 = -5*g - 2*t + 16. Is 21 a factor of x/4 + (3 - g)?
True
Does 2 divide 2 + 2 + -3 + 12 + 13?
True
Let x be 1*(-3 - -1)*-1. Let t be 7/5 - x/5. Let g = t - -12. Is g a multiple of 3?
False
Suppose 5*t - 2 = 18. Suppose 26 = -t*w + 154. Is w a multiple of 10?
False
Let q(z) = -125*z - 11. Does 26 divide q(-3)?
True
Let p be (2 + (-5)/2)*-6. Suppose -2*o = p*z - 137, 105 = o - 2*z + 19. Is 19 a factor of o?
True
Let w = -1162 - -1329. Is 3 a factor of w?
False
Suppose -4*g + 292 = 2*x, 3*x + x = -g + 549. Suppose 2*m - x = -4*u, 4*m - 250 = 5*u - 2*u. Is 17 a factor of m?
False
Let w be (-1)/(-6) - (-215)/6. Suppose 37*l = w*l + 68. Is 9 a factor of l?
False
Let v(k) = 3*k - 2. Let j be v(7). Let m = j - -1. Does 4 divide m?
True
Is -20*(-6)/(-1 + 3) a multiple of 10?
True
Suppose -4*n + s + 5179 = 0, 0 = 2*s + 4 - 14. Suppose -2*w = 6*w - n. Suppose 3*l + 0*l - w = 0. Is l a multiple of 9?
True
Suppose -8*a + 15*a = 9576. Is a a multiple of 83?
False
Let s(p) = -3*p**2 - 273*p + 40. Does 44 divide s(-51)?
True
Suppose 0 = -3*j - s + 3761, 5*j - 2*s - 5754 - 518 = 0. Does 66 divide j?
True
Let j = 108 + -103. Suppose 492 = j*w - 4*p, 4*w + p - 238 - 164 = 0. Is 5 a factor of w?
True
Let s(z) = -z**2 + 4*z + 7. Let u be s(5). Let f(o) = o**3 - u*o**3 - 1 + 5*o**2 - 1 - 2*o. Does 4 divide f(3)?
False
Let t be (-6)/(-9)*(0 - -6). Let g be 5/(-20) + (-69)/(-4). Suppose t*i - l - 68 = g, -i + l = -19. Is i a multiple of 15?
False
Suppose 2*b - 1 = 4*z + 1, 5*z = -5*b + 35. Suppose -389 = -b*n + 216. Does 11 divide n?
True
Let f(q) = 2*q**2 - 14*q + 22. Does 7 divide f(8)?
False
Suppose -3*s + 1080 = 2*s. Suppose -2*q + s = 2*q. Is 31 a factor of q?
False
Does 13 divide 19/((-57)/(-792)) - 4?
True
Let y(r) = 6*r**2 - 5*r**2 - 4 + 3. Let f be y(2). Suppose 5*z = -f*i + 196, -2*i - 4*z = -5*z - 135. Does 35 divide i?
False
Let n(k) = 3*k**2 + 10*k - 2. Is 75 a factor of n(-13)?
True
Let s = -25 - -57. Suppose -y = q + 59, -4*y + y + 3*q - 147 = 0. Let g = s - y. Is g a multiple of 25?
False
Let n(p) = 3*p - 21. Let y be n(8). Suppose 3*s + 26 + 0 = r, -2*s + 45 = y*r. Is 6 a factor of r?
False
Let x(m) = -m**3 - m**2 + 5*m - 10. Let w be (-24)/(-20)*20/(-6). Is x(w) a multiple of 10?
False
Suppose -2*l - w = -234, -l = 3*l - 5*w - 482. Is 7 a factor of l?
False
Let l = -29 + 37. Let y be l*(-1 + 3 + -6). Is 3 a factor of (24/y)/(1/(-24))?
True
Let g be 3*(-115)/15*3. Is 11 a factor of (g - -7)/(1 - 2)?
False
Let z = 483 - -434. Does 4 divide z?
False
Let g be (-1751)/(-5) - (-2)/(-10). Suppose 12*b - 706 = g. Does 8 divide b?
True
Suppose 16*d - 1200 = 11*d. Does 24 divide d?
True
Suppose -100*z + 115573 = -92727. Does 91 divide z?
False
Suppose 2*k - 16 = -2*k. Let q(l) = -19*l - 1 - k - 1 - 1. Does 23 divide q(-4)?
True
Suppose 3*l + l - 428 = 0. Suppose -4*r = -0*r + 148. Let h = r + l. Does 10 divide h?
True
Let l(j) = -2 - 1 - 7*j**2 - 7*j + 6*j**2. Let k be l(-6). Is 4/12*k - -23 a multiple of 5?
False
Does 4 divide 2/(422/254*-3 + 5)?
False
Suppose 188 = 5*j + 3*a, -2*j - 2*j = -a - 164. Let v = 172 - j. Is v a multiple of 30?
False
Let t(r) = -2*r - 7 + 1 + 0*r. Let y be t(-5). Suppose -5*k + c = -69, -y*c + 33 = 4*k - 27. Is k a multiple of 5?
False
Let s be 4/(-6) + (-10)/(-6). Let v be 1/s - (-9)/3. Let k = 18 + v. Is 11 a factor of k?
True
Let h = 30 - -29. Does 8 divide h?
False
Suppose 0 = -4*q + 9*q + 70. Let x = 16 + q. Suppose 2*r - g - 171 = -0*r, x*r = -4*g + 196. Is 22 a factor of r?
True
Suppose -5*b + 14 = -3*q + 2, 0 = -5*b + 2*q + 8. Suppose -4*v + b*l - l = 56, 4*v + 3*l + 56 = 0. Let p = v + 41. Is p a multiple of 9?
True
Let a = 1364 - -392. Does 66 divide a?
False
Suppose -8*y = -4*y - 16. Suppose y*r = 5*t - 441, -4*t + 41 = -r - 314. Is 17 a factor of t?
False
Suppose 4*u = k - 19, 0 = -5*u - 2*k + 14 - 54. Let y(z) = 2*z**2 + z - 26. Is y(u) a multiple of 32?
False
Let b(w) = 3*w**2 + 0*w - 2*w**2 - 3*w - 7. Is 12 a factor of b(-8)?
False
Let u = -421 + 300. Let q = 125 - u. Is 41 a factor of q?
True
Suppose -t + 2*t - 215 = 4*w, -2*w = 2*t - 480. Let f = -1974 - -2065. Suppose -f + t = 3*d. Is 18 a factor of d?
False
Let p(r) = -29*r**3 - r - 2. Let b be p(-2). Suppose 0 = 2*t + 52 - b. Is t a multiple of 15?
True
Is (-6 + 372/30)*(-1665)/(-6) a multiple of 48?
True
Suppose 4*j - 7*o + 3*o = -60, -j + 4*o = 0. Let q = 6 - j. Is 26 a factor of q?
True
Let z = 80 - -1240. Does 11 divide z?
True
Suppose 0 = 20*y - 22101 + 6561. Is 52 a factor of y?
False
Suppose -17*q = -2394 + 371. Is q a multiple of 2?
False
Is ((-5)/(-15))/((-3)/(-1755)) a multiple of 64?
False
Suppose -3*y - 9*y = -3648. Is 19 a factor of y?
True
Let s(u) = -12*u - 4. Let z be s(-3). Let v = -173 - -176. Does 12 divide (z - v) + -1 + 3?
False
Let q(m) = 10*m + 102. Does 12 divide q(15)?
True
Let s(g) = g**3 - 4*g + 4*g - 2*g**2 - 3*g. Let q be s(3). Suppose -v + 8 = -q*v. Is 8 a factor of v?
True
Suppose q = -5*d - 61 + 19, 5*d = -25. Let j = q - -14. Is 1/(j/(-36)*3) a multiple of 4?
True
Let b(z) = 15*z**2 - 46*z - 375. Is b(-7) a multiple