multiple of 9?
True
Let k = -217 + 393. Is k a multiple of 60?
False
Let v be (-75)/(-85) + (8/(-68))/(-1). Is (6/5)/(v + (-196)/200) a multiple of 7?
False
Suppose 0 = 5525*p - 5531*p + 1824. Is 2 a factor of p?
True
Let a(g) = 1. Let z(v) = -v**2 - 6*v + 1. Let r(n) = -6*a(n) + z(n). Let f be r(-3). Suppose -l + 8 + 29 = t, -f*l = -4. Does 23 divide t?
False
Suppose 0 = -2*z - 8, z = -3*p + 76 + 46. Does 3 divide 14/p - (-244)/6?
False
Let r(i) = 179*i**2 + i. Let o be r(-1). Suppose 385 + 165 = 5*x. Let s = o - x. Is 18 a factor of s?
False
Suppose -w = w + 6, 6 = 2*r - 2*w. Let z(c) = c**3 + 7*c**2 + 6*c + 4. Let o be z(-6). Suppose r*g - o*g = -2*n - 6, 0 = 2*g - 10. Is n a multiple of 2?
False
Does 13 divide 54 + (0 - 5 - 3)?
False
Suppose -4*m - 2 = -6. Let c be (4/(-2))/(m/(-2)). Suppose -c*f + 17 = -23. Does 10 divide f?
True
Suppose 0 = 3*n - 0*n - 51. Suppose -2*u - 77 + n = 5*c, 4*c - 3*u + 25 = 0. Is 13 a factor of 198/5 - (-6)/c?
True
Suppose 5*a = 4*a - 1. Is 3 a factor of 1/(((-4)/a)/28)?
False
Suppose -2 - 12 = -3*y - 4*r, -2*y - 4*r = -12. Suppose -40 = y*w - 4*w. Is w a multiple of 12?
False
Suppose -48 = 3*b - 5*b. Let v = 26 - b. Suppose 0 = -2*l + v*t + 172, 2*t - 7 = -2*l + 145. Does 27 divide l?
True
Let z = -31 - -355. Is 36 a factor of z?
True
Is 6 a factor of 0 - (36/9 - 574)?
True
Let c(j) = j**3 - 10*j**2 + j - 8. Let a be c(10). Suppose a*g + y - 220 - 39 = 0, 5*y = -4*g + 509. Let t = g + -83. Is t a multiple of 12?
True
Let a = -11 - 29. Let p = a - -95. Is p a multiple of 18?
False
Suppose 5*l - 5*k + 0*k = 2655, 0 = 2*l + 3*k - 1067. Does 19 divide l?
True
Let o = -114 - -175. Suppose -3*k + k + 104 = u, -k = 5*u - o. Is k a multiple of 17?
True
Let u(v) = -v**3 + 9*v**2 - 2*v + 9. Suppose 0 = -t + 11*t - 60. Does 21 divide u(t)?
True
Let f be 2*(-2 + 3) - 2. Suppose -15 = -f*u - u. Suppose -z - u = -60. Is 15 a factor of z?
True
Suppose -2*j - 4*b + 30 = -6, -2*j + 27 = b. Is j even?
True
Suppose 0 = -s + 3*i + 264, -i = -s - 2*s + 816. Is s a multiple of 13?
True
Suppose 0 = 5*m - 2*r - 5604, 38 - 29 = 3*r. Is m a multiple of 17?
True
Suppose 0 = -4*k + 20, -5*w = -4*w - 2*k - 200. Is w a multiple of 10?
True
Suppose p - 287 = 5*d - 3*d, 3*p - 881 = d. Does 8 divide p?
False
Let g(j) = -7*j + 27. Suppose w + 2*v + 13 = 0, -4*w - w - 2*v - 65 = 0. Is 21 a factor of g(w)?
False
Let k = 1997 + 787. Is 12 a factor of k?
True
Let t(u) = 75*u**3 + 2*u**2 - 2*u + 1. Suppose 7*d + 4 - 11 = 0. Does 7 divide t(d)?
False
Let x(c) = -c - 7. Let j be x(-12). Suppose 0 = j*f - 0*f + 20. Let b(i) = i**3 + 6*i**2 + i + 4. Is b(f) a multiple of 8?
True
Suppose 0 = 7*b - 2*b - 10. Suppose 6*v = b*v - 28. Let s = v + 11. Is s a multiple of 4?
True
Suppose 6*l = -1 + 7. Let g be 76*-1*l/(-4). Suppose 2*c - 39 = 4*w + g, 2*c - 58 = -2*w. Is c a multiple of 12?
False
Suppose 405 + 2521 = 14*t. Is t a multiple of 48?
False
Suppose 2 = -x + 2*x. Suppose 3*f = 5*w + 53, 4*f - x*f - 29 = -3*w. Does 7 divide f?
False
Let j(n) be the third derivative of n**4/24 - n**3/3 - 10*n**2. Let z be j(4). Is ((-21)/(-1))/(z/4) a multiple of 21?
True
Let a be ((-60)/(-14))/(3/21). Suppose -160 = -2*d - a. Does 5 divide d?
True
Suppose 3*u - 342 = -g, 5*u = -0*g - 2*g + 686. Suppose g = 2*v + 2*v. Does 29 divide v?
True
Let f(c) = c**3 + 10*c**2 + 4*c + 2. Suppose -38 = 4*o - 2*a, 4*o + 5*a = -0*a - 31. Is f(o) a multiple of 8?
False
Let g = 894 + 161. Is 9 a factor of g?
False
Suppose 0*q + 59 = q + 5*i, -3*i + 304 = 4*q. Let a = -37 - -42. Suppose -281 = -a*t + q. Is t a multiple of 24?
True
Let v(u) be the first derivative of -u**2/2 - 11*u + 2. Let a be v(9). Does 14 divide -140*(4 - (-88)/a)?
True
Let g = -20 + 44. Let t be (2 - -1)*g/18. Let b(l) = 2*l**2 - l - 4. Is 6 a factor of b(t)?
True
Suppose -4*y + 29 = -3. Let f = y - 6. Suppose 3*c - 37 = f*c. Is c a multiple of 14?
False
Let u be (-2)/15 - (-188)/60. Let d(h) = -16*h + 9. Let i(q) = -8*q + 5. Let g(o) = u*d(o) - 5*i(o). Does 13 divide g(-3)?
True
Suppose 0*l + 9*l - 5*l = 0. Suppose 3*p = -2*p + 4*d + 329, -4*p - d + 280 = l. Is p a multiple of 9?
False
Let u(j) = 2*j**2 + 12*j + 4. Let t be u(-15). Suppose 0 = 2*k - 580 - t. Is 29 a factor of k?
False
Let l = -509 + 1172. Does 39 divide l?
True
Suppose 5*g - 4*s - 1979 = 10569, -3*g + 4*s + 7524 = 0. Is 20 a factor of g?
False
Let u be -5 - -2 - -11 - (1 - 1). Let y(l) = 2*l + 14. Does 6 divide y(u)?
True
Let q be (-14)/(-4)*228/133. Does 16 divide (-18)/(-12) - (-183)/q?
True
Suppose -2494 = 27*i - 24661. Does 7 divide i?
False
Let v = -127 + 213. Does 5 divide v?
False
Let j(b) = -b**2 - 4*b + 12. Does 3 divide j(0)?
True
Does 19 divide 3/((-1)/102*(-1 + -1))?
False
Let h(o) = -6*o - 10. Let m(b) be the first derivative of 5*b**2/2 + 10*b + 10. Let a(w) = -3*h(w) - 4*m(w). Is a(-11) a multiple of 5?
False
Let c = -2310 + 6085. Is c a multiple of 151?
True
Suppose -w + 4*m + 315 = 0, 475 = -5*w + m + 2069. Is 12 a factor of w?
False
Suppose 0 = -9*y + 4*y. Suppose -z = 4*c - 559, 3*z - 2*z + 5 = y. Is 28 a factor of (1/3)/(1/c)?
False
Let z(f) = -22*f + 22. Let j = 163 - 172. Does 44 divide z(j)?
True
Let l be -2 + 1 - (-3 - 6). Suppose l + 0 = 2*y - 4*k, -2*y - k = -8. Suppose 110 = y*d + d. Is d a multiple of 21?
False
Let s = -207 - -268. Is s a multiple of 2?
False
Let v be -1 + (-2 - -2) - 11. Does 5 divide 200/v*24/(-20)?
True
Suppose 136 = -5*j + 2*c - 39, -4*j + c - 140 = 0. Is 550/j*(0 - 7) a multiple of 11?
True
Suppose 8*t + 150 = 9*t. Let u = t + -42. Is 8 a factor of u?
False
Suppose 4*a = 5*q + 20, -5*q - 8 = a + 12. Let h be 35/14 - 1/2. Suppose -14 = -c + k - h, a = -3*k - 9. Does 4 divide c?
False
Let x be (9/(-3) + 3)/3. Let n(j) = -j**3 + j**2 + j + 120. Is n(x) a multiple of 20?
True
Let y be (-42)/105 + (-8)/5. Let s(h) be the first derivative of -13*h**2/2 - 5*h - 5. Does 7 divide s(y)?
True
Let q = 91 + -36. Suppose 159 + q = 2*l + 2*z, -z = -4. Is l a multiple of 12?
False
Let g(k) = 5*k + 1. Let u(z) = -z**2 + 2*z - 3. Let v be u(2). Let t be g(v). Is 7 a factor of (-10)/35 + (-102)/t?
True
Let g(u) = -u**3 + 5*u**2 - 3*u - 4. Let z be g(3). Suppose 5*j + z - 10 = 0. Does 8 divide 193/4 + j/(-4)?
True
Suppose -s + 5*j + 19 = 0, -5*s - 5*j + 6*j = 1. Is ((-28 - s)/(-1))/(24/32) a multiple of 35?
False
Let a = -2 - -2. Suppose a*f + 4*f = 24. Suppose f*s - 72 = -2*d + 2*s, -3*d + 118 = s. Is d a multiple of 20?
True
Let p(h) be the first derivative of h**4/4 - 2*h**3/3 - h**2/2 + 60*h - 10. Is p(0) a multiple of 15?
True
Suppose -3 = 2*h - 123. Let r = -32 + h. Is 27 a factor of r?
False
Let y(u) be the first derivative of 27*u**2 - 2*u + 12. Is y(1) a multiple of 14?
False
Let p = 1888 + -1384. Is 14 a factor of p?
True
Let k = -29 + 27. Is 19 a factor of 1*(0 - 57)*k/3?
True
Let i = 6 - 16. Let b = 15 + i. Suppose -5 = -5*u - d, -7 = -2*u + b*d + 22. Does 2 divide u?
True
Is 1 + (-110)/75*-3*5 a multiple of 3?
False
Let g be 144/40*5/3. Suppose -5*v + g*v - 26 = 0. Is 13 a factor of v?
True
Suppose 53 = 2*g + 3*q, 5*q + 40 = 5*g - 30. Suppose -15*s + g*s = 656. Does 41 divide s?
True
Let i = 40 + 47. Suppose -2*w - 296 = -10*w. Let g = i + w. Is g a multiple of 25?
False
Let n(o) = -39*o - 14. Let m be n(2). Let r = 347 + m. Is r a multiple of 15?
True
Let n(f) = f**3 - f + 7. Let p be n(0). Let i be p + 4 + (-2 - 0). Is 20 a factor of (120/(-9))/((-3)/i)?
True
Let w = 52 - -18. Let z be (w/(-3))/((-1)/3). Let n = z - 22. Is n a multiple of 13?
False
Let y = -556 + 616. Does 10 divide y?
True
Let p(o) = -o**2. Let s(j) = -5*j**2 + 5*j + 3. Suppose -f - 2*f = 18. Let m(r) = f*p(r) + s(r). Is 9 a factor of m(-8)?
True
Let k(p) = 258*p**2 + p + 3. Is 13 a factor of k(-1)?
True
Let j(f) = f**2 + 2*f - 12. Let t be j(-5). Suppose 3 = t*z - 12. Suppose 0 = -l - 2*l - z*h + 269, 0 = -3*l - h + 289. Is l a multiple of 13?
False
Suppose -2*t - r + 6 = r, 0 = 3*t + 4*r - 11. Suppose -q = t, -2*w - 5*q = 2*w - 79. Let c = 11 + w. Is c a multiple of 10?
False
Let w(i) = 9*i - 31. Let f be w(13). Let v = f + -58. Is 14 a factor of v?
True
Suppose 0*z = 4*z - 16. Suppose 0 = -4*d + 3*d + z. Suppose -d*v = v - 270. Is 22 a factor of v?
False
Does 33 divide (-109725)/(-171) - 1/(-3)?
False
Let t = 46 - -146. Does 8