*u - 70578 = 67*u. Is 18 a factor of u?
False
Let i(j) = 407*j**2 + 99*j - 41. Is i(6) a multiple of 29?
False
Let f be (-2)/(-1)*(-5614)/(-14). Let s = -172 + f. Does 21 divide s?
True
Let q(w) = -7*w**2 - 364*w + 5. Does 3 divide q(-47)?
True
Let a(z) be the third derivative of -z**6/120 - 13*z**5/60 - z**4/2 + 7*z**3/6 + 11*z**2. Let v be a(-12). Is v/14 + ((-362)/(-4) - 1) a multiple of 9?
True
Suppose 269*n = 263*n + 30. Let u(w) = 32*w - 46. Does 19 divide u(n)?
True
Let w(m) = 119*m + 1477. Is w(45) a multiple of 16?
True
Suppose 0 = -0*r - 5*r. Let c be 0/(1 - r)*-1. Suppose c = -4*t + 290 - 30. Is 13 a factor of t?
True
Suppose -3*r - 1320 = -13*r. Let l = r - -39. Does 49 divide l?
False
Let o(c) = -883*c - 412. Is o(-3) a multiple of 5?
False
Is 220 a factor of 629048/24 - (84/(-18))/(-14)?
False
Let s(f) = f**2 + f - 192. Suppose 20 = -9*o + 173. Does 3 divide s(o)?
True
Let p(u) = -62*u + 16. Let w be p(-6). Suppose 0 = -12*h + 236 + w. Let c = h - 48. Does 2 divide c?
True
Suppose 0 = -5*t + 5, 11*v + 3*t - 23 = 6*v. Is 47 a factor of (-87)/(-2)*v - (-47 - -45)?
False
Suppose m - 41*c = -42*c + 9029, -10*m + 4*c + 90276 = 0. Does 11 divide m?
False
Let f = 39 + -10. Suppose 3*d - 40 - f = 3*q, 3*q + d = -49. Let z = 38 + q. Is 10 a factor of z?
True
Let u = -12 + 5. Let f = u + 5. Does 15 divide 213/3*((f - 1) + 4)?
False
Let m(l) = 370*l**2 - 48*l - 66. Does 183 divide m(-6)?
True
Let m be -1 - -4 - 2 - (1 + -5). Suppose -z + 103 = n, m*n - 124 - 385 = -3*z. Does 50 divide n?
True
Let q = -21144 + 39464. Is q a multiple of 20?
True
Let x = -305 + 246. Let b = x - -514. Does 7 divide b?
True
Suppose -3*h = -s + 5*s - 122, 2*s - 112 = -3*h. Let t = 44 - h. Suppose -t*z + 545 - 95 = 0. Is z a multiple of 5?
True
Let p(u) = 17*u - 37. Let n be p(4). Suppose 0 = 40*c - n*c - 1080. Does 20 divide c?
True
Let x(z) = z**3 - 5*z**2 - 10*z - 40. Suppose -59 = -39*f + 370. Is 24 a factor of x(f)?
True
Suppose 3*o - 5*u - 13017 = 0, 0 = 4*o + 2*u - 8593 - 8711. Is o a multiple of 6?
False
Let v = -7170 + 15954. Is 16 a factor of v?
True
Suppose -2*q = -2*l + 129 - 1041, 4*q + l = 1814. Suppose -4*g - 74 = -q. Let x = g + -53. Does 21 divide x?
True
Suppose -2*r - 601560 = -8*r - 6*r. Is r a multiple of 133?
False
Is 26 a factor of ((-5)/(135/23166))/(3/(-4))?
True
Suppose 8*k + 5 = 13*k. Let h(x) = 532*x**2 - 4*x + 7. Is h(k) a multiple of 39?
False
Let w = -10391 + 20787. Suppose 0 = 26*s + 568 - w. Is s a multiple of 63?
True
Suppose -2*t - 53470 = -w, 5*w + 6*t = 3*t + 267428. Does 31 divide w?
False
Let g(f) = f**3 - 28*f**2 - 62*f + 45. Let h be g(30). Let u(t) = -t**3 - 12*t**2 + 30*t. Is u(h) a multiple of 18?
False
Let c(q) = -3*q**2 - 4*q**2 - 9*q + 5*q**2 + 77 + 3*q**2. Is c(16) a multiple of 3?
True
Suppose 0 = 54*c - 91016 - 158842. Is 10 a factor of c?
False
Let f be 12*(4/(-6) - (-7)/6). Suppose n = -o + f, 5*n = n - o + 12. Suppose 2*b = -n*a + 348, -8 = -2*a + 4*a. Is 35 a factor of b?
False
Let t = -34 - -71. Suppose t*l - 36 = 36*l. Does 19 divide l?
False
Suppose 610*z - 8977 = 607*z - 5*t, t = 12*z - 35740. Is z a multiple of 8?
False
Let r(z) = -2*z**3 - 4*z**2 - z + 4. Let a be r(-3). Suppose -723 - 2252 = -a*f. Is 7 a factor of f?
True
Let j(t) = 2*t - 3*t**3 - 7*t + 0*t - 6 - 6*t - 7*t**2. Let i = -628 - -624. Is j(i) a multiple of 6?
False
Let v = 32995 - 31240. Is 15 a factor of v?
True
Suppose 2*t - 5*t = 2*z + 1, 4*t = -z + 7. Is (-72)/10*z*(-4 + 8) a multiple of 16?
True
Let r = 824 - 819. Suppose -r*k + 11*k = 1260. Does 8 divide k?
False
Suppose -y - 61913 = -2*g + 3405, 4*g - 130630 = y. Is g a multiple of 52?
True
Let m(r) = -230*r - 1987. Is 83 a factor of m(-51)?
False
Let c(i) = -3*i**2 - 132*i + 30. Let d be c(-44). Does 68 divide 12258/15 - 36/d?
True
Let x(v) = v**3 - 5*v**2 + 3*v + 3. Let b be 4/(-8)*-6 - (2 + -1). Suppose -2 = -b*t + 4*a, 6*t - t - a = 23. Does 3 divide x(t)?
True
Let o = 6169 + -2776. Is 87 a factor of o?
True
Let w be 3 + -7 + 2*(-3)/6. Let b(u) = 6*u**2 - 6*u - 29. Does 27 divide b(w)?
False
Suppose 3*i - 4*l = 2860, 0*i - 5*l = -2*i + 1909. Suppose i = -11*a + 12*a. Suppose 0 = 4*z + 324 - a. Does 14 divide z?
False
Let h(n) = -35*n + 107. Let d be h(-17). Suppose 236 = 2*o - 3*a - 28, -5*o - 3*a + d = 0. Does 24 divide o?
False
Let h = 9310 + -4894. Is 32 a factor of h?
True
Let m be (-27)/(-90) - (-21015)/(-50). Let r = 259 - m. Is r a multiple of 13?
False
Let x be (-261)/51 + 10/85. Let d be x/(15/(-48)) + 3 + 1. Does 10 divide d/1 + (-4 - (4 - 8))?
True
Let a = -1545 - -1089. Let v = a - -650. Is v a multiple of 97?
True
Suppose 5*g = 5*n - 655, 2*n + 2*g + 0*g - 246 = 0. Is 19 a factor of 8/(-4) + -6 + n + -6?
False
Let v(q) = -q - 3. Suppose -4*s - 13 = -5. Let w be v(s). Does 6 divide ((-2)/(-4))/w + 511/14?
True
Let b be 17150 + ((-4 - -4)/(-5) - -2). Suppose -12*d - 6592 = -b. Does 30 divide d?
False
Suppose 4*l - d - 31 = -8, 39 = 2*l + 5*d. Suppose -5*g + 9*m + 480 = l*m, 0 = 5*g + m - 495. Is 2 a factor of g?
True
Let o(b) = -14*b**2 + 3*b + 8. Let u(k) = -12*k**2 + 5*k + 9. Let d(a) = -4*o(a) + 3*u(a). Does 18 divide d(1)?
True
Let y(g) be the first derivative of g**2/2 + 91*g + 49. Does 26 divide y(13)?
True
Let i = -415 - -389. Let n(r) = -r + 226. Is n(i) a multiple of 21?
True
Suppose -618649 + 220552 = -267*c. Is 10 a factor of c?
False
Let f(t) = -971*t - 8. Does 8 divide f(-7)?
False
Let o be (-1064)/(-7) + 3 + 5/(-1). Let s = o - 132. Does 3 divide s?
True
Let h(l) be the first derivative of 5*l**3/3 - 8*l**2 + 25*l + 74. Does 25 divide h(10)?
False
Let i = -4511 + 13061. Is i a multiple of 90?
True
Let d(o) = -o**3 + o**2 - 145*o + 2573. Is 9 a factor of d(0)?
False
Suppose 2 = 2*t, 3*v - 129*t = -127*t + 10996. Is v a multiple of 78?
True
Suppose 0 = 85*k - 93407 - 114673. Is k a multiple of 18?
True
Suppose 5*k - 34 + 19 = 0. Suppose 571 - 133 = k*m. Is 16 a factor of m?
False
Let s = 19 + -23. Suppose -90 = 4*p - 2*f, -5*f + 57 = 3*p - 6*p. Does 13 divide 3 + (s/p - (-1748)/24)?
False
Suppose -210*k - 1758958 = -253*k. Is 46 a factor of k?
False
Let w be 6/(-2*(-2)/(-24)). Let b(k) = -9*k**3 + 7*k**2 + 6*k + 8. Let r be b(-2). Let f = r + w. Is 6 a factor of f?
True
Let j(l) = 4*l**2 - 122*l + 22. Let f be j(36). Suppose d + 55 = 4*y + 335, -3*d - y = -f. Does 17 divide d?
True
Let z(y) = y**3 - 27*y**2 + 46*y + 262. Does 94 divide z(27)?
True
Let v(d) be the third derivative of d**5/5 - d**4/4 + 5*d**3/6 + 3*d**2 - 7*d. Does 25 divide v(5)?
True
Let j(q) = -501*q**2 + 2*q - 2. Let b be j(1). Let r = 224 - b. Is r a multiple of 5?
True
Suppose 3*c - 8 = 7, 5*m + 4*c = 4300. Let x = -244 + m. Does 34 divide x?
True
Let c(o) = 56*o**2 - 31*o + 155. Let l be c(5). Let i = l - 950. Does 75 divide i?
True
Let a(q) = 150*q**2 - 2*q - 2. Let n(g) = g**3 - 13*g**2 - g + 15. Let z be n(13). Let c be 4/z*5/(-10)*1. Is a(c) a multiple of 15?
True
Suppose 0 = 5*c + 3*v - 8273, -3*c = -28*v + 29*v - 4967. Is c a multiple of 9?
False
Let i(k) be the third derivative of k**5/60 - k**4/24 + 59*k**3/3 - 6*k**2. Let q be i(0). Suppose -s - 2*s = -9, -q = -4*l + 2*s. Is l a multiple of 31?
True
Suppose 23*g + 598 = 15387. Does 13 divide g?
False
Suppose -3*w + 332 - 89 = 0. Let n = 128 - w. Suppose n + 25 = 8*m. Is m a multiple of 2?
False
Suppose -231*k - 55 = -242*k. Suppose 1113 = k*d + 2*m, 5*m + 1010 - 146 = 4*d. Does 9 divide d?
False
Let x(g) = 42*g**2 - g + 1. Suppose 0 = 11*p - 8*p - 3. Does 6 divide x(p)?
True
Let p = -54 + 67. Suppose 658 = p*t - 798. Is t a multiple of 16?
True
Let q(n) = 4*n**3 - 25*n**2 + 25*n + 327. Does 83 divide q(23)?
False
Suppose -3*m + 6*m + 0*m = 0. Suppose -q - s + 391 = m, 3*s - 2095 + 526 = -4*q. Does 33 divide q?
True
Let b(y) = 18*y**2 - 9*y + 1. Suppose i - 3*i = 3*f - 80, -160 = -4*i - 2*f. Let u = i + -37. Is b(u) a multiple of 20?
False
Suppose 4*m = 2*o - 11 - 189, 379 = 4*o - m. Suppose 16*k + 352 + 256 = 0. Let f = k + o. Is 8 a factor of f?
True
Suppose 4*d + 3*s - 2065 = 0, -208 = 2*d + 4*s - 1248. Let f = d - 256. Is 53 a factor of f?
False
Suppose h - r + 9 = 2*h, 0 = -h + 4*r - 11. Suppose -5 = -w + b, -4*b + h*b + 5 = 4*w. Is (228 - -8) + w + 2 a multiple of 34?
True
Let c(i) = -290*i - 1. Let j be c(-4). Let h 