m = -3294 + 3575. Is 30 a factor of m?
False
Suppose 79*n - 378118 = 2*n + 366780. Is n a multiple of 103?
False
Suppose -27174 - 24186 = -107*v. Is v a multiple of 7?
False
Suppose -5*c + 4*x = -14230, 8*c - 3*x = -5*x + 22810. Does 91 divide c?
False
Suppose -2*w - 8 = -12. Is 28 a factor of -159*(w + -3) - -3?
False
Let g = -4 + 13. Let b = 435 + -432. Let j = b + g. Is j a multiple of 12?
True
Let c = 16 + -14. Suppose j + c*j = 2*x + 13, 16 = 2*j - 5*x. Suppose 0 = -u + 4*m + 76, -u + j*u - 4*m - 160 = 0. Is 11 a factor of u?
False
Suppose -d - 21 = 9. Let i = 271 - 295. Is (i/d)/(2/235) a multiple of 14?
False
Let n(a) = -4 + 3*a**2 - 1 + 3*a**2 - a**2 + 3*a. Let d(g) = 10*g**2 + 6*g - 9. Let b(p) = -3*d(p) + 7*n(p). Is 6 a factor of b(-3)?
False
Let h = 85 + -81. Suppose 2190 = -h*v + 9*v. Is v/15 - (-4)/5 a multiple of 10?
True
Let x = 8576 + -3860. Is 36 a factor of x?
True
Let a(z) = z**2 - 3*z + 67. Suppose 2*w - 5 = -11, 3*w = 3*b - 9. Is 17 a factor of a(b)?
False
Let q(w) be the first derivative of -7*w**2 - 108*w + 32. Is q(-16) a multiple of 4?
True
Let m be 0/(-2)*(52/12 - 4). Let v be (-226 - m)*7/((-35)/10). Suppose -5*u + 448 = -2*j, -5*u + v = -3*j + 5*j. Is u a multiple of 9?
True
Suppose 111*j = -38*j - 632115 + 3316052. Is j a multiple of 12?
False
Is 21 a factor of (-24)/(-9)*((-604884)/(-112))/19?
False
Let n(s) = 4*s - 16. Let h be n(0). Let y be (0/1)/(-18 - h). Suppose 0 = -4*j - 4*m + 74 + 70, 5*j - 5*m - 150 = y. Does 11 divide j?
True
Suppose 6*k - 78 = -7*k. Suppose 32 = 14*w - k*w. Suppose w*c - m - 174 = 356, -5*m = -10. Does 30 divide c?
False
Suppose -22*s = -9*s + 5878 - 73907. Is s a multiple of 50?
False
Let s(t) = t**3 + 5*t**2 - 7*t - 3. Let f be s(-6). Suppose -4*y + 19 = f*a, -5*y - 13 = 4*a - 37. Suppose -y*d + 5*d - 58 = 0. Is d a multiple of 14?
False
Let l = -1468 - -2986. Is 6 a factor of l?
True
Suppose -20*c - 2*c = -15*c - 15862. Does 143 divide c?
False
Let f = -17825 - -71221. Is 14 a factor of f?
True
Let y(c) = -5*c**2 - 338*c + 267. Is 5 a factor of y(-67)?
False
Suppose -2*r - s + 129 = -6*r, -2*r - 3*s - 75 = 0. Let y = r - -49. Does 2 divide 164/y + -3 + (-33)/(-12)?
True
Let m(i) be the first derivative of i**5/60 - i**4/6 - 17*i**3/6 + 8*i**2 + 8. Let s(q) be the second derivative of m(q). Is 29 a factor of s(-7)?
False
Let c(o) = 15*o**3 + 5*o**2 + 7*o - 7. Suppose 2*s + 2 = 10*r - 6*r, 5*r = -3*s + 19. Is 29 a factor of c(s)?
True
Let i(o) = -o**3 + 15*o**2 - 18*o + 26. Let u be i(14). Let q be (-5)/(-1*(-3)/u). Suppose 5*a - 4*a = 3*w + q, 2*w = 5*a - 224. Is a a multiple of 11?
True
Suppose 0 = 21*v - 3*v + v - 7980. Is 30 a factor of v?
True
Let f(n) = 4*n**3 + 57*n**2 + 28*n - 4. Let i(r) = 9*r**3 + 113*r**2 + 54*r - 9. Let o(a) = -5*f(a) + 2*i(a). Is o(-29) a multiple of 6?
False
Suppose -5*p + 165 = 5*x, 5*x - 214 = -2*p - 52. Let b be (x/(-80))/(((-3)/5)/3). Suppose -b*a + 237 = a + 3*s, -5*a - 4*s + 395 = 0. Is 13 a factor of a?
False
Let k(q) = 2*q**2 - q - 25. Let l be k(-21). Let i = -657 + l. Is i a multiple of 56?
False
Suppose -3*v + 15 = 0, 8*x - 4*v - 14032 = 2*x. Is 11 a factor of x?
False
Let c(f) be the first derivative of -f**3/3 + 19*f**2 + 12*f + 63. Is 62 a factor of c(20)?
True
Suppose l - h = 7626, -222*h = -l - 217*h + 7650. Is l a multiple of 156?
False
Let o = -251 - -344. Let f = 43 - 43. Suppose 4*g - o - 107 = f. Does 3 divide g?
False
Let a(c) = -c**3 + 17*c**2 - 16*c + 22. Let x be a(16). Let p = x - 22. Suppose -n + 88 - 4 = p. Is 12 a factor of n?
True
Suppose 0 = 5*q - 2*s + 15, 14 = -4*s - 6. Let z(b) = -3*b - 6. Let d be z(q). Suppose 19 = p + d. Is p a multiple of 10?
True
Let j(d) = 1. Let f(x) = x - 4. Let b(t) = -f(t) - 6*j(t). Let s be b(-2). Suppose s*i - 72 = -2*i. Is i a multiple of 19?
False
Is 25 a factor of (917/4 + 1)*(37 - (14 - 25))?
False
Suppose -18*x + 68 = -310. Does 4 divide -3 - (x/(-1) + 1)?
False
Let r be (-348)/290*(-1 - -806). Let n = 1986 + r. Is n a multiple of 51?
True
Suppose h - 390 = 3*a, 38*h - 5*a = 37*h + 390. Does 2 divide h?
True
Let p = 41 - 43. Let h be (-6)/((-6)/(-3)) + 2/p. Is 12 a factor of (-1)/(h/(-136) + 0)*-2?
False
Suppose -2*w + 6 + 12 = 0. Suppose 24*b = w*b + 10425. Is b a multiple of 14?
False
Suppose 5*g - 2*q - 36987 = -1874, -3*q = -3. Suppose -291 + g = 17*o. Is 44 a factor of o?
True
Let l = 2790 + -1270. Does 80 divide l?
True
Let y = -29 + 55. Let v be (-1984)/(-52) + ((-4)/y - 0). Let q = 54 - v. Is q a multiple of 8?
True
Let z(w) = 5*w**2 + 125*w - 55. Is 93 a factor of z(-47)?
True
Let o(d) = -d**2 + 8*d + 43. Let r be o(13). Let i = r - -70. Is 8 a factor of i?
True
Suppose 2*d + 242 = -350. Let j = 34 - d. Does 11 divide j?
True
Suppose 6*y - 69 = -69. Suppose 2*c - 6 - 14 = y. Suppose -c*a = 35 - 1565. Does 51 divide a?
True
Let h(f) = 20*f - 247. Let n be h(14). Let s(k) = k**2 + 5*k + 90. Is 96 a factor of s(n)?
True
Let p = 54 - 50. Suppose 1 - 13 = -p*u. Suppose -127 = -4*q - 3*a, -u*a + 0*a - 97 = -4*q. Is 6 a factor of q?
False
Let b(x) = 4*x**2 + 253*x + 182. Does 39 divide b(-67)?
False
Suppose 2*h - 4*x - 2 = 4*h, 2*h + 37 = 3*x. Let k(q) = q**2 + 11*q + 23. Let b be k(h). Suppose -18*l - 195 = -b*l. Is 8 a factor of l?
False
Suppose 11*n - 3838 = 9925 + 1945. Does 51 divide n?
True
Suppose -4*x + 17404 = h, 1829 + 2525 = x + h. Is x a multiple of 6?
True
Suppose 0 = 14*w + 170 - 954. Let v = 242 + w. Does 24 divide v?
False
Let b(p) = -3 - 18 + 3*p + 9 - 2*p**3 - 8*p**2. Is b(-7) a multiple of 54?
False
Suppose 71*r = 56255 + 5086843. Is r a multiple of 22?
False
Let g = 543 - 400. Suppose g = -d + 431. Is 18 a factor of d?
True
Let t = -143292 + 208588. Is t a multiple of 8?
True
Does 61 divide -58 - -68 - (-1617)/3?
True
Suppose -2 + 6 = 2*j. Suppose -26 = i - 4*g, 2*i = -5*g + j*g - 8. Is 6 a factor of (132/i)/(3/(-20))?
False
Suppose 0 = -3*a - t + 166, 2*t + 142 = 3*a - 3*t. Let k = a + -58. Let b(n) = 10*n**2 + 9*n + 14. Is 23 a factor of b(k)?
True
Suppose 3*p - 17*b = -14*b - 3, 0 = 3*b - 15. Suppose 5 = 5*i + 5*m, -3*i - m = -0 - 1. Suppose 3*z - k - p*k = 370, 4*k - 4 = i. Does 25 divide z?
True
Let v(y) be the second derivative of -77*y**3/6 + 3*y**2 + 6*y. Let x be v(2). Let a = x + 255. Does 18 divide a?
False
Let j(z) = -19*z**2 + z - 3*z + 14*z**2 - 5 + 14*z**2. Does 15 divide j(5)?
True
Suppose -14 = 4*l - 2*p, -3*l + 5*p = p + 18. Let s be (-7)/14 + (-423)/l. Suppose s = 3*x + 2*m, 2 = -m - 2. Is 17 a factor of x?
False
Let o(k) = 2240*k**3 - 7*k**2 + 31*k - 24. Is o(1) a multiple of 7?
True
Let w(q) = 5*q**2 + 29*q + 92. Does 14 divide w(-37)?
False
Let c = 214 + -203. Suppose 6*o - c*o + 355 = 5*y, -4*y - 5*o = -288. Is y a multiple of 14?
False
Suppose 0 = -260*l + 647400 + 5590000. Does 142 divide l?
False
Let l be -2 + 72 + (2 - 0). Suppose -3*s - 7 = -4*s. Suppose s*j - l = -9. Is j a multiple of 9?
True
Suppose 288 = 34*l - 10*l. Suppose -l*k - 16100 = -40*k. Does 36 divide k?
False
Let n(a) = a**3 + 85*a**2 + 45*a - 722. Does 45 divide n(-83)?
False
Let v be (0 + 25)/((-4)/(-32)*4). Let n = v + -42. Is 19 a factor of ((-4)/n)/((-3)/720)?
False
Let g be (-35)/(-7)*7*14. Let d = g - 341. Does 4 divide d?
False
Suppose -3*o + 32 = 5*o. Suppose s = u + 3*s - 17, -5*u + o*s + 15 = 0. Suppose -164 = u*g - 752. Is 6 a factor of g?
True
Suppose 3*g - 5*w - 30 = 0, 0 = 3*g + 3*w - 6*w - 30. Is (5615/g + 4)*6/9 a multiple of 28?
False
Let p(m) = 2*m**2 - 180*m + 4337. Does 3 divide p(70)?
False
Let x(w) = 35*w**2 - 14*w - 31. Let p be (-5)/(75/(-12))*(-5 - 0). Is x(p) a multiple of 13?
True
Let o(s) = -s**3 - 2*s**2 + 4. Let h be o(-2). Suppose -3*k = h*p - 20 - 8, -k = -p - 7. Does 8 divide k?
True
Let x(m) = -138*m - 581. Is 2 a factor of x(-9)?
False
Suppose -8 = -10*d + 22. Suppose 4*b + 938 = 3*j, 175 = j + d*b - 116. Is j a multiple of 18?
True
Suppose -6 = -4*x + 2*x - 2*j, -2*x = -2*j - 10. Suppose 2*b = -v + 2 + 6, -x*v + 56 = 2*b. Suppose -u - 23 = -4*p - 63, v = -4*p. Is 4 a factor of u?
True
Let l(z) = -z + 15. Let n = -13 + 16. Let a be l(n). Does 32 divide (-942)/a*2/(-1) - -3?
True
Suppose 4*o - 3*o = -6. Let m = -186 + 184. Is (-2 + 339/3)*m/o a multiple of 12?
False
Let o = 1407 - -1351. Is 14 a factor of o?
True
Is 2 a factor of (-41