 - 88. Does 2 divide y?
True
Let u(t) = 2*t + 41. Does 21 divide u(2)?
False
Let l = -10 - -14. Let j = 373 - 364. Is 17 a factor of 51 - l/((-12)/j)?
False
Let w = 4 + 56. Is 6 a factor of w?
True
Suppose -5*x + o + 12725 - 4738 = 0, 0 = 4*x + 2*o - 6398. Is 94 a factor of x?
True
Suppose -23*b + 20*b + 1323 = 0. Suppose b = 3*t - 207. Is t a multiple of 54?
True
Suppose 23109 = 9*o - 2154. Is 96 a factor of o?
False
Suppose -15*g + 1788 = -9*g. Is 36 a factor of g?
False
Let m be 2 - (-3 + 3)/2. Suppose 188 = 4*v + 4*l, -v - 43 = -m*v + 3*l. Is v a multiple of 17?
False
Let b = 437 - 225. Is b a multiple of 98?
False
Let p(j) = j**2 + 20*j + 10. Is 26 a factor of p(8)?
True
Suppose 8*o = 140 - 540. Let r = 28 + -53. Does 10 divide ((-40)/o)/((-1)/r)?
True
Suppose -7*q + 3 = -4*q. Suppose -c = -131 - q. Suppose -3*x - 24 + c = 0. Is 7 a factor of x?
False
Let u = 1636 + -534. Does 19 divide u?
True
Let t be -1 - ((-1)/9 + 4786/(-18)). Suppose -263*k - 56 = -t*k. Is 8 a factor of k?
False
Let f be 18/4*(-14)/21. Is 12 a factor of (-812)/(-14) - (f + 1)?
True
Suppose 2*d = -3*d + q + 30, -3*q = -3*d + 6. Suppose -114 = -d*s + 19. Does 4 divide s?
False
Suppose 2*d - 5*j + 8*j = -369, 0 = -2*d - 5*j - 379. Let v = d + 347. Is 34 a factor of v?
True
Let q(g) = 263*g**3 + 3*g**2 - g - 1. Is 14 a factor of q(1)?
False
Suppose -31*r + 7752 = -14*r. Does 20 divide r?
False
Suppose 3666 = 8*a - 3174. Does 9 divide a?
True
Suppose -191 = -b + 47. Does 34 divide b?
True
Let h be 4/6 + 4/(-6). Suppose -z = -h*z. Suppose 4*o - 299 - 5 = z. Is o a multiple of 19?
True
Suppose -85*u - 3800 = -93*u. Is u a multiple of 19?
True
Let z be (-2)/(-6) + (-1336)/(-24). Suppose 4*q - m - 14 = 3*q, -4*q + 2*m = -z. Suppose 0*t - t + q = 0. Does 10 divide t?
False
Let y be 5252/(-12) + 6/9. Let v = -187 - y. Is 14 a factor of v?
False
Let k(v) = -44*v - 3. Let g be k(-1). Let x = g - 38. Suppose -2*h - 21 = -x*h. Does 3 divide h?
True
Let y = 4495 + -1471. Is 18 a factor of y?
True
Suppose -549 - 179 = -2*z. Is 7 a factor of z?
True
Suppose -16*v + 200 = -12*v. Suppose -t + 4 = t, 0 = 4*l + t - v. Is l a multiple of 12?
True
Let t = 204 - 121. Is t a multiple of 22?
False
Is 0 + 713 + 21/3 a multiple of 90?
True
Suppose -35*t = -37*t + 28. Let r be 10/35 - (-24)/t. Does 6 divide ((-1)/r + 1)*68?
False
Let b(f) = 3*f**3 - 7*f**2 - 10*f - 1. Let n be b(6). Suppose -3*v + 171 + 9 = i, -v + n = 2*i. Is 33 a factor of i?
True
Let u(s) = -2*s - 8. Let b be u(-4). Let d be 2 + (b - -4) + -1. Suppose 5*w - 520 = -5*y + 4*w, -535 = -d*y - 4*w. Is 21 a factor of y?
False
Let m(i) = 6*i**2 + 5*i - 2. Let d(z) = -z**3 - 4*z**2 + z - 1. Let v be d(-4). Does 16 divide m(v)?
False
Let f(z) = z**3 - 7*z**2 + 34*z - 19. Is f(16) a multiple of 41?
True
Let m(p) = -p**3 + 6*p**2 - 7*p - 1. Let v be m(3). Suppose -5*y + 570 = v*y. Is 5 a factor of y?
False
Let i(f) = f. Suppose -3*o + 4*t = -7, -6 = -o + 2*t - 3. Let a(n) = -12*n - 23. Let p(l) = o*a(l) + 3*i(l). Is 13 a factor of p(-7)?
False
Let p(s) = 2*s**3 - 3*s**2 + 5*s. Let g be p(2). Let n(t) = 2*t - 27. Let q be n(g). Is 8 a factor of (-350)/(-10)*(0 + q)?
False
Suppose 0 = 4*g - 2*g - 98. Suppose -2*s = -o + 167, s + 37 + g = -2*o. Let m = 118 + s. Is 17 a factor of m?
True
Let d(a) = a + 58. Let i be d(0). Suppose -5*h + 552 = -i. Is h a multiple of 26?
False
Let p = -10 + 16. Suppose -4 = -3*y + 4*y. Does 18 divide (366/(-9))/(y/p)?
False
Suppose -a - t = -885, 2*t - 4945 + 535 = -5*a. Is a a multiple of 17?
False
Let p(x) be the third derivative of x**5/60 + x**4/8 - x**3 - 2*x**2. Let a be p(-5). Suppose 5*h - a*b = 28, 0*h - 3*h + 10 = b. Does 3 divide h?
False
Let w(c) = 3*c - 6. Let s be w(3). Suppose 207 = 4*a + s*d, 2*a - d - d - 86 = 0. Does 13 divide a?
False
Suppose -4*v + x + 8 = 0, -3*x + 17 + 1 = 2*v. Suppose -v*j = -5*j - 6. Let t(l) = 7*l**2 + 3*l - 3. Does 17 divide t(j)?
True
Let m(o) = o**3 - o**2 + 4. Let f be (-30)/10 - (0 - 3). Let b be m(f). Suppose -90 = -b*u - u. Is 9 a factor of u?
True
Let h(o) = 5*o**2 - 44*o + 37. Let f(g) = 2*g**2 - 15*g + 12. Let t(q) = -8*f(q) + 3*h(q). Let s be ((-6)/(-7))/(4/(-56)). Does 10 divide t(s)?
False
Let m = 14 - 10. Suppose 0*l + 10 = -2*f - m*l, -2*f + 30 = -4*l. Suppose c + 44 = f*c. Is c a multiple of 5?
False
Suppose 6199 = 18*r - 10811. Does 20 divide r?
False
Let b = -35 - -18. Let w = b - -22. Is w a multiple of 3?
False
Let h = 16 + 24. Let g be 1/5 + (-768)/h. Let d = g + 51. Is d a multiple of 7?
False
Let r(p) = p**2 + 3*p + 11. Suppose 70*c = 75*c + 25. Is r(c) a multiple of 7?
True
Suppose 3*u = 3*v + 39, -5*u + 3*v = -u - 54. Suppose 0*a - 3*a + u = 0. Suppose 4*h + 9 = a*h. Is h a multiple of 9?
True
Let b = -1128 + 1590. Is b a multiple of 21?
True
Suppose 12*c + 12 = 16*c. Suppose 2*z + 0*z - 250 = -4*s, c*z + 5*s - 377 = 0. Does 34 divide z?
False
Let m = -320 + 679. Suppose -5*j + 2*u - 93 = -m, 0 = -3*u - 9. Does 3 divide j?
False
Suppose d + 1 = -g - 2, -3*d + 5*g = -31. Let m be d/(-4)*(-18)/3. Suppose 0*i - 225 = -4*i - 3*c, -m*i + 3*c = -174. Does 12 divide i?
False
Let d(y) = -2*y**3 - 22*y**2 + 28*y + 13. Does 25 divide d(-13)?
True
Let r(k) = k**2 - k - 110. Let q be r(0). Let n = 171 + q. Does 16 divide n?
False
Let p(w) = 0*w**3 - w**3 + w + 0*w. Let i be p(-2). Is 4 a factor of (-12)/(-9)*1*i?
True
Suppose -3490*o + 3502*o - 8568 = 0. Is o a multiple of 11?
False
Let n = 138 + 141. Does 18 divide n?
False
Let o(v) = -2*v**2 - 7*v - 6. Let u be o(-5). Let k be ((-6)/(-9))/((-10)/105). Let b = k - u. Is b a multiple of 14?
True
Suppose 3*z = 2*a - 69, 5*a + 3*z = 4*z + 153. Suppose -25*c = -a*c + 180. Does 11 divide c?
False
Suppose 0 = -2*k - 3323 + 11513. Does 13 divide k?
True
Suppose -4*w = -8*w + 224. Suppose 4*z = -4*k + w, -2*k + 2*z + z = -18. Suppose k*i - 9*i - 141 = 0. Is 8 a factor of i?
False
Suppose -2 = -2*u + 6. Suppose 3*d - 184 = 4*h, u*d - 154 - 82 = 3*h. Is d a multiple of 4?
True
Let w be (-156)/(-10) - (-3)/(-5). Suppose 0 = -4*p - y + 12 + 6, 0 = -5*p - 5*y + w. Suppose 2*l = -p*b + 65, -b + 5 + 8 = -5*l. Is b a multiple of 5?
False
Suppose 868 = 4*w - 1204. Is 52 a factor of w?
False
Let d be -1 - 7/((-28)/24). Suppose -3*p = -d*y + 294, -y + 66 = 3*p - 6*p. Suppose -4*u + 5*n + 154 = y, 5*n = -25. Does 9 divide u?
True
Suppose -4*g = 35*b - 38*b + 7634, 0 = -5*b - 2*g + 12680. Is b a multiple of 9?
True
Let s be (-4)/5 + 1 - 154/(-55). Let i = 15 + -3. Suppose -f + j + 66 = -j, s*j = i. Is 24 a factor of f?
False
Suppose 0 = -16*z + 1324 + 452. Is 37 a factor of z?
True
Let y(a) = 2*a**3 - 2*a**2 + a + 4. Let r be y(3). Suppose 100 = 3*p + 4*s + 10, p - r = 3*s. Is 7 a factor of p?
False
Let s = 101 - 97. Suppose -c + 243 = 5*g, -4*g + c = -s*c - 177. Is 10 a factor of g?
False
Let b be -108*(4/(-15))/(9/45). Let d = b + -128. Is 16 a factor of d?
True
Let x(j) = 3*j - 11. Let w be x(6). Suppose g - 5*y = -0*g - 22, -g - w = -2*y. Suppose 44 + 3 = 3*l + 5*k, -82 = -4*l + g*k. Is 19 a factor of l?
True
Let y(n) = -115*n**3 - 3*n**2 + 2. Let w be y(-1). Suppose -4*h + w = 38. Is h a multiple of 5?
False
Let c be 12044/14 + 60/(-210). Suppose c + 1406 = 11*m. Is m a multiple of 30?
False
Suppose 440 = -i + 9*i. Does 11 divide i?
True
Let p = -467 - -767. Does 50 divide p?
True
Let f = -1247 + 1882. Is 49 a factor of f?
False
Let u(h) = h**2 - 8*h + 39. Does 3 divide u(13)?
False
Suppose -7*h + 11*h - 2*k - 1150 = 0, 1159 = 4*h - 5*k. Is 12 a factor of h?
False
Let q(g) = -g**2 - 4*g + 2. Let f be q(-4). Suppose -5*j - f - 3 = 0. Let t(u) = -10*u - 1. Does 7 divide t(j)?
False
Let w(z) = -169*z**2 + 15 + z**3 + 13 + 149*z**2 - 57*z. Is w(23) a multiple of 16?
True
Let f = -229 + 326. Does 4 divide f?
False
Let z = -342 + 359. Does 4 divide z?
False
Suppose 14*p - 367 = 879. Does 7 divide p?
False
Does 9 divide 12557/15 - ((-34)/(-30) + -1)?
True
Suppose 6*j - 35 = 25. Let o = 46 - j. Is o a multiple of 26?
False
Suppose 657 - 4947 = -13*h. Is h a multiple of 35?
False
Suppose -2 = -g, 3*p = 3*g - 8*g - 1070. Let r = -229 - p. Suppose r = 2*w + 45. Does 17 divide w?
False
Let q = 29 + 106. Suppose -4*m - q = -13*m. Does 4 divide m?
False
Suppose -3*k - 3*y - 97 = 269, -k - 128 = 3*y. Let p = -68 - k. Does 20 divide