+ 12092?
False
Let r(m) = -8*m - 26. Suppose -i = 5*j - 26, 0*i = -3*j + 3*i + 12. Suppose j*n + 91 = -5*x - 29, 2*x + n = -46. Is r(x) a multiple of 30?
True
Is 16 a factor of -56 + 42227 - ((-4 - 0) + 8)?
False
Suppose 0 = -3*j - 3*z + 62730, -5*j + 10*j = -2*z + 104550. Is 100 a factor of j?
False
Suppose -20 = -s - 16. Is (-2)/s - (-9061)/34 a multiple of 11?
False
Let m be 469/(-5) + 55/(-275). Suppose -4*d + 70 = 290. Let t = d - m. Does 7 divide t?
False
Let j(h) = 321*h + 3951. Does 4 divide j(0)?
False
Let a be 52/78 + 154/3. Does 4 divide 239 - (a/(-10) - 6/(-30))?
True
Let u = 44 - 43. Let g(i) = 2*i**3 - i**2 - 2*i + 1. Let y be g(u). Suppose 5*x - x + w - 21 = y, -15 = -4*x + 5*w. Is x a multiple of 4?
False
Let x(c) = -16*c + 32. Is 8 a factor of x(0)?
True
Let v(b) = b**3 - 6*b**2 + 2*b - 7. Let c be v(6). Suppose 0 = -4*p + 12, -2*p + 3 = c*d + 2. Let t = 85 + d. Does 18 divide t?
False
Let t = 412 + -736. Is 8 a factor of (15/(-42) - (-4)/(-28))*t?
False
Suppose -36*h = -32*h. Suppose -16*j - p = -17*j + 120, h = 4*j - 5*p - 479. Is 73 a factor of j?
False
Let o be ((-468)/351)/(4/(-42)). Let d = 20 - -18. Suppose -d = -q - o. Is q a multiple of 3?
True
Suppose -4*i = -5*z - 755, -z = -i + z + 185. Let j = i + 566. Does 18 divide j?
False
Let j be (-28211)/(-6) + 57/342. Does 20 divide (1 - j/4)*22/(-33)?
False
Let o = 30 + -31. Let w be (-540)/(-10) + 2/o. Suppose 5*g - 88 - w = -5*m, -4*g = -3*m - 105. Does 6 divide g?
False
Suppose -p = -2*n - 656, -3*p + n - 2*n = -1947. Let s = 122 - p. Let b = -245 - s. Does 16 divide b?
False
Suppose 2121*o + 153660 = 2131*o. Does 13 divide o?
True
Let a(l) be the second derivative of 5*l**4/6 - 5*l**3/6 + 6*l**2 - 7*l + 4. Is 13 a factor of a(-3)?
True
Let v = 367 - 174. Suppose 4*y - 22*z - 793 = -23*z, -y = 2*z - v. Is y a multiple of 26?
False
Let g(a) = -15*a - 55. Let l be g(-6). Suppose l = 2*k - 343. Is 58 a factor of k?
False
Let u(l) = 6*l**2 + 11*l + 1032. Is u(-36) a multiple of 8?
False
Let l = 1704 + -571. Does 15 divide l - 64/8 - 0?
True
Suppose -2*t - 15 = -7*t. Let a be 0 - (t - 1)*-2. Suppose -5*m = 4*j - 17, -j - 4*j - a*m + 28 = 0. Is 2 a factor of j?
True
Suppose -3*o + 3022 + 619 = 2*j, -3*o + 2*j = -3661. Does 3 divide o?
False
Let j(a) = 160*a + 28. Let p(f) = 5*f + 1. Let z(y) = 5*j(y) - 140*p(y). Does 25 divide z(1)?
True
Let c = -11876 - -20336. Is 45 a factor of c?
True
Let f be 1394 + (2*(-4)/(-8))/1. Suppose -f*z + 1398*z = 453. Is 17 a factor of z?
False
Suppose -3*o - o = -h - 5, 4*o + 1 = 3*h. Suppose 9*w + h = 10*w. Is (20 + 1 - w) + 1 even?
False
Suppose 1220 = -0*n + 2*n + 5*g, 0 = n + 4*g - 616. Suppose k - n = -9*k. Suppose -l + 3*c + k = 0, -4*l + 5*c - 3*c = -240. Does 30 divide l?
True
Let p = 898 - -2274. Is p even?
True
Let t be (6/7)/((-3)/(-14)). Is 8 a factor of 5 + t/6 + (-5691)/(-63)?
True
Let x(o) = -o**3 + 3*o**2 + 7*o - 3. Let w(h) = -3*h**2 + 9*h + 12. Let u(v) = v**2 + v + 1. Let y(s) = 4*u(s) + w(s). Let m be y(-12). Does 9 divide x(m)?
True
Let a(x) = x**3 + 11*x**2 + 15*x - 32. Let z be a(-9). Is 641*(5 + -3 + 0) - z a multiple of 11?
True
Let u be (-18)/(-42) + (-11)/(-7). Suppose 2*j + 3*h - 41 = 4*h, 28 = j + u*h. Suppose l = j + 87. Is l a multiple of 32?
False
Let v = -577 - -570. Is 47 a factor of (2256/(-28))/(2/v)?
True
Let u be (3/6)/((-1)/(-4)). Let o be (-4 + 6)/u*-47. Let x = o - -83. Is x a multiple of 36?
True
Suppose 19*w = -12*w + 11*w + 52300. Is w a multiple of 37?
False
Let y(m) be the second derivative of -43/6*m**3 - 9*m**2 + 0 - 26*m. Is 37 a factor of y(-3)?
True
Let i(v) = v**3 - 4*v**2 - 14*v + 15. Let t = 136 + -130. Let x be i(t). Suppose 12*q - x*q = 1188. Is q a multiple of 11?
True
Suppose 160*h = 2*n + 164*h - 14882, 22341 = 3*n + 3*h. Does 24 divide n?
False
Let s(b) be the second derivative of -10*b + 1/2*b**3 - 5*b**2 + 0 + 1/4*b**4. Is 5 a factor of s(2)?
False
Let r = -1384 + 2045. Let h = -245 + r. Is h a multiple of 26?
True
Let u be (4/(-10) + (-270)/75)*-1. Suppose 1130 = 3*s - u*v, -42*s + 38*s = 2*v - 1470. Is s a multiple of 43?
False
Let d = -8 + -4. Is -6 + (-6 - d) + 63 a multiple of 21?
True
Let j(k) be the third derivative of -k**6/24 - k**5/12 - k**4/8 - 11*k**3/3 - 70*k**2. Is 10 a factor of j(-5)?
False
Suppose 3*u = 2*q - 1377, -20 = -192*u + 196*u. Does 11 divide q?
False
Let z(o) = 2*o - 16. Let g be z(-6). Let p be 399*(g/(-12) - 2). Let x = -102 + p. Is x a multiple of 7?
False
Let n = 12193 - 7536. Does 8 divide n?
False
Suppose 0 = -2*m - 2333 + 727. Let v = m + 1531. Does 52 divide v?
True
Let k = 698 + -400. Let g = k + 427. Is g a multiple of 25?
True
Let h be (-1)/3 + (-597652)/(-66). Suppose h = 7*c + 3070. Suppose -2*f + 690 = 4*i, 0 = -9*i + 4*i - f + c. Is i a multiple of 34?
True
Let y(b) = b**3 + 5*b**2 - 19*b + 204. Is 64 a factor of y(0)?
False
Let g(z) = 8*z**3 + 7*z**2 + 5*z - 2. Let j be g(-5). Let r = -446 - j. Is 29 a factor of r?
True
Suppose -146*k = -222*k + 262200. Is k a multiple of 23?
True
Let w be 1 + 2 - (-1 + -4 + -35). Suppose g - w = 9. Is 9 a factor of g?
False
Suppose 3*v + 2*l - 16257 = 0, 15*l = 7*v + 17*l - 37941. Is 13 a factor of v?
True
Suppose -b = v - 1944, 15*v - 24*v + 7741 = 4*b. Is b a multiple of 9?
False
Suppose -117*z - 4*z + 1426399 = -168986. Is 15 a factor of z?
True
Let z(q) = 83*q - 12. Let l = -9 - -21. Suppose -7*p - l = -11*p. Does 16 divide z(p)?
False
Suppose -163*s + 51 = -160*s. Let a(j) = j**3 - 13*j**2 - 50*j - 29. Does 5 divide a(s)?
False
Let c = 56 + -62. Let n(f) = f**3 + 7*f**2 + 4*f. Let j be n(c). Suppose 0 = -16*i + j*i + 104. Does 13 divide i?
True
Suppose -8*f + 25 = -15. Suppose 0 = f*g - w - 695, -2*g + 4*w + 265 = w. Is g a multiple of 35?
True
Suppose 0 = 144*r - 146*r + i + 8942, 0 = 2*r + 2*i - 8960. Does 18 divide r?
False
Let z = 11943 - 6618. Is z a multiple of 75?
True
Suppose 11 + 9 = -10*f. Let z(s) = 14*s**2 - 5*s - 10. Let y be z(f). Let i = 100 - y. Is i a multiple of 11?
True
Let n = -8417 + 9817. Does 7 divide n?
True
Let r(z) = z**3 + 11*z**2 - z - 14. Let y be r(-11). Let p be (-66)/(-3) + 4 - y. Suppose 5*m - p = -2*a, -m - 3*m = a - 19. Is 7 a factor of a?
True
Suppose -16*x - 430 = -1678. Suppose x*g - 62*g = 14976. Is g a multiple of 7?
False
Let v = -15597 + 24577. Is v a multiple of 5?
True
Suppose -656404 = 85*k - 102*k. Does 14 divide k?
True
Suppose 3*v - 1353 = -o, 5*o - 12 = 3. Let k = -210 + v. Is 8 a factor of k?
True
Suppose 3*g + 0*g + 471 = 3*l, l + 455 = -3*g. Let s = -105 - g. Is 6 a factor of s?
True
Let n = -4052 + 5685. Is 8 a factor of n?
False
Let q(j) = 14*j - 21. Let v be q(12). Let t = 170 - v. Is 2 a factor of t?
False
Let y(f) = f - 1. Let r = 43 - 42. Let g(x) = -4*x**2 - 4*x - 10. Let z(m) = r*y(m) - g(m). Is 5 a factor of z(-2)?
True
Let m(k) = 8*k**3 + 3*k**2 + 7*k. Let d be m(-3). Let q = -134 - d. Does 4 divide q?
True
Let i(r) = 11*r + 10. Let v be i(7). Let t = -187 + 600. Suppose 0 = 10*j - t - v. Is j a multiple of 25?
True
Let j be (-6)/(-6 - -3) + 1. Suppose -l - j = -7. Suppose 81 = 7*g - l*g. Is g a multiple of 27?
True
Let c(m) = -m**3 + 17*m**2 + 4*m + 3480. Is 10 a factor of c(0)?
True
Suppose 0 = 117*w - 22*w + 2083 - 78368. Does 11 divide w?
True
Let t(x) = -6*x**3 + 9*x**2 + 27*x - 37. Is t(-5) a multiple of 3?
False
Let h = 17710 + 21472. Is h a multiple of 11?
True
Suppose -9*p = 5*p - 294. Let r = 101 - p. Does 8 divide r?
True
Suppose 5*r = y + 23331, 0 = r - 552*y + 556*y - 4683. Is r a multiple of 13?
True
Let t(o) = 2*o**2 + 90*o + 430. Is t(-47) a multiple of 7?
False
Let t(p) = 390*p**2 + 54*p - 7. Is 21 a factor of t(3)?
False
Suppose -4*c = -6785 - 90 - 2721. Does 37 divide c?
False
Let q(d) = -1. Let z(w) = -1685*w**2 + 3*w - 8. Let h(j) = -4*q(j) + z(j). Let p be h(1). Does 15 divide p/(-8) - (-36)/(-48)?
True
Suppose -3*l + 97028 = 5*m, 24*m - 64698 = -2*l + 8*m. Is 80 a factor of l?
False
Let r be 237/30 + -1 - (-7)/70. Let u(c) = 2*c**3 - 8*c**2 - c - 35. Does 18 divide u(r)?
True
Suppose -3*r + 16 = -7*r. Does 3 divide -1 + -4 + 32 - r?
False
Suppose w = p + 9630, 5*p + 21679 = 2*w + 2437. Does 33 divide w?
True
Suppose -67*y = 2*o - 71*y - 6684, o = 4*y + 3346. Is o a multiple of 51?
False
Suppose -66 = -12*c + 11*c.