*y + 5 = 0, 2*z + 0*y + 3*y = 11. Suppose 2*c + 5*w + 14 = z*c, -w = c. Suppose -3*p = -c*p - 17. Does 8 divide p?
False
Let n(m) = -m**2 + 10*m - 2. Let x be n(6). Let p = x - 22. Suppose 0 = 4*b - 2*b - 4*f - 158, p = -4*f + 8. Is b a multiple of 26?
False
Suppose 6114 = 52*w - 15882. Does 18 divide w?
False
Let i(b) be the first derivative of -b**4/4 - 19*b**3/3 + 9*b**2 + 18. Does 8 divide i(-20)?
True
Let l be (4/(-2) - 297) + 1. Let i be l/(-8) + 3/4. Suppose -42 = -5*s + i. Is s a multiple of 16?
True
Suppose 4*i + 5 = -m, 0*m - 5*i = -m + 13. Suppose 0 = -0*l + m*l - 15. Is l a multiple of 2?
False
Let k = -67 - -267. Suppose 2*y + k = 7*w - 4*w, -3*w - 4*y = -212. Does 31 divide w?
False
Let j = -1217 - -1266. Does 7 divide j?
True
Suppose 3 = 3*d + 24. Suppose 0*v + 15 = -5*v. Let u = v - d. Does 2 divide u?
True
Suppose -3*k + 154 = -581. Let m be ((-4)/(-8))/((-2)/(-8)). Does 5 divide m/10 + k/25?
True
Suppose -43 = 5*t + 7. Let u be (6/t)/((-6)/150). Suppose -q + 4*z = -z - u, -3*z + 60 = 4*q. Is 8 a factor of q?
False
Suppose -6*x - 15 = 51. Let k(w) = -2*w + 5. Does 13 divide k(x)?
False
Is (1188/84 + 3)/((-1)/(-14)) a multiple of 3?
True
Suppose 5*y + 847 = 12*y. Is 41 a factor of y?
False
Let x = -339 - -495. Is x a multiple of 39?
True
Suppose -8*r = -3*r - 860. Suppose r + 104 = 4*j. Is j a multiple of 23?
True
Let r(m) = m**3 + 7*m**2 - 8*m. Let z be r(-8). Suppose z*b + 5*u + 10 = 5*b, -5*b = 3*u + 6. Is 1 - -24 - b/4 a multiple of 25?
True
Suppose 21*f = 14*f + 4284. Is 17 a factor of f?
True
Suppose 3*t = -2*l + 1014, -4*t + 213 - 1213 = -2*l. Is 8 a factor of l?
True
Let v(b) = -b**2 + 5*b - 4. Let y be v(3). Let w be 11 + -3 + -1*y. Suppose w + 69 = 5*p. Is p a multiple of 5?
True
Let i = 0 + 1. Suppose -14 + 7 = -7*c. Does 7 divide (14*i)/(c - -1)?
True
Let n be -3*(-5 + 1)/1. Let k = n + 24. Is 12 a factor of k?
True
Is 40 a factor of (-2)/6 + ((-6002)/(-6) - 0)?
True
Let j = 611 + -367. Does 4 divide j?
True
Suppose 4*o + 6 = -2*f, 8*o - 3*o - f - 3 = 0. Suppose p - 118 = -o*p. Does 29 divide p?
False
Suppose 4*g - 25 = -g. Let k be ((-2114)/4)/7*-2. Suppose 0 = 5*d - g*x - 165, -4*d - 25 + k = 2*x. Is d a multiple of 16?
True
Let b be ((-11)/2)/((-17)/34). Does 11 divide (b/2)/(3/6)?
True
Let t(j) = -24*j**2 + j - 5. Let d be t(-3). Let m = d - -551. Is m a multiple of 51?
False
Let w(c) = c**3 + 30*c**2 + 27*c - 6. Let f be 3216/(-112) - (-1 + (-18)/(-14)). Does 52 divide w(f)?
True
Suppose -2*d + 94 = 2*l, 4*l - 2*l + 4*d - 90 = 0. Does 7 divide l?
True
Does 8 divide 2 - (-19)/(152/4320)?
False
Let y be (-7900)/(-26) - (4 + 162/(-39)). Suppose 2*o - y - 66 = 0. Is 50 a factor of o?
False
Suppose v + 4972 = 23*v. Is 8 a factor of v?
False
Let a(j) = -2*j**3 - 7*j**2 - 9*j - 7. Let v be a(-6). Let n be (-2)/(-5) + v/(-5). Let u = -6 - n. Does 15 divide u?
False
Suppose 5*u + 3*s = 29, -8 + 2 = -3*u + 2*s. Suppose -u*x + 21 = -x. Is 2 a factor of x?
False
Suppose -4*g + 2*i = -76 + 20, -3*g + 4*i + 37 = 0. Is g a multiple of 6?
False
Suppose 5*a = 20 + 5. Suppose 5 = -a*j, -5*j + 2*j = 2*s + 1. Suppose 23 = 3*t - s. Is 4 a factor of t?
True
Let d = -95 - -203. Suppose p - 2*h + 96 = 2*p, -4*h = -p + d. Does 10 divide p?
True
Let n(m) = -5*m**2 + 2*m - 3. Let k be n(5). Let q = k - -37. Is -3 + (-2)/(6/q) a multiple of 19?
False
Let r(t) = t**2 - 3*t - 10. Let m be r(-4). Suppose 2*g - 4*l - m = 36, 2*g - 90 = -5*l. Is g a multiple of 5?
True
Let q(l) = -l + 9. Suppose c - 22 = 3*u - 6*u, 2*c = u - 5. Let i be q(u). Suppose -4*s + i*s = -90. Is 15 a factor of s?
True
Let g be -57*(1 - (-4)/(-6)). Let v = 49 + g. Does 5 divide v?
True
Suppose 4*z + 7 - 23 = 0. Suppose -z*t + t = -735. Is 35 a factor of t?
True
Suppose 3*z = 2*z + 12. Suppose 0*l + 5*d = 2*l - z, -2*d - 6 = -l. Suppose 4*f + 3*h - 66 = 0, -l*h = -2*h - 8. Is 15 a factor of f?
True
Let g(x) = -5*x + 4. Let r be g(-2). Suppose q = r - 4. Let k = 29 + q. Does 21 divide k?
False
Suppose 0 = -5*s + 15, 9*x + 672 = 4*x - s. Let k be 2/3*x/(-18). Suppose -n - 5*u - 19 = -112, -k*n + 534 = 2*u. Is 28 a factor of n?
False
Let l(m) be the second derivative of m**5/20 + 11*m**4/6 - 7*m**3/3 + 23*m**2/2 + 4*m. Is 23 a factor of l(-22)?
False
Let u be (73/(-4))/((-1)/4). Let y(z) = z**2 - z - 6. Let a be y(-6). Let w = u - a. Is 14 a factor of w?
False
Suppose -y - g = 3, 2*g - 4*g = 5*y + 6. Suppose y*k + 2*k = 36. Suppose 10 = -2*m, h = m + 3 + k. Is h a multiple of 8?
True
Suppose 16590 - 1916 = 29*s. Is 22 a factor of s?
True
Is 5 a factor of (7/(-2) + 5)/((-3)/(-1306))?
False
Suppose 2*k - 6 + 0 = 0. Let f be (-3 + 9)*1/k. Suppose -56 = -2*s + b, s + f*b - 52 = -14. Is 10 a factor of s?
True
Let p = -14 + 14. Suppose -90 = 3*x - p*x. Let r = 50 + x. Is r a multiple of 7?
False
Suppose f - 2 = 3, -4*f - 20 = -4*b. Let z(k) = k**2 + 13*k - 38. Does 14 divide z(b)?
False
Let k = 1461 - 237. Does 102 divide k?
True
Suppose 12 = -4*r, 5*r + 2085 = m + 2*m. Is m a multiple of 27?
False
Let h(r) = -3*r**3 - 4*r**2 + 18*r + 13. Is h(-7) a multiple of 19?
False
Let r be 2/(4 - 36/10). Suppose -2*b + 41 = -r. Is 6 a factor of b?
False
Let c(b) = b**2 + 6*b + 2. Let i(t) = t**2 - 7*t - 2. Let k be i(6). Let l be c(k). Let n = 24 - l. Is 3 a factor of n?
True
Let a be (5/(15/(-6)))/(-1). Suppose 22 = a*l - 116. Is 26 a factor of l?
False
Suppose 0 = -9*v - 709 + 4426. Is 59 a factor of v?
True
Is 346 + (3/(-1) - -9) a multiple of 32?
True
Let q be (-2)/(-10) - (-10)/(-50). Suppose -5*v + 3*n + 28 = q, 13 = 3*v + 3*n - n. Let u(k) = 4*k - 8. Is 6 a factor of u(v)?
True
Let i = 0 - -64. Let g = i + -43. Is 7 a factor of g?
True
Let u(k) = -2*k - 9. Let m be u(-2). Does 10 divide (-4866)/135*m - (-2)/(-9)?
True
Suppose 0 = -2*v - 5*g - 27 + 116, 3*v - 126 = -5*g. Is v a multiple of 10?
False
Let c = -7 + 8. Let d be c + 1*(0 - -2). Does 12 divide (-10)/(13/(-4) + d)?
False
Does 12 divide 2/(153/152 + 3/(-3))?
False
Let z(f) = -14*f - 54. Let v(u) = -225*u - 864. Let o(j) = -4*v(j) + 66*z(j). Is o(-8) a multiple of 14?
True
Does 9 divide 59 + -57 - (-1243)/1?
False
Let l(d) = d**2 - 5*d + 6. Let u(h) = 16*h**2 - 35*h**2 + 13*h + 1 + 21*h**2. Let w be u(-7). Does 15 divide l(w)?
True
Let d(i) = 4*i - 9. Let v be d(8). Suppose 37 + v = 3*x. Does 20 divide x?
True
Does 33 divide 1/(-7 - (-27036)/3861)?
True
Let y be (-5 + 19)/(1 + 1). Suppose y*i = 12*i - 720. Is i a multiple of 36?
True
Suppose 495 = 5*l - 5*r, -3*l + 156 + 121 = 2*r. Suppose -h + 4*k = -19, 5*k + 250 - l = 5*h. Is h a multiple of 12?
False
Let p(r) = -r**2 - 2. Let l be p(0). Does 8 divide (-4 + l)/(-3 + (-57)/(-21))?
False
Suppose 2*q + 60 = -4*s, -3*s + 7*q = 2*q + 19. Let t = s + 9. Let r = t - -15. Is 3 a factor of r?
False
Let v be -290*(20/8 - 2)*-1. Is 10 a factor of 116/v - (-1192)/10?
True
Let u(m) = -m**2 + 0*m**2 + 2*m**2 - m + 4 + 6*m**3. Is 9 a factor of u(2)?
True
Let s = -317 - -595. Is 20 a factor of 1/1 + s*(-2)/(-4)?
True
Is 10 a factor of 3472 + 4 - 21*(-7)/21?
False
Suppose 0 = z - 5*z + 308. Does 22 divide z/((-3 - -4)*1)?
False
Suppose -r = r - 5*h + 2, -r - h = -6. Suppose 4*n - 6 = r*v + 2*n, -15 = 3*v - 5*n. Does 7 divide 12 + (-4 - v/(-2))?
False
Suppose -1080 = -45*o + 41*o. Does 5 divide o?
True
Let r(n) = 3*n - 15. Let i be r(5). Suppose 2*f - 118 - 24 = i. Is 15 a factor of f?
False
Suppose 29 = -2*j - 19. Let g be (-1 - -6)/((-60)/j). Suppose -5*z + 5*r = -50, z - g = -5*r + 2*r. Is 7 a factor of z?
False
Let k(t) = -5*t**2 - 8*t - 5. Let u be k(-5). Let m be ((u/3)/(-3))/2. Suppose 3*v + 3*n - 93 = 0, -4*v - m*n - 83 = -6*v. Is v a multiple of 11?
False
Let i(d) = 2*d + 5. Let n be i(-3). Let c be (-3 + -5 + 1)*n. Let k = c - -23. Is 11 a factor of k?
False
Let v(r) = 2*r - 14. Let x be v(9). Suppose -11 = -o - 15. Does 2 divide (x - o) + (1 - 3)?
True
Let s = -1049 - -1809. Is 29 a factor of s?
False
Let r(i) be the first derivative of 2*i**3/3 - i**2/2 + 1. Let d be r(0). Suppose d = 5*k - 5, -583 = -3*p - 2*p - 3*k. Is p a multiple of 29?
True
Let p(x) = x**2 - x + 1. Let i(m) = -19*m**2 - 2*m + 7. Let k(b) = -i(b) + 5*p(b). Is k(-1) a multiple of 25?
True
Let q(t) = t**2 - t + 48. Does 13 divide q(19)?
True
Let j be ((-6)/13)/(-3) - (-6)/(-39). Suppose b = -2*v + 4*b + 