+ v*j = 64. Is 7 a factor of d?
True
Suppose -5600 = -2*p - 3*p + f, -p = 5*f - 1146. Does 15 divide p?
False
Suppose 18*p - 115 = 2063. Does 3 divide p?
False
Let o be (7 + -3)/(-4) + 2. Let v(d) = -4*d**2 - d**3 - 10 + 4*d + 13 + o. Is 3 a factor of v(-5)?
True
Suppose -5*w = -4*v + 25, -w = v + 3*v + 5. Suppose -11*l + 1301 - 201 = v. Does 20 divide l?
True
Suppose -2*q + 9 = 1. Suppose -i - 31 = -5*a, q*i = -2*a + 7 + 23. Is 7 a factor of a?
True
Suppose -485*c - 4255 = -490*c. Does 39 divide c?
False
Let k = -273 - -625. Is 44 a factor of k?
True
Let r(m) = 16*m + 5. Let a = -3 - -6. Let w be r(a). Let i = w - 34. Is i a multiple of 12?
False
Suppose 15*z - 20 = 5*z. Let p(h) = 27*h**3 + h**2 - 3*h - 3. Is 36 a factor of p(z)?
False
Suppose -25 = -4*f - 5. Let z(g) = 136*g - 2. Let j be z(1). Suppose 0 = f*n - 96 - j. Does 23 divide n?
True
Does 71 divide 13554*(-5 - 16/(-3))?
False
Is 6 a factor of 43/2*108/27?
False
Let h(p) = -13*p - 20. Let s(n) = -n - 1. Let u(t) = h(t) - 6*s(t). Does 14 divide u(-16)?
True
Suppose -3*k - 9 = 0, -7*g + 239 = -6*g + 5*k. Does 9 divide g?
False
Let w be 20/((3 + 1)/8). Suppose -5*m + m = -w. Does 9 divide m?
False
Let q = -1 + 3. Suppose c - 2*l - 1 = 1, c = l + q. Suppose -c*p = -0*o - 4*o - 114, -3*o = -2*p + 119. Is p a multiple of 28?
False
Does 5 divide (84/(-24))/((-2)/140)?
True
Suppose 0 = 18*q - 15*q - 249. Let x = q - 56. Does 15 divide x?
False
Suppose -241*n = -253*n + 2220. Is 4 a factor of n?
False
Is (197/(-2))/(-2 - 66/(-44)) a multiple of 18?
False
Does 19 divide -4*(-371)/14 + 8?
True
Let c(v) = -7*v**3 + 7*v**2 + 5*v - 17. Let f(o) = -11*o**3 + 11*o**2 + 8*o - 26. Let r(j) = -8*c(j) + 5*f(j). Is r(0) even?
True
Suppose -26*b + 31*b = 65. Let k = 97 - b. Is 14 a factor of k?
True
Is 37 a factor of (2268/168)/((-2)/(-148))?
True
Let n = -19 + 23. Let q(m) = 3*m**3 + m**2 - 5*m. Let d(t) = 4*t**3 - 6*t + 1. Let s(i) = -4*d(i) + 5*q(i). Is s(n) a multiple of 8?
True
Let x(z) = -z**3 - 5*z**2 + 5. Let c be x(-7). Is 26 a factor of c + (3 - 0) + -2?
True
Let b(w) = -19*w**2 + w - 4. Let d be b(3). Does 40 divide (2 - d) + 2 + -1?
False
Let b = 13 + -25. Is (92/(-6))/(b/18) a multiple of 6?
False
Let r = -1362 - -2205. Is 32 a factor of r?
False
Let g(v) = -745*v - 37. Does 11 divide g(-2)?
False
Suppose 4*z = -2*y + 352, -86 + 513 = 5*z - 4*y. Suppose -20*f + z = -19*f. Is f a multiple of 29?
True
Let j(o) = o**2 + 7*o - 6. Suppose -2*x + 3*q = -0*q - 20, -4*q - 8 = 0. Suppose -3*p = 2*y - 12 - 9, -4*y + x = -p. Is j(p) a multiple of 18?
True
Suppose -4*n - n + 150 = 0. Suppose b - 17 = 5*o, 2*b - o - 82 = -n. Let q = b + -14. Is q a multiple of 10?
False
Let s be 2/15*5*801. Let o be s/18 - 3/(-9). Is 4*3/o*75 a multiple of 10?
True
Suppose -4*o - 1587 = -5*c, -c = -3*o - 221 - 103. Suppose 7*m - c = 2*m. Is 8 a factor of m?
False
Let f(m) = 10*m - 68. Let r be f(5). Is -98*45/r - (0 + 0) a multiple of 49?
True
Let h(i) = -27*i - 688. Is h(-45) a multiple of 18?
False
Suppose 2*o = 6*o + 4, 5*o = -5*s + 70. Does 3 divide s?
True
Let z(l) = 4*l**2 - l. Let p be z(-1). Suppose -p*v - 5*j = -25, -4*j - 32 = -2*v + 2. Suppose 39 - v = 5*x. Is 4 a factor of x?
False
Let p = 35 - 39. Let d(n) = 3*n**2 - 5*n - 2. Does 32 divide d(p)?
False
Let s be 78/36 - (-2)/(-12). Suppose -a = w + s*a - 2253, 3*w + 2*a - 6766 = 0. Does 29 divide 3/1 - w/(-16)?
False
Suppose 0 = 12*u - 3329 - 775. Does 33 divide u?
False
Let g(l) = 0 + 3 - 18 + 3*l + 5. Let p be g(4). Does 12 divide (p/4)/((-3)/(-84))?
False
Let h(k) = 43 - 4*k - 52 - k**2 + 3*k**2. Is h(-5) a multiple of 16?
False
Suppose -148 = -4*u + 2*a + 84, -3*u - a + 179 = 0. Suppose w + 1 + 31 = 0. Let r = w + u. Does 6 divide r?
False
Let r(d) be the first derivative of d**3/3 - d**2/2 - 2*d - 3. Let v be -1 - (-1 + 4 + 0). Is 3 a factor of r(v)?
True
Let a(s) = 2*s**2 - 3*s - 4. Let x be a(3). Suppose 2*z - 6 = 5*l, 3*l - 6*z = -z + 4. Let v = l + x. Is v even?
False
Let r(b) = -2*b**2 + 5*b - 12 + 8*b**2 + 8*b - 7*b**2. Is r(5) a multiple of 3?
False
Let z be (0 + -1)*1 + 3. Suppose -5*a = 3*b - 47, z*b - a = 6*b - 57. Is b a multiple of 7?
True
Let w(t) = -t**3 + 10*t**2 - 6*t + 8. Let x be w(11). Let q = x - -94. Does 25 divide (-6)/(-5)*q/(-2)?
False
Let z(q) = 4 + 1 - 3*q + q - q. Suppose u = -2*u - 15. Is z(u) a multiple of 10?
True
Let f = 629 + -560. Is f a multiple of 14?
False
Suppose 2*p - 3*p = 0. Suppose 0 = -p*a - 2*a + 52. Suppose -a - 106 = -4*o. Does 22 divide o?
False
Let z(b) = 1811*b**2 - b - 8. Does 55 divide z(-1)?
False
Let l(d) = d**2 - 31*d - 6. Let i be l(31). Let w(h) = -h + 8 + h**3 + 3*h - 8*h + 5*h**2. Is w(i) a multiple of 8?
True
Suppose -2*i - 39 = f, -4*f + 4*i = 45 + 87. Let c = -91 - f. Is ((-2)/(-4))/((-2)/c) a multiple of 14?
True
Let g(y) = 41*y**2 + 106*y - 7. Is g(7) a multiple of 14?
True
Suppose 1083 = 4*r + a, 2*r + 8*a = 13*a + 525. Is 18 a factor of r?
True
Let k = 1186 + -654. Does 7 divide k?
True
Let u(d) = 7*d + 1. Suppose -27 = 5*q - 4*n, 0 = -2*q + 6*n - n - 4. Let r be 24/3 + q + 4. Does 12 divide u(r)?
True
Let h be (-19)/(-10) - 11/(-110). Suppose -v = -4*w + 607, 4*w = 2*v - 42 + 652. Suppose -h*f - 4*j = -3*f + 34, -j = -5*f + w. Is 10 a factor of f?
True
Suppose -18 = 3*f - 33. Suppose 0*w - f*w = 2*x - 489, 5*x + w = 1165. Does 13 divide x?
False
Suppose 4*g + 4*u = 2100 - 112, 4*g = 4*u + 1972. Is 55 a factor of g?
True
Let y(x) be the third derivative of x**6/120 - x**5/15 + 7*x**4/24 + x**3/6 - 8*x**2. Does 5 divide y(3)?
False
Let s = -137 - -204. Let v = s - 38. Suppose -k + 25 = -v. Does 18 divide k?
True
Suppose h = -5*w + 14 + 208, 820 = 4*h + 3*w. Does 7 divide h?
False
Let i = -6 - 11. Let q = 20 + i. Suppose -2*o - 36 = -q*o. Is o a multiple of 9?
True
Suppose 328 = -2*k + 2*v, 2*k - 4*v - 499 = 5*k. Let g = -78 - k. Is g a multiple of 8?
False
Let j be (-70)/20*24/(-14). Let o(h) = -h**3 + 8*h**2 + 2*h. Is 14 a factor of o(j)?
True
Suppose 2*x - 4*x - 3*j = -11, 0 = -2*x - 4*j + 10. Suppose x*g - 385 - 35 = 0. Is 10 a factor of g?
True
Does 10 divide (0 - -1509)/3*(-7)/(-7)?
False
Suppose x = -6 - 16. Let u = x - -27. Let m(p) = -p + 10. Is m(u) even?
False
Let j(u) = u**3 - 7*u**2 + 4*u - 6. Let x(n) = 44*n. Let h be x(1). Suppose h = 5*d - 3*o, -6*d - 4*o + 9 = -3*d. Is j(d) a multiple of 8?
False
Let a(y) = 480*y - 135. Is a(9) a multiple of 31?
True
Let t(b) = 2*b**2 + 7*b - 24. Let r be t(15). Suppose 6*z - r + 21 = 0. Is 10 a factor of z?
False
Let m be (10/(-1))/((-4)/10). Let g = 37 - m. Is g a multiple of 4?
True
Does 43 divide 5 - ((-24)/(-18))/(6/(-4041))?
True
Suppose 167 = -3*c - 4*d, c - d + 14 + 30 = 0. Let m = -29 - c. Suppose 4*i = -2*s + 2 + m, 0 = 3*s + 5*i - 38. Does 8 divide s?
False
Let p(w) = -w**2 + 9*w - 4. Let s(t) = 8*t + 7. Let v(y) = -7*y - 6. Let n(z) = -6*s(z) - 7*v(z). Let q be n(7). Does 6 divide p(q)?
False
Suppose -31 = 4*t - n, n - 25 = 6*n. Let l(v) = -v + 11. Is l(t) a multiple of 20?
True
Let k(j) = 19*j**2 + j - 28. Is k(3) a multiple of 39?
False
Let l(x) = -36*x + 61. Does 19 divide l(-2)?
True
Is (9/((-135)/(-50)))/((-3)/(-162)) a multiple of 3?
True
Let g(n) = n**2 - n. Let f(b) = -b**3 - 2*b**2 - 15*b - 4. Let i(y) = f(y) - 3*g(y). Is i(-4) a multiple of 4?
True
Suppose -13*q = -3042 - 8970. Is 11 a factor of q?
True
Suppose 4*m - 30 = 118. Let b = 1 - -3. Suppose l + 2*s - m = 6*s, b*s = 2*l - 94. Does 19 divide l?
True
Suppose 0 = -c + 3 - 1. Suppose 2*u - 23 = -5*m, 0 = -2*u - c*u + m + 13. Is 39 a factor of 11*u + (-1 - -2)?
False
Let g = -90 + 92. Suppose 0 = -g*q - q + 819. Is 54 a factor of q?
False
Let y(m) be the second derivative of -22*m**3/3 - m**2/2 - 14*m. Does 29 divide y(-2)?
True
Suppose 0 = -5*o - 5*d + 485, o - 2*d + 0*d = 109. Suppose -3*h + 3*t + 61 - 4 = 0, -4*h + o = t. Is 5 a factor of h?
False
Suppose 6*z = 62 - 14. Let q be ((-20)/(-8) + 1)*z. Suppose f - q = -4. Does 12 divide f?
True
Suppose -s = -4*s. Suppose -5*q + 10*q = s. Suppose 0*j = 5*j - 10, -3*g + 4*j + 58 = q. Is g a multiple of 3?
False
Let w = -97 + 163. Does 4 divide (w/(-8) - 0)*-4?
False
Suppose -9*a - 392 = -a. Let r = a + 87. Is r a multiple of 3?
False
Does 33 divide 88486/151*10/4?
False
Suppose 667 = 5*n - 4*p + 62, 5*n + 3*p = 640.