**2 + 26*t + 2. Is 4 a factor of d(-3)?
False
Suppose -3*n - 8*s + 63 = -11*s, -4*s = 4*n - 52. Suppose 29792 = 24*c - n*c. Suppose 2*i - c = -17*i. Does 32 divide i?
True
Suppose 4*z = -4*r - 4, 2*z = 4*r - 0*z - 14. Let v(g) = 2*g**2 - 19. Let b be v(-4). Suppose 4*t + 5 = b, -3 = -k + r*t. Is k a multiple of 2?
False
Let n be (3 + (-1)/1)*(-11 + 12). Let x(h) = -4*h**n + 19*h + h + 27 - 8 + 5*h**2. Is 19 a factor of x(-20)?
True
Let t = 43 + 287. Let q = t + -153. Is 59 a factor of q?
True
Suppose -4*l + 2*i = -17762, -3*l - 2*i + 3*i + 13319 = 0. Does 68 divide l?
False
Let l(j) = 3*j**3 + 4*j - 32. Let n be l(5). Suppose 0 = 4*p - n - 17. Is 5 a factor of p?
True
Let u(j) = -j**3 - 7*j**2 + 5*j + 16. Suppose -4*a = -3*q - 101, -3*q + 74 = 4*a - 9. Let d = a - 31. Does 10 divide u(d)?
True
Let y(r) = r**3 + 7*r**2 + r + 2. Suppose j + 192 = 4*b + 5*j, 0 = 4*b - 3*j - 171. Let z be (-1)/2 - b/18. Does 5 divide y(z)?
True
Suppose -190*j - 4530 = -196*j. Does 4 divide j?
False
Is (2/(-4))/((-45)/3113658) + (-1)/5 a multiple of 31?
True
Let r(h) = -2*h + 27. Let x be r(14). Let q be 0 - 0 - (-2)/(0 - x). Does 12 divide (q - -2)*29 + 1?
False
Suppose 0*q - 3*q = -12. Suppose -4*g = -3*u, q*u + 6 = 4*g + 2. Is 31/u*(-44)/11 a multiple of 8?
False
Suppose 78*f - 79*f = 4*i - 25890, -i + 3 = 0. Is f a multiple of 38?
True
Let l = 2 + 1. Suppose -105 = -5*h - 95. Suppose 11 - h = -l*u, 99 = 5*z + 2*u. Does 10 divide z?
False
Suppose 36*n - 41*n - 2*f = -15150, -5*n + f + 15150 = 0. Is 10 a factor of n?
True
Let n(u) = 667*u + 189. Let i be n(3). Suppose i + 4810 = 7*j. Is 10 a factor of j?
True
Let n be (-2)/(-5) - 1*(-12896)/10. Is 18 a factor of n/(-9)*(-18)/12?
False
Is (2/(-4))/(-4 - 11562/(-2892)) a multiple of 4?
False
Suppose 23*n - 10*n = -39. Suppose 10 = 3*h + 4*v, -5*v + 4 = 4*h - 2*v. Is 14 a factor of (h + 20)*(-10)/n?
False
Let c be (0 + 2)*(-6)/(-12) - -2. Let z be -7 - c/(-1) - -10. Let k = 20 - z. Is k a multiple of 14?
True
Suppose -19*d + 24*d + 1975 = 2*u, 0 = -2*u - 3*d + 1951. Is 14 a factor of u?
True
Let t(z) = z**2 + 9*z + 9. Let s(d) = d**2 + 1. Let i(o) = o**2 + 8*o + 8. Let c(u) = -i(u) - s(u). Let p be c(-4). Is 4 a factor of t(p)?
False
Let k(r) = 2*r**3 - 17*r**2 + 7*r + 11. Let v be k(8). Suppose -3*l - 2*g = -165, -g - 51 = -l - v*g. Is l a multiple of 19?
True
Let p(v) = -31*v - 2. Let n(u) = u**2 - 5*u - 30. Let k be n(8). Let o be p(k). Suppose -o = -4*m + 24. Is m a multiple of 13?
True
Let q = -54 + 94. Suppose -2*o + 182 = 4*r + q, 5*r = -o + 77. Does 7 divide o?
False
Let o(p) = 127*p**2 - 106*p - 20. Does 33 divide o(8)?
True
Let t(m) = m**2 - 2*m + 3. Let s be t(-3). Suppose 0*i - 54 = -3*i + 3*b, -i + 4*b = -s. Is i/27*5*9 a multiple of 10?
True
Let i(d) = d**3 + 75*d**2 + 147*d + 195. Is 22 a factor of i(-73)?
False
Suppose -13*i + 4*i + 855 = 0. Let a = 317 - i. Does 9 divide a?
False
Let h(j) = -j**3 - 10*j**2 - 32*j + 186. Does 3 divide h(-15)?
True
Let y(g) = g. Let f(q) = -115*q + 23. Let d(t) = -f(t) - 4*y(t). Let n be d(3). Suppose 6*j - 3*j = -4*s + 420, -3*s + n = j. Is 17 a factor of s?
True
Let i = 2978 - 2753. Is 5 a factor of i?
True
Suppose 0 = -2*h - 5*o + 6936, 0 = -9*o + 7*o - 8. Suppose -312 = -5*n + h. Is n a multiple of 82?
False
Let c(s) = -18*s - 74 + 48*s + 37 + 38. Does 2 divide c(1)?
False
Suppose 8*t + 3 = -5*i + 5*t, 0 = -5*i + 5*t + 5. Let u be (0/(i + 4))/1. Let a(b) = -b**3 - b**2 + b + 14. Is 7 a factor of a(u)?
True
Suppose 57*v - 27*v - 27*v - 36756 = 0. Is 16 a factor of v?
False
Suppose -4*f + 377 = -5*u + 55, -3*u - 204 = 3*f. Is 3 a factor of -2 - 0 - (6 + u - 0)?
False
Let u(q) = q**3 - 18*q**2 - 9*q - 23. Let x be u(18). Let i = -138 - x. Does 9 divide i?
False
Let c(p) be the second derivative of -p**4/6 - 17*p**3/6 - 3*p**2 - 32*p. Let i be c(-8). Suppose -i*x + 45 + 85 = 0. Does 13 divide x?
True
Let d = 216 + -416. Let u = d + 360. Is u a multiple of 32?
True
Let b = 24787 + -8077. Is 10 a factor of b?
True
Suppose -8*u = -3*u + 235. Let f = u - -123. Let v = 159 - f. Is v a multiple of 8?
False
Suppose -439*w - 884032 = -6118668. Is w a multiple of 44?
True
Let c be (194/3)/((-7)/(-42)*2). Let b = c - -257. Is 14 a factor of b?
False
Let s = -8445 + 17405. Is s a multiple of 16?
True
Let c = -4071 + 10634. Is c a multiple of 80?
False
Suppose -179*z - 15117 = -4*f - 182*z, 5*z = 5*f - 18870. Is f a multiple of 11?
False
Let b(f) = 717*f. Let n be b(1). Let h = n - 510. Does 23 divide h?
True
Is 63 a factor of (0 - -282)*26460/360?
True
Does 17 divide -13 - (3 + 7 + -84)?
False
Suppose -5*k + x + 20 = -4*x, -8 = -2*k + 5*x. Suppose -3*n = k*l + 628, -2*n + 0*l - 442 = -2*l. Is (n/84)/(1/(-21)) a multiple of 9?
True
Let j be (-16)/4*39/26. Is 4 a factor of (8/j)/((-1)/147)?
True
Suppose -r = -2*h - 12, 3 = 4*r + h - 0. Suppose -5*g = 2*a - 15, 4*g = r*a - 22 - 20. Is 2 a factor of a?
False
Does 45 divide ((10/(-6))/(-1))/(-43 - 5892104/(-137025))?
True
Let v(d) be the third derivative of 1/120*d**6 + 0 + 0*d - 13*d**2 + 4/3*d**3 + 11/24*d**4 - 1/5*d**5. Does 3 divide v(11)?
False
Let c(p) = -p**3 - 8*p**2 - 8*p - 7. Suppose 15 = 2*u + 29. Let x be c(u). Suppose x = -4*w + 129 + 7. Is w a multiple of 17?
True
Let o(u) = -7*u**2 - 34. Let i(r) = r**2 - 1. Let c(y) = 5*i(y) + o(y). Let v be c(-14). Let d = -239 - v. Is d a multiple of 30?
False
Let i be (-1)/(1 - 24/30). Is (-284)/(-6)*(-15)/i a multiple of 50?
False
Suppose 0 = -14*o + 35*o - 8*o - 18395. Does 4 divide o?
False
Let a be (18/4)/(96/4480). Let h = a - 120. Is h a multiple of 6?
True
Is -744*((-258)/60 + 7)*20/(-6) a multiple of 18?
True
Suppose 28753 = 14*q - 17573. Does 153 divide q?
False
Is 153 a factor of (7 + -22 - -48144 - 5*1)/2?
False
Let d(n) = 145*n**2 + 75*n - 492. Is d(7) a multiple of 43?
True
Is 102 a factor of 43209 - 268/670*(-6*1 + 1)?
False
Suppose -224465 - 81601 = -87*f. Is 10 a factor of f?
False
Suppose -2*y + 3*l - 50 = -4*y, 2*y = 2*l + 40. Suppose 2*t + 460 = 3*g, -4*g + 18*t = y*t - 640. Is g a multiple of 4?
True
Suppose 12 = -39*r + 36*r, 3*r = 3*m - 10773. Suppose 1109 = -3*i + m. Does 84 divide i?
False
Is ((-4)/5)/(103/(-273980)) a multiple of 14?
True
Does 177 divide ((-1180)/5)/(13/(-6) - -2)?
True
Suppose 5*n + 20 = 3*c, -c + 2*c - 5*n = 10. Suppose 5*k = 4*r - 0*k - 309, -3*r + 228 = -c*k. Does 27 divide r?
True
Suppose -3*x + 243 = -2*q + 2*x, -5*x = 3*q + 427. Let w = 80 + q. Let t = 75 + w. Is t a multiple of 7?
True
Let b(l) = -l**3 - l**2 + l - 4536. Let z be b(0). Does 69 divide (-1 + (-146)/(-8))/((-42)/z)?
True
Let m(k) = 2*k**3 + 12*k**2 - k + 5. Let z be m(-6). Suppose z*p = 340 + 56. Is p a multiple of 2?
True
Let d = -9947 - -10458. Is 25 a factor of d?
False
Let i = -28 - -36. Suppose 690 + 382 = i*r. Suppose -a + 0*w + 5*w = -r, -4*w = 2*a - 212. Is a a multiple of 19?
True
Let a = 1076 - 718. Suppose -1184 = -5*o + 3*l - a, 3*l + 6 = 0. Does 4 divide -5 + 130/25 - o/(-5)?
False
Does 69 divide 456/1*(-167)/(-44)*11 - -6?
True
Let c = -223 - -346. Suppose 3*j - 127 - c = -2*h, j - 5*h = 89. Is 19 a factor of j?
False
Suppose -37*c - 27963 = -76*c. Is c a multiple of 8?
False
Let b(i) be the third derivative of 19*i**7/840 - i**5/120 - 4*i**4/3 + 43*i**2. Let g(x) be the second derivative of b(x). Does 28 divide g(1)?
True
Let v(r) be the second derivative of 2*r**5/5 - r**4/3 + 3*r**3/2 - 9*r**2 + 5*r + 6. Does 9 divide v(3)?
True
Let a be (-6)/(-10) + (-312)/(-5). Let r = a - -78. Suppose -2*q = 2*p - 222, 5*p = q - 0*q - r. Does 19 divide q?
False
Let g = -257 - -377. Let k = 215 - g. Does 26 divide k?
False
Suppose -37*d = 74 + 518. Let x(u) = -u**2 - 16*u - 18. Let w(i) = i + 1. Let s(p) = -4*w(p) + x(p). Does 8 divide s(d)?
False
Let q(k) = 21*k**2 - 32*k + 244. Let f(x) = -5*x**2 + 8*x - 61. Let m(u) = -9*f(u) - 2*q(u). Is 4 a factor of m(9)?
True
Let f = 2 - 0. Suppose 0 = -f*t - 2 - 40. Let a = t - -41. Is 4 a factor of a?
True
Suppose 0 = -2*h - 11*h + 27300. Is 16 a factor of h/56*32/5?
True
Let l(x) = 15*x + 88. Let w(q) = -17*q - 85. Let v(j) = 4*l(j) + 3*w(j). Is v(4) a multiple of 3?
False
Suppose -28*h + 23*h + 6255 = -5*v, 3*v - 6279 = -5*h. Is 8 a factor of h?
False
Let w(p) = -p**2 - 115*p + 2197. Is w(-103) a multiple of 27?
False