*4/12 + 7*w**3/3 + 13*w**2. Let q be b(-6). Suppose 0 = -0*t + q*t - 22. Does 10 divide t?
False
Let v = 49 - 62. Let n(q) = -6*q - 37. Is n(v) a multiple of 7?
False
Let z be (2/(-4))/((-4)/8). Let m be (z + 0 + -23)/(-2). Suppose 3*g = 3*x - 21, 4*x = 2*x + 3*g + m. Is 4 a factor of x?
False
Let p be (6/18)/((-2)/(-24)). Suppose a - 63 = -3*s, 0*a - p*a = -2*s - 238. Is a a multiple of 20?
True
Suppose 0 = 2*z - 3*u - 1929, 4*z - 3855 = -u + 6*u. Does 120 divide z?
True
Suppose -6800 = 2*n - 7*n. Is 40 a factor of n?
True
Suppose 3*i - 20 = -2*n, -5*i + 4*n = -0*i - 4. Suppose -a + 3*a = i*b - 20, 3*b = -2*a + 8. Suppose x = -4*f + 89, -5*f - 280 = -b*x - 29. Is 21 a factor of x?
False
Let d = -1356 + 2420. Suppose -9*x = -16*x + d. Is 19 a factor of x?
True
Suppose 2*a - 199 = -b - 7, 3*b + 469 = 5*a. Is 7 a factor of a?
False
Let r be (-5)/(-2)*18/45. Does 38 divide (-17 + 67)*(2 - r)?
False
Suppose -y - 2*d + 3 = 0, 2*y - 3*d + 0 = 6. Suppose -2*r + 54 + 100 = 4*f, -223 = -y*r - 2*f. Is 55 a factor of r?
False
Let h = 408 + -452. Suppose 0 = -u - 0*u + 112. Let q = h + u. Is q a multiple of 19?
False
Let t = 1395 - 1102. Does 11 divide t?
False
Let d(t) = t**3 + 19*t**2 + 31*t + 11. Let o be d(-17). Let f = -12 + o. Is 5 a factor of f?
True
Suppose 0 = 8*z - 3*z - 595. Is z a multiple of 7?
True
Let m(c) = c**2 + 14*c + 12. Let k be m(-12). Let z = k + 48. Is z a multiple of 12?
True
Suppose -11*u = -u - 4500. Is 30 a factor of u?
True
Suppose -5*j - 3*g + 225 = 0, -g = 2*j - 3*j + 37. Does 15 divide j?
False
Let x = -831 - -860. Let o be ((-1)/2)/((-2)/20). Suppose -y + 5 = 4*g - x, o*g + 52 = y. Is y a multiple of 24?
False
Suppose 2*f - 27 = w + 2*w, 4*f + 2*w - 46 = 0. Suppose -408 = -f*m + 612. Is m a multiple of 5?
True
Let m(b) = -10*b**2 - 4*b - 2. Let v be m(-2). Let a = v + 40. Is a a multiple of 6?
True
Suppose n = -n + 2*t - 22, -n - 4*t = -14. Let s(o) = o**3 + 8*o**2 + 9*o + 6. Does 24 divide s(n)?
True
Suppose 4*o - 36 = o. Let l be (6/o)/((-1)/4). Is 19 a factor of 3/(l*2/(-100))?
False
Suppose 1979 = -3*h + q + 8079, -4060 = -2*h - q. Is h a multiple of 16?
True
Let o be (3*4/18)/(6/99). Suppose -o*v = -0*v - 242. Does 22 divide v?
True
Suppose -6 = -3*u - 0. Suppose -2*q + 4*p = -38, q + u*p - 21 - 2 = 0. Does 10 divide -1*q/(2/(-2))?
False
Suppose 4*f - 12*b - 801 = -13*b, -4*f = 2*b - 802. Does 5 divide f?
True
Let d(s) = -73*s - 80. Let z(x) = 18*x + 20. Let b(g) = -2*d(g) - 9*z(g). Let v be b(-8). Suppose -v - 74 = -2*f. Is f a multiple of 26?
False
Let l = -2003 - -2883. Is 16 a factor of l?
True
Suppose 4*h = 4*m + 5932, 5*m = 5*h + 9*m - 7415. Is h a multiple of 24?
False
Let o be (-15)/3 + -4 - -4. Let z(h) = -h**3 + 7*h - 6. Is 42 a factor of z(o)?
True
Let n be (6/6 - 6)/(-1). Let a be 24/(-10)*150/(-4). Suppose -g = 2*z - 39, -4*g = n*z - 9*g - a. Is z a multiple of 5?
False
Suppose 3*g - 5*b = 74, -3*g = -4*b - 73 - 6. Does 11 divide g?
True
Let n(j) = 64*j**2 + 8*j - 22. Is n(7) a multiple of 10?
True
Suppose 0 = 2*w + 4*p - 398, 10*p - 410 = -2*w + 9*p. Is w a multiple of 10?
False
Let p = -258 - -259. Let n(s) be the first derivative of 38*s**3/3 - s**2/2 + 2*s + 2. Is n(p) a multiple of 18?
False
Let h(c) = -4*c**2 + 10*c + 7. Let v(r) = r**2 - r. Let x(w) = -h(w) - 5*v(w). Let j(t) = -t**2 - 4*t - 7. Let z(i) = -5*j(i) + 6*x(i). Does 3 divide z(-8)?
True
Let d = -3 - -6. Let q = -242 - -326. Suppose d*h = -0*h + q. Does 4 divide h?
True
Is 132174/243 + (-8)/(-108) a multiple of 17?
True
Suppose 29*c - 192 = 32*c. Let q = c + 148. Is q a multiple of 12?
True
Let f = 30 - 22. Suppose 33 = -f*l + 1. Is l/(-3)*66/4 a multiple of 6?
False
Let x(p) be the second derivative of p**4/12 - 11*p**3/6 + p**2/2 - p. Let k be x(5). Does 18 divide k*(4 - (-15)/(-3))?
False
Suppose -2*h - 160 = -3*l + 538, 3*h - 908 = -4*l. Is l a multiple of 3?
False
Suppose 4*y - 2 = -10. Let d be (-2 + -10)*(y - -1). Suppose -4*f + 2*v = -26, -f + 3*v - 8*v + d = 0. Is f a multiple of 7?
True
Suppose -366 + 41 = c - 5*b, 3*b + 650 = -2*c. Let w = -165 - c. Is w a multiple of 20?
True
Let t = 184 + 804. Does 38 divide t?
True
Suppose -29 + 9 = -4*a. Is a a multiple of 3?
False
Does 8 divide (30 + 58)*(0 + (-1)/(-1))?
True
Let n(t) = -7*t**3 - 6*t**2 + 7*t - 1. Let q be n(2). Suppose -4*d + 134 = -j, 0 = -2*j + 6*j - 3*d + 523. Let v = q - j. Does 19 divide v?
False
Let y(v) = v**3 + 22*v**2 + 30*v + 4. Is y(-18) a multiple of 31?
False
Let x be 4*9/12 + -3. Suppose 5*r + 3*u + 3 = x, 5*r - 4 = -5*u + 1. Let m(c) = -3*c**3 - 2*c**2 + 2*c - 4. Does 14 divide m(r)?
False
Let w(r) = r + 3. Let d be w(-9). Let k = d - -12. Let p = 20 - k. Does 3 divide p?
False
Let g(l) = -3*l. Let a be g(2). Let n(b) = -b**3 - 2*b**2 + 14*b + 14. Is n(a) a multiple of 3?
False
Let u = 640 - 624. Is u a multiple of 9?
False
Let s = -1 - -9. Suppose -z - 3*z + 5*k = 10, -s = 4*k. Is 15 a factor of (z - -48) + (1 - -1)?
True
Let z(k) = 7*k**2 - 8*k + 18. Is z(6) a multiple of 10?
False
Let f(z) = 22*z + 273. Does 6 divide f(-12)?
False
Let s = 204 + 279. Is s a multiple of 21?
True
Is 8 a factor of 1*(740 + 7/(-1))?
False
Suppose 2*c = 214 + 136. Is c a multiple of 25?
True
Suppose -29*r = -31*r + 504. Is 12 a factor of r?
True
Let i be ((-16)/10 - -2) + (-652)/(-20). Suppose 3*t - i = -3*u, -u + t + 0 = -3. Is u even?
False
Let i(r) = -r**3 - 7*r**2 - r + 2. Let y be i(-7). Let d = 11 - y. Suppose -3*o = -u - 3*u + 25, d*o = -4*u + 10. Does 4 divide u?
True
Let y = 1992 + -1354. Does 11 divide y?
True
Let d(z) = 191*z + 345. Is 51 a factor of d(3)?
True
Let t(a) = 16*a + 1. Let m be t(-1). Let i be ((-95)/m)/((-2)/6). Let g = i + 27. Is 4 a factor of g?
True
Suppose -2*o + 5 = -15. Suppose -3*t + o = 49. Let b(v) = -2*v - 18. Does 2 divide b(t)?
True
Suppose -4*s = -0*v + 3*v - 15236, -3*s = 3*v - 11430. Is 121 a factor of s?
False
Suppose -o = -4*o - 5*h + 103, -5*h + 165 = 5*o. Let x = 9 - 23. Let f = o + x. Does 11 divide f?
False
Let t = -994 + 2819. Is 73 a factor of t?
True
Let y(l) = l + 11. Let f be y(-8). Let a(c) = f - 5 + 2 - 1 + 37*c. Does 14 divide a(1)?
False
Let x(l) = 3*l**2 + 12*l + 159. Is x(18) a multiple of 5?
False
Let j(i) = 246*i**3 - i - 1. Let n be j(-1). Let x = n - -389. Let k = -35 + x. Is 27 a factor of k?
True
Suppose c + 201 = 4*c. Suppose -4*n + 142 = 2*t, -t - n + c = -5. Is 10 a factor of t?
False
Suppose 4880 = -16*g + 25696. Does 7 divide g?
False
Suppose 4*x = 3*c - 15, -c - 3*x - 8 = -0*x. Let h(n) = 215*n**3 + 2*n - 1. Does 36 divide h(c)?
True
Let s = 1267 - 1039. Is 57 a factor of s?
True
Suppose -4*o + 2*n + 7490 = 0, o - 547 = -5*n + 1320. Is o a multiple of 13?
True
Is 2 a factor of (-3)/(6/(-4)*2/263)?
False
Let x = -56 + 61. Suppose -3*n = -3*v + 2*v + 84, x*v - 5*n - 400 = 0. Does 13 divide v?
True
Suppose 0 = d + 16 + 16. Let c = -29 - d. Suppose -m = -2*m - q + 64, -3*m + c*q = -168. Is 18 a factor of m?
False
Let q = 31 - 21. Let k(v) = v**2 - 4*v - 2. Does 29 divide k(q)?
True
Suppose 3*r + 12 = 18. Let j be (215 - r) + (3 - -1). Suppose -4*t = -3 - j. Is t a multiple of 20?
False
Is 39 a factor of 27/(-18)*(-1480)/6?
False
Suppose 5*l = 3*g + 1, -2*l + 6 = 4*g - 5*l. Let w = 0 - g. Is 11 a factor of 8/(-1 - 5/w)?
False
Suppose 7 = 3*u + 2*u + 3*j, 5*j - 23 = 3*u. Let o(f) = f**3 + 14*f**2 + 24*f + 1. Let a be o(-12). Does 17 divide (u - a)*-2 + 30?
True
Suppose -369 = g + 2*g. Let p = g + 227. Suppose -2*v + p = 2*v. Is v a multiple of 13?
True
Suppose -4*q + 2144 = r, 5*q + 2*r - 1515 = 1162. Does 107 divide q?
False
Let a(m) = -14*m**3 - 2*m**2 - m + 1. Let x be a(-2). Suppose 4*h = 2*p - 62, 5*p = -3*h + h + x. Is p a multiple of 16?
False
Suppose 750 = 8*t - 2*t. Suppose 0 = -5*q + 295 + t. Suppose -4*p + 4*l = -q, -l - 2 + 23 = p. Is 8 a factor of p?
False
Suppose 18 = -2*f - 4. Let r = f + 15. Suppose -5*q + r = -4*j, -j - q - 16 = -6*j. Does 2 divide j?
True
Let u(w) = -w**3 + 6*w**2 - w. Let v be u(6). Let c be 60/(-9)*v/4. Let a = 11 + c. Is 16 a factor of a?
False
Let v be ((-148)/(-12))/(-3*(-1)/(-36)). Is 3 a factor of (333/v)/(6/(-16))?
True
Let g(k) be the third derivative of k**5/60 + k**4/6 + k**3 - k**2. Suppose -15*c - 13 = 62. Is g(c) a multiple of 3?
False
Suppose 2*z = -12*z + 350