ue
Suppose -2*c - u = -1845, -3*u = -5*c - 619 + 5215. Let v = 1381 - c. Is 10/(-4)*v/(-25) a multiple of 7?
False
Suppose 4*y = -b + 2551, 5*y - 4*b - 1427 = 1767. Is 29 a factor of y?
True
Let p(y) = -y**2 + y + 2. Let f be p(2). Suppose -2*w + 4*h + 38 = f, 2*w = h + 13 + 10. Let d = 12 + w. Is 9 a factor of d?
False
Let n(q) = -23*q**3 - 3*q**2 - 38*q - 10. Does 20 divide n(-5)?
True
Suppose -4*h - 31 = 6*w - 3*w, -63 = 5*w + h. Is 33 a factor of (-4)/(-26) + -5 + (-921)/w?
True
Let i be 17 + -3 + (4 - 2). Let a = i - -8. Suppose -g + 5*d + 5 = -7, -2*g + 3*d = -a. Is 10 a factor of g?
False
Suppose -10*p - 2 = -11*p. Is (-5)/((-20)/46)*p a multiple of 23?
True
Let b be 4/14 - 1*12/(-7). Suppose -2*c = b + 2, 0 = -3*s + c + 32. Is s a multiple of 9?
False
Is (-2)/(-3) - (-51688)/84 a multiple of 28?
True
Let j(y) = y**3 + 4*y**2 - 8*y + 7. Is j(9) a multiple of 48?
False
Suppose 2*p - 5*p = -6. Let w be (-20)/(-15)*p*3. Suppose r = w*r - 364. Is 12 a factor of r?
False
Is 97 a factor of (-4)/8*(-279942)/37?
True
Suppose -5*h - 25 = 0, 4*h = -5*p - 54 + 369. Let k(s) = -s**3 - 6*s**2 + 3*s + 3. Let x be k(-5). Let c = p + x. Does 8 divide c?
False
Suppose -4*o + 16536 = -t - t, 2*o - 3*t - 8260 = 0. Is 22 a factor of o?
True
Let r(w) = w**2 - w - 4. Let s be r(-2). Let t be 1*(-18)/(s + 1). Let k(b) = b**2 - 2*b - 4. Is k(t) a multiple of 20?
False
Let k(r) = -r + 1. Let g be k(-2). Suppose 0 = -2*c + g*c - 2. Does 8 divide (-441)/(-18) - 1/c?
True
Suppose -369 = -p + 6*d - 9*d, 0 = -3*p - d + 1107. Is 18 a factor of p?
False
Let u be (0 + -1)/(14/1330). Let q = 61 - u. Let r = q - 106. Is 11 a factor of r?
False
Suppose 3*p = -3*m - 3, 2*m + 2 + 9 = -5*p. Suppose 4*c = -m*g + 34 - 0, -3*g = 2*c - 15. Is c even?
False
Let d(t) = -620*t - 31. Is 17 a factor of d(-3)?
False
Is ((-438)/(-8))/((-49)/(-196)) a multiple of 13?
False
Let g = -4 + 6. Suppose -i + 11 = g. Is i a multiple of 3?
True
Is 6/((-39393)/(-5625) + -7) a multiple of 25?
True
Let u(t) be the first derivative of 2*t**3/3 + t**2 + 14*t + 9. Is u(0) a multiple of 4?
False
Suppose -86 + 14 = -4*i. Suppose -15*t = -i*t + 15. Suppose -t + 65 = 4*z. Is z a multiple of 10?
False
Suppose -20 = -2*p + 18. Suppose 17*z = p*z. Suppose -2*y + 55 - 9 = z. Is y a multiple of 23?
True
Let u(h) = 4*h**2 - 7*h - 4. Is u(6) a multiple of 8?
False
Suppose 3*h = 4*z + 17, -8 = 3*h + 3*z + 10. Let m(i) = -34*i**2 - 11*i + 5. Let o(v) = -17*v**2 - 5*v + 2. Let b(r) = 4*m(r) - 9*o(r). Does 6 divide b(h)?
True
Let t be (-2)/(-6) + 0 + 5530/15. Suppose 324 + t = 11*q. Is 7 a factor of q?
True
Let m be 51/(-7) + 22/77. Let r = -4 - m. Suppose -r*w = w - 192. Is 16 a factor of w?
True
Let w(r) = 2*r - 9. Let g be w(6). Does 33 divide (-265)/(-2) - g/6?
True
Let b(c) = 4*c - 1. Let m be b(-4). Let r be -1 - 20 - (-17 - m). Does 4 divide 70/r*12/(-5)?
True
Let r(q) = q + 5. Let u be 2 + -5 + (-2)/1. Let m be r(u). Let v = m + 11. Is 3 a factor of v?
False
Is (-33588)/(-44) - (-188)/(-517) a multiple of 7?
True
Suppose -2*n = -126 - 180. Suppose 2*g + 87 = -n. Is g/(-5) + -3 + 2 a multiple of 11?
False
Suppose 0 = -25*p - 0*p + 7350. Is 87 a factor of p?
False
Suppose -1 = -2*q + 5. Suppose 5*p + 2*i - 76 = 0, -q*p - 2*i + 56 = -6*i. Let o = p + -1. Is o a multiple of 15?
True
Let l = -923 + -974. Let h = -1284 - l. Suppose 0 = -5*m + h - 168. Is 21 a factor of m?
False
Suppose 41*b - 46*b - 35 = 0. Is 4 a factor of 2/b - (-2541)/147?
False
Let j(p) = p**2 + 10*p + 12. Let z be j(-9). Is ((3/(-6))/(z/(-36)))/2 even?
False
Let o(s) = -s**3 + 14*s**2 + 6*s + 17. Is 12 a factor of o(13)?
True
Suppose -4*m - 29 = -5. Let w = 51 - m. Does 8 divide w?
False
Let d(n) = -2*n**3 + 3*n**2 + 7*n - 6. Let a be d(4). Let p = 127 + a. Is 32 a factor of p?
False
Suppose 11*u = 2*m + 7*u - 140, 5*m + 4*u - 364 = 0. Does 18 divide m?
True
Is 4/8*11472/8 a multiple of 24?
False
Let s be (0 - 0)/2 + 5. Suppose -l - s = 2*k - 39, 3*l + k = 117. Suppose -3*x + l = 3*a - 4*x, -64 = -5*a + 3*x. Is a a multiple of 3?
False
Suppose -13*q = -25*q + 3696. Is 28 a factor of q?
True
Let m = 1045 - 511. Is 16 a factor of m?
False
Let d = -2135 - -4478. Does 14 divide d?
False
Let o = 59 - 39. Suppose -r - 3*r + k + o = 0, -28 = -3*r + 4*k. Is r a multiple of 2?
True
Suppose -i - 335 = -5*t + 4*i, 5*t = 2*i + 350. Suppose s - t = 4*c, 106 + 100 = 3*s - 2*c. Does 24 divide s?
False
Suppose 0 = -5*a + 21*a - 800. Is a a multiple of 5?
True
Let l(d) = d**2 + d. Let t(c) = c**2 + c + 1. Let y(h) = -2*l(h) + 3*t(h). Let f be y(-4). Is (-6)/15 + 1206/f a multiple of 20?
True
Suppose -14*f + 2998 = -9*f - 4*m, 0 = 4*f + 5*m - 2423. Is f a multiple of 8?
False
Suppose 0 = 2*v - 8. Suppose 0 = -v*w - 4*z - 20, 0 = -4*w - 4*z + 2*z - 22. Is 14 a factor of (-896)/(-48)*w/(-4)?
True
Suppose -478*w - 4*j = -473*w - 9150, j + 9175 = 5*w. Is w a multiple of 14?
True
Let k(t) be the second derivative of -1/12*t**4 + 0*t**2 + 7/6*t**3 + 0 - t. Does 12 divide k(4)?
True
Suppose -4*i + 7 = 3. Suppose 0 = 2*q + i - 9. Suppose 0 = 5*d + n - 96 - 124, 5*n + 176 = q*d. Is d a multiple of 12?
False
Suppose -2 = -2*f + a, -2*a + 6*a - 3 = -3*f. Is 3 a factor of 4/8*24*f?
True
Suppose -9 = -2*m - 35. Let h = -11 - m. Does 8 divide (1/h)/(9/342)?
False
Let b(c) = -c**3 - 24*c**2 + 2*c - 89. Is b(-26) a multiple of 36?
False
Let u(m) = 7*m + 7. Let z = 9 - 0. Does 9 divide u(z)?
False
Does 30 divide 2/(-4) - (-63)/(-12)*-62?
False
Let o(j) = -j**2 - 19*j - 3. Let s(m) = 1 + 18*m - 3*m**2 + 2 + 4*m**2. Let c(z) = -3*o(z) - 4*s(z). Does 11 divide c(-14)?
True
Suppose 4*j + 2*k = 8*j - 34, 0 = -2*k + 6. Let c = j - 5. Is c a multiple of 3?
False
Suppose -4*w - 3*u + 16 = 1, 10 = 2*u. Suppose -4*j + j = w. Suppose 3*i = 4*p + 34, -2*i - 4*p - p + 38 = j. Is i a multiple of 8?
False
Let d = 305 + 926. Does 10 divide d?
False
Let i(j) = -j**2 + 46*j + 75. Does 24 divide i(25)?
True
Let l = -9 - -19. Let r = l + 20. Is 5 a factor of r?
True
Let l = -648 - -1264. Is l a multiple of 22?
True
Let d(y) = -3*y - 29. Let s be d(-9). Let u(a) = -4*a**3 + a**2 - 5*a - 5. Does 6 divide u(s)?
False
Let d(c) = -4*c + 6. Let b be -6 - (-1 + -3 - -4). Does 10 divide d(b)?
True
Let x = 32 - 11. Suppose 3*j = -2*i - 2*j + x, -i - 3 = -2*j. Is i a multiple of 2?
False
Let b = 17 + -7. Let f be 2/b - 144/(-5). Suppose -1 - f = -3*r. Is 8 a factor of r?
False
Suppose -3*k - 14 = -20. Suppose -3*v - 317 + 50 = -2*f, 3*f - k*v - 398 = 0. Does 44 divide f?
True
Let a(o) be the third derivative of 2*o**5/15 + o**4/8 - 2*o**3/3 + 2*o**2. Let l = -33 + 35. Is 17 a factor of a(l)?
True
Let v = 29 + -24. Suppose -d + 715 = 4*d - 5*r, -r = -v*d + 711. Is d a multiple of 21?
False
Let z(a) = -27*a + 5. Does 2 divide z(-4)?
False
Is 55 a factor of (15/10 + 0)*(-2 + 414)?
False
Suppose -3*s = -5*u - 310, -2*s + 4*u = -161 - 43. Suppose -10 = -5*q + s. Does 19 divide q?
False
Let i = -449 - -848. Suppose -241 = -3*u - r, 0 = 5*u - 3*r - i - 12. Does 25 divide u?
False
Let s = -73 + 187. Is s a multiple of 5?
False
Let u(z) = -22*z**3 + 6*z**2 + 6*z + 6. Let h(d) = -21*d**3 + 5*d**2 + 5*d + 5. Let w(t) = 6*h(t) - 5*u(t). Does 32 divide w(-2)?
True
Is (-990)/35*(-14 - 0) a multiple of 9?
True
Let y = 1192 - 756. Does 9 divide y?
False
Let o(k) = -2*k + 17. Let d be o(8). Let r be (d + 3)*(-1)/(-2). Suppose 0 = -g - 3*t + 45, 5*t - 42 = -r*g + 43. Does 11 divide g?
False
Let i(j) = 21*j + 3. Suppose w + 7 = -3*a, 9 = 3*w + 2*a - 5. Does 19 divide i(w)?
True
Let r = 11 + -5. Let s = 302 + -304. Let z = s + r. Does 2 divide z?
True
Suppose s + 3*s - 350 = -5*a, -2*a = -2*s + 184. Suppose 0 = -5*b + 8*b - s. Does 5 divide b?
True
Let s(i) = 148*i + 236. Is 28 a factor of s(9)?
True
Suppose 3*h = 37 - 13. Let f = h - 6. Suppose 0 = -w - j, -f*w = j - 2*j - 15. Is w even?
False
Suppose -4*w + 3*w = -1344. Is w a multiple of 64?
True
Let y(u) = -u - 1. Let h(f) = -4*f**2 - f. Let o(d) = -h(d) - 3*y(d). Let z be 12/18*(-2 - 1). Is 4 a factor of o(z)?
False
Let m(u) = u**3 - 6*u**2 + u - 22. Is m(11) a multiple of 66?
True
Suppose -4*k + 6*j = 3*j - 27, -7 = -4*k - j. Suppose 33 = -k*z + 117. Does 14 divide z?
True
Suppose 18*s = 12*s + 1620. Is 27 a factor of s?
True
Suppose -2*h + 8*h = 240. Is 20 a facto