23. Is u a multiple of 5?
False
Suppose 0 = 2*u - 3*u + 3*p - 4, 4*u = 4*p - 56. Let g(f) = -2*f**2 - 46*f - 2. Is g(u) a multiple of 29?
False
Suppose -101 = -o + 125. Let l be o/3 - (-2)/(-6). Let u = l + -42. Does 14 divide u?
False
Suppose -4*u = w - 6, -2*u = 3*w + 2*w - 12. Let q be (-4)/14 - 23/(-7). Suppose -38 - q = -3*d - w*m, 4*d - 2*m - 36 = 0. Is 9 a factor of d?
False
Does 5 divide (-100788)/(-96) + (-5)/(-40)?
True
Suppose 70 = -69*v + 71*v. Is 5 a factor of v?
True
Let k be (-285)/9 + 2/(-6). Let y be (1020/(-10))/((-15)/40*-4). Let l = k - y. Is l a multiple of 12?
True
Let w(y) = y**2 + 27*y + 151. Is w(-22) a multiple of 3?
False
Suppose 0 = 5*r + 3*i - 232, 3*r - 80 - 56 = -5*i. Let z = 46 + r. Let c = 133 - z. Is 8 a factor of c?
True
Suppose -5*p = -3*p + 2. Let y be (-8 - -7)/(1/12). Does 29 divide p + 66*y/(-9)?
True
Suppose 5*p - 8*p - 15 = 0. Let h(s) = -4*s + 2. Is h(p) a multiple of 12?
False
Suppose 0 = -0*j - j - 17. Let f = j + 20. Let g = f + 10. Does 6 divide g?
False
Let y = -4 + 6. Let q be (-9)/(-2)*(-48)/(-36). Does 13 divide 199/q - y/12?
False
Suppose 0 = -z - 3*w + 123, 595 = 5*z - w - 4*w. Suppose -2*r + 5*l + z = 0, -4*r + 8*l = 3*l - 240. Is 13 a factor of r?
False
Let d(g) = 18*g - 3. Let v be d(2). Let m = v + 49. Is 25 a factor of m?
False
Suppose -3*m = -10*a + 6*a - 168, 0 = m - 2*a - 58. Is 12 a factor of m?
False
Let r = 47 + -42. Let p = r + 95. Is p a multiple of 20?
True
Let t = 1543 + -1091. Does 69 divide t?
False
Let q = -23 + 142. Is q a multiple of 7?
True
Suppose 4*f + 5*m = 2875, 2*f + 0*f - 5*m - 1445 = 0. Let u = f - 482. Is 10 a factor of u?
False
Let l(g) = -1 - 452*g**2 + 0 + 228*g**2. Let d be l(1). Let t = d + 320. Is t a multiple of 19?
True
Let k(t) = 16*t - 3. Let r = -21 - -23. Is k(r) a multiple of 10?
False
Let k(n) = -n**3 - 4*n**2 + 2*n. Let j be k(-4). Is (j/(-12))/((-2)/(-162)) a multiple of 18?
True
Does 15 divide (4/8 + -1)*74*-5?
False
Is (2 - -42) + -6 + -5 a multiple of 33?
True
Let u = -331 + 531. Does 6 divide u?
False
Let l = 183 - 165. Is 3 a factor of l?
True
Let u(f) = -19*f - 5. Let x be u(-6). Let m = 154 - x. Is 9 a factor of m?
True
Let c be (-1780)/30 + (-4)/6. Let s = c + 84. Suppose -3*z = z - s. Does 5 divide z?
False
Let l be ((-6)/(-5))/(12/30). Suppose -8*m = -12 - 4. Suppose m*w - 4*c = 96, w = -l*c - 0*c + 58. Is 17 a factor of w?
False
Suppose -7*s - 1374 = -20414. Is 32 a factor of s?
True
Suppose -8901 = -25*n - 751. Does 10 divide n?
False
Is (7/28)/(2/4496) a multiple of 22?
False
Let a(t) = 3 - 4*t - 1 - 7. Let h be -2*(70/(-4))/(-7). Is 15 a factor of a(h)?
True
Suppose 102 + 110 = 2*t. Suppose q + 28 = t. Let j = q - 45. Is j a multiple of 11?
True
Let l = -7 - -9. Suppose 12 = 20*m - 16*m. Suppose -2*q - m*q - 95 = -3*v, 4*v - l*q - 108 = 0. Is v a multiple of 4?
False
Let p = 1 + -2. Let o(q) = -4*q**3 + q**2 - q - 1. Let h be o(p). Suppose x = 3*x, 40 = h*m + 3*x. Is m a multiple of 4?
True
Let z(y) be the first derivative of y**3/3 - 5*y**2 - 16*y + 2. Does 4 divide z(12)?
True
Suppose -4*x = 3*p - 15, -18 = 2*x - 3*p - 3. Suppose x = 3*g - g - 54. Does 9 divide g?
True
Let b be 15/25 - 1762/(-5). Suppose -83 - b = -4*s. Is 29 a factor of s?
False
Suppose 7*v = v + 30. Suppose 0 = 5*y - v*h - 120, -y + 39 - 15 = 2*h. Does 4 divide y?
True
Does 38 divide 1/3 + 145275/225?
True
Let v(f) = -47*f - 34. Does 11 divide v(-4)?
True
Is 3376 + (-11 - (2 + -12)) a multiple of 9?
True
Let a be 5/25 - 284/(-5). Suppose -3*c + a + 69 = 0. Is c a multiple of 18?
False
Let f be (4/3)/(2/6). Suppose -2*c = 4*u - 210, -f*c + 226 = -5*u - 194. Suppose -5*j - c = -10*j. Does 7 divide j?
True
Let u(v) = -v**3 + 11*v**2 - 21*v + 19. Is u(8) a multiple of 2?
False
Let j(p) be the first derivative of p**2/2 + 3*p - 24. Is 14 a factor of j(12)?
False
Suppose 281*t + 1752 = 293*t. Is 73 a factor of t?
True
Let b = 77 + 17. Let t = b + -53. Is t a multiple of 18?
False
Let j(z) = -2*z + 750. Is 30 a factor of j(0)?
True
Is (-4814)/(-22) - (-2)/11 a multiple of 50?
False
Let l(i) = i**2 + 3*i - 1. Let c be l(6). Suppose -2*z + 354 = -v - c, z = 2*v + 211. Is 18 a factor of z?
False
Let u(b) = 36*b**2 + 42*b - 175. Is u(5) a multiple of 55?
True
Suppose -3*d + 2 = 3*l + 2*l, 2*d = 4*l + 16. Let h(u) = -8*u**3 + u**2 - u + 2. Is h(l) a multiple of 8?
True
Does 27 divide (1116/434)/(2/588)?
True
Let q be 6/(1 + 1) - -2. Suppose q*j - 11 = 589. Suppose -4*c + 2*s = c - j, 2*s = -3*c + 72. Does 19 divide c?
False
Let t(j) = -j**2 - 17*j - 11. Suppose -6*f + 5*f - 11 = 0. Let h be t(f). Suppose 3*l - 8*l = -h. Is 9 a factor of l?
False
Suppose 4*o + 724 = 4*x, 2*x - x = 2*o + 182. Suppose -7*n + x = -4*n. Does 20 divide n?
True
Suppose -3*y - 2*y - v + 1188 = 0, 3*v = -6. Is y a multiple of 17?
True
Let s(t) = 2*t**2 - 26*t + 30. Let a(o) = -o**2 + 9*o - 10. Let z(l) = -7*a(l) - 2*s(l). Let f be z(7). Suppose 0 = -4*b - b + f. Does 8 divide b?
True
Let j be 4/34 - 10872/(-68). Suppose -2*w + j = -4*q, 2*q = -3*q - 20. Does 16 divide w?
False
Let s = -65 + 567. Does 25 divide s?
False
Suppose 4*m + 0*m - 100 = 0. Suppose -u = -24 - m. Is 21 a factor of u?
False
Let d(t) = -t**2 - 10*t - 9. Let o be d(-9). Suppose -36 = -9*v - o*v. Is v a multiple of 4?
True
Let x(z) = -z**2 + 2*z - 439. Let q be x(0). Let v = -167 - q. Is v a multiple of 34?
True
Let h(x) = 11*x**2 - 7*x - 5. Let b be h(-4). Let z be b - (1 + -2)*-1. Suppose 0 = 2*d - 0*d - z. Is 26 a factor of d?
False
Let t(z) = 12*z**2 - 3*z + 8. Is 25 a factor of t(2)?
True
Let k(m) = m**2 + 0 - 5*m**3 - 1 + 2*m - 2*m. Let u be 1 + -2*6/4. Is 13 a factor of k(u)?
False
Suppose 35*l - 45228 = 32192. Does 20 divide l?
False
Suppose -20*u + 30*u = 4250. Suppose u = 3*h - h + 3*z, -2*h + z + 445 = 0. Does 22 divide h?
True
Let y = 8 + -4. Suppose -y*c = -4*z - 28, 2*c - 4*z = c + 16. Suppose -2*o = -c*t + 46, -2*o + 3 = o. Is t a multiple of 6?
True
Let i(x) = 16*x - 65. Let y(q) = -3*q + 13. Let v(u) = 2*i(u) + 11*y(u). Is v(-6) a multiple of 4?
False
Suppose 70*n - 62475 = 77175. Is n a multiple of 12?
False
Let y(z) = z**3 + 14*z**2 - 15*z. Let m be y(-15). Suppose m = -6*t + 115 + 53. Is t a multiple of 4?
True
Let d(b) = -648*b + 102. Is d(-3) a multiple of 15?
False
Does 11 divide ((-33)/9)/((-45)/18900)?
True
Suppose -8 = 7*z - 3*z. Let n be 0/(z - (2 - 1)). Suppose n = 2*x + 3*x - 180. Is x a multiple of 18?
True
Suppose 0 = 2*b - 3*z + 9, 0 = -4*b + 4*z - 8. Let i(p) = -p**2 - 14*p + 7. Let j be i(-14). Is 2 a factor of j + -2 + (1 - b)?
False
Let v(g) be the first derivative of -g**5/10 - g**4/8 + 5*g**3/3 - 3. Let r(p) be the third derivative of v(p). Is 14 a factor of r(-3)?
False
Suppose -1046 - 370 = -4*w. Suppose b + 5*b - w = 0. Is 8 a factor of b?
False
Let r(b) = 5*b**2 + 11*b + 1. Let k be r(-6). Let n = 174 - k. Is n a multiple of 11?
False
Suppose 0 = -3*g - 3*q + 450, -4*g - g + 5*q + 770 = 0. Is g a multiple of 9?
False
Is 14*(1458/(-21))/(-9) a multiple of 9?
True
Let g be ((-1)/(-2))/((-1)/(-10)). Suppose -d = -g - 0. Does 7 divide 21 - d/(5/2)?
False
Let y(j) = -j**3 + 7*j**2 - 3*j + 5. Let a(h) = h**2 - 7*h - 14. Let k be a(9). Suppose 4*g + 5*l = 35, 0*g + 2*g + 2 = k*l. Is y(g) a multiple of 8?
True
Let t = 2579 + -1746. Does 58 divide t?
False
Suppose -5*g - 2*d + 311 + 186 = 0, 196 = 2*g - 2*d. Is g a multiple of 11?
True
Suppose 10*j = 4*j + 474. Suppose 35 = 3*b - j. Is 13 a factor of b?
False
Let u be (-24)/(-9) + (-2)/(-6). Suppose 0*s + 141 = -u*s. Let t = -23 - s. Is 10 a factor of t?
False
Let i(z) = 10*z**2 - z + 93. Is 39 a factor of i(12)?
True
Let l be 1576/10 - (-14)/35. Let w = l - 95. Suppose 2*j - w = -11. Is j a multiple of 13?
True
Let k be -1*4/(4/(-141)). Suppose v + 39 = m, -3*m + k = -v + 4*v. Does 6 divide m?
False
Let a be (-6)/(4 - 45/10). Is (a/(-8))/((-12)/184) a multiple of 3?
False
Let l(m) = m**3 - 2*m**2 - 4*m + 6. Suppose -2*w = -b + 8, -3*w - 52 = -2*b - 2*b. Suppose 3*h - b + 4 = 0. Is 11 a factor of l(h)?
True
Let q(y) = -19*y - 217. Is 16 a factor of q(-17)?
False
Let n(w) = -w**3 - 22*w**2 - 16*w + 32. Let g(r) = 5*r**3 + 111*r**2 + 79*r - 159. Let m(a) = 2*g(a) + 11*n(a). Is m(-19) a multiple of 15?
True
Suppose 0 = -i + 3*b - 7, 3*i + b = -12 