1. Suppose n*d = 53*d - 35. Is 5 a factor of d?
True
Let f(u) = u + 7. Let a be f(-9). Is (-1 - (-2)/14)/(a/42) a multiple of 9?
True
Suppose 3*c - 50 = -5*v + 25, 95 = 5*v - c. Suppose 4*m - 4*t = 46 + v, -m + 15 = -2*t. Is m a multiple of 17?
True
Let t(h) = 14*h**2 - 2 - 5*h + 4*h**3 - 4 - 5*h**3 - 2*h**2. Is t(11) a multiple of 20?
True
Let b = -9 + 13. Suppose 2*o + w - 42 = b*o, w = 0. Is 12/(-42) - 153/o a multiple of 2?
False
Let m be ((-9)/(-2))/(-9)*0. Suppose m*u - 15 = -3*u. Is u a multiple of 4?
False
Suppose -l = -4*v + 1593, 2*v + 5*l - 646 - 145 = 0. Does 2 divide v?
True
Suppose 3*v + v - 2*z = 58, -2*z + 86 = 5*v. Is (-3)/3*4*(-180)/v a multiple of 9?
True
Let y(d) = -7*d**3 - 31*d**2 - 7*d + 28. Let m(n) = -3*n**3 - 15*n**2 - 3*n + 14. Let u(r) = 5*m(r) - 2*y(r). Let k be u(-13). Is 10 a factor of k + 12/(4/1)?
True
Suppose -1 = 3*p + 32. Let v be 40/22 - 2/p. Suppose -12 = 2*r - 0*f - 5*f, v*f - 24 = -4*r. Is 4 a factor of r?
True
Let o = -103 + 103. Does 21 divide 2/(-13) + 17948/52 + o?
False
Suppose 4*d = 16*d - 2088. Suppose h - 195 = 5*g, -2*h + d = -4*g - 210. Does 41 divide h?
False
Let j be 349/(-5) - 2/10. Let d = j + 110. Is 20 a factor of d?
True
Suppose 3*v + 182 = -2*p, 2*v - 254 - 32 = 3*p. Let m = -52 - p. Is m/2 - (-2)/2 a multiple of 15?
False
Let y(x) = x**2 - 3*x + 540. Is 15 a factor of y(0)?
True
Let f = -28 + 61. Let n = f - 28. Does 2 divide n?
False
Let b(o) = 2*o**2 - 5*o + 8. Let r be b(8). Let v = 177 - r. Is 9 a factor of v?
True
Suppose -18*u = 118 + 8. Does 10 divide 10*(-8)/28*u?
True
Let q(d) be the first derivative of d**4/4 + 49*d - 9. Is q(0) a multiple of 14?
False
Let k(x) = -15*x + 6. Let f(z) = 7*z - 3. Let o(a) = 13*f(a) + 6*k(a). Let w be o(0). Is 11 a factor of w - (-1 - 4) - -31?
True
Suppose -4*m = -2*r, 14 = 2*r + 3*m - 7. Suppose 2*h - r = -0. Suppose h*q - 2*t = 45, -5*t - 13 = -q + 2. Is 5 a factor of q?
True
Suppose -3*r - 3*v + 16 = r, 5*v = 2*r - 8. Suppose r*m - 118 = 2*m + 2*n, -4*n - 114 = -2*m. Is m a multiple of 7?
False
Suppose -2*v - 4 = -4*f, -3*f - 3*v = -8*f + 4. Suppose f*z - 2*l + 4 = 0, -2*l - 7 = -5*z - 2. Is 2 a factor of z?
False
Suppose h = 0, -5*h + 840 = 2*j - 2356. Does 13 divide j?
False
Suppose 3*x - 50 = 5*k, -4*x = 3*k - 0*x + 59. Let q = k + 70. Suppose -q = -4*v + 7. Is 8 a factor of v?
True
Is ((-3675)/150)/(((-5)/12)/5) a multiple of 18?
False
Suppose 0 = -5*k - m - 136, -3*m = 2*k - 5*m + 64. Let a = k - -72. Suppose 2*n - 3*u = 4*n - a, -3*u = -n + 40. Is n a multiple of 7?
True
Suppose -6*h + 15 = -3*h. Suppose h*l = 20, -6 = 2*w + 5*l - 372. Does 44 divide w?
False
Let g(z) = z**2 + z. Let y(c) = -4*c**2 - 8*c + 6. Let f(i) = -3*g(i) - y(i). Let v be f(5). Let b = v - -4. Does 18 divide b?
False
Let o(r) = 42*r**3 + r**2 + 8*r. Let a(f) = -f. Let q(u) = -6*a(u) - o(u). Is 6 a factor of q(-1)?
False
Let c(r) = -2*r**3 + 53*r**2 - 96*r. Is 35 a factor of c(21)?
True
Let n(g) = -2*g - 18. Let p be n(-10). Suppose -3*u = 5*s + 7, -34 = -2*u - 2*u + p*s. Is u a multiple of 6?
True
Suppose 3*l - 3885 = -2*z, -6*l + 3*z + 5180 = -2*l. Does 7 divide l?
True
Suppose 5*n + 6 = -4*j + 271, -2*n - 50 = -j. Is j a multiple of 3?
True
Is 692 + (3 + -9 - -6) a multiple of 18?
False
Does 6 divide 86/817 + 56768/38?
True
Let i = -12 - -18. Let q be i/(-5)*60/(-18). Suppose 5*v + 215 = 5*l, q*l - 154 - 16 = 2*v. Is 21 a factor of l?
True
Let s(m) = -9*m + m**2 - 3 + 18*m - 7*m. Let p be s(-3). Is 24 a factor of p + 2 - (-414)/9?
True
Let o be 0 + (9 - -3 - -3). Suppose 4*a = a - j + o, j + 1 = a. Suppose 3*u - 11 = a*v, -19 = -3*u - v - 3*v. Is 3 a factor of u?
False
Let x = 478 - 282. Is x a multiple of 7?
True
Suppose 2*j - 4 = 2*c, 3*j + 2*c = -2*c + 27. Suppose j*a + 498 = 4*b, -3*b - 379 = -6*b + a. Does 28 divide b?
False
Let o(c) be the second derivative of c**5/20 + c**4/12 + c**3/6 - 6*c. Let n be o(0). Let h(z) = z**2 - z + 5. Is 3 a factor of h(n)?
False
Does 9 divide (-6)/(-33) - 6724/(-44)?
True
Let s = 12 - 8. Suppose 22 = s*n - 26. Suppose -n - 12 = -4*g. Is 6 a factor of g?
True
Let c(u) = u**3 - u + 16. Let i be c(0). Suppose -4*l + 5*l - i = -5*o, 5*o - 98 = -3*l. Is 17 a factor of l?
False
Is 10 a factor of -52*94*(-7)/28?
False
Let z(h) = -h**3 + 6*h**2 - 6*h + 1. Let v be z(5). Let j(q) = -4*q - 3 - 7*q + 2. Is j(v) a multiple of 9?
False
Suppose i + 2*g = 506, -5*i = -2*i + 3*g - 1518. Does 57 divide i?
False
Let y = -51 + 57. Is 1/y - ((-590)/(-12))/(-5) a multiple of 3?
False
Suppose 2*c = 7*c. Let f = -5 - -7. Suppose c = -f*y + 13 + 95. Is 18 a factor of y?
True
Let b(i) = -i**3 - 19*i**2 + 28*i - 8. Is b(-22) a multiple of 23?
True
Let c = -288 + 1002. Is 94 a factor of c?
False
Suppose 5*s - 5*k - 370 = 0, -3*k = -3*s + s + 153. Suppose -107 = -5*q + 2*a + 2*a, 4*a = 3*q - s. Does 18 divide q?
False
Suppose -2*k = q + 5 - 1, -2*k = -8. Is (q/16)/((-4)/656) a multiple of 10?
False
Let k be 161 - (1 - 4/(-2)). Suppose 3*o + 148 = -3*q - k, -3*q = -2*o - 224. Let g = o - -152. Is 23 a factor of g?
True
Suppose 0 = -3*v - 2*j + 1186, 1852 + 130 = 5*v - 2*j. Does 18 divide v?
True
Suppose -2*s + 7 = -3. Suppose -3*j = -10 - s. Suppose z = 3, -j*r + 5*z = -0*r - 135. Is 15 a factor of r?
True
Let c = -24 + 21. Let d(j) = j**2 + 3*j - 2. Let u be d(c). Does 6 divide (u/6)/(2/(-48))?
False
Suppose h + g - 4008 = 0, 0 = 20*h - 25*h + g + 20064. Is h a multiple of 118?
True
Let o(y) = 2*y**2 + 3*y + 3. Let t be o(-2). Suppose t*v - 2*v + 3 = -k, 15 = -3*v - 5*k. Suppose 5*i + 54 - 159 = v. Is i a multiple of 7?
True
Let h be (-8)/6*(-15)/10. Suppose 29 = -6*v + 3*v + h*z, 51 = -5*v + 4*z. Let n(a) = -a**2 - 9*a - 3. Is n(v) a multiple of 3?
False
Is 3 a factor of ((-594)/(-72))/((-2)/(-8))?
True
Let x = 23 + -19. Suppose -4*u = -u - x*p - 236, -5*p + 119 = 2*u. Is 12 a factor of u?
True
Let c(l) = -l**3 + 8*l**2 + l - 12. Is c(4) a multiple of 28?
True
Let c(m) = m + 23. Let t be c(-14). Let x(a) = -a**2 + 0*a - t*a - 5*a + 3. Is x(-11) a multiple of 21?
False
Suppose 3*i = i - 2*l - 6, 4*i - 4*l + 4 = 0. Does 2 divide ((-24)/(-14))/(i*(-3)/21)?
True
Let u(n) = 8*n - 10. Let o be u(-5). Let d be (-12)/5 + 30/o. Is -5*(-2 + (d - -4)) a multiple of 2?
False
Does 66 divide (-1 - -666) + (0/(-4) - 5)?
True
Suppose 0 = 51*j - 50*j - 25. Let k(v) = -v**2 + 27*v + 62. Does 14 divide k(j)?
True
Let v = -3 - -5. Suppose v*o - 128 = 46. Suppose -o - 89 = -4*w. Is w a multiple of 11?
True
Suppose -3*j - 1 = -10. Let y(u) = 8*u**2 + 4*u + 6. Let o be y(-4). Suppose o = j*q + 22. Is 16 a factor of q?
True
Let q(f) = -f**2 - 8*f + 2. Let m(d) = -1. Let i(y) = 2*m(y) - q(y). Let v be i(-13). Is 17 a factor of v + (2/1)/(-2)?
False
Let m(s) = 12*s + 509. Is 55 a factor of m(0)?
False
Let m(n) = n**3 + 24*n**2 + 40*n + 63. Is 99 a factor of m(-18)?
True
Let i be 60/14 - 4/14. Let f be 30*(-2)/(-3) + i. Does 7 divide 9/f + 1108/32?
True
Let p(t) = 371*t**2 + 8*t - 8. Does 24 divide p(1)?
False
Let r(k) = k**3 + 6*k**2 - 4*k + 17. Let d be r(-7). Let l(h) = -4*h**3 + 4*h**2 + 8*h - 8. Is l(d) a multiple of 19?
False
Let d(k) = k**2 - 18*k - 8. Suppose 19 = o - 2*z, 0*o = 3*o - 5*z - 58. Is d(o) a multiple of 5?
True
Let b = 323 - 266. Let n(g) = 5*g + 2. Let w be n(-6). Let z = b + w. Is 8 a factor of z?
False
Let f(z) = 9*z - 2. Let v be f(1). Suppose -3*j - 165 = -5*w, 4*w = v*j - 2*j + 145. Is w a multiple of 30?
True
Let k(n) be the second derivative of n**6/360 - n**5/30 + n**4/24 + 2*n**3 + 14*n. Let x(m) be the second derivative of k(m). Is 23 a factor of x(-7)?
False
Suppose 3*s - 6 - 9 = 0. Suppose -2*f = -4*d + 4, 5*d + 0*d - s = -5*f. Suppose 0 = -f*u + 6*u - 378. Does 17 divide u?
False
Suppose -2*f + 10 = -7*v + 3*v, 15 = -4*v + f. Let o(y) = -y**3 - 7*y - 8. Is o(v) a multiple of 19?
True
Let x = -16 + 19. Suppose 2*t = 4*q - 5 + x, -5*q - 3*t + 19 = 0. Is 18 a factor of 57*q/(-8)*-4?
False
Let q = -37 + 489. Is 27 a factor of q?
False
Let k = 14 - 11. Let m(f) = 3*f - 11*f - 4*f**2 + k*f**2 - 5*f - 15. Is 7 a factor of m(-11)?
True
Does 3 divide 22/(-1)*(-18 - -15)?
True
Let u = -348 - -388. Is u a multiple of 4?
True
Let i(d) = 17*d + 7. Let f = -13 - -10. Let v be i(f). Let a = -20 - v. Does 6 divide a?
True
Let f(o) = o**3 - 30*o**2 - 63*