-1348 = 3*y - 8*y + 4*u. Is 67 a factor of y?
True
Suppose 3*u - o = 15, -u - 8*o = -12*o - 16. Suppose 111 = c - 2*i, -u*c = -4*i + 2*i - 426. Is c a multiple of 21?
True
Suppose 3*j - 3*k - 61719 = 0, -7*j - 4*k - 20582 = -8*j. Is j a multiple of 121?
True
Let j = 6370 + -3905. Does 20 divide j?
False
Let n(j) = -j**2 + 5 - 6*j + 24*j**2 - 7 - 2. Is 17 a factor of n(-3)?
True
Suppose 0 = 25*u - 9*u - 64. Let m be u/14 - 23100/(-98). Suppose -2*f + 20 = 3*f, -5*f = 4*x - m. Does 20 divide x?
False
Suppose q + 243 = 652. Suppose -5*j + 2*s = -579, 3*j + 3*s - q = -49. Is 65 a factor of j?
False
Let q(u) = 2565*u - 5142. Is 12 a factor of q(5)?
False
Suppose -3*a + 2*a = 4*c + 106, -3*c = -3*a - 303. Let w be (-3)/(-15) - 911/5. Let d = a - w. Is d a multiple of 16?
True
Let l = -13258 + 13522. Is 2 a factor of l?
True
Let d(q) be the third derivative of q**6/90 - q**5/12 + 11*q**4/24 + 12*q**2. Let s(c) be the second derivative of d(c). Is s(5) a multiple of 10?
True
Suppose 0*p + 4031 = 5*p - b, -3*b = p - 819. Let k = p + -697. Is 7 a factor of k?
False
Let z = -314 + 319. Suppose -z*y + 70 = -5*h, -4*h - 20 = -5*y - 9*h. Does 4 divide y?
False
Let n = -30877 + 69953. Is 47 a factor of n?
False
Let p be ((-5265)/(-60))/(3/(-8)). Let q = 490 + p. Is 29 a factor of q?
False
Suppose -3*y - 263 = 13. Let l = -9 + -29. Let t = l - y. Is t a multiple of 27?
True
Let d be ((-12)/10)/((-47)/(-235)). Does 36 divide (-6)/7*(d - (-3888)/(-3))?
True
Let g = 19 + -5. Let j be (-18)/(-27) - g/3. Does 24 divide (-2 - -28) + 2 + j?
True
Let s = 34216 + -9972. Is 22 a factor of s?
True
Suppose -5*l = -2*x + 600, 2*l = 2*x - 0*l - 588. Is 7 a factor of (-9 - x/(-30)) + 5952/9?
False
Is 16/24*((-10649784)/(-432) + (-2)/(-9)) a multiple of 19?
True
Suppose 32*v - 191520 = 20*v - 44*v. Is v a multiple of 30?
True
Suppose 375 = -3*k - o + 10814, 0 = 4*k + 4*o - 13916. Suppose -5*d + 15*d = k. Is d a multiple of 6?
True
Suppose 0*l - 5*l + 15 = 3*x, x = 4*l - 12. Suppose -l*t + 10*t = 630. Does 3 divide t?
True
Let p(k) = -5*k + 39. Let r be p(6). Suppose -17*a = -r*a - 40. Let t(v) = 2*v**2 + 8*v - 16. Is 37 a factor of t(a)?
True
Suppose -5*r - 4*x - 6 = 0, -2*x - x = -2*r + 16. Suppose -r*n + 202 = 90. Does 2 divide n?
True
Let g be (65/(-26))/((-3)/18). Does 15 divide (((-5172)/g)/4)/(14/(-70))?
False
Suppose 31*g - 78 + 16 = 0. Suppose -2772 + 536 = -g*d. Is 26 a factor of d?
True
Suppose -123220 - 186020 = -40*y - 61920. Does 4 divide y?
False
Let a(t) = -4706*t + 277. Is a(-4) a multiple of 225?
False
Let m be ((-748)/(-88))/(2/8). Is 11 a factor of 87/4 - m/(-136)?
True
Let m(d) = -2*d**3 - 7*d**2 + 3*d + 28. Let h be m(-5). Is h/(-12)*(-27 + 9) a multiple of 6?
True
Suppose 3*t - 149175 = 38*a - 41*a, -5*t - 4*a = -248617. Is 83 a factor of t?
True
Suppose -359*h + 436 = -355*h. Suppose 108*x = h*x - 38. Is 19 a factor of x?
True
Suppose 3491 = 2*m - z, -4*z - 5348 + 124 = -3*m. Does 12 divide m?
False
Let l be (-8)/52 - 16/(-104). Suppose 3*b - 194 = 4*h - 863, l = 5*h + 3*b - 843. Is 24 a factor of h?
True
Suppose z - 14 = -54. Let c = z - -39. Does 7 divide (-250)/(-12) - c/6?
True
Let a(p) = 139*p**2 + 62*p - 233. Is 4 a factor of a(4)?
False
Let h(v) = v**2 - 8*v - 57. Let j be h(11). Does 35 divide 83652/84 + j/28?
False
Suppose 3*o - 143 = -4*c + 306, 2*c - o - 227 = 0. Let k = c + 24. Is k a multiple of 9?
False
Let d(z) = -4*z**2 - 16*z - 5. Let h be d(-4). Is 4 a factor of 2/h - ((-4456)/40 + 3)?
True
Let b = -8225 + 8654. Does 33 divide b?
True
Let s be 2/(-6) + 3/9. Suppose -14*w + 13*w - 3 = s. Is 104/6 + 5 - 2/w a multiple of 13?
False
Let l be -12*(7/(-7))/2. Does 89 divide ((-534)/l)/((-2)/4)?
True
Let z(f) = -2*f**3 - 5*f**2 + 4*f + 10. Let k be z(-6). Suppose 504*h = 503*h + k. Is h a multiple of 14?
True
Let t = -53021 + 140491. Is t a multiple of 15?
False
Let x = 215 + -217. Is (2420/50)/(x/(-10)) a multiple of 27?
False
Let v(x) = 3*x**3 + x - 2. Let h be v(1). Suppose -h*b + 20 = -4*c, 4 - 28 = -3*b + 3*c. Suppose 0 = -2*g - 3*w + b + 10, 0 = 3*w - 6. Is g even?
False
Is 68 a factor of (102*4/9)/((4 + -11)/(-6174))?
True
Let n = -11 + 36. Suppose 0 = 3*p + 4*u - 20, -3*p + 0*u + n = 5*u. Suppose p = -o - 3*o + 448. Is o a multiple of 28?
True
Suppose 147*m - 72*m - 4576 = 62*m. Is m a multiple of 4?
True
Let n(j) = -271*j - 596. Is n(-10) a multiple of 14?
True
Suppose 10*w - 9506 = 111337 + 20557. Does 70 divide w?
True
Is 13 a factor of (1032834/(-110))/((-34)/(-10) - 4)?
False
Let c be 2/(-8) - (6 + (-212)/16). Suppose -1070 = 2*b - c*b. Suppose 4*l - 262 = b. Is l a multiple of 17?
True
Suppose -129*y + 4*t = -124*y - 9404, 2*t = -2*y + 3776. Is y a multiple of 55?
False
Suppose 22*f = 32607 - 5195. Suppose 18 = -6*x + 60. Is 3*(-2)/(-12)*f/x a multiple of 22?
False
Let h(v) = 1069*v**2 + 38*v + 160. Is h(-4) a multiple of 24?
True
Suppose 0 = a - 7*a + 26377 - 7057. Does 23 divide a?
True
Let v(g) = -2*g**2 + g + 21*g**2 - 82 - 11*g**2 - 5*g**2. Is 9 a factor of v(-10)?
False
Suppose 150 + 235 = 35*y. Suppose b = -4*r + 488, -5*b - 15*r = -y*r - 2504. Is 42 a factor of b?
True
Let d = -48 - 46. Let v = -25 - d. Does 3 divide v?
True
Let s(i) = -i**3 + 6*i**2 - 10*i + 5. Suppose 4*w - 51 + 35 = 0. Let b be s(w). Does 9 divide b*15*60/(-25)?
True
Let z(d) = -d**2 - 10*d + 19. Let j be z(-12). Is 4/(8/738) + j a multiple of 13?
True
Let z = 193 + -127. Is -4 - (-13)/(13/z) a multiple of 5?
False
Let u(f) be the first derivative of -5*f**4/2 + 2*f**3/3 + 17*f - 189. Does 23 divide u(-3)?
False
Let l = 175 + -60. Let b = l - 107. Is b a multiple of 6?
False
Suppose 33*i - 34*i = -14. Suppose 0*s = -y - s + 4, -i = -2*y + s. Suppose 4*g - 3*q - 174 = 0, -y*g - 3*q + 204 = -g. Does 12 divide g?
False
Suppose 2*z - 2768 = -2*p, -z - 49*p = -52*p - 1408. Is z a multiple of 5?
True
Suppose 16*x = 9*x + 1869. Suppose x + 57 = r. Suppose 9*f - 6*f = r. Is 28 a factor of f?
False
Let x(f) = 1735*f**2 + 186*f - 185. Is 56 a factor of x(1)?
True
Let d = 1272 + -811. Suppose 0 = -6*h + 127 + d. Is 14 a factor of h?
True
Is (-1785)/170*(2 + -1376) a multiple of 9?
True
Let l(g) = 3*g**3 - 23*g**2 + 9*g + 2. Let t = -324 + 333. Does 11 divide l(t)?
True
Suppose q + 15776 = 5*v, 3361 - 9681 = -2*v - 2*q. Suppose -v = -85*p + 73*p. Is 26 a factor of p?
False
Let n(u) = u**3 + 8*u**2 - 5*u + 6. Let p be 3/(36/(-28))*(3 + 0). Is 5 a factor of n(p)?
True
Let c be 76*(-2)/4*-1. Let y(d) = -d**3 - 48*d**2 + 48*d - 42. Let j be y(-49). Suppose -105 = -2*o + g, -c = -o - 2*g + j. Is 42 a factor of o?
False
Suppose -5*n + v + 65 = -156, -4*v + 128 = 3*n. Let g = 49 - n. Let b = g + 30. Is b a multiple of 5?
True
Let m(f) = -3*f + 8. Let b be m(-8). Suppose b*h - 33*h + 5 = 0. Suppose h*u + 10 = v + 45, 5*u + 4*v - 35 = 0. Does 3 divide u?
False
Does 4 divide 47/(2538/36) + 1918/3?
True
Suppose -p = -4*p - 12. Let o = p + 7. Suppose 5*q - 3*j - 81 = 0, 4*q - o*j = 98 - 32. Is q a multiple of 7?
False
Let o = 4140 + -811. Is o a multiple of 109?
False
Let v = 107 + -105. Suppose 0 = -v*p + 5*c + 221, c = p - 3*c - 118. Does 49 divide p?
True
Let f = 5 - 5. Suppose 3*v - 113 - 4 = f. Does 13 divide v?
True
Let f = 151 + -148. Suppose -f*b + 5*j = -1070, b = -0*b + 2*j + 358. Let n = b + -116. Does 9 divide n?
True
Suppose -u - 5*j + 2174 = 0, -4*j - 4264 = -12*u + 10*u. Is u a multiple of 16?
True
Let l be (16/(640/(-47910)))/(1/4). Is l/(-15) + (-12)/5 + 3 a multiple of 20?
True
Suppose -16 = -17*u + 35. Is u + -4 + 6 - -388 a multiple of 11?
False
Suppose -4*g + 7*g = 4*b + 17, 4*b + 14 = 2*g. Let l be 2502/(-27) - b*2/6. Let t = 176 + l. Is t a multiple of 24?
False
Let d be 2*(8/(-10))/((-1)/10). Suppose 6*g + 1260 = d*g. Does 14 divide g?
True
Let w(c) = 2*c + 4*c - 12*c + 9*c + 6. Let x be w(4). Let p = 39 - x. Is 12 a factor of p?
False
Let a be (-720)/100*(-100)/3. Does 9 divide (970/a - (-6)/(-16))*15?
False
Let t be (-7 - 0)/(-19 - -18). Suppose 14 = 4*b + t*s - 5*s, 3*b = -5*s + 14. Suppose 0 = 2*i - h - 56 - 45, -3*i + 156 = b*h. Does 17 divide i?
True
Suppose -2*a + 4 = 2*l, -2 = -10*l + 8*l. Suppose 2*x - 46 - 64 = -w, -2*x = 5*w - 534. Does 6 divide (-9 - -10)*w/a?
False
Let q(y) = 663*y - 10. Is q(12) a multiple of 55?
False
Suppose 0 = 