6094)/3?
False
Suppose 2*h = -2*h + 36. Suppose -82 - 26 = h*y. Let x(j) = 3*j**2 + 15*j - 2. Is x(y) a multiple of 39?
False
Suppose 5*j = -5*k + 17235 + 9265, 5*j + 25 = 0. Is k a multiple of 39?
False
Let x(f) = 20*f**3 + 9*f**2 + 15*f + 26. Is x(7) a multiple of 161?
False
Suppose 6*l - 4*l = -36. Let f = l - -23. Suppose -i + 62 = a, f*a - 34 = -i + 24. Is 21 a factor of i?
True
Suppose 14*p = 2*p + 8172. Suppose 0 = -d - 0 - 3, 0 = -3*t - 3*d + p. Does 3 divide t?
False
Let j(n) = -n**2 + n + 6. Let d be j(3). Suppose -16*x + 11*x + 270 = d. Let s = x - -84. Does 14 divide s?
False
Let i(d) = 415*d**2 - 11*d + 40. Is 93 a factor of i(3)?
False
Let l(g) = 83*g**2 + 72*g + 84. Does 154 divide l(16)?
True
Suppose 27*y = 31*y + 12. Let q(c) = -7*c**3 - 2*c**2 - 7*c. Is q(y) a multiple of 5?
False
Suppose -4*t = 2*n - 13870, -6*t = -5*t + n - 3469. Is t a multiple of 27?
False
Suppose 4*s + a + 2*a = 9, -2*s + a = 3. Let n(l) = l**3 - l**2 - 2. Let g be n(s). Does 8 divide g + (-164)/(-2) - 0?
True
Let u(i) = 17*i**2 - 22*i - 38. Let b be u(-6). Suppose 0 = 221*n - 219*n - b. Is n a multiple of 20?
False
Let c(u) = u**3 + 11*u**2 + u + 13. Let s be c(-11). Suppose s*h - 29 = -19. Suppose 0 = -h*g + g + 56. Is g a multiple of 3?
False
Let n = -160 + 224. Let v = 86 + n. Is v a multiple of 28?
False
Let x = -1012 - -1839. Let q = 1367 - x. Suppose s = -s + q. Is s a multiple of 30?
True
Let j = 220 + -220. Suppose -9*q + 15*q - 132 = j. Does 15 divide q?
False
Let v be 3 + 1/(-4) + (-3)/(-12). Let d(k) = 3*k**2 + 5*k**2 - 2 + v*k - k**2 + 6*k**2. Is d(2) a multiple of 14?
True
Let y be (-3 - 36/(-8))*724/(-6). Let m = y - -335. Is 14 a factor of m?
True
Is (204/(-21))/((-360)/664020) a multiple of 34?
True
Suppose 23*h - 215066 + 98525 = 161069. Is h a multiple of 85?
True
Suppose 1446 = -13*z + 18970. Suppose -6*s + 4*s = -z. Suppose 0 = 7*x - 208 - s. Is 9 a factor of x?
True
Suppose -4*j + 68 = -44. Let u = 33 - j. Does 9 divide (-1)/u + 3367/35?
False
Suppose 17*x = 20*x - 150. Suppose -x = -3*g + 325. Let h = 268 - g. Does 25 divide h?
False
Suppose -303590 - 90610 = -50*y. Does 54 divide y?
True
Suppose 2*v = -2*n + 6*n, 4*v - 11 = -3*n. Suppose 3*m - 5*i = 13, m + 0*m - 4*i - v = 0. Is 29 a factor of (-812)/(-21)*(m - 0)?
True
Does 25 divide 11215605/783 - (-20)/18?
True
Suppose 0 = 3*m + 4*r - 19996, 13334 = 2*m + 3*r - r. Is 14 a factor of m?
False
Let g(s) = -s**3 + 26*s**2 - 24*s - 25. Let r be g(25). Suppose 10*p - 6*p - 1188 = r. Is 33 a factor of p?
True
Let i = 452 + -178. Let w = i - 417. Let d = w + 295. Is d a multiple of 38?
True
Suppose 178 = -5*q + 2*d, -5*d = -4*q - 46 - 93. Let g = 41 - q. Suppose -3*k + 49 = b, 6*k + g = b + 2*k. Does 8 divide b?
False
Let v(s) = -6*s**3 + 3*s**2 + 5*s - 8. Let i be v(-5). Suppose 0*k = -4*k + i. Is 11 a factor of k?
True
Let m be (-7)/((-7)/3) + 4. Let o be m/((-140)/(-68)) - 3/(-5). Does 24 divide 48*(1 + 2/o)?
True
Is 10/8*(4 - 255/(-25))*76 a multiple of 55?
False
Does 12 divide 21*189 + 44 + -41?
True
Let a be ((-10)/(-4) - 2)/(1/4). Suppose -a*x = 9 - 161. Is 2 a factor of x?
True
Let z be 223/(-7) - -10*(-8)/560. Let i = 55 + z. Is i a multiple of 23?
True
Suppose -18*k + 16*k - p = -39, -5*k - p = -102. Let t = 502 - k. Does 13 divide t?
True
Suppose -22*i = -36*i + 168. Is 4 a factor of 3 - -4*(189/i + 1)?
False
Suppose 0 = p - 1, 2*x - 8*p - 12840 = -10*p. Is 131 a factor of x?
True
Let m(a) = -6*a + 4 - 4*a - a + 20*a**3 - 5*a**2 + 10*a. Is m(3) a multiple of 62?
True
Let v(o) = 17*o - 167. Let c be v(10). Suppose -c*l + 3344 - 824 = 0. Is 56 a factor of l?
True
Suppose 5*m - 131201 = 2*x + 34440, 4*m = -4*x + 132496. Is 157 a factor of m?
True
Let v = 68484 + -31137. Does 24 divide v?
False
Let g(o) = 5*o**3 + 167*o**2 + 31*o - 285. Does 5 divide g(-33)?
True
Let k(w) = -w**3 + 8*w**2 + 14*w - 25. Let g be k(9). Suppose 16*u - g*u = -12. Let a = 38 - u. Is a a multiple of 4?
False
Suppose -47*d + 91098 + 142978 = 42316. Is d a multiple of 8?
True
Let x be (-105)/(-9) + 1/6*-4. Suppose -2*k - 2*w + 13 = 3, 5*k = 2*w + x. Suppose 5*a - 76 = 3*a + k*c, a - 36 = 2*c. Is a a multiple of 7?
False
Let b(z) = 48*z**2 + 64*z + 8. Is b(-14) a multiple of 4?
True
Suppose 419 - 1907 = -8*i. Let h(j) = j**3 - i*j**2 - 9 + 182*j**2 - 19*j - 4. Does 13 divide h(9)?
True
Let n(c) = 8 + 9 - 168*c - 36 + 9. Does 29 divide n(-8)?
True
Is -13 - (-12 + (13 - 4602)) a multiple of 17?
False
Suppose -4*s + 6 = -5*r - 7, -s - 18 = 3*r. Let o(k) = -7*k - 17. Let f be o(s). Does 32 divide (34650/12)/15 + (-2)/f?
True
Let h be 175/25 + 194*3. Let u = h - 349. Does 40 divide u?
True
Suppose 669*f - 615*f = 149850. Does 13 divide f?
False
Suppose -56*q = -81*q. Suppose q = -5*f - 5*c + 1825, 34*c + 1093 = 3*f + 35*c. Is f a multiple of 13?
True
Suppose 3*q = 4*w - 5 - 4, -4*q + 3*w - 12 = 0. Is (-204)/(-4) - (q + -3 + 4) a multiple of 53?
True
Let z = 3330 + -2713. Is z a multiple of 3?
False
Suppose g + 9*h - 3953 = 4*h, 5*g - 19705 = 5*h. Is g a multiple of 3?
False
Suppose -3*l - 61329 = -2*n, n + 35*l - 30672 = 39*l. Does 203 divide n?
False
Let h = 575 + -572. Suppose -s = -0*s - 5*y - 250, -h*s - y = -750. Is 50 a factor of s?
True
Suppose 38 - 236 = -9*v. Let x(d) = -d**2 + 51*d + 45. Let p be x(v). Suppose 3*n = -2*z - 2*z + p, 3*z = -4*n + 514. Is z a multiple of 34?
True
Suppose -46*k = -97*k + 844300 - 24679. Is 197 a factor of k?
False
Is 11756/14 + (-62)/(-217) a multiple of 6?
True
Let o be 431990/403 + 4/62. Suppose -1659 = -3*n - 3*l, 3*l = 2*n - o - 44. Is 15 a factor of n?
True
Let j(t) = 107*t + 583. Is j(43) a multiple of 96?
True
Suppose -5*m + y = 2221, -2*y + 437 = -15*m + 14*m. Is 75 a factor of 1/(2/12) - m?
False
Suppose 82256 = 4606*v - 4598*v. Does 106 divide v?
True
Suppose 105*i - 103*i = -292. Let c = i + 198. Is 26 a factor of c?
True
Let x = 1243 - 846. Let l = x + -275. Does 61 divide l?
True
Suppose 518*i - 370*i = 1810484. Does 53 divide i?
False
Let i = 216 + -395. Let h = i - -206. Does 27 divide h?
True
Let a be (-12 - (-759)/(-77)) + 2/(-14). Let w(c) = -27*c - 100. Does 26 divide w(a)?
True
Suppose -25*y + 1894 = -28*y + 4*v, -v - 636 = y. Let r = y + 1578. Is r a multiple of 39?
False
Let f(c) = 6*c**2 + 9*c + 19. Suppose q + 4*z + 5 = 0, -3*q + 35 = -2*q - 4*z. Let a be 2/q*-3 + 28/(-5). Is 29 a factor of f(a)?
False
Suppose 5*u = -5*s + 48595 + 8915, 0 = -4*s - u + 46026. Is 14 a factor of s?
True
Is 2/3*-43*111/(-37) a multiple of 3?
False
Suppose 4*s = -16, -8*s + 4*s + 1334 = 2*y. Suppose -x = 3*v + x - 430, -5*x - y = -5*v. Does 11 divide v?
False
Let y(b) = 6*b**2 + 6*b + 6. Let s = 134 + -140. Is y(s) a multiple of 22?
False
Suppose 11*i - 9*i = 6, 20684 = z + 4*i. Does 160 divide z?
False
Let s(v) = 7*v**2 + 21*v + 26. Does 34 divide s(-12)?
True
Let n = 7 - -13. Let m be 153 + 3 + 2 + n/(-4). Suppose -3*x = 5*f - m, 3*f - 2*x = 5*f - 62. Is f a multiple of 5?
True
Let p = 6153 - -1988. Is 7 a factor of p?
True
Let j(i) = 12*i**2 - 11*i + 19. Let y be j(7). Is 2/3 - y/(-15) a multiple of 4?
True
Let x(w) = 4*w**3 + 482*w**2 + 1007*w + 292. Does 203 divide x(-118)?
True
Is (-524491)/(-33) + (-5)/3 + 8 a multiple of 300?
True
Let a be ((-864)/(-4))/((-9)/(-48)). Suppose -4*z + a = 3*b, 5*z - 12*b = -9*b + 1413. Is 13 a factor of z?
False
Let d(c) = -c**2 - 4*c. Let u be d(-3). Let q be 3*3*(-7 - -6). Is 5 a factor of (-18)/(u + -1)*6/q?
False
Let l = 245 + 198. Does 18 divide l?
False
Suppose -3*y + 34*x = 29*x - 7010, 3*y = -3*x + 6954. Is 164 a factor of y?
False
Let y = -7833 - -13863. Is 18 a factor of y?
True
Is 74 a factor of (-6 - 18)/(-6) - 1220*-8?
False
Suppose -93*o + 97*o = 20. Suppose 5*p - 5*d = 3260, 4*d + 2292 = o*p - 964. Is 19 a factor of p?
False
Suppose 0 = -5*t + 3*t + 4. Suppose 2*f + 3*l = -t*l - 1, 0 = -f + 4*l + 6. Is ((-12)/f)/((-6)/72) a multiple of 18?
True
Let s = -4637 - -6651. Is s a multiple of 135?
False
Let b(m) = 9*m**2 + 3*m - 76. Let a be b(10). Let j = -435 + a. Is 16 a factor of j?
False
Let k(w) = 17*w**3 + 3*w**2 - 7*w + 5. Let y be k(2). Suppose 3*f - 2947 = -y. Is f a multiple of 59?
False
Let s be (-4 + -1)*(-72)/5. Suppose 4*p - s = 108. Is p/(4 + 10/(-4)) a multiple of 5?
True
Suppose -5*k - 4 = r, r - 4*k 