 s be 54/(-8) - 6/24. Let b = w - s. Does 6 divide b?
False
Let u(l) = -60*l - 4. Let i be ((-2)/(-4))/((-8)/32). Is 4 a factor of u(i)?
True
Let k be (-2)/(-2)*(-6 - -5). Suppose c + 5*u + 39 = -0*u, 0 = 3*c + 2*u + 130. Is (c/4)/(k/2) a multiple of 9?
False
Does 62 divide (-3 - 4 - -227) + -3?
False
Suppose -10*u = 360 - 1880. Does 19 divide u?
True
Let s(d) = -d**3 + 13*d**2 + 2*d - 11. Let r be s(13). Is 13 a factor of (-6 - -16)*(-4)/((-12)/r)?
False
Let d(h) = -2*h + 10. Let c be d(3). Suppose 163 = c*w + y - 69, w = 5*y + 37. Is 11 a factor of w?
False
Suppose 2 = 5*y - 23. Suppose -1 = y*c - 51. Is c a multiple of 2?
True
Let y(q) be the third derivative of 5*q**4/12 + 13*q**3/6 - 12*q**2. Is 37 a factor of y(7)?
False
Let b(u) be the second derivative of -14*u - 4*u**2 - 11/6*u**3 + 0 + 1/20*u**5 - 7/6*u**4. Does 13 divide b(15)?
True
Let d(c) = -6*c + 1. Let z(y) = 9*y - 1. Let n(i) = 8*d(i) + 5*z(i). Let w be n(-2). Let a = 11 + w. Does 20 divide a?
True
Let z = -2 - -4. Let a(b) = -2*b**2 - 8 + 6*b + 2 + 12*b**2 - 2*b**z. Is 28 a factor of a(3)?
True
Let k be 86/3 + 30/(-45). Suppose 0 = -2*g + 8 + k. Is 18 a factor of g?
True
Let s(h) = -h**3 + 5. Let j be s(0). Suppose 0*n - 2*n - 406 = -j*p, 89 = p - 3*n. Is 16 a factor of p?
True
Let r(h) = 2*h**2 - 6*h - 114. Is r(-16) a multiple of 50?
False
Let v(g) = g**2 + 6*g + 18. Let z be v(-5). Let d = z + -2. Is d a multiple of 3?
False
Let g(p) = -31*p**3 - 4*p**2 - 7*p. Is g(-2) a multiple of 41?
True
Suppose -32*f - 28 = -28*f. Let a(o) = -18*o + 19. Does 24 divide a(f)?
False
Let p be 42/(3*8/36). Let g be (2/3)/((-6)/(-27)). Suppose 0 = t - p + g. Is 15 a factor of t?
True
Suppose 60 = 3*l - 1332. Is 58 a factor of l?
True
Suppose 5*m - 368 = 3*q, -5*m - 7*q + 2*q = -360. Let t = 27 + m. Is 20 a factor of t?
True
Let u be (-7 - -87) + -6 + 1. Does 26 divide 153 - (u/5)/(-5)?
True
Suppose -24*t + 10703 = -8137. Is 14 a factor of t?
False
Is ((-183)/(-7))/((-7)/(-49)) a multiple of 7?
False
Let v(x) = -x - 5. Let b be (0 + -3)*(-32)/(-12). Does 3 divide v(b)?
True
Suppose -3*m + 4*m + x = 7, 0 = 3*m + 2*x - 18. Suppose 2*p = -0*p + m. Does 28 divide (-85)/(-3) + p/(-6)?
True
Let c(f) = -9*f + 7. Let q be c(-7). Suppose 261 = z + 71. Suppose q + z = 5*m. Is 17 a factor of m?
False
Let l(j) = 414*j**2 - 5*j - 13. Is 87 a factor of l(-2)?
True
Suppose -5*a = -4*a + 4, 4*a = -m + 180. Is m a multiple of 7?
True
Let y be -7*1 - (6 + -4). Let t = y + 3. Does 3 divide 3/6 - 33/t?
True
Suppose -37*w = -34*w - 468. Does 13 divide w?
True
Does 40 divide (-8 + (-38)/(-6))/((-1)/48)?
True
Let s(i) = 80*i + 20. Does 11 divide s(5)?
False
Suppose -2*u = -2, -3*a + 2*u + 461 = u. Let p = a - 122. Is 10 a factor of p?
False
Let f = 395 - -345. Does 37 divide f?
True
Let x be (23 - -1262) + (5 - 0). Suppose 67*h = 61*h + x. Is 16 a factor of h?
False
Suppose -18*n + 50 = -8*n. Suppose 336 = h + n*h. Is 8 a factor of h?
True
Suppose -31 = -2*l - 0*l + v, -v - 67 = -4*l. Let a be l/45 - 208/(-5). Is (2 - -2 - 3) + a a multiple of 15?
False
Let s(w) = 6*w + 24. Is 28 a factor of s(24)?
True
Let x = -2134 + 4594. Does 41 divide x?
True
Let m = -18 + 18. Suppose 2*t + 0*z + 3*z = 92, m = -3*t - 2*z + 133. Does 11 divide t?
False
Let d(f) = f**3 - 12*f**2 + 11*f + 13. Let u be d(11). Let s = -13 - u. Let m = s - -37. Is m a multiple of 7?
False
Let x = 3091 - 1523. Is x a multiple of 14?
True
Let b(z) = -z**2 - 6*z + 17. Let c be b(-6). Does 2 divide (c/51)/(1/33)?
False
Suppose 8*a + 3*a + 2222 = 0. Is 3 a factor of (a/7)/(22/(-77))?
False
Let a(h) = -3*h + 19*h**3 + h**2 + 13*h**2 + 9 - 18*h**3. Let l be a(-14). Suppose 231 = 5*r + l. Is r a multiple of 9?
True
Does 6 divide 4 + (-28)/8 - (-4936)/16?
False
Suppose -p - 2*p + 5*g + 87 = 0, 3*g - 15 = -p. Suppose -p - 99 = -3*h. Does 13 divide h?
False
Let c(d) be the first derivative of -d**3/3 - 7*d**2/2 - 2*d + 6. Let x be c(-6). Does 10 divide 54/x + 1/(-2)?
False
Does 12 divide 28/(-70) + (-1 - 547/(-5))?
True
Let g = 1 - 16. Does 3 divide -2 + 0 - (-2 + g)?
True
Let n(p) = -p**3 + 9*p**2 + 13*p - 20. Let v be n(10). Suppose -c + 3*c - 5*s = 23, -c + 3*s = -v. Suppose -45 = -2*h + c. Does 16 divide h?
True
Let u be 3 + 1 + 3 + 1 + 0. Is 276/u + 18/12 a multiple of 18?
True
Let r(t) = -4*t**3 + 54*t**2 - 24*t - 16. Does 23 divide r(12)?
False
Let t = 3447 - 2196. Is 12 a factor of t?
False
Let o(m) = -3*m - 1. Suppose 1 = -2*y + y. Let w be o(y). Suppose 64 = w*v + 3*c, 4*v + 0*c + 3*c - 140 = 0. Is 18 a factor of v?
False
Let j(k) = k**3 - 5*k**2 - 7*k - 4. Let o be j(6). Does 6 divide (-220)/(-6) - o/(-15)?
True
Let s = -29 - 34. Let m = 104 + s. Let h = -25 + m. Is h a multiple of 13?
False
Let o(x) = -x**2 - x + 2. Let g(m) = 2*m - 27. Let y be g(14). Let i be o(y). Suppose 0 = 2*w - i*w - 28. Does 8 divide w?
False
Suppose -c + 3*c - 546 = -2*t, 5*c - 1347 = t. Does 27 divide c?
True
Let m = -45 - -48. Suppose 0*o - 213 = -m*o. Is 21 a factor of o?
False
Suppose 2*x - 3*p = 196, p - 196 = -2*x + 3*p. Is 5 a factor of x?
False
Does 7 divide 395/(-2)*-5*(-48)/(-120)?
False
Suppose 5*k - 2*k + 93 = -2*a, -3*a = -2*k - 49. Let f = -14 - k. Does 5 divide f?
True
Is 6 a factor of ((-975)/91 + 9)*(0 - 21)?
True
Let y = -18 - -20. Suppose -5*i + 4*b = -1152, y*i + 4*b - 240 = i. Is i/3 + 2/3 a multiple of 39?
True
Suppose -27 = -0*v - 3*v. Suppose b - v = -2*b. Suppose b*t + 43 = 175. Does 17 divide t?
False
Suppose -9*c + 3*v = -4*c - 240, -3*v = 4*c - 192. Is c a multiple of 6?
True
Suppose -d - p = -114 + 333, -4*p - 219 = d. Let q = d - -341. Does 9 divide q?
False
Suppose 9520 = 14*i + 3*i. Does 80 divide i?
True
Suppose -25*o + 27*o - 4813 = -3*l, 0 = -3*o - 3. Is l a multiple of 97?
False
Suppose 0 = 3*o - 5*o + 80. Let n be (2 - (-5 - -5)) + 7. Suppose n*s - 8*s = o. Is s a multiple of 10?
True
Suppose 58 = 2*b - 2*i - 1164, -5*b + 3065 = -3*i. Does 7 divide b?
True
Let u be 9/(-3)*(-8)/(-12) - -7. Suppose u*a - 710 = -5*i, 2*i - 4*a = -5*a + 285. Is 12 a factor of i?
False
Suppose 6*p - 6*p = -4*p. Suppose -5*m + 685 = 5*t - m, 3*t + 5*m - 424 = p. Does 5 divide t?
False
Let b be 102/9 + 8/12. Is (64/b)/((-5)/(-75)) a multiple of 22?
False
Let j(z) = 234*z + 2. Is j(2) a multiple of 47?
True
Suppose -3*o - 2*l = 97, -4*l = 4*o - 3*l + 136. Let w = o - -65. Does 10 divide w?
True
Let j(p) = -9*p + 135. Does 40 divide j(0)?
False
Suppose -22*w + 3145 = 15*w. Is w a multiple of 5?
True
Suppose -33 - 24 = -h - 5*o, h - 55 = -4*o. Suppose 0 = 4*s - 1 - h. Is 5 a factor of s?
False
Suppose 12*t - 276 - 4548 = 0. Is 3 a factor of t?
True
Suppose -2*l + 12*v + 3392 = 10*v, 2*l = -3*v + 3407. Is l a multiple of 112?
False
Let q(i) be the third derivative of 0 - 5/8*i**4 - 1/60*i**5 + 0*i - 8*i**2 - 13/6*i**3. Does 22 divide q(-11)?
False
Let r(z) = 28*z**3 + z**2 - z + 1. Let f be 7 - 1 - (2 + 0). Suppose 2 = -f*q + 6. Is 12 a factor of r(q)?
False
Does 5 divide (-24 - -39)*(-18)/(-5)?
False
Does 12 divide (2 + 4)*(-14211)/(-54) + -6?
False
Suppose -7*h + 3*h + 336 = 0. Let t = h + -36. Does 14 divide t?
False
Let l be 288/14 - 4/7. Let j be (-2)/(-6) - l/(-12). Suppose -2*k = j*k - 372. Is 31 a factor of k?
True
Let o = 13 - 8. Let l be (3 - o)/(3/6). Does 14 divide 51 - l/(16/(-12))?
False
Let g be (1 - 0)*(1 + 2). Suppose -3*s + 225 = 2*o, 3*s = g*o - 291 - 24. Suppose -m - o = -4*m. Does 16 divide m?
False
Suppose 27 = f + 4*i, -12*f = -11*f - 2*i - 51. Does 13 divide f?
False
Let p be (7 - 3)*3/4. Suppose 40 = -2*m - p*m - 5*u, -3*u = 12. Is (-134)/m + 1/(-2) a multiple of 11?
True
Let u = -1097 - -2605. Does 8 divide u?
False
Suppose 2*b - 14 = -4*t + 4, -13 = t - 3*b. Suppose 25 = t*q - 185. Is q a multiple of 30?
False
Let x be (3 + (-9)/3)*1. Suppose x = -2*p + 2*w + 54, 0*p + 3*p + w - 101 = 0. Is p a multiple of 16?
True
Is 31 a factor of (33 - -1)*(-6 + (-38)/(-4))?
False
Suppose v = 3*c - 3*v - 5304, -4*v = 5*c - 8872. Suppose -252 = 16*f - c. Is f a multiple of 6?
False
Suppose -5*m + 33 = k, 3*k + 3*m - 43 = 8. Let n = k - 56. Let q = 100 + n. Is 19 a factor of q?
True
Suppose 3271 = 24*a + 751. Is 35 a factor of a?
True
Let x = 6 + -4. Suppose x*o = o + 16. Let r = 62 - o. Is r a multiple of 18?
False
Let b = 5239 + -2349. Is 95 a f