 0*v + 4987. Does 55 divide j?
False
Let r be (2/(-3))/(12/(-1062)). Suppose -a = -t - 0*a + 26, 4*t + 5*a = r. Does 4 divide t?
False
Let i(n) = n**2 + 14*n + 17. Let p be i(-15). Is 6 a factor of ((-15)/12 - 1*-2)*p?
True
Let t(m) be the second derivative of -m**3/6 + 27*m**2 + 3*m. Is t(0) a multiple of 9?
True
Let u be (-30)/4*4/(-6). Is u/(-10)*-2 + 6 a multiple of 6?
False
Let g be (-6)/(-10) - (-18943)/95. Let t = g - 111. Is 22 a factor of t?
False
Let o be ((-3)/(-6))/1*(-720)/(-3). Suppose 0 = 2*b - 5*m - 59, -3*b - 2*m - m + o = 0. Is b a multiple of 5?
False
Let r = 112 + -13. Let v be (-92)/(-22) - 18/r. Suppose 0 = -d + 4*q + 78, -2*d = -0*d + v*q - 108. Does 8 divide d?
False
Let r = 11 - 9. Suppose -y - r = -41. Is y a multiple of 11?
False
Suppose 3*b = 0, -4*n - 3 + 23 = 3*b. Let q(p) = -p**3 - 2*p**2 + 2*p - 1. Let d be q(-3). Suppose d*l + n = 13. Does 3 divide l?
False
Suppose 0 = 5*k - 10*k + 165. Let c = -101 + 154. Let a = c - k. Is 20 a factor of a?
True
Suppose -2*i - 13478 = -5*u, 0 = -3*u + 2*i + 6525 + 1565. Is u a multiple of 89?
False
Suppose -d + 7 = -0*d. Let m(o) = o**2 + o - 231 - 5*o + 226. Does 8 divide m(d)?
True
Suppose 38671 = 46*h - 5765. Is h a multiple of 39?
False
Suppose 299*k - 11256 = 292*k. Is 61 a factor of k?
False
Suppose 0 = 5*u - 2*k - 203, -4*u + 3*k = -99 - 69. Is 22 a factor of u?
False
Let u = -3 + 5. Suppose 0 = -5*a + 20, u*g + 4*a - 29 = -9. Suppose -g*i - 5*x = 3*i - 10, i + 2*x = -1. Does 2 divide i?
False
Let w(j) be the first derivative of j**4/4 + 2*j**3/3 - 7*j**2/2 + j + 28. Does 3 divide w(3)?
False
Suppose 1798 = 5*i - 16*r + 15*r, -5*i = -4*r - 1792. Does 36 divide i?
True
Suppose x = -b - 43, 0 = -2*b - 3*b - x - 223. Let u = 47 - b. Is u a multiple of 27?
False
Let q(a) be the second derivative of a**3 - 9*a**2 + 11*a. Is q(16) a multiple of 39?
True
Is (-43)/(301/(-14)) + (1117 - -1) a multiple of 112?
True
Suppose 51*i = 3*i + 30912. Is i a multiple of 70?
False
Suppose -y = -5*y + 616. Suppose -r + y = -4*l - 76, 3*l - 3*r = -168. Let k = -9 - l. Is k a multiple of 20?
False
Let b be 2 - (-2 + 1)*13. Let g be (-1*1)/((-13)/39). Suppose 0 = g*w - 4*w + b. Is w a multiple of 4?
False
Suppose 0*b + 2376 = 2*o + 5*b, -3547 = -3*o + b. Is o a multiple of 77?
False
Let v be 776/10 - (-4)/10. Suppose -4*g = -634 + v. Is 14 a factor of g?
False
Suppose 2*g - 17*z = -14*z + 735, 0 = 2*g + 5*z - 727. Does 26 divide g?
False
Suppose -5*x + 644 = 2*g, -5*g = -0*x - 4*x + 502. Let d = 31 - 28. Suppose -4*b = 4*o - x, 5*b - b - 149 = d*o. Does 9 divide b?
False
Let j(v) = 35*v - 76. Does 29 divide j(3)?
True
Let o(n) = n**2 + n + 35. Is o(15) a multiple of 25?
True
Suppose 4*x = -66 - 26. Let p = -21 - x. Suppose 5*c + 20 = 0, -p*n + 0*c + 3*c + 132 = 0. Is 15 a factor of n?
True
Suppose -6*q + 22 = -4*q. Suppose 1640 - 617 = q*s. Is s a multiple of 14?
False
Let f be (-6)/(-14) + (-175)/(-49). Suppose 5*q + f*c = 1292, 5*c - 474 - 36 = -2*q. Is q a multiple of 65?
True
Let l = -28 - -183. Suppose -5*v = 2*z - v - 180, v = 4*z - 324. Suppose -3*p + 28 = -4*k - z, l = 4*p + 3*k. Does 14 divide p?
False
Let q = -160 - -237. Let a be (15 + -5)/(0 - -2). Suppose x - q = -a*w, -2*x - x = -2*w + 41. Is 16 a factor of w?
True
Suppose 2*u - 4*a + 24 = 4*u, 5*u = -4*a + 36. Suppose u*p - 127 = 25. Does 7 divide p?
False
Suppose 2*g - 656 = -5*t, 5*t + 16 = -5*g + 666. Suppose 0 = 5*p - 103 - t. Is 10 a factor of p?
False
Let o be 0*(-12)/6*1/4. Suppose -32 = -2*j - o*j. Is 16 a factor of j?
True
Suppose -4*r + 5 = 9, -3*y + 1101 = -3*r. Is 5 a factor of y?
False
Let n(a) = -5*a - 25. Let u be n(-5). Let y = 44 + u. Is 22 a factor of y?
True
Suppose 6*u = 1810 - 616. Let d = u + -77. Does 10 divide d?
False
Let y(m) = -2*m + 3 + 2 - 5. Let i be y(-2). Suppose 190 = 9*r - i*r. Is r a multiple of 15?
False
Is 47 a factor of ((-3582)/15)/((-13)/65)?
False
Let a = 16 - 9. Let h(k) = -3*k - 4*k**2 + k - 1 + 5*k**2. Is h(a) a multiple of 17?
True
Suppose 27*t + 60 = 1032. Is 12 a factor of t?
True
Suppose 3*i = -0*i + 12. Suppose -r - 14 = 3*x, -i*x + 5*r + 6 = -3*x. Let m(z) = z**2 + 3*z + 3. Is 2 a factor of m(x)?
False
Let g(q) = -14*q + 15. Let m be g(11). Let n = m + 286. Does 10 divide n?
False
Let j = 650 + -518. Is 5 a factor of j?
False
Let d(l) = -l**3 + 12*l**2 - 9*l + 10. Let q(x) = x**3 - 8*x**2 - x - 1. Let a be q(8). Let i = a - -20. Does 18 divide d(i)?
False
Let o(t) = -6*t**3 - 3*t**2 + 2*t + 1. Let c be o(-3). Suppose -6*v + 472 = c. Does 19 divide v?
True
Suppose -d - 2 = -c + 40, 76 = -2*d + 4*c. Let t = d - -129. Does 14 divide t?
False
Let r = 5 - 3. Suppose 2*b - 2 = -4*o + 2*o, 0 = -r*b + 2*o + 10. Suppose -6*x - 10 = -4*x, 4*m - b*x - 159 = 0. Is m a multiple of 17?
False
Let o = -124 - -594. Does 47 divide o?
True
Let d = 2160 + -810. Is d a multiple of 54?
True
Let z(j) = 15*j - 59. Let t(d) = 8*d - 29. Let u(v) = -7*t(v) + 3*z(v). Is u(-11) a multiple of 21?
True
Let p(j) = j**2 + 5*j + 6. Let f = -12 + 14. Suppose -z + 3 = -l, z - f*z + 27 = -4*l. Is 15 a factor of p(l)?
True
Suppose 172980 = 56*z + 10916. Is z a multiple of 18?
False
Let k = 16 - -1. Suppose -3*p = -6*p - b + k, -3*p = 2*b - 22. Suppose -p*o - 2*h = -88, -5*o = -2*o - 3*h - 75. Is o a multiple of 6?
False
Let x be (1/3)/(2/18). Let a be x - -1*2*-5. Let f(q) = -q**2 - 10*q - 4. Does 17 divide f(a)?
True
Let d(g) = 0*g + 3*g**3 + 2*g - 3 - 4*g**3. Let x be d(-5). Suppose x = 3*h - h. Is h a multiple of 14?
True
Suppose -2*g - 5*l + 265 = 0, -5*l = 8*g - 7*g - 135. Is 10 a factor of g?
True
Let p(z) = -z + 11. Let r be p(9). Does 15 divide ((-13)/26)/(r/(-120))?
True
Suppose -3*i + 5*j + 20 = 0, -i + 3*i + 4*j = -16. Suppose i = -7*o - 5*o + 540. Is o a multiple of 12?
False
Let n(h) = 14*h + 728. Does 5 divide n(5)?
False
Let u(s) = 0*s + s - 4 + 0*s + 84. Does 16 divide u(0)?
True
Let g be (-3)/(-4 + 3/1). Suppose -4*l = -2*l. Suppose g*h = -2 - 1, l = 3*o - 4*h - 112. Does 18 divide o?
True
Suppose 4*c - 8 = 2*c. Let b be c - 3 - (-2)/1. Suppose -b*p - 59 = -4*m - 16, 4*m + 2*p = 18. Is m a multiple of 2?
False
Let v be (-27)/18*2/(-3) - -5. Does 12 divide v/(-1)*(-1 + 3 + -10)?
True
Suppose -8303 - 22377 = -40*l. Is l a multiple of 26?
False
Let i = -295 - -514. Suppose i = -4*r + 79. Is ((-8)/10)/(2/r) a multiple of 4?
False
Suppose -5*z + 4 = 9. Let o = z - -10. Does 22 divide (-5 + o)/((-2)/(-11))?
True
Is 3156 + 2/((-10)/25)*1 a multiple of 12?
False
Suppose -35 = -i + 33. Let r = -40 + i. Let t = r - 13. Is 8 a factor of t?
False
Is (((-576)/112)/(-9))/((-4)/(-13454)) a multiple of 62?
True
Let l(i) = 6*i**2 + 32*i - 1. Does 56 divide l(-20)?
False
Let h(z) = -z**2 - 7*z - 1. Let o be h(-4). Suppose -2*g + 4*g - 40 = 0. Let m = g - o. Does 6 divide m?
False
Suppose 3*u - 240 = 366. Is u a multiple of 36?
False
Let y(t) = -t**2 + 21*t + 52. Does 15 divide y(19)?
True
Suppose -19*l - 25*l + 2860 = 0. Is l a multiple of 19?
False
Is (-8 + -1440)*1*(-5)/10 a multiple of 7?
False
Let f = -3588 + 1410. Is 39 a factor of 3/(-5) + f/(-55)?
True
Let z(b) = b - 7. Let l be z(3). Is 22 a factor of (6/l)/((-3)/220)?
True
Suppose -4*f + 96480 = 28*f. Is 106 a factor of f?
False
Suppose 6*w = 15*w - 864. Is w a multiple of 11?
False
Let m be (-4)/(-14) - (-48)/28. Suppose -x - 2*x + 4*y = -8, 4*x - y - 28 = 0. Suppose -5*q + m*u + 30 = 0, -q - 8 - x = 4*u. Is 4 a factor of q?
True
Let v(k) = k**2 + 16*k + 11. Let q be v(-15). Let d(b) = 5 + 2*b**2 + 4*b - 5*b**2 + 4*b**2. Is d(q) a multiple of 2?
False
Suppose -b + 132 = 2*p - 120, 0 = -4*p - 4. Suppose 0 = 2*q - 8, 2*i - b = -2*q - 2*q. Is i a multiple of 15?
False
Let h(g) be the third derivative of -1/60*g**5 - 1/6*g**3 + 0*g - 2*g**2 + 0 - 1/5*g**6 - 1/12*g**4. Does 8 divide h(-1)?
True
Let q = -4 + 6. Let r(v) = -5*v**2 + 6*v**2 + 3*v**2 - q + 1. Is 3 a factor of r(-1)?
True
Let a(p) = p**3 + 18*p**2 + 5*p - 12. Is a(-17) a multiple of 22?
False
Suppose 0 = 9*f - 1380 + 39. Is f a multiple of 5?
False
Let w = 386 - 258. Is w a multiple of 4?
True
Suppose 2*a = 3*b + 7, 5*b + 4 = 2*a - 1. Suppose -j + 62 = a*g - 51, 0 = -2*g + 10. Suppose j = 4*q - 0*q. Does 7 divide q?
False
Let x(h) = -31*h**3 - 3*h**2 + 5*h + 11. Does 62 divide x(-3)?
True
Let r =