 - 4*r. Is 20 a factor of c?
False
Let s = 54839 + -29367. Is 64 a factor of s?
True
Suppose -880 = -262*t + 270*t. Let a = -96 - t. Is 2 a factor of a?
True
Let j be (2 - -16)*1/2. Suppose -j*g + 2*g = -3136. Is g a multiple of 28?
True
Let t(o) = 33*o**2 - o - 6. Let r(c) = -67*c**2 + 2*c + 11. Let m(i) = 3*r(i) + 5*t(i). Let d be m(2). Let p = -97 - d. Does 14 divide p?
True
Is 966/(-24)*(7 + -31) a multiple of 14?
True
Does 7 divide ((-2)/(-10) - (-9394)/30)/(2/6)?
False
Let s(o) = 4*o**3 - o**2 - 105*o + 420. Is s(4) a multiple of 15?
True
Let a(j) be the first derivative of -j**4/2 - j**3 + 3*j + 14. Let c be a(-3). Suppose c = -2*h + 186. Is 26 a factor of h?
True
Let s(g) = -g**3 + 21*g**2 - 17*g + 27. Let k be 2/(((-2220)/(-2212) - 1)*7). Let j = 99 - k. Does 7 divide s(j)?
False
Let i = 233 - 231. Does 6 divide (45/(-18) - i)*(-20)/3?
True
Let k = -3070 - -5059. Is k a multiple of 17?
True
Let v be (-599)/2*(7/28*8 + 0). Let y be (-3)/((-3)/394)*-1. Let i = y - v. Is 18 a factor of i?
False
Let j = 54 - 46. Suppose 7*f = -5*f + j*f. Suppose -2*q + 13*q - 990 = f. Does 5 divide q?
True
Let k = 3044 + -516. Does 12 divide k?
False
Let y(s) = -2*s**3 - s**2 + 3*s - 2. Let k be y(1). Let x be 2*(-3)/k - (6 - 339). Suppose 4*r + 4*o = x, 3*r - 368 + 104 = 3*o. Is r a multiple of 11?
False
Let j = -4444 + 6199. Is j a multiple of 16?
False
Suppose -7 = v - 12. Suppose v*h + 30 + 2 = 3*w, -41 = -4*w + 5*h. Is -18*((-105)/w + -5) a multiple of 31?
False
Suppose 13*v = 4004 + 2665. Is v a multiple of 3?
True
Suppose -20 = -2*l - 12. Let g(m) = -5*m + 11. Let a be g(l). Let z(h) = 3*h**2 + 6*h + 10. Is z(a) a multiple of 14?
False
Let s(c) = 3*c**3 + 170*c**2 + 43*c + 240. Is s(-52) a multiple of 44?
True
Suppose 93*r = 120*r - 573939. Does 43 divide r?
False
Suppose 0 = -3*t + 3*y - 46 + 148, -152 = -4*t - 4*y. Let w = t + -33. Suppose -5*l + 4*l + 2*z = -100, -w*l + 4*z = -302. Is l a multiple of 6?
True
Let a(h) = 4*h**2 - 7*h - 345. Is a(-38) a multiple of 36?
False
Suppose -r - 5*m + 353 = 0, -2*r + m + 825 = 64. Is r a multiple of 34?
False
Let w(h) = -h**2 - h - 9. Let u be w(4). Let n = 32 + u. Is (5/((-5)/104))/(1 - n) a multiple of 13?
True
Let s(q) = -30*q - 95. Let f(b) = 12 + 19 - 5*b - 47. Let x(i) = 35*f(i) - 6*s(i). Is 2 a factor of x(0)?
True
Let d = -9829 - -9969. Is d a multiple of 10?
True
Let w be 2/(-8) + (-930)/(-8). Let u = -2517 + 2461. Let n = u + w. Is 4 a factor of n?
True
Suppose 0 = 4*b + 4*y - 7656, 3*b - 4*y - 231 - 5490 = 0. Suppose -130*a + 143*a = b. Does 37 divide a?
False
Suppose 3*a = 5*p + 1, -12 = 3*a - 3*p - 15. Suppose 2*t - 2*h = 146, a*h + 293 = 4*t - 5. Is 6 a factor of t?
False
Let o(s) = 15*s**2 + 36*s + 49. Is 29 a factor of o(-10)?
True
Let o be 1468 - (6 - -5 - 6). Suppose -23*v = -12*v - o. Is v a multiple of 11?
False
Let p = -7908 + 28413. Does 15 divide p?
True
Suppose -334*h = -318*h - 1504. Is 4 a factor of h?
False
Let s(c) be the first derivative of c**2 + 324*c - 17. Does 11 divide s(0)?
False
Let n = -24784 - -36626. Does 42 divide n?
False
Let j(d) = -1040*d - 2076. Is 12 a factor of j(-72)?
True
Is 5 a factor of -19*(-5 + (-15 - (-6 + 1)))?
True
Let m be 7 - 39/13 - (0 + 1). Suppose -m*b + 1273 = z, -6*b = -8*b - 3*z + 837. Does 65 divide b?
False
Let m be (-76)/(-24)*-3*-64. Let i = m - 233. Does 23 divide i?
False
Suppose -163995 = -17*c - 22*c. Is 29 a factor of c?
True
Let x = -2 - 13. Is 33 a factor of ((-609)/x + -1)/((-6)/(-30))?
True
Let a(n) = -n**2 - n - 1. Let g be a(4). Suppose -15 = 5*w, 3*i + 0*w - 5*w + 15 = 0. Is 10 a factor of (-8)/i*(16/4 - g)?
True
Let i(b) be the second derivative of -3/2*b**2 + 0 - 3*b**3 + 35*b. Does 6 divide i(-3)?
False
Suppose 0 = -5*n + 6 - 31. Let u(q) = q + 16. Let y be u(0). Let c = y - n. Is 4 a factor of c?
False
Is (24258/(4 - 7))/(-1) a multiple of 30?
False
Let q = 581 + -483. Suppose -4*b = -5*w + 324, 2*w - 26 = 3*b + q. Is w a multiple of 34?
True
Let v = 628 + -613. Does 25 divide 525/9 - v/45?
False
Suppose 2*s + 2*j + 0*j - 4 = 0, 3*s - 6 = 3*j. Let n be ((-5)/10 - 0)/(s/4). Does 11 divide 0 - (n - (-87)/9)*-18?
False
Suppose -1705649 - 463711 = -368*d. Is d a multiple of 131?
True
Let l be 418/10 - ((-6)/5)/6. Suppose 3*w - 176 = 4*a, -4*a - 6 - l = -w. Is 16 a factor of w?
True
Suppose -27 = -4*n + 117. Suppose -4*o + 0*o = -n. Suppose l = -5 + o. Does 3 divide l?
False
Suppose -5*a - 11 = -3*m, m - 2*a = -0*m + 3. Let t = 303 + 302. Suppose 0 = -4*r - m*r + t. Is r a multiple of 5?
True
Let k(o) = o**3 + o**2 - 12*o + 39. Is 15 a factor of k(10)?
False
Suppose 4*x = 4*v, 0 = -6*x + 4*x + 4. Let m(s) = 19*s**2 + s**3 - 9*s**2 + 15*s + 4*s**v - 12. Does 8 divide m(-12)?
True
Is 6 a factor of 5*(-3)/(-2)*1896/90?
False
Let h(s) = -s**3 - 23*s**2 - 30*s - 4. Let g be h(-21). Let q = -76 - g. Suppose 0 = l - 4*l + q. Is l a multiple of 15?
True
Suppose 0 = -18*q + 17*q + 397. Suppose -5*z + q + 503 = 0. Is z a multiple of 9?
True
Let t(j) be the first derivative of -3*j**4/4 - 2*j**3 - j**2 + 63. Is t(-5) a multiple of 47?
True
Suppose 1848 = -8*n + 5048. Is n a multiple of 50?
True
Let z = -40 - -52. Let a be ((-2)/z - -1)*6. Suppose -a*m + 129 = -316. Is m a multiple of 20?
False
Let d(w) be the third derivative of -w**6/120 + 7*w**5/60 - w**4/24 + w**3 - 13*w**2. Let m be d(7). Let c = 30 - m. Does 13 divide c?
False
Let c(f) = -7*f**2 + 24*f - 10. Let a(b) be the third derivative of -b**5/60 + b**4/24 + b**3/6 - 17*b**2. Let l(d) = -6*a(d) + c(d). Does 16 divide l(13)?
False
Suppose -262 = -2*m + 74. Suppose -11*w = -1262 - m. Suppose 3*q = -4*i + 96 + 101, -2*i = 2*q - w. Does 8 divide q?
False
Let v(t) = -3*t**3 - 19*t**2 + 112*t + 290. Is v(-18) a multiple of 38?
True
Let t = 39556 - 14756. Is 38 a factor of t?
False
Let n(c) = 8*c**2 + 44*c - 37. Let q = -31 - -42. Is 39 a factor of n(q)?
False
Suppose -29166 = -205*w + 405935 + 2146464. Is 11 a factor of w?
False
Let c be (4 - 30/8)*8. Suppose -z = 4*t + c*z - 35, -z - 5 = -2*t. Suppose 318 = 4*a - 2*x, 5*a + 223 = t*x + 628. Is a a multiple of 33?
False
Suppose 21*w + 26263 = 196489. Is w a multiple of 12?
False
Suppose -2*z - 3*l - 24 = z, 4 = 2*l. Let w(c) = c**3 + 17*c**2. Does 20 divide w(z)?
True
Suppose 0 = 84*p - 491205 - 112755. Does 88 divide p?
False
Let v(w) = -1 + 5*w**2 - 13 + 0*w**2 - 4*w**2. Let j be v(8). Suppose -2*t + j = 2. Does 8 divide t?
True
Suppose -28*w = -9*w + 18*w - 368594. Is w a multiple of 21?
False
Suppose -3*k + 4*v = 22873 - 70329, -2*v = -3*k + 47458. Is k a multiple of 226?
True
Suppose -n + 3*p - 1069 = -2*n, 3*n - 3*p = 3195. Suppose -4*x - x + 2*g = -n, 0 = -5*x + 4*g + 1062. Is 8 a factor of x?
False
Suppose 915 - 4299 = -8*f. Let l = f - 137. Is l a multiple of 19?
False
Let m = 5495 + -1877. Is m a multiple of 25?
False
Suppose 3*h + 35100 = 68*h. Does 10 divide h?
True
Let c(n) = n**3 + 7*n**2 - 10*n - 19. Let b be c(-8). Let y(z) = -13*z**2 - 5*z - 4. Let m be y(b). Does 13 divide (-3)/(6/m)*1 + -1?
True
Let j = -585 - -912. Suppose 6*t + 3*q - j = 2*t, 5*q = 3*t - 267. Is t a multiple of 14?
True
Let m be (-2 + (-54)/(-1))/(-1 + 3). Suppose m*t - 20 = 27*t. Is 1/5 - (4 - (-776)/t) a multiple of 9?
False
Let h(a) = a**2 + 39*a - 58. Let j be h(-41). Suppose -1296 = -2*b + 5*d, 3*d - 3178 = -j*b + 19*b. Is 22 a factor of b?
True
Let s(y) = -y**3 + 47*y**2 - 257*y + 37. Is s(28) a multiple of 98?
False
Let n(x) = 2*x**2 + 15*x - 12. Let q be n(-8). Let h be ((-1)/2)/(q/(-8)). Does 3 divide 6 + -1 + h + 1?
False
Suppose 5*n - 4*n = 5*w - 39, 2*n = -3*w - 13. Is 9 a factor of (3 + n)/(1 + 84/(-81))?
True
Let b(o) = -182*o - 238. Is b(-27) a multiple of 167?
True
Let u(r) be the third derivative of 0 + 6*r**2 + 1/120*r**6 - 5/6*r**3 + 0*r - 2/15*r**5 + 1/2*r**4. Does 15 divide u(7)?
True
Let j(v) = -v**3 - 22*v**2 + 24*v + 23. Let g be j(-23). Suppose g*x + 5*x = 5. Suppose 4*i + 3*t = 369, 6 - x = -5*t. Is i a multiple of 23?
False
Suppose -81*g + 13*g = -1957040. Does 20 divide g?
True
Is 79 a factor of 49 - -6343 - (1 + -8)?
True
Suppose -o + 3*b + 776 = 0, 12*o = 7*o - 5*b + 3920. Let q = o + -408. Does 22 divide q?
True
Let i = -21658 - -29092. Is 59 a factor of i?
True
Let n(x) = -x**2 - 4*x - 7. Let f = -35 + 32. Let q