1060) - 6/4). Suppose 3*v = -2*z + 181, -3*z + 2*v + 0*v = -k. Does 15 divide z?
False
Let j be (0 + -1 - -9) + -3. Let v(t) = -2*t**2 - 10*t - 1. Let h be v(-5). Does 5 divide j - (0 - 13) - h*2?
True
Suppose -7*r = -0*r - 721. Let p = r + -19. Is 13 a factor of p?
False
Does 26 divide (-3530)/(-2) + 27 + -24?
True
Let n(g) = -g**3 + 28*g**2 - 23*g - 159. Let y be n(29). Let i = y + 2480. Is i a multiple of 13?
False
Let i = 1216 + 4284. Is i a multiple of 25?
True
Suppose -4*n = 4*j + 674 + 118, -2*n = -j + 402. Let q = 64 - n. Is 9 a factor of q?
False
Let h = -6219 - -18707. Is h a multiple of 101?
False
Let t(z) = 20*z - 1 + 18*z + 9*z - 13*z. Let i be t(3). Is (0 + 3 - 24/6) + i a multiple of 10?
True
Suppose 55*m - 64*m + 18 = 0. Is ((-24)/6 - -1080)/m a multiple of 46?
False
Let d(g) = -g**3 - 5*g**2 + g + 19. Suppose r + 3*v + 95 = 0, -v - 25 = 4*v. Let p be -8*(2/(-3))/(r/90). Is 22 a factor of d(p)?
False
Is ((-50)/(-7))/((-11)/(-1386)) a multiple of 36?
True
Let n(a) = 2*a**2 - 260*a - 1524. Let k be n(134). Suppose 0 = 2*c - 3*r - 23, -5*c + 3*r = r - 30. Is 42 a factor of c + -3 - (-6)/((-24)/k)?
False
Let r(z) = 711*z**2 + 40*z - 35. Does 35 divide r(-3)?
False
Suppose 2*f - 5*m - 2481 - 14269 = 0, f = -2*m + 8357. Does 87 divide f?
False
Let o = 519 + -747. Is (68/(-12))/(1/o) a multiple of 17?
True
Suppose -12 = -2*m - 2*r, -2 = m - r - 0. Let o be (-173 - 1)*((-5)/m - -3). Is (-1)/(264/o - -3) a multiple of 29?
True
Suppose -10*i + 13*i = -5*a - 11, -3*i = 2*a - 1. Let s be (-15)/(-6) + 2/4. Suppose -3*c = 8*w - s*w - 177, 113 = i*w - 5*c. Does 6 divide w?
True
Suppose 4*a + 58 = 22. Let c(b) = b**3 + 10*b**2 - 8*b - 25. Let x be c(a). Let t = 154 - x. Is t a multiple of 4?
False
Let l(n) = n**2 + 13*n - 60. Let g be l(-16). Let z(j) = -j**2 - 11*j + 9. Let u be z(g). Is 5 a factor of (-1)/(-2 - u)*1 + 31?
True
Let p(z) = -z**3 - z**2 + 4*z + 3. Suppose 2 = -3*n + 2*n. Let o be p(n). Let d(k) = 14*k**2 + k + 2. Does 5 divide d(o)?
True
Is ((-217)/56 + 4)*-3270*-4 a multiple of 14?
False
Let v(o) = 18*o**2 + 43*o - 385. Does 22 divide v(11)?
True
Let c(h) = -379*h - 4 - 399*h + 4*h**2 + 813*h. Is 4 a factor of c(-16)?
True
Is (-2)/(-9) + (22 + -883530)*3/(-54) a multiple of 15?
False
Suppose -f - w + 157 = 0, 3*w + 323 = 3*f - 118. Does 2 divide f?
True
Let r(l) = -l**3 + 5*l**2 + 7*l. Let g be r(6). Let y = 9951 - 9671. Suppose -q - d = -g*q + y, 3*d - 243 = -4*q. Does 57 divide q?
True
Suppose -2*t + x = -11064, 0 = -3*x - 4 - 2. Is 16 a factor of t?
False
Suppose -2*u + 2*k + 37598 = 1192, -2*u + 36403 = -k. Does 50 divide u?
True
Suppose -2594 = -2*s + y, 16*s - 19*s - 10*y + 3868 = 0. Does 12 divide s?
True
Suppose 16*n - 124014 + 14206 = 0. Is n a multiple of 9?
False
Let y(q) = 51*q + 5. Let p(i) = -25*i - 2. Let w(d) = -13*p(d) - 6*y(d). Let b = 1053 + -1048. Is w(b) a multiple of 5?
False
Suppose 6*n - 240 = n. Let q = n + -45. Suppose -2*a + 115 = 5*g, q*a + 23 = -0*g + g. Is 8 a factor of g?
False
Let u = -9 - -11. Suppose u + 6 = 4*n. Suppose 5*r + 2*c = 7*c + 245, -n*c = r - 46. Is 8 a factor of r?
True
Let k(o) be the first derivative of -5*o**4/4 - 2*o**3/3 - 8*o**2 - 2*o + 116. Is k(-3) a multiple of 12?
False
Suppose 24 = 4*j - 8*i + 7*i, 0 = -3*j - 4*i - 1. Let b be 5/j*1*-12. Is 6 a factor of b/4*1 + 51?
True
Let j be 15 + (2 - (10 - 3)). Suppose 2 = -j*o + 1802. Does 4 divide o?
True
Let x be -3*8/6 - 57. Does 2 divide (x/(-183))/(((-4)/309)/(-4))?
False
Let t = 591 - 205. Does 9 divide (-14)/(-21) + (t/(-3))/(-2)?
False
Let a(k) = 162*k + 1240. Is 52 a factor of a(10)?
True
Let w = 16369 - -21911. Does 232 divide w?
True
Let w be -5*(-1)/1*3. Suppose -19*l + w*l = 0. Suppose 0*x - 120 = -3*x + 3*u, l = 3*x - 5*u - 110. Is 8 a factor of x?
False
Let b(x) = 11*x**2 + 14*x - 28. Let g be b(8). Suppose 6*h = 202 + g. Is h a multiple of 14?
False
Is 75 a factor of ((-1275)/34)/((-14)/756)?
True
Let k(b) = b**2 + 17*b + 26. Let z = -88 + 65. Let a be k(z). Suppose -162*x - 266 = -a*x. Does 15 divide x?
False
Suppose -5*f - 4*t + 16 = -f, 32 = 3*f - t. Suppose 6*q - 261 + f = 0. Does 21 divide q?
True
Suppose -9*n + n = -20567 - 17601. Is n a multiple of 15?
False
Let v(t) = -29*t - 1. Let h be v(-1). Let p = -103 + h. Let d = -7 - p. Is d a multiple of 11?
False
Let u(x) = -x**3 + 7*x**2 - 9*x + 7. Let s be u(6). Let j = -11 - s. Suppose -5*d = -4*k + 64, 2*k - d = -j*d + 26. Is 11 a factor of k?
True
Suppose 3*i + 4*f - 6*f = 8486, 3*i = -f + 8501. Is i a multiple of 59?
True
Let t = -31 + 48. Suppose -t*a + 1159 = 2*a. Does 13 divide a?
False
Let c(x) = 11*x + 168. Let k be c(33). Let o = 540 - k. Does 2 divide o?
False
Let a(x) = 18*x - 106. Let i be a(6). Suppose -i*w + 577 = -743. Is 30 a factor of w?
True
Let q be (-3)/(6 + 31*(-2)/10). Suppose 5*c + p = 46, -c = -5*p - 5 + 1. Is (5/(q/14))/(3/c) a multiple of 7?
True
Let t = -4352 - -5854. Does 36 divide t?
False
Suppose -2*z - 8 = -5*k, 0*k - 2*z = -3*k + 8. Suppose k = 67*l - 65*l + 126. Is 17 a factor of -15*497/l + (-4)/(-6)?
True
Does 123 divide 2/6*24 + 9074?
False
Suppose -9*l - 27*l = -11052. Let n = l + -299. Does 2 divide n?
True
Suppose -5*f + 21 = -v, -3*f + 7 = v - 4. Let y be v + 4 + 6/2. Suppose -101 = -s + y. Is s a multiple of 32?
False
Suppose 5*r = -2*d + 18, -10*d = 5*r - 7*d - 17. Suppose -r*v - 7*p = -12*p - 545, -3*p + 429 = 3*v. Does 14 divide v?
True
Let r(c) = -c**3 - 14*c**2 - 33*c + 66. Is r(-18) even?
True
Suppose 25 = -5*f, 3*k = -2*f + 2981 + 609. Is 8 a factor of k?
True
Suppose 0 = -2*n - 3*b - 111, 7*n - 101 = 9*n + b. Let o = 167 + n. Does 14 divide o?
False
Suppose 525532 = 224*o - 600292. Is o a multiple of 7?
True
Suppose -4*n + 224 + 30 = 5*u, -2*n + 262 = 5*u. Is (-9)/u + 2834/12 a multiple of 4?
True
Suppose 281*n - 100723 = -46*n + 94169. Does 4 divide n?
True
Suppose 0 = 3*k - 5*v - 15034 + 2166, -k + 4343 = 6*v. Is k a multiple of 40?
False
Suppose 6*y + 19 = 79. Let s(t) = -t**3 + 11*t**2 - 10*t + 4. Let o be s(y). Is 13 a factor of 546/o*(-2 + (-12)/(-3))?
True
Suppose 74*b + 7094 = 287703 + 15169. Is 23 a factor of b?
False
Suppose -4*k = -2*k. Suppose k*w + t = -3*w + 10, 0 = 5*w + t - 14. Suppose 0 = 4*u + w*m - 133 - 653, 0 = 5*u + m - 978. Is 39 a factor of u?
True
Let i(m) = 5*m**2 - 57*m + 909. Does 86 divide i(45)?
False
Let m = 1301 + -2131. Let d = m + 526. Let s = -134 - d. Does 17 divide s?
True
Suppose -27 = -5*a - 3*u + u, -a = -3*u - 2. Suppose 0*j + 2*j + 4*g = -4, -10 = a*g. Suppose 0 = j*v - 2*l - 208, 82 = v + 3*l - 2. Is v a multiple of 28?
False
Let n = 8219 + -3709. Is n a multiple of 22?
True
Suppose b = -5*o + 1612, -741*o - 1607 = -b - 745*o. Does 23 divide b?
True
Does 44 divide -5 - (-147176)/28 - ((-476)/49 - -10)?
False
Let a(q) = 649*q**2 + 148*q + 710. Is a(-5) a multiple of 43?
False
Suppose 0 = 19*w - 15*w - 4. Let b be -5 + w + (3 - (-1)/1). Is 4 a factor of 38 + -11 - b/1?
False
Let t(m) = -m - 18. Let s = 44 + -64. Let u be t(s). Suppose 0*x - u*v = -2*x + 158, 5*x = -3*v + 371. Is x a multiple of 13?
False
Let d(v) = -v**2 + 12*v - 13. Let p be d(2). Suppose -3*a - p*a = -1200. Is a a multiple of 42?
False
Let j = 2816 + -1491. Suppose j + 133 = 9*v. Is 9 a factor of v?
True
Let n(k) = -4*k**2 - 2*k + 10. Let q(z) = z**3 + 1. Let o(p) = -n(p) + 5*q(p). Is o(3) a multiple of 36?
False
Is 23 a factor of 88209/108 - 5/(-20)?
False
Let t be (-36)/((78/27)/(-13)). Suppose 0 = 4*m - t - 4722. Is 39 a factor of m?
False
Let s(i) = 12*i**2 - 9*i + 5. Let m be s(-7). Suppose -5*h + 2654 = -m. Let w = h - 357. Does 24 divide w?
False
Suppose 0*h = -3*h + 9. Suppose h*d - 181 = -y, 3*d + 59 = 3*y - 460. Is y a multiple of 12?
False
Suppose 2*j - 3*a = 245, -8*a + 3*a + 550 = 5*j. Suppose n = -n + 4. Suppose -j = -4*p + 5*x, -20 - 39 = -n*p + x. Is 13 a factor of p?
False
Let p(f) = 6304*f**2 - 27*f + 90. Is 39 a factor of p(3)?
True
Let o(y) = y**2 + y + 26. Let d be o(0). Let f(t) = -t**2 - 2*t + 3. Let c be f(-3). Suppose -3*m + 51 = 5*h, -2*h - m - 3*m + d = c. Does 3 divide h?
True
Does 63 divide -14*(-2 - 5/((-280)/96)) - -26897?
True
Suppose 4*l + 7124 = 4*o - l, -5316 = -3*o - 3*l. Is 39 a factor of o?
False
Let c be -3 + (-70)/(-30) - 52/(-6). Suppose c*p + 1185 = 11*p. I