 6*d. Suppose -2*f - m = 3*m - 28, -5*f - d*m = -45. Does 8 divide (-4)/3*(-8 - f)?
True
Let y = -1522 - -2780. Is 34 a factor of y?
True
Let s = -1527 - -1808. Is 3 a factor of s?
False
Suppose 3*t + 4 = -4*p + 4*t, -p + 5*t = 1. Let q(a) = -14*a. Let o be q(p). Suppose 3*h + 4*f = -h + 36, 2*h - o = 2*f. Is h a multiple of 8?
True
Let r be (-4)/(12/(-19))*3. Suppose -7*p + 292 = r. Is 19 a factor of p?
False
Suppose 0 = 24*h - 8*h - 5104. Does 11 divide h?
True
Let h = -32 - -74. Suppose 8*j - h = 2*j. Is 6 a factor of j?
False
Is 121 a factor of 5878/13 + 17/((-221)/2)?
False
Let j be (-3)/(-3*(2 - (-690)/(-346))). Let k = j - 124. Is k a multiple of 7?
True
Suppose 5*m + 15 = 0, -v - 2*v - m + 3 = 0. Suppose -2*w + 147 = -5*a + 4*a, 162 = v*w - 4*a. Does 14 divide w?
False
Let g be ((-39)/4)/((-8)/(-32)). Let m be 3*(g*3)/(-3). Is 7 a factor of 3258/m - 2/(-13)?
True
Is 144/((-20)/6*18/(-90)) a multiple of 18?
True
Suppose -5*i - 3 = 7. Let q be (i/6)/((-1)/(-57)). Is 5 a factor of 22 + -1 - (15 + q)?
True
Let c = 50 - 34. Suppose 1105 = c*i - 479. Is 39 a factor of i?
False
Let x = 2027 - 1649. Is 18 a factor of x?
True
Is ((-591)/4)/(6/(-8)) a multiple of 26?
False
Let m be (-5)/((-2 - -3)/1). Is (-1)/(m - -4) + 43 a multiple of 3?
False
Let b(p) be the third derivative of -1/3*p**3 + 4*p**2 + 5/24*p**4 + 1/30*p**5 + 0 + 0*p. Is b(-4) a multiple of 5?
True
Suppose 0 = t + 4, 4*i - 15 - 37 = 5*t. Is 2 + 0 + 1 - (-808)/i a multiple of 10?
False
Suppose -55*i + 29*i = -15028. Is 17 a factor of i?
True
Is 284/3*63/42 a multiple of 8?
False
Let l(k) = k**2 - 20*k - 32. Let w be l(23). Suppose w + 161 = 9*y. Is y a multiple of 22?
True
Suppose 0 = 9*a - 37 + 10. Suppose a*o - 4*m - 27 - 115 = 0, 0 = 4*o - m - 172. Does 14 divide o?
True
Let l(b) = -b**3 + 10*b**2 + 17*b - 36. Is l(11) a multiple of 3?
True
Let n be 3 - (-2 + (-3)/(-1) + -2). Suppose p - 5*p + n*j = -48, -j = -2*p + 21. Is p a multiple of 2?
False
Let v(u) = -u**3 - 9*u**2 - 8. Let o be v(-9). Is (3 - -3)/3 - o a multiple of 5?
True
Suppose 6014 = 5*u - 2*m - 4216, -4*m - 8184 = -4*u. Is u a multiple of 33?
True
Let l = -13 - -35. Let i = 17 + l. Is 14 a factor of i?
False
Let n = -25 + 13. Let v be n/(-3) + 3 + 129. Suppose -5*f + v = -f. Is 17 a factor of f?
True
Let g be ((-165)/10)/(1/(-4)). Suppose 18 = 4*u + g. Let q = 13 - u. Does 15 divide q?
False
Suppose 4*t + 4 = 0, -2*x = 6*t - 10*t - 1996. Does 12 divide x?
True
Suppose -2*p - 3*g = -5*p + 75, -62 = -2*p - 2*g. Let n = -1 + -3. Let z = n + p. Does 10 divide z?
False
Let m(x) = 408*x + 120. Is 8 a factor of m(3)?
True
Let r = 3310 - 1441. Is r a multiple of 10?
False
Is -1 + ((-3976)/42)/(2/(-3)) a multiple of 6?
False
Let q = -7 + 501. Does 26 divide q?
True
Let c(h) = h**3 - 5*h**2 - 16*h - 8. Let j be c(15). Suppose 19*l = 26*l - j. Is l a multiple of 22?
True
Suppose 2*b - 8 = 18. Let h(y) = y**2 - 14*y + 13. Let r be h(b). Suppose 5*t + r*t = 495. Is 33 a factor of t?
True
Suppose 5*j + 4*y + 16 = 1, 0 = 3*j - y + 9. Let d be (32/j)/((-11)/198). Suppose 6*r - d = 54. Does 6 divide r?
False
Suppose -10096 - 7977 = -5*h + 2*y, -4*y - 7226 = -2*h. Is 15 a factor of h?
True
Let v be 2192/(-14) + -1 + 40/70. Let p = -81 - v. Is 7 a factor of p?
False
Let y(x) = -x**2 - 5*x - 1. Suppose 0 = 4*q + 22 - 6. Let j be y(q). Suppose -3*t - j*b = -48, -2*t - b - 3*b = -22. Is 21 a factor of t?
True
Let z(v) = -22*v**2 + 2*v. Let s(w) = w**2 - 1. Let r(q) = -2*s(q) - 2*z(q). Is 10 a factor of r(1)?
True
Let z be (3 + 14/(-6))*3. Suppose 48 = z*x - 0*x + 4*c, 3*c + 120 = 5*x. Is 8 a factor of x?
True
Suppose 0 = 63*b - 13274 - 3043. Does 7 divide b?
True
Is 8 a factor of (121 - -1 - (0 + -3)) + 3?
True
Let p(v) = -88*v - 126. Is p(-10) a multiple of 48?
False
Let j be 207/(-46)*2/3. Let g(f) = f**2 + 2*f + 9. Does 12 divide g(j)?
True
Let k(q) = 6*q + 3. Let h be 3/(-2 + 1 + 0). Let j be k(h). Is (205/j)/(1/(-3)) a multiple of 8?
False
Let g be 6*((-2)/3 + 1). Let m(i) = 18 - 2*i - g*i + 3*i. Is 4 a factor of m(10)?
True
Let j(m) = -m**3 - 27*m**2 - 28*m + 67. Does 3 divide j(-26)?
False
Suppose -2*q = 2*q + 4, s - 3*q = 5. Suppose -s*i - 970 = -7*i. Suppose i = 3*u - 13. Is u a multiple of 23?
True
Suppose -f + 56 = 164. Let w = -89 - f. Is w a multiple of 19?
True
Let t be (2/4)/(2/40). Suppose 2*r - 36 = 5*a, r - t = 3*a + 10. Is (-61)/(-3) - r/(-12) a multiple of 14?
False
Let h(d) be the third derivative of d**5/60 + 5*d**4/24 - d**3/6 - 4*d**2. Let a be h(-7). Let y = 49 - a. Does 12 divide y?
True
Let l be 1/((-2 - -1)/355). Let h = l + 588. Suppose -5*x + 5*a + 137 + h = 0, -3*x - 5*a = -182. Is 23 a factor of x?
True
Let b(t) = 17 - t - 2*t + 6*t**3 - t**2 + t**3 + 8*t**2. Let r(f) = -10*f**3 - 11*f**2 + 4*f - 25. Let o(m) = -7*b(m) - 5*r(m). Does 7 divide o(-5)?
False
Let t(l) = 14*l**2 + 44*l + 203. Does 35 divide t(-6)?
False
Let x = 467 + -238. Does 21 divide x + 3*10/(-6)?
False
Does 25 divide 15*20*2/8?
True
Let a(i) = -i**3 - 19*i**2 - 5*i + 35. Let u(c) = -4*c**3 - 58*c**2 - 14*c + 105. Let o(p) = -7*a(p) + 2*u(p). Is 7 a factor of o(17)?
True
Suppose 10*h + 2*h = 5604. Is 50 a factor of h?
False
Let a(d) be the first derivative of d**3/3 + 6*d**2 + 16*d - 11. Let r be a(-11). Suppose g + 4*f = -12, r*g + 0*f + 2*f - 30 = 0. Is g a multiple of 2?
True
Suppose -5*w + 17 - 7 = 0. Suppose 2*a - 3*a - 1 = 0. Is 10 a factor of ((-1 - 73)/w)/a?
False
Let z = 276 + 388. Is 83 a factor of z?
True
Let y be 1 + 284 + -5 - 3. Suppose 0*h - u + y = h, -2*h - 3*u = -558. Is h a multiple of 21?
True
Suppose 2*c - c - 8 = -3*j, -24 = -3*c - 3*j. Is 7 a factor of c?
False
Suppose 5*l + 95 = f, -4*f = -6*f - 5*l + 250. Does 23 divide f?
True
Let z(d) = d**2 + 6*d - 7. Let q be z(4). Let h = q - 23. Is 10 a factor of h?
True
Let c(g) = -6*g**3 + 4*g**2 + 4*g - 2. Let y be 3/(-5)*(-10)/15*-5. Is 6 a factor of c(y)?
True
Suppose 2*t - 4*t + 6 = 0. Suppose -t*z - 12 = z. Does 8 divide -111*1*1/z?
False
Let w = 4 + -14. Let o = w + 36. Is 4 a factor of o?
False
Let a = -5 - -10. Suppose -a*j - 3*m = -292, 2*m + 220 = 4*j + m. Does 14 divide j?
True
Let k(q) = -q**3 - 4*q**2 + 12*q - 13. Let x be k(-7). Let r = x + -28. Is 9 a factor of r?
False
Let m(v) be the first derivative of v**3/3 + 9*v**2/2 - 7*v - 7. Is m(6) a multiple of 19?
False
Suppose -3*w + 2271 = -3*p, 5*p + 1119 = w + 358. Is w a multiple of 18?
True
Let x(k) = 2*k**2 + 8*k + 4. Let m be x(-4). Suppose 5*v - 4*r - 380 - 34 = 0, m*v = -2*r + 326. Does 12 divide v?
False
Let u = -62 - -68. Let k = 24 + u. Is 3 a factor of k?
True
Let z be (-39)/(-9) - 4/(-6). Suppose 0 = 2*p + 2*p - 3*m - 261, -z*m = -5. Is 13 a factor of p?
False
Let s be (-18)/30 - 4/10. Let q be 6 - (s - (2 - 4)). Suppose q*w - 52 = -12. Is w even?
True
Let g(w) = -9 - 3*w**3 - 4*w**2 + 9*w**3 - w - 7*w**3 - 7*w**2. Is g(-11) even?
True
Suppose 88 + 10 = t. Is 14 a factor of t?
True
Let y(n) = -n**3 - 9*n**2 + 23*n + 16. Let k be y(-11). Let p(d) = 18*d - 15. Is p(k) a multiple of 25?
True
Suppose 0 = 4*y - 195 - 273. Is 9 a factor of y?
True
Let z = 1593 - 4. Is 38 a factor of z?
False
Let a = 90 - 43. Is a a multiple of 9?
False
Let a = -103 - -311. Suppose 4*v + 12 = v, 0 = -4*p - 4*v + a. Does 8 divide p?
True
Suppose 2*v - 67 = -l - 13, -144 = -5*v + 2*l. Suppose 9*s - v = 8*s. Suppose s = 2*x - 4. Is x a multiple of 16?
True
Suppose -5 = 5*j - 2*c - 38, j + 3*c = -7. Suppose -3*s + 10 = 2*s. Suppose 3*d = -4*w + s*w + 67, 4*d + j*w = 101. Does 7 divide d?
False
Let o(f) = f + 1. Let g be o(2). Suppose 3*w + 0*w + 4*r = -31, 0 = -3*w + g*r - 45. Let d = w - -26. Is d a multiple of 4?
False
Suppose -w - 8 = -26. Does 7 divide w*4/(-18)*-3?
False
Let v be (1 - 8/12)*(-3)/1. Does 7 divide (v + -3 + 2)/(7/(-196))?
True
Let u(c) = -c + 5. Let w be u(4). Suppose -11 + w = -2*m. Suppose -2*p - 95 = -7*p - 5*g, 0 = -5*g - m. Is 18 a factor of p?
False
Suppose 0 = 6*l - 29 - 259. Is 5 a factor of l?
False
Let c(h) = -h**3 + 3*h**2 + 2*h - 3. Let b be c(3). Suppose 10 = 3*f - 5*l - 8, -24 = -4*f + 5*l. Suppose -j = -b - f. Is 2 a factor of j?
False
Let q = -41 + -7. Let b = 91 + q. Does 4 divide b/3 - (-6)/9?
False
Does 30 divide ((-8)/(-10))/((-52)/(-19370))?
False
Let s(c) = 74*c - 975. Is 4 a f