e 30*g - 459 = 27*g. Does 3 divide g?
True
Let m(l) = -3*l**3 - 6*l**2 - 6*l. Let f be m(-6). Let b = f + -241. Let y = -158 + b. Is 23 a factor of y?
True
Let x(m) = 46*m + 2. Is 21 a factor of x(3)?
False
Does 25 divide 19*18/1368 - 12030/(-8)?
False
Let k be (-48)/(-36) + (-40)/(-6). Is 6531/84 + 2/k a multiple of 26?
True
Suppose -5*a + 1 = 4*z - 3, -22 = -5*z - 2*a. Is 6 a factor of z?
True
Let q = -3353 - -5225. Suppose 5*h = -h + q. Is 24 a factor of h?
True
Let z(s) = -s**3 - s. Let g(k) = 5*k**3 - 11*k**2 + 14*k - 1. Let v(q) = -g(q) - 4*z(q). Let l be v(10). Suppose -3*o - l + 97 = 0. Is o a multiple of 13?
False
Suppose 2*w + 634 = 4*i, i = 3*w + 69 + 102. Let v(h) = h**2 + h - 2. Let g be v(1). Suppose g = -a - a + i. Does 13 divide a?
True
Let a(s) = s + 2. Let j be a(-2). Suppose 5*t + 215 = 5*d, -2*d + 8 = -j. Let w = t - -73. Does 17 divide w?
True
Suppose 9 = -i - 51. Is (-4)/5 + (-12528)/i a multiple of 15?
False
Does 23 divide -14*(-4)/28*1226/4?
False
Let w(k) = -k**3 + 9*k**2 + 2*k - 2. Suppose 17*p = 22*p - 45. Is 12 a factor of w(p)?
False
Let j(x) = -3*x + 4. Let k be j(1). Does 10 divide -53*(0 - (-2 + 3)) - k?
False
Suppose -s = -3*j - 560, 4*s - 2*j - 1499 = 741. Is s a multiple of 8?
True
Let f(l) = -2*l**3 + 6*l**2 + 12*l - 14. Does 2 divide f(4)?
True
Suppose 0 = 2*k - 19 - 1. Let w = k - 16. Let h = 13 + w. Is h a multiple of 7?
True
Suppose -2*f + 5*w = -41, -4*f + 4*w = -26 - 26. Suppose 2274 = f*n + 354. Is 12 a factor of n?
True
Let j(y) be the first derivative of y**4/4 - 16*y**3/3 + 7*y**2/2 + 2*y + 7. Is j(16) a multiple of 19?
True
Suppose -3*m + v = 30, 0*m - 5*v - 50 = 5*m. Let h be (-245)/m - 1/(-2). Suppose 5*s = -5 + h, 0 = -w - 2*s + 29. Does 7 divide w?
True
Let x = 2 + 68. Suppose 8*t = 3*t + x. Is 14 a factor of t?
True
Let f = -95 + 173. Suppose f = -4*w - 66. Let d = -21 - w. Is 15 a factor of d?
True
Let p = 44 - -36. Let j = -38 + p. Is j a multiple of 21?
True
Let x = 149 - 136. Is 13 a factor of x?
True
Let p(a) = -13*a + 2. Let m(o) = -1. Let c(y) = -4*m(y) + p(y). Is 12 a factor of c(-4)?
False
Let g = -891 - -1370. Suppose -5*l = -g + 94. Is l a multiple of 11?
True
Suppose 4*l + 4*o - 8876 = 0, 23*o - 18*o = -4*l + 8876. Is l a multiple of 20?
False
Let x(c) = 83*c**3 - 2*c**2 - c. Is 34 a factor of x(2)?
False
Let u(k) = -k + 6. Let q be u(-14). Let v = q + -23. Is 6 a factor of 18/(v/12*-3)?
True
Suppose -3*w + 3*s = 1047, 3*s - 5 = -2. Let k = w + 520. Is k a multiple of 43?
True
Suppose 7*p - 65 = 2*p. Suppose -4*a + 30 = -5*m, -5*m - p - 2 = -a. Let t = m + 4. Is 2 a factor of t?
True
Suppose 0*x = -4*x - 20, 5*g + 4*x - 15 = 0. Suppose u - 14 = z, 5*z - g = 3. Does 8 divide u?
True
Suppose -5*c = -4*c - 148. Suppose -5*r + 259 = 4*o - c, 5*o = 2*r + 517. Is o a multiple of 5?
False
Suppose 0 = -4*j + 8, -j + 48 = -4*x - 5*j. Let r(h) = h**3 + 5*h**2 - h + 6. Let s be r(-4). Let w = x + s. Does 8 divide w?
False
Let s(n) = n**2 + 30*n + 220. Is 2 a factor of s(-9)?
False
Let a = 0 - -16. Suppose -s = 3*s - a, 4*w - 100 = 3*s. Is 3 a factor of w?
False
Let f(s) = -12*s**3 + s**2 + 3*s + 5. Let t(h) = 4*h**3 - h - 2. Let y(g) = -3*f(g) - 8*t(g). Let i be 1/2*(1 + 5). Is 22 a factor of y(i)?
False
Let q(u) be the first derivative of -u**4/4 + 3*u**3 + 3*u**2 - 5*u - 4. Is q(7) a multiple of 27?
True
Suppose 8*y = -y + 27. Does 9 divide (-223)/(-5) - (y + (-34)/10)?
True
Is 40 a factor of (559 - (0 - 1)) + 0?
True
Let o = 1024 + -618. Is 12 a factor of o?
False
Let c(a) = a + 7. Let j be c(0). Let x(h) = h + 13. Does 4 divide x(j)?
True
Suppose 0 = 17*p - 18*p - 1. Is 10 a factor of (p - -1)/(-1) - (-630)/10?
False
Does 6 divide ((-9)/(-12))/(-6 + 31591/5264)?
True
Suppose 0 = 4*g - 60 - 24. Does 10 divide g?
False
Let n(u) = 223*u - 1. Is 16 a factor of n(1)?
False
Suppose -m - 5*s + 325 = 0, 3*m = 2*s + 3*s + 1015. Does 10 divide m?
False
Suppose -2*o = 3*o + 5*x - 235, -2*x - 102 = -2*o. Suppose 0*j - o = -j. Does 4 divide j?
False
Let d(p) = p**3 - 8*p**2 - 7*p + 9. Let k be d(9). Let n = k - -2. Suppose -3*g + 4*o + 0*o + 28 = 0, -3*g = -5*o - n. Is 8 a factor of g?
True
Suppose 63 = -3*o + 4*n, -2 = -o - 2*n - 13. Let m(l) = 22*l - 20. Let q be m(4). Let x = o + q. Does 17 divide x?
True
Let o = -14 - -19. Suppose -3*i - 23 = -4*b - 885, 25 = o*b. Does 44 divide i?
False
Suppose -20*x = 2*x - 1870. Is x a multiple of 41?
False
Let u(q) = -q**2 - 18*q - 4. Let v be u(-17). Suppose 0 = -v*g - 353 + 2810. Is 18 a factor of g?
False
Is (2144/(-48))/(2/(-3)) a multiple of 8?
False
Suppose -27*q + 30*q - 7899 = 0. Is q a multiple of 13?
False
Let g(q) = q + 2. Let b be g(-5). Let f be 2 - (b + 6) - -4. Suppose -4*a = -f*a - 11. Is a a multiple of 8?
False
Suppose 2*k = -4 + 784. Is 8 a factor of k?
False
Let r = 18 + -12. Let h(n) = 1 + r*n - 15 - 1. Does 27 divide h(7)?
True
Let v(m) = -m**3 - 3*m**2 + 2*m - 5. Let p be v(-4). Suppose -2*f - p*f = -310. Does 19 divide f?
False
Let y = -128 + 320. Suppose -128 = q - 5*w, 2*w - 7*w + 497 = -4*q. Let v = q + y. Is v a multiple of 12?
False
Let p(t) = 10*t - 128. Is 10 a factor of p(14)?
False
Suppose 5*n - b - 2*b = 2863, 0 = 3*b + 3. Does 13 divide n?
True
Let q(w) = w**2 + w - 2. Let z be q(2). Suppose s + 2*y - y = 33, -132 = -z*s + 3*y. Is 11 a factor of s?
True
Let i = -143 + 188. Is 8 a factor of i?
False
Suppose 3*n - 453 = 3*u, 0 = 2*n + 3*u - 128 - 159. Is n a multiple of 37?
True
Suppose 0 = -5*a + 4*f + 802, -f + 160 = a - 2*f. Does 6 divide a?
True
Is 5 a factor of 6/(-18)*0 - -17?
False
Suppose -4*m - 2*s - 121 = s, -5*s = -25. Let t = m - -48. Is 9 a factor of t?
False
Suppose -3*b = -2*d + 2 + 11, 24 = d + 2*b. Let x = d + -8. Let z = 13 - x. Is z even?
False
Let v = 73 - 0. Suppose v = 5*k - 97. Is 9 a factor of k?
False
Let w be (17 - 5) + 0 + 0. Let p be -1 - ((-4)/2 - -1). Suppose -3*g + 53 = 2*r + w, p = r + g - 19. Does 8 divide r?
True
Let n = 21 + 351. Suppose -2*h + 156 = -4*d - 24, n = 4*h - 2*d. Is 25 a factor of h?
False
Suppose 28 = t - 2*q, 20 = t + q - 20. Suppose -t = 8*c - 11*c. Is c a multiple of 6?
True
Suppose 15*h = -3*k + 10*h + 388, 116 = k - h. Does 111 divide k?
False
Suppose -3*x = -71 + 62. Suppose u + 453 = 5*r, -8*r + 4*r - x*u + 370 = 0. Is 10 a factor of r?
False
Let z be 2/(-10)*-1 - 58/(-10). Suppose 40 = 2*v + q - z, 5*v - 3*q - 104 = 0. Does 19 divide v?
False
Let j(z) = -z**3 - 5*z**2 - 2*z + 8. Suppose -3*m - 12 = 0, 2*m + 0 + 28 = -4*h. Does 6 divide j(h)?
True
Let y(n) = 13*n**3 + 4*n**2 - 7*n + 6. Is y(2) a multiple of 16?
True
Suppose 7*x + 693 + 371 = 0. Let y = x - -248. Does 12 divide y?
True
Let v(x) = -x**3 + 16*x**2 - 13*x + 24. Is 18 a factor of v(14)?
True
Suppose 24*i - 20*i = -16. Does 22 divide i - (-50 - (0 - 2))?
True
Let z be (0/(-1))/((-6)/3). Is 3 a factor of (-1)/(-4)*z + 11?
False
Suppose 11 - 44 = -3*v. Suppose -10*j - 6 = -v*j. Does 4 divide j?
False
Let t = -1219 - -2386. Is t a multiple of 8?
False
Let q(z) = z**3 + 25*z**2 - 25*z + 28. Let w be q(-26). Let y(d) be the second derivative of 5*d**3/6 + d**2 + d. Does 12 divide y(w)?
True
Suppose -25*o + 4707 = -1668. Is 5 a factor of o?
True
Let p be 18/(-3)*(-3)/9. Suppose -3*y - 7 = p. Is 30 a factor of 203/3 + 2/y?
False
Let u = -13 + 11. Let s be 1/(u/(4 - 106)). Suppose -57 - s = -2*d. Is 9 a factor of d?
True
Is (-522 + 0)*17/(-34) a multiple of 16?
False
Let l = -89 + 272. Is 61 a factor of l?
True
Suppose -4*h = 20, -4*q = -5*h - 55 + 206. Is 0 + (3 - q) - 2 a multiple of 15?
True
Suppose 0 = 9*x - 13*x + 4*n + 576, -3*x + 447 = 2*n. Is x a multiple of 6?
False
Let i = 11 + -2. Let u = 0 - -1. Let f = i - u. Does 8 divide f?
True
Suppose 0 = -5*y - 4*f + 880, 4*y - 745 = f + 4*f. Let a = 0 + y. Is a a multiple of 18?
True
Let m be (0 + (-1)/2)/(16/288). Does 9 divide (-12)/m*243/18?
True
Let p(g) be the second derivative of -g**3 + 3*g**2 + 2*g. Suppose -2*h + 39 = 49. Does 10 divide p(h)?
False
Let h = -2 + 4. Suppose -h*q + 6 = q. Suppose -q*p - p = -81. Is 9 a factor of p?
True
Suppose -24 = 2*l - 3*l. Let c be 16/l + (-20)/(-6). Suppose -75 = -c*d - d. Does 15 divide d?
True
Let y be 0 + (-2)/(5/(-5)). Let x(b) = 25*b - 6. Is x(y) a multiple of 11?
True
Suppose -4*b = -93 + 17. Let s = -16 + b. S