= -2*r. Is 7 a factor of r?
True
Suppose 0*j - 8 = -3*a - 2*j, 0 = -a - 4*j - 14. Is 93/9 - (-4)/a a multiple of 11?
True
Suppose 0 + 8 = -2*f. Let h be (30/(-4))/(2/f). Let k = h - 8. Does 3 divide k?
False
Let a be 10/15*(-234)/(-4). Does 11 divide ((-45)/(-2))/(a/52)?
False
Let s(g) = 2*g - 3. Let o(z) = 3*z - 5. Let n(d) = -5*o(d) + 8*s(d). Is 3 a factor of n(6)?
False
Let f(w) = -w**2 - 12*w - 5. Suppose -2 - 2 = -4*t. Let k be (-87)/12 + t/4. Is 14 a factor of f(k)?
False
Let p be 2/7 - 6/21. Suppose p = -2*k + k - 2. Is (1 - -65)*k/(-6) a multiple of 16?
False
Let a(g) = -g**3 + 16. Is 3 a factor of a(0)?
False
Let p = 63 + 59. Is p a multiple of 17?
False
Let k = 5 - 9. Let o be 21 + (1*4)/2. Let h = k + o. Is 9 a factor of h?
False
Is 4/24 + 826/12 a multiple of 23?
True
Suppose -163 = -2*l - 57. Is 12 a factor of l?
False
Let u(p) = 20*p + 5. Let c(h) = -h + 1. Let v(r) = 4*c(r) - u(r). Is 11 a factor of v(-1)?
False
Let a be 567/15 - 1/(-5). Suppose -3*u - 8 = -z - 53, -4*z = -u + 26. Suppose u + a = 4*n. Is n a multiple of 9?
False
Suppose -94 = 5*l - 2*m + 26, -m = -l - 24. Is 13 a factor of 4*(-2)/(l/39)?
True
Suppose -20 = -3*f - 2*f. Is f even?
True
Is 4 a factor of 7/(-7) + (17 - 1)*1?
False
Let a be 4/1 - (-12)/(-3). Let u(p) = p**3 - p + 61. Is u(a) a multiple of 23?
False
Let d(g) be the second derivative of 0 - 1/20*g**5 + 2/3*g**3 + 7/2*g**2 + g - 1/3*g**4. Is d(-5) a multiple of 10?
False
Suppose 6*d = 10*d - 216. Suppose t - 5*y = 16, 3*t - d = 4*y - 6. Does 8 divide t?
True
Let m(v) = -19*v + 1. Is m(-1) a multiple of 20?
True
Is 13 a factor of (-1)/((-3)/468*2)?
True
Let c(f) be the second derivative of -2*f**3 - f**2 - f. Is c(-2) a multiple of 11?
True
Let l(m) = 4*m**2 + 6*m + 4. Does 16 divide l(-5)?
False
Suppose 18 = 4*t + t - 4*i, -t + 4*i + 10 = 0. Suppose -5*d + 30 = -t*d. Is 4 a factor of d?
False
Let r(x) = x**2 + 2*x - 3. Let i be r(4). Suppose -n - i = -2*h - 69, 276 = 5*n + 2*h. Does 18 divide n?
True
Suppose -54 = 3*n - 171. Is 5 a factor of n?
False
Suppose 0 = -0*k - k. Suppose o + 2*o - 90 = k. Does 15 divide o?
True
Suppose 2 = -2*s - 10. Let t(p) = p**3 + 10*p**2 - p + 6. Let a be t(s). Suppose -a = -5*j + 2*j. Is 18 a factor of j?
False
Let c = 47 + -26. Suppose c + 0 = 3*l. Is 7 a factor of l?
True
Suppose 0 = 6*f - 395 + 35. Does 11 divide f?
False
Let a(l) be the second derivative of l**7/2520 - l**6/90 - l**5/20 + l**4/4 - 4*l. Let k(i) be the third derivative of a(i). Does 3 divide k(9)?
True
Let z = -29 - -44. Does 7 divide (2 - (5 + -2)) + z?
True
Let k be 83 + 2 + 0 + 1. Suppose 2*n = 4 - 2. Suppose 3*b - 4*h - k = 0, -1 = h + n. Is b a multiple of 26?
True
Suppose 4*s - 2 = 14. Suppose 0 = -s*y + z + 24, z - 6 = -y + 3*z. Does 5 divide y?
False
Suppose -4*t = 2*v + 3 + 17, 2*t = -10. Let w(d) = -d**2 + d + 113. Let n be w(v). Suppose 5*u - n = 17. Is u a multiple of 13?
True
Suppose -4*o - 118 = d + o, 4*o + 506 = -5*d. Let q = d - -164. Is 26 a factor of q?
False
Let q = -54 + 10. Let r = q - -113. Suppose g + 2*g - r = 0. Is g a multiple of 18?
False
Suppose 0*u - 2*u = -18. Suppose -2*y + 41 = -u. Is y a multiple of 12?
False
Suppose -7*g + 288 = -3*g. Does 18 divide g?
True
Let l(i) = -7*i**3 + i**2 + 2*i. Let w be l(-2). Let s = w - 32. Is 12 a factor of s?
True
Let i(z) = 29*z. Let w be i(1). Suppose w = -2*p - k, p - 3*k + 7 + 4 = 0. Let n = p + 29. Is n a multiple of 7?
False
Suppose 5*j = -p + 2*p - 67, -3*p = -j - 215. Suppose 2*m - 3*w - p = 0, 2*w - 59 = -2*m + 13. Does 18 divide m?
True
Suppose -4*a + 8 = 0, -t - a + 1 = -0*a. Does 23 divide (0 - t)/(2/46)?
True
Let s(v) = -v**2 + 11*v - 10. Let n be s(10). Suppose n = -3*q + 21 + 21. Does 7 divide q?
True
Suppose 5*b - 2*o - 5 = 0, b + 5*o - 31 = -3. Let k be (1 - (-1 + 1))*2. Suppose -b*y = -k*y - 13. Is 9 a factor of y?
False
Is 15 a factor of 665/15 + (-6)/(-9)?
True
Suppose 5*g - 2*s = 358, -5*g - 3*s + 389 - 26 = 0. Does 18 divide g?
True
Let x(t) be the second derivative of t**3/6 - t**2 - t. Let k be x(5). Suppose u + c = -3*c - 14, 3*c = -3*u + k. Is u a multiple of 3?
True
Is 31 a factor of ((-48)/(-30))/(-4) + (-302)/(-5)?
False
Does 14 divide 1995/9 + (-2)/(-6)?
False
Suppose 3*r = -4*u + 23 + 10, -r - 15 = -3*u. Suppose 0 = -f - f + u. Is 2 a factor of f?
False
Suppose -46*s + 49*s - 150 = 0. Is s a multiple of 19?
False
Let c be 1/3 - (-64)/(-3). Let n be (-52)/(-6)*6/4. Let a = n - c. Is 12 a factor of a?
False
Let x = 78 + -59. Is x a multiple of 19?
True
Suppose 0 = 2*v + 31 + 1. Let q = v - -51. Let p = q + -16. Does 8 divide p?
False
Let c be -26 + -1 - (2 + -1). Let z = 12 + -32. Let p = z - c. Is 8 a factor of p?
True
Suppose -4*x + 5 = b - 15, 0 = -3*b - 2*x + 80. Does 3 divide 16/(-6)*(-63)/b?
True
Let y(w) = 2*w**3 - 4*w**2 + 2*w + 2. Suppose 6*j - 6 = 3*j. Does 3 divide y(j)?
True
Suppose 0 = p - 0*p - 2*o - 112, 5*p = -5*o + 545. Is p a multiple of 6?
False
Let b(n) = 11*n + 59. Let f(d) = -7*d - 39. Let k(y) = -5*b(y) - 8*f(y). Is k(7) a multiple of 9?
False
Let j be (7 - 4)*2/(-6). Is j + -1 + -2 + 26 a multiple of 11?
True
Let n(j) be the second derivative of 35*j**3/6 - j**2/2 - 2*j. Let b = -8 + 9. Is 17 a factor of n(b)?
True
Let g(a) = -a + 8. Let r(q) = q**3 + 4*q**2 - 2. Let i be r(-2). Let c be g(i). Suppose n = -c + 8. Is 3 a factor of n?
True
Suppose -10*o + 21*o = 297. Is 27 a factor of o?
True
Let d(h) = h**2 + 10*h + 11. Let u be d(-7). Does 29 divide (65/u)/((-2)/20)?
False
Suppose 8*h + 1560 = 12*h. Does 39 divide h?
True
Suppose 2*s + 187 = 4*s + 3*z, 5*z = 5*s - 455. Let v = s + -140. Let g = -28 - v. Is 10 a factor of g?
True
Let p(d) = 35*d**2 - d. Let z be p(1). Let t = z - 18. Is t a multiple of 8?
True
Let i be (-5 - -1)*210/(-4). Suppose -x - x - 4*q + i = 0, -2*x + 210 = -5*q. Suppose 16 = 4*v, -4*t - 4*v + 51 = -x. Is 16 a factor of t?
False
Suppose -b = 4 - 3. Let j(d) = -75*d. Let q be j(b). Suppose 3*c - q = -0*c. Is 10 a factor of c?
False
Let c = 26 + -18. Suppose 3*t = 15 - 3. Let r = c - t. Does 4 divide r?
True
Let x(m) = 6*m - 12. Is 36 a factor of x(8)?
True
Is 14 a factor of (-128)/(-3) - (40/15)/4?
True
Suppose 2*k + 3 + 41 = 0. Let s = -18 - k. Is s a multiple of 4?
True
Let j = -9 + 12. Let x = 0 + j. Suppose u + x*u = 64. Does 8 divide u?
True
Let r(b) = -4*b - 6. Let t be r(-7). Let o = t + -2. Does 10 divide o?
True
Suppose -m - 18 = -3*m + 2*c, -76 = -4*m - 4*c. Is 5 a factor of m?
False
Is 42 + 4*(-1)/(-2) a multiple of 28?
False
Suppose 3*n = -2*n + 20, 4*i + 4*n = 304. Does 12 divide i?
True
Let i = -6 - -10. Suppose 27 = 3*t - 4*u, -i*t - 5*u + 2*u = -11. Does 4 divide t?
False
Let m(d) = d + 6. Let w be m(0). Suppose g = 2*g - w. Suppose -g*r + 72 = -2*r. Is r a multiple of 9?
True
Let a = 3 - -19. Suppose 11 + a = 3*n. Is 11 a factor of n?
True
Let w(y) = 2*y**2 + 2*y + 3. Suppose 0*h + h = 2. Suppose 4*r + 13 = -5*c, -2*c + 5*c = -h*r - 7. Is w(r) a multiple of 3?
False
Let d(f) be the second derivative of f**5/5 - f**4/3 + f**3/2 - f**2/2 + 3*f. Does 9 divide d(2)?
False
Suppose -3*f - 15 = -0*q - q, f = q - 5. Suppose q = k - 3*k + 26. Let h = k - 7. Is h a multiple of 3?
True
Let t(g) = -4*g**3 + 3*g**2 + 8*g - 33. Let q(j) = -j**3 + j**2 + 2*j - 8. Let d(o) = -9*q(o) + 2*t(o). Does 7 divide d(4)?
True
Let d(o) = o**3 - 4*o**2 + o - 4. Let j(a) = -a + 5. Let f be j(0). Does 13 divide d(f)?
True
Suppose 0 = 3*i + i + 24. Does 16 divide ((-432)/i)/((-3)/(-2))?
True
Does 10 divide (6/(-9))/(1/(-15))?
True
Let y be 1 + 0 + 2 + 0. Suppose -5*g + 3*c - 13 = 44, -2*g - y*c = 6. Let s = 17 - g. Does 13 divide s?
True
Let b(j) = j**2 - 5*j + 4. Is 4 a factor of b(6)?
False
Let l(b) = 9*b + 7. Suppose -19 + 1 = 3*t. Let g(w) = -17*w - 13. Let v(x) = t*g(x) - 11*l(x). Is v(1) a multiple of 3?
False
Let p(l) = 16*l**3 - l**2 + 2*l - 1. Let t(g) = -g**2 - 5*g + 7. Let x = -11 + 5. Let v be t(x). Is 12 a factor of p(v)?
False
Let t(a) = -14*a - 1. Let b(z) = -13*z - 1. Let l(x) = 6*b(x) - 5*t(x). Is 10 a factor of l(-4)?
False
Let g = 35 - -12. Does 8 divide g?
False
Suppose 3*r - 126 = -2*r - l, -5*l = -2*r + 72. Is 13 a factor of r?
True
Let y(b) = -b**2 + 8*b + 5. Let x be y(4). Let f = 15 + -11. Let d = x - f. Is 10 a factor of d?
False
Let m = 6 - -1