*a. Does 68 divide a?
True
Is 188 a factor of (40/(-12) + 3)*-6*839*4?
False
Let v = -134 + 234. Let q be (2 - (v/12)/5)*-6. Does 9 divide -3*1/(q/52)?
False
Let z be (-72)/(-9) - (-530 + -8). Suppose z = 18*n - 822. Does 3 divide n?
False
Let z = 120 + -58. Suppose -i - 17 + z = 0. Is i a multiple of 3?
True
Let u(m) = -m**2 + 6*m + 5. Let a be u(-5). Let i = -48 - a. Suppose 4*s = i*s + 160. Is s a multiple of 16?
True
Let x(l) = l**3 - 21*l**2 + 26 + 27*l - 16*l + 43*l**2 + 19*l. Is 10 a factor of x(-20)?
False
Let v(j) = 21*j**2 - 275*j - 3728. Does 26 divide v(-14)?
True
Is 127*7 - (27 - 26)*4 a multiple of 59?
True
Let k(p) = -7*p**2 + 17*p - 48. Let h(l) = -3*l**2 + 8*l - 23. Let r(z) = 13*h(z) - 6*k(z). Is r(6) even?
False
Suppose 3*f - 5*v = 1977, 0 = 2*f - 3*v + 2*v - 1311. Let m = 1343 - f. Is 67 a factor of m?
False
Is 87 a factor of (-36)/(-126) + (-61778)/(-14) + 2/1?
False
Let m(k) = 74*k + 21. Let c be m(6). Suppose -2*q = q - c. Is 37 a factor of q?
False
Let i(g) = -624*g + 928. Is 268 a factor of i(-26)?
True
Let c = 143 + 87. Suppose -2*h = -5*k - c, h - 28 = 5*k + 87. Is 14 a factor of h?
False
Let s = 17 - 17. Let z be 1 + (-4)/(4/(-5)) + s. Suppose t = -h + 70, 0 = z*t - t - 5*h - 310. Is 11 a factor of t?
True
Let l = -5076 + 11836. Is l a multiple of 65?
True
Let k = 44 + -27. Let g = k - 17. Suppose g*o - 3*v - 110 = -5*o, -44 = -o + 5*v. Is o a multiple of 13?
False
Let v(d) = -d**2 + 11*d + 14. Let x be v(12). Suppose j + 6 = -x*j, 4*t = -j - 78. Let u = 42 + t. Does 15 divide u?
False
Let t = -29 + -665. Does 21 divide -3 - (t/8 - (-8)/(-32))?
True
Let u(m) = 14*m**3 - 5*m**2 + 5*m - 3. Let o = -662 + 665. Is u(o) a multiple of 8?
False
Let h = -1335 + 976. Let x = h - -765. Is 3 a factor of x?
False
Suppose 4*h - 14 = -n + 46, 0 = n - 3*h - 88. Does 12 divide n?
False
Let r = -137 - -247. Suppose -12*b - r = -14*b. Is 11 a factor of b?
True
Suppose 0 = 2*q + 4*l + 23 + 513, -q = l + 263. Let y = 468 + q. Suppose 3*z - 7*z = -2*r + y, 0 = 3*r + 2*z - 347. Is r a multiple of 16?
False
Let w be (-2)/5 + (-1086)/(-15). Suppose 29*l = w*l - 5633. Is 4 a factor of l?
False
Let l(h) = -h - 17. Let t be l(-5). Let g(b) be the first derivative of -b**2/2 + 9*b + 19. Is 15 a factor of g(t)?
False
Suppose -27*a + 7295 + 34821 = 4883. Does 66 divide a?
False
Let q = 14464 - 853. Does 117 divide q?
False
Let b be ((-28)/8)/7*-28. Suppose z = 32 + b. Is 23 a factor of z/4*(-8 - -14)?
True
Let d(i) = 65*i**2 - 30*i + 12. Is d(5) a multiple of 25?
False
Suppose -237*z - 599761 + 1297751 = -1416998. Is z a multiple of 19?
False
Let x = -2022 + 3232. Let j be 3/(-9) + x/3. Suppose 2*w = -2*k + 224, -7*k + 3*k = -5*w - j. Is 10 a factor of k?
False
Let z(v) = 166*v**2 - 15*v + 56. Is z(4) a multiple of 102?
True
Let z(v) = -13*v - 7. Let c be z(-2). Suppose -m = 2*b - 2, -2*m - 4*b = -3*b - c. Is (m - -4)*(-153)/(-12) a multiple of 51?
True
Let a(q) = -q**3 + 16*q**2 + 53*q + 12. Is 81 a factor of a(-6)?
True
Let s(u) = -57*u**3 + 36*u**2 - 10*u - 135. Is s(-7) a multiple of 25?
True
Let z be (-2512)/(-36) + 4/18. Suppose 0 = 7*i - 140 - z. Suppose p = b - 38, 0 = 5*b + p - i - 130. Does 7 divide b?
False
Suppose -5*n - 213*f = -211*f - 85927, 0 = 3*n - 3*f - 51573. Is n a multiple of 113?
False
Let t = -156 + 159. Is (6 - (0 + t)) + 208 a multiple of 28?
False
Let s(o) = -o**3 + 8*o**2 + 5*o + 62. Let x be s(9). Is 30 a factor of ((-11)/4*62)/((-13)/x)?
False
Let o(t) = -2*t**3 + 20*t**2 + 16*t + 9. Does 11 divide o(-6)?
False
Is 420/(-1584) + 18/99 - (-43418)/24 a multiple of 22?
False
Let h = -57 + 55. Let o be (4/(-1))/4*h. Suppose 3*w - 2*w = -o*x + 102, 0 = -3*w + 2*x + 266. Is 24 a factor of w?
False
Suppose -4*m + 6*o - o + 209 = 0, 5 = -o. Let x = m - 44. Suppose -x*f - 9*f = -1342. Is 20 a factor of f?
False
Let l = -11077 + 16585. Is l a multiple of 51?
True
Let u be (-4)/(-18) + 4962/27. Suppose -2*d + 3*f + 0*f = -u, -4*d + 2*f = -384. Is d a multiple of 14?
True
Does 21 divide (0 - (-1 + 0))/((-63)/(-816291))?
True
Is 40 a factor of (-242316)/30*((-153)/18 + 6)?
False
Let d(r) = r**3 + 15*r**2 + 15*r - 11. Suppose -x = -3*x + 4*m - 30, 56 = -4*x + 4*m. Does 22 divide d(x)?
True
Let c(u) = -u + 1526. Is 46 a factor of c(54)?
True
Suppose 3*z - 5274 = -5*x, 102*z - 3566 = 100*z + 5*x. Is 2 a factor of z?
True
Let c = 24839 + -16630. Does 12 divide c?
False
Suppose -17 = y + 9*r - 5*r, -32 = -4*y + 4*r. Suppose -y*z - 30 = 12*z. Is 513/2 - 1/z - -3 a multiple of 13?
True
Let m(k) = -5*k + 216. Let o be m(42). Suppose o = 3*x, -2*v = 2*v + x - 3962. Is v a multiple of 66?
True
Suppose -5*f = -7*f + 4. Let u(z) = z + 21 + f*z - 19*z - 11*z. Is u(-5) a multiple of 12?
True
Suppose -3*t = -0*t. Suppose 0 = 2*v + 40 - t. Is ((-57)/12)/(1/v) a multiple of 18?
False
Let j(q) be the third derivative of -q**5/60 - q**4/24 + 10*q**3/3 - 32*q**2. Let h be j(0). Let k(v) = -v**3 + 20*v**2 + 10*v - 44. Is 26 a factor of k(h)?
True
Suppose -50*k = -47*k - 351. Let z = -100 + k. Suppose -z*a + 40 = -16*a. Is a a multiple of 8?
True
Let r(m) = -61*m. Let z be r(-1). Suppose -4*u + 492 = -5*y + z, 438 = -5*y - 3*u. Let j = -67 - y. Does 20 divide j?
True
Suppose 3*t + 45 = -2*t. Let f(c) = c**3 + 9*c**2 + c + 12. Let u be f(t). Suppose 45 - 270 = -u*l. Is 15 a factor of l?
True
Let k(o) = 4*o - 24. Let g be k(7). Suppose -3*a + 465 = 2*t, -4*a = g*t - 9*a - 941. Is 26 a factor of t?
True
Suppose -a + 5*d = -190, -a + 2*d + 760 = 3*a. Suppose a = -3*x + 5*x. Let j = 215 - x. Does 12 divide j?
True
Suppose -l = -2*s + 6 + 11, -5*s = -2*l - 41. Suppose -s*o + 2051 = -0*o. Is 13 a factor of o?
False
Let h(z) = -10*z + 20. Let y be h(4). Let g be (-52)/y + (-2)/(-5). Is 3 a factor of (g - (-99)/(-6))*(-4)/6?
True
Is ((-8)/24)/(6/(-229590)) + 3 a multiple of 227?
False
Suppose 5*q + 2*d = -2*d + 166, -2*q + 76 = 4*d. Does 8 divide (-32)/3*(q/4 + -9)?
True
Suppose 2*z + 7*z + 0*z = 0. Suppose z = -10*t - 2185 + 7095. Is t a multiple of 41?
False
Let b = 4405 - 2930. Does 23 divide b?
False
Let n be (-4)/10 + 5296/40. Suppose 9*p - n = -3*p. Suppose 31 = 4*x + p. Is 4 a factor of x?
False
Suppose -g + r + 9 - 2 = 0, -r - 1 = 2*g. Suppose 5*d = -4*n + 422, 4*n = 4*d - g*d + 436. Does 3 divide n?
True
Let u = -957 - -1965. Does 19 divide u?
False
Let h(a) = -2323*a - 5722. Is 132 a factor of h(-32)?
False
Let t be 1/(-6) + 19633/(-174). Let v be 1494/27 + 1/(-3). Let q = v - t. Does 24 divide q?
True
Let d(i) = i**2 - 5*i + 3. Let f be d(5). Suppose -f*y - 472 = -1924. Let m = -244 + y. Does 13 divide m?
False
Let h = -717 + 30597. Is h a multiple of 45?
True
Let o(g) = -113*g - 5. Let l(b) = 116*b + 6. Let a(m) = -5*l(m) - 4*o(m). Does 6 divide a(-1)?
False
Suppose -5*s + 16 = 4*z - 33, 0 = z - 1. Let b = s + 54. Is b a multiple of 9?
True
Suppose -a - 3*n + 501 = 0, -4*a - 428 + 2362 = -2*n. Let o = -306 + a. Is o a multiple of 15?
True
Let f(w) = -w**3 + 4*w**2 + 8*w - 6. Let q be f(6). Let o(r) = r**3 - 9*r**2 + 8*r + 5. Let x be o(7). Let u = q - x. Is 7 a factor of u?
True
Let t(a) = 6559*a - 12839. Does 28 divide t(4)?
False
Does 15 divide (5 - -2289 - 8) + (-3)/(-6)*14?
False
Let d(i) = i**3 + i**2 + i - 3. Let j be d(-2). Let y(q) = 3*q**2 + 11*q + 5. Let t be y(j). Let k = t - 43. Is k a multiple of 12?
False
Suppose 8 = -2*c - 0. Let k(b) = 3*b - 23. Let n be k(3). Does 2 divide 0/n - (1 + c)?
False
Let m(f) = 59*f + 1132. Let j be m(0). Suppose -7*u + 5*u + 3*k = -j, 5*k = 4*u - 2264. Does 13 divide u?
False
Let m(q) = -5*q**3 + q**2 - 3*q + 6. Let r(p) = -p**3 - p**2 - p. Let f(k) = -m(k) + r(k). Let z be (2/4)/((-5)/(-20)). Is 11 a factor of f(z)?
True
Suppose -5*b + 3*c = -30, -2*b + c = -c - 12. Let x = 264 - 252. Is 7 a factor of b + (-6)/(-4)*8/x?
True
Suppose 3*h - 7329 - 5115 = 0. Is h a multiple of 122?
True
Suppose -9*j + 15*j - 30483 - 129267 = 0. Does 213 divide j?
True
Suppose 103*x + 1030488 - 2035351 = 1754507. Does 141 divide x?
True
Let s(c) = c**2 - 6*c + 12. Let z(u) = -2*u - 26. Let w be z(-23). Let r be -8 + w/5 + 12. Is 13 a factor of s(r)?
False
Let x(d) = 36*d**2 + 28*d + 107. Is 6 a factor of x(-15)?
False
Let m(u) = -u**3 + 20*u**2 - 35*u - 48. Let c be m(15). Let r = c + -24. Does 11 divide r?
True
Suppos