Is 6 a factor of -7 - (6/4)/(1/(-2)) - -1312?
True
Suppose -6*u = -82 + 274. Is 5/(10/u)*(-146)/4 a multiple of 24?
False
Suppose 24*u - 45 - 51 = 0. Suppose -u*i = -3*v + 914 + 469, 1872 = 4*v + 4*i. Does 15 divide v?
True
Let r(a) = a**3 + a**2 - a + 1. Let y be r(0). Let i(n) = 8*n**2 + 2*n - 2. Let j be i(y). Suppose -3*b + 630 = 5*s, 5*s - 4*b = -j*b + 630. Does 30 divide s?
False
Let b(n) = 10*n + 2. Let a be b(-4). Let u(w) = -w**3 - 3*w**2 + 7*w + 8. Let y be u(-4). Let s = y - a. Is s a multiple of 15?
False
Suppose -8*a + 2*a + 318 = 0. Let u = 84 - a. Let v = 71 - u. Is 8 a factor of v?
True
Let o = -122 + 110. Let d(y) = -y**3 - 12*y**2 - y + 6. Let q be d(o). Does 14 divide q/(-45)*5*-7?
True
Suppose 4*y - 1363 - 761 = 4*p, 16 = 4*p. Suppose -4*x + 161 = -y. Let l = x - 4. Is 23 a factor of l?
False
Let f be 5/(-2)*((-2232)/(-45))/(-2). Let g = f + -14. Suppose 0 = w - g - 44. Is 25 a factor of w?
False
Is 163 a factor of 52/(-39) - (-598560)/18?
True
Let m(d) = 12*d**2 + 190*d - 4702. Is 3 a factor of m(31)?
True
Let h(o) be the first derivative of -o**4/4 + o**3/3 - 3*o**2/2 + 169*o - 47. Does 10 divide h(0)?
False
Suppose 47941*r - 47953*r = -29520. Is 12 a factor of r?
True
Suppose -5*s + 5 = -5*l, 2*l + 6 = -5*s + 8*s. Suppose -l*c + 784 = 4*p - 932, c = p - 429. Does 33 divide p?
True
Let k be (-6 + 192/20)/((-2)/(-5)). Let i(d) = 7*d - k + 3 + 22. Is i(6) a multiple of 5?
False
Suppose 0 = 4*v - 2*y - 42622, 5*v - 52778 - 477 = -5*y. Is 14 a factor of v?
True
Let a(d) = 11*d**2 - 4*d - 10. Let k(f) = -5*f**2 + 2*f + 5. Let r(t) = 4*a(t) + 10*k(t). Let x be r(-2). Let o = x + 51. Is 6 a factor of o?
False
Is (-22506)/1*(22 + -20)*1/(-6) a multiple of 18?
False
Let m(v) = 24*v**2 - 23*v - 46. Let d be 0 - 9/(9/4) - -2. Is m(d) a multiple of 32?
True
Suppose f - o - 10681 = 0, o + 31971 + 21458 = 5*f. Is f a multiple of 96?
False
Let p(q) = -2*q**2 + 12*q + 7. Let g be p(6). Suppose g*l - 2*l + 2*u - 348 = 0, -4 = -u. Is l - 0 - (0 + -3) a multiple of 10?
False
Suppose 3*r = 118 + 35. Suppose -3*c + 44 = 2*w, 3*c + r = 4*w - 55. Suppose -27*l + w*l + 52 = 0. Does 26 divide l?
True
Suppose -18 = -4*w - 10. Does 50 divide 0 - (0 - w) - (-1813 + 18)?
False
Suppose 1801 = 4*r - 2291. Suppose 174 = 19*b - r. Is b a multiple of 3?
True
Suppose 4*z = -4*z - 3016. Let m = z + 752. Is m a multiple of 5?
True
Suppose 0 = 7*q - 11016 - 9011 - 11186. Does 87 divide q?
False
Suppose 2*c + 10 = -0*c + 4*h, 3*c = -5*h + 40. Suppose -3*r - c*d + 2*d + 801 = 0, -3*r - 4*d + 805 = 0. Let w = 421 - r. Is w a multiple of 36?
False
Suppose 43*y - 50 = 38*y. Let z(r) = -3*r + 135. Does 15 divide z(y)?
True
Suppose w = 3 - 5, 10 = 4*u + 3*w. Let s be (-2 - -5) + -1 - -1. Suppose j + 3*d = -u + 9, -s*d = -3*j + 51. Is 7 a factor of j?
True
Is 1 + -2 + 913842/189 - 2/14 a multiple of 35?
False
Suppose 28*d = 4*p + 27*d - 25845, d + 6465 = p. Does 76 divide p?
True
Let i = -22356 + 38086. Is 13 a factor of i?
True
Suppose -224*a = -225*a + 9. Suppose -2*u + 665 = 5*z, -5*u + a*u + 4*z - 1324 = 0. Does 11 divide u?
True
Let y(s) = 11*s**2 + 6*s - 5. Let n be y(8). Suppose -b + m + n = 4*b, 0 = -b + 4*m + 138. Is 25 a factor of 20/b + 2996/30?
True
Let b(q) be the second derivative of 0 + 2*q + 1/6*q**3 + 9*q**2. Does 6 divide b(12)?
True
Let c = 19 + -12. Let r be 2/7*(0 - c). Does 15 divide ((-3)/4)/(r/(-4))*-80?
True
Let q(v) = -v**3 - 17*v**2 + 20*v + 18. Let s be q(-18). Let d(u) = -7*u + 98. Does 28 divide d(s)?
True
Let f be 2 - (-4)/12*0. Suppose -4*x = 3*s - 515, -s + 65 = 3*x - 115. Suppose -3*d + s = f*c - 0*d, -75 = -c - 3*d. Is 14 a factor of c?
False
Let p = -18 - -5. Suppose -16 - 2 = -18*u. Is 23 a factor of p + 16 + 43/(0 + u)?
True
Suppose 1990 = -7*s + 9*s. Suppose -4*a = -4*p - 3956, -a = -p - 2*p - s. Does 58 divide a?
True
Suppose -d + 0 = -4*r + 1, -r = d - 4. Suppose -3*a - 2*o = -0*a - 10, r = -o. Suppose 0 = -a*i - 73 + 245. Is 5 a factor of i?
False
Let a = 503 + -501. Suppose 0 = a*l - 1606 - 398. Is l a multiple of 46?
False
Let j = 1082 + 1654. Is j a multiple of 57?
True
Let n = -45 + 206. Suppose -2*f - 1126 = -q - 4*q, 5*f = 10. Let v = q - n. Is v a multiple of 16?
False
Suppose r - u - 15 = u, -3*r = 4*u + 5. Suppose 3*c + 2*m = -m + 1137, r*c - 4*m = 1940. Let o = c - 217. Does 38 divide o?
False
Suppose 4*f + 2*p - 20 = 0, -3*f + 12 + 8 = 4*p. Suppose 0 = f*k + 12, 4*w + 0*k = -3*k - 9. Suppose 3*t - 32 = 4*y, t = -w*t - 4*y. Is t a multiple of 7?
False
Suppose -40*z - 630 = -33*z. Is ((-164)/6)/((-20)/z*-3) a multiple of 34?
False
Let j(b) = 6*b**2 - 15*b - 13. Let v(t) = -t**2 - 1. Let d(n) = j(n) + 4*v(n). Suppose 52*u - 387 = 133. Is 3 a factor of d(u)?
True
Let u = 1428 - -2159. Is u a multiple of 102?
False
Let k be (15/(-60))/(1/(-124)). Suppose -26*b = -27*b + k. Let w = b + -1. Does 15 divide w?
True
Suppose -2*m - 2*x = x - 96, m + 4*x = 38. Let p be m/(-4) - (-4)/8. Let d = p - -50. Does 9 divide d?
False
Suppose -25*p - 590040 = -135*p. Does 6 divide p?
True
Is (-3)/((-3)/(-407))*(-104 - -95) a multiple of 20?
False
Let q be 4/(-2) + 8 + -8. Let c = -7 + q. Is (-60)/14*14/c*3 a multiple of 10?
True
Suppose -23*u + 176937 = -71739. Is 34 a factor of u?
True
Let x(m) = -m**3 + 7*m**2 + 7*m - 4 + 2 + 0*m**3. Let h(l) = -l**3 + 37*l**2 + 76*l + 85. Let p be h(39). Is 7 a factor of x(p)?
False
Let v = 10788 - 9186. Is 3 a factor of v?
True
Let m(w) = 2*w**2 - 58*w - 2. Let u be m(32). Suppose 0*l - 151 = -4*a - 5*l, -5*a = 5*l - u. Is 7 a factor of a?
False
Suppose 272779 = 40*u - 236421. Is 49 a factor of u?
False
Does 15 divide 6/(-12)*-4250 - 2/1?
False
Is ((-3452)/16)/(23/(-5520)) a multiple of 20?
True
Let j(u) = -632*u - 278. Is j(-1) a multiple of 118?
True
Suppose -m + 109 = 5*t - 115, 4*m - 3*t - 850 = 0. Suppose -m = -3*o + 461. Is o a multiple of 15?
True
Let x = 19945 + -16655. Is x a multiple of 10?
True
Let a(g) = g**2 + 72*g + 446. Let i be a(-7). Suppose 5*q + 0*q + 15 = 0, 4*r - 3*q + 67 = 0. Is 15 a factor of (1 + (r - -1))*i + -3?
True
Let g = -124 - -181. Let i = 82 - g. Suppose 15 + i = 8*s. Is s a multiple of 3?
False
Is 162/(-4)*(158080/39)/(-32) a multiple of 18?
True
Let x = 4840 + -990. Does 170 divide x?
False
Let u = 2 + 7. Let s(l) = 5*l**2 + l + 14. Let b(f) = -f**2 + 2*f - 1. Let q(r) = 6*b(r) + s(r). Is q(u) a multiple of 5?
False
Let k = 349 - 347. Suppose -4*h + 6*z = 5*z - 909, 0 = k*h + 5*z - 427. Is 9 a factor of h?
False
Let g = -16186 - -35947. Is g a multiple of 7?
True
Suppose 89451 = 194*n - 37813. Is 8 a factor of n?
True
Suppose -5*o - 40656 = -18*o + 6*o. Is o a multiple of 66?
True
Suppose 2*m = -31*m + 26862. Does 8 divide m?
False
Suppose 9*a = -6*a + 120. Suppose -a*t = -0*t - 152. Is t a multiple of 4?
False
Is 12 a factor of (-8)/(-10) - (-22543648)/2440?
True
Suppose 2*z + 14428 = 3*g, -162*g + 4*z + 4816 = -161*g. Does 8 divide g?
True
Suppose -16*f - 3800 = -11*f. Let z = f + 1706. Is 23 a factor of z?
False
Suppose o - 31*x + 36*x - 691 = 0, 2*x - 1382 = -2*o. Does 52 divide o?
False
Suppose n + 9 = 16. Suppose -n*r + 19*r = 144. Suppose 66 = y + r. Is 15 a factor of y?
False
Let z be -4*(11 + -5 + -7). Suppose 5*t - 2805 = -2*r - 2*r, 2801 = z*r + t. Does 28 divide r?
True
Let j be 34 - 3 - (3 - 1). Let m = 33 - j. Suppose 4*k - k - 28 = -i, -i = -m*k - 49. Is i a multiple of 24?
False
Suppose 9*w - 8*w = 309. Suppose -h - 5*n - w = 0, -5*h + 6*n - 1632 = 2*n. Is (1 + h - -2)*(-2)/6 a multiple of 17?
False
Suppose 5*q = 92 - 2. Does 67 divide (q/45 - 1306/(-10)) + -2?
False
Suppose 25415 = 3*c + 2219. Suppose 0 = 18*a - c + 802. Is a a multiple of 55?
True
Suppose 0 = 154*o + 91*o - 2491650. Does 113 divide o?
True
Is 2288064/800 - (-8)/(-100) a multiple of 11?
True
Is 2 a factor of -18*6/((-168)/5894)?
False
Suppose -2*m = 6*m. Suppose -4*s + h = -259, m = 10*s - 13*s + 2*h + 193. Does 19 divide s?
False
Let q = 18877 + -17584. Is q a multiple of 27?
False
Suppose 3*l = 4*d - 24263, -8*d - 138*l + 48603 = -133*l. Does 13 divide d?
True
Let u be ((-1)/(-2))/((-6)/(-216)). Suppose -23*j + 1390 = -u*j. Is 11 a factor of j?
False
Let w(c) = 9*c + 15. Let t be (-116)/(-8)*(3 - 1). Suppose 3*x = -4*l - l + t, 2*l = -2*x + 14. Does 16 divide w(l)?
False
Let