 + 7. Let j(t) = t + 6. Let p(d) = 3*j(d) - 2*v(d). Let r be p(-6). Does 2 divide (-6)/(-30) + 68/r?
False
Let i be (-2 + 15/9)*-6. Let w = i + 1. Does 3 divide w?
True
Suppose 2*f = -0*f - 10. Let d(z) = -2*z**3 + 5*z**2 - 7*z + 59. Let t(v) = -v**3 + 3*v**2 - 4*v + 29. Let x(b) = f*t(b) + 3*d(b). Does 13 divide x(0)?
False
Let x(f) = -f**2 - 22*f - 20. Is x(-16) a multiple of 19?
True
Let h be 3*1/3*2. Suppose 10 + 8 = h*x. Is 8 a factor of x?
False
Suppose 4*z = -2*n + 4, 4*n - z + 10 = -9. Let k be 6/n + 52/8. Suppose -4*o = -2*b - 30, 6*o + k*b = o + 15. Is o a multiple of 2?
True
Let m(u) = -u + 38. Is 13 a factor of m(-12)?
False
Let g(r) = -r**2 + 12*r - 14. Is 5 a factor of g(10)?
False
Let j(d) = 30*d + 20. Does 16 divide j(2)?
True
Suppose 5*f + 87 = 2*f. Does 9 divide (f/2)/((-2)/4)?
False
Let m be 0 + 1 - (-1 + -3). Let b be 10/3*(-6)/(-4). Suppose -4*l + 46 = -4*q + m*q, -142 = -4*q + b*l. Is q a multiple of 15?
False
Let q = 7 + -7. Suppose -w = -5*c + 69 + 2, q = -5*c - 4*w + 66. Suppose -r - 2*r = -3*n + 45, -n + 2*r = -c. Does 16 divide n?
True
Suppose 0 = -13*o + 830 + 145. Is o a multiple of 34?
False
Suppose -i = -3*n - 3, -2*i + 2*n - 3 = -3*i. Let f(s) = -1 + 3 + s**i + 0 + 4*s**2. Is 4 a factor of f(-2)?
False
Suppose 2*o = 4*o. Let y = o - 0. Suppose 5*x - r - 142 = y, 0 = x - 2*r - 15 - 17. Is 13 a factor of x?
False
Is (-1)/2*5*-48 a multiple of 15?
True
Suppose -3*g + 106 = 2*j - 0*g, 56 = j + 3*g. Is j a multiple of 17?
False
Suppose 0*m + 3*s = -4*m + 12, s = 3*m - 9. Let t = -5 + m. Is 13 a factor of t/(1 + 51/(-48))?
False
Let f be 360/(-44) + 2/11. Let x = 13 + f. Does 13 divide 21 + -2 + x - -2?
True
Let q = 56 + -23. Is 15 a factor of q?
False
Let l be (11 - 6)/((-2)/(-8)). Let z = l + 16. Let a = z + -10. Does 12 divide a?
False
Let i(a) = -a**3 - 7*a**2 - 7*a - 3. Let h be i(-6). Suppose 0 = -5*v - 4 + 29. Suppose h*j + 22 = v*j. Does 11 divide j?
True
Let k = -3 + 3. Suppose 0 = -2*b + 4 - k. Suppose 2*l + 5*p = -b*l, 3*p - 8 = -4*l. Is l a multiple of 5?
True
Let c = -27 + 48. Suppose 5*a = 29 + c. Does 10 divide a?
True
Let c(f) = -f + 32. Is c(9) a multiple of 4?
False
Suppose 0 = -4*x + 7*x - 522. Suppose -4*z - 4*u + 240 = 0, -2*z - 50 = 3*u - x. Is 14 a factor of z?
True
Let g(l) = -44 + 15*l + 44 + 2*l**2. Is g(-10) a multiple of 11?
False
Let i = 179 - 124. Suppose -4*d = r - 31, -3*r - d + 16 = -i. Is 5 a factor of r?
False
Suppose 0 = -0*z - 3*z + 9. Suppose 2*u = -z*c + 12, 30 = 5*u - 0*u - 3*c. Is 3 a factor of u?
True
Suppose 4*f + 2*u = -114, -4*u + 47 = -3*f - 33. Let k = f - -108. Suppose 2*r = -3*r + k. Does 8 divide r?
True
Let g = -5 - -3. Let n be -2 + (-1)/(g/(-32)). Does 12 divide (-6)/(-27) + (-212)/n?
True
Let b(g) = -g - 14*g - 15*g. Is 10 a factor of b(-1)?
True
Suppose -9*u + 2*u + 588 = 0. Is u a multiple of 20?
False
Let g be 37 + (-1 - -1)/2. Suppose g = 4*k - 31. Is 17 a factor of k?
True
Let f(u) = -u + 10. Let q be f(10). Suppose 0 = -q*j + 3*j - 36. Is j a multiple of 10?
False
Let u = -16 - -11. Let j = -2 - u. Suppose j*r - 7 = r + 5*o, -2*r + 3*o = -9. Is 2 a factor of r?
True
Suppose 0*v - 2*v = -6. Let n = v - -9. Is n a multiple of 4?
True
Suppose 0 = -12*b + 13*b - 5. Is 9 a factor of b + 15 + -2 + 0?
True
Let l = 90 - 36. Does 27 divide l?
True
Let m(a) = -2 - 3*a**2 - 2*a**3 + 3*a + a**3 + 2*a**2 - a**2. Let u be m(-3). Does 12 divide u/7 - 200/(-14)?
False
Let j(o) = -o**3 - o**2 + o + 3. Let u(d) = -d**2 - 1. Let y(l) = -j(l) - 4*u(l). Does 9 divide y(-4)?
False
Let j(z) = 3*z. Let s(t) = -t - 2. Let a be s(-2). Let g be a - (0 + -1*4). Is j(g) a multiple of 9?
False
Let b(c) = 2*c**2 + 2. Let x be (0 - (-8)/(-6))*3. Does 13 divide b(x)?
False
Let o be 12/18*9/(-2). Let v be 0/(4 - (6 + o)). Suppose x + 0*x - 16 = v. Does 8 divide x?
True
Suppose -3*c + 5*x + 44 - 15 = 0, 0 = -c - 2*x + 6. Does 8 divide c?
True
Let a(p) = p**3 + 6*p**2 - 2*p - 7. Is 2 a factor of a(-6)?
False
Suppose 123 + 269 = 4*p. Is 11 a factor of p?
False
Let a be 4/18 + (-7)/(-9). Let c(h) = h + 2. Let i be c(-3). Does 12 divide 6*(a - (i - 2))?
True
Let o(y) = 201*y**2 - 1. Let h be o(1). Suppose 5*g - 20 = 0, 3*g + 2*g - h = -3*v. Suppose 3*a - a = v. Is 15 a factor of a?
True
Let x(u) = u**3 - 5*u**2 - 5*u - 2. Let a be x(6). Suppose 10 = b - a. Is b a multiple of 7?
True
Let w(m) = -m**3 - m**2 + 4*m + 2. Let g be w(-3). Let n(t) = 3*t**2 + 3*t. Let r be n(-3). Suppose r = i + g. Is i a multiple of 5?
True
Does 30 divide (-864)/(-5) + 8/(-10)?
False
Let s be (11/(-1))/(4/(-4)). Suppose t - 35 + s = -z, -3*z - 2*t + 68 = 0. Is 10 a factor of z?
True
Let m be ((-15)/9)/(1/3). Let i be 2/m - (-236)/(-10). Let q = i + 49. Is 17 a factor of q?
False
Does 10 divide ((-45)/(-6))/((-2)/(-8))?
True
Let z(u) = 7*u - 1. Let m(b) = b**2 + 3*b - 2. Let d(c) = c**3 + 6*c**2 + 2*c + 8. Let t be d(-6). Let w be m(t). Is 6 a factor of z(w)?
False
Is 31/((1 + -2)/(-1)) a multiple of 8?
False
Let v(l) = -l**3 - 3*l**2 + 7*l + 5. Suppose 0 = -4*m + 3*m - 14. Let c = 9 + m. Is 10 a factor of v(c)?
True
Let t = 141 - 79. Suppose -m + 3*m - t = 0. Suppose 2*s - v + m = 3*s, 33 = s + 2*v. Does 12 divide s?
False
Does 4 divide -3*((-28)/105)/((-1)/(-10))?
True
Suppose 2*h + 3*j - 41 = 0, -j + 6*j = 4*h - 93. Is h a multiple of 11?
True
Suppose 0 = o + 4*c - 7, -5*c = 2*o - 5 - 0. Let v = o - -1. Is 18 a factor of (v/8)/((-1)/70)?
False
Let w(p) = -p. Let i be w(-3). Suppose 0 = -3*c + l - 439, 0 = 4*c - c + i*l + 435. Is 4/(-18) + c/(-9) a multiple of 16?
True
Let d(c) = 2*c**2 + 7*c - 8. Let p be d(-7). Let n = 15 - 21. Is p + n + (-3 - 0) a multiple of 11?
False
Let v(a) = -3*a**3 - 2*a**2 - 4*a - 2. Is 12 a factor of v(-2)?
False
Suppose -5*r + 3 = -12. Let n(j) = -j**3 - r - 7*j + 0*j + 5*j. Is 15 a factor of n(-3)?
True
Let c(f) = 15*f**2 - 8*f - 11. Let i = 1 - 6. Let b(g) = 10*g**2 - 5*g - 7. Let m(s) = i*c(s) + 8*b(s). Does 4 divide m(1)?
True
Let x = 26 - 3. Let o = -19 + x. Does 4 divide o?
True
Let z(v) = -v**2 - v - 1. Let x(b) = 43*b**2 + 4*b + 6. Let n(t) = -x(t) - 5*z(t). Let i be n(1). Let k = -27 - i. Does 5 divide k?
False
Let k(h) = h**3 - 6*h**2 - 3*h + 13. Is 4 a factor of k(7)?
False
Suppose d = -m - 2*m - 16, -m + 12 = -4*d. Let n = -3 - m. Is 13*4*n/2 a multiple of 13?
True
Suppose -3*d - 5 = -17. Suppose 5*r - 12 = y, -d*y + r + 0*r = 105. Let h = y + 47. Is 10 a factor of h?
True
Let t(f) = f + 1. Let m be t(0). Does 3 divide m/3 + 28/6?
False
Does 21 divide 3 - (3 + -2) - (0 - 40)?
True
Let g be (-1)/(-5) + 11/(-5). Let d(h) = -5*h**3 + h**2 - h + 2. Is d(g) a multiple of 13?
False
Suppose -2*a + 1 = 9. Let p(g) = -g**3 - 3*g**2 + 2*g. Is p(a) a multiple of 4?
True
Suppose -5*v + 5*n + 20 = 0, 3*v = n + 4*n + 16. Let k be ((-2)/4)/(v/(-168)). Let s = k - 16. Is s a multiple of 13?
True
Let p(n) = 26 - 5*n**3 + n**3 + 5*n**3 + n + n**2. Does 11 divide p(0)?
False
Let m(h) be the third derivative of h**5/60 - 7*h**4/24 + h**3 - h**2. Let s be m(7). Is 8 a factor of (21 + s/(-3))/1?
False
Does 15 divide ((-21)/(-12))/((-3)/(-180))?
True
Let y = -150 + 357. Is y a multiple of 12?
False
Suppose -x + 60 = 3*x. Does 4 divide x?
False
Let k = -8 + 18. Is 5 a factor of k?
True
Suppose g + 9 - 55 = 0. Is g a multiple of 19?
False
Let a(z) = 6*z + 6. Let n(h) = -2*h - 2. Let i(b) = -5*a(b) - 14*n(b). Let r be i(-2). Suppose -3*d = -r*d - 4. Does 3 divide d?
False
Suppose 0 = 3*m + 10 - 1. Let t(q) = -2*q**3 - 3*q**2 - 3*q + 2. Does 19 divide t(m)?
True
Let m(b) = -b**3 + 7*b**2 - 2*b + 4. Let p be m(7). Let t = 17 + p. Does 6 divide t?
False
Let b(x) = 2*x**2 - 3*x - 18. Does 18 divide b(6)?
True
Let b = 0 - 0. Let h(c) = -c - 78. Let g be h(b). Let v = -55 - g. Is v a multiple of 6?
False
Suppose 0 = -0*d - 3*d + 4*a + 10, 3*d + 5*a = -26. Let y be 116/16 - d/(-8). Let p = y + 10. Is 17 a factor of p?
True
Let i = -9 - -9. Let z(w) = i*w - 6 + 6*w + 2 - 3*w. Is 8 a factor of z(4)?
True
Suppose -5*i - 4*o = -65, 3*o - 5*o - 95 = -5*i. Is 9 a factor of i?
False
Let a be (0 - (2 + -1))*1. Let f be (-2)/(-6) + 42/9. Let u = f + a. Does 3 divide u?
False
Let a be (28/(-6))/((-4)/12). Does 4 divide (a/(-4)*-4)/1?
False
Suppose 2*l - 23 = 5*l + s, 2*l = 2*s - 2. Let r be l/21 - (-489)/21. Is 6 a