s 17 a factor of q?
True
Suppose 0 = -4*y, -2*y - 11 = -3*h + 1. Suppose 54 = 2*v - h*k + 14, -2*v - k + 60 = 0. Is v a multiple of 11?
False
Suppose -257*a - 889 = -264*a. Does 6 divide a?
False
Let z(c) = -3*c + 2*c + 3*c - c + 9. Let d be z(-5). Suppose d*s - 130 = 50. Does 22 divide s?
False
Let q(b) = 10637*b**2 + 108*b - 215. Is q(2) a multiple of 150?
False
Let n = -26 - -31. Let l be -1*(-2 - -3)*(-10 + -3). Suppose l*o = n*o + 928. Is 29 a factor of o?
True
Let h(a) be the first derivative of 19*a**3/6 - 10*a**2 + 28*a - 30. Let f(s) be the first derivative of h(s). Is f(4) a multiple of 8?
True
Let a = 13738 + -5202. Is a a multiple of 22?
True
Let c be (-12 - -41)/((-16)/(-14) - 1). Suppose -c*n - 124 = -207*n. Does 17 divide n?
False
Suppose -5*n + 95 = 5*y, 3 = n + 4. Let t = -1536 - -1540. Suppose t*f = 3*f + y. Does 2 divide f?
True
Let h(v) = -3*v**3 + 4*v**2 + 3*v - 7. Suppose 75*n - 74*n + 3 = 0. Is 24 a factor of h(n)?
False
Let i be 0*(-1)/3 - -68. Let s = 4186 + -4151. Let d = i - s. Is d a multiple of 5?
False
Suppose -5*h - 8191 = -5*k + 2*k, 2*h + 21922 = 8*k. Is k a multiple of 40?
False
Let h(l) = 2589*l**3 - 2*l**2 + 7*l - 4. Let y be h(1). Suppose 0 = 26*u - 1336 - y. Is u a multiple of 10?
False
Let o = -30 - -53. Suppose o*h + 872 = 27*h. Is h*1*(-1)/(-2) a multiple of 12?
False
Let y = 5018 - 4018. Is 2 a factor of y?
True
Suppose -21*y - 453060 = -31*y. Is y a multiple of 27?
True
Is 10*33/(-22) + 719 a multiple of 22?
True
Suppose 0 = -6*d - 958 - 434. Let f = d - -433. Does 35 divide f?
False
Let v be (-18)/7 - (-76)/133. Is 17 a factor of (((-8)/(-5))/v)/(51/(-13005))?
True
Is (-172550)/(-50) + (-1 + 8 - 5) a multiple of 4?
False
Let y = 2336 + -423. Does 2 divide y?
False
Let m(z) = z**3 - z. Let x(d) = 5*d**3 - 26*d**2 - 54*d + 61. Let i(t) = 6*m(t) - x(t). Is 16 a factor of i(-21)?
True
Let n(w) = 48*w - 10. Let k be n(3). Is 5 a factor of (88/22)/(4/k)?
False
Let v be 11/(44/24) + -7. Does 19 divide 94 + (1 - v)/1?
False
Let v = -26 - -31. Suppose 0 = v*l - 3*l - 2760. Suppose -3*o + l = 9*o. Does 11 divide o?
False
Suppose i - 79 - 461 = -3*d, -3*d + 4*i + 570 = 0. Does 3 divide d?
False
Suppose -13*x = -27 - 90. Suppose 0 = 3*j + 4*h - 90, -x*h + 60 = 2*j - 7*h. Is 3 a factor of j?
True
Let w(i) = 13*i**2 + 227*i - 7808. Is w(41) a multiple of 169?
False
Let u = 5519 + -4693. Is 7 a factor of u?
True
Let c(o) = o**2 + 29*o - 24. Let y be c(-29). Let i = 1341 - y. Is i a multiple of 35?
True
Let p = -3013 + 4333. Suppose -4*z = -5*z + 5*v + 270, -5*v + p = 5*z. Is z a multiple of 3?
False
Let g(p) = 154*p**2 - 9*p - 22. Is g(-4) a multiple of 7?
True
Suppose -5*t = 8*t + 7280. Let y = t + -5. Is y/(-4) - 15/60 a multiple of 13?
False
Let s = 56 - 111. Let g = s + 71. Is 4 a factor of g?
True
Suppose 2*p + 0*h - 17473 = 3*h, 2*p = h + 17463. Is 14 a factor of p?
False
Suppose 3*t = -4*t + 42. Is 56 a factor of (t/(-4))/(87/(-48314))?
False
Let s(p) be the second derivative of 2*p**3/3 + 13*p**2/2 - 12*p. Let r be s(-10). Does 27 divide (-1*226)/(54/r)?
False
Suppose q + 3*q + 2368 = 2*k, 2*k + 5*q = 2404. Let a = -1827 + k. Is a/(-20) - (-2)/8 a multiple of 8?
True
Let l(g) be the third derivative of 313*g**4/6 - g**3/6 - 29*g**2. Let q be l(1). Suppose -96 = 7*x - q. Does 33 divide x?
True
Suppose 15*a - 11*a = 16. Does 7 divide (11/11)/(a/436)?
False
Let b be (-8 - 267/(-2))*-10. Let t = b + 2288. Is 20 a factor of t?
False
Let m = -1525 + 2401. Does 16 divide m?
False
Suppose -18*u + 198269 + 161512 + 138153 = 0. Does 9 divide u?
False
Is 9 a factor of 8/(40/(-15)) - (-5624 - 61)?
False
Suppose -2*y + q - 23 = 0, -5*q - 8 = 7. Let k = 133 + y. Does 14 divide k?
False
Let w(j) = -78*j**3 + 6*j**2 + 9*j + 65. Does 149 divide w(-5)?
False
Suppose -5*p + 41391 = -3*a, p - 40*a - 8291 = -41*a. Does 54 divide p?
False
Let w(m) = m**3 - 5*m**2 - 3*m + 12. Let o be w(5). Let g = o + 188. Is 37 a factor of g?
True
Let k = -16295 - -27255. Is k a multiple of 8?
True
Let b = 33 + -31. Suppose -5*f - 5*a + 15 = 0, -2*f = b*a - 3*a - 12. Suppose -201 = -4*c - f*u, 9*c - 245 = 4*c - 5*u. Does 11 divide c?
True
Is (32/(-192))/(2/(-40092)) a multiple of 75?
False
Suppose -i + 3364 = 5*k, -238*i + 4*k = -243*i + 16883. Is i a multiple of 109?
True
Let y = -7253 + 13371. Suppose 0 = -23*b + 4*b + y. Is 23 a factor of b?
True
Let z = 8754 - 2490. Is z a multiple of 29?
True
Let m(t) = 4*t + 15. Let n be m(-3). Suppose 2*a + 1 = n, 2*s = 4*a. Is 31 a factor of (-8 - (-1074)/(-9))/(s/(-3))?
False
Let i = 8 + -11. Let h be ((-8)/16)/((i/4)/3). Is 355/10 + h/4 a multiple of 3?
True
Does 3 divide 2*277 + (16 - 13) + 4?
True
Suppose -5*r - 8*r = -6682. Suppose -2*f = -3*u + 793, -6*u - r = -8*u + 5*f. Suppose 0 = 11*k - 12*k + u. Does 16 divide k?
False
Suppose 0 = -59*f + 49*f + 11800. Is 36 a factor of f?
False
Suppose 0 = -3*h + 2*h + 522 - 146. Does 6 divide h?
False
Let c(v) = -v**2 + 10*v - 37. Let m(u) = -2*u**2 + 11*u - 37. Let o(z) = 5*c(z) - 4*m(z). Let w be o(-16). Suppose -1835 = -12*r - w. Does 25 divide r?
True
Let k(i) = -i**3 - 5*i**2 - 5*i. Let z be k(-4). Let t(u) = 12*u + 701. Let v be t(-58). Suppose 5*b = 3*a - 96 + 20, v*a - z*b - 144 = 0. Does 16 divide a?
True
Suppose 0*a - 3*q = 2*a - 28, 5*q = 4*a - 100. Is (6*51/72)/(1/a) a multiple of 17?
True
Suppose -5*w - 3*u + 38758 = -12060, 2*w - 9*u = 20266. Is 4 a factor of w?
True
Let q = -175 - -195. Suppose 3*k - q*k = -3145. Is k a multiple of 37?
True
Suppose -2*d = -2*s - 84, 4*s - 3*d - 2*d = -170. Let k = s - -42. Suppose -l - 3*g = -k*g - 25, 4*l - 88 = 2*g. Is 9 a factor of l?
False
Let x(j) = -4*j**2 - j + 2. Let t be x(-2). Let i be 3/t - 75/4. Let s = 64 + i. Does 5 divide s?
True
Let a(z) = -z**3 - 8*z**2 - 12*z + 11. Let x = 50 + -47. Suppose -9 = 3*y, -x*k - y = 3*y + 33. Does 9 divide a(k)?
False
Suppose 0 = -7*t - 12 + 40. Let z(n) = -2*n - 1. Let d be z(-2). Suppose -d*i + 278 = 2*g - i, t*g = 2*i + 532. Is 27 a factor of g?
True
Suppose 3*x - 2*h = 23418, 0 = 4*x + 5*h - 35119 + 3918. Is x a multiple of 161?
False
Let j be -1 + -1*(-3)/(3 - 2). Suppose 358 = j*k + 4*p, -4*p = -5*p - 5. Is k a multiple of 27?
True
Let b = -17615 + 25271. Is b a multiple of 29?
True
Does 13 divide (-107348)/(-14) + (-1)/14*-4?
False
Suppose 2*g - 4*l - 952 = 0, g + l = -4*l + 490. Is 227400/g + -1 + 5/4 a multiple of 6?
True
Let k = -5931 + 40763. Does 24 divide k?
False
Suppose -104 = 5*a - 129. Suppose -2*t = 2*m - 280, a*m - 236 = -4*t + 319. Is 5 a factor of t?
True
Let h = -2970 - -3745. Is 31 a factor of h?
True
Let v(m) = m. Let j(o) = 3*o**2 - 2*o - 1. Let z(k) = j(k) - 6*v(k). Let g be z(2). Let u(f) = 14*f**2 - 9*f - 31. Is 52 a factor of u(g)?
True
Is 123 a factor of -5 + 1 + (-1 - -4823)?
False
Let z(r) = 3*r**3 + 2*r**2 + 22*r + 43. Does 36 divide z(8)?
False
Suppose 169*g - 4194 = 166*g. Let y = 2096 - g. Is y a multiple of 38?
False
Suppose 7*k = 2715 + 1233. Let b = k - 393. Is 19 a factor of b?
True
Suppose -21*x - 123552 = -70*x - 23*x. Is 39 a factor of x?
True
Let o be (-4)/(-6) + (-1309)/(-21). Suppose -o*d - 10 = -68*d. Suppose 2*f - 4 - d = 0, 3*f = 4*m - 295. Does 14 divide m?
False
Is 22 a factor of (20480/(-30) - -2)/(2/(-36) + 0)?
False
Let d be 4397/5 + 3 + 30/(-75). Suppose 12*f - 5454 = -d. Is 27 a factor of f?
False
Let p = 5301 + -4665. Is 5 a factor of p?
False
Is 33 a factor of 2*7669 - (-9 + (25 - 14))?
False
Let c be ((-4)/6)/(-2)*36/3. Suppose -3*o + c*m + 25 = 0, -18*m = -20*m + 10. Is o a multiple of 2?
False
Suppose 12*r = 10*r + 14. Let u be (-387)/(r + -4)*-1. Suppose -4*a = i - u, 3*a = -a + 2*i + 114. Is 14 a factor of a?
False
Is 200 a factor of 10/5 + 8603 - (1 - (-1 - 3))?
True
Suppose -204 = -20*n + 776. Is 14/n + 4/(-21)*-3117 a multiple of 24?
False
Suppose -20*m = -14 - 46. Suppose -m*l + 2*w + 40 = 0, -2*l + 4*w + 29 = 5*w. Is 4 a factor of l?
False
Suppose -3*l + 7 = 5*p + 18, l = -2*p - 5. Suppose l*c + 384 = -45. Does 13 divide 1686/26 + (-22)/c?
True
Suppose 4*k = 4*g - 13068, -31*k = -26*k + 30. Does 43 divide g?
False
Is (-935)/(10/500*-10) a multiple of 85?
True
Let f = -6350 - -16136. Does 21 divide f?
True
Suppose 0 = l + y - 35474 + 8995, 0 = -3*y - 12. Is l a multiple of 55?
False
Suppose 8