 0*s + 140 = -3*o, 5*s = -n*o + 600. Is s a multiple of 12?
False
Let n(d) = 4*d**2 - 34*d + 70. Is 6 a factor of n(-15)?
False
Let l be (10 + 2)/((-3)/14) - 0. Is l*3/9*-3 a multiple of 7?
True
Let q(h) = -34*h**3 + 4*h**2 + 10*h + 8. Is 7 a factor of q(-1)?
False
Let c = 6776 + -3958. Does 48 divide c?
False
Suppose 0*j + 5*j + 27 = 3*l, 0 = 4*j - 5*l + 32. Let d(m) = 1 - 5*m**3 + 4*m - 2*m - m**2 + m**3 + 3*m**3. Is 3 a factor of d(j)?
False
Is 1/8 + 20445/24 a multiple of 22?
False
Is (-159300)/(-252) - (-2)/(-14) a multiple of 8?
True
Let u = -202 - -260. Does 58 divide u?
True
Suppose 3*h = h + 60. Let k(l) = -5*l - 73. Let g be k(-13). Let u = h + g. Is u a multiple of 7?
False
Suppose 5*b = -2*h - 9, h = -2*h - 3*b. Let v = h - 0. Suppose -c + 2*c = -v*k + 50, 3*k = 2*c + 44. Is 9 a factor of k?
False
Suppose -18*a + 839 = -4813. Does 59 divide a?
False
Suppose n = 2*x + 422, -4*n + 7*n + 4*x = 1276. Does 8 divide n?
True
Suppose 419*w = 416*w + 81. Does 9 divide w?
True
Let z(m) = 10*m + 12. Let q(t) = t**2 + 3. Let y be q(-3). Does 22 divide z(y)?
True
Let n be -6 + 0 + -4 + 1. Is 31*(8 + n)*1*-1 a multiple of 15?
False
Let m(u) = u**2 + 7*u - 4. Let i be m(-8). Is 6*(6/9 + i) a multiple of 8?
False
Let z = 121 + -17. Is z a multiple of 8?
True
Let r = 8 + -12. Let l(n) = 8*n**2 - 11*n - 22. Does 15 divide l(r)?
True
Suppose 8*g - 3360 = 4*g. Suppose -5*x = -x - g. Suppose 4*w - x = -5*p + w, 2*p - 84 = -3*w. Does 19 divide p?
False
Suppose 0 = -16*t + 10*t + 24. Suppose -3*n - 6 = 0, -n + 500 = t*k + 18. Is 19 a factor of k?
False
Let m = -13 - -20. Suppose -3*h + m = -17. Suppose -4*j = -36 + h. Does 7 divide j?
True
Suppose -11*j = -1866 - 1060. Is 14 a factor of j?
True
Let a(h) = h**2 + 3*h + 4. Let b be a(-3). Suppose -941 = -b*r - 193. Let s = r + -132. Is s a multiple of 11?
True
Let i = 2000 + -1217. Is 27 a factor of i?
True
Let l(p) be the first derivative of -p**3/3 + 11*p**2/2 - 6*p + 2. Let w be l(10). Suppose 3*r = -3*s + 114, -9 + 79 = 2*r - w*s. Does 13 divide r?
False
Let k be (1/2)/(2/12). Suppose 516 = -k*m + 6*m. Suppose 0 = -5*a + v + m, 5*a - 4*v + 5*v = 168. Is a a multiple of 11?
False
Let c(h) = -h**3 + 8*h**2 + 10*h + 7. Let g be (9/(-4))/((-3)/12). Let t be c(g). Let n = -11 + t. Does 5 divide n?
True
Suppose 19*z = 20*z + 48. Let f = z + 81. Does 6 divide f?
False
Suppose 3*g - 5*f = 5, -g = 4*g - 2*f + 17. Let m(a) = -5*a**2 - 2*a. Let s be m(g). Let z = s - -223. Is 19 a factor of z?
False
Suppose 791*l = 784*l + 5243. Is l a multiple of 49?
False
Let h be 11/4 - (-3)/(-4). Does 8 divide 8 - (3 - 1 - h)?
True
Let q(o) = 5*o. Let j be q(-1). Let u be 400/15*(-6)/j. Let s = u - -21. Is s a multiple of 23?
False
Suppose 0 = -15*z + 18*z + 15, -3*n - 2*z + 260 = 0. Does 6 divide n?
True
Suppose -3*c = 4*c + 462. Is (-92)/(-3) + c/99 a multiple of 2?
True
Let n(v) = 4*v**3 - 8*v**2 - 12*v + 1. Let t(i) = -5*i**3 + 7*i**2 + 11*i - 1. Let p(d) = -4*n(d) - 3*t(d). Does 16 divide p(7)?
False
Let y(p) = 5*p**3 - 14*p**2 + 2*p + 26. Is 17 a factor of y(10)?
False
Let j be (2/4)/(585/292 - 2). Let q = 248 - j. Is q a multiple of 17?
True
Let i = -13 + 17. Suppose -2*k = k - 198. Suppose 0 = -i*c - 3*l + 51 + k, l = -2*c + 59. Is 9 a factor of c?
False
Let y = -1540 + 2596. Is 8 a factor of y?
True
Let f = -41 + 37. Let i = f - -16. Is i a multiple of 12?
True
Let i(c) = -2*c**3 + 2*c**2 - 8*c + 10. Is 7 a factor of i(-7)?
False
Does 17 divide ((1 - -1)/(-2))/((-53)/104516)?
True
Let x = -121 + 118. Let g(z) be the third derivative of -3*z**4/8 + z**3/6 - z**2. Does 28 divide g(x)?
True
Suppose -b - 2*b + k + 102 = 0, -4*k - 34 = -b. Is (b/10 - 3)*235 a multiple of 8?
False
Let y be (7 - 3) + (-218)/(-1). Let u = 399 - y. Does 42 divide u?
False
Let q be (-1)/4 + 5759/(-4). Let a = q - -818. Is a/(-10) + 1/(-5) a multiple of 13?
False
Let b(x) = 338*x**2 - 5*x + 1. Is b(1) a multiple of 34?
False
Let d = 1948 - 802. Is d a multiple of 65?
False
Is (86784/(-640))/(2/(-25)) a multiple of 7?
False
Suppose 0 = d + t - 1 + 8, -2*t = -2*d + 6. Let k be d/(4/33)*-2. Suppose 0 = v - k - 8. Is 14 a factor of v?
False
Is -10 + (8 - 0) - -392 a multiple of 26?
True
Suppose 0 = -6*s + 30 - 24. Let g(k) = 340*k**2. Is 17 a factor of g(s)?
True
Let u = 122 + -122. Let t(k) = -k + 17 - 10 - k**3 - 6 + 20. Does 8 divide t(u)?
False
Suppose 14*d = 8*d. Is (-4)/22 - (2160/(-22) + d) a multiple of 38?
False
Let s(d) = -d**3 + 14*d**2 - 5*d + 57. Is 39 a factor of s(10)?
False
Let r(q) = q**3 + 5*q**2 - 2*q + 2. Let g be (-53 - -1)*1/(-2). Let h = -31 + g. Is 2 a factor of r(h)?
True
Let q = -670 - -1075. Does 27 divide q?
True
Let k be ((-108)/30)/(3/10). Let j = k - -13. Let a(y) = 21*y**3 + 2*y**2 - y. Does 4 divide a(j)?
False
Let q(a) = -22 - 6*a**2 + 47*a**2 + 23 + 3*a. Is q(-1) a multiple of 39?
True
Let o(v) = 11*v**2 - 159*v - 5. Does 23 divide o(19)?
False
Let j = -81 + 78. Is 26 a factor of 898/6 + (-1)/j?
False
Let o = -195 - -401. Suppose 2*t + 0*p + 101 = -3*p, -4*t = 2*p + o. Is 4 a factor of (1 - -1)*t/(-8)?
False
Does 8 divide (-204 + 5)/(-1*(-3)/(-9))?
False
Let z = -429 + 458. Is z a multiple of 29?
True
Let l(q) = -q**3 + 28*q**2 - 53*q - 45. Is 51 a factor of l(20)?
False
Is 1*-5 - 5/(40/(-14392)) a multiple of 13?
True
Suppose -3*o = 43 + 38. Let v = 3 - o. Suppose -v = -0*y - 2*y - 4*w, 5*y = 4*w + 117. Does 7 divide y?
True
Let m(f) be the third derivative of -f**6/45 + f**5/24 + f**4/24 + f**2. Let v(u) be the second derivative of m(u). Is v(-5) a multiple of 24?
False
Suppose 4 = -3*i + 1. Is 27 a factor of (i*9)/(3/(-27))?
True
Suppose -y = -5*w + 91, 93 = 4*w + w - 3*y. Let o = -20 + w. Does 34 divide ((-780)/8)/5*o?
False
Let f(r) be the third derivative of -r**5/60 + 7*r**4/24 + 3*r**3/2 + 19*r**2. Is 3 a factor of f(4)?
True
Suppose -28 = -0*w - 4*w. Let v be (-2)/(3/(9/(-2))). Let q = v + w. Is 7 a factor of q?
False
Is 4/(16/180)*24/30 a multiple of 15?
False
Suppose -5*o + 2*o - 225 = 0. Let v = o + 33. Let w = v + 73. Is w a multiple of 12?
False
Let y = 1425 + -457. Is y a multiple of 77?
False
Let v = 61 - -2. Let c = -35 + v. Is 18 a factor of c?
False
Suppose -325*b = -330*b + 190. Is 5 a factor of b?
False
Let o = 54 - 38. Let p be o/(-24)*3/(-1). Suppose -p*h + 13 = 4*w - 5, 0 = -w + 3*h + 15. Is w a multiple of 4?
False
Let j be 7/(42/9)*-2. Is 0 - (j - -15)/(-4) a multiple of 3?
True
Let a(i) = 3*i + 6 - i**3 - i - 7. Let y be a(-2). Suppose -y*j + 30 = -2*j. Is 10 a factor of j?
True
Suppose -3*z = z - 3*y - 5, 3*z - y - 10 = 0. Suppose 4*i - z*p = 155, 0 = -p - 1 - 2. Does 5 divide i?
True
Is 9 a factor of (-2)/(155/(-2139)*4/30)?
True
Suppose 4*n + 3 = -5*i - 1, 2*i - n = 1. Suppose -k + i*k + 30 = 3*g, -56 = -4*k + 4*g. Is 8 a factor of (-32)/(-10)*45/k?
True
Let t(u) = 5*u**3 + u**2 + 3*u - 1. Let f be t(3). Let v = 242 - f. Suppose 0*s - 5*s = -v. Is 18 a factor of s?
True
Suppose 4*s - 1250 = -5*g + 3*s, -2*s = 2*g - 500. Does 6 divide g?
False
Does 3 divide 105 + (4 - 3)*-3?
True
Suppose 1147 = 5*t - 30*u + 31*u, -5*t - 4*u = -1138. Does 10 divide t?
True
Suppose 2*u = 2*f + 12, 4*u - 8 + 0 = -4*f. Does 3 divide 120/16 + 6/u?
True
Let f(i) = -8*i**2 - 5*i - 8. Let g(s) = 7*s**2 + 4*s + 8. Let t(z) = 6*f(z) + 7*g(z). Does 2 divide t(0)?
True
Let w = 24 + -32. Is w/(-2 - 2) - -32 a multiple of 17?
True
Let w(x) = 2*x**2 + 12*x - 1. Is 4 a factor of w(-11)?
False
Suppose 0 = -71*n + 72*n - 5. Suppose u + 88 = n*u. Is 5 a factor of u?
False
Is 5 a factor of -9*(-11)/(-66) + (-366)/(-4)?
True
Let v(i) = 2*i**3 - 17*i**2 - 19*i - 12. Is v(10) a multiple of 35?
False
Suppose -4*y - 6 = -6*y. Let i(d) = 11*d**3 - 3*d**2 + d + 4. Does 14 divide i(y)?
False
Suppose 12 = 4*z, 5*z - 107 = -s + 338. Is 86 a factor of s?
True
Suppose -26*c + 33356 = 2156. Is c a multiple of 16?
True
Suppose d = -2*d - 9, 0 = -b + 2*d + 12. Suppose b*y - 3*y - 186 = 0. Suppose -2*k - 4*z = -154, 4*z + y = 3*k - 159. Does 26 divide k?
False
Let g(u) = -u - 18. Let k = -5 + -8. Let x be g(k). Does 9 divide (x + 0)*(-3 + 1)?
False
Let p(i) be the third derivative of 0 + 0*i + 27/2*i**3 + 9*i**2 + 1/24*i**4. Does 27 divide p(0)?
True
Let o(j) = 3*j - 4*j - 9 + 1 + 0. Let u be o(-10). Is u/(1*4/138) a multiple of 26?