 69 a factor of t?
False
Suppose -u + 28 = 24. Suppose 0 = -2*k + 4*b + 1 + 7, u*k = b + 9. Suppose -2*d = -z - 104, 212 = -k*d + 6*d - 4*z. Is 7 a factor of d?
False
Let x(s) = 379*s - 40. Is 125 a factor of x(10)?
True
Suppose 4416 = -33*d + 44*d + 852. Is d a multiple of 5?
False
Let h(q) = 72*q + 6. Let s(v) = 1. Suppose 5*w - 3 = 3*k, -k + 9 = -5*w - 0. Let c(x) = k*s(x) + h(x). Is 12 a factor of c(1)?
True
Suppose -5749 = 10*a - 14*a - 5*y, 2879 = 2*a + y. Suppose -j + 5*q = 2*q - a, 3*q - 5839 = -4*j. Is j a multiple of 14?
True
Let j = -79 - 55. Let y = j + 246. Is y a multiple of 17?
False
Suppose -i + 43 = t, -3*t - 5*i + 80 + 39 = 0. Suppose k + 4*v = 6*v - t, k + 44 = 3*v. Is 10 a factor of 21/k*-4 - (-662)/4?
False
Let n = 9210 + -3127. Is n a multiple of 109?
False
Let x(d) = 2*d**2 - 12*d + 24. Suppose -4*u - i = -37, -3*u + 0*i - i + 28 = 0. Let c be x(u). Let b = 343 - c. Does 37 divide b?
False
Suppose i + 1772 = 5*r, -10*i + 12*i = -3*r + 1058. Is 10 a factor of -1*r*12/(-72)?
False
Let k(n) = 15*n**2 - 17*n - 210. Does 84 divide k(-18)?
True
Suppose -61 = -16*p + 3. Suppose 0 = -2*y - 5*t + 425, -4*y + 826 = 6*t - p*t. Is 8 a factor of y?
False
Suppose -161*j = -175*j - 126. Is 20 a factor of (j + 522/9)*2?
False
Let x(c) = -14*c**3 - c**2 + 18*c + 34. Let s be x(-3). Let o = 845 + s. Is o a multiple of 6?
True
Suppose -5*q - 44278 = -4*s + 15145, 0 = -5*s + 3*q + 74295. Is 13 a factor of s?
False
Let i be 898/(-6) - 6/27*-3. Let p = i - -183. Is p a multiple of 10?
False
Let z(d) = d**2 - 7*d + 13. Let t be z(5). Suppose -5*w = -2*j + 69 + 16, 5*j - 197 = -t*w. Is 2 a factor of j?
True
Suppose 2*m = a + 137, -5*m + 3*m = 2*a - 140. Suppose 0 = 5*w + 3*z - m, 3*z - 45 = -4*w + w. Let i(k) = 7*k - 7. Does 19 divide i(w)?
False
Let q = 14538 + -10854. Does 4 divide q?
True
Let p be -1 - 32/(-8) - 96. Does 26 divide (-79763)/p + (4/6)/2?
True
Is (8 - 0)*(7745/8 - -13) a multiple of 4?
False
Let v = -33 - 120. Let t = v - -352. Is 9 a factor of t?
False
Let d = 17064 + -15909. Is d a multiple of 33?
True
Let g = -534 + 1018. Is 21 a factor of (g/(-6))/((-8)/24)?
False
Let p = 272 - 274. Is 22 a factor of ((-8)/(64/(-6472)))/(3 + p)?
False
Let o be ((-1)/(-3))/(13/78). Is 8 a factor of (-970)/(-15) + 4 + o/6?
False
Let y = -90 + 82. Let w be -12 - -2 - (-12 - y). Is 6/5*((-922)/w + 3) a multiple of 47?
True
Suppose 5*t = -353 + 53. Let i = 62 + t. Suppose -2*k - 3*k + i*d = -141, 0 = -5*k + 4*d + 147. Is 18 a factor of k?
False
Suppose 6*m + 8*m = -22*m - 4032. Let z(n) = -n - 3. Let r be z(4). Is (2 + r)*11/(110/m) a multiple of 14?
True
Let i be (-2)/(-2) + (-7)/(-7). Suppose i*a + 2*l + 2 = 0, l - 4 = 5*a + 7. Does 16 divide 106 + 3 - (-1 + a)?
True
Let f(h) = 5*h**2 + 92*h + 1382. Does 36 divide f(-26)?
False
Suppose -19*i - 652 - 1476 = 0. Let j = 329 + i. Is j a multiple of 9?
False
Suppose 206 = 5*q + 131. Suppose q*r - 3729 = 4*r. Does 12 divide r?
False
Suppose -3*o = -8 - 13. Suppose 10*n - o*n = 420. Is n a multiple of 8?
False
Suppose 8*h - 3*h = 15. Let z be (-7 - -1)/3*h/(-2). Suppose 0 = 5*n + 2*v - z*v - 74, -60 = -4*n + v. Does 3 divide n?
False
Let u = 199 - 198. Is 25 a factor of (u - 469/2)*8/(-4)?
False
Suppose 9*b = -3*b + 102480. Suppose -6*m = 22*m - b. Is 24 a factor of m?
False
Let l = 15459 + -7058. Suppose 2588 = 37*a - l. Does 27 divide a?
True
Let k = 8108 - -3547. Is k a multiple of 15?
True
Suppose -2053 = -4*n + 3*q + 386, 3*n = -q + 1813. Does 6 divide n?
True
Let i(k) = -k**2 + 22*k - 41. Let r be i(11). Suppose 2*y - 333 = -s - r, 0 = -5*y. Is s a multiple of 13?
False
Suppose -41 - 214 = b - 5*o, 745 = -3*b + 5*o. Is 20 a factor of (-2)/(-14) + 10*(-854)/b?
False
Does 23 divide 46642/8 - (-20)/(-16)?
False
Let i = 9376 + -7150. Is 8 a factor of i?
False
Let s = -188 - -188. Suppose s = -4*m, 13*c = 9*c - 5*m + 224. Is 14 a factor of c?
True
Let f(t) = -26*t**2 - 118*t + 6. Let c be f(-4). Suppose 13 = 4*l - x, 3*l + 4*x = -2*l - 10. Suppose 5*p + 5*i = 145, -i + 1 = -l*p + c. Does 6 divide p?
True
Let v be -1 + 1 + (-2 - -791). Let g be (5 - 3)*25974/(-108). Let a = v + g. Is a a multiple of 51?
False
Suppose 49*x - 44*x = 22520. Suppose 7*o - x + 829 = 0. Does 25 divide o?
True
Does 24 divide (-5 + 75)/7 + -6 + (5040 - 1)?
False
Let u be ((-30)/6 - -5)/(-2). Suppose u = -3*j + 2*b + 59, -2*j + 6*j - 88 = 5*b. Does 2 divide j?
False
Suppose -82806 = -24*c + 19*c + 3*a, -a = 3*c - 49678. Does 3 divide c?
True
Let q(k) = 42*k**2 + 1388*k + 109. Is 40 a factor of q(-34)?
False
Let z = 18080 + -16848. Does 7 divide z?
True
Let w = -32 - -5. Suppose 2*n + 1665 = 17*n. Let q = w + n. Is 7 a factor of q?
True
Suppose -96*n = -206035 - 100205. Does 8 divide n?
False
Is 14*(29763/315 + 14/(-70)) a multiple of 40?
True
Does 17 divide (23/(-115))/((-7)/6545)?
True
Suppose 9 = 9*f - 9. Suppose 202 + 6 = f*d + 4*w, 4*d - 5*w - 442 = 0. Is d a multiple of 18?
True
Let u(s) = 10 - 42*s - 1 + 16*s + 20*s. Let x be u(3). Let g(l) = l**3 + 11*l**2 + l + 21. Does 40 divide g(x)?
False
Let u(x) = -4 + 0*x - 76*x**2 + x + 113*x**2. Let k be u(-2). Let b = k - 100. Is 24 a factor of b?
False
Let v(n) = 13*n**3 + n**2 - n. Suppose 2*a + 4*w - 18 = -0*a, 0 = -3*a - 5*w + 23. Let g be ((-10)/(-5))/(-3 + a - -4). Does 13 divide v(g)?
True
Suppose 51*h - 31*h - 60 = 0. Suppose o - 5*r = 5*o - 2967, 0 = 4*o + h*r - 2977. Does 11 divide o?
True
Let t be (-3)/((-1 - 3) + 92/24). Suppose t*g = -98 + 260. Suppose -6*q = g*q - 1860. Does 15 divide q?
False
Let p be (-2)/5 + 6184/10. Let q = p - 428. Is q a multiple of 19?
True
Let g(t) = -7 - 2*t**2 - 4*t**2 + 4*t - 4 - t**3 + 1. Let n be g(-8). Suppose -n = -9*f + 238. Does 8 divide f?
False
Does 76 divide 19987 + (-9 - (-11 + 10)/((-3)/(-24)))?
False
Suppose -2*d = -3*u + 8111, -2*d = 5*u - 4*d - 13517. Suppose 10*p = 4667 + u. Suppose -7*j = 233 - p. Does 53 divide j?
False
Suppose 50*h - 14*h = 36. Does 46 divide 187 + 8 + h*(-5 - -1)?
False
Let j = -2154 - -3185. Does 123 divide j?
False
Let o = 97 - 95. Let n(h) = -h - 6*h - 12*h**2 + 15*h**o + 4 - 4*h**2. Is n(-6) a multiple of 3?
False
Let p(j) = -j**3 + 64*j**2 + 128*j + 29. Does 38 divide p(63)?
False
Suppose 23 = 2*a + 19. Suppose -a*w + 77 = 3*b - 303, b - 4*w - 150 = 0. Does 5 divide b?
True
Let v = 31517 - 17536. Does 28 divide v?
False
Let x(r) = 6*r**3 + 14*r**2 - 26*r - 10. Let t(i) = -i**3 - i**2 + 2*i + 1. Let l(h) = -8*t(h) - x(h). Is 12 a factor of l(4)?
False
Let m(s) = -s**3 - 11*s**2 + 162*s - 153. Is 117 a factor of m(-27)?
True
Let a = 27413 + -20914. Does 67 divide a?
True
Let u(l) = l**3 - 12*l**2 + 22*l - 6. Let h be u(14). Is 1/(1 + (-693)/h) a multiple of 61?
False
Suppose -24*x = -19*x + 25, 0 = -5*j - 34*x + 64310. Does 52 divide j?
True
Let l(f) = 56*f - 1067. Let w(k) = 58*k - 1065. Let i(j) = -6*l(j) + 5*w(j). Is 31 a factor of i(0)?
False
Is (-13 - (-55)/4) + 61071/12 a multiple of 26?
False
Suppose -24*i + 4440 + 7128 = 0. Is i a multiple of 4?
False
Suppose 4*b + 2*j - 472 = 0, -b - 4*j + 1058 = 933. Does 5 divide b?
False
Let v(h) = 9*h**3 - 22*h**2 - 92*h + 841. Is v(9) a multiple of 16?
False
Let o(d) = 2*d + 84. Let j(p) = -1. Let c(u) = -14*j(u) + 2*o(u). Is 13 a factor of c(13)?
True
Suppose 2*z + 2*l - 14 = 0, l = 3*l. Let n = z - -309. Is n a multiple of 13?
False
Let j = -284 - -288. Suppose -1 = -j*k - 13, -2*o - 2*k = -76. Is o a multiple of 5?
False
Let k(g) = 37*g - 31. Let l be k(5). Does 22 divide ((-30)/105)/((-1)/l)?
True
Let y be 2 + 0 + (-18)/(-9). Suppose 476 = -4*w + 6*w + y*r, -5*w + 2*r = -1190. Is w a multiple of 11?
False
Suppose 2*f + 0*f - 14 = 0. Suppose 2*w + 20 = 5*n, n - w = f - 0. Suppose -i - 3 = 0, 3*i = 4*x - n*x - 79. Is x a multiple of 7?
True
Let b be 12/(120/50) + 5. Suppose -b*f + 441 = -1229. Is 7 a factor of f?
False
Is 85 a factor of -8*33*(1 - 1177/44)?
False
Let u be (-5 - (6 - 12))*107. Let d = 184 - u. Is d a multiple of 12?
False
Let m(o) = 135*o**2 - 257*o - 4097. Is m(-15) a multiple of 15?
False
Suppose -17*g + 16657 = 2785. Is 28 a factor of g?
False
Suppose -5*a = -4*n + 12 + 10, -2*a = -2*n + 10. Suppose -4*d - 3 = -5*k, -2*d = -4*k + 9 - n. Does 5 divide (91 - 6/k) + 1?
True
Suppose 1678 + 26627 - 333 = 27*q. Is 9 a factor of q