 -3*j - 3*r = -4377. Does 5 divide j?
True
Let l = 38 - 5. Suppose 0 = r - l - 5. Suppose o + 30 - r = 0. Does 2 divide o?
True
Let l be (-15148)/14*2/(-4). Suppose 2*m + 2*i - l = i, -5*i + 1085 = 4*m. Does 27 divide m?
True
Suppose -7*r + 3*r - b = -1966, -5*r + 3*b = -2432. Is 11 a factor of r?
False
Suppose 18*c - 193158 = -c - 8*c. Does 14 divide c?
True
Suppose -5*y - p + 6*p - 665 = 0, -2*p + 6 = 0. Let t = 179 + y. Does 49 divide t?
True
Let o be 4/10 + (-70438)/(-205) + -4. Suppose -9*v = -5*v - 12. Suppose -v*a = -5*j + o, j + 4*j + 5*a = 340. Is 17 a factor of j?
True
Let y(f) = f**2 - 7*f - 42. Let s be y(11). Suppose 0 = s*l - 3*l - 3*m - 7, -3*l = -5*m - 35. Is l even?
False
Suppose -35*g + 31800 + 54020 = 0. Is 160 a factor of g?
False
Suppose 0*u - 2*u = 4*h - 22, -5*h = -3*u - 22. Suppose -54*t + 7516 = 172. Does 13 divide t - ((2 - h) + 7)?
False
Suppose 16*s - 20*s + 5*g + 13352 = 0, -5*s - 4*g + 16772 = 0. Is 54 a factor of s?
True
Let d = 1 - 10. Let z be (d/(-4))/(4/1008). Suppose 6*g - z = 93. Does 10 divide g?
True
Suppose n - 324 = -2*l, 2*n = 7*n - 2*l - 1620. Is n a multiple of 18?
True
Suppose -5*w - 381 = -3*y, w - 6*y + y = -85. Let v = w - -150. Does 3 divide v?
True
Is 8 a factor of -4302*1*(7 + 65/(-15) + -3)?
False
Let c = -2829 + 3810. Is c a multiple of 109?
True
Let c(m) = -29*m + 6*m - 89 + 2*m. Does 37 divide c(-6)?
True
Suppose -4*y - 11 = -5*w, -2*w - 5 = -3*w - 2*y. Suppose -2*t - 9 = -w*u, -4*t - 2*u + 37 = 3*u. Suppose t*f - 1617 = -8*f. Is f a multiple of 21?
True
Let d = -294 + 298. Does 3 divide d/30 + 84168/540?
True
Let l(z) = -z**2 - 2*z + 23. Let k be l(-6). Let f(m) = 1032*m**2 + 25*m + 25. Does 12 divide f(k)?
True
Let m = -136 - -311. Suppose 5*i - 3*h - m = 0, i - h + 3*h - 48 = 0. Is 38 a factor of i?
True
Let w(z) = -4*z - 28. Suppose 4*p + 16 + 8 = 0. Let i be (-1 - 0)/(474/78 + p). Is w(i) a multiple of 3?
True
Suppose -2 = n, -3*n - 17646 = -344*f + 343*f. Is f a multiple of 21?
True
Let r = 98 + -41. Let f = r + -54. Is 7/(-3)*-5*f a multiple of 15?
False
Let s(h) = -2*h**2 - 12*h. Let a be s(-6). Suppose a = -4*z + 5*w + 781, -2*z + 0*w = 4*w - 410. Is z a multiple of 6?
False
Suppose -4 - 17 = 21*k. Let o be -4 + (-2 - -7) - k. Suppose 0 = -4*q + 2*x + 964, -3*q - x + 741 = o*x. Is q a multiple of 11?
False
Let z(q) = -9*q - 363. Let h be z(-35). Is h + 55 - -5*1 a multiple of 3?
True
Let y(r) = 16*r**2 - 119*r + 547. Is y(37) a multiple of 38?
False
Let w = 1558 + 1305. Does 55 divide w?
False
Let z = -35 - -35. Suppose z = -6*t - 3*t + 873. Suppose -2*g - 49 = -t. Is g a multiple of 4?
True
Suppose 0 = 18*a - 70928 - 63172. Is 5 a factor of a?
True
Suppose -2*m + 5*l = -61 - 163, 2*l - 472 = -4*m. Suppose -4*o = -2*b - 29 - m, 4*o = 20. Is 34 a factor of (5 - 7)/(1/b)?
False
Suppose 6 = -4*l + 18. Suppose -6*d = 21 + l. Is d/((-34)/10 - -3) a multiple of 5?
True
Let p(x) be the second derivative of x**4/12 + 11*x**3/6 - 12*x**2 - 88*x. Is p(-15) a multiple of 13?
False
Let i(b) = -108*b**3 + b**2 - b - 8. Let u be i(-2). Let a = u - 498. Is 15 a factor of a?
False
Suppose -3*c - 381 = 3*p - 6*p, 4*p + 4*c - 468 = 0. Suppose t + 4*z = p, 4*z + 129 + 1 = t. Suppose w = 8*w - t. Is w a multiple of 6?
True
Let k = 673 - -8416. Does 57 divide k?
False
Suppose 8*w = 7*w + 3527. Suppose -w - 883 = -9*z. Is z a multiple of 10?
True
Suppose 2*t - 10 = -6. Let c be 0/(-4*t/4). Is 2/(-12) + c + 4763/66 a multiple of 12?
True
Let x(c) be the second derivative of 305*c**4/6 + 5*c**3/6 + c**2/2 - c. Let l be x(-1). Suppose 11*j + l = 2344. Does 22 divide j?
False
Is 18 a factor of (-3 - 12*14)*(-1675)/75?
False
Suppose -24606 - 6562 = -8*y. Is 23 a factor of y?
False
Suppose 5*k + f = -1251, 8*k - 7*k + 243 = -2*f. Let u = k + 315. Is 16 a factor of u?
True
Suppose -5 = 5*j, 5*j - 2 = 3*x - 13. Suppose 237 = -k - 5*v, 3*k = -x*k - 4*v - 1143. Let p = k + 333. Is p a multiple of 31?
False
Does 66 divide 262 - 1*(-8)/16*4?
True
Let i(b) = b**2 - 8*b + 19. Let g be i(3). Suppose 0 = 5*w + 5*o - 1020, 5*w + 3*o - g*o - 1050 = 0. Is 47 a factor of w?
False
Suppose -5*j - 85 = -815. Let m = 71 + j. Suppose -2*r - 19 = -m. Does 11 divide r?
True
Let w(x) = 6*x + 34. Let a be w(-4). Is 4 a factor of 10894/66 - a/165?
False
Suppose 3*z - 8*z + 4158 = 4*x, 2*x - 1662 = -2*z. Is z a multiple of 27?
False
Suppose 0*z - f + 1751 = 3*z, 0 = 4*z + 3*f - 2343. Suppose 45*i - 42*i = z. Is 28 a factor of i?
False
Suppose 4*t - 2*v = -1934 + 7894, t = -5*v + 1457. Is t a multiple of 3?
False
Let f = 36 + -18. Suppose -w - p + f = 0, -3*w = 2*p - 4*p - 29. Suppose -4*q = -3*q - w. Does 3 divide q?
False
Let q(y) = -78542*y**3 + 30*y**2 + 43*y + 14. Is q(-1) a multiple of 27?
True
Suppose 23*i = -187*i - 147*i + 2236248. Is 58 a factor of i?
True
Let y(p) = -2*p**2 + 13*p - 33. Let a be y(3). Suppose 3*h + 23 - 149 = 0. Is 15 a factor of (20/(-8))/(15/a) + h?
False
Let m be 0/(1 + (-1)/(-1)). Let r = 3 + m. Suppose -2*d + 93 = -r. Is 16 a factor of d?
True
Let a(q) be the first derivative of q**2/2 - 15*q - 4. Let m be a(23). Suppose -m*w = -3*w - 4*t - 430, 0 = 4*w + 4*t - 380. Is 15 a factor of w?
True
Let b(r) = 4*r**2 - 2*r - 2. Let g(w) = 4*w - 29. Let k be g(7). Let n be b(k). Suppose n*d - 30 = 66. Is d a multiple of 5?
False
Suppose 18984 + 22816 = 50*z. Does 5 divide z?
False
Let g be -3 - (-2 + -1 + 0). Does 21 divide g + (1/(-6) - 3377/(-66))?
False
Let n = 28821 - 23992. Does 57 divide n?
False
Let p = 25 - 20. Suppose -p*j = -8*j + 573. Is 10 a factor of j?
False
Let x(j) = 8*j**2 + 6*j - 9. Let h = -30 - -26. Let t be x(h). Suppose 3*m - 4 = t. Does 11 divide m?
True
Let s(z) = -z**3 - 3*z**2 - 21*z - 5. Let r = 445 - 454. Is s(r) a multiple of 67?
True
Let n(k) be the third derivative of 0 + k**3 + 0*k + 1/6*k**4 + 9*k**2 + 5/6*k**5. Is 22 a factor of n(-2)?
True
Let q(y) = 7*y**2 - y - 4. Let j be q(-4). Let c = j + -66. Is c a multiple of 46?
True
Is 1/(24/156 - (15273/2964 + -5)) a multiple of 13?
True
Let c(z) = -5*z**2 - 11*z - 2. Let l be c(-2). Suppose 6*m - 30 = -l*m. Suppose m*t - t + 8 = 0, -130 = -3*k + 5*t. Is k a multiple of 20?
True
Let g = 710 - 706. Is 597/g + (-215)/172 a multiple of 4?
True
Suppose 5183 + 4697 = 4*x. Is (x/50 - -5)/((-4)/(-10)) a multiple of 3?
False
Let a = 978 - 824. Suppose 0 = 10*y - a - 136. Is 3 a factor of y?
False
Suppose -3*k + 2*d - 543 = 290, 2*k + 3*d = -538. Let h = -125 - k. Is 15 a factor of h?
True
Suppose -22 = 7*b + 216. Let v be (1 - (1 - -3))*(-34)/b. Is 6/8 + 1161/36 + v a multiple of 10?
True
Let a(h) be the second derivative of 7*h**4/12 - h**3/2 - 2*h**2 + 3*h. Let z(x) = x**2 - 27*x - 25. Let y be z(28). Is 10 a factor of a(y)?
True
Suppose 3599 = 2*t - c, -2*c = 7*t - 4*t - 5402. Is t a multiple of 8?
True
Let l(n) = -6*n + 8. Let c(m) = -11*m + 16. Let y(v) = 3*c(v) - 7*l(v). Let f be y(2). Suppose 6*g + 232 = f*g. Is g a multiple of 23?
False
Let n(m) = 2*m**2 + 8*m - 16. Let l = -61 - -49. Is 16 a factor of n(l)?
True
Suppose 0 = 363*m - 377*m + 329238. Is 13 a factor of m?
True
Suppose -s + 2*l + 2361 = 0, l + 2484 = -2*s + 7221. Is 2 a factor of s?
False
Let i be (6/(-15)*4)/(5/(-275)). Suppose 0 = 3*u + 3*s - 168, -3*u = s - i - 86. Suppose -3*y = -418 - u. Is y a multiple of 25?
False
Let v be 10 - ((-1)/2 - 5/2). Let t(b) = -b**2 + 14*b - 11. Let s be t(v). Does 34 divide (3 - s)/1*35?
False
Let z = -344 - -348. Suppose 2*h + z*w - 2228 = 0, 34*h - 33*h - 1118 = -w. Does 51 divide h?
True
Let m(i) = -10*i**3 + i**2 - i - 5. Is 27 a factor of m(-2)?
True
Let t(k) = 6*k + 14. Let h be t(-2). Suppose 2*b + 1 - 7 = 0. Suppose -4*z + 125 = -h*z + b*j, 5*j - 115 = -2*z. Is 10 a factor of z?
True
Let j(t) = -5*t**2 + 11*t - 1. Let n be j(6). Let k = n + 194. Does 36 divide k?
False
Let j(a) = 10*a**2 - 7*a - 22. Let x be j(-11). Let u = 1925 - x. Is 44 a factor of u?
True
Let g = -15015 + 30538. Is 19 a factor of g?
True
Is 143 a factor of (7 - -59)*(-14 + 651/14)?
True
Let q be -3*(1/3 + -1). Suppose q*a + 124 = 4*n, -2*a + 0*n = n + 144. Does 14 divide 2/(1 + 68/a)?
True
Let b be (-18 - -17)/(2/(-8)). Suppose 6*l - 4*g - 32 = 5*l, -b*l = 3*g - 204. Let x = 16 + l. Does 13 divide x?
False
Suppose p - 497 = 2*i, -3*p + i = 2*p - 2485