u + 18, 2*p + 2 = f. Is 10 a factor of 1/p*(-6 + 35)?
False
Let l = 34 - 20. Is l a multiple of 7?
True
Suppose -4*z + z + 2*f - 1 = 0, 0 = -f + 5. Suppose -15 = -3*r - 5*y, -3*r - z*y + y = -6. Does 13 divide 22/2 + 2 - r?
True
Suppose -v + 38 = 2*l - 37, -3*l - 3*v + 111 = 0. Suppose 2*z - 16 = 2*c + l, 0 = 2*c. Is z a multiple of 9?
True
Is 7 a factor of (-9)/6 + (-68)/(-8)?
True
Is (2 - 3) + -3 + 10 a multiple of 6?
True
Let l = 2 - 1. Let s = l + 4. Does 5 divide s?
True
Let q = 64 - 19. Is q a multiple of 38?
False
Suppose 8*b = -0*b + 904. Is 49 a factor of b?
False
Let l = 17 + -23. Let k(v) be the first derivative of 2*v**3/3 + 3*v**2 + 2*v + 1. Does 13 divide k(l)?
False
Let r = -4 + 36. Is 8 a factor of r?
True
Suppose 0*v = -5*v + 385. Is v a multiple of 16?
False
Suppose -3*w + 5 = -2*w. Suppose -4*c + 27 = w*r - 5*c, 2*r - c - 9 = 0. Suppose r*b - 6 = 5*b. Is b a multiple of 6?
True
Let y be (-1 + -4)*880/50. Let b = 144 + y. Does 29 divide b?
False
Let f be ((-344)/(-2))/(4/2). Suppose 4*b - f = 3*q, 4*b + 2*q - 72 = -2*q. Is 5 a factor of 172/10 - 4/b?
False
Let x = -155 + 184. Does 2 divide x?
False
Let t = -1 + 6. Let b(x) = 32*x. Let z be b(2). Suppose -t*r - z = -174. Does 12 divide r?
False
Let p(l) = l**2 - 14*l + 22. Is p(22) a multiple of 11?
True
Is 0 - 0/(-2) - (-5 - 29) a multiple of 17?
True
Does 13 divide (1 + -2)/(3/(-159))?
False
Let o = 40 + -7. Is 11 a factor of o?
True
Let k(y) = 2*y - 3. Let f be k(4). Suppose 5*i = 5 + f. Suppose -i*c = -7*c + 95. Is c a multiple of 19?
True
Let t(v) = -12*v - 8. Is t(-3) a multiple of 7?
True
Let j(z) = z**3 - 2*z**2 - z - 7. Is 21 a factor of j(5)?
True
Let t(d) = 29*d**2 + d. Let c be (1 - 0)/(4/4). Is t(c) a multiple of 15?
True
Let b be 2/((-8)/10)*-14. Let p be b/(-2)*(-4)/2. Suppose 4*k - 35 = z, -5*k + 0*k + 3*z + p = 0. Is 8 a factor of k?
False
Suppose -3*n + n + 144 = 0. Suppose -c + n = -0*c + 2*z, 4*z = -3*c + 220. Is c a multiple of 15?
False
Let u(x) = -22*x + 1 - 2 + 68*x - 1. Let b be u(3). Is 6 a factor of 3/(-2)*b/(-12)?
False
Let o = 0 + 50. Let a = o - 27. Is 18 a factor of a?
False
Suppose 0*r - l - 77 = -r, -2*r - 2*l = -134. Suppose -2*c - r = -5*c. Does 12 divide c?
True
Let a(s) = -4*s**2 + 3*s - 2. Suppose j - 2 + 0 = 0. Let w be a(j). Let y = w - -29. Is y a multiple of 11?
False
Let v(o) = -o**2 - 4*o + 3. Let m be v(2). Let j = 55 + m. Does 23 divide j?
True
Let b(n) = -90*n - 1. Does 14 divide b(-1)?
False
Suppose 2*v - 4*s = -8, 3*v - 4*s = -s. Suppose 0 = -6*b + v*b + 18. Is b a multiple of 9?
True
Let u(l) = -2*l**3 + 2*l**2 + l. Let j be u(-1). Suppose -2*k = 4, j*q - 5*k - 24 = 58. Is q a multiple of 16?
False
Let q(m) be the first derivative of m**3/3 + 3*m**2/2 + m - 3. Let t = -6 - -1. Does 10 divide q(t)?
False
Suppose 0 = 4*i - 1 - 19. Suppose i*j = 4*p - 0*j + 104, 0 = -p - 5*j - 1. Let q = 37 + p. Is 8 a factor of q?
True
Let k(x) = -x**3 - 6*x**2 + 11*x - 5. Let r be -1*3/6*16. Is k(r) a multiple of 11?
False
Suppose -35 = -2*k + 7*k. Let i(x) = -x**3 - 6*x**2 + 3*x + 7. Does 9 divide i(k)?
False
Suppose -6 = -2*m, -3*f + 578 = m - 262. Suppose -4*s - 87 + f = 0. Suppose 0 = -2*r + 5*r - s. Is r a multiple of 8?
True
Suppose 4*b + 0*b - 16 = 0. Suppose b*n + 0*l - l = 20, 0 = -4*n + 2*l + 24. Let v = n + 22. Is v a multiple of 13?
True
Suppose -94 + 8 = -2*q. Is q a multiple of 4?
False
Let x(u) = 7*u**2 - 4*u + 7. Let s(z) = -3*z**2 + 2*z - 3. Let n(g) = 9*s(g) + 4*x(g). Is n(-3) a multiple of 4?
True
Let r(f) = -8*f - 3 + 4*f - 8*f. Let x(c) = -c**3 + 4*c**2 + 4*c + 3. Let d be x(5). Does 21 divide r(d)?
True
Let r(h) = 9*h + 3. Let a be r(-4). Suppose -w + 2*w = -18. Let l = w - a. Is l a multiple of 6?
False
Is 4 a factor of (4/3)/(2/6)?
True
Let b(c) = 34 + 1 + c**2 - 2*c**2. Let w(o) = -o**2 + 1. Let i be w(-1). Is 15 a factor of b(i)?
False
Let x = 1 - 2. Is x*(0/2 + -5) a multiple of 5?
True
Let x(u) = 5*u**2 + 3*u - 1. Does 5 divide x(2)?
True
Suppose -5*h + 91 = 11. Is h a multiple of 4?
True
Let p = -3 + 4. Is 17 a factor of (4 + -5)*p + 52?
True
Let r = 267 - 25. Is r a multiple of 33?
False
Let t(h) = -4*h + 5. Let s be t(-4). Is 13 a factor of (-1)/(-3 - -2) + s?
False
Let f = 11 - 6. Suppose -f*b + 20 = -b. Does 4 divide b?
False
Let x(u) = -11*u - 1. Suppose 5*i = -2*f - 7, -4*f - i + 3 = -10. Suppose 0 = 3*j - 5*j - f. Does 15 divide x(j)?
False
Is ((-2394)/(-190))/(2/30) a multiple of 27?
True
Let y(o) = o**2 - o + 9. Let d(k) = -k**2 + 2*k - 9. Let t(b) = 4*d(b) + 5*y(b). Let x(z) = -z**2 + 9*z - 6. Let g be x(9). Does 10 divide t(g)?
False
Suppose 18 = 3*r - 2*t - 29, 0 = -5*r + 4*t + 75. Let a = -35 - -52. Suppose 3*c - 3*v - a = v, -c + r = 2*v. Is c a multiple of 7?
False
Suppose 3*d + 2*d - 240 = 0. Suppose -u - d = -2*u. Is 19 a factor of u?
False
Suppose 113 = 4*r - 31. Is 4 a factor of r?
True
Suppose -2*x + 5 + 51 = 5*u, -28 = -4*u + 4*x. Let c be 102/30 - 4/u. Does 9 divide 3/((-18)/(-44))*c?
False
Let f = 33 + 30. Does 11 divide f?
False
Let q = -20 + 67. Does 26 divide q?
False
Suppose 0 = a + 2*h - 1098, -5*a - 4*h = -2*h - 5450. Suppose -2*i + 4*n - 188 = -644, -5*i = 3*n - a. Suppose l - 6*l + i = 0. Is l a multiple of 22?
True
Let o(t) = -t**3 + 2*t**2 + 3*t - 2. Let q be o(2). Is (24/(-15))/(q/(-30)) a multiple of 12?
True
Let c = -3 - -5. Let m be (c*-1)/(2/(-3)). Suppose 6 - 3 = l - 4*b, -m*l - 5*b + 26 = 0. Is l even?
False
Suppose 3*a = b - 60, 2*b - 61 = 3*a + 59. Suppose 5*m = 8*m - b. Is 20 a factor of m?
True
Suppose 65 = f + 4*f. Does 6 divide f?
False
Let k be -1 - (-5 + -1 - -3). Suppose 3*w + 215 = 6*w - a, 0 = -w + 2*a + 70. Suppose -28 = -k*s + w. Is 21 a factor of s?
False
Let i be 6/(-9)*(4 - 1). Let b(m) be the first derivative of -3*m**4/4 - 2*m**3/3 - 2*m - 1. Is b(i) a multiple of 14?
True
Is (-106)/(-6) - (-4)/12 a multiple of 18?
True
Let o(z) = -z**3 - 11*z**2 + 12. Let h be o(-11). Suppose 0 = 2*b + 4 - h. Does 3 divide b?
False
Suppose 7*c = 12*c - 340. Is c a multiple of 34?
True
Let b(a) = -2*a**2 - 4*a. Let l be b(-4). Is 12 a factor of 88/l*(2 + -10)?
False
Let z be 189/35 + 4/(-10). Let t = z + -2. Let p(n) = n**3 - n**2 - 2*n. Does 12 divide p(t)?
True
Let c(o) = -o**2 + 8*o + 8. Suppose 0 + 21 = 3*b. Does 15 divide c(b)?
True
Let f(r) = -2*r + 6. Let h be f(4). Let j be (-2)/4*(h + -2). Does 14 divide (26 + -3 + j)*1?
False
Suppose -3*u + 2*u + 84 = -3*p, -3*p - 96 = 3*u. Let m = p + 46. Is m a multiple of 17?
True
Let n be 2/(-2) - (7 - 1). Let q(g) = 5*g + 9. Let v(m) = 2*m + 4. Let z(f) = n*v(f) + 3*q(f). Does 5 divide z(6)?
True
Suppose -8*j = -7*j - 70. Does 7 divide j?
True
Let d = 193 - 25. Is 14 a factor of d?
True
Suppose -4*z - 261 + 97 = 0. Let d = z - -60. Is d a multiple of 12?
False
Let j = 189 + -133. Let o be 2/7 + 536/(-14). Let v = j + o. Does 8 divide v?
False
Suppose -k - 5*x = -25, -5*k - x + 0*x + 53 = 0. Is 10 a factor of k?
True
Suppose v + 3*o = 12, -4*o - 31 = -5*v + 29. Is v a multiple of 12?
True
Let o(h) = -h + 1. Let n be o(-1). Suppose 5*b - n*b - 27 = 0. Is 3 a factor of b?
True
Suppose -5*r = 3*h - 2*h - 396, -5*r - 3*h = -388. Is r a multiple of 25?
False
Let o be ((-6)/(-4))/(6/184). Let g = 70 - o. Is g a multiple of 10?
False
Let m(g) be the first derivative of -11*g**2 + 4*g - 1. Let f be m(-4). Suppose 4*o - 72 = f. Does 17 divide o?
False
Is 15 a factor of 33 + (-3 - -2) + -2?
True
Suppose 3*k = -3*a + 5*a - 15, -4*a + 35 = -5*k. Is a a multiple of 11?
False
Let q(o) be the first derivative of 5*o**2/2 - 1. Let c be q(1). Suppose -c*t = -76 - 64. Is t a multiple of 14?
True
Let b(m) = m - 19*m + 2*m. Let x = 0 + -2. Is b(x) a multiple of 16?
True
Let g(o) be the third derivative of -o**4/24 - 2*o**3/3 - 3*o**2. Let h be g(-6). Suppose y - 2*c - 3 = 18, -h*c + 84 = 4*y. Is 21 a factor of y?
True
Let h = -51 + 139. Is h a multiple of 22?
True
Let d(i) be the first derivative of 5*i - 1 + 1/4*i**4 + i**2 - 2*i**3. Is d(6) a multiple of 17?
True
Let g be (-2)/(-8) + (-158)/(-8). Suppose j - 3*j + g = 0. Let c(t) = t**3 - 10*t**2 + 3*t + 11. Is 14 a factor of c(j)?
False
Suppose 4*v = 3*v + 366. Suppose -3*d = -0*d - v. Suppose d = 3*a + 38. Is a a multiple of 17?
False
Suppose -2 = t - 7. Suppose 4*f = 19 + 1, -34 = -p - t*f