v) = 18*v + v - 34*v - v. Is 25 a factor of z(-5)?
False
Suppose 2*w + 4 = 4*u + 22, -2*w - u + 8 = 0. Suppose -223 = -3*k + w*p, k = 6*k - 5*p - 355. Is 14 a factor of k?
False
Let a = -5 - -5. Suppose y - 4*y + 372 = a. Is 26 a factor of y?
False
Let d = 962 + -470. Is d a multiple of 12?
True
Let h be ((-61)/4)/((-4)/(-16)). Let u = h + 151. Is u a multiple of 18?
True
Suppose -6*f + 5*t = -5*f + 89, 3*f + 5*t + 227 = 0. Let n = f + 164. Does 17 divide n?
True
Let q = -66 - -69. Suppose -19 = -5*n + 1, 347 = q*x - n. Is x a multiple of 13?
True
Let a be (18/(-8))/(18/(-1344)). Let k = a - 281. Let w = -65 - k. Is w a multiple of 12?
True
Let o be (-1)/(-1) - 5 - -72. Let y = o - -3. Does 23 divide y?
False
Suppose -4*g + 3152 = 4*w, -7*w = -2*w + 3*g - 3948. Does 46 divide w?
False
Let z(l) = -l**3 + 3*l**2 + l + 7. Let w be z(3). Let q(g) = -g**3 + 12*g**2 - 9*g - 8. Does 18 divide q(w)?
False
Let w = 2962 + -2170. Does 9 divide w?
True
Let q(w) = 19*w + 43. Is 19 a factor of q(7)?
False
Let t(c) = c**2 + 7*c. Let d = -13 - -5. Let a be t(d). Let z = 0 + a. Is 8 a factor of z?
True
Let s = -722 + 452. Let c be ((-2)/(-4))/(5/s). Let u = -18 - c. Is 6 a factor of u?
False
Let a = 1021 + -283. Is 41 a factor of a?
True
Let f(a) = a**2 - a + 2. Let l be f(-5). Let h = l + -13. Is h a multiple of 5?
False
Suppose 3*v - 9 = -3. Suppose -v*t - t - 5*q + 128 = 0, 0 = -4*t - 3*q + 189. Does 7 divide t?
False
Let c(d) = 3*d**2 + 3*d + 1. Suppose 2*w + 2*w + t = 6, -4*w + 2*t = 0. Let n be (-2)/((-4)/8 + w). Is c(n) a multiple of 12?
False
Suppose -2*a = 3*b - 4*b - 8, 2*a - 20 = -5*b. Let q(n) = 38*n + 25. Does 17 divide q(a)?
False
Let z = 1157 + -757. Is z a multiple of 10?
True
Suppose -u = 4*u. Suppose u = 3*j - 7 - 8. Does 14 divide (-10)/((j/8)/(-5))?
False
Let k = -878 - -1697. Is 21 a factor of k?
True
Let h be 12/((2/(-1))/(-2)). Suppose -2*x = -6*x + h. Suppose 2*z + x*m - 113 = 4*m, -276 = -5*z - 4*m. Does 23 divide z?
False
Suppose 6*r - 1134 = 3*r. Is 21 a factor of r?
True
Does 9 divide 5/(-6) + (-2627)/426 + 4349?
False
Suppose 4*s - 161 = -17. Let v = s - 16. Is v a multiple of 13?
False
Let w be (-7)/35 + (-2)/(-10). Let l be (-14)/(-21) - 5/3. Does 14 divide l - w - (-4 - 41)?
False
Let d(g) be the third derivative of 5*g**4/24 + 7*g**3/6 - 11*g**2. Let u(a) = -7*a + 2. Let r be u(-2). Is d(r) a multiple of 29?
True
Let a(s) = 184*s**2 + s + 2. Let h be a(-1). Is h/30*3*2 a multiple of 29?
False
Let d = -130 + 237. Suppose -13 = -2*h + d. Is h a multiple of 30?
True
Let w(y) = -y**2 - 5*y + 17. Let v be w(12). Let r = -87 - v. Is r a multiple of 24?
False
Suppose -25 = -4*c - 9. Let r(g) = 2*g**2 - 4*g - 5. Let d be r(c). Suppose 5*a - 109 = d. Is 12 a factor of a?
True
Suppose 2*m + 2*i - 80 = 3*i, -3*i = -12. Suppose -d + 58 + m = 0. Is d a multiple of 19?
False
Suppose 2745 = -902*w + 911*w. Does 61 divide w?
True
Let m(r) = -13*r + 32. Let p be m(-10). Suppose 8*g - p = 2*g. Does 3 divide g?
True
Suppose -72 = z - 25. Suppose 0 = -5*q + 5*l + 121 - 491, 0 = -5*q - 4*l - 379. Let c = z - q. Is c a multiple of 14?
True
Let l(y) = -4*y**2 + 2*y + 2. Let g = 24 + -22. Let v be l(g). Is (132/15)/((-4)/v) a multiple of 12?
False
Is 37 a factor of -1073*24/(-2 - 10)?
True
Suppose 6*t - 7*t + f = 30, -2*t = 2*f + 44. Let z = 76 + t. Is 15 a factor of z?
False
Let p be -6*(1/(-3) + -1). Suppose p*t - 17*t = -225. Is t a multiple of 7?
False
Is 138/230 + 2377/5 a multiple of 4?
True
Let z(m) be the first derivative of 9*m**4 + m**3/3 - m**2/2 + m - 26. Does 19 divide z(2)?
False
Let f(u) = -4*u - 24. Let q be -13 + 0/(-1 + -2). Is 7 a factor of f(q)?
True
Suppose -2*y - 3*o - 9 = 0, 0 = 2*y - 0*o - 3*o - 21. Suppose 3*t + 12 = 0, -4*m + 158 = -y*m - t. Is 17 a factor of m?
False
Suppose 2*c + 64 = 4*n, 15 = 2*n - n - c. Let p = n + -7. Is 10 a factor of p?
True
Does 26 divide 1983/(-15)*(-25 + 20)?
False
Suppose 0*p + 5*p = 85. Suppose 45 - p = -7*q. Is (2/q)/((-10)/1080) a multiple of 21?
False
Suppose -5 = -4*g + 5*j, 4*j - 17 = g - 2*g. Suppose -r - 3*a + 9 = -0*a, 7 = -r + g*a. Does 3 divide (-6)/4*(1 - r)?
True
Suppose -215*s + 222*s = 1785. Does 7 divide s?
False
Let a(f) = 29*f**2 + 5*f - 11. Let c be a(3). Does 53 divide (-3 - -5)/(2/c)?
True
Is 17 a factor of (129 - -7)*36/16?
True
Let l = -1171 + 1094. Let p(r) = -112*r. Let b be p(-1). Let o = b + l. Does 11 divide o?
False
Let f(w) = w**3 - 4*w**2 + 4*w - 3. Let d be f(3). Suppose d = -4*h + 49 - 145. Let s = 35 + h. Is s a multiple of 3?
False
Let z be 1019/7 + (-3)/(-7). Suppose -5*j + 95 + 295 = 0. Suppose j = 4*h - z. Is 14 a factor of h?
True
Let j = -4100 - -7202. Is j a multiple of 33?
True
Suppose 3*h - h - 3*a + 4 = 0, -5*a + 40 = 5*h. Suppose -o + s + h*s + 60 = 0, 60 = o + s. Is o a multiple of 18?
False
Let a(k) = k + 1. Suppose -14*w - 20 = -9*w. Let b be a(w). Is 23 a factor of 52/39 + (-179)/b?
False
Suppose 23*u - 25*u = -4*p + 9870, -3*p + 3*u = -7401. Is p a multiple of 113?
False
Let f(u) be the third derivative of u**4/24 + 11*u**3/6 - 7*u**2. Let p be f(-8). Let l(s) = 3*s**2 + 3*s + 2. Is 9 a factor of l(p)?
False
Suppose 0 = -0*z - 4*z + 72. Let c be (z/15)/(2/5). Let g(f) = f**2 + f - 4. Is g(c) a multiple of 3?
False
Let v = 47 + -75. Let i = v - -82. Is 32 a factor of i?
False
Suppose z = 3*r + 2*z - 10, -3*z = -3*r - 6. Suppose 0 = 4*n + r*w - 160, -146 = 5*n - 5*w - 376. Does 9 divide n?
False
Let h be 2*(-1 + 17/2). Let w be h/12*(4 - 0). Suppose -w*r + 4*f - 5*f = -75, 0 = -r - 5*f + 39. Is r a multiple of 14?
True
Suppose 8*m - 26633 = -3673. Does 20 divide m?
False
Let w = 2162 + -1445. Does 14 divide w?
False
Let v = -145 - -80. Let a = 151 + v. Is a a multiple of 6?
False
Suppose -133*s + 129*s + 1480 = 0. Suppose s + 110 = 6*h. Is h a multiple of 8?
True
Suppose 4086 = 3*k - 2*i, k - 2*k + 3*i + 1362 = 0. Does 50 divide k?
False
Let x(b) = -b**3 + 4*b**2 - 3. Let v be x(3). Let u = -1 + v. Suppose u*l - 77 = -3*s, -5*l + 10*l = 2*s - 18. Is s a multiple of 7?
False
Suppose 103 = 5*k - c, 4*c = -3*k + 32 + 39. Suppose 0 = -16*h + k*h - 480. Does 16 divide h?
True
Let u be (-2)/(-8)*0 + 121. Suppose -463 = -3*y - u. Suppose 4*r = 106 + y. Is r a multiple of 16?
False
Let c(n) = 6*n**2 + 13*n - 6. Let v be c(5). Suppose 4*l - v = -5*s + 76, -5*l - 25 = 0. Does 9 divide s?
False
Let v = -68 - -102. Let j = v + -29. Is j a multiple of 2?
False
Suppose 4*m = -2*h + 3*m + 91, -188 = -4*h + 4*m. Is h a multiple of 41?
False
Suppose 17*n = 14*n + 1425. Is 19 a factor of n?
True
Let j be 163/15 + -1 - 8/(-60). Suppose 63 = -a + j*a. Is a a multiple of 4?
False
Suppose 0 = -2*b - 4*u + 24 - 60, 4*u - 72 = 4*b. Let y = 23 + b. Is 5 a factor of y?
True
Is 26 a factor of (260/24)/(3/36)?
True
Does 4 divide -2*7593/(-24) - 9/12?
True
Let u(x) = 6*x - 36. Let r be u(7). Is 3 - (-7)/2*r a multiple of 3?
True
Let w be 20/(-30) + 106/6. Let n = w - 13. Suppose l = 6*l - 4*p - 395, l = n*p + 95. Is l a multiple of 25?
True
Suppose 5*w - 3 - 37 = 0. Suppose p = -3 + w. Suppose -3*y = -p*h + 95, -h + 3*y + 7 = -0. Does 21 divide h?
False
Suppose s + 4 = 8. Suppose -s*n = n - 250. Is 17 a factor of n?
False
Suppose 21 = -3*b - 129. Let n = b - -61. Is n a multiple of 8?
False
Let t be 5/((-30)/4)*(-80 - -5). Let z = t + -1. Does 10 divide z?
False
Suppose 3*q = -0*q + 141. Let d = 81 - q. Is d a multiple of 17?
True
Let n(r) = -r**3 - 10*r**2 + 16*r + 13. Let o be (6/(-18))/(1/33). Let u be n(o). Let f = 93 + u. Is 31 a factor of f?
False
Let i(h) = -3*h - 16. Let t be i(-8). Let f = t + 27. Does 7 divide f?
True
Suppose 4*i + 4*k - 24 = 0, -4*i - 3*k + 44 = -4*k. Is i a multiple of 2?
True
Suppose -5 = -2*a - 3*p, 2*a + 4*p + 0 = 6. Let c be 5 + 1/((-4)/4). Suppose c = 5*s - a, -37 = -3*o - s. Does 3 divide o?
True
Let a be (2/((-4)/3))/(3/(-6)). Is 9*60/27*a a multiple of 15?
True
Let b(g) = 2*g**2 + 2*g + 4. Let n be ((-24)/(-40))/((-1)/(-5)). Let t be b(n). Is 28 a factor of t + ((-6)/(-3) - 0)?
False
Suppose -3*d = -3, 9*b - 8*b = d + 237. Does 20 divide b?
False
Let s = -2 - -17. Let r(q) = q**3 - 23*q**2 - 23*q - 21. Let b be r(24). Is b/s + (-98)/(-10) a multiple of 5?
True
Let i(x) = -x**2 - x + 2. Let k be i(8). Let r = k - -87. Is 3 a factor of r?