*2 - 18*o**2. Is 28 a factor of d(-11)?
False
Suppose -158 = -h - 4*x, -x = h - 90 - 59. Is h a multiple of 3?
False
Suppose -11*j = 12*j - 667. Is j a multiple of 29?
True
Suppose -4 - 2 = -2*c. Suppose 0 = -4*b - k + 16, -b = 3*b - c*k. Suppose -b*v + 137 = -97. Is v a multiple of 21?
False
Suppose 8*c = -20 + 1228. Does 7 divide c?
False
Let y be 32/24 - (-16)/6. Suppose 4*t = 3*i + 2*t - 243, -y*i + 338 = 2*t. Does 29 divide i?
False
Let u be (8/(-6))/((-2)/(-12) - 0). Let f(k) = k + 6. Let a be f(-6). Let c = a - u. Is 3 a factor of c?
False
Suppose 26 = 4*p + 30. Does 16 divide (-1278)/(-10) - 6/30*p?
True
Let t(i) = -2*i**3 + 19*i**2 - 12*i + 11. Does 11 divide t(7)?
False
Let i(j) = -j**3 + 33*j**2 + 7*j - 81. Does 15 divide i(33)?
True
Let j = 125 + -48. Suppose 0 = -f + j - 21. Is f a multiple of 7?
True
Suppose 4 = 4*m - 204. Is m a multiple of 26?
True
Let b be -2 - 1/(1/(-378)). Suppose -b = -3*j + y, -4*j - 616 = -9*j - y. Suppose 5*x = -f + j, -104 = -0*x - 4*x - 2*f. Does 9 divide x?
False
Suppose -2*x - 30*d + 31*d + 1510 = 0, -746 = -x + 5*d. Is 28 a factor of x?
True
Suppose -2*t + 4*r = -0*r + 114, -159 = 3*t - 2*r. Let b = t + 131. Is 10 a factor of b?
True
Suppose 865 = 5*f - f + 5*a, -4*f - 2*a = -862. Is f a multiple of 5?
True
Let c(a) = 105*a**3 - 3*a**2 + 29*a - 79. Does 38 divide c(3)?
False
Let b = -13 - -17. Suppose -b*a = 4 + 4. Is -97*(8/a - -3) a multiple of 14?
False
Let k = 27 + 56. Does 41 divide k?
False
Let z = -15 - -9. Let n be ((-2)/z)/(6/1494). Suppose 3*p - n = 4*q + 46, -5*p + 204 = -3*q. Is p a multiple of 18?
False
Let a = 405 - 232. Does 16 divide a?
False
Let p be (10746/33)/9 - (-4)/(-22). Let g = p + -27. Does 2 divide g?
False
Let i(z) = 264*z - 3 + 4 - 3 - 266*z. Is i(-6) a multiple of 2?
True
Let w = -200 + 1621. Does 29 divide w?
True
Suppose 24 = -6*s + 8*s. Let a be (1 + -2)/(4/s). Let i = a + 6. Is i even?
False
Let v = 3373 + -2078. Is v a multiple of 135?
False
Suppose -4*s + 450 = -f, 72 + 501 = 5*s + 4*f. Is s a multiple of 15?
False
Suppose 2*h - 466 = h - 3*w, -3*h + w = -1398. Is 7 a factor of h?
False
Does 18 divide (-4594)/(-12) + (-255)/306?
False
Let y(q) be the third derivative of 5*q**4/12 - 19*q**3/6 + q**2. Is 28 a factor of y(8)?
False
Suppose -3*l - 88 = c, 5*l - 69 + 215 = -c. Let p = l - -47. Is 3 a factor of p?
True
Let h be 3/2 + 1/2. Suppose -34 = -3*z + 5*p, 4*z = -3*p + p + 28. Let m = z + h. Is 10 a factor of m?
True
Suppose -506*n = -519*n + 43355. Does 103 divide n?
False
Let i be (26/8 - 4)*-48. Suppose 25*w - i = 23*w. Is w a multiple of 9?
True
Let d(y) = y**3 - 5*y**2 - 6*y + 15. Let t = 11 - 5. Let i be d(t). Let w = 43 - i. Does 5 divide w?
False
Let k = 88 - 45. Suppose -2*u - 3*u = -f + k, -3*u = -2*f + 100. Is 13 a factor of f?
False
Suppose 4*b + 129 = 453. Let q = -53 + b. Does 10 divide q?
False
Let g(z) = -3*z + 8. Let i be g(16). Is (-2)/(-8) - 1590/i a multiple of 40?
True
Let o = 36 - -23. Let l = -52 + o. Does 4 divide l?
False
Suppose y + 0 = 6. Suppose -r + 35 = -y. Is 21 a factor of r?
False
Is 48 a factor of (-1)/7 + (-810)/210 - -694?
False
Suppose -5*h + 32 = 4*k, 2*h + 4*k = -0*h + 20. Suppose h*m + 4*l - 36 = l, 0 = -4*m + 5*l + 4. Suppose -m*f + 252 = -2*f. Does 21 divide f?
True
Suppose 3*d + 2*q = 34 - 8, -4*d + 2*q = -16. Let s(l) = 19*l + 5. Let c(t) = -34*t - 9. Let x(i) = -3*c(i) - 5*s(i). Is x(d) a multiple of 11?
True
Let d(k) = -k**3 - k**2 + 2. Let n be d(0). Suppose -2*o + 144 = 4*f, 0 = -o - n*o - f + 191. Is 9 a factor of o?
False
Suppose 4*o + 5*x = 1135, 4*x - 314 = -2*o + 252. Is o a multiple of 30?
False
Let z(v) be the first derivative of 8 + 8/3*v**3 - 2*v - 1/4*v**4 - 2*v**2. Is z(7) a multiple of 17?
False
Let u(w) = w**2 + 4*w - 5. Let t be u(-5). Suppose 4*i - 4*l = t, -10 = -i + 4*i - 5*l. Is 3 a factor of i?
False
Let v(a) = 2*a + 1. Let f be v(2). Suppose 5*i + 103 = o, -f*o + i + 38 = -357. Is 7 a factor of o?
False
Suppose s - 24 + 22 = 0. Does 2 divide 156/(-16)*(-1 + -1 - s)?
False
Let a be -1 - (-6)/2 - -2. Let y(v) = 15*v + 2. Is 17 a factor of y(a)?
False
Let u(z) = z**2 + 16*z + 12. Let n be u(-15). Let k be 39*n/(-18)*2. Let f = 2 + k. Does 15 divide f?
True
Suppose 2*c - 1306 = 124. Suppose -5*a - c = -2*o, -734 + 14 = 5*a - 3*o. Let r = -19 - a. Is r a multiple of 26?
False
Let w be 7/(-28) - 7/4. Let t(v) = 9*v**2 - 6*v - 8. Does 10 divide t(w)?
True
Suppose 4*g + k - 558 = 0, 5*g - 3*k + 0*k = 706. Suppose g + 168 = 2*n. Is 11 a factor of n?
True
Let u = -16 - -56. Let w = -10 + 16. Suppose 0 = -w*x + 2*x + u. Is x a multiple of 2?
True
Suppose -n + 171 + 254 = -s, -4*n + 1682 = 2*s. Is 18 a factor of n?
False
Let v(y) = -2*y - 1. Let a be v(-5). Is a/15 - (-92)/5 a multiple of 19?
True
Suppose 0 = -3*d - 5*a + 1452, -3*a = -6*a. Is d a multiple of 22?
True
Let d(j) = -j**2 + j - 1. Let r(q) = q**2 - 6*q + 7. Let p(w) = 2*d(w) + r(w). Let b(m) = -m**2 + 6*m - 4. Let l be b(6). Is p(l) even?
False
Let p(l) = -140*l - 2. Let w be 1*1*(-1)/1. Is p(w) a multiple of 7?
False
Let s(q) = q + 38. Let r be s(-19). Suppose 6*d - 5 = r. Is 4 a factor of d?
True
Let s(r) = -r**3 + 4*r**2. Let j be s(4). Let u(p) = -11*p + 78 - 7*p + 19*p. Is u(j) a multiple of 14?
False
Let t(v) be the first derivative of -v**2 + 8*v + 4. Let j be t(0). Suppose 125 = j*u - 3*u. Is 25 a factor of u?
True
Let s(i) = -i**3 - 8*i**2 - 6*i - 3. Suppose 3*v + 16 + 8 = 0. Is s(v) a multiple of 45?
True
Is 35 a factor of 8/(-16)*34*-35?
True
Let m(y) = -2 - 2 - 51*y + 3. Suppose 4*l = 4 - 16. Does 39 divide m(l)?
False
Suppose 0 = -0*z + 24*z - 3456. Is 4 a factor of z?
True
Suppose -4*o = -8*o + 32. Let k be (o/(-6))/((-4)/6). Suppose -g + 15 = -i, -i = -2*g + k*i + 25. Does 20 divide g?
True
Suppose 868 = -38*j + 42*j. Is j a multiple of 6?
False
Let m = 538 - 360. Suppose -m = -2*i - 36. Is i a multiple of 15?
False
Does 19 divide (690/(-25))/(0 - (-2)/(-10))?
False
Let x(n) = -n**2 - 13*n + 33. Let g be x(-15). Suppose g*f + 5*k - 483 = 2*k, -3*f + 448 = -4*k. Is 9 a factor of f?
False
Let t(l) = -55*l - 40. Is t(-1) a multiple of 5?
True
Let o be 2/4 + (-28)/(-8). Suppose -o*q - 14 + 34 = -4*m, -3*q - 4*m = -1. Suppose q*c = 85 + 50. Is 15 a factor of c?
True
Suppose -11 = c + c - 3*w, -3*w + 15 = 0. Is (-2 - c)*243/(-12) a multiple of 27?
True
Let k = 5383 - 3659. Is 33 a factor of k?
False
Suppose -415 = -5*a + w, 0 = -5*a + 2*w + w + 415. Let y = a + -59. Is y a multiple of 4?
True
Let y be (36/(-8) + 4)*-14. Let f = y - -38. Suppose -6*d = -9*d + f. Is d a multiple of 4?
False
Suppose 5*i + 16 = 271. Suppose -t = -0*t - i. Suppose 0 = -4*o - 7 + t. Does 11 divide o?
True
Let w = -38 - -45. Let x(n) = -n**2 + 14*n - 10. Does 13 divide x(w)?
True
Suppose -2*g = 2*g. Suppose -36 = 2*d - g*k + 2*k, -d - 5*k = 14. Let b = d + 47. Is b a multiple of 21?
False
Suppose -61*p + 45 = -58*p. Does 5 divide p?
True
Let w(l) = -2*l**3 - 4*l**2 - l + 4. Let v(d) = -d - 6. Let m be v(-2). Is w(m) a multiple of 18?
True
Let b(n) be the third derivative of -13*n**4/3 - n**3/3 - 5*n**2. Let p be b(-2). Suppose -2*v - 2*v = 3*h - p, -2*v + 3*h + 94 = 0. Does 8 divide v?
False
Let p = -11 + 9. Let s be (-8 + 10)*(-2)/p. Suppose 0 = 5*g - s*w - 16, w - 22 = -5*g - 0*w. Is 4 a factor of g?
True
Let c = 108 + -68. Let w = -30 + c. Is 6 a factor of w?
False
Let s = -26 + 13. Let t = s + 16. Suppose 5*y = -5*w + t + 47, -5*w - 2*y + 50 = 0. Is w a multiple of 7?
False
Suppose -6*f = -f - 70. Suppose -5*m + f + 6 = 0. Does 3 divide (12/(-5))/(m/(-10))?
True
Suppose 5*v - 10*v - 4*r + 4709 = 0, -r = 4. Is v a multiple of 15?
True
Suppose 14 = -5*p + 4. Does 6 divide (p + 1)/(2*(-1)/26)?
False
Suppose -2*h + 2*q - 3 = -1, -4*q = 5*h - 4. Suppose h = 5*c - 3*c - 80. Suppose -38 - c = -2*m. Is 13 a factor of m?
True
Let g(v) = v**3 + 14*v**2 + 2. Let m be g(-14). Does 4 divide (m - -3) + 60 - 0/(-1)?
False
Let u be 6 + -3 + -3 - -3. Let c(s) = -u - 2 + 0*s + 9*s. Is c(2) a multiple of 4?
False
Let l = -18 + 9. Let d be 69/l + (-4)/(-6). Let n = 34 + d. Does 9 divide n?
True
Suppose -3*m + 3 = 0, 2*x + 3*m - 1 = 4*m. Let y = 6 + x. Suppose 54 + 254 = y*g. Is 8 a factor of g?
False
Suppose 2*w - 3*w + 4 = 0. Let r be (-7 + -1)*2/w. Does 7 divide 2/((-1