multiple of 19?
True
Let v be (-2 + 3)*-1*(-1 - 28). Suppose 15 - v = -g. Does 3 divide g?
False
Suppose -2*k + 5*l + 2084 = 0, 5*k + 19*l - 17*l = 5239. Is 15 a factor of k?
False
Let x = 146 + 535. Is 25 a factor of x?
False
Let t(c) = -c**3 + 15*c**2 + 10*c - 13. Is 28 a factor of t(13)?
False
Let j be (-32)/(-6)*(-5 + 2). Let w = j - -31. Let q = 11 + w. Does 13 divide q?
True
Let a(u) = -2*u - 4. Let b be a(-4). Let k(o) = o - b + 4. Is 6 a factor of k(13)?
False
Suppose o - 4*a - 4 = 9, 0 = 3*o - 5*a - 25. Suppose 0 = l - o + 2. Does 23 divide ((-46)/(-3))/(l/9)?
True
Does 8 divide 2/(-4) + (22113/(-2))/(-13)?
False
Let v = 22 + -30. Let a be v/6 + 2130/18. Is (4/6)/(3/a) a multiple of 13?
True
Let y = -209 + 416. Is y a multiple of 23?
True
Let g be -4 - (2 + 2) - (0 + -2). Let z(v) = -2*v**3 - 7*v**2 + 8*v - 4. Is z(g) a multiple of 27?
False
Suppose -2*w + 56 = -3*u, 2*u - 3*w + 54 = -u. Let x = 1 - u. Is 21 a factor of x?
True
Let g be (-18)/(-4)*4/21*14. Let s(d) = d**3 - 11*d**2 - 9*d - 14. Is s(g) a multiple of 16?
False
Suppose -11*f = -9*f - 16. Suppose f*k - 9*k + 199 = 0. Is 32 a factor of k?
False
Let d = 19 - 36. Let p(q) = -q - 5. Let u be p(d). Let t = u + -9. Is t a multiple of 2?
False
Suppose -46 + 6 = -4*o. Suppose 2*y = -2 + o. Suppose 0 = y*k - 23 - 9. Is 8 a factor of k?
True
Let f = 49 + -13. Suppose s = 3*s - f. Does 11 divide s?
False
Let m = -2085 - -5745. Is m a multiple of 40?
False
Let m(k) = 2*k**2 + 3*k + 18. Let v be m(-8). Let f = v + 65. Does 19 divide f?
False
Suppose -21*m + 3 = -18*m, 2*m - 4762 = -4*x. Is x a multiple of 35?
True
Is ((-330)/(-20) + -6)/((-3)/(-68)) a multiple of 34?
True
Suppose 3*a + 2*d = 342, -110 = -a - 7*d + 5*d. Does 29 divide a?
True
Let r(o) = -4*o + 45. Is r(7) a multiple of 17?
True
Let h(r) = 3*r**2 - 20*r - 18. Does 15 divide h(-9)?
True
Let u = -713 + 1315. Is 14 a factor of u?
True
Let r(z) = -z**3 - z**2 + 564. Is r(0) a multiple of 30?
False
Suppose -3*c - 987 = -2*j, 2*j - 853 - 142 = -5*c. Does 107 divide j?
False
Let y = 1631 + -731. Is y a multiple of 15?
True
Let s = -67 + 55. Does 22 divide (9 + (-2)/1)*(10 - s)?
True
Let x be 314/(-14) - 4/7. Let d = x + 40. Does 17 divide d?
True
Let g(u) = -u**3 - 2*u**2 + 2*u - 3. Let l be g(3). Let o = -30 - l. Let d = 21 - o. Is 6 a factor of d?
False
Let o = 1 - -20. Suppose -2*z + 85 = o. Is z a multiple of 8?
True
Let l = -1556 + 2266. Is l a multiple of 10?
True
Let y be 0 + 479 + -1 - (-4)/4. Suppose 11*x = -182 + y. Is 8 a factor of x?
False
Let l(v) be the first derivative of -v**3/3 + 11*v**2/2 - v - 2. Let o be l(11). Let n(i) = -4*i. Is 4 a factor of n(o)?
True
Let h = 43 - -90. Is 7 a factor of h?
True
Let f be 0 + 1 - 2 - -3. Let x be 5/2 + 1/f. Suppose -72 = -0*h - x*h. Is 15 a factor of h?
False
Let p(o) = o**3 - 3*o**2 - 5. Let g be p(3). Is -1*-10*(-25)/g a multiple of 10?
True
Suppose -5*r = -3*p + 130, -3*r + 194 = -p + 6*p. Suppose -2*x = -5*y - p, 4*x + 13 = 3*y + 121. Does 6 divide x?
True
Let t(y) = -y**3 + 4*y**2 - 5*y + 3. Is 9 a factor of t(-5)?
False
Let c = -488 + 788. Does 63 divide c?
False
Let o be 2 + -2*(0 + 2). Does 18 divide (1/(-9))/(o/12)*135?
True
Let z = 309 - 309. Let r(i) = i**2 - i + 1. Let v be r(2). Suppose -3*a = 4*y - 148, -5*a - v*y + 232 = -z*y. Does 11 divide a?
True
Suppose 5*m + 4*h - 1680 = 5*h, -3*m + 2*h + 1008 = 0. Is m a multiple of 48?
True
Let z(q) = -22*q**2 - 4*q - 1. Let y(a) = a. Let m(t) = -4*y(t) - z(t). Let s be m(-2). Suppose 3*f = 0, 29 = 2*n + 3*f - s. Does 10 divide n?
False
Let d(o) = -2*o**2 + 2*o + 1. Let k be d(-2). Let y = 81 - k. Let j = -60 + y. Does 13 divide j?
False
Let v(j) = -j**3 - 2*j**2 + 3*j. Let x be v(-3). Let m be 4/2 + (2 - x). Suppose -5*i + 105 = 5*b, b - 15 = m*i - 3*i. Is b a multiple of 18?
True
Let p = 162 - 51. Suppose -2*v - 5*b = -137, -4*b + 10 = -v + p. Does 8 divide v/5 + 9/(-45)?
True
Let v(u) = -u**3 - u**2 + 3*u - 11. Let g be (-14)/4 - 39/26. Is 19 a factor of v(g)?
False
Let q(p) be the second derivative of p**4/6 + p**3/6 - 3*p**2/2 - 15*p - 4. Suppose -5*y = -y - 12. Is 14 a factor of q(y)?
False
Suppose 0 = -g + m - 10, 2*g - 2*m + 3*m + 29 = 0. Is 9 a factor of 4/(-18) - g/((-117)/(-488))?
True
Let q(r) = -5*r**3 - 7*r**2 - 7*r + 12. Is 63 a factor of q(-6)?
True
Is 76/(6 + -8 + 4) a multiple of 19?
True
Let m be (-1)/(-3)*(-2 - -65). Suppose -3*h - 2*a = -0*h - 9, 0 = -3*h + 2*a + m. Suppose 2*f - 75 = h*s, 2*f + 3*s = -22 + 121. Is 10 a factor of f?
False
Let w(f) = 2*f**3 + 32*f**2 + 10*f + 39. Does 70 divide w(-13)?
False
Let f = 404 - 146. Let o = f - 167. Is 31 a factor of o?
False
Suppose x - 7 = 5*b - 3, 0 = 3*b - 15. Let q = 18 + x. Is q a multiple of 8?
False
Let i = 366 - 364. Let o be 22/6 + (-2)/(-6). Does 21 divide (-30)/o*(-20)/i?
False
Let q be 7*-11*(-2)/(-2). Let v(j) = -12*j**2 - 2*j + 1. Let r be v(2). Let a = r - q. Is 10 a factor of a?
False
Let i = -588 + 1006. Let y = i + -228. Does 38 divide y?
True
Let y = -154 - -429. Suppose 0 = 3*z - 8*z + y. Is 5 a factor of z?
True
Let m = 16 - 13. Suppose m*k + 32 = 5*k. Is k a multiple of 4?
True
Let y = 2 - -5. Suppose 630 = y*o + 3*o. Does 21 divide o?
True
Let h(g) = g + 3. Let o be h(0). Suppose -t - 13 = -3*t - o*a, a = t - 19. Does 2 divide t?
True
Let r(s) = -18*s - 129. Is r(-20) a multiple of 33?
True
Let i(s) = s**3. Let y be i(0). Let a(t) = -t**2 + t + 44. Let q be a(y). Suppose 33 = 3*m - 3*c, -m - 3*m = -2*c - q. Does 3 divide m?
False
Suppose -5*x - 252 = 3*s, 0*x = 5*x + 4*s + 256. Let a = -8 - x. Let i = a + 5. Is i a multiple of 7?
False
Suppose 3*t + 16 = 4*h + 960, -2*h - 1272 = -4*t. Is t a multiple of 20?
True
Let q(i) = 36*i**2 - 9*i + 20. Is 12 a factor of q(-6)?
False
Let j = 33 + -33. Suppose j = -7*u + 416 + 284. Is u a multiple of 4?
True
Suppose -i - 23 = 4*r, 2*r + 0*i - 2*i + 24 = 0. Let x = r + 55. Is x a multiple of 8?
True
Let i(d) = -d - 5*d - 20 - 3 - 5*d. Suppose z + 3*f + 13 = 0, -3*z - 31 = -f + 6*f. Is i(z) a multiple of 23?
False
Let t(m) = -m**2 + 7*m - 6. Suppose -4*o - 6 = 3*p - 5*p, -5*o = -5. Let z be t(p). Let q(j) = j**3 - 3*j**2 + 6*j. Does 9 divide q(z)?
False
Is 29 a factor of 890/3 + (20/(-12) - -2)?
False
Let t = 14807 - 9591. Is 22 a factor of t?
False
Let d = 452 + -185. Is d a multiple of 7?
False
Let o(f) = -f**3 - f**2 + 2*f + 4. Let m be o(-3). Let h = 62 + m. Does 7 divide h?
False
Let c(z) be the first derivative of -9 - 5*z**3 - 8*z**2 - 1/4*z**4 + 4*z. Does 9 divide c(-14)?
False
Let c(x) = 181*x - 55. Is c(5) a multiple of 50?
True
Suppose -4*q - c = 1 - 273, 0 = 4*q - 4*c - 292. Suppose 9*u = q + 3. Does 2 divide u?
True
Let m be 4/(11/(44/8)). Suppose 4*i - 246 = -m*z, 0 = 4*z - 2*i + i - 474. Is 17 a factor of z?
True
Suppose 2*n - 2*c - 36 = 0, 0 = 2*n - 0*n + 2*c - 52. Suppose -144 = 18*f - n*f. Does 22 divide 145*(f/(-15))/(-6)?
False
Let o(r) = r**2 + 4*r - 43. Let v be o(-24). Suppose -6*p + v - 17 = 0. Does 14 divide p?
True
Suppose 9*z - 2431 = 4*z - 4*y, -2*z = -4*y - 950. Is z a multiple of 41?
False
Let k(p) = p**2 + 8*p + 10. Let t be k(-7). Suppose t*i = 168 - 39. Let b = i + -29. Is 14 a factor of b?
True
Let a = 34 - -32. Does 11 divide 2/((-2)/a*(-15)/20)?
True
Suppose -2*d + 461 = 3*f, -5*d = 5*f - 527 - 233. Is 16 a factor of f?
False
Let x(u) = -u**2 - 20*u - 5. Let p be x(-12). Suppose -4*o = -33 - p. Is 12 a factor of o?
False
Suppose 0 = -6*n + n + 20. Let t be (-30)/n - 6/4. Let g = 6 - t. Is 13 a factor of g?
False
Let a = -198 - -359. Does 23 divide a?
True
Suppose -3*m + 4*m + 6 = 0. Is 18 a factor of 16/(-96) + ((-733)/m - -1)?
False
Let x = -14 + 14. Suppose -5*f + 105 + 245 = x. Does 35 divide f?
True
Let o be ((-2)/6)/((-5)/150). Suppose 3*r = 94 - o. Is 14 a factor of r?
True
Let t(b) = 3*b + 31. Let w be t(-9). Suppose 0 = -w*y - 270 + 1662. Does 50 divide y?
False
Suppose -5*g - 24 = -9*g. Suppose 2*z + 308 = g*z. Let m = z + -26. Is m a multiple of 15?
False
Let z be ((-8)/(-12))/((-2)/(-195)). Let g be -4*1/(-4) + 3. Suppose -z - 15 = -g*u. Is u a multiple of 8?
False
Suppose -l + 4*l - n + 5 = 0, 4*l = -5*n + 25. Let d(p) be the second derivative of -p**5/20 - p**4/12 + p**3/6 + 4*p**2 + 14*p. Does 3 divide d(l)?
False
Suppose q - 14*l = -11*l +