se -v + 3*a - d = 0, 15 = 2*v + 3*v - 5*a. Suppose -4*x + 62 = 3*y, -y - 5*x = -v*y + 150. Does 10 divide y?
False
Suppose -5*d + 4 = 9. Let q(p) = -p**3 - p**2 - 2*p. Let v be q(d). Is (v/4)/(7/2044) a multiple of 13?
False
Let s(o) = 114*o - 111. Let n = 155 + -149. Does 15 divide s(n)?
False
Suppose -789*y + 699*y + 910350 = 0. Is y a multiple of 35?
True
Let h = 53989 + -43650. Is h even?
False
Suppose -p + 148737 = 5*c, -154*c + 155*c + p = 29749. Does 34 divide c?
False
Suppose -60*l + 61478 = -28*l - 30*l. Is 8 a factor of l?
False
Let t = -8250 + 12048. Is 41 a factor of t?
False
Let j = -3441 + 4114. Does 99 divide j?
False
Let r(x) = -7*x**2 - 138*x + 40. Let o be r(-20). Let d(u) = -u**3 + 4*u**2 + 3*u + 527. Is d(o) a multiple of 30?
False
Let u(k) = 3*k**2 + 12*k - 17. Let n be u(3). Suppose -53*h + 2317 = -n*h. Is 10 a factor of h?
False
Suppose z - 3*x = -9433 + 42900, 4*z = -6*x + 133976. Is 126 a factor of z?
False
Let u(s) = -10*s - 2. Let v(x) = -x**2 + x + 1. Suppose -5 = t - 1. Let y(l) = t*v(l) - 2*u(l). Is y(-7) a multiple of 14?
True
Let x = 12402 - 9795. Does 5 divide x?
False
Let m = 14395 - 8275. Is 11 a factor of m?
False
Suppose 2*u - u = -5*y - 279, 2*u - 47 = y. Let w = y + 70. Is 5 a factor of w?
True
Is ((-11)/110*-5)/(1/(-114876)*-1) a multiple of 11?
False
Let m = -3843 + 9351. Is 27 a factor of m?
True
Let y(h) = 3*h + 55. Let i be y(-15). Is 38 a factor of (9 - -56)*14/i?
False
Let d(s) = -92 + 11*s + 6 - 47 + 2*s. Is d(19) a multiple of 19?
True
Let y be 16/56 + 468/28. Suppose -14500 = -y*b - 8*b. Is 58 a factor of b?
True
Let z = -1950 - -1952. Let w = -8 + 11. Suppose q + 0*q = w*l + 15, -z*l = -10. Is q a multiple of 29?
False
Suppose -2*g - 6 = -14. Let j = 32 + g. Suppose -j*d + 60 = -34*d. Is 7 a factor of d?
False
Suppose 0 = 5*w + 5 - 25. Suppose -w = -h - 0. Suppose 108 = -3*a + h*a. Is 9 a factor of a?
True
Let k(t) = -5*t - 13. Let x be k(-3). Let o be (-3 + 1 + -6)*(x - 6). Suppose o = 7*y + y. Does 3 divide y?
False
Let r = -10300 - -17391. Does 7 divide r?
True
Suppose -2821 = -u - 647. Does 26 divide u?
False
Suppose -4*x + 5*x - 2 = 0. Suppose -5*u - 5*i = 5, x*u - 2*i = 7*u - 4. Suppose -2*y = -u*n + n + 61, -y - 287 = -5*n. Does 9 divide n?
False
Let x = -132 + 130. Is 37 a factor of (x - 684)*(-7)/14?
False
Let d(k) = -k**3 + 9*k**2 + 11*k - 8. Let o be d(10). Let j be (-1 + 6/o)*-5. Let a(w) = -7*w + 36. Is 11 a factor of a(j)?
False
Let j(i) = 17*i**2 + 3*i - 34. Let v be j(-8). Suppose 52*r = 57*r - v. Is r a multiple of 40?
False
Let s be 107 - ((-5)/10)/(1/2). Suppose 2*r - s = 5*r. Let a = r + 144. Does 12 divide a?
True
Let b be 1 - 3 - (-5)/(4 + -3). Is 17 a factor of ((-1545)/(-10))/(b/4)?
False
Let j(g) = -59*g**2 - 2*g + 3360. Is 7 a factor of j(0)?
True
Suppose 2*v = 4*y + 3*v - 5085, -4*v = -4*y + 5060. Suppose 4*l - 668 - 606 = -3*j, -4*l - 5*j = -y. Suppose -11*x + 3*x = -l. Does 5 divide x?
True
Let z = -42 + 39. Let y(p) = p**3 + 2*p**2 - 2*p + 1. Let u be y(z). Is 21 a factor of 31*-2*1/u?
False
Let p = -215 - -209. Let a(s) = -46*s - 80. Is 28 a factor of a(p)?
True
Suppose 10*d + 2*d - 8*d = 48664. Is 154 a factor of d?
True
Let d = 263 - 37. Does 37 divide ((-2860)/(-165))/(d/222 - 1)?
True
Is 20 a factor of (5752/(-1))/(33 + (-5678)/170)?
True
Let h = -102 - -54. Let n = 97 + h. Does 7 divide (6 - 4 - 2) + n?
True
Let c(x) = -x**3 - 9*x**2 - 8*x + 5. Let u be c(-8). Suppose u - 2425 = -10*l. Does 11 divide l?
True
Suppose v + 47 - 245 = 0. Let s be 1 - 24/15 - (-18369)/65. Suppose v = 2*p - s. Is p a multiple of 28?
False
Suppose -5*d - 4900 = -3*h, 3*h - 4*d = h + 3268. Suppose -m = -2*b + h, 5*b = 2*m + 2*m + 4069. Does 19 divide b?
True
Let w(c) = c**2 - 10*c - 73. Let q be w(0). Suppose -t + 0*t = 2, -5*l - 2*t = 224. Let d = l - q. Does 5 divide d?
False
Let b(o) = 266*o - 334. Does 27 divide b(11)?
True
Suppose 4*n - 3436 = -h, 4*h = -5*n - 1916 + 15627. Is h a multiple of 24?
False
Let c = 219 - -112. Let m = c + -2. Is m a multiple of 21?
False
Let l(t) be the first derivative of 17*t**2/2 - 65*t + 1. Does 23 divide l(22)?
False
Let s be -6 + 26856/28 + 1/(-7). Suppose -5*y + 727 + s = 0. Is 24 a factor of y?
True
Suppose 4*t + 4*d - 8 = -t, 0 = -2*t - d + 2. Let f(k) = -k**3 + k**2 + 8*k + 48. Let g(r) = -r. Let j(a) = f(a) + 4*g(a). Is 8 a factor of j(t)?
True
Let r = 0 + -9. Suppose g + 25 - 34 = 0. Let b = g - r. Is b a multiple of 9?
True
Let b = 45 + -36. Let u be (-1)/(6/(-4)) + (-222)/b. Is u/(-42) + -1 + 160/14 a multiple of 10?
False
Let g(r) = 43*r + 57. Let h(n) = -23*n - 28. Let w(i) = -2*g(i) - 5*h(i). Does 20 divide w(6)?
True
Suppose 1012 = l + 4*k - 5515, 2*l + 2*k - 13078 = 0. Is l a multiple of 17?
False
Suppose -7*m + 4629 = -2462. Let p = m - 968. Does 15 divide p?
True
Suppose 7 = -3*g - 5*n - 4, -5*n - 5 = 5*g. Suppose -2*m = g*c - 9, 2*c - m - 6 = 4*m. Suppose p - 21 = -c*p - 5*j, -j - 30 = -3*p. Does 3 divide p?
True
Let n be (1 - (-365 + -2)) + (21 - 17). Let w = n + -173. Is 33 a factor of w?
False
Is -2 - -10 - (-6730 + -26)*2/1 a multiple of 20?
True
Let m be -2 + 5 + -2*747/(-18). Suppose -2*s + m = -94. Does 5 divide s?
True
Let b(d) be the first derivative of -1/2*d**2 + 0*d - 15 + 14/3*d**3. Is b(1) a multiple of 4?
False
Let b(y) = -6*y + 183. Let z be b(30). Suppose z*u + 3*m = -m + 1925, -5*u = 2*m - 3185. Does 19 divide u?
False
Let u = -143 + 169. Suppose -42*z + 6704 = -u*z. Does 37 divide z?
False
Is (21 - 14)*((-11580)/(-9) + (-2)/3) a multiple of 6?
False
Let p be (-1*577/4)/((-1)/4). Let q = -174 - -576. Let k = p - q. Is k a multiple of 25?
True
Suppose -3072480 - 1948536 = -231*u. Is 38 a factor of u?
True
Let d be (34 - (-10)/(-5)) + -3 + 1. Let h = d - 30. Suppose h = s - 5, 21 + 42 = 4*t - s. Does 17 divide t?
True
Suppose 16*r = -14*r. Suppose 3683 = 5*o + 3*g, 4*o + 0*o - 3*g - 2941 = r. Does 16 divide o?
True
Let d be 4*-2*(-90)/180. Suppose -10*g - d*f - 3784 = -15*g, 3*f + 3027 = 4*g. Is g a multiple of 16?
False
Let u(v) = v**3 + 4*v**2 + v - 4. Let i be u(-3). Suppose -4*y + 0*f - 3*f = -83, -i*f = -y + 7. Let z = y + 19. Is z a multiple of 9?
True
Let m be (-17)/(1/(2/(12/6))). Does 17 divide (-6 + -1 - 0)*m?
True
Let x(h) be the second derivative of -h**5/20 + h**3/6 + 7*h**2/2 - 8*h. Let b be x(0). Is (-1350)/(-42) + (-1)/b a multiple of 26?
False
Let n be (-1119)/15 - (-8)/(-20). Let r = -70 - n. Let s(c) = 7*c**2 + 3*c + 8. Does 42 divide s(r)?
False
Suppose 27*d - 32*d = 5*i - 14435, -3*d = 3. Is 76 a factor of i?
True
Suppose -24 = -5*v + 3*c, 5*c + 27 = 4*v - 0*c. Suppose -s - 3*k = -v*s + 194, -5*k = -s + 111. Suppose 59 = 5*g - s. Is g a multiple of 10?
True
Let n(d) = -d**3 + 2*d**2 - 2. Let b be n(-1). Let j be (b - -13)*(18/4 - -1). Suppose 0 = -u + 8*u - j. Is 11 a factor of u?
True
Let o(x) = -3*x + 34. Let c be o(10). Suppose 0 = 2*n - c*n + 4. Does 10 divide (80/28)/(n/7)?
True
Suppose -29*v = -21216 + 5382. Is v a multiple of 4?
False
Let p = -5 - -59. Suppose 2*d = 4*d - p. Suppose -3*i = 4*a - 156, -79 - d = -2*i - 2*a. Is i a multiple of 7?
True
Let s(g) = -8*g - 47. Suppose -5*p = -2*m + 6*m + 112, 4*m = -p - 128. Is 10 a factor of s(m)?
False
Let i = 637 + -1016. Let z = i - -541. Let c = z + -114. Does 9 divide c?
False
Let c = -816 - -819. Suppose c*l - 2546 + 221 = 0. Is l a multiple of 22?
False
Let c(u) = -2*u**2 - 61*u - 114. Is c(-27) a multiple of 3?
True
Let l = -4568 + 5469. Is 9 a factor of l?
False
Let r(q) be the second derivative of -44*q**3/3 - q**2/2 + 7*q. Let w be r(-1). Let m = w + -37. Is 11 a factor of m?
False
Let h(y) = -y**3 - 28*y**2 + 2. Let i be h(-28). Let l(t) = t**3 - 7*t**2 + 9*t - 3. Let q be l(6). Suppose i*f - 21 = q. Is f a multiple of 9?
True
Let b be 3/((300/(-3410))/(-10)). Let x(h) = -17*h**3 - h. Let f be x(2). Let j = b + f. Does 29 divide j?
True
Let r = -7733 - -9056. Is r a multiple of 3?
True
Suppose u - 2*u + c + 5 = 0, 4*u + c - 5 = 0. Let g = 0 - -2. Suppose -g*l + 5*q = u*l - 88, -q = -4*l + 104. Is 15 a factor of l?
False
Let y be -4 - 4/(-6)*3. Let s be 122/((-6)/(-2) + y). Let h = s - 70. Is h a multiple of 5?
False
Let m be -1*(-4 + 5 + -10). Suppose -39 = -6*c - m. Suppose 7*n - 5*n = -5*b + 257, c*n = 5*b + 695. Does 22 d