 - 3585. Let g = j - -1065. Is 28 a factor of g?
True
Is 14 a factor of ((-1644)/(-8))/(-16 + 123952/7744)?
False
Suppose 5*u + 503 = 2*z + 158, -4*z = -2*u - 122. Let s = u - -73. Does 8 divide 8/(-4 + 9/s)?
True
Let d(t) = 1237*t**2 - 51*t + 153. Is 19 a factor of d(5)?
False
Let k = -1613 - -2657. Suppose 1039*c - k*c + 1590 = 0. Is c a multiple of 16?
False
Suppose -2*p + 4*r = -2052, -4*r - 2 = 6. Does 34 divide p?
False
Is 14 a factor of (-20)/12*(-126)/(-12)*-36?
True
Let j be 5 + (-2)/1 - (-53 - -42). Let b(g) = -g**3 + 16*g**2 - 18*g + 28. Does 21 divide b(j)?
True
Let d(y) = 2*y**2 + 10*y + 9. Let o be d(-3). Let z(f) = 4*f**2 - 5*f - 23. Let s(j) = -5*j**2 + 6*j + 22. Let g(x) = o*s(x) - 2*z(x). Is 43 a factor of g(-6)?
False
Suppose 40*q - 41*q = 4*c - 7370, 4*c + 5*q - 7394 = 0. Is 7 a factor of c?
True
Does 172 divide -6 - (174/(-406) - (-71852)/(-7))?
False
Suppose -21*x + 10075 + 21010 = -21226. Does 47 divide x?
True
Let g be 160/(-60)*(-63)/12. Let u(w) = 6*w**2 - 87*w + 46. Does 4 divide u(g)?
True
Let u(b) = b**2 + 4*b + 7. Suppose -3*m = s + 5, 0*m + 5*m - 5*s + 35 = 0. Let q be u(m). Suppose q*l = -0*l + 240. Does 10 divide l?
True
Suppose 14693 + 9707 = 5*m. Is m a multiple of 20?
True
Suppose 4*q - 1765 = -q. Let t be 2/19 + (-2652)/(-76). Suppose 6*h - q = -t. Does 4 divide h?
False
Suppose -63*z = -67*z - 20. Let v(p) be the third derivative of -p**6/40 - 2*p**5/15 - p**4/4 - 7*p**3/6 + 2*p**2 + 19. Is v(z) a multiple of 7?
False
Let r(p) = 2*p**2 - 8*p + 10. Let x be r(3). Let j(y) = y + 15 - 2 + x. Is j(15) a multiple of 7?
False
Let h(g) = -54*g + 1028. Does 4 divide h(6)?
True
Let x(s) = -s + 19. Let d be x(-19). Let j be (0/2 - -55) + 52/13. Let l = j - d. Is l a multiple of 9?
False
Let m(w) = -26*w - 362. Let u be m(-14). Suppose -a = -4*r + 2*a, 0 = -2*r + 2*a. Suppose -u*p + 282 = -2*t, r = p + 3*t - t - 147. Is p a multiple of 19?
False
Let z(d) = -4*d + 56. Let m be z(13). Let k(w) = w**2 - 5*w + 8. Let i be k(m). Let o = 76 - i. Is 18 a factor of o?
True
Suppose 14*x = 16*x - 24. Let o = x + -24. Does 9 divide o*-3*21/18?
False
Let t(f) = 678*f**3 + 2*f**2 - f + 1. Let k be t(1). Suppose 4*b - 3*n - k = 3206, -3*b + 2906 = 2*n. Is b a multiple of 13?
False
Let s be 4*(-3)/(-7)*7/(-2). Let z be (-3)/(-36)*4 - (-1076)/s. Let a = -95 - z. Is a a multiple of 9?
False
Suppose -21*d + 5*v = -18*d - 3796, -5070 = -4*d - 2*v. Suppose 1973 = 12*m - d. Is m a multiple of 5?
True
Let g = 235 + -228. Is (g/(-28))/(5/(-19060)) a multiple of 42?
False
Suppose 5*v = 2*z + 111 + 4, 5*v = -z + 115. Let h(f) = -1 + 128*f + v*f**3 - f**2 - 3*f**3 - 127*f. Is h(1) a multiple of 19?
True
Let f = 70 - 59. Suppose -3*p = 4*h + f, 4*p - 2*h - h = 27. Suppose -4*b + 0*s + 187 = -5*s, -p*b + 123 = 2*s. Does 10 divide b?
False
Suppose 2*z = k - 4*k + 32, 4*k - z - 50 = 0. Suppose -40*h + 37*h = -k. Is h*(-6)/(-12) + 246/2 a multiple of 20?
False
Suppose -175*v + 169*v = -78. Let l(g) = g**3 + 3*g - 2. Let i be l(2). Suppose -i*w = -v*w + 129. Does 13 divide w?
False
Let z = 34 + -18. Suppose 2*k = 4*k - 5*c - 25, -3*k + 3*c = -15. Suppose k = -u + z. Is u a multiple of 4?
True
Let t(j) = 13*j**2 - 5*j - j**3 + 37 + 3*j - 10*j - 19. Is 2 a factor of t(12)?
True
Let n(b) = -1336*b**3 + 3*b**2 - 2*b. Let c be n(1). Is 18 a factor of -3*(3 - c/(-9))?
False
Suppose -2*g = -2*k + 10, 5*g + 18 = 3*k - 3. Let d(s) = -s**2 - 3*s + 2. Let m be d(g). Suppose -2*c + 5*h = -c - 170, -m*c - 5*h = -265. Does 13 divide c?
False
Let c = -929 - -933. Let h be 4/(-6) + 384/9. Suppose -2 - 18 = -4*z, 2*k - c*z - h = 0. Does 28 divide k?
False
Is 6 a factor of (151851/(-882))/((-1)/30)?
False
Suppose -15*s - s + 544 = 0. Suppose s - 594 = -2*c. Is 28 a factor of c?
True
Suppose 9*y - 5398 = 2881 + 18793. Is 11 a factor of y?
False
Suppose 3*x + 5*k = -x + 17, -k = -5*x + 14. Let o be (-237)/(-3) - (4 - x). Is 5 a factor of (13/(o/20))/(2/24)?
True
Suppose 4*x - 33 = 15. Let y = -9 + x. Suppose -t + 4*z = -12, -5*t + 2*z + 135 = -y*z. Is t a multiple of 4?
True
Is 44 a factor of (4/8)/((-25)/(-433050))?
False
Let p = -168 + 185. Suppose -11*x - 1074 = -p*x. Is x a multiple of 7?
False
Let t(d) = d**2 + 2*d + 209. Let j be t(0). Suppose j*o - 320 = 207*o. Suppose -3*w + o = 2*w. Is 21 a factor of w?
False
Let q(s) = -6*s**3 - 28*s**2 + 358. Is q(-11) a multiple of 28?
True
Does 124 divide (-40 + -2)*(-32904)/216?
False
Suppose -5*g + 23 = -27. Suppose g = 226*m - 224*m. Suppose -8*f = -3*f + m*p - 250, p = -5*f + 266. Is 5 a factor of f?
False
Let p = 767 + -463. Does 4 divide p?
True
Let n = 55 + -32. Let x(y) = y**3 - 23*y**2 + 6*y - 26. Does 37 divide x(n)?
False
Let c(k) = 16*k - 3*k - 10*k - 20. Let p be c(9). Let t(j) = 4*j - 6. Is 11 a factor of t(p)?
True
Suppose 4*s + 20 = 0, -7*s + 4*s = q - 393. Does 34 divide q?
True
Let c(s) = -218*s + 3226. Is 15 a factor of c(-58)?
True
Suppose 9*c - 16*c - 763 = 0. Let g = c - -112. Suppose 0 = -g*v, -4*x - v - v + 468 = 0. Does 22 divide x?
False
Suppose -5*d + 5*n = -34420, -3*d - 2*n + 22949 = 2317. Is (3 - d/(-24)) + 2/(-3) a multiple of 6?
False
Let k be (-2)/(-16) + 5388/(-96). Is (-252)/(-49)*k/(-2) a multiple of 36?
True
Is 9 a factor of 50/(-75)*-1194 - -5?
True
Let s = -292 + 983. Let b = s - 371. Is b a multiple of 32?
True
Suppose y = -4, -y + 16 = n + 3*n. Suppose 2*i + 9*w = 13*w + 72, w = -n. Is 13 a factor of i?
True
Let s(p) = 4*p**3 + p - 1. Let t be ((-6)/(-4))/((-2)/(-96)*4). Let j = 19 - t. Is s(j) even?
True
Is ((-66)/(-3))/((-16)/(-4648)) + -8 a multiple of 13?
True
Let d(z) = -8*z - 10. Let k(a) = 8*a + 9. Let y(n) = -4*d(n) - 3*k(n). Suppose 20 = -6*t + 14. Is y(t) a multiple of 2?
False
Suppose 2*c = -4*z - 3436, -c + 25 = 4*z + 3461. Let d = 1435 + z. Is 48 a factor of d?
True
Suppose 5*r - 48*h + 47*h = 47, -h + 33 = 3*r. Does 15 divide (-1425)/r*(-1 + -1)?
True
Suppose -13020 - 33294 = 31*q. Does 5 divide q/(-90)*(-10)/(-2)?
False
Let h(f) = f**2 + 4*f - 36. Let r be h(-9). Suppose -r*k - 38 = -236. Does 5 divide k?
False
Suppose 5*s - 95091 = l, -16*l = -4*s - 14*l + 76068. Is 12 a factor of s?
False
Suppose -1691 = -20*z - 551. Suppose 0 = -c - 2*m + 49, -m + 56 = 2*c - z. Does 15 divide c?
False
Let l(y) = -18*y**2 - 3*y - 4. Let q be l(-2). Let a = q + 77. Is 7/(a/(-38))*-1 a multiple of 6?
False
Let d = 29782 - 22390. Is 32 a factor of d?
True
Suppose -90 + 5990 = 5*w. Suppose 10*h = -100 + w. Is 9 a factor of h?
True
Let y = -2862 - -6034. Is y a multiple of 26?
True
Let k = -4562 + 6835. Does 2 divide k?
False
Let i be (-46)/(-621) + 17004/81. Let z = 508 + i. Is 9 a factor of z?
False
Let w be 20/(-5)*(-27)/12. Let l(h) = h**3 - 10*h**2 + 11*h - 10. Let b be l(w). Does 3 divide (3 + 6/(-4))*b?
True
Suppose -4*q + 0*u + 5*u = -84, -2*q + 3*u + 44 = 0. Let z be (-2408)/q - (-1)/(-2). Does 17 divide (-12)/(-24) + z/(-2) + -2?
False
Suppose 48 = 3*s - 2*l, -12 = 7*l - 3*l. Is 7 a factor of s?
True
Let q be (((-2)/6)/(40/120))/(4/(-8)). Suppose 2*b - 20 = -2*b. Suppose k = b*a + 208, -q*k + 3*k = a + 204. Is 12 a factor of k?
False
Let t(i) = -2*i**2 - 17*i + 57. Let q(l) = -l**2 - 7*l + 28. Let c(z) = -9*q(z) + 4*t(z). Let m(p) = p**2 + 4*p + 6. Let x be m(-6). Does 36 divide c(x)?
False
Suppose -3*o + 4*t + 17 = 0, o - 4*t - 3 = 16. Let m be (-39)/o*9/1. Suppose 91 = -10*z + m. Is 13 a factor of z?
True
Let c be (-22)/55 + (-64)/10*14. Let o = c - -163. Let h = -61 + o. Is h a multiple of 3?
True
Let t = -105193 - -152362. Is 16 a factor of t?
False
Suppose 2*f - 2*o - o - 743 = 0, 0 = 4*f + 4*o - 1516. Suppose 0 = -4*c - f + 1324. Is c a multiple of 49?
False
Let f be (1*-1)/((-6)/174). Suppose 9*b + 133 = -f. Let i = b - -113. Is i a multiple of 11?
False
Let f(m) = -4*m**2 - 5*m**3 + 0*m**3 + 4 - m**2 + m + 0*m**2 + 6. Let n(p) = -p**3 - 9*p**2 - 8*p - 3. Let a be n(-8). Is f(a) a multiple of 7?
False
Let r(q) = -113*q - 1. Let c be r(-1). Suppose 327 = 5*u + 4*t - 185, 0 = -u - 4*t + c. Suppose u + 10 = f. Is 22 a factor of f?
True
Let v = -5971 - -9170. Is v a multiple of 10?
False
Suppose 0 = 7*d - 13 - 22. Let b(q) = 55*q - 119. Is 6 a factor of b(d)?
True
Suppose -2*q + 7*g - 8*g + 7094 = 0, 2*q - 7054 = 9*g. Is q a multiple of 5?
True
Let w(d) = 8*d**3 + 126*