or of x?
True
Let a = 1425 + -1071. Is a a multiple of 31?
False
Let f(p) = -79*p + 9961. Is f(-73) a multiple of 98?
False
Suppose -5*o = -3*w + 8505, 711 - 3546 = -w - o. Is w a multiple of 26?
False
Suppose f + 885 = 6*f. Does 25 divide f/7 - (-32)/(-112)?
True
Let s(r) = -11*r + 58. Let u be s(-11). Suppose 11 = -178*a + u*a. Does 5 divide a?
False
Let z = -26 - -42. Let q = 13 - z. Let l = q + 55. Is 8 a factor of l?
False
Suppose -149*h - 36468 + 255837 = -224949. Does 85 divide h?
False
Let r = -19 - -22. Let z be ((-364)/(-7))/(r/6). Let d = z + 4. Does 26 divide d?
False
Suppose 0 = b + 4*u + 19, 2*b + 20*u + 50 = 15*u. Does 16 divide 3 + ((-14)/b - 828/(-5))?
False
Let q(w) = w**3 - 25*w**2 + 98*w + 48. Is 8 a factor of q(35)?
True
Suppose -1135*r = -1248*r + 305100. Is 54 a factor of r?
True
Let b = 17 - 11. Let r = -204 - -698. Suppose -b*k + 184 = -r. Is 43 a factor of k?
False
Let j = 1911 + -38. Let k = j - 1139. Is 12 a factor of k?
False
Suppose 0 = -4*u - 5*i + 1977, 3*u - 4*u = -2*i - 491. Suppose 2*b - 185 = 5*h + u, 3*b = 3*h + 1026. Is 43 a factor of b?
True
Let f(p) = -8*p**3 - 4*p**2 - 2*p + 7. Let z be (1 - 4/(-6))*(-6 - -9). Suppose 2*j + 2 = -g, 0 = -z*j + g - 3*g - 7. Is f(j) a multiple of 22?
False
Suppose 17*a + 20 = 13*a, 2*q - 29738 = -2*a. Is 222 a factor of q?
True
Let q(b) = -b**3 + b**2 + 18*b + 43. Let t be q(-3). Let c(p) = p**3 - 24*p**2 + 6*p + 25. Does 40 divide c(t)?
True
Is 124 a factor of (-69936)/4*2*5/(-10)?
True
Let r(z) = z + 17. Let g be r(-13). Suppose -4*b - 13 = -5*v, -g*b - b - 12 = -2*v. Let p(u) = u**2 - 2*u + 1. Is p(b) a multiple of 6?
False
Let p(g) = g**3 + 6*g**2 - 14*g - 10. Let z be p(-8). Let n = z + 48. Let w = n + 20. Is w a multiple of 7?
True
Let k(v) = 2*v**3 - 13*v**2 + 77*v + 63. Is 84 a factor of k(8)?
False
Let t = -901 - -634. Let b = 357 - t. Does 44 divide b?
False
Let j = 6 - -2. Suppose 39 = -5*d + j*d. Suppose 0 = -u + 1 + d. Is u a multiple of 6?
False
Let r be 12/(-9)*(2*-6 - 0). Suppose 12*h - r = 32. Suppose -w - 75 = -h*w. Is w a multiple of 2?
False
Let w(u) = u + 30. Let d be ((-5)/(30/(-4)))/(6/(-99)). Let c be w(d). Suppose 2*b - 125 = c. Is b a multiple of 9?
True
Let c(j) be the second derivative of 7*j**3/6 + 9*j**2/2 + 3*j + 14. Let m(y) = 3*y - 3. Let o be m(4). Is c(o) a multiple of 8?
True
Let t be (2 - 1) + 2/1 + -3. Suppose 2*n + 6*n - 376 = t. Suppose d - 44 - n = 0. Does 13 divide d?
True
Let w be -7 - (7/2 - (-12)/(-8)). Let y(q) = 6*q**2 + 11*q + 33. Is 14 a factor of y(w)?
True
Suppose -5*f = -37*c + 35*c + 20408, 30579 = 3*c - 2*f. Is 24 a factor of c?
False
Let m = -261 - -261. Suppose 2*w - 174 - 348 = m. Is w a multiple of 29?
True
Let z(f) = 2*f + 8. Let q(w) = -3*w - 9. Let j = -61 + 64. Let g(r) = j*q(r) + 4*z(r). Is 5 a factor of g(-2)?
False
Suppose -3*d = 2*z - 36037 - 57687, z = 2*d - 62464. Is d a multiple of 162?
False
Let h(a) = -a**2 + 19*a + 29. Let n be h(20). Suppose 21 = n*g + 3. Suppose v - 315 = -5*w - g*v, w + 2*v - 70 = 0. Is 15 a factor of w?
True
Let u(h) = -h**2 - 3*h + 14. Let d be u(6). Let c = d - -54. Let b = -5 + c. Is 3 a factor of b?
True
Suppose -q + 4793 = -3*l, -9*l + 5*l + 5*q - 6376 = 0. Is 11 a factor of (l/(-82))/((-3)/(-44))?
True
Let q(n) = -10019*n - 280. Is 46 a factor of q(-1)?
False
Suppose x - 14 + 6 = 0. Suppose 203 = 3*y + x. Let w = -47 + y. Is 6 a factor of w?
True
Suppose -21*n + 99761 + 191575 = 41856. Does 30 divide n?
True
Let i(v) be the third derivative of v**6/120 + 4*v**5/15 + 11*v**4/24 + 2*v**3/3 + v**2 + 4*v. Is i(-6) a multiple of 16?
False
Let q(x) = x**3 + 21*x**2 + 28*x - 348. Is q(-11) a multiple of 5?
False
Let o(d) = -2*d**3 - 22*d**2 - 18*d - 1. Let x be o(-11). Let t = x + -162. Is 4 a factor of t?
False
Suppose 32619 = 3*g - 3*l, 2*g - 310*l - 21734 = -312*l. Is g a multiple of 146?
False
Let w be (-8 - 52/(-6)) + (-2)/3. Suppose w = 4*k - 95 - 265. Is 8 a factor of k?
False
Let y(n) be the second derivative of 3*n**5/20 - n**3/6 - n**2 + 25*n. Let c be y(3). Suppose -t + 2*a + c = 0, -t + 34 = -5*a - 57. Is 11 a factor of t?
True
Let r(b) = -b**3 + 12*b**2 + 15*b + 7 + 19 - 22*b + 8*b. Is r(11) even?
True
Let x(s) = 9*s**3 - 24*s**2 - 17*s - 50. Does 116 divide x(10)?
True
Let x(u) = u**3 - 5*u**2 + 10*u + 3. Let b be x(4). Suppose -31*d + 1064 = -b*d. Does 38 divide d?
True
Let o(s) = -s**2 + 82*s - 1026. Is 6 a factor of o(16)?
True
Let u be ((-35)/10)/((-15)/(-30)) + -37. Let k be 0/2 + 67 + -1. Let s = k + u. Is 14 a factor of s?
False
Suppose 4*r + 4*q - 42484 = 0, -4*r = -4*q - q - 42421. Is 58 a factor of r?
True
Let m(c) = 6*c**2 + 7*c - 5. Let b be m(7). Let l = -172 + b. Does 30 divide l?
False
Suppose -8*b + 5*b + 33 = 0. Let s(f) = 5*f + b*f**2 + 2*f**2 - 12*f**2 - 20. Does 28 divide s(9)?
False
Let u(x) = x**2 + 2*x. Let j be u(-3). Let m(q) = -8*q + 48. Is 8 a factor of m(j)?
True
Let t = 50 - 5. Let r = t - 42. Suppose y = -r*y + 192. Is 5 a factor of y?
False
Suppose 33 = 6*h + 3. Is 12 a factor of (-567 - (-25)/h)*(-1)/2?
False
Let r(t) = 11*t + 4 + 4 - 59*t**2 + 58*t**2. Let o be r(11). Is 11 a factor of 2/3*1188/o?
True
Suppose -5*l + 9*l + 2578 = m, -5*l = -3*m + 3226. Let j = -609 - l. Is 2 a factor of j?
False
Let o be ((-2)/3)/(12/18). Let l be o/(-2)*(-1755 - 3)/3. Let m = 433 + l. Does 24 divide m?
False
Let l(t) = 1 + 14*t + 3*t**2 - 21*t**2 + 11 - 3*t. Let w be l(-5). Let s = -331 - w. Is s a multiple of 27?
True
Let t = 26 + -20. Let m be (65/(-15))/(2/t). Let w = m - -64. Is 21 a factor of w?
False
Suppose 174*r - 175*r + 8117 = 3*t, 8110 = r + 2*t. Does 44 divide r?
True
Let s(r) = 11*r**2 - 51*r - 16. Is s(-18) a multiple of 22?
True
Let w(g) be the third derivative of g**7/840 - g**6/72 + g**5/40 - g**4/12 + 3*g**3/2 - 12*g**2. Let t(c) be the first derivative of w(c). Is t(5) even?
False
Let l = -3 + 5. Let f be (113850/1320)/(-1 - (-5)/4). Suppose c + 2 - 177 = -l*j, -4*j - 3*c = -f. Does 10 divide j?
True
Let j(d) = 2*d**3 + 31*d**2 + 108*d + 9. Is j(19) a multiple of 186?
True
Let q(v) = -v**3 - 13*v**2 + 15*v + 17. Let s be q(-14). Suppose 0 = -h + 4, -13 = 2*g + s*g - 2*h. Is 5 a factor of 3*2/g*-1?
False
Suppose 0 = 8*w + 321 - 33. Let t = 28 - w. Is 8 a factor of t?
True
Suppose 0 = -44*y + 39*y + 20. Suppose -x - y*i + 5 = 0, 0 = 3*i - 8*i + 10. Is (-297)/x + 10 + -5 a multiple of 7?
False
Suppose -2*v + u - 20 = -u, -v = 4*u. Let j be (-5)/(-20) - 174/v. Suppose -6*r + 352 = j. Is r a multiple of 9?
False
Let v(b) = -b**3 + 123*b**2 - 184*b + 308. Does 37 divide v(121)?
True
Let t(u) = -u**3 + 2*u**2 - 2*u. Let b be t(0). Let z(x) = 0 + b - 18*x - 4. Is z(-3) a multiple of 14?
False
Let i(c) = -4*c**3 - 3*c**2 + 37*c + 480. Is i(-13) a multiple of 15?
True
Let n = 1956 - 1396. Suppose -41*o - n = -46*o. Is o a multiple of 14?
True
Suppose 23*l = 28*l - 15. Let j(q) = -5 + 4*q**l - 2*q**2 - 9*q**3 + 6*q**3 + 6 + 4*q. Does 6 divide j(3)?
False
Let z be (-2)/(-2) + 1 + 3. Suppose 5*u - 64 = 4*w, z*w + 41 = 2*u + u. Is 8 a factor of 16/6*(6 + u)?
True
Let b(p) = -5*p + 29. Let j be b(0). Let g = j - -52. Is g a multiple of 2?
False
Let u(h) = -h**2 - 13*h - 12*h - 1 - 3. Suppose 0 = -32*c - 520 - 152. Is u(c) a multiple of 16?
True
Suppose -39464 = -a + 15*a - 217740. Is a a multiple of 112?
False
Let x(i) = -i**2 + 2*i + 19. Let d be x(5). Does 13 divide -1055*((-63)/105)/(6/d)?
False
Let i = 3732 - -10084. Is i a multiple of 20?
False
Let s = 16 - 76. Let o be s/(-27) + 2/(-9). Suppose -501 = -n - 4*n + 3*g, -4*n + o*g + 402 = 0. Is 34 a factor of n?
True
Let p = -142 - -211. Let d = p - 71. Is 27 a factor of ((-11)/d + -5)*86?
False
Let m(t) = 4*t + 9. Let x be m(6). Let k = -27 + x. Is ((15/2)/(-1))/(k/(-12)) a multiple of 2?
False
Let y = -5595 - -25755. Does 80 divide y?
True
Let z = 25 - 20. Suppose -2*l - 77 = z*l. Let a(k) = k**2 + 8*k + 9. Does 19 divide a(l)?
False
Let p(c) = 2*c**2 + 79*c + 184. Is p(26) a multiple of 35?
False
Does 28 divide 0 - (-5102 - 5) - (-732)/(-61)?
False
Let a(m) = -3*m**3 - 8*m**2 + 10*m + 6. Let p(d) = 17*d**3 + 40*d**2 - 49*d - 31. Let j(l) = 11*a(l) + 2*p(l). Is j(6) a multiple of 3?
False
Let g be (196/(-6))/(8*2/(-792)). Let l = g - 777. Is 14 a factor of l?
True
Let g = 15227 + -10391. 