p a multiple of 17?
False
Let w(s) = s**3 + 6*s**2 - 8. Let c be 19/(-2)*(-6)/3. Suppose 2*b - 3*f + 5 = 0, -5*b = 2*f - 3*f + c. Does 8 divide w(b)?
True
Let y = -67 - -72. Does 5 divide y?
True
Let o(i) = i**2 - i + 2. Let a(y) = -y**2 + y - 1. Let l(t) = -2*a(t) - o(t). Let n be l(-1). Suppose 167 = 4*j - c, j - n*c - 211 = -4*j. Does 23 divide j?
False
Suppose 30*t - 14531 = -4511. Does 26 divide t?
False
Let u be 270/14 - 4/14. Let r = -19 + u. Suppose r = 5*c - 10*c + 485. Does 23 divide c?
False
Let i be (-28)/(-49) + (-204)/14. Let m be (6/(-1))/(21/i). Suppose -36 = -v + 3*b + m, -3*v = 2*b - 175. Is 20 a factor of v?
False
Let a be (1 - -2) + -2 + 1 - 4. Let x(u) = 6*u**2 + 2*u + 4. Is 12 a factor of x(a)?
True
Let r = -423 + 871. Is r a multiple of 6?
False
Is 20/(-156)*-1746 - (-2)/13 a multiple of 14?
True
Suppose 0 = -8*c + 2*c + 870. Suppose -6*m + c = -m. Does 7 divide m?
False
Suppose 4*c - 2 = 3*c. Suppose -13 = -4*l - c*n + 3, 0 = n + 2. Suppose l*z + 2*r + r - 36 = 0, 0 = 4*z + r - 33. Is z a multiple of 9?
True
Let b(h) = 2*h**2 + 11*h - 5. Suppose 0*d - 40 = 5*d. Let y be b(d). Is (y/14)/((-1)/(-14)) a multiple of 7?
True
Is (((-60)/2)/1)/((-964)/13496) a multiple of 7?
True
Let n = 129 + 1080. Is 93 a factor of n?
True
Let p(i) = 116*i**2 + 8*i - 8. Let x be p(2). Suppose -4*c - x + 1176 = 0. Is c a multiple of 14?
False
Let y(z) = -z**3 + 7*z**2 + 6. Let q be y(7). Suppose q*p - 3*p - 93 = 0. Does 10 divide p?
False
Suppose l + 0*l = 246. Let a = l + -174. Does 29 divide a?
False
Let r be (-1)/(-1*3/12). Suppose -r*l + 36 = -0. Is l a multiple of 2?
False
Let b(q) = -5*q - 56. Let u be b(-14). Suppose -2*x - p + 26 = -5*x, -2*x = -2*p + 20. Let i = u + x. Is 2 a factor of i?
True
Let g = -1739 - -5789. Does 15 divide g?
True
Let h = -2944 + 4269. Does 14 divide h?
False
Suppose 2*p + 6 = 0, -b - 2*p + 8 - 28 = 0. Does 14 divide (8/(-2) - -2)*b?
True
Suppose 3*p - p = -2*q + 4, -5*p + 10 = q. Suppose 0*d + 5*d - 170 = q. Is d a multiple of 10?
False
Let s = 13 - 40. Let n = s - -48. Does 7 divide n?
True
Suppose -294 = -45*i + 42*i. Is i a multiple of 49?
True
Let x(h) = 11*h**2 + 10*h**2 + 15 - 20*h**2 - 2*h. Let p be x(15). Suppose -3*g + p = 3*i, -g + 17 = 3*i - 43. Is 13 a factor of g?
False
Let o(n) = n**3 - 17*n**2 + 16*n + 5. Let u be o(16). Let m be 16/10 - (-6)/15. Suppose u*l - 225 = m*l. Is 25 a factor of l?
True
Let o(d) = 4*d**2 + 4*d + 1. Let p be o(-3). Suppose 0*w - 3*w - 19 = 2*j, 0 = -5*w - p. Does 29 divide (j - 0) + (-4 - -54)?
False
Let c be -1*(0 + 28/(-2)). Let r = c - -7. Is 7 a factor of r?
True
Suppose -3*h - 10*v = -9*v - 10589, 0 = 5*h + 3*v - 17647. Does 17 divide h?
False
Suppose -18*l + 20*l = 0. Suppose 4*y - 4*v - 28 = l, 3 = -y - 0*y - v. Suppose -y*j + 104 = 2*w + 2*j, -3*j + 54 = w. Is w a multiple of 24?
True
Suppose -a = -c + 6, -3*c - 4 - 8 = 0. Is 37 a factor of (a/(-3) + -4)*-222?
True
Is (-17)/68 - (-4365)/20 a multiple of 2?
True
Let u = -4 - -7. Let w be u + -2 + 0 - -3. Suppose -4*o = -w*m - 132, 2*m + 11 - 44 = -o. Is o a multiple of 16?
False
Let a(p) be the second derivative of -p + 0 + 3/2*p**2 + 5/2*p**3 - 1/12*p**4 - 1/20*p**5. Does 20 divide a(-6)?
False
Suppose -12 - 42 = -3*t. Let a(r) = -5*r**2 - 16*r + 21. Let j(k) = 8*k**2 + 34*k - 41. Let v(b) = 5*a(b) + 3*j(b). Is 18 a factor of v(t)?
True
Let m be (((-6)/(-4))/3)/((-1)/(-6)). Suppose 80 = m*f - 286. Is f a multiple of 10?
False
Suppose 73*o = 85*o - 1704. Is o a multiple of 7?
False
Let m be -4 + 0 - 116/(-2). Let l be m/8 + (-18)/24. Is 23 a factor of l/4*184/6?
True
Suppose 0 = 13*i - 16*i + 4515. Is 9 a factor of 1 + 6/(-8) - i/(-28)?
True
Suppose -2*v - 5364 + 1131 = -5*q, -2*v + 2543 = 3*q. Is q a multiple of 16?
False
Suppose 0 = -2*o + 6*u - u + 302, o - 4*u = 145. Let p = o + -89. Is 12 a factor of p?
True
Let c be 5/20 - (-477)/(-4). Let u = -19 - c. Let y = -10 + u. Is y a multiple of 30?
True
Suppose -7*z = 13 - 97. Suppose 0 = -2*d + 238 - z. Is d a multiple of 33?
False
Let i be (-6)/36 - (-2)/12. Suppose 16 = -4*x, -3*r + 0*x + 2*x + 17 = i. Does 21 divide (-168)/(r + -7) + 0?
True
Suppose -2*l - 5*q = -2*q - 234, 3*l - 350 = -4*q. Suppose d - l = -40. Is d a multiple of 12?
False
Let t = 58 - 55. Suppose 352 = t*f - 4*g + 6*g, 0 = 5*g + 5. Does 15 divide f?
False
Suppose y - 267 + 76 = 0. Let a = -7 - -12. Suppose a*s - 59 - y = 0. Does 24 divide s?
False
Let z(x) = 7*x**3 + 11*x**2 + 3*x + 14. Let b(r) = r**3 + r**2 - r. Let f(u) = 5*b(u) - z(u). Does 21 divide f(-5)?
True
Suppose 24 = 3*x - 5*x. Let q(v) = -11*v - 26. Is 18 a factor of q(x)?
False
Let s be 1 - (1 + (-10)/2). Let c(b) = -b**3 + 8*b**2 - 13*b + 6. Let u be c(4). Suppose 0 = s*j - 17 - u. Is 5 a factor of j?
False
Suppose -w + 40 = -4*u, -2*w + 186 = 3*u + 51. Does 15 divide w?
True
Suppose -13*b - 3*p + 12283 = -8*b, 3*p = -3*b + 7371. Does 30 divide b?
False
Let h(i) = -4*i**3 + 5*i**2 + 13*i + 3. Is 14 a factor of h(-4)?
False
Let a(j) = j**3 - 10*j**2 + 8*j + 12. Let h be a(9). Let c be (434/3)/(2/h). Does 9 divide (c/(-2))/7*-2?
False
Let f = -30 + 29. Does 14 divide 5*f*-23 + -5 + 2?
True
Suppose 46*d + 680 = 48*d. Is d a multiple of 3?
False
Let a be (-550)/45 + 4/18. Let x be 12 + a - (-235 - 0). Suppose 0 = 8*s - 3*s - x. Is s a multiple of 21?
False
Suppose 4*p = -5 - 3. Let s be (-25)/4 + 2/8. Does 15 divide p*(-3)/s + 61?
True
Let h = 40 + -36. Suppose 4 = 2*l - h*t, 3*l + 3*t - 13 = 2. Is l a multiple of 3?
False
Let u(g) = -g**3 + 6*g**2 + 7*g. Let n be u(7). Suppose 0 = -5*t + 3*r + 25, 6*t - 3*t - 5*r - 15 = n. Does 2 divide t?
False
Let w(c) = c + 13. Let r be w(-8). Suppose r*y - 292 - 118 = 0. Is 14 a factor of y?
False
Suppose 14 = 2*k - 4*i + i, -5*k = -4*i - 28. Suppose y - 15 = l - 3*y, -3*y + 35 = k*l. Suppose l*g = 57 - 22. Does 2 divide g?
False
Is 29 a factor of ((-10)/(-30))/((-2)/(-2088))?
True
Let v(o) = o**2 - 2*o + 13. Let w be v(9). Suppose -2*z - 2*z = -w. Is 19 a factor of z?
True
Let i = -81 + 123. Is 18 a factor of (-120)/(-70)*i/4?
True
Suppose 6*w - 2 = 2*w - 5*i, -3*i = -4*w + 18. Let p(s) = s + 6. Let q be p(-6). Suppose -3*a - u - w*u = -82, q = -a - 5*u + 20. Does 10 divide a?
True
Let p = -412 + 602. Is 13 a factor of p?
False
Let u = 6 - -4. Let d(j) = -u*j - 14*j - 25 + 31*j - 12*j. Does 35 divide d(-19)?
True
Suppose 6*b - 647 - 613 = 0. Suppose -2*i = -4*r + b, -3*r - i = 2*i - 144. Is 10 a factor of r?
False
Let n(u) = u**3 - 8*u**2 + 6*u - 6. Let b = 37 - 7. Let r = b + -22. Is 21 a factor of n(r)?
True
Suppose -3*c + 637 = 6*d - 2*d, -430 = -2*c - 4*d. Is c a multiple of 23?
True
Let z = -523 - -606. Does 83 divide z?
True
Let q be 15/25 - 1 - 852/(-5). Let i = q + -64. Is 15 a factor of i?
False
Let s(a) = a**3 + 22*a**2 + 15*a - 51. Is 37 a factor of s(-21)?
False
Let s(q) = q**3 + 3*q**2 - 9*q - 9. Let x be s(-5). Does 16 divide x/56 + (-770)/(-8)?
True
Suppose 5*r + 6 = -14. Let p be -3 - (r + 4 - -197). Is (p/(-14))/((-4)/(-14)) a multiple of 25?
True
Let s(r) = r**2 - 35*r + 50. Is s(39) a multiple of 16?
False
Let q(m) = -m**3 + m**2 - 2*m + 28. Let r(s) = s**2 - 7*s. Let g be r(7). Does 4 divide q(g)?
True
Let a(d) = d**3 + 13*d**2 + 11*d + 8. Let q be a(-12). Suppose -3*w - 2*v - 157 = -3*v, q = -4*v. Let x = -34 - w. Does 7 divide x?
False
Suppose 3*d + 7 + 11 = -4*l, 4*d - l + 5 = 0. Is 14 a factor of (-127)/d + 9/(-6)?
False
Let b(v) = 0 + 21*v - 22*v + 6. Let q be b(2). Suppose 0 = -q*x + 116 + 80. Is x a multiple of 9?
False
Suppose -16 = -x - 3*x. Suppose 0 = -4*w - 8, -4*z - w + x + 2 = 0. Let b(i) = 4*i**3 + i**2 + 1. Is 11 a factor of b(z)?
False
Suppose 3*p - 122 - 127 = 0. Let o = -71 + p. Is o a multiple of 12?
True
Suppose 9*t - 5*t = 240. Suppose t = -12*m + 18*m. Is m a multiple of 10?
True
Suppose 2*l + 3*l + 145 = 2*o, -4*l - 144 = -2*o. Is 70 a factor of o?
True
Let s(k) = 4. Let m(c) = c + 8. Let p(a) = 4*m(a) - 9*s(a). Suppose -2 + 3 = 2*z - y, -5 = -z - y. Is p(z) a multiple of 3?
False
Let r(u) = 3*u + 2*u**3 + 2 + 13*u**2 + 2*u**3 - 5*u**3 - 21. Is r(13) a multiple of 20?
True
Suppose l - 3*l - 20 = 0. Let a = l - -20. Suppose -q + a = -8. Does 9 divide q?
True
Let i = -9475 - -15973. Let p be (-4)/26 - i/13. Is p/15*(-6)/5 a multiple of 10?
Tru