. Does 357 divide w?
False
Suppose 11*d + 164 + 991 = 0. Let s = -59 - d. Suppose 160 = -41*k + s*k. Is k a multiple of 16?
True
Let j(o) = -30*o**3 - 2*o**2 - o + 1. Let y = 41 - 42. Let x be j(y). Suppose i + i - x = 0. Is 13 a factor of i?
False
Suppose -1931 + 451 = -2*i. Is 22 a factor of (48/40)/(8/i) + -3?
False
Suppose 49*p - 35907 = 2313. Is 2 a factor of p?
True
Suppose x + 29 - 9 = 5*b, 0 = -5*x + 5*b. Suppose -w + 3*w - 495 = -x*t, w - 396 = -4*t. Is t a multiple of 17?
False
Let u be 6/4 + -7 + (-599)/(-2). Suppose u = x - 3*k, 3*x - 574 - 328 = -k. Does 32 divide x?
False
Suppose 932 = 7*f + 316. Is 44 a factor of f?
True
Is (-16 - (-4452)/12) + -15 a multiple of 20?
True
Let n(s) = -50*s**3 - s**2 - 12*s + 3. Let u be n(-3). Let f = -526 + u. Is 14 a factor of f?
True
Is 11/(165/(-300)) - -10383 a multiple of 241?
True
Let z = 430 - -29. Let d(i) = 22*i**2 + i. Let s be d(-1). Suppose -24*l + z = -s*l. Is 53 a factor of l?
False
Let g(b) = -24*b - 45. Let v be g(6). Let o = -99 - v. Does 15 divide o?
True
Suppose -2*j = 2, 2*a - 2*j + 3 = 9. Suppose 3*o = 5*w + 57, w - 14 = -a*o + 37. Is o a multiple of 8?
True
Let q be (0 + -4 + (-30)/(-9))*-6. Is 11 + q + -9 - -4 a multiple of 5?
True
Suppose -44552 = -40*b + 66*b - 212044. Is b a multiple of 5?
False
Let v be -3*1*(-120)/(-36). Let z be 8/v - (-3952)/65. Let o = -43 + z. Is o a multiple of 5?
False
Suppose 5*c + 1 = -4*h + 56, -4*c = 4*h - 48. Let z be 6 + -1 + -7 + c. Is 124 + (6 + -1)*3/z a multiple of 8?
False
Suppose 889*z + 61890 = 948*z - 497253. Does 6 divide z?
False
Does 11 divide (-9)/33 - (-24 - 2556132/66)?
True
Let h = 34717 - 28379. Does 5 divide h?
False
Is (226344/7)/2 - (-390)/(-273) a multiple of 44?
False
Let h = -18 - 14. Let v = -51 - h. Is (-1613)/v + (-12)/(-114) a multiple of 17?
True
Let z be (-3)/(-4)*(81 + -77). Let u(w) = 72*w**2 - 7*w - 8. Does 17 divide u(z)?
False
Let b = -2647 - 113. Let r be (-1)/(-4) + (b/(-32))/15. Suppose 246 = r*g - 258. Does 7 divide g?
True
Let l = 4527 - 873. Is l a multiple of 42?
True
Let a = -536 - -1291. Let l = a + -441. Does 9 divide l?
False
Let a = -62333 + 91061. Does 57 divide a?
True
Let g = -17452 - -19062. Does 14 divide g?
True
Let o = 4240 - -542. Let h = -3126 + o. Is h a multiple of 87?
False
Let m = 760 + 446. Is m a multiple of 9?
True
Does 62 divide 24/(-6) + (5760*4)/12?
False
Let p(c) = -5*c**2 - 4*c**2 - 12*c + 31 - 18*c**2 + 42*c**2. Is p(4) a multiple of 16?
False
Suppose -224*z = -71*z - 1529388. Does 14 divide z?
True
Let x = 308 - 303. Suppose -x*s + 14 = -1. Is s even?
False
Suppose 123066 = -32*b + 26*b. Is b/(-27) + ((-2)/(-6) - 0) a multiple of 16?
False
Suppose 5*f = -3*l + 86, 5*f + 2 = -8. Let j be 160/(-8)*l/(-10). Let p = 94 - j. Is p a multiple of 6?
True
Let k(j) = j**3 - 5*j**2 + 2*j - 4. Let w be k(5). Suppose 0 = f - w*f. Suppose 14*d - 67 - 3 = f. Is 2 a factor of d?
False
Let j(l) = 40*l - 232 + 9 + 385*l + 39 - 121. Does 14 divide j(5)?
True
Suppose 2*u = -z + 14, 0 = -4*u + 23*z - 27*z + 24. Does 10 divide (-1596)/(-10) - (-11)/(220/u)?
True
Let c = -18 - -21. Suppose 3*x - c*o - 3 + 9 = 0, 0 = -5*x - o + 20. Suppose 23 = -x*v + 116. Is 3 a factor of v?
False
Let h = -23 + 26. Let p be (-408)/(-36) + 2/h. Suppose -280 = -p*s + 7*s. Is 7 a factor of s?
True
Let u = -1806 + 2613. Suppose 5*g + 3*h + h = 798, -5*g - h + u = 0. Is g a multiple of 18?
True
Suppose 21*f - f - 275678 = -3*f. Is 13 a factor of f?
True
Suppose 1571230 = 82*f - 11*f. Is f a multiple of 19?
False
Let m(p) = -p**2 + 10*p + 84. Let v be m(15). Suppose v*j - 2314 - 764 = 0. Does 9 divide j?
True
Suppose -b + 77 = -5*r, 75*b - 72*b = -r + 279. Is b a multiple of 2?
True
Suppose 3*t + n - 2*n - 45722 = 0, 27*n = t - 15294. Does 24 divide t?
True
Let s = -25373 + 50085. Does 70 divide s?
False
Suppose 487 - 5959 = -4*j - 8*j. Is j a multiple of 82?
False
Let d be 18/(-21)*3*(-56)/(-8). Is 12 a factor of 13812/32 + d/(-48)?
True
Suppose 3*u + 496 = 5*z - 74, 2*z + 5*u = 228. Let b = 253 - z. Is b a multiple of 10?
False
Suppose 4*c + 3*k + 1 - 20 = 0, 0 = 4*k + 12. Suppose -12*j - 132 = -3*j + 24*j. Is 9 a factor of c*((-20)/j + 4)?
True
Is 6 a factor of (-58)/(-319) + (-18)/(-22)*(-139667)/(-33)?
False
Suppose 2*a - j + 4 + 1 = 0, -3*j = -3*a - 15. Suppose -5*q + i + 840 = a, 2*i = 3*q - 2*i - 504. Does 21 divide q?
True
Let f(x) = -38*x - 9. Let p be f(-1). Suppose -23356 + 7348 = -p*z. Is 12 a factor of z?
True
Suppose 5*h - 20 = -4*o, -o + 0 = 4*h - 5. Let l(p) = 0*p**2 + 0*p**2 - p**2 + o*p**2 - 14*p - 2. Is 30 a factor of l(7)?
False
Let u be 29/(0 - (-1)/(-1)). Let r be -21 - 1/((-1)/(-2)). Let n = r - u. Is n a multiple of 5?
False
Let r(s) = -6*s + 52. Let a be r(10). Let b be ((-23)/(-3))/(a/6)*-8. Suppose 0 = 9*o + b - 199. Is o a multiple of 17?
True
Let c = -691 + 1837. Let l be c/(-13) + (-2)/(-13). Is l/(-2) + (0 - 0) a multiple of 7?
False
Let s = -5412 + 11350. Is 11 a factor of s?
False
Let x(i) = -i**2 - i + 1. Let h = -39 - -41. Let v(g) = 8*g**3 + 3*g - 3. Let f(c) = h*x(c) + v(c). Is f(2) a multiple of 19?
True
Suppose -4*p + 21778 = j, 29*j + 10886 = 2*p + 30*j. Does 15 divide p?
False
Does 127 divide 428922/36 + (-6)/12?
False
Suppose 5151 = 5*o - d, -o + 6*d + 1053 = 2*d. Is o a multiple of 9?
False
Let o(v) = -101*v + 3669. Is 10 a factor of o(-31)?
True
Suppose 4*z + 2*z + 30 = 0. Let x(a) = -4*a + 2. Let g be x(z). Suppose -2*j + 5*l + g = -0*j, 4*j = 2*l + 28. Is 2 a factor of j?
True
Suppose 2*a - 14 = -r, -r + 4*a - 44 = -5*r. Suppose 3*o = r*o - i - 911, -5*o = 2*i - 923. Suppose 6*x - o = 531. Is x a multiple of 27?
False
Let x(h) = 3*h - 3. Let t be x(1). Suppose 0 = 2*j - 4*l - 1110, t = 4*l - l. Suppose 5*o - j = 225. Does 12 divide o?
True
Suppose -38*f = -29*f - 918. Suppose f*m = 106*m - 984. Is 82 a factor of m?
True
Let u(n) = 267*n**2 - 97*n + 654. Is u(8) a multiple of 34?
True
Suppose -5*d + 4897 + 1008 = 2*w, -2*w - 2348 = -2*d. Suppose -138*a + d = -137*a. Suppose 9*q + 0*q = a. Does 21 divide q?
False
Let g = 167 + -157. Suppose -g*r - 18*r + 12544 = 0. Is 23 a factor of r?
False
Let r(z) = 2*z**2 - 4. Let s be r(2). Suppose -5*k - 5 = l, 7*l = 3*l - s*k - 4. Let c(y) = -y**3 + 2*y**2 - 2*y + 92. Does 15 divide c(l)?
False
Let h(n) = 54*n - 254. Let t be h(7). Suppose 9*l - 907 = -t. Does 29 divide l?
True
Suppose -2*x = -5*x + 2*x. Suppose -4*w - 42 - 62 = x. Let i = 50 + w. Does 8 divide i?
True
Let a(k) be the third derivative of 0*k - 1/120*k**6 + 11*k**2 + 1/12*k**5 - 2/3*k**3 + 1/3*k**4 + 0. Is a(6) a multiple of 2?
True
Suppose -1626290 = -175*h + 1945460. Does 13 divide h?
True
Does 35 divide (-14)/(-343) - 1508190/(-735)?
False
Does 11 divide 176/(-110)*10/(-24) - 9698/(-6)?
True
Let c(a) = a**3 - 4*a**2 - 3*a + 2. Let l be c(5). Let m(j) = 3*j - 34. Let f be m(l). Suppose 4*r + 176 = 4*y + 24, 3*y = -f*r + 129. Is y a multiple of 9?
False
Suppose 4281537 = -7*d + 318*d. Is 39 a factor of d?
True
Let q = -4423 - -5962. Is 6 a factor of q?
False
Let i(l) = -8*l - 19. Let v be i(-4). Let f(m) = m**3 - 8*m**2 - 59*m + 31. Is f(v) a multiple of 3?
False
Suppose 57*w - 66 = 51*w. Suppose -w*k + 3992 = 549. Is k a multiple of 28?
False
Suppose 0 = 12*g + 4*k - 137400, -11478 = -g + 25*k - 30*k. Is g a multiple of 212?
True
Suppose 56 = 28*k - 0. Suppose 3*n - 420 - 24 = 0. Suppose 5*h - 4*q = n, -h - k*h + 81 = -5*q. Is h a multiple of 8?
True
Let s(b) = -b**3 + 46*b**2 + 25*b + 10. Is s(46) a multiple of 40?
True
Let j(v) = -v**3 + 7*v**2 - 17*v - 177. Is j(-13) a multiple of 8?
True
Let f be (1 + -4 + 3)*-1. Suppose v - 1 - 43 = f. Let p = v - 6. Does 8 divide p?
False
Suppose -8*o + 405 = -3*o. Let a = 77 - o. Is 6 a factor of (-8 + (0 - -3) - a) + 40?
False
Is 965*1218/145 + -1 + 11 a multiple of 77?
False
Is 4 a factor of (3 - -1087)/((-140)/(-952))?
True
Let m = 12663 + -3983. Is m a multiple of 62?
True
Suppose 2*s = -2*r + 374, -2*s + r = -r - 366. Suppose s = 5*b - 5*m, 0*b + 3*m = -b + 17. Is 12 a factor of (16/b)/((-2)/(-872))?
False
Suppose -o + 349 = -2*n, -41*o = -36*o + 5*n - 1760. Does 13 divide o?
True
Let k be -5 + 3 + 2*141. Suppose -30*a = -34*a + k. Is 510/a + 2/(-7) a multiple of 3?
False
Suppose 2*u + 36 = 5*x, -5*u - 4*x = 13 + 11.