tiple of 10?
False
Let d = -17 - -7. Let k be (6/d)/(2/(-10)). Suppose 3*c - k*i = 183, 0 = 5*c + 5*i - 213 - 82. Is 15 a factor of c?
True
Let x be 1/(16/(-6) - -3). Suppose 4 = -x*a + 1. Does 29 divide -3*a/(-1) - -85?
False
Let n be 97 + 1 + 1 + -2. Let y(w) = -w + 160. Let h be y(-15). Let f = h - n. Is 27 a factor of f?
False
Suppose -3*x + j = -18 + 4, -3*x + 3*j + 6 = 0. Let c = x + -2. Let z(o) = o**3 - 4*o + 4. Is 18 a factor of z(c)?
False
Let d(x) = -x**3 - x**2. Let g(h) = 3*h**3 + 14*h**2 - 12*h + 2. Suppose r - 3 = 4*r. Let u(w) = r*g(w) - 4*d(w). Does 23 divide u(9)?
False
Let r(p) = -p**3 - 6*p**2 + 11*p + 32. Does 2 divide r(-7)?
True
Suppose 212 = 7*p - 516. Let u = p + -20. Does 24 divide u?
False
Let b(o) = 42*o**2 + 4*o + 3. Let a(h) = -42*h**2 - 3*h - 2. Let c = 13 - 16. Let y(d) = c*b(d) - 4*a(d). Is 15 a factor of y(-1)?
False
Suppose -5 = q - 9. Let j(g) = 42*g. Does 28 divide j(q)?
True
Suppose x - 200 = 50. Does 11 divide x?
False
Is 59 a factor of (-3299)/(-4) - (-3)/(288/120)?
True
Let v = 166 - 135. Is 2 a factor of v?
False
Let v = 26 + -31. Suppose 6*c - 42 = c - 2*l, 0 = c - 2*l - 18. Let t = c - v. Is 3 a factor of t?
True
Is (20/30)/1 + (-343)/(-3) a multiple of 12?
False
Let z(x) = -15*x. Let v be z(1). Does 8 divide (-16 - v)*(0 - 19)?
False
Let a(t) = 9*t**2 + 23*t + 24. Does 76 divide a(-7)?
True
Let l = 2775 - 1737. Suppose -l = -5*v - v. Is 35 a factor of v?
False
Suppose -204*x + 2140 = -202*x. Is x a multiple of 19?
False
Let w = 3 - -1. Suppose 4*t - 260 = -4*u, -w*u + u + 235 = -5*t. Suppose 28 = 2*v - 5*b, -6*v + v = 2*b - u. Is v a multiple of 7?
True
Let d(z) be the third derivative of z**5/60 - z**4/4 - 11*z**3/6 - 10*z**2. Is 7 a factor of d(-5)?
False
Let n(h) be the second derivative of h**4/6 + h**3/3 - h**2 + 2*h. Let w be n(-2). Suppose -w*r - 3*r + 5*k = -60, -2*r - 4*k + 18 = 0. Is 8 a factor of r?
False
Suppose 3711 = 11*g - 6*g + 3*d, 0 = g - d - 747. Does 12 divide g?
True
Let u be 6*(-1 + (-12)/(-8)). Suppose 3*a - p - 38 = -3*p, a - u*p = 20. Is 7 a factor of a?
True
Let g = 31 + -31. Let l = 3 - g. Suppose p = -p - 3*d + 49, 4*p - l*d = 125. Is 6 a factor of p?
False
Let i = -4 - -46. Let c = i - 37. Suppose 20 = -0*b + c*b, -167 = -3*s - 5*b. Does 11 divide s?
False
Let w = 66 - 75. Let i = 72 + w. Does 21 divide i?
True
Suppose 9*t = 8*t + 4*p + 175, -4*t + 4*p + 748 = 0. Does 28 divide t?
False
Let a be 48/(-2)*2/(-3). Suppose a - 4 = 3*n. Does 8 divide n/12*0 + 38?
False
Let c = 1586 + -692. Does 58 divide c?
False
Let m(q) = -8*q - 8 + 26 - 7. Is 17 a factor of m(-5)?
True
Suppose 2*f = -4, -5*f - 6 = -3*t + 5*t. Suppose t*l + 0*m - 14 = 2*m, -4*m - 14 = 3*l. Suppose -l*b + 14 = -16. Is 15 a factor of b?
True
Let j = -7 - -15. Let g = j + -6. Does 2 divide g?
True
Let a = -26 - -29. Suppose 5*g = 2*d - 179, -a*d + 6*g + 276 = g. Is d a multiple of 14?
False
Let p = 138 + -79. Suppose w - 23 = a, a + 1 = -2*w + p. Is w a multiple of 3?
True
Suppose 3*w - 7*w = -20. Suppose 0 = -w*j + 6 + 14. Suppose 0*g - 101 = -3*g - 2*t, 0 = -j*t + 16. Is g a multiple of 31?
True
Let f be 1*-10*(-6)/12. Let q be (-2 + 31/f)*-5. Let a = q - -49. Is a a multiple of 14?
True
Let l(i) = -i**2 - 90. Let j be l(0). Let d = -13 - j. Is 10 a factor of d?
False
Let x = -184 - -1242. Is 6 a factor of x?
False
Let f(l) = 2 - 2 + l**3 + 5*l**2 - 6*l. Let x be f(-6). Let p = x - -4. Is 2 a factor of p?
True
Let i = -673 + 1486. Is 47 a factor of i?
False
Suppose -4*r - 3 = 1. Let t(u) = -109*u. Let w be t(r). Let k = -71 + w. Does 14 divide k?
False
Suppose -18*y + 4374 = -1170. Is 7 a factor of y?
True
Suppose 0 = -5*g + 25, 607 = m - g - 4092. Is m a multiple of 118?
False
Let t be (-1)/(-4) + 1*(-2895)/(-20). Let k = -64 + t. Does 27 divide k?
True
Suppose -11*x + 1572 = -1178. Suppose r = 5*k + 68, -4*r + x = -0*r + 2*k. Is 11 a factor of r?
False
Suppose 26*m - 21436 = 14600. Is m a multiple of 42?
True
Let c = -412 + 432. Does 19 divide c?
False
Let a = 181 - 17. Let b = a - 94. Suppose b = 2*q - q. Is q a multiple of 14?
True
Let d(r) be the second derivative of r**5/20 + r**4 - 13*r**3/6 + 9*r**2/2 + 3*r. Suppose 13 = -10*v + 9*v. Does 7 divide d(v)?
False
Let d be (2/3)/(3*2/(-954)). Let h = d + 184. Is 6 a factor of h?
True
Is 26 a factor of -3 - 36/(-20) - 23248/(-40)?
False
Suppose -7*g = 24*g - 31930. Is g a multiple of 103?
True
Let d = 7690 + -5225. Is d a multiple of 85?
True
Let o be 18/4*20/(-30). Let d(b) = -14*b - 13. Is d(o) a multiple of 7?
False
Suppose -y + 3 = -0*y. Suppose -y + 4 = l. Suppose -u + 32 = -l. Is 7 a factor of u?
False
Let k(f) = 16*f**2 + 4*f + 13. Let y be (-20)/6 + (-24)/9 + 3. Is k(y) a multiple of 55?
False
Suppose 4*y + 2*w = -2, -4*y - 1 = 5*w - 2*w. Does 6 divide (-2)/y*(-17)/(-2)?
False
Let g = -2 - -8. Suppose g*t = 4*t. Does 6 divide 27/(-3)*(t + -3)?
False
Suppose 0 = -i + 4*p - 116, 2*i = 3*i - 2*p + 126. Let f = i - -162. Does 26 divide f?
True
Let l be -2 + (1 - (17 - 4)). Let j = 19 + l. Suppose 2*b - 5*k = 56, -2*b + 3*b - 38 = j*k. Does 18 divide b?
True
Does 14 divide (-5880)/75*(-4 + -1)?
True
Suppose 0 = 77*b - 15936 - 234. Does 3 divide b?
True
Suppose 0 = -2*s - 2*z + 10, -5*z + 10 = -3*s + 1. Let i(o) = -o**3 - 3*o**3 + 0*o**2 + 5*o**3 + 8*o**s + 8. Is i(-7) a multiple of 19?
True
Let t(l) = l**3 - l**2 - l + 12. Let q be t(0). Is (-4 + q)/(3/18) a multiple of 6?
True
Suppose -2842 = -10*o + 2368. Is o a multiple of 72?
False
Suppose -20 = -o + 3*o. Is 14 a factor of ((-8)/o)/((-21)/(-4410))?
True
Let y be (-1 - 7/(-8)) + 66/16. Suppose 0 = -4*m + 2 + 6, -y*m = -2*z + 28. Does 4 divide z?
False
Let w be (-2 - 0) + -1 + 0. Is (0 - -86) + w + 0 a multiple of 24?
False
Let s(a) = -a**3 - 7*a**2 - 4*a + 7. Let r be s(-6). Let g(y) = y**2 + 2*y + 5. Let d be g(r). Suppose -u + d = -16. Is u a multiple of 18?
True
Suppose -q - 5*p = q + 17, -4*q = -2*p - 26. Suppose -8*g + q*g = -20. Suppose 0 = -g*b + 74 + 186. Is b a multiple of 14?
False
Let w be (8/(-6))/(-4) + (-130)/39. Is w + (-32)/(-12) - 2555/(-15) a multiple of 34?
True
Let d = -15 - -25. Let w be (d/3)/((-4)/(-42)). Is 15 a factor of 14/w + 223/5?
True
Let d(n) = -n**2 - n + 1. Let x be d(0). Let l be x/(-2 - (-15)/6). Suppose -3*w - 53 + 9 = -v, -5*v + 237 = l*w. Does 12 divide v?
False
Let x(r) = 9*r**2 - 32*r - 2. Does 21 divide x(-13)?
False
Is 2 a factor of (65 + 63)/((-1)/(-3))?
True
Let u(r) = 152*r - 23. Is 39 a factor of u(4)?
True
Suppose -2*k + 5 + 1039 = 2*q, 0 = -3*q + 2*k + 1591. Is q a multiple of 25?
False
Let f(o) = o**3 - 5*o**2 + 8*o - 2. Let u be f(3). Suppose -3*n = -u*n + 48. Is 12 a factor of n?
True
Let m be 1 + 1 + (2 - 0). Let i be ((-4)/(-7))/(m/14). Suppose -i*s + 65 = -s. Is s a multiple of 19?
False
Let o(n) = 128*n - 26. Is o(2) a multiple of 6?
False
Is 35 a factor of ((-45)/10 - -3)/(63/(-27930))?
True
Let t be (-1)/(12/3) - 13540/(-16). Suppose 5*q = -4*q + t. Does 7 divide q?
False
Let n(u) = u - 4*u + u - 5*u + 2. Let a be n(-7). Is a - (-5 - (-1 - 0)) a multiple of 8?
False
Suppose -d - 28 = -3*y, -d - 4 + 3 = 0. Let n(c) = 17*c + 29. Is 13 a factor of n(y)?
True
Let s(z) = -z**3 - 5*z**2 + 9. Let n be s(-5). Suppose w + 15 = -2*w - 5*y, 3*y + n = -w. Is 4 a factor of w + (-2 - -13*2)?
True
Is 842/10 - 0 - 27/135 a multiple of 41?
False
Let d be ((-86)/4)/((-4)/(-40)). Let o = 51 - d. Is 38 a factor of o?
True
Let c be (68/(-10))/((-2)/5). Does 47 divide (-94)/(-4)*(c - 2 - 5)?
True
Let x = -204 + 332. Is 8 a factor of x?
True
Suppose 6*c - 8*c + 14 = 0. Suppose 12 = f + 2*y - c*y, -3*f - 4*y + 36 = 0. Does 6 divide f?
True
Let t(w) = w**3 + 7*w**2 - 5*w + 1. Let x be t(-6). Suppose 3*n - 3 = -n - 5*y, -9 = -3*n + 3*y. Suppose n*g - x + 3 = 0. Is 17 a factor of g?
False
Let d = 42 + -23. Let f = d - -48. Is 14 a factor of f?
False
Suppose 153*n - 63612 = 122*n. Is n a multiple of 17?
False
Is 710/4*(-3304)/(-590) a multiple of 71?
True
Suppose -5*m = -2*m - 12. Suppose 2*h + 3*k = 11, -m*h = -k - 6 - 9. Is 78/h*(-2)/(-1) a multiple of 17?
False
Let k = 5100 - 2983. Is k a multiple of 59?
False
Let a(v) = v**2 - 6*v + 1. Suppose 9 = 2*n + n. Suppose -n*w + 18 = -2*l + 3, -4*l = 2*w - 26. Is 8 a factor of a(w)?
True
Is 64 a factor of (-1)/3 - (-1864