ctor of l?
True
Suppose 1 - 6 = -j. Let c(d) = d**2 - 3*d + 2. Let i be c(1). Suppose -2*p + 12 = 3*r - i*p, -j*r + 3*p = -20. Is r a multiple of 4?
True
Suppose 120 = z + 2*z. Does 9 divide z?
False
Let g(y) = 0*y + 2*y**2 - 2*y + 8*y. Let x = 47 + -53. Is g(x) a multiple of 18?
True
Let z(a) be the second derivative of -a**3 + a**2/2 - 3*a. Let j be z(2). Does 15 divide (-2 + j)*(-3 + 1)?
False
Suppose 3*m - 89 = 4*c + 17, -162 = -4*m - 5*c. Is 29 a factor of m?
False
Suppose -2 = -q - 0. Suppose q*j = j + v - 17, 60 = -4*j - 4*v. Let k = 0 - j. Does 13 divide k?
False
Suppose -4*v - 1 = -5. Let h(s) = 10*s - 1 + 21*s**2 - 10*s. Is h(v) a multiple of 16?
False
Suppose -u - 4*z + 87 = 0, -5*u + 9*u = -5*z + 381. Is u a multiple of 9?
True
Let s(p) = p**3 - 5*p**2 + p - 4. Let d = 9 - 3. Is s(d) a multiple of 19?
True
Suppose -6*g + 2*g - 2*h = -578, -2*g + 3*h + 277 = 0. Is 18 a factor of g?
False
Let l = -2 - -2. Let y be l/1 + (-4)/4. Let k = 37 - y. Is k a multiple of 19?
True
Suppose 4*j = -2*t + 4, 2*j = 3*j - t - 7. Let s = j - -7. Is s a multiple of 10?
True
Let u = 5 - 0. Suppose -j + 3*l + 18 = 0, -4*j + 0*j + 2 = 2*l. Suppose 0*f = -w + j*f + 25, -5*f = u*w - 25. Is 3 a factor of w?
False
Let w(r) = r**3 + r**2 - 6*r - 2. Is w(3) a multiple of 10?
False
Let a be ((-12)/9)/(3/(-9)). Let t(o) be the second derivative of -o**4/12 + 2*o**3/3 + 5*o**2/2 - o. Is 2 a factor of t(a)?
False
Let v be (-1 - -113)/(-2)*-1. Let z be (752/12)/(6/9). Let w = z - v. Is 18 a factor of w?
False
Let d be 6/(-30) + 42/10. Suppose -5*b + 19 - d = 0. Suppose 0 = 2*w - 3*q - 70, b*w + 0*w - 4*q = 106. Is 19 a factor of w?
True
Let v(q) = q**3 + 5*q**2 + 5*q + 4. Does 2 divide v(-3)?
False
Suppose -3*u + 1540 = 2*u. Does 28 divide u?
True
Let v(p) = 30*p + 16. Let w(q) = -10*q - 5. Let i(k) = 2*v(k) + 7*w(k). Suppose h = -0*n + 3*n + 2, -5*n = 3*h + 22. Does 9 divide i(n)?
False
Suppose 5*v - 13 = 27. Is 2 a factor of v?
True
Suppose 64 = -2*v + 2. Let u = v + 43. Is u a multiple of 12?
True
Suppose -4*f + 126 = -5*c, -24 = -3*f - 3*c + 57. Is 29 a factor of f?
True
Suppose w = k - 1, -3*w + 5 = -k + 2. Suppose 53 + 7 = w*r. Does 13 divide r?
False
Let p be 6/4 - (-25)/2. Suppose -p = -4*w + 2*w. Is 6 a factor of w?
False
Let s(l) = l**2 + 5*l - 6. Let f be s(-6). Suppose -4*r - 4*i + f*i = -96, 5*i = r - 24. Does 24 divide r?
True
Let m(a) = a**2 + a - 4. Let j be m(2). Suppose j*u = 4*u - 70. Is u a multiple of 11?
False
Suppose 0 = -8*y + 17 + 95. Is 14 a factor of y?
True
Suppose -4*f - 5*s + 5 = 2, -s - 1 = 0. Suppose 0*h - f*z - 42 = -5*h, -3*h = -3*z - 18. Is 5 a factor of h?
True
Let x(o) = o**3 + 8*o**2 + 9*o + 6. Is x(-6) a multiple of 24?
True
Let s(r) = 19*r**2 + 3*r + 2. Is 9 a factor of s(-1)?
True
Is 12 a factor of 95 + -3 + (3 - -1)?
True
Let y(b) = 3*b**2 + 9*b + 4. Let k(v) = -v - 1. Let j(s) = 5*k(s) + y(s). Let a be j(-3). Is 5 a factor of (2*-1 + a)/1?
False
Suppose 38 = 3*s - 46. Is 7 a factor of (-7)/((s/(-8))/7)?
True
Suppose 0*c + 6*c - 312 = 0. Is 26 a factor of c?
True
Suppose 99 = 6*s - 213. Is s a multiple of 15?
False
Let f = -1 + 5. Does 4 divide f?
True
Let j be 4/(-4)*-1*6. Does 11 divide -30*(-1 - -5 - j)?
False
Let m = -75 - -151. Is m a multiple of 19?
True
Let d = 36 + 33. Is d a multiple of 12?
False
Let f(h) = 185*h**2 - 4*h + 1. Is 14 a factor of f(1)?
True
Let p be 1/((-2 - 1)/(-285)). Suppose 10*h = 5*h + p. Is 10 a factor of h?
False
Let a(o) = o - 1. Let b be a(3). Suppose h + 83 = 3*h - 3*y, -b*h - 5*y = -123. Is h a multiple of 13?
False
Let h be (-224)/(-10) + 8/(-20). Suppose -h = -z + 2*r + 8, -2*r = -2*z + 62. Does 12 divide z?
False
Suppose z - 326 = -3*z - 2*l, -5*l - 400 = -5*z. Let r = z - 39. Does 21 divide r?
True
Let o(b) = 18*b - 12. Let n be o(8). Let h = n + -16. Suppose h - 32 = 4*a. Is a a multiple of 7?
True
Let u(b) be the third derivative of b**6/120 + b**5/15 - b**4/24 + b**3/2 + 3*b**2. Does 7 divide u(-4)?
True
Let n be 4/(-16) + (-18)/(-8). Let v(a) = 4*a**n + 3 - a**2 - 4*a - a**2 + a**2. Is v(5) a multiple of 26?
False
Let l(p) be the first derivative of -p**4/4 + 5*p**3/3 - p**2 + 3*p - 1. Is 7 a factor of l(4)?
False
Let r(n) = 2*n + 1. Let h be r(-4). Let t(u) = -7*u - 10. Is t(h) a multiple of 13?
True
Let d = -28 + 47. Suppose d = -5*k - 1. Is 18 a factor of ((-48)/28)/(k/42)?
True
Let h = 28 + -15. Suppose -4*n - 4*o + 83 + 73 = 0, -2*n + 72 = -o. Let g = n - h. Is g a multiple of 12?
True
Suppose 28*v + 45 = 213. Does 3 divide v?
True
Let g(t) = 6*t**3 - t**2 - 4*t - 7. Let r(o) = -7*o**3 + 2*o**2 + 5*o + 8. Let z(n) = -6*g(n) - 5*r(n). Does 3 divide z(-4)?
True
Suppose -7*f - 15 = -2*f. Let u = 19 - f. Does 11 divide u?
True
Suppose -5*r + 0*r = 0. Is 5 a factor of 7 + r + (-1 - 1)?
True
Does 5 divide 7*(-4)/(-2) + 2?
False
Suppose -5*g + p - 1 = -2, 0 = g + p - 5. Let c = 4 - g. Suppose -c*r = -0*r - 3, -5*f - 3*r = -93. Is f a multiple of 9?
True
Suppose -5*u + 38 = -4*u. Suppose -r + 3*o + 5 = 0, -5*r + 6*o = 4*o - u. Is r a multiple of 8?
True
Let a(f) = -3*f**3 + 27*f**2 + 22. Let l be -2 + 2 + (9 - 1). Let w(k) = k**3 - 9*k**2 - 7. Let r(v) = l*w(v) + 3*a(v). Is 7 a factor of r(9)?
False
Suppose -5*u = -44 - 36. Let i be (u/(-5))/((-5)/(-25)). Let p = i - -55. Does 13 divide p?
True
Is 10 a factor of 1*6*((-320)/6)/(-8)?
True
Let p(x) = -x**3 + 10*x**2 + 12*x + 1. Let t be (6/2)/(15/55). Is p(t) a multiple of 6?
True
Let s(q) be the first derivative of q**3/3 + 5*q**2 + 3*q - 1. Let w(b) be the first derivative of s(b). Does 16 divide w(11)?
True
Let j = -52 + 81. Is 15 a factor of j?
False
Suppose -4*y - 3*u + 8*u + 51 = 0, -u + 1 = 0. Is 7 a factor of y?
True
Let n = -22 - -37. Is (-6)/(-15) - (-99)/n a multiple of 7?
True
Let n(p) = p**3 - 10*p**2 - p - 12. Suppose 0 = 6*g - 92 + 26. Does 23 divide n(g)?
False
Suppose -2*q + 2*g = -6, -q - 3*q - 3*g + 19 = 0. Suppose -22 = -q*c - 6. Is c a multiple of 2?
True
Suppose 3*s - 5 = -2*s. Let d be (s/(-2))/((-1)/8). Suppose 0*b - 5*b + d*o + 38 = 0, 5*b - o = 47. Does 5 divide b?
True
Let i(t) = -t**3 - 8*t**2 - 8*t + 9. Let z be i(-7). Let n = z - 6. Is n a multiple of 3?
False
Suppose -p - 3*p + 76 = 0. Is p a multiple of 5?
False
Suppose 0 = 5*x - 108 + 18. Is 9 a factor of x?
True
Is 465/9 + 1/3 a multiple of 13?
True
Suppose 4*t - 564 = -2*o, 5*t + 2*o + 135 - 839 = 0. Is t a multiple of 14?
True
Let o(t) = -3*t + 1. Let i be o(2). Let z = i - -3. Let s(m) = -8*m - 3. Does 13 divide s(z)?
True
Suppose -3*c + 19*c = 96. Is 3 a factor of c?
True
Suppose 0*a + 2*l = -a + 24, 5*a - 108 = -4*l. Is 7 a factor of a?
False
Let y(j) = -j + 6. Let w be y(7). Does 13 divide w - (-2)/(-2) - -34?
False
Let a be 1 - 1*2/(-2). Suppose a*i + 24 = 6*i. Suppose g = -i*s + s + 134, -2*s + 3*g = -40. Does 13 divide s?
True
Suppose 5*w = 4*w - 16. Suppose 0 = -5*s + 5*j - 2*j - 154, 5*j - 22 = s. Let u = w - s. Is u a multiple of 14?
False
Let r = -1 + 15. Suppose -r = -3*d + 4. Does 6 divide d?
True
Suppose 0 = 5*v + 31 - 6. Let i(a) = -a**3 - 4*a**2 - 5*a - 7. Does 24 divide i(v)?
False
Let c = 35 + -23. Suppose -l = -5, c = -4*g - l + 33. Is g a multiple of 4?
True
Suppose -282 = -4*t - 2*t. Does 17 divide t?
False
Let b(o) = o**3 - o**2 + o - 12. Let l be b(0). Suppose -f + 16 = -10. Let n = f + l. Is 9 a factor of n?
False
Suppose 0 = 3*b - 2*g - 3, -2*b - 5*g = -3*g - 12. Suppose -3*c = -q - b*q + 10, -14 = -4*q + c. Suppose 0 = 2*k - 3*x - 31, -3*x = q - 7. Does 17 divide k?
True
Suppose 2*y = -0*y - 20. Let z be (-2)/(-5) + 4/y. Suppose -f = -z*f + p - 26, 4*p + 72 = 4*f. Is 11 a factor of f?
True
Let z(l) be the third derivative of l**6/24 + l**4/24 + 2*l**2. Let c be z(1). Suppose 0 = 4*u + 2*h - 124, -4*u - 4*h + 116 = -c*h. Is 15 a factor of u?
True
Let d(u) = u**2 + 8*u + 6. Let t be d(-8). Suppose -t = q - 0. Let o = q + 10. Is 4 a factor of o?
True
Does 28 divide (2 - 18/7) + 3540/21?
True
Let a be (8/(-12))/((-2)/24). Let o = a + 7. Is 15 a factor of o?
True
Does 8 divide 128/6*(-12)/(-8)?
True
Suppose 5 + 0 = 5*v. Let x be (-1 - -2)*(1 - v). Suppose w - 4*m = 21, 2*m = -8 - x. Is 3 a factor of w?
False
Suppose -l = -0*k - k - 7, -4*k = 5*l + 10. Let d(s) = -s**3 + 9*s**2 + 11. Let o be d(8). Suppose -l*i = -4*h + 3*i + 