t j(u) = 4*u**3 + 5*u**2 - 3*u + 3. Suppose -d + 4 = -4*r - 7, 0 = -5*d + 4*r + 23. Does 49 divide j(d)?
True
Let x = -459 + 997. Is 11 a factor of x?
False
Let w = -26 - -28. Let b be 40 + 3 + 1 + w. Is 13 a factor of ((-39)/2)/((-69)/b)?
True
Suppose 3*v - 7 + 31 = 0. Let y = v - -6. Does 8 divide (3/6)/(y/(-64))?
True
Suppose -5*j + 3915 = 5*w, -8*w + 2*j + 789 = -7*w. Is 49 a factor of w?
False
Let n = -4 + 8. Let r(i) = n - 8 + 2 - 10*i. Does 12 divide r(-5)?
True
Suppose -633 - 2012 = -5*h. Suppose -s + 101 = d, -5*s + d = -2*d - h. Is 13 a factor of s?
True
Let f(s) = s**3 - 10*s**2 + 2*s + 2. Suppose 4*d - 10*d = -60. Does 11 divide f(d)?
True
Is 1/(-4) - (-7455)/12 a multiple of 27?
True
Let f be -4*(-14)/4 - 4. Suppose f*o - 162 = -52. Is 9 a factor of o?
False
Suppose 0 = 4*h + 8 - 120. Let o be (-21)/h - (-134)/8. Suppose 4*f - 16 = 0, 4*y - 3*f - o = 32. Is 5 a factor of y?
True
Let t(b) = 7*b + 51. Let w = 149 + -154. Does 16 divide t(w)?
True
Is 25 a factor of 555 + (-4 - 4)/(-1)?
False
Is 23 a factor of 879/((14/49)/(6/21))?
False
Suppose 30 = -0*z + z + 5*u, 0 = -5*z - 2*u + 81. Suppose 8*s - z = 3*s. Suppose t = -4*f + 2*t + 76, 72 = 3*f + s*t. Is 4 a factor of f?
True
Suppose c + 5*j = 232, -c - j = -0*j - 240. Is c a multiple of 3?
False
Suppose -3*z - 4*g = -4, -4*z = -3*g - 66 + 19. Suppose -209 = -5*f + o + 530, 2*o = -z. Does 21 divide f?
True
Does 5 divide 4618*(-4)/(-8) - -7?
False
Let q = -461 - -376. Let o = 250 - 371. Let z = q - o. Is z a multiple of 8?
False
Suppose -12*j = -0*j - 360. Is ((-1)/(-2))/(j/6960) a multiple of 8?
False
Suppose 0 = -a + m + 12, -m - 72 = -5*a - 0*m. Suppose 3*o = a, -2*n + 3*o + 2*o = -23. Suppose -3*y = -n - 93. Is 19 a factor of y?
False
Is (-3)/(-18) - 161052/(-72) a multiple of 13?
False
Let t(u) = -u - 7 - u + 0*u + 3*u + u**2. Let n be t(-4). Suppose -3*f + 24 = 3*h - 30, n*f = 2*h + 83. Is 17 a factor of f?
True
Suppose -14*p - 1625 = -19*p. Suppose v + 163 = -2*f, 3*v + p = 2*f - 172. Let z = v - -280. Is 29 a factor of z?
False
Let x be (15/9)/((-3)/(-9)). Suppose -x*g - 1 = 2*z, 3*z - 7 = 2*z + 5*g. Suppose -b + 4*b = -3*a + 18, 0 = z*a - 2*b - 24. Is 3 a factor of a?
True
Let i(k) = -3490*k - 2. Let a be i(1). Let l be a/(-52) + (-6)/39. Suppose -8 = 2*d, r - l = -2*d - 15. Does 28 divide r?
False
Suppose m - 2399 = -3*o, -5*o - 650 = 4*m - 4660. Is o a multiple of 38?
True
Suppose 2*k - 4*k = -366. Let c = -58 + k. Is 25 a factor of c?
True
Let j = -8 - -10. Let a(b) = -b + 3 + 1 - 2*b**2 - b**3 - 1 - 5*b**j. Is 5 a factor of a(-7)?
True
Let o = 13 - 15. Let m(h) = -h**3 + 4*h + 3. Let b be m(o). Suppose -19 = -d + b. Is 8 a factor of d?
False
Let m(x) = x**3 - 7*x**2 + 5*x. Let l be m(5). Let r = l - -9. Let u = r + 40. Is 5 a factor of u?
False
Let b = -50 - -102. Let g = -98 + b. Let s = 92 + g. Is 13 a factor of s?
False
Let v(j) = 23*j**3 - 2*j**2 + 1. Let o(b) = b - 4. Let w be o(5). Let g be v(w). Let r = g - 16. Is r a multiple of 3?
True
Let d(j) = 3*j**2 - 9*j - 13. Let o(g) = 4*g**2 - 8*g - 12. Let b(i) = -5*d(i) + 6*o(i). Does 25 divide b(4)?
True
Let k(x) = -x**3 - 4*x**2 + 6*x + 2. Let w be k(-5). Let o be (-411)/(-3) - 3/w. Let n = o - 55. Does 21 divide n?
False
Let l be ((-2)/(-4) - 0)/(5/20). Suppose l*x = -m - 0*x + 130, 0 = -2*m + x + 275. Is m a multiple of 17?
True
Suppose 300 - 44 = 4*s + 3*j, 2*s - j = 128. Suppose -320*m = -315*m + 150. Let z = s + m. Is z a multiple of 13?
False
Let j = 28 - -40. Let v = 0 - -4. Let x = j - v. Does 15 divide x?
False
Suppose -15*w = -18*w + 618. Suppose -w = -4*c + 286. Does 41 divide c?
True
Does 21 divide ((-65)/(-39))/(1/219)?
False
Let f(d) = -36*d**3 + 2*d**2 + 2*d. Let h be f(-3). Let v be h/14 + 20/(-70). Is 28 a factor of v/3*(-6)/(-5)?
True
Let x(w) = 9*w + 9. Let h be x(7). Suppose -m + h = 5*m. Does 7 divide m?
False
Suppose h - 4*b - 2 = 0, b - 3 + 56 = 4*h. Suppose -i + h = 3*r, -3*i = -r - i. Suppose 69 = r*p - 51. Is 7 a factor of p?
False
Let a(h) = 2659*h**2 - 6*h - 3. Is 11 a factor of a(-1)?
True
Suppose 5*h - 290 = -5*d, 4*d - 116 = 4*h + 100. Suppose -n - n = -d. Is 8 a factor of n?
False
Let r = 6 + -4. Suppose o - 3*n = 152, -n + 304 = r*o + n. Is o a multiple of 19?
True
Suppose -34*h + 38*h = -108. Let d = 59 + h. Is 16 a factor of d?
True
Let n = -699 + 1167. Is n a multiple of 26?
True
Let v(y) = y**2 + 10*y + 19. Is v(-13) a multiple of 5?
False
Suppose 5*k - 37*p + 41*p - 671 = 0, k - 2*p - 137 = 0. Is k a multiple of 2?
False
Let m(b) = b**2 + 2*b - 4. Suppose 4*j - 7 = -35. Let o be m(j). Let q = o - -9. Does 13 divide q?
False
Suppose 3 = -k + 5. Suppose k*h = -h + 42. Is h/(-21)*(-3)/1 a multiple of 2?
True
Let y(r) be the second derivative of 6*r + 0*r**2 + 1/6*r**3 + 0. Does 7 divide y(7)?
True
Suppose 0 = 3*x - 4*b - 77, 5*b - 53 = -2*x + 6. Let k be (-117)/x - 4/6. Does 3 divide 2/10 - 64/k?
False
Let v = -904 + 1701. Is v a multiple of 10?
False
Is 9 a factor of (-6 + 14)/((-5)/((-3020)/8))?
False
Let s = -90 + 303. Is s a multiple of 71?
True
Let q be (-3)/(4*-1 + 3). Suppose 3*r - 18 = k, -2*r + 5*r + q*k = 18. Suppose 3*o - 4*i = -6*i + 49, 2*o - r = 4*i. Is o a multiple of 6?
False
Let b(w) = -2*w**2 - 20*w - 13. Let l be b(-9). Suppose 5*s + 5*h = -3 - 2, -4*h = l*s + 1. Let k = s - -38. Is k a multiple of 11?
False
Let p = 59 + -103. Let m = p + 58. Is 11 a factor of m?
False
Let l = -76 + 131. Let d = l + 9. Does 16 divide d?
True
Let v be (0 - 0) + -2 + 13. Let y = v + -7. Suppose y*q + 8 = 0, 2*o - 3*o + 35 = 2*q. Is o a multiple of 13?
True
Let r(u) = 3*u**2 - 15*u - 74. Is r(13) a multiple of 7?
True
Suppose 3*c - 5*c + 6 = 0. Suppose -27 = -c*k + 4*r + 2, 25 = -5*r. Suppose -12 = -q - 2*i, k*q + 4*i = -2*q + 54. Does 10 divide q?
True
Let o be 206 + (-3 - -2)/(-1). Suppose 2*x = 57 - o. Let m = -39 - x. Is m a multiple of 9?
True
Suppose 4*u + 3*l - 1059 = 0, 0 = 81*u - 82*u - 3*l + 267. Does 24 divide u?
True
Let p(a) = -a**2 + 6*a + 10. Let l be p(7). Let z be (19/l)/(8/24). Suppose -6 = u - z. Is 3 a factor of u?
False
Is (1 - -232) + (-9 + 7)/1 a multiple of 100?
False
Let t(y) = 0 + 6*y + 7 - 7*y**2 + 3*y**3 - 4*y**3. Is 12 a factor of t(-8)?
False
Suppose 6 = 2*j, -j = x - 1486 - 107. Is x a multiple of 7?
False
Let s be 7/21 - 543/9. Let p = s - -123. Does 16 divide p?
False
Suppose 2*i - 4*v = 724, -1455 = -39*i + 35*i + v. Does 26 divide i?
True
Suppose -18*f + 3900 = 12*f. Is 6 a factor of f?
False
Let t(z) = z**2 - 16*z + 14. Let y(x) = x**3 - 4*x**2 + 2*x - 4. Let a be y(6). Suppose m = -4*m + a. Is 6 a factor of t(m)?
False
Suppose 4 = -l, -1723 = -5*k + 3*l + 729. Is 7 a factor of k?
False
Let m(k) = k**2 + 3*k - 7. Suppose n - 17 = 3*y, 3*y - 4*n = -0*y - 23. Let q be m(y). Is 11 a factor of -3 + q + 22 + 0?
True
Let i(b) be the first derivative of b**4/4 - 3*b**3 + 5*b**2 - 2*b - 5. Let n be i(8). Let h = n - -6. Is 14 a factor of h?
False
Let r(x) = -x**2 - 4*x + 5. Let g be r(-6). Let f(j) = -j**2 - 9*j - 6. Is f(g) even?
True
Let t(y) = y**2 - 2*y + 2. Let o be t(3). Suppose -u + 13 = f - 10, o*u = f + 109. Does 11 divide u?
True
Let v(t) = -t + 12. Let n be v(12). Let m be 1*2/(-4)*(-150)/15. Suppose -4*w + 107 = -m*y, w + 5*y + 4 - 12 = n. Is w a multiple of 3?
False
Suppose 2*m - 4*h - 248 = 0, -17*m - 2*h = -21*m + 472. Does 58 divide m?
True
Suppose 8*o + 4*s + 780 = 10*o, 1962 = 5*o + 2*s. Is 28 a factor of o?
True
Suppose 4*i - 571 = 1205. Is 6 a factor of i?
True
Let r(o) be the second derivative of 5*o**3/6 + 2*o**2 - 5*o. Let x be r(-7). Let i = -12 - x. Is i a multiple of 17?
False
Is 4 a factor of 329 + 10/(-12) + 396/216?
False
Let b be (3 - 1)/(2/(4*1)). Suppose 0*y - 448 = -b*y. Is 14 a factor of y?
True
Suppose -d - 20 = -5*d. Suppose v - 20 = d*v. Is 1032/20 - 2/v a multiple of 26?
True
Suppose 32*y - 8 = 30*y. Suppose l - 7 = 3*x - 84, -4 = -y*l. Is 4 a factor of x?
False
Let l = 13 - 9. Suppose -l*a + 0*a = -56. Does 3 divide a?
False
Suppose -4*g + 14*y = 13*y - 1634, -5*y = 10. Is 24 a factor of g?
True
Let i(g) = 12*g + 9. Let n(z) = -25*z - 18. Let j(h) = -7*i(h) - 4*n(h). Is j(2) a multiple of 9?
False
Suppose 0 = -6*o + o + 145. Let j(x) = 3*x - 26. Let s be j(10). Suppose -34 = -s*b - 2*y + 32, -2*y - o = -b. Does 1