10/(-4))/(5/(-270)). Let d(g) = g**2 + 25*g - 6. Let z be d(-21). Let i = t + z. Does 15 divide i?
True
Let k be -2 + 6 + 1 + 2820 - -4. Suppose -639 = -17*r + k. Is r a multiple of 12?
True
Let f(i) = i**2 + 13*i - 22. Suppose m + 104 = -7*m. Let a be f(m). Is 18 a factor of (4 - (-11)/(a/(-24))) + 4?
False
Let m = 15378 - 6512. Is m a multiple of 31?
True
Suppose -2*p - 983 = -0*m - 3*m, 3*m + 5*p = 997. Let x = 483 - m. Is x a multiple of 58?
False
Let v = 27 + -141. Let b = v + 116. Let c(w) = 11*w**3 - 2*w**2 - 2*w + 1. Does 15 divide c(b)?
False
Is (82/(-82)*9477/2)/(3/(-32)) a multiple of 13?
True
Suppose -2*b - 3*b - 45 = 0. Let y(d) be the second derivative of d**5/20 + 3*d**4/4 - 2*d**3/3 - 7*d**2/2 + 4*d - 6. Is 17 a factor of y(b)?
False
Let v(d) be the third derivative of d**5/60 + d**4/12 - 2*d**3/3 - 27*d**2. Let h(b) = -b - 4. Let n be h(-6). Does 2 divide v(n)?
True
Let t(r) = 3*r**2 + 25*r - 13. Suppose -47 = 3*m - 5*k, -k - 4*k = -20. Let g be t(m). Suppose 0*f - 123 = -b - f, g*f = -4*b + 489. Does 9 divide b?
True
Let t be (-2)/(-3)*63 - 1. Let b = t + -36. Suppose b*y - 352 = y. Is 16 a factor of y?
False
Let g = 8725 + -5186. Does 6 divide g?
False
Suppose -15*y - 8 = -17*y. Suppose -j - 18 = 5*q, -y*j - j + 3*q = -22. Suppose -j*d + 3*l = -143, 5*d + 3*l + 74 - 379 = 0. Is d a multiple of 12?
False
Let a be (-4)/6 - (-876)/18. Let u be ((-16)/a)/((-2)/6)*-10. Is (420/u)/(3/(-2)) a multiple of 28?
True
Let k be ((-6)/18)/((-4)/396). Is 2/6*k - -2 a multiple of 7?
False
Let y be 3702384/(-208) - (-2)/(-26). Is 2/(-5) - y/125 a multiple of 10?
False
Suppose -2108 = -43*q + 26*q. Suppose 608 = 5*b + 2*z, -13*b = -12*b + z - q. Does 4 divide b?
True
Let y(x) be the second derivative of -17*x + 0*x**3 - 1/20*x**5 - 11/12*x**4 + 0 + 5*x**2. Is y(-11) a multiple of 6?
False
Let d(j) = -2*j + 1. Let b be d(11). Let t = -22 + -31. Let y = b - t. Is 15 a factor of y?
False
Suppose 3*c - 2*y + 3*y = 1607, 4*y = 5*c - 2650. Is 17 a factor of c?
False
Let f = 159 - -11. Suppose -a = -f + 82. Is a a multiple of 14?
False
Suppose -118*o + 110*o = 10336. Is 17 a factor of (-2 + 5)*-1*o/12?
True
Let v = 178 - 267. Let h = v + 342. Suppose 260 = 9*o - h. Is 12 a factor of o?
False
Let i(x) = -x + 8. Let k be i(6). Suppose -3*o - 96 + 27 = -3*c, 3*o = -c - 89. Is 8 a factor of (0 + (k - 0))/((-7)/o)?
True
Is 27 a factor of 1*8 + 125 + -142 - -3198?
False
Let v be (-2)/(-5) + (-2)/5. Let y(j) = -2*j**3 + 37*j**2 + 17*j + 43. Let f be y(19). Suppose 0 = -5*u - v*u + f*n + 190, 4*n = 2*u - 66. Does 9 divide u?
False
Suppose -419*t + 420*t - 4*o = 23494, 2*t = -4*o + 46988. Is t a multiple of 17?
True
Let x be (128/(-40) - (-3)/15) + -7. Let f(l) = -99*l - 107. Is 44 a factor of f(x)?
False
Does 139 divide ((-3808322)/(-532))/(0 - 1/(-2))?
True
Suppose 0 = c - 4*c + 12, 0 = -3*t + 3*c. Suppose 3*m + 2*g - t*g + 1345 = 0, -3*m + 5*g - 1351 = 0. Is m/(-9) + 6/(-9) a multiple of 7?
True
Let m(q) = 586*q + 2240. Is 20 a factor of m(22)?
False
Suppose -135*g + 69611 = 56*g - 353836. Is g a multiple of 2?
False
Suppose 0 = 13*i - 14*i + 51. Let c be (-68)/i*21*1. Is 35 a factor of 20*((-16)/56 + (-351)/c)?
True
Let n(i) = i**3 + 22*i**2 + 94*i + 2. Is n(-11) a multiple of 5?
False
Let t(c) be the first derivative of c**7/840 - c**6/120 - 3*c**5/40 + 2*c**4/3 + c**3 - 36. Let d(j) be the third derivative of t(j). Is d(6) a multiple of 19?
False
Let s(x) = -x**2 - 8*x + 18. Let y be s(9). Let t = 110 + y. Is 15 a factor of (-832)/(-10) - 20/t?
False
Suppose -2*v + 28 + 0 = -5*y, 16 = -v - 5*y. Suppose 2*r - 342 = -v*r. Suppose r*s - 70 = 55*s. Is 35 a factor of s?
True
Suppose -4*d + 0*d = -24. Is 7 a factor of 968/d - (5/(-3) + 2)?
True
Suppose 22*q - 273 = 9*q. Let g(u) = u**2 - 15*u + 34. Is g(q) a multiple of 32?
True
Let x = -25256 + 43434. Is 77 a factor of x?
False
Let u(q) = 4*q + 100. Let r be u(-24). Suppose j - r = -5*k, -131 = -14*j + 10*j + 3*k. Is j even?
False
Suppose 38*w - w = 8584. Suppose -4 = -6*x + 5*x. Suppose 0*t + 5*z = -t + 130, -x*z - w = -2*t. Does 15 divide t?
True
Suppose 3*u = -4*g + 10, 4*u + 28 = 2*g + 3*g. Suppose 4*l - 1284 = -g*m, 3*m - 4*l - 683 = 294. Is m a multiple of 17?
True
Suppose -5*i - p - 4*p + 45 = 0, 0 = -4*p - 12. Let s be 43 - (-16)/i*-3. Suppose -2*d - 11 = -s. Is 8 a factor of d?
False
Let i be 6/(-21) + (-828)/(-7). Suppose -15*f + 636 = -21*f. Let y = i + f. Is 4 a factor of y?
True
Let h(v) = 43*v - 209. Let n be h(5). Suppose -1831 = -n*s + 1403. Is 77 a factor of s?
True
Let c(u) = -818*u + 67. Let f be c(-4). Let b = -2332 + f. Is 30 a factor of b?
False
Let f be 44/77 + ((-34)/7)/(-2). Suppose 3*v - 31 - 56 = 3*a, 26 = v - 2*a. Suppose 292 = f*m - v. Is 18 a factor of m?
True
Let x(c) = 602*c**2 + 5*c + 22. Is 51 a factor of x(-3)?
False
Does 118 divide (6 - -3)*59*30/9?
True
Let h(s) = 3*s - 21. Let v be h(9). Let j be ((-8)/v)/((-144)/2268). Suppose j*y - 24*y = -234. Is y a multiple of 6?
True
Suppose 5*t - 26 = -4*y, 8*y - 3*y + 11 = t. Suppose -9*v = -t*v - 5*i - 2294, -5*i + 10 = 0. Is 16 a factor of v?
True
Suppose 5*m - 27*p + 23*p - 14690 = 0, 5*p = 3*m - 8801. Is m a multiple of 22?
False
Suppose 2*j = -5*t + 1669, 3*t = 6*j - 2*j - 3377. Suppose 0*i = -2*i + j. Does 8 divide i?
False
Let h(n) be the third derivative of n**7/2520 + n**6/72 + 8*n**5/15 - 11*n**2. Let p(m) be the third derivative of h(m). Does 4 divide p(7)?
True
Let h = -25 + 34. Suppose h*x - 49 = 2*x. Let g(s) = 3*s + 14. Is g(x) a multiple of 35?
True
Let w be 6/(-26)*(-351)/27. Suppose 4*n + 291 = b + 1851, -4*b = w*n - 1151. Is n a multiple of 29?
False
Let n be (18/(-27)*(-6)/4)/(-1). Is 18 a factor of n*(-220 + 3/(4 + -1))?
False
Let h be 6662/4 - (-9)/6. Suppose -3*f - 3*o = -0*f - 1257, -5*o - h = -4*f. Is f a multiple of 22?
True
Let b(n) = -20*n + 14. Let k be b(0). Suppose -4*d - c + 88 = 0, -d + 5*c + 57 = k. Is 2 a factor of d?
False
Let g(h) = -26 - 14*h - 22*h - 7*h. Is g(-5) a multiple of 22?
False
Let t = 456 - 452. Does 5 divide (17 + t/2)*(-140)/(-28)?
True
Let z(i) = 1025*i**2 - 56*i - 161. Is z(-3) a multiple of 16?
True
Let c(v) = 32*v**2 - 5*v + 4. Let r be 1/(-3)*1 - 252/54. Is 84 a factor of c(r)?
False
Suppose -101 = 5*c - 376. Suppose 7106 = -36*d + c*d. Does 34 divide d?
True
Let j = -572 + 574. Suppose 10 = 12*p - 10*p, p - 1339 = -j*f. Is 7 a factor of f?
False
Let w = 53 + -50. Let c(h) = -5*h - 5 + h + 6*h - w*h. Is 7 a factor of c(-12)?
True
Let d be 26/6 + -4 - 813/9. Let s be (16/(-6) - -2) + d/(-54). Is -4 - (5/s + -83) a multiple of 6?
False
Suppose 61*n - 54*n = 63. Suppose n = -v + 33. Is v even?
True
Suppose -232*k + 151650 = -217*k. Is 30 a factor of k?
True
Let d = -30556 - -48136. Does 7 divide d?
False
Is (-20)/7*-7*(-13995)/(-18) a multiple of 254?
False
Is 116 a factor of (2 - (3 - (11 + -9)))/((-3)/(-20085))?
False
Let y(b) = -b**2 + 8*b - 10. Let g(l) = -8*l + 9. Let w(x) = -3*g(x) - 2*y(x). Let s = 1343 + -1338. Is w(s) a multiple of 14?
False
Let w(o) = 3*o**3 + 3*o**2 - 4*o + 16. Let r(s) = -4*s**3 + 5*s - 16. Let g(i) = 4*r(i) + 5*w(i). Let q be ((-6)/4)/(4/(-40)). Is g(q) a multiple of 11?
False
Let k = 25 - 59. Let q = 31 + k. Is 4 a factor of 3/(q/4) - -21?
False
Let p(a) be the second derivative of -a**3/3 - 17*a. Let v be p(-2). Suppose -3*c + 3*m + 119 = 2*c, -v*c + 5*m = -103. Is c a multiple of 22?
True
Let g be (9/(-6))/((-33)/6 - -5). Let n(f) = 11*f**3 + 3*f**2 - 3*f - 2. Is 38 a factor of n(g)?
False
Suppose 0 = 5*z + 2*l + 25, 3*z + 2*l - 5 = -24. Let i be z/(-5) + (4392/30)/1. Let o = i - 75. Does 8 divide o?
True
Suppose 1027832 - 62119 = 19*b. Is b a multiple of 7?
True
Let b = 49 + -45. Let l be (-12)/(-42) + b/(-14). Suppose l = -6*m - 0*m + 810. Is 27 a factor of m?
True
Is (5466/48*26)/((-13)/(-52)) a multiple of 14?
False
Let b(k) = 119*k**2 + 2*k - 6. Let a be b(-4). Suppose 32*y = 29*y + a. Is y a multiple of 35?
True
Let c be ((-1008)/(-27) - (-2)/3)*1. Let s = c - 33. Is 6/(3/s - 12/120) a multiple of 4?
True
Let l = -13 - -17. Suppose 5*v = 4*v + l*v. Suppose v = 8*k - 3*k - 340. Does 8 divide k?
False
Let v = 8 - 2. Let d(q) be the third derivative of 7*q**4/24 - 4*q**3/3 + 19*q**2 - 7. Is d(v) a multiple of 34?
True
Let j(w) = 15*w -