) = 3*n - 44. Let c(y) = 1. Let o(b) = -4*c(b) + h(b). Is 3 a factor of o(18)?
True
Let v(g) = 12*g + 16 + 8*g - 6 + 11*g. Does 9 divide v(2)?
True
Let b(s) = 5*s**2 + 46*s - 48. Does 93 divide b(-18)?
True
Let l(j) = -41*j**3 + 5*j**2 + 12*j - 10. Does 7 divide l(-3)?
True
Let j = 91 - 95. Let b(y) = 2*y**2 + 10*y + 17. Is b(j) a multiple of 6?
False
Let t(r) = -r + 7. Suppose 2*f - 5*f + 15 = 0. Let i be t(f). Suppose -2*k = 5*y - 94, -k - y = i*y - 48. Is k a multiple of 21?
True
Let p(k) = -27*k + 576. Is p(0) a multiple of 5?
False
Let c(b) = b**3 - 18*b**2 + 40*b - 36. Let h be 104/13*(-2)/(-1). Is 23 a factor of c(h)?
True
Suppose 7*n = -n + 2736. Suppose n = 13*h - 3883. Does 36 divide h?
False
Suppose -5*d = -5*o + 80, o - 65 = -3*o + 3*d. Suppose -4*y + o = -3. Suppose -144 = -3*a - 3*r, -179 = -4*a + y*r + 31. Does 13 divide a?
False
Let b(k) = k**3 + 6*k**2 - 23*k + 30. Is 76 a factor of b(-8)?
False
Let n be (-2)/(-6)*(13 - 7). Suppose -1 = n*v - 11. Suppose -4 = -2*q - 2*r, -3*q - r + 11 = -v. Is 7 a factor of q?
True
Suppose -5*y - 38*y = -257527. Is 21 a factor of y?
False
Let m = 43 - 38. Suppose -m*x + 61 = 11. Is 2 a factor of x?
True
Let c = 1452 + -129. Is 49 a factor of c?
True
Is 16 a factor of (-42)/(-28)*930/9?
False
Let x be ((-6)/(-9)*-3)/((-2)/8). Is x*-6*(483/(-24))/7 a multiple of 23?
True
Let n(g) be the second derivative of g**5/60 + 43*g**4/24 - g**3 + 11*g. Let a(b) be the second derivative of n(b). Does 14 divide a(0)?
False
Suppose -5*p = m - 105, 0*m - 4*m = -p - 315. Let t = m + 28. Is 27 a factor of t?
True
Suppose -825 - 715 = -5*w. Is w a multiple of 11?
True
Let u = 4 - 2. Let a be (-2)/(-4) - 13/2. Is ((-44)/a)/(u/15) a multiple of 29?
False
Suppose 2*m - 17 = -5*b + 2*b, 0 = -5*m + 5*b + 5. Suppose -2*w + m*z + 62 = 0, -2*w + 5*z - 185 = -7*w. Is 14 a factor of w?
False
Suppose -4*n = -s + 13 - 50, -s = -n + 7. Suppose -i = i - n. Let o = 21 + i. Is 18 a factor of o?
False
Suppose 68*s + 2640 = 73*s. Is 66 a factor of s?
True
Let v(b) = b - 15. Let z be v(15). Suppose 0 = -3*f - z*f + 225. Does 17 divide f?
False
Let z = -311 - -486. Is 16 a factor of z?
False
Let d(q) = 5*q**2 + 15*q + 36. Let o(s) = s**2 - s - 1. Let t(y) = -d(y) + 6*o(y). Is t(24) a multiple of 10?
True
Suppose -3*m = -0*m + l - 461, 2*l = 4*m - 608. Suppose -4*c - m = -7*c. Suppose -9*d + c = -6*d. Is 3 a factor of d?
False
Let n be (-6)/4*2 + 3. Is (n - (1 + -2))*105 a multiple of 18?
False
Let x = -141 - -185. Is x a multiple of 6?
False
Let k(h) = 2*h - 11. Let m be k(8). Suppose 0*t = 2*l - 3*t - 102, m*l - 242 = t. Is 8 a factor of l?
True
Is ((-5014)/(-4))/((-4)/(-4 + -4)) a multiple of 96?
False
Suppose -4*v = -0*v - 16, -4*v = -4*i + 416. Suppose 0*w + 20 = 5*w, 4*t = -5*w + i. Suppose -5*a - 4*y + 152 = 0, -y = -a + y + t. Does 7 divide a?
True
Let u(i) = -11*i - 5. Let g be u(-2). Suppose 3*d + g = 152. Does 11 divide d?
False
Let u = 430 + -142. Is 10 a factor of u?
False
Let r(x) = 27*x + 675. Does 27 divide r(38)?
True
Suppose -3*z + 4*s = -1, 0*s = -z - s + 5. Suppose -5*w + 7*w - z*o = 398, 0 = -2*w + 4*o + 402. Is w a multiple of 18?
False
Let i = 2568 - 2429. Does 5 divide i?
False
Let q = -16 + 21. Let o be (14/q)/((-2)/(-10)). Suppose 18 = 2*h - o. Does 8 divide h?
True
Suppose 16*q + 4*g - 302 = 14*q, 4*q - 568 = 4*g. Is 4 a factor of q?
False
Let h be (-1107)/(-12)*40/3. Suppose 5*w + 380 - h = 0. Is w a multiple of 50?
False
Suppose -4*y + 0*y = -2*x - 1764, -7*y + 3109 = 2*x. Is 15 a factor of y?
False
Let r(f) = f**3 + 15*f**2 + 22*f + 137. Is r(-14) a multiple of 15?
False
Let y(q) = q**3 - 3*q**2 + q + 2. Let v be y(3). Suppose -4 = v*l - 24. Suppose 58 = 3*z - 3*h + 16, 34 = 5*z + l*h. Is 4 a factor of z?
False
Let i(p) = -p + 11. Let j be i(17). Let d = -3 - j. Suppose 22 = d*f - 32. Is f a multiple of 10?
False
Let h = 23 - 20. Suppose -3*i + 2*v = -h*v + 13, i - 5*v + 21 = 0. Suppose 12 - 56 = -i*o. Is o a multiple of 11?
True
Suppose 7*w + 139 - 531 = 0. Suppose w = 5*c - 3*c + f, 2*c - 2*f = 44. Is 17 a factor of c?
False
Let x(o) = o**2 - 4*o - 3. Let h be x(7). Let v be (-22)/(-3)*27/6. Let c = v - h. Does 5 divide c?
True
Is 6 a factor of (2/(-8) + -1)/(12/(-576))?
True
Let f(s) be the second derivative of -7*s**3/3 - 3*s**2/2 - 3*s. Let w be f(-5). Suppose 3*k - w = 5. Is k a multiple of 6?
True
Let k(y) = 2*y + 3*y - 5*y - 2 - y. Let g be k(-16). Suppose -o + g = -10. Is o a multiple of 8?
True
Let q = -6 - -12. Suppose 0 = j + 2*h, -2*j = j + 3*h - q. Suppose -j*u + 21 = -31. Is 13 a factor of u?
True
Let w be 27/18*2*9. Let f = -24 + w. Suppose -4*n + 28 = -f*n. Is 7 a factor of n?
True
Is 24/(-10)*550/(-15) a multiple of 22?
True
Let m = -1517 - -2793. Is m a multiple of 22?
True
Let r(b) = 2*b**3 + 6*b**2 - b - 2. Let o be r(-3). Let z(n) = 17*n + 3. Is 17 a factor of z(o)?
False
Let r = 6 + 3. Suppose -10*h = -12*h + 50. Suppose 2*u - h + r = 0. Is 3 a factor of u?
False
Suppose 11*b - 7*b - 184 = 0. Is b a multiple of 2?
True
Let g = -102 - -459. Is g a multiple of 63?
False
Suppose -153*z - 4*i = -155*z + 280, -2*z + i = -286. Does 6 divide z?
True
Suppose -2 = -u - u. Suppose 0 = -4*j - u + 9. Suppose -5*z - 45 = -j*d - 3*d, -3*d = 4*z - 62. Is d a multiple of 5?
False
Let t = 7 + 96. Suppose 4*j - t - 121 = 0. Suppose 2*i - j = 5*k, -2*i - 4*k = -4*i + 52. Is 5 a factor of i?
False
Let o(x) = -x**3 + 10*x**2 + 16*x - 15. Suppose 45 = 6*f - 21. Is 14 a factor of o(f)?
False
Let r = 881 + -507. Is r a multiple of 17?
True
Is 1491 - -44*8/(-32) a multiple of 149?
False
Suppose -8 = y - 2. Let i be (y/(-8))/((-5)/(-40)). Let h = 4 + i. Is h a multiple of 10?
True
Let i = 18 + 147. Does 3 divide i?
True
Let n = 0 + -10. Let g(p) = p**3 + 13*p**2 + 18*p - 6. Let y be g(n). Let u = y - 81. Is 33 a factor of u?
True
Let p be (1 - 0) + 2 + -4. Is (p*2)/((-2)/65) a multiple of 9?
False
Suppose -64 + 14 = -5*p - 4*c, -85 = -5*p + 3*c. Suppose 1570 = 12*j - p. Is j a multiple of 6?
True
Let h = 9 + -9. Suppose y - 4*g = -10, -2*y + h*y = -5*g + 11. Suppose -3*t + 36 = -3*c, -20 = -y*t + t + 3*c. Is t a multiple of 3?
False
Let c = 38 - 7. Suppose -3*i = 15, 2*i - 93 - c = -j. Is j a multiple of 34?
False
Suppose t = 3*t. Let b(i) = -i**3 - i + 1. Let k be b(t). Suppose -17 + k = -g + 5*j, -4*j = 2*g - 18. Does 2 divide g?
False
Let q(o) = 4*o + 7. Suppose 0 = 2*x + x - 108. Let n = x + -22. Is q(n) a multiple of 16?
False
Suppose 7*v = 12*v - 5. Does 32 divide ((-304)/95)/(v/120*-1)?
True
Let q(h) = 2*h - 5. Let n be q(4). Suppose n*j - 104 = -j. Is 13 a factor of j?
True
Let i(q) = -59*q**2 + 5. Let m(d) = -30*d**2 + 2. Let w(x) = -3*i(x) + 5*m(x). Does 21 divide w(3)?
False
Does 21 divide 14 + -11 - (-94 - 2)?
False
Suppose 3*i - 6*i = 165. Let o = 187 - 273. Let j = i - o. Is 12 a factor of j?
False
Suppose -5*n + 41 = 3*p, 2*p - 5*n + n = -2. Let t = -5 + p. Suppose -2*q - 2*y + 102 = t*y, -2*q - 3*y + 101 = 0. Is 24 a factor of q?
False
Let v = -26 - -61. Suppose -v = -2*j + 19. Does 6 divide j?
False
Does 38 divide 67474/26 - (-16)/(-104)?
False
Let p(s) = s**3 - 13*s**2 - 13*s - 15. Let f be p(14). Is 50 a factor of (f + 150)*18/9?
False
Is 5/(11 + 78664/(-7152)) a multiple of 15?
True
Suppose -37 = -f + 72. Let a = f + 71. Suppose -2*x = 2*x - a. Is 15 a factor of x?
True
Suppose 3*h = -h + 4. Let c be h - 0 - (-69 + 0). Suppose 0*b - c = -5*b + 3*x, -32 = -b - 3*x. Is 6 a factor of b?
False
Suppose 5*u + 0*t - t = 17, 0 = u + 4*t - 16. Suppose -u*z + 253 = -3*c + 20, -215 = -4*z - 3*c. Does 15 divide z?
False
Let n(p) = -2*p - 6. Suppose 3*z - 24 = -4*x - x, -4*x - 3*z + 21 = 0. Let b(s) = -5*s - 17. Let f(h) = x*b(h) - 8*n(h). Is 15 a factor of f(18)?
True
Let l(y) = -y - 7. Let w be l(-9). Let o be 652/(-12) + w/6. Is 12 a factor of 72/(-27)*o/4?
True
Let v = 47 + -42. Suppose 0 = 2*s + 3*a - 43 - 182, v*s - 585 = -3*a. Is 15 a factor of s?
True
Let t = -492 + 639. Does 4 divide t?
False
Let y = -121 - -241. Suppose 0 = v + v, -5*r - v + y = 0. Is r a multiple of 24?
True
Let m be 119/7 - 2/1. Let u = m - 11. Suppose u*r - 48 = -4*l, -5*r + r + 51 = 5*l. Does 4 divide r?
False
Let c = -8 + 10. Suppose -3*n - n + 5*o = -77, 2*o + 36 = c*n. Is n a multiple of 5?
False
Let r = -324 +