 factor of s?
False
Let l = -1 + 4. Let m = 317 + -752. Is 2/l*m/(-10) a multiple of 13?
False
Suppose -3*q + 8 = q. Suppose -31 = -q*i + 9. Suppose -2*r - 3*r = -i. Is r even?
True
Is (1 + 2)*(-2)/(-2) even?
False
Let m be (-1 - 3/(-2))*0. Suppose 12 + m = 3*i. Is i even?
True
Suppose 2*t - 3*x = -t + 45, 63 = 4*t - 5*x. Is t a multiple of 12?
True
Let q(m) = -m**2 + 6*m + 1. Let x be q(5). Let t = x + -7. Does 7 divide t/(3 - 219/72)?
False
Let u = 4 - 2. Suppose -5*r - u = -3*q, 2*r - 5*q = 3*r - 22. Suppose -i + 2*d = -8, 2 = -i + 5*d - r. Does 8 divide i?
True
Let x(r) = 5*r**2 + r. Let v be x(-1). Suppose -v*d - 14 = l, l - 4*d - 32 = -l. Is 4 a factor of l?
False
Suppose j = 2*h - 5, -2*j - 4 - 11 = -5*h. Suppose -j*f = -13 - 217. Does 23 divide f?
True
Let p(v) = -2*v - 3*v + 4*v + 11. Let n be p(9). Suppose -19 = -h - 4*x, 2*h = 3*x + 3 + n. Is h a multiple of 7?
True
Let n = 3 - 3. Suppose w - 18 = -n*w. Does 18 divide w?
True
Is 3 - (-192 + 7 + -4) a multiple of 29?
False
Let w(h) = -h - 12. Let z(c) = 13. Let j(m) = -39. Let s(d) = -2*j(d) - 7*z(d). Let u(o) = -2*s(o) + 3*w(o). Is 5 a factor of u(-8)?
False
Let u = 8 - 12. Let g = u - -25. Is 9 a factor of g?
False
Let a = 21 - 14. Let l = a - 11. Is 11 a factor of l/(-1)*15/4?
False
Suppose -3*n = -5*t - 31, n - 3*t - 11 = 3*n. Suppose 537 = n*i - 159. Suppose 138 - i = -5*x. Does 21 divide x?
True
Let k = 321 - 67. Suppose 4*p = h + k, -3*p + 195 = -3*h - 0*h. Does 20 divide p?
False
Let i be (-1)/((-1)/(-72)) - -1. Does 9 divide (3 + i)/(-2) + -1?
False
Let o(y) = 2*y**2 - 6*y + 4. Let l(g) = 14*g - 16. Let d(f) = -3*f + 3. Let s(m) = 11*d(m) + 2*l(m). Let r be s(-1). Does 20 divide o(r)?
True
Let l = -10 - -10. Suppose -18 = -l*t - t. Is 18 a factor of t?
True
Let q = -111 - -118. Is q a multiple of 6?
False
Is 18 a factor of -1 - 327/(-6)*2?
True
Let m be (-14)/77 - (-46)/11. Does 17 divide m*-1 - (-11 + -27)?
True
Suppose 3*w - 688 - 74 = 0. Is 16 a factor of w/8 - (-2)/8?
True
Suppose 6*m + 9 = 501. Is m a multiple of 9?
False
Suppose 3*o - o = -42. Let x = 39 + o. Is x a multiple of 11?
False
Let t(k) = k**2 - 7*k + 1. Let l be t(6). Let q be 33/l - 24/(-40). Is 7 a factor of ((-52)/q)/(6/9)?
False
Let l = 8 + -2. Suppose l + 9 = 3*c. Is 2 a factor of c?
False
Let d(g) = 3*g**2 + 3*g**2 + 3*g + 6*g**2 - 3. Let c be d(-3). Suppose -3*n + 54 + 1 = 5*m, 4*m - c = -5*n. Is 17 a factor of n?
False
Is 5 a factor of 1/(-3*(-3)/45)?
True
Let w(r) = 8*r + 4. Let d be w(-2). Is 17 a factor of d/(-42) + (-472)/(-14)?
True
Let k = 77 + -56. Does 4 divide k?
False
Is (4/3)/((-3)/(-18)) a multiple of 2?
True
Suppose 9 = -5*o + 4*f - 7, 5*o - 2*f + 8 = 0. Let h(z) = 5 - z + 0 + 0. Is h(o) a multiple of 2?
False
Let t(w) = -w**3 + 3*w**2 - 2*w + 3. Is t(-3) a multiple of 18?
False
Suppose -2*y + y = b, -y + 4*b = 0. Suppose y = -2*h - 16 - 8. Let d = 3 - h. Is 7 a factor of d?
False
Suppose 18 = 3*d + 3*x, x = -2*d - 3*x + 8. Is 2 a factor of d?
True
Let s(a) = 14*a**2 - a - 1. Let m = 1 - 1. Let p be (1/1 + m)/(-1). Is 14 a factor of s(p)?
True
Suppose 0 = -3*s + 4*s + 2. Let b be (-2)/(9/6 + s). Is 6/b*88/3 a multiple of 15?
False
Suppose 0 = -0*k - 3*k + 240. Does 16 divide k?
True
Suppose 26 + 79 = 3*n. Is n a multiple of 35?
True
Let w(d) = 3*d - 2. Suppose -1 = -h + n, 3*h = -h - 4*n + 20. Let l be w(h). Let x = 16 + l. Is 13 a factor of x?
False
Suppose 0 = 2*y - 4*w - 36, 2*w + 20 = -2*w. Suppose -y = -4*m, -2*u = -4*u + 4*m + 6. Does 3 divide u?
False
Let k(w) = w**2 - 2*w + 5. Is k(0) a multiple of 5?
True
Let h be (-2)/(-5) - 27/5. Let m be ((-72)/(-10))/(-3)*h. Let n = m - 1. Does 11 divide n?
True
Suppose -3*g + o = 4*o, -4*g = -5*o + 27. Does 22 divide ((-22)/3)/(1/g)?
True
Is 12 a factor of (123/9)/((-2)/(-6))?
False
Let b(t) = 2*t + 12. Does 22 divide b(5)?
True
Suppose -k + 13 = 4*b, 3*k = -0*b + 3*b - 6. Let j = 5 - b. Suppose 0 = -3*a - j*f + f + 121, a - f = 47. Is a a multiple of 21?
True
Let i(o) = -o + 2. Let c be i(-3). Suppose -c*k - 48 = 492. Let z = -61 - k. Does 12 divide z?
False
Let j = -116 + 189. Does 18 divide j?
False
Let j = 48 + -28. Let m = -43 - j. Let r = 105 + m. Is r a multiple of 21?
True
Let o(p) = 13*p**3 - 3*p**2 + 2*p - 1. Does 20 divide o(2)?
False
Let t(x) = -7*x**3 + 4*x**2 + 3*x - 4. Does 10 divide t(-2)?
False
Let r(p) = p**3 - 11*p**2 + 12*p - 7. Is 6 a factor of r(10)?
False
Suppose 3*b - 4*b + 28 = 0. Is 13 a factor of (b/6)/((-3)/(-9))?
False
Let u(i) = -i**2 - 7*i. Suppose 0 = 3*x - 0*x + 18. Is 5 a factor of u(x)?
False
Let d = 263 - 135. Does 11 divide d?
False
Let t(h) = h**2 + 7*h - 1. Let g be t(-5). Let w(d) = -4*d + 11. Is w(g) a multiple of 19?
False
Let g(d) = d**3 - 5*d**2 - 2. Suppose t - 5*s - 20 = -5, 3*s - 9 = -3*t. Let c be g(t). Let v = c + 24. Does 11 divide v?
True
Let w = -5 + 8. Suppose -w*m = -3*t + 48, 5*t + 28 = -m + 90. Is (t - 0) + 0 + -1 a multiple of 12?
True
Let t = -34 - -64. Suppose 4*g + t - 170 = 0. Is g a multiple of 11?
False
Let l = 13 + -8. Let j be ((-4)/10)/(l/25). Does 4 divide -4*(j + (-3)/12)?
False
Let s = -73 + 26. Let l = -29 - s. Is 18 a factor of l?
True
Suppose a - 10 = -4*a. Suppose 5 = 3*z - a*z. Suppose z*b - 85 = -0*b. Is 15 a factor of b?
False
Let t(c) = 2*c**2 - c + 1. Is t(4) a multiple of 6?
False
Let h(q) = q + 1. Is h(7) a multiple of 8?
True
Does 6 divide 3*((-24)/(-2) + -1)?
False
Suppose 173 = 6*u + 29. Does 22 divide 6/u + 175/4?
True
Suppose 3*l - 18 = 18. Does 12 divide l?
True
Let p(x) = -2*x + 13*x**2 + 3 - 3. Let y be p(3). Suppose -2*l = -4*j + l + y, -l = 5*j - 115. Is j a multiple of 12?
True
Let z = -4 - -10. Let x = 3 + z. Is 3 a factor of x?
True
Let w = 8 - 4. Suppose -w*p + 870 = q, 124 = p - 4*q - 102. Is 21 a factor of (-4)/18 - p/(-9)?
False
Let o be (-30)/4*(-120)/5. Suppose -4*w - 2*b - 2*b = -o, 0 = 2*b - 10. Suppose -3*x = -5*x + w. Is x a multiple of 13?
False
Is 18 a factor of 27*((-57)/(-9) + -3)?
True
Let i(o) = o - 6. Let l(a) = a - 7. Let k(d) = 2*i(d) - 3*l(d). Let h be k(0). Suppose -4*n + 8*n - 3*u = 36, h = n + u. Is 9 a factor of n?
True
Suppose 6*m = 5*m. Suppose -i - 21 + 71 = m. Is 25 a factor of i?
True
Let p be ((1 - 1) + 5)/1. Suppose 2*a - p*q + 8 = 0, 3*a + q - 16 = a. Suppose u + 4*h = 3*h + a, -4 = 4*h. Does 7 divide u?
True
Let u(p) = -p - 10. Let j be u(-12). Suppose 30 - 2 = 2*c - 2*s, -j*s + 8 = 0. Does 6 divide c?
True
Suppose -15 = -0*y - 5*y. Suppose 0 = -z + y*z + 5*g - 13, z - 12 = 3*g. Does 5 divide z?
False
Let u(s) = -2*s**2 + 4*s + 1. Let n be u(3). Let b(m) = -m**2 - 6*m - 5. Let g be b(n). Is 21 a factor of 36 + (-2 - -3) + g?
False
Suppose -4*f + 4*d - 16 = 0, 0*d + 3*d = 4*f + 14. Does 7 divide f/4 + 17/2?
False
Let w be (0 - 6)*3/(-9). Suppose 2*h - 116 = -w*h. Does 11 divide h?
False
Suppose 0 = 4*w - 4*b - 28, 0 - 2 = b. Suppose -3*t + 2*k = -121, 4*t + 38 = w*t - 3*k. Is 15 a factor of t?
False
Let r(q) be the first derivative of 3*q**2 - 9*q + 2. Does 17 divide r(10)?
True
Suppose 0 = 4*z + 12, 0*p + p + 2*z = 6. Is p a multiple of 3?
True
Is 6 a factor of (-9)/4*-1*64/12?
True
Suppose -5*f + 38 = -0*g - g, 20 = 2*f - 2*g. Suppose 5 = 4*b - f. Is b*(2 - 3)*-3 a multiple of 3?
True
Let f(r) = 3*r - 1. Let m(z) = 2*z - 1. Let x = -3 + 1. Let k(n) = x*f(n) + 5*m(n). Is k(2) a multiple of 4?
False
Suppose -35 = -2*w + l, 0 = 2*l - l + 1. Does 17 divide w?
True
Let f(j) = -4*j**3 - j**2 - 2*j. Does 16 divide f(-2)?
True
Let r(j) = -j**3 - j**2 + 3*j + 117. Does 13 divide r(0)?
True
Suppose 3*n = -2*p + 181, 1 - 3 = 2*p. Is n a multiple of 18?
False
Suppose -3*p + 3*l - 7*l + 1 = 0, 3*p - 4*l + 7 = 0. Let i be (-4 + 5 + -2)*p. Suppose 0 = -5*f + 9 + i. Is 2 a factor of f?
True
Let u(b) = b**2 - 4*b + 3. Let y be u(4). Let s be (708/8)/(y/4). Let j = -76 + s. Is j a multiple of 14?
True
Let l(k) be the second derivative of k**3/6 + 5*k**2 + 2*k. Let u be l(8). Let p = -6 + u. Is p a multiple of 5?
False
Let u(d) = -25*d + 3. Is u(-5) a multiple of 16?
True
Let q(v) = 4*v - 1. Is 9 a factor of q(11)?
False
Let d be (-2 - 21/(-9))*-3. Let c be d/3 + 962/6. Suppose 3*y - c = -2*y. Does 16 divide y?
True
Let i(g) be the second derivative of -1/12*g**4 + 0 + 1/10*g**5 + g - g**2 + 1/2*g**3. Is 9 a factor of i(2)?
False