h - b + q - 624. Is 29 a factor of h?
True
Let t = 12 + -9. Let c be 5/5 + 39/t. Suppose 4 = 2*f - c. Does 9 divide f?
True
Let g(z) = -34*z - 6 + 6*z + 13*z - 32*z. Does 26 divide g(-2)?
False
Suppose -7 = -6*b - 31. Is 23 - 4*(-2)/b a multiple of 3?
True
Let s(d) = 2*d - 4. Let a be s(17). Let t = 37 - a. Is 6 a factor of t?
False
Let w be (-6)/(-10) - (5 - 110/25). Suppose w*k = -3*q - 2*k + 506, 4*q - 674 = -2*k. Does 42 divide q?
True
Suppose -3*d = 4*y + 260, -4*d = -2*d. Let g = y + 92. Is g a multiple of 9?
True
Let j(w) = 255*w - 258*w + 19 + 2. Is j(-15) a multiple of 33?
True
Let v be 3/((0 - -2) + 9/(-5)). Let c(h) = 2*h - 6. Let i be c(4). Suppose v + 15 = i*x. Is 12 a factor of x?
False
Suppose -2*q - 4*q = 0. Suppose g + 2*g = q. Suppose g = -5*w + 47 + 28. Is w a multiple of 5?
True
Is 15 a factor of 2415 - ((-11)/1 - -3)?
False
Suppose 3*b - 127 = -c, -2*c = 5*b - 2*b - 245. Is c a multiple of 59?
True
Let f(j) = 78*j + 26. Let r be f(10). Suppose 3*t - 1324 = -5*c, 0*c = 3*c - 4*t - r. Is c a multiple of 38?
True
Let t(i) = 3*i**2 - 22*i + 33. Does 8 divide t(-8)?
False
Let l(f) = f**3 - 3*f**2 + 2*f - 4. Let d be l(3). Let x be (-5)/(-4) + d/(-8). Is 7/x*(-1 - -2) even?
False
Let u be (-18 + 2)/((-10)/35). Does 19 divide (-35)/2*u/(-20)?
False
Let u = -174 - -356. Suppose 2*w - u = -0*v - v, -366 = -4*w - 3*v. Is w a multiple of 18?
True
Suppose -5*b - 28 + 38 = 0. Suppose 0*c + 3*c - 293 = -5*i, -2*i = -b*c + 190. Does 4 divide c?
True
Let a = 646 + -158. Is a a multiple of 61?
True
Let m(q) = q**3 - 10*q**2 - 20*q + 12. Is m(12) even?
True
Let n = -13 - -17. Suppose -n*g + g = -36. Let l = -8 + g. Is l a multiple of 3?
False
Suppose -5*w - 3*c + 1522 = 0, c + 504 = 2*w - 107. Let v = -173 + w. Is v a multiple of 12?
True
Suppose 3*l - 9 = 0, 4*w - 515 = l - 2*l. Is w a multiple of 4?
True
Let m(o) be the second derivative of -22*o**3/3 - 14*o. Does 11 divide m(-1)?
True
Suppose 6*w + 12323 = 35747. Does 15 divide w?
False
Suppose 4*w - 551 = -2*k + 5*w, -2*k + 547 = -5*w. Suppose 3*r = 6*r - k. Suppose 5*d - r = 3*d. Is 11 a factor of d?
False
Let k = 620 - 950. Does 31 divide (k/(-4))/(4/8)?
False
Let b(j) = -j**2 - 8*j + 9. Let c be b(-9). Suppose -13*x + 139 + 1473 = c. Is 19 a factor of x?
False
Let l be (-124)/(-44) - 4/(-22). Let k(h) = 11*h**2 - h - 6. Let b be k(3). Suppose -24 - b = -l*y. Does 19 divide y?
True
Suppose 5*d - 1880 = -q - 2*q, -1268 = -2*q + 4*d. Suppose -l - q = -4*l. Is 47 a factor of l?
False
Let c be -2*(3 - (-9)/(-2)). Suppose 5*y - 303 = -c*z + 122, -3*z + 2*y = -397. Suppose 2*o = -3*o + z. Is o a multiple of 13?
False
Suppose 18 - 37 = -s. Does 19 divide s?
True
Suppose -3*s + 0*t = -2*t - 106, 42 = s - 2*t. Suppose 10*b + s = 8*b. Let j = b - -31. Is j a multiple of 10?
False
Suppose -4*w + 9 = -3*w. Suppose w*m - 657 = 945. Does 11 divide m?
False
Let q = 242 - 219. Is q a multiple of 23?
True
Suppose 0*r + 648 = 2*r. Suppose -13*x = -9*x - r. Is x a multiple of 26?
False
Suppose -17*q - 36 - 593 = 0. Let z = 33 - q. Is 5 a factor of z?
True
Suppose -k + 20 - 2 = 4*z, 0 = 4*z - 16. Suppose -6*c + 368 = -k*c. Is 23 a factor of c?
True
Suppose 0*h + 2*h = 10. Suppose h*f + 77 = 307. Does 12 divide f?
False
Suppose -8*m - 20 + 1036 = 0. Does 2 divide m?
False
Suppose 0 = -3*a + 2*f - 54, 0 = -5*a + f - 81 - 9. Is 10 a factor of ((-40)/6)/(1/a)?
True
Let r be -10 + (0/(-1 + 3))/(-1). Is (58/5)/((-1)/r) a multiple of 5?
False
Suppose -m = 5*d - 3*m - 8, 3*d - 4 = m. Suppose 2*n + n - 243 = d. Suppose -l + n = w + 2*l, 147 = 2*w + l. Is w a multiple of 23?
False
Suppose 40 = 4*q - w, -5*w + 19 + 6 = 5*q. Suppose -5*k + 3 = 4*i, -3*k - 2*k = -2*i + q. Suppose -10 - 26 = -i*h. Does 6 divide h?
True
Let i(z) = -109*z + 153. Is i(-3) a multiple of 14?
False
Let f(l) = l**2 - 16. Let h be f(-4). Let k(j) = -2*j**2 + 122. Is 17 a factor of k(h)?
False
Let t(b) = -b**3 - b**2 - b. Let j(p) = -8*p**3 + 4*p**2 + 3*p - 1. Let v(d) = j(d) + 4*t(d). Is 12 a factor of v(-1)?
True
Suppose -2*b = 0, 3*l - 4*b - 865 - 527 = 0. Is l a multiple of 73?
False
Let p = 57 + 152. Is p a multiple of 19?
True
Let n(d) = 2*d**2 - 8*d + 18. Let s be n(6). Let k = s - 37. Is 2 a factor of k?
False
Let v(t) = -t**2 + 6*t - 5. Let s be v(2). Suppose -5*r + 0*r - 3*h + 76 = 0, -r + s*h + 8 = 0. Does 14 divide r?
True
Is 258/(30/20*(-2)/(-14)) a multiple of 28?
True
Suppose -8*h - 1030 = 2*h. Let p = -43 - h. Does 12 divide p?
True
Suppose 2*z + 3*g + 0*g = 4561, -2*z + 4571 = g. Is 26 a factor of z?
True
Let g be (0 - 6)/(-3 - -1). Suppose 4*p - 9 = 2*o + 1, 2*p - g*o + 1 = 0. Suppose -2*i - 168 = -4*i - 2*n, 0 = i - p*n - 79. Is 18 a factor of i?
False
Let u(g) = 4*g**2 - 8*g - 5. Let m(w) = 3*w**2 - 8*w - 5. Let s(l) = -5*m(l) + 4*u(l). Is s(7) a multiple of 22?
True
Suppose 0 = p - 2*m - 83, -3*p = -3*m - 40 - 194. Does 28 divide p?
False
Let j = 11 - -1. Let w = 30 - j. Suppose -14*h - 36 = -w*h. Is h a multiple of 3?
True
Is 22 a factor of (43 - 263)*(-2)/5?
True
Let s(l) = -l**2 - 9*l - 8. Let t be s(-7). Suppose -2 = 4*h + t. Let g(x) = -9*x. Is 9 a factor of g(h)?
True
Let n(g) be the first derivative of g**4/4 - 3*g**3 + 5*g**2 + 6*g - 8. Let w be n(8). Suppose -z - 2*z + 4*v + w = 0, -v = -z + 8. Is 10 a factor of z?
True
Let x(l) = l**2 + 3*l. Let c be x(-4). Suppose -6*y + 2*y - c = 0, -i = 2*y - 53. Let z = i - -5. Does 20 divide z?
True
Suppose -35 = o + 4*o. Let a(j) = -j**2 - 7*j + 3. Let w be a(o). Suppose -3*s - 2*y = -186, -2*y + w = -3. Is 20 a factor of s?
True
Let g(q) = -q**3 + 2*q**2 + 4*q - 3. Let t be g(2). Suppose 0 = 5*p + t, 0 = -f + 4*p + 6 + 2. Is 20 a factor of (8/3)/(f/90)?
True
Let v(r) = -30*r - 40. Is v(-13) a multiple of 27?
False
Let f be 3585/(-10)*(2 + 2/(-3)). Let v = 790 + f. Does 46 divide v?
False
Suppose 0 = 5*i - 5, 3*x + 28*i - 3277 = 24*i. Does 19 divide x?
False
Let h(p) = p**2 - 10*p - 3. Let n be h(11). Suppose 47 - 1279 = -n*q. Does 26 divide q?
False
Suppose -o = 3*w - 70, -2*o + 126 = -2*w - 54. Does 5 divide o?
True
Suppose 11*j + 4 = 9*j. Let i(p) = -4*p - 2. Is i(j) a multiple of 3?
True
Suppose 7515 = 20*c - 5*c. Is c a multiple of 57?
False
Does 30 divide (-67)/(4/(-6) - (-9)/(-27))?
False
Let m = -61 + 13. Does 24 divide 414/14 + m/(-112)?
False
Suppose -2*q - 114*k + 115*k + 639 = 0, -4*q - 4*k + 1260 = 0. Is q a multiple of 3?
True
Let z = -392 - -840. Is 28 a factor of z?
True
Suppose 2*y + 2*y = 144. Suppose -y = -v + 3*g + 63, 4*v = 2*g + 346. Does 21 divide v?
True
Let u(w) = 4*w - 18. Let f = -27 + 48. Is 15 a factor of u(f)?
False
Suppose -80*h = -87*h + 49. Does 7 divide h?
True
Let p(h) = 176*h**2 + 4*h + 4. Let w be ((-40)/(-60))/(4/(-6)). Is 44 a factor of p(w)?
True
Suppose 2*p - 2346 = -5*h - 103, 5*h - 1134 = -p. Is 16 a factor of p?
False
Suppose -7*o + 572 = 166. Is o a multiple of 6?
False
Let q(z) = -z**3 - 10*z**2 + 17. Let p be q(-10). Suppose -p = -b + 19. Does 24 divide b?
False
Let n(j) = -j**3 + 8*j**2 - 5*j + 4. Let l be n(6). Let w = 74 - l. Does 5 divide w?
False
Let r = -78 - -83. Suppose -882 = -3*i - r*u, 2*i - 5*u - 261 = 327. Does 13 divide i?
False
Suppose 4*k = 4*z + 3772, -2*k = -3*k - 3*z + 951. Is k a multiple of 10?
False
Let w be -91*(3 + -1 - 3). Let o be (-5)/1 + (-66 - -8). Let b = o + w. Is b a multiple of 14?
True
Let d(h) = 4*h**2 - 11*h + 77. Is d(14) a multiple of 17?
False
Let m = 10 + 9. Let p = m - 15. Suppose -4*u - p*a = -3*u - 32, -a = -3*u + 122. Is u a multiple of 10?
True
Let l(h) = -269*h + 54. Does 80 divide l(-15)?
False
Let a(w) = -3*w + 21. Let y be a(-9). Suppose -6*h = -5*h - y. Does 16 divide h?
True
Let c = 819 - 500. Is c a multiple of 29?
True
Let x = 35 - 97. Let s = 265 + x. Is s a multiple of 42?
False
Let a(m) = -m**3 - 9*m**2 + m + 5. Let n be a(-9). Let h be (6/n)/((-15)/260). Suppose 20 + h = 3*t + 5*r, 58 = 3*t + 2*r. Is t a multiple of 11?
True
Let d be ((-365)/3)/(6 - (-17)/(-3)). Let b = -28 - d. Does 36 divide b?
False
Suppose 5*y = -5*l + 1460, -4*l + 652 = -2*y - 486. Is 41 a factor of l?
True
Let m(j) be the second derivative of -11*j**3/6 + 8*j. Is m(-15) a multiple of 19?
False
Let t = 636 + -131. Is t a multiple of 45?
False
Suppose -44 = -5*x - 2*a, 3*x + 0*x = 4*a + 16. Suppo