50. Is 5 a factor of t?
False
Let m(r) = -3*r**3 - r**2 - 6*r - 17. Is 44 a factor of m(-5)?
False
Let u be 228/8*(-2)/3. Let d = -10 - u. Is 8 a factor of d?
False
Suppose 4*v = -0*v + 12. Is (-7 + v - -44)/1 a multiple of 9?
False
Let o = 19 + -2. Suppose 4*x + 2*r - 20 = 0, 5 = 5*x + r - o. Suppose x*b + 40 = 3*q + 136, 4*q = 0. Is 12 a factor of b?
True
Let s(g) = g**2 + 9*g + 8. Suppose 7 + 1 = 4*f. Suppose 5*h - 2*x + 41 = 0, -5*x - 9 - 19 = f*h. Is s(h) a multiple of 4?
True
Let n be -3 + (4 + -3)/(-1) + 38. Suppose 29*f - n*f + 455 = 0. Does 13 divide f?
True
Suppose 4*p - 2*r - 840 = -7*r, 0 = 2*p - r - 406. Is p a multiple of 48?
False
Suppose 5*i - 5046 = -f, 6*i - 4040 = 2*i - 4*f. Is i a multiple of 71?
False
Let w be (-3 + 2)*(-142 - -5). Let b = 207 - w. Does 7 divide b?
True
Suppose 0 = 15*i - 145 - 155. Is i a multiple of 10?
True
Suppose -2*k + d + 4 = -62, -5*k + d = -165. Suppose 4*f = 3*t - 4*t + 25, -5*f + k = 3*t. Does 6 divide f?
True
Suppose -p + 3*p - 4 = 0. Let d be -2 + 3 + -22 + 29. Let i = d + p. Does 5 divide i?
True
Suppose -22 = -3*s + 5*p - 3, s = -p + 1. Let q(m) = m + 2. Let z be q(s). Suppose 2 = -z*r + 187. Is 14 a factor of r?
False
Let j be (-12)/(-42) + (-99)/(-21). Suppose -m - j*m = -240. Is m a multiple of 6?
False
Let x = 43 + -71. Let n be 1166/(-14) + (-8)/x. Let c = -50 - n. Is c a multiple of 9?
False
Let d(v) = v**2 - 5*v + 7. Let j be d(7). Let f = 20 + j. Is f a multiple of 6?
False
Suppose 0 = 34*i - 6*i - 1596. Is 19 a factor of i?
True
Is 1174*(-8)/(-20) + 4/10 a multiple of 5?
True
Let y(l) = -3*l**2 - 7*l - 4. Let d be y(-2). Suppose 2*b - b = 0. Is 12 a factor of -84*(d/6 - b)?
False
Let o(x) = x**2. Let p(q) = 76*q**2 - 4*q - 4. Let j(g) = -2*o(g) + p(g). Is 5 a factor of j(-1)?
False
Let z(f) = -f**2 - 4*f - 3. Let b be z(-3). Let i = 2 - b. Suppose -i*s = 5*m - 25 - 34, -3*s + 6 = 0. Is 3 a factor of m?
False
Let x be (-2 - (-136)/(-12))*-3. Let j = -29 + x. Is 6 a factor of j?
False
Let r be (0 - -1)*(-9 + 10). Suppose 4*g - g - 25 = 5*w, -2*w + r = g. Suppose -g*s = -0*s - 105. Does 21 divide s?
True
Suppose -12 = -3*m - m. Let q be (0/(-4))/((-3)/m). Suppose q = -r - 3*o + 26, -3*r + 5*r + 4*o - 58 = 0. Is 23 a factor of r?
False
Suppose 0 = -26*z + 8*z + 4788. Does 8 divide z?
False
Let g be 6/1*(-90)/(-27). Let i = 32 - g. Does 14 divide (i/15)/(2/80)?
False
Let f(t) be the first derivative of t**3 + 7*t**2/2 - t - 12. Let l be f(-3). Suppose 6*r - 151 = -l*n + 3*r, -3*r = 2*n - 55. Is 6 a factor of n?
False
Suppose 4 = m + 5*f, 0 = 3*f - 0*f. Suppose -d = -m*d + 12. Is 13 a factor of ((-5)/d)/((-5)/100)?
False
Suppose 5*m + 83 = 4*u, -17 = 5*m - u + 75. Let g = -14 - m. Is g a multiple of 3?
False
Let z(j) = j**3 + 21*j**2 + 20*j + 6. Let p be z(-20). Suppose 0 = p*i - 3*i. Let b(o) = -o**2 - o + 42. Does 7 divide b(i)?
True
Let m(b) = 19*b - 3. Let x be m(1). Suppose x = 3*v + 3*a + a, 3*v - 5*a - 7 = 0. Is 2 a factor of v?
True
Suppose -2 + 38 = -4*u - 3*a, -u - 26 = 5*a. Let q be ((-8)/4)/(4/u). Suppose 2 = 3*y + q*t - 37, -2*y + 4*t + 50 = 0. Is 13 a factor of y?
False
Let r = 838 + -742. Is r a multiple of 5?
False
Let j = 2672 - 2508. Does 4 divide j?
True
Is -1*(1 - 0 - 268) a multiple of 18?
False
Suppose -u = -12*u + 3652. Suppose m - 5*w - 102 = 0, -5*m = -2*w - 842 + u. Does 17 divide m?
True
Let b = 15 - 8. Suppose -10*j + b*j = -9. Suppose 5*k - 133 = -2*z + 4*z, 2*k - 57 = -j*z. Is 9 a factor of k?
True
Let t(r) = -r**3 + 9*r**2 + 9*r + 10. Let x be t(10). Suppose 3*c = -x*c + 165. Is c a multiple of 7?
False
Suppose 0 = -143*y + 145*y - 72. Is 12 a factor of y?
True
Suppose 6*p - 231 = -15. Is p a multiple of 20?
False
Suppose -54 = -4*q + 50. Let b = q - 11. Does 6 divide b?
False
Suppose -2*a - 2*x + 2486 = -2624, 2*a - 5*x - 5075 = 0. Does 30 divide a?
True
Let v(t) = t + 2. Suppose i = 5*i + 4, y + 4*i = -10. Let z(k) = -6*k - 11. Let g(a) = y*z(a) - 39*v(a). Is g(-10) a multiple of 6?
True
Let w = -238 - -347. Suppose 5*p - w - 251 = 0. Is p a multiple of 9?
True
Does 12 divide (-8)/(-12)*378/36 - -161?
True
Does 6 divide (-39)/(-6)*(-30 - -62)?
False
Let n(a) = a**3 + 6*a**2 - 2. Let k be n(-6). Let x = -56 - -18. Does 18 divide (k - -1) + -1 - x?
True
Let v(n) = -n + 11. Let f be v(11). Suppose -4*x + 28 + 632 = f. Does 15 divide x?
True
Suppose 103 - 247 = -2*n. Does 3 divide n?
True
Let a(w) = w**3 - 4*w**2 - 12*w + 2. Let c be 6 + 0/(-1) + 0. Let p be a(c). Suppose -r = -p*r + 39. Is 12 a factor of r?
False
Suppose 0 = -4*v + 3088 - 360. Does 43 divide v?
False
Let v(g) = 8*g - 1. Let b(w) = -w. Let y(a) = 5*b(a) + v(a). Let o be y(-2). Let l(s) = s**2 + 2*s - 7. Does 14 divide l(o)?
True
Let l(g) be the first derivative of -5 + 1/3*g**3 - 1/2*g**2 - g. Is l(4) a multiple of 11?
True
Suppose -21*a + 18*a - 9 = 0, -3*l = 5*a - 1047. Is l a multiple of 19?
False
Let x(y) = -y**3 + 11*y**2 - 7*y + 14. Let c be x(11). Suppose 5*v + 175 = -0*f - 5*f, -5*v + 25 = 0. Let a = f - c. Is 10 a factor of a?
False
Let u(n) = 9*n - 2 + 1 + 4 + 76*n. Is 38 a factor of u(2)?
False
Let m = 4293 - 1799. Is m a multiple of 8?
False
Suppose -6 = -2*v - v. Let b = 59 - v. Suppose -b = -5*u - 2*q, q + 7 = 3. Is 4 a factor of u?
False
Suppose -2*h = 4*v + 446 + 162, -3*v + h = 446. Is (-9 + v)*(-6)/9 a multiple of 16?
False
Let i be 14/35 + 316/10. Suppose -i*z + 35*z = 111. Is 5 a factor of z?
False
Let d = 110 + 0. Is d a multiple of 11?
True
Let a be (3 - 1)*(63/6)/(-7). Does 4 divide 1/a + (-1445)/(-51)?
True
Let p(a) = -20*a**3 - 5*a + 2. Does 7 divide p(-4)?
True
Let u = 22 - 25. Let t be 8/u*21/(-14). Suppose -t*o + 175 = 23. Is 31 a factor of o?
False
Let b(d) = 68*d - 285. Is b(8) a multiple of 3?
False
Let a = 15 + -13. Suppose 5*p = l + a*p + 5, 15 = 3*p. Is l a multiple of 3?
False
Let m = 78 - 75. Suppose 2*i = -4*o + 104, 0*o - 3*o = -m*i + 201. Does 43 divide i?
False
Let y(b) = 4*b**2 + 4*b - 6. Let t be y(-6). Suppose 2*k = t + 160. Is k a multiple of 42?
False
Let j(u) = 2*u**2 - 9*u + 8. Suppose 2*w + 13 = 5*w - f, 4*f - 8 = 2*w. Is j(w) a multiple of 10?
False
Let w(j) = 3*j**2 - 32*j - 6. Is 14 a factor of w(22)?
True
Let x = 1367 - 811. Does 32 divide x?
False
Let f = 29 - 26. Let m be (-15)/(-9) - (-1)/f. Suppose l - 2*q = 82, -4*l + m*q - 152 = -6*l. Does 13 divide l?
True
Let i = -1356 + 2972. Does 39 divide i?
False
Is 94 a factor of -4 - ((-184)/10)/((-11)/(-1705))?
False
Let r(b) = 166*b**3 + b**2 - b - 1. Let s be r(-1). Let j = -99 - s. Does 6 divide j?
True
Let s(b) = -3*b + 73. Is s(23) a multiple of 2?
True
Let q(b) = -5*b - 1. Let v be (-2)/(-3) + 12/9. Suppose -2*i - 3*n - v*n = 25, 0 = i - 4*n - 7. Is 12 a factor of q(i)?
True
Is (-100)/300 + 1249/3*1 a multiple of 4?
True
Let z(q) = 3*q**3 - 8*q**2 - 3*q - 9. Let n(t) = -2*t**3 + 5*t**2 + 12*t**2 + 19 + 3*t**3 + 5*t - 8*t**3. Let l(a) = 4*n(a) + 9*z(a). Does 11 divide l(-5)?
True
Is 41 a factor of (-220)/55*1681/(-4)?
True
Let p(v) = -v**3 - 12*v**2 + 14*v + 13. Let s be p(-13). Let w = 2 - -2. Suppose 5*j + w*a - 102 + 37 = s, 2*j - 29 = -a. Does 11 divide j?
False
Suppose -4*t + 348 = -1012. Does 30 divide t?
False
Suppose -4*q + h + 924 = 0, -2*q - 3*h = -4*q + 452. Let p = -157 + q. Does 15 divide p?
True
Let y be 2/(-259*(-4)/(-258) - -4). Let j = y - -346. Is 27 a factor of j?
False
Let h(y) = -2*y**2 - 68*y + 67. Is 11 a factor of h(-20)?
True
Is 18 a factor of 13/130 + (-8278)/(-20)?
True
Let f(y) be the third derivative of 23*y**4/24 - y**3 - 16*y**2. Is f(1) a multiple of 17?
True
Let q = -19 + 31. Let y = -436 - -439. Is (-4)/q - (-136)/y a multiple of 21?
False
Suppose 10*b - 1305 = 7*b - 5*p, b = 2*p + 446. Is 9 a factor of b?
False
Suppose 56 + 0 = 4*y. Suppose 9*o + 845 = y*o. Is o a multiple of 55?
False
Suppose -3*y + 230 = i, 5*y - 2*i - 150 = 248. Suppose g - y + 18 = 0. Does 15 divide g?
True
Let b(i) = 3*i**2 + 18*i + 56. Does 32 divide b(14)?
True
Suppose 3*f + 3*t - 2*t + 23 = 0, -f + 5*t = -3. Let j = f - -11. Suppose 2*l + 340 = 3*a + a, -j*a + 338 = -l. Is 21 a factor of a?
True
Let h = -520 + 757. Does 5 divide h?
False
Let f(q) = 90*q + 61. Is f(12) a multiple of 15?
False
Suppose 0 = 2*g - 4*s + 16, s = -4*g + 2 + 11. Let n be g*(2 - (2 + -4)). Let q(y) = 