v) = 4*v**2 - 2*v - 4. Let n(d) = d + 8. Let b be n(-7). Let a(o) = 3*o. Let r be a(b). Is 26 a factor of z(r)?
True
Let o(w) = -w**3 - 17*w**2 - 5*w - 17. Suppose -2*l - 33 = 1. Does 34 divide o(l)?
True
Let z(n) = -4*n - 35. Let f be z(-10). Is f/((-10)/14)*-1 a multiple of 3?
False
Suppose a + 237 = -o - 179, -o + 4*a = 391. Let p = -261 - o. Does 25 divide p?
True
Let v = 94 + -91. Suppose 0 = -v*a + 9, 4*l - 5 - 78 = 3*a. Does 3 divide l?
False
Suppose 0 = -2*o + 10*w - 7*w + 1899, -o + 4*w + 937 = 0. Is 33 a factor of o?
True
Let f(y) = -y**2 + 28*y + 8. Let d be f(10). Suppose 4*b - 4*q - d = 0, -4*q = -q - 12. Is b a multiple of 17?
True
Suppose -5*u + 14 = -11. Suppose -u*k = -6*k. Suppose -5*f + k*f + 135 = 0. Is 13 a factor of f?
False
Suppose i - 1575 = -4*i. Suppose i = 4*l + 3*q, -l + 6*q - q + 50 = 0. Is 25 a factor of l?
True
Is -233*(-8 + 2)*(-152)/(-304) a multiple of 71?
False
Suppose 0 = -v - b + 6*b + 34, -5*v = -4*b - 212. Does 21 divide v/(-12) - -3 - 398/(-3)?
False
Let i = 156 + -116. Is i a multiple of 33?
False
Suppose 18*m - 21*m + 153 = 0. Let v = -18 + m. Is 33 a factor of v?
True
Suppose -7*s = -2*s - 2*h - 41, -s - 4*h = -17. Does 18 divide 316/10 + s/(-15)?
False
Let l(s) = -s**3 + 6*s**2 + 6*s + 6. Let h = 19 - 12. Let x be l(h). Is (21 - 1)/(0 - x) a multiple of 13?
False
Suppose -4*q - 3*b = -1372, -2*q + 686 = 158*b - 156*b. Is 53 a factor of q?
False
Suppose 0 = -3*h + 2*b + 145 + 12104, -4*b = -5*h + 20413. Is h a multiple of 19?
True
Let k(v) = 0*v**2 + 12*v - v**2 - 8 + 15*v - 6. Is 21 a factor of k(20)?
True
Let k = 2 + 2. Suppose -18 - 14 = -k*n. Is n a multiple of 4?
True
Suppose -70 = 2*g - 384. Let d = 279 - g. Suppose 3*r - d - 4 = 0. Is r a multiple of 21?
True
Suppose -2*m + 8 = 2*m. Suppose -q + m*u = -4*q - 132, u - 141 = 3*q. Let x = -18 - q. Does 14 divide x?
True
Let k be (-6)/(-4)*-1 - (-4545)/6. Suppose 3*j - k = -0*j. Is j a multiple of 36?
True
Let h = 13165 + -8453. Is 19 a factor of h?
True
Suppose 0 = 4*o + 4*h - 20, -o - 3*h = 3 - 12. Is o*-9*1/((-3)/15) a multiple of 9?
True
Let x be (-2 - -3)/1 + -49. Let k be 10 - (x/(-4))/3. Does 5 divide 124/k + 2/(-3)?
True
Suppose -a + 16 = 3*a. Suppose 4*c + 4*t - 515 = c, 4*c - a*t - 640 = 0. Does 17 divide c?
False
Let k(f) = 6*f**3 - 8*f**2 + 12*f + 3. Let w be k(5). Suppose -9*d = w - 1675. Does 10 divide d?
False
Suppose -3*q = 4*i - 1196, -2*q + 1220 = 4*i - 5*q. Does 75 divide i?
False
Let a(x) = 7*x - 7. Let m(b) = -6*b + 6. Let i(t) = 3*a(t) + 4*m(t). Suppose -g = j + j + 10, -3*g - 21 = 3*j. Is 4 a factor of i(j)?
True
Let i = -1248 - -2592. Is i a multiple of 16?
True
Suppose 19*t - 17*t - g - 1535 = 0, 2*t - 4*g - 1550 = 0. Is 15 a factor of t?
True
Let d = 1089 + -628. Is d a multiple of 18?
False
Let b(o) be the second derivative of 5*o**3/2 - 11*o**2/2 - o. Suppose 5*x - 3*u = -u + 17, -3*u + 32 = 4*x. Is 10 a factor of b(x)?
False
Suppose 0 = k + 4*k - 410. Let a = -40 + k. Is 27 a factor of a?
False
Suppose 10*w = -604 - 626. Let c = w + 267. Does 24 divide c?
True
Let j(b) = b**3 - 4*b**2 + b + 14. Suppose 0*n - 4*n + 16 = -4*f, -5*n - 2*f = -34. Is 13 a factor of j(n)?
False
Let x = 2 + 1. Suppose -2*u = x*u - 45. Let k(v) = -v**3 + 10*v**2 - 4*v - 1. Does 22 divide k(u)?
True
Let s = 907 - 617. Suppose 2*d - 3*k + 33 = 160, 2*k = 5*d - s. Suppose -58 - d = -2*z. Is 19 a factor of z?
True
Suppose 9 = 5*w - 2*w, -4*g + 4*w - 44 = 0. Let k be (-5)/(10/g) - 3. Is (6/12)/(k/42) a multiple of 21?
True
Suppose -f + l = 0, -3*l + 5*l = -5*f - 28. Is 14 a factor of ((-141)/2)/(-1) - (-2)/f?
True
Let b = -122 + 78. Let a = b + 80. Does 8 divide a?
False
Let s = -16 - -22. Suppose 0 = 2*d + n - 6, -4*d - 4*n = -5*d - s. Suppose d*u = -4*g - 5 + 71, 5*u = -2*g + 125. Does 23 divide u?
True
Let z be 1620/(-72)*((-79)/(-5) - -1). Does 3 divide z/(-22) + 50/(-275)?
False
Suppose -6*b = -788 - 1312. Does 25 divide b?
True
Suppose -6*l - 14755 = -5*i - 11*l, 0 = 4*i + 2*l - 11802. Is i a multiple of 22?
False
Let r = 1734 - -554. Is r a multiple of 26?
True
Let h be 0/((-4)/8*-2). Suppose 0 = -h*c - 7*c + 1008. Does 5 divide c?
False
Suppose 5*c + n - 61 = -n, 0 = 5*n + 10. Suppose q = w - 126, -c*w + 12*w = -2*q - 124. Does 64 divide w?
True
Suppose 2*q - 59 = -17. Let o be (414/7)/(q/98). Suppose 7*i - o = 3*i. Does 23 divide i?
True
Let g = -47 + 78. Let a = -26 + g. Suppose 0 = -7*d + a*d + 42. Does 5 divide d?
False
Let s(t) = 63*t - 27. Let r be s(19). Suppose 9*k - r = -k. Is 39 a factor of k?
True
Let c(a) = 12*a**2 - 39*a + 12. Is 39 a factor of c(8)?
True
Let y(k) = k**3 + 7*k**2 + k + 9. Let x be y(-7). Suppose -550 = -4*j - 3*q, -j - 2*j = -x*q - 421. Does 12 divide j?
False
Suppose 755 = 2*m + 5*a, -10*m = -11*m + 4*a + 358. Is 37 a factor of m?
True
Is ((-34287)/44)/(-1 - (-2)/8) a multiple of 3?
False
Let o = -1364 - -1747. Does 118 divide o?
False
Let r(y) = 25*y - 183. Is 15 a factor of r(41)?
False
Suppose 4*t = 4 + 12. Suppose 3*k - i - 77 = 0, k + 4*i = t*k - 74. Is k a multiple of 13?
True
Let b = 313 + -169. Is 10 a factor of b?
False
Let u = 49 - -31. Is 40 a factor of u?
True
Let k(p) = p**3 - 3*p**2 + 4. Let g be k(4). Suppose 23*s - g*s = 39. Is 2 a factor of s?
False
Let m(k) = 157*k**2 - 4*k - 3. Let j = -46 + 45. Is 22 a factor of m(j)?
False
Suppose 4 = -13*j + 15*j. Let a be (j/2)/((-16)/(-80)). Suppose 0*x = 4*x + 3*m - 135, 2*m = a*x - 186. Does 18 divide x?
True
Let f(i) = -12*i**3 + 6 + 4*i + 1 - 3 - i**2. Is f(-2) a multiple of 9?
False
Let c(n) = -14*n - 125. Is 6 a factor of c(-10)?
False
Suppose 62*j = 17056 + 800. Is 14 a factor of j?
False
Let v be (8/(-10))/(-1)*10. Suppose 4*x - 6*x - v = -4*l, -l = 5*x + 20. Suppose w - 3*w = -2*c + 28, l = -c + 2*w + 10. Is 8 a factor of c?
False
Let x(p) = -23*p - 4. Let h be x(-1). Suppose h + 107 = l. Is l a multiple of 11?
False
Let d be (-1)/(-4) + 730/(-40). Is 6 a factor of 6/d - (-218)/6?
True
Let d(h) = -5*h - 2*h**2 + 3*h**2 + 10 + 14*h. Let y be d(-8). Suppose -186 = -4*z + y*w, 4*z - 3*w = 2*w + 189. Is 28 a factor of z?
False
Does 14 divide (21/2)/(1/(-340)*-15)?
True
Let c be (2 - 4)*(1 + -2). Let x(r) be the first derivative of 27*r**2/2 + 4*r - 2. Is 29 a factor of x(c)?
True
Is 2 + -6 - 0 - (-555 + 1) a multiple of 16?
False
Let a = 1 + 1. Suppose 7 = m + 2*k - 5, -3*m = 2*k - 20. Suppose 4*x - a*w = 88, -m*w + 20 - 4 = 0. Is x a multiple of 12?
True
Suppose -2*d + 29 = 5*m, 14 + 9 = -d + 5*m. Is 20 a factor of 1/(d/(-26)*1)*-5?
False
Let p be ((-13)/((-65)/56))/((-1)/(-10)). Suppose 4*x - p = 2*x. Is 21 a factor of x?
False
Let f(p) = 54*p - 4. Is 38 a factor of f(5)?
True
Let t = -120 + 152. Does 2 divide t?
True
Let s(m) = 2*m**3 - 9*m**2 - 8*m + 14. Let y(t) = -3*t**3 + 9*t**2 + 8*t - 13. Let v(x) = 4*s(x) + 3*y(x). Is 23 a factor of v(-9)?
False
Is 10 a factor of 10/5 + (609 - -5) + -5?
False
Suppose -6 - 51 = -3*c. Suppose -4 + c = 5*x. Does 3 divide x?
True
Let a(r) = -7*r**3 - r**2 - r - 1. Let k be a(-1). Let c(s) = 3*s - 15. Let y be c(k). Suppose -y*q = -2*b + 2*q - 15, -3*q + 15 = 0. Is 2 a factor of b?
False
Let c(d) = -3*d + 130. Does 21 divide c(-21)?
False
Suppose -3*j + 13 = 1. Suppose -2*o - r - 2*r = 5, -1 = -3*o + j*r. Is 17 - (o - -2 - 0) a multiple of 5?
False
Suppose -5*t = 5*z - 40, -5*t = 2*z - 0*z - 13. Let r = 7 + -5. Suppose -r*y + z = -9. Does 3 divide y?
True
Let c(r) = 2*r**2 - 2*r - 2. Suppose -2*i - 17 = f + 3*i, f - 15 = 3*i. Is 5 a factor of c(f)?
True
Let v(d) = 3*d + 2. Let s be v(11). Let g = s + 46. Let p = g - 55. Does 13 divide p?
True
Let q(s) = -s**2 + 8*s + 3. Suppose 0 = 2*n - 17 + 3. Let l be q(n). Suppose 58 + l = 4*i. Is i a multiple of 9?
False
Let x = 5 + -9. Let n(l) = 6*l + 2. Let i(g) = 1. Let d(t) = -2*i(t) - n(t). Does 20 divide d(x)?
True
Suppose 50*o + 18*o - 9724 = 0. Does 11 divide o?
True
Let n be 90/(-6)*(0 - 1). Let x be 4/(-10) + 36/n. Suppose 0 = -3*y + 2*p + 83, x*p - 4*p + 106 = 4*y. Is 9 a factor of y?
True
Suppose -5*i - 4*m + 16400 = 0, 0 = 2*i + 5*m - 544 - 6033. Is 14 a factor of i?
True
Suppose -9*k = -265 - 158. Let w be (2 - 25)/(1 + 0). Let i = k + w. Does 8 divide i?
True
Let x(p) be the first derivative of 2*p**3/3 - p**2 - 12*p + 14. Is x(-9) a multiple of 14?
Tr