ose -2*r + 192 = v*r. Is 24 a factor of r?
True
Let m be -15*((-22)/3)/1. Let t = 374 + -312. Suppose -4*s = -p + m, p - s - t = 36. Is p a multiple of 24?
False
Suppose -10 = 2*j, 7*j = -2*f + 3*j - 20. Suppose f*u - u + 77 = 0. Does 7 divide u?
True
Suppose -3*y - 2556 = -5*l, l - 2*y = -4*y + 506. Is l a multiple of 28?
False
Let j(g) = -g**3 - 12*g**2 - 13*g - 19. Let b be j(-11). Suppose 5*u = 0, -b*r - 2*u = 3*u - 708. Is 23 a factor of r?
False
Suppose -u - 52 = 13. Let a = u - -136. Suppose a = 5*h + 3*k, 0 = 4*h - 5*k - 75 - 4. Is h a multiple of 8?
True
Suppose 0 = -14*c - 3*c + 4862. Does 37 divide c?
False
Let v(r) = r**2 + 16*r + 18. Let m be v(-15). Suppose 5*b + 301 = 4*j - 114, 315 = m*j - 5*b. Is j a multiple of 10?
True
Suppose 6*i - 83 = -23. Suppose -m = 2*f - i, 5*m - f + 2*f = 23. Is m a multiple of 2?
True
Suppose l - 176 = 2*c + 70, -5*l + 1217 = 3*c. Is 13 a factor of l?
False
Suppose 0 = c - 23*c + 1518. Does 69 divide c?
True
Suppose 3*l - 18 = -5*s + 2, -4*l = -3*s + 12. Suppose -11 = f + 2*u - 46, l = -f - 5*u + 41. Does 31 divide f?
True
Suppose 17*k = 15*k + 14. Suppose 0 = -k*o + 4*o + 222. Suppose -o = -i + 1. Is 19 a factor of i?
False
Let b(q) = 13*q - 5. Let y(d) = 6*d - 3. Let u(n) = -2*b(n) + 5*y(n). Let m be u(7). Suppose -1 = -k + m. Does 6 divide k?
True
Let m = -18 - -39. Let c = m - 12. Let n(y) = -y + 11. Is 2 a factor of n(c)?
True
Let b(k) = 2*k**3 - 8*k**2 + 23*k - 193. Is b(8) a multiple of 37?
False
Let h = -93 - 19. Let z = h + 144. Does 12 divide z?
False
Does 5 divide (2/(-2) + 2)/((-5)/(-345))?
False
Is 6 a factor of 110/88 + 4377/12?
True
Does 11 divide (-113074)/(-52) + 30/(-12)?
False
Let j be 3*(-1 - 12/(-9)). Let r(m) = 74*m + 79*m - 64*m. Does 14 divide r(j)?
False
Let g be 48/(-36)*42/4. Suppose -4*n + 76 = -48. Let p = g + n. Does 10 divide p?
False
Let t(c) = c**3 + 42*c**2 + 42*c + 329. Is t(-40) a multiple of 42?
False
Is 2 a factor of (6/4)/((-2421)/(-342) - 7)?
False
Let y = 38 + -22. Let p = y + -3. Let i = p - -2. Is 15 a factor of i?
True
Let y(o) = -o**3 - 5*o**2 + 2. Let w be y(-5). Suppose -4*u + 72 = -w*u. Suppose -3*s = 5*q - u, -3*q = 5*s - 3*s - 22. Does 4 divide q?
False
Let x(y) = -2*y**2 + 7*y - 2. Let f be x(2). Let r = 17 + f. Is r a multiple of 21?
True
Let w(c) = -c**3 - 5*c**2 - 2*c - 13. Let b be w(-6). Is 7/(b/10) + 109 a multiple of 7?
False
Let d = 10 - 6. Suppose -5*a + d*v = -66, 2*v - 30 = -a - a. Does 14 divide a?
True
Suppose -2*o + 15 = 5*b + 5, 2*b - 2*o + 10 = 0. Suppose b = -4*c - 3*f + 874, 2*c + 0*c - 442 = f. Does 21 divide c?
False
Let a = 1886 - 1129. Is 111 a factor of a?
False
Let j = 117 - 78. Suppose 34*f + 145 = j*f. Is f a multiple of 3?
False
Let y = -107 + 43. Let b = -108 - -217. Let n = b + y. Does 15 divide n?
True
Let m(o) = -o**3 + 9*o**2 + 9*o + 10. Let r be m(10). Suppose 3*s = 2*z - 0*z + 55, 2*s - z - 36 = r. Is s a multiple of 3?
False
Is 12 a factor of 2/((-10)/(-78) + (-22)/176)?
True
Is 44 a factor of 8 - 344938/(-143) - 4/26?
True
Suppose 5*f = 11 - 6. Does 21 divide (4 - 6 - (f + -1))*-32?
False
Suppose 0 = 5*q - 21 + 166. Let f be (4 + 0)*q/(-4). Let n = 11 + f. Is n a multiple of 20?
True
Let o = -133 + 120. Let n(i) = -i**3 - 11*i**2 + 18*i + 6. Is 21 a factor of n(o)?
False
Let l(y) = 40*y**3 - y**2 - 2*y + 2. Let g be l(1). Suppose 3*q - 47 = -0*q + d, -5*d - g = -q. Is 4 a factor of q?
False
Let v = 163 + -87. Suppose 4*g + 124 + 28 = 0. Let m = g + v. Is 18 a factor of m?
False
Is 25 a factor of (5/6*-8)/(17/(-1275))?
True
Suppose -d = -3*k - 202, -4*k - 383 = -2*d - 5*k. Is d a multiple of 3?
False
Let h(d) = 7*d - 50. Let t be h(8). Is 8 a factor of t/(18/(-108) + 17/48)?
True
Let b(v) be the first derivative of -v**4/4 + 3*v**3 - 3*v**2 + 4*v - 12. Is 12 a factor of b(7)?
True
Suppose 3*y - 4*q - 29 = 0, 3*y - 3*q - 24 = -0. Suppose -5*p + k + 1777 = 0, -2*p - y*k = -2*k - 708. Let g = p + -226. Does 24 divide g?
False
Let y(k) = 2*k + 21. Let d be y(-11). Suppose -5*s = -s. Is (s + 1)/(d/(-19)) a multiple of 17?
False
Let c(m) = -35*m - 1. Let h be c(1). Let n = -23 - h. Suppose -n = -o - 5. Is 4 a factor of o?
True
Let a be (6 + -8)*1*(-91)/2. Suppose 6*q - q - 4*y = 178, -a = -2*q - 5*y. Does 17 divide q?
False
Let y(t) = 5*t - 51. Let j be (-4)/(16/(-20))*(-46)/(-10). Is y(j) a multiple of 32?
True
Suppose i + 0*q = -2*q + 616, q = -5. Is 3 a factor of i?
False
Let r be 334/(-4) + 6/(-4). Let i be r/(-51)*1*3. Suppose o + 3*p - 7 = 0, -4*p = -i*p. Is 3 a factor of o?
False
Suppose 801 = 3*c + 3*h - 162, 967 = 3*c + h. Is c a multiple of 19?
True
Suppose 446 = -2*q - 2*i, 10*q - 5*q + 1079 = 4*i. Let f = -92 - q. Suppose -5*p + 10 = 4*t - f, -p - t = -28. Does 8 divide p?
False
Let j(g) = g**2 + 12*g - 4. Is j(14) a multiple of 12?
True
Suppose -s + 15 = 4*s. Let o = s + 1. Let q = o - -27. Is 16 a factor of q?
False
Let v = -4 + 14. Let u be (-8)/v + 558/(-15). Let p = 126 + u. Is p a multiple of 27?
False
Suppose 4*j + 2*i - 306 = 0, -4*j = -5*j + i + 69. Suppose 0 = j*l - 76*l + 160. Is 20 a factor of l?
True
Let t(b) = -7*b - 3 - 6*b + 12*b + b**3 + 3*b**2. Let w be t(-3). Suppose w = -4*a - 0*u - u + 176, -a - 4*u = -44. Does 16 divide a?
False
Let t be ((12/(-8))/1)/((-3)/158). Suppose t = l - 2*u, -13 = -2*u - 5. Does 20 divide l?
False
Suppose 0 = 4*z + 5*z - 4581. Does 100 divide z?
False
Suppose -255 - 171 = -t + 2*g, 0 = -5*t + 2*g + 2106. Is t a multiple of 5?
True
Let t = 3012 + -1428. Is 24 a factor of t?
True
Let i(f) be the third derivative of -1/6*f**3 + 0*f + 0 + 1/24*f**4 + 1/15*f**5 + 7*f**2. Is 7 a factor of i(-3)?
False
Let l = -5366 - -7690. Is 10 a factor of l?
False
Let d = -304 + 546. Suppose 2*z - 254 = -3*z - 3*q, q = 5*z - d. Is 20 a factor of z?
False
Let d(k) = 8*k**2 + 37*k + 46. Is d(-14) a multiple of 69?
False
Let m(u) = 39*u - 50. Let p(a) = 40*a - 52. Let w(x) = 6*m(x) - 5*p(x). Does 32 divide w(4)?
True
Suppose -5*s + 5*b = -2290, -2*b + 5*b + 912 = 2*s. Does 6 divide s?
True
Let l(a) = -a**2 - 2*a - 2. Let q be l(-2). Is (2/(-4))/(q/216) a multiple of 11?
False
Let z = 507 + -149. Does 33 divide z?
False
Suppose 5*w + 3*j + 2*j + 5 = 0, 4*w = 2*j + 14. Let m(h) = 7 - 3*h + 3*h**2 - 2*h**w + 0 + 1. Is m(8) a multiple of 22?
False
Let x(n) = n**3 + 5*n**2 - 7*n - 6. Let s be x(-6). Let z(r) = 3*r**3 + 8*r**2 - 7*r + 5. Let f be z(5). Suppose 5*d + 30 - f = s. Is d a multiple of 26?
False
Let v(n) = 8*n**2 + 4*n + 1. Let c be v(-4). Suppose -q + 2*x + 0*x + 2 = 0, 0 = 5*x. Suppose -2*u + c = u - 2*h, -q*u + 72 = -3*h. Is 8 a factor of u?
False
Suppose -3*q = g - 34 - 206, -5*g = 15. Is q a multiple of 3?
True
Let w(x) = 25*x**3 + 8*x**2 + x + 1. Let b(t) = 12*t**3 + 4*t**2 + t + 1. Let u(o) = -5*b(o) + 2*w(o). Let k be u(-3). Suppose 7*m = 2*m + k. Does 16 divide m?
True
Let f(h) = 6*h + 9. Let r(k) = 3*k + 5. Suppose 21 = -5*i + 6. Let p(q) = i*f(q) + 5*r(q). Does 22 divide p(-8)?
True
Let y(z) = -3*z - 9. Let x be y(-4). Let g(t) = 3*t + 6 - x*t - t + 7. Is 12 a factor of g(-11)?
True
Let p(o) = -o**2 + 3*o - 2. Let q be p(2). Is (1 + 11)/(q + 1) a multiple of 4?
True
Suppose h - 455 = 7*f - 2*f, 0 = -h - 4*f + 464. Suppose p + h = 5*p. Does 33 divide p?
False
Suppose -3452 = -5*m + 223. Is 35 a factor of m?
True
Let x(v) = 4 + 9 + v**3 - v**2 - v - v**2 - 15*v**2. Let s be x(17). Let z(t) = 4*t**2 - t. Is z(s) a multiple of 14?
False
Let i be (60/(-25))/(6/1365). Let v be i/(-8) + 4/(-16). Suppose 4*n - v = -c, 0*c - 4*c - 3*n + 259 = 0. Is 16 a factor of c?
True
Let r be ((-2)/8)/((-6)/72). Suppose 5*t - 16 = 5*m - 2*m, -2 = -2*m - r*t. Is 11 a factor of (-3 - 153/6)*m?
False
Let p be -1 - (-3 + 4 - 72). Does 25 divide (1 - p/8)*-4?
False
Suppose -1296 = -10*l + 6*l. Is l a multiple of 54?
True
Let f = -7 + 22. Let v be 7/5 + 9/f. Is 20 a factor of v*1/(2/29)?
False
Suppose 3*c - 112 = -4*m, -5*c + m + 184 = 5*m. Suppose -c = -d + 57. Is 22 a factor of d?
False
Let h be (-4)/(-6) - 50/(-6). Let v(c) = c**3 - 10*c**2 + 8*c + 10. Let f be v(h). Let y = f - -53. Does 13 divide y?
False
Does 17 divide (11/22 - (-1)/(-2)) + 612?
True
Let u(n) = -4*n - 21. Let v(i) = 5*i + 20. Let w(x) = -4*u(x) - 3*v(x). Does 5 divide w(11)?
True
Let d(m) = 3*m + 59. Let y be d(0). Let