3*a. Let b = g - a. Is b a multiple of 5?
False
Let n = 6 - -194. Does 40 divide n?
True
Let l(h) = -h**2 + 6*h - 3. Let p be l(2). Suppose p*y - 2 - 13 = 0. Does 2 divide y?
False
Let s be ((-3)/2 + 2)*0. Suppose q = 11 - s. Is 3 a factor of q?
False
Let l be (-28)/(-6) - (-6)/(-9). Is 22 a factor of (3/l)/((-2)/(-88))?
False
Suppose 5*c + p = -3*p + 40, 4*c + 2*p - 32 = 0. Let o(y) = 10 - y**2 - c*y + 2*y - 4. Is 11 a factor of o(-5)?
True
Suppose -5*l = -o + 17, 0 = o + 2*o - 2*l - 64. Suppose 3*d + 31 = -w, 0*w = 2*d + 3*w + 9. Let h = o + d. Is 5 a factor of h?
True
Let x(i) = i**2 + 3*i + 2. Let v = -14 + 8. Is 10 a factor of x(v)?
True
Suppose x - 2*u - 9 = 0, 3*x - 5 = 2*u + 6. Suppose -l + 4 = -2*c + x, 0 = -3*c - 2*l - 22. Is 20 a factor of (-142)/(-7) - c/(-14)?
True
Let n = -53 + 80. Is n a multiple of 6?
False
Let r(q) = -6*q + q**2 + 7 + 0 + q**3 + 5*q**2. Let b be r(-7). Suppose b = 4*i - 4, 3*i + 0 - 9 = -3*m. Does 2 divide m?
True
Let a(l) = l**2 + 5*l + 1. Let k be a(-5). Is (1 + k)/(4/26) a multiple of 11?
False
Suppose -3*l + 360 = l. Does 10 divide l?
True
Let z(m) = m**3 - m**2 + 10. Is 10 a factor of z(0)?
True
Suppose 7*p + 440 = 2*p. Suppose -4*z + 678 = 146. Let x = p + z. Is x a multiple of 12?
False
Let o be 177/1*5/15. Let f = o + -18. Is 19 a factor of f?
False
Suppose 0 = -2*s + 3*s + 11. Let t(x) = -x. Let i be t(1). Does 11 divide (s/i)/(3/6)?
True
Does 37 divide 14/(-21) - 1336/(-6)?
True
Suppose -z - 1 = -2, z = -2*c + 345. Is c a multiple of 24?
False
Is 4/18 - (-5026)/63 a multiple of 20?
True
Let m = 49 - -38. Let v = m + -47. Suppose 2*j - 3*a + 1 = 0, -3*j + 8*j - v = -a. Is j a multiple of 6?
False
Let d = 115 - -53. Let p = -118 + d. Suppose 5*j + p = 5*f, -3*f + 0*j = j - 22. Is f a multiple of 4?
True
Suppose 0 = 3*f + 2*z + 4, 0*z = -f - z - 1. Suppose 0 = -4*d + 3 + 5. Is 3 a factor of (-1)/f*(d - -6)?
False
Suppose -2*y + y + 12 = 3*o, -4*y + 21 = 3*o. Suppose -o*b + 252 = x, x = -4*b + 118 + 219. Suppose 0 = 4*i - 11 - b. Is 13 a factor of i?
False
Is 16 a factor of 6/15 - (3348/5)/(-6)?
True
Let o(y) = 6*y**2 - 9*y - 6. Is o(6) a multiple of 14?
False
Suppose 5*v = v + 384. Does 24 divide v?
True
Does 60 divide (-15)/(8/(-10) - 6/(-10))?
False
Suppose -q + 4*g - 17 = g, 9 = -2*q + g. Is 10 a factor of (-984)/(-33) - q/11?
True
Let t(b) = 791*b**2 - 2*b + 1. Let h be t(1). Suppose 15 + h = 5*p. Suppose -4*f + 2*u + p = 31, 0 = -2*f + 4*u + 74. Does 16 divide f?
False
Is (-12)/(-18)*12/2 a multiple of 4?
True
Suppose -a + 5*n - 21 = 0, 2*a - 29 = -5*n + 4. Does 5 divide (-5)/a*-2*6?
True
Suppose 0 = -2*v - 3*v + 30. Let h(w) = 3*w + v + w + w + 0*w. Is h(6) a multiple of 18?
True
Let i = 30 + -21. Let t = i - 5. Let j = t + 1. Is j a multiple of 2?
False
Let s = 1 + 11. Does 19 divide (-8)/s + (-519)/(-9)?
True
Suppose -8*n = -131 - 85. Is 27 a factor of n?
True
Let v(h) be the third derivative of 0*h + 0*h**3 - 2*h**2 - 1/24*h**4 + 0. Is 2 a factor of v(-2)?
True
Let k = 1 - -8. Let f = -4 + k. Suppose 0 = f*b - 3*b - 16. Does 6 divide b?
False
Let g(y) = y**3 - 4*y**2 + 2*y + 3. Let w be g(4). Let j = w - 7. Suppose 2*d + j*h - 57 + 19 = 0, 0 = -4*d + 4*h + 28. Is 8 a factor of d?
False
Does 13 divide (-1 - (-4)/5) + 1368/15?
True
Suppose 3*y + 25 = 2*m, 2 + 13 = 5*m + 2*y. Suppose -4*k + 106 = 2*t, -m*t = -3*k - t + 85. Is k a multiple of 16?
False
Let b(a) = a**3 - 3*a**2 + 7*a - 4. Is 20 a factor of b(4)?
True
Suppose -5*f + 2*r = -446, -4*r + 23 - 285 = -3*f. Is 10 a factor of f?
True
Suppose 0 = -4*a - 2*j + 10, 3*a - 6 = -2*j - 0. Suppose -y - 2*v - 6 = 0, -5*y + 30 = -a*v - 10. Suppose 36 = -2*w + y*w. Is w a multiple of 12?
False
Suppose -4*y - 5*j + 117 = 0, -53 = -2*y + j + 2. Is 6 a factor of y?
False
Let b be 28/(4*(-2)/(-12)). Suppose h = -2*h + b. Does 6 divide h?
False
Let s = 36 - -114. Suppose -58 - s = -4*i. Suppose -2*n + 4*n - i = 0. Does 15 divide n?
False
Let p(l) = 7*l - 27. Is p(7) even?
True
Let w = -272 - -382. Is w a multiple of 12?
False
Suppose k - 5*k - 28 = 0. Does 6 divide (-2 - k) + 3 + -2?
True
Suppose 12*c = 8*c - 8. Is ((-1)/c)/(1/8) even?
True
Let u be 17/2 - (-2)/(-4). Suppose -u*g + 6*g + 42 = 0. Is 7 a factor of g?
True
Let v(b) = -9*b + 4. Let j(q) = -9*q + 5. Suppose 2*g - 8 = -4*l, 5*g - 2*l + 4 = -24. Let m(c) = g*v(c) + 3*j(c). Does 4 divide m(1)?
True
Let r = -19 + 27. Suppose -r = 5*v + 2. Let s(g) = 4*g**2 + 3*g + 2. Is s(v) a multiple of 12?
True
Suppose 0 = 5*h - 6*f + 2*f - 386, -f + 79 = h. Does 8 divide h?
False
Does 17 divide 3*1/(-3) - -35?
True
Suppose 0 = 2*t, -4*c = 2*t - 6 - 2. Let b be (2 + (-2)/c)*-1. Let h = 4 + b. Does 3 divide h?
True
Let s(p) be the first derivative of p**5/60 - p**4/24 - p**3/6 - p**2 + 2. Let d(a) be the second derivative of s(a). Is d(4) a multiple of 5?
False
Let p(d) = d**2 - 3*d. Let k be p(3). Let b = 3 - k. Is b a multiple of 2?
False
Suppose -670 = -3*l - 2*s - 3*s, -5*l - 5*s = -1130. Is 23 a factor of l?
True
Suppose -930 = -4*f - 2*f. Does 17 divide f?
False
Let m be (-6)/(-21) - 38/(-14). Does 6 divide (-4)/6*-6*m?
True
Let l = -13 - -30. Let z = 25 - l. Does 8 divide z?
True
Let t = -8 - -17. Does 4 divide t?
False
Suppose -60 = 5*q - 20. Let n = 11 + q. Suppose z - n - 5 = 0. Does 4 divide z?
True
Suppose 384 = 2*a + 2*a. Suppose 261 - a = -5*c. Is -1*(c + (-5 - -2)) a multiple of 18?
True
Suppose -3*t - 3*m = 2*m + 21, -5*m - 19 = 2*t. Let h be 4/8 - 15/t. Suppose 5*g - 41 - h = -3*w, 3*g - 6 = 0. Does 13 divide w?
True
Suppose 67 = h - 2*x, -347 + 36 = -5*h + 4*x. Suppose 0 = 2*t - h + 11. Is t a multiple of 12?
True
Let c = -84 + 49. Let s = -11 - c. Is 13 a factor of s?
False
Suppose 4*q - 18 = 3*q. Let k = 41 - q. Does 12 divide k?
False
Suppose 4*p - 12 = -l, -3*p = l + 3 - 13. Let q(r) = 5*r**2 - 2*r**2 + 4*r + 2 + 0*r**p. Is q(-2) a multiple of 5?
False
Let f(v) = v + 3. Let l be f(-8). Is 6 a factor of 12/(((-30)/8)/l)?
False
Let q(r) be the first derivative of r**3 + 2*r**2 + 2*r - 1. Suppose 2*y + 3*y + 15 = 0. Is q(y) a multiple of 16?
False
Is 1916/24 - 1/(6/(-1)) a multiple of 18?
False
Let p = 7 + -4. Suppose p*s - b = 55, b + 37 + 35 = 4*s. Does 5 divide s?
False
Let h be 3 + (2/(-2))/1. Suppose 2 = 2*c + 2*p, -4*c - 4 = h*p - 12. Suppose 2*d = -b + c*b + 20, 3*d - 4*b - 33 = 0. Is 3 a factor of d?
False
Let n(r) = -11*r**3 - 8*r**2 - 8*r - 9. Does 24 divide n(-3)?
True
Suppose 0 = -6*k + 2*k, 5*s - 765 = k. Let f = s - 100. Is 12 a factor of f?
False
Suppose 0 = 5*w + 25, -2*t - w - 23 = -0*w. Let d = t - -14. Suppose -3*l + p + 18 = 3*p, 0 = -d*l + 2*p + 14. Is 2 a factor of l?
True
Suppose -532 = -3*n - 4*f, 0 = -3*n - 0*n + 5*f + 550. Is 36 a factor of n?
True
Suppose 2*a = 4*d - 3*a - 614, 3*a = 5*d - 774. Is 39 a factor of d?
True
Let h(o) = -2*o + 41. Let k(m) = -m + 1. Let x(t) = h(t) - k(t). Let q be x(0). Suppose -2*b + 20 = 5*y - 35, 2*b + 2*y = q. Is 15 a factor of b?
True
Suppose 0 + 24 = -2*z + 4*t, 2*t - 18 = 4*z. Is 18 a factor of 50 + z/3*3?
False
Let d = -19 + 147. Does 32 divide d?
True
Suppose -2*s - 3*c + 127 = 0, 0*s - 5*s - c = -285. Does 23 divide s?
False
Suppose 5*i + 7 = 3*v - 1, -3*v - 4*i + 26 = 0. Does 11 divide 6/(-5)*(v + -16)?
False
Let v(y) be the third derivative of y**5/60 - 5*y**4/24 - y**3/3 - y**2. Let i be v(6). Suppose 0 = -i*t + 72 - 16. Is t a multiple of 6?
False
Suppose 4*b - 7*b + 60 = 0. Suppose -n - b = -2*n. Suppose 6*f - 2*r - n = 3*f, 0 = r + 4. Is 3 a factor of f?
False
Let u = -25 + 40. Does 15 divide u?
True
Suppose -5*s = 4*a - 275 - 510, -4*s = 3*a - 629. Does 23 divide s?
True
Suppose -5*i + 4*n + 0*n - 5 = 0, -3*n + 21 = 2*i. Suppose i*y = -y + 5*c - 41, 0 = -2*y + 3*c - 21. Does 5 divide -13*(y/3 - -2)?
False
Suppose -7 = 5*j - 27. Let y be 30/4*4/(-3). Does 13 divide j/10 - 196/y?
False
Suppose i + 1060 = 5*i + 2*b, -2*i + b + 526 = 0. Is 44 a factor of i?
True
Suppose 4*h = 2*a - 0*a - 820, 0 = -5*a - h + 2017. Is a a multiple of 45?
False
Let a be ((-2)/(-4))/((-20)/(-80)). Let c = 1 + 1. Does 12 divide a/(c/27 - 0)?
False
Suppose -4*q + 2*n - 3*n + 240 = 0, -n - 291 = -5*q. Is 8 a factor of q?
False
Suppose 43*y + 70 = 50*y. Is 4 a factor of y?
False
Let v(q) = q**2 - 5*q - 4. Suppose -5*a + o + 23 = 0, 2*a = -a - 4*o