u**2 + 4. Does 25 divide r(3)?
False
Let t(o) = -o**3 - o**2 - 6*o - 16. Let y be t(-5). Let r = 12 + y. Is r a multiple of 14?
True
Let m = 356 - 317. Does 14 divide m?
False
Let i be (2 - 4)/((-2)/(-4)). Does 38 divide ((-38)/i)/(7/168)?
True
Let g be (-5)/(((-3)/(-1))/(-3)). Let a(y) = -1 - 7*y**2 + 2 + 8*y**2. Is 18 a factor of a(g)?
False
Let a(q) = q**3 + q**2 + 4*q + 6. Let p(t) = -t**3 - t**2 - 1. Let g(o) = a(o) + 3*p(o). Does 8 divide g(-3)?
False
Suppose 0 = -62*l + 64*l - 146. Does 58 divide l?
False
Suppose 17*x = 16*x + 1. Does 8 divide x - (-3*2 - 2)?
False
Suppose -2*x + 5 = -5. Let j(a) = 4*a - 19. Let b be j(6). Suppose l + 53 = x*k, 2*k - 18 = b*l - 6. Is 3 a factor of k?
False
Let p = -15 + 16. Suppose 2*c - 4*c - 2*n = -6, 2*c = 3*n + p. Suppose -5*d - c = -132. Does 10 divide d?
False
Let g(y) = y**2 + 15*y + 79. Is g(-15) a multiple of 10?
False
Let f(c) = 2*c + 9. Let u be f(-8). Let b(w) = 2*w**3 + 4*w**2 - 6*w. Let y(v) = -5*v**3 - 7*v**2 + 11*v. Let k(n) = u*b(n) - 3*y(n). Is k(6) a multiple of 12?
False
Suppose -5*o + 6 - 311 = 0. Does 3 divide 3/(-18) - o/6?
False
Let q(k) = k**3 - 3*k**2 - 4*k + 3. Let g(j) be the first derivative of j**4/4 + 4*j**3/3 - j**2/2 + 1. Let p be g(-4). Does 3 divide q(p)?
True
Let c = 913 - 430. Is c a multiple of 23?
True
Suppose 4*b + 5*o + 42 = 122, 0 = 2*b + o - 34. Suppose -2*m + b = 3*m. Suppose 2*j - 2*f = 62, -m*f + 15 = 2*j - j. Is 9 a factor of j?
True
Suppose -11*b + 22084 = 3549. Is 61 a factor of b?
False
Is 5 a factor of ((-4)/(16/17))/((-10)/1600)?
True
Suppose -20*z = -24*z + 96. Does 20 divide z?
False
Let p = 98 + -222. Let y = -71 - p. Is 3 a factor of y?
False
Suppose -4*j - 213 = -65. Let m = j - -67. Is 30 a factor of m?
True
Suppose -11 = -v + 12. Let k = 59 - v. Is 14 a factor of k/15*20/3?
False
Let o(d) = -28*d - 314. Is o(-38) a multiple of 30?
True
Suppose 9 = s - 8. Suppose 0 = -k + 4*a - 15, 3*k - 5*a + s = -0*k. Suppose 6 - k = n. Is n even?
False
Let a = 176 + -98. Does 3 divide a?
True
Suppose 5*q = -m + 5*m - 39, -5*q = -2*m + 27. Suppose 2*f = m*f - 260. Is 13 a factor of f?
True
Let s(i) = 2*i**2 - 22*i + 17. Is 160 a factor of s(62)?
False
Suppose 5*i - 58 = -u - u, 0 = 5*i - 10. Suppose m - 4*m = u. Let q = 12 - m. Does 7 divide q?
False
Does 91 divide 4364/4 + -17 + 18?
True
Suppose 112 = 3*k + k. Suppose -2*y = -5*l + 2*l + k, -y = -3*l + 29. Suppose -h - h = -l. Is h a multiple of 3?
False
Suppose 2*n = -3*l + 34, 4*n = 6*n - 3*l - 46. Does 10 divide n?
True
Let u = -1150 - -2213. Does 7 divide u?
False
Let i be (0 + -42)*6/(-4). Suppose -203 = -10*s - i. Does 3 divide s?
False
Does 16 divide 114/741 + 1088/26?
False
Suppose z - 2*p - 10 = -p, 0 = 2*z - 4*p - 16. Suppose -z*w + 240 = -9*w. Is w a multiple of 33?
False
Suppose -11*k = 961 - 3579. Is 7 a factor of k?
True
Suppose 0 = v + 3*r - 459, -4*v + 91 = 4*r - 1785. Does 8 divide v?
False
Let a = -551 + 1139. Is a a multiple of 12?
True
Suppose 177*q - 1052 = 173*q. Does 15 divide q?
False
Let a(i) = -758*i - 226. Is a(-2) a multiple of 30?
True
Let z = -947 - -2084. Is z a multiple of 7?
False
Let k be ((-2)/3)/((-12)/(-882)). Let u = k - -21. Does 14 divide (u/(-6))/(4/24)?
True
Suppose 0 = -50*x + 28*x + 15114. Is 5 a factor of x?
False
Suppose -35 = 2*l - 5*k, 2*l - k + 25 = 2*k. Let m(v) = -17*v**2 + 2*v - 9. Let t(f) = 9*f**2 - f + 5. Let b(i) = l*t(i) - 3*m(i). Is 9 a factor of b(-2)?
False
Is 18 - (6 - 5) - 2 a multiple of 3?
True
Is 48 a factor of 651 - 28 - (0 - 1)?
True
Let s = -94 - -468. Is s a multiple of 17?
True
Let k(q) = -33*q - 1. Let v be k(-2). Suppose 3*h = 5*w - 46 - 191, w = 5*h + v. Is 5 a factor of w?
True
Let q(i) = 2*i**2 - 2*i - 2. Let o be q(2). Is (-8)/(-12)*426/o a multiple of 13?
False
Let i = -174 - -120. Let v = i + 91. Does 18 divide v?
False
Let r = -12 - -18. Suppose -r*c = -3*c - 42. Is c a multiple of 5?
False
Suppose 0 = z + 4*z - 10. Let p(j) = 64*j**2 + 2*j + 4. Is 22 a factor of p(z)?
True
Suppose -2*h - 12 = 2. Let z(x) = -4*x + 2. Let k be z(h). Let f = k + 6. Is f a multiple of 12?
True
Suppose -1915 - 220 = -5*g. Is 61 a factor of g?
True
Suppose -7*d - 1812 = -2*k - 11*d, k + 3*d - 904 = 0. Is k a multiple of 65?
True
Suppose -m = 3*m - 524. Let v = -44 + m. Is 23 a factor of v?
False
Let y = 1368 - 294. Is 6 a factor of y?
True
Let s = -13 - -13. Suppose -z = -s*z - 3. Suppose -2*c + 170 = 3*b - 4*c, z*b - 185 = -c. Is 20 a factor of b?
True
Is 25/15*17328/40 a multiple of 38?
True
Suppose -2*g = -4*i + 6 - 8, 0 = 2*g + 3*i - 30. Suppose g*w = 1768 - 292. Does 11 divide w?
False
Let j = 295 - 125. Suppose -f - r + j = 3*r, -5*r = 2*f - 325. Is 30 a factor of f?
True
Suppose 0 = 4*f + 20, 3*f - 241 = -2*g + 108. Suppose 6*d = 920 - g. Let s = 195 - d. Does 16 divide s?
False
Suppose -n - n - 32 = -3*s, -4*n + 8 = 3*s. Let l(p) = -p**2 + 16*p + 1. Is l(s) a multiple of 13?
True
Does 32 divide (-4)/8 + 678/(-4)*-1?
False
Let f(t) = -6*t - 13. Let w be f(-3). Suppose -4*l + 2*j = -264, 356 = w*l + 4*j - 0*j. Is 34 a factor of l?
True
Let y(q) be the first derivative of 2*q**3/3 + 3*q**2/2 - 14*q + 16. Does 10 divide y(-8)?
True
Let o be 16/40 + (-216)/(-10). Let d = o + -9. Is 5 a factor of d?
False
Does 11 divide (-4)/(3*-1*(-19)/(-1881))?
True
Let s be ((-4)/(-6))/(8/6492). Suppose -6*b + 353 = -s. Does 18 divide b?
False
Let f(x) be the first derivative of 71*x**6/120 + x**5/30 - x**3/6 - 11*x**2/2 + 5. Let a(g) be the second derivative of f(g). Is 18 a factor of a(1)?
True
Let t(a) = 81*a - 2. Is t(8) a multiple of 34?
True
Suppose 0 = 5*h - 2*s + 1 - 3, 0 = 3*h + 3*s - 18. Suppose -5*w - 7 = -22, b - h*w = 22. Is 7 a factor of b?
True
Is 47 a factor of (-10)/(-155) + 91789/31?
True
Let n(q) = 30*q + 39*q + 7 - 25*q. Let v be n(3). Let p = -82 + v. Is p a multiple of 19?
True
Suppose 3*p - 3*b + 813 = 2379, -2*p + b = -1046. Suppose p = 4*h - 4*z, 0 = 3*h - 0*h + 5*z - 401. Suppose 6*s - 48 = h. Does 15 divide s?
True
Let r be ((-488)/6)/((-6)/9). Suppose 2*t = 4*t + r. Let d = t - -97. Is d a multiple of 18?
True
Suppose 10*i = -i + 33. Suppose 0 = -5*n - 2*o + 397, -5*n + 2*o - 150 = -543. Suppose 4*z - 77 = i*y, y - n = -5*z - y. Is 17 a factor of z?
True
Let s = 70 + -60. Suppose -4*b + s*b = 282. Does 24 divide b?
False
Let a(n) = 502*n**2 + 20*n + 21. Is 28 a factor of a(-1)?
False
Let n = -43 - -42. Is -24*n/1*1 a multiple of 6?
True
Let x(h) = 216*h + 9. Is 3 a factor of x(1)?
True
Let p be (-25)/2*3*-2. Suppose 4*w + 5*r = -p, 6*w - 2*w - 4*r = -120. Let s = -11 - w. Is 3 a factor of s?
False
Suppose -a = -5*j + 10, j + 6*a = 3*a - 14. Suppose -t - j = -58. Does 19 divide t?
True
Suppose -13*g = -12*g - 176. Does 8 divide g?
True
Let n(b) = -b**2 + b - 6. Let p be n(0). Let s be p/12*(-1 - 1). Does 13 divide s/((-4)/(-4)) + 98?
False
Let g(z) = -z**3 + 19*z**2 - 17*z - 19. Let y be g(18). Let q be -212*((-4)/(-16))/y. Let w = 93 - q. Is w a multiple of 20?
True
Let k(a) = 4*a**3 - 4*a - 4. Let v be k(-2). Let m(i) = 9*i - 6. Let r be m(6). Let x = r + v. Is 12 a factor of x?
False
Let y = -15 - -18. Suppose 76 = 3*x - 4*q, -y*q + 153 = 4*x + 2*q. Is x a multiple of 15?
False
Let r(j) = -32*j - 53. Does 35 divide r(-5)?
False
Suppose -3*k + 3*g + 3567 = 0, 4*g - 653 = -2*k + 1749. Is k a multiple of 13?
False
Let y(q) = 92*q**2 - 2*q + 2. Let p be y(1). Let i = p + -34. Is i a multiple of 14?
False
Let j = -42 - 88. Let b = 27 - j. Is 10 a factor of b?
False
Suppose 0 = 9*s - 7889 - 4531. Is 20 a factor of s?
True
Suppose 0 = 3*u + 14 - 17. Suppose 53 = x - 5*f, -10 = -3*f - u. Does 11 divide x?
False
Let f(q) = -11*q + 12. Let b be f(-7). Suppose 2*m = -m + 2*x + 277, -m + b = -4*x. Is 7 a factor of m?
False
Suppose 0 = -2*f - q + 4 + 15, 5*f = 2*q + 52. Suppose -2*l - 3 - f = 3*n, -3*l = -2*n. Is 19 a factor of ((-76)/6)/(2/n)?
True
Suppose 1 = -7*y + 8*y. Does 43 divide (9 + y)*43/2?
True
Let j(i) = -125*i + 110. Let p(g) = 9*g - 8. Let t(y) = -4*j(y) - 55*p(y). Suppose 2*w + 3 = 5. Is t(w) even?
False
Suppose -44*b + 119968 = 2*b. Is 16 a factor of b?
True
Suppose -2*y - 132 = 40. Let b = -51 - y. Does 5 divide b?
True
Let c(i) = 189*i - 837. Does 27 divide c(9)?
True
Suppose 10*l = 55 + 1125. Is 33 a factor of l?
False
Suppo