Let k be v(9). Is 14 a factor of k/(3/12 - 1)?
False
Suppose 2*a = -a + 3, 3*a + 93 = p. Suppose 3*w + w = p. Is w a multiple of 6?
True
Let d(h) = -3*h - 5. Let y be d(9). Does 12 divide (3/(-2))/(4/y)?
True
Let m = 1 + -1. Suppose 2*x = 2*j - 6, -2*x = -3*j - 4*x + 9. Suppose -k + m*w = -2*w - 18, -5*k = -j*w - 62. Does 5 divide k?
True
Let w be (-3)/(-3)*13*2. Is (-1 + w/(-6))*-3 a multiple of 14?
False
Does 5 divide 315/14 - (-2)/(-4)?
False
Suppose 3*d - 6*d = -204. Does 25 divide d?
False
Let r(g) = -4*g**2 - 6*g - 8. Let s(j) = 5*j**2 + 7*j + 8. Let u(y) = -4*r(y) - 3*s(y). Is 7 a factor of u(-6)?
False
Let h = 89 - 8. Is h a multiple of 20?
False
Suppose -g - 4*c = -6*g + 35, -5*c = -2*g + 31. Suppose 25 + 38 = g*s. Is 21 a factor of s?
True
Let p(m) = 2*m + 2. Let f be p(2). Let d(a) = 4*a - 2. Let h be d(f). Suppose -3*g - 54 = -q, -5*g + h = q - 0*q. Does 19 divide q?
False
Does 12 divide (8 - 0)*((-525)/(-6))/7?
False
Suppose 390 = 5*p - s, 0*s - 390 = -5*p - s. Is p a multiple of 13?
True
Suppose -2*v + 43 = -65. Suppose 0*c - 5*c - 138 = 4*s, 4*c = 3*s + 88. Let r = s + v. Does 13 divide r?
False
Is 6 a factor of (12 - 1) + 4/1?
False
Suppose 3*r = -5*z + r + 242, 5*z + 5*r = 245. Does 24 divide z?
True
Let q be (-14)/(-2) + (-4 - -3). Let r(c) = 0*c**2 - 3 - c**2 + 2 + 7*c. Is 2 a factor of r(q)?
False
Let k = 7 - 5. Suppose 0 = 4*f + 5*b - 160, f + 3*b - 2*b = 41. Suppose -2*u - 2*u - k*i = -30, 5*i = 2*u - f. Is u a multiple of 10?
True
Suppose -2*p = 5*d - 502, -d + 8*p + 95 = 3*p. Is 12 a factor of d?
False
Let d = -18 - -25. Suppose -10 = -d*q + 2*q. Is 2 a factor of q?
True
Suppose n - 230 = -4*a, -a + 5*n = -3*a + 124. Let w = a - 102. Is 2/5 + (-297)/w a multiple of 4?
False
Let r = 1 + -1. Suppose 5*l - 59 - 81 = r. Let z = l - 14. Is 12 a factor of z?
False
Let y(o) = o**2 + o + 15. Let d = 3 + -3. Let q be y(d). Suppose -4*w = n - q, -3*n + 0*n - w + 67 = 0. Is 8 a factor of n?
False
Let p(o) = o**2 + o + 4. Let n = 4 + 1. Suppose -4*x + 4 - 15 = -n*s, -4*s + 3*x = -9. Does 6 divide p(s)?
False
Suppose 0*i = 2*i - 76. Is 7 a factor of i?
False
Suppose w = -5*q - 23, 6*q = -w + 2*q - 19. Let c = w - -5. Is c a multiple of 2?
True
Let y be -2*(-3 - (-9)/6). Suppose -5*k = -10, -k - 69 = -5*s - y*k. Is s a multiple of 11?
False
Suppose 3*n = 4*n - 54. Does 9 divide n?
True
Let g(f) = -f**3 + 5*f**2 + 5*f + 1. Does 12 divide g(4)?
False
Let z = -23 - -279. Does 16 divide z?
True
Let c = 0 - -4. Suppose 18 + 46 = c*a. Is 8 a factor of a?
True
Let g(u) = -6*u + 6. Let s be g(6). Let l = -15 - s. Is l a multiple of 4?
False
Let l(s) = s**2 + 5*s + 4. Let j be l(-3). Is 7 - (0 - j - -1) a multiple of 2?
True
Let p be (-18)/(-63) + (-26)/(-7). Suppose 0*x = -p*x + 72. Is 13 a factor of x?
False
Let l be ((-30)/(-12))/((-2)/(-4)). Suppose -l*h + 52 = -h + i, 4*h - 44 = -3*i. Is h a multiple of 4?
False
Let b(k) = -2*k**3 + 23*k**2 - 13*k - 4. Let i(y) = 3*y**3 - 34*y**2 + 20*y + 6. Let p(s) = 7*b(s) + 5*i(s). Suppose 0*m - 3*m + 24 = 0. Does 9 divide p(m)?
False
Let l be 69*10/4*2. Let b be ((-15)/(-3) + -5)/(-1). Suppose 6*x - x - l = b. Is x a multiple of 18?
False
Does 35 divide 2085/21 - (-4)/(-14) - 1?
False
Let a = 312 - 210. Does 51 divide a?
True
Let f = 12 - 3. Suppose f*a - 231 = 6*a. Is 26 a factor of a?
False
Let z(k) = k**2 - 3*k + 2. Is z(10) a multiple of 24?
True
Let l(u) = -u**3 + 7*u**2 + 10. Is l(7) a multiple of 4?
False
Suppose q + 5*p = 2*q - 34, p - 241 = -4*q. Let v = q + -31. Suppose -4*t - 2*w + v = -5*w, -4*t = 5*w - 60. Does 5 divide t?
True
Let q(o) = o**2 + 2*o + 15. Is 20 a factor of q(-9)?
False
Suppose f - 31 = 3*i, 3*i - 5*f + 34 = -i. Let v(p) = -p - 3. Is v(i) a multiple of 3?
False
Let y(r) = -3*r**3 - 5*r**2 - 2*r. Let u(t) = -16*t**3 - 26*t**2 - 10*t. Let g(k) = -2*u(k) + 11*y(k). Is 6 a factor of g(-4)?
True
Let l(w) = 11*w**3 + 2*w**2 - w. Let p = -11 + 12. Is 4 a factor of l(p)?
True
Suppose 145 = 4*i + i. Suppose -2*y + i = -73. Let n = -15 + y. Is 18 a factor of n?
True
Let h = 29 - -3. Let g = h + -12. Is 4 a factor of (2/(-5))/((-2)/g)?
True
Let d(y) = y**2 + 6*y + 3. Let q = -11 + 5. Let k be d(q). Is 7 a factor of (14/(-5))/(k/(-15))?
True
Let g(s) = -s**2 - 4*s + 2. Let r be g(-4). Suppose 5*o + 3*a - 64 = 42, r*a = -o + 24. Is o a multiple of 10?
True
Let j be 0 - 1 - -2 - 2. Does 2 divide j/((-2 + 0)/4)?
True
Suppose -12 = -4*z + 2*t, -4*z - 4*t = -0*z. Let v be ((-12)/3)/(z*-1). Does 6 divide (-9)/v*(3 - 7)?
True
Let i be (2/4)/(4/(-16)). Is (-13)/2*4/i a multiple of 13?
True
Let i = -134 + 75. Let m = -42 - i. Does 17 divide m?
True
Let t(a) = a**3 + 6*a**2 - 7. Let z be t(-6). Let q = z + 13. Is q a multiple of 3?
True
Let z = 13 - 1. Does 4 divide z?
True
Let v = -9 + 12. Suppose 5*l = -5*u + 55, -v*l = -4*u + u + 27. Does 4 divide u?
False
Is 3/8*4*16 a multiple of 6?
True
Let o be (-4)/(-8) - 591/(-2). Let r = o + -192. Is 22 a factor of r?
False
Let k(u) = -u**3 + 9*u**2 + 6*u - 10. Let s = -12 - -19. Let y be k(s). Suppose -w + 46 = 3*m, y = 3*w - 4*m + 18. Does 18 divide w?
False
Let c be 7/(-1)*(-4)/14. Suppose c*x - 55 = -3*n, 48 = 3*x + 3*n - 27. Is 10 a factor of x?
True
Suppose 4*h + 32 = -240. Let k = 110 + h. Is k a multiple of 20?
False
Let p = -32 - -68. Is 12 a factor of p?
True
Suppose -q = q + 5*x - 127, x = -3*q + 158. Suppose 3*t - q = -0*t. Does 8 divide (1 - t)/((-1)/1)?
True
Let l = -2 - -1. Let o be l/(-3) - 50/(-3). Suppose -3*w - 2*y + 18 = -o, 3*y = -5*w + 57. Is w a multiple of 7?
False
Let i(b) = -2*b**3 - 5*b**2 - 3*b + 1. Let p be i(-3). Let x(k) = -3*k - 1. Let q be x(-1). Suppose -81 + p = -q*w. Does 13 divide w?
False
Let b(o) be the first derivative of o**2/2 - 21*o + 3. Let z be b(0). Let p = 37 + z. Is p a multiple of 12?
False
Let j(w) = -8*w + 2. Let k be j(4). Let g = k + 59. Does 13 divide g?
False
Let y(s) = s**2 + 11*s + 13. Let l be y(-10). Suppose 3*w + 5*z + 7 = 7*w, l*w - 3*z = 6. Suppose -r + 156 = w*r. Is 21 a factor of r?
False
Suppose -2*d - 3*s + 132 = 0, 3*s + 20 = 8*s. Let t = d - 29. Does 9 divide t?
False
Let h = 147 - 99. Suppose p - h = z, -p = -2*p - 5*z + 42. Is p a multiple of 18?
False
Does 7 divide ((-90)/(-4) - -4)*2?
False
Let m be (-4)/(-2 - -1 - 0). Let b = m - 2. Is b even?
True
Suppose -3*w = -4*k - 8*w + 257, 0 = 5*k - w - 285. Suppose -3*p = -26 - k. Is p a multiple of 14?
True
Let a be 18/(-21) - (-6)/(-42). Does 16 divide -1*(-67 + (-3)/a)?
True
Let r = -7 + 12. Suppose 0*d - r*d = 5. Is 28 + -1 + d/1 a multiple of 13?
True
Suppose 0 = 4*m + 3*r - 21, -15 = m - 5*m - r. Suppose -h + 0 = m. Is 17 a factor of 3*(34/h)/(-1)?
True
Let b(s) = 4*s**2 - 2*s. Let f be b(-2). Suppose -5*n = -m + 2*m - f, 150 = 3*m - 3*n. Is m a multiple of 15?
True
Let j = -20 - -11. Is 6/j*(-42)/4 a multiple of 4?
False
Suppose -6*m + 3*m = -3*t + 60, -70 = -2*t - 4*m. Suppose -7*g = -2*g + 35. Let y = g + t. Is 8 a factor of y?
False
Let w = 257 - 110. Let c = w - 95. Is 14 a factor of c?
False
Let n be (-360)/35 - (-4)/14. Let b(u) = u**3 + 10*u**2. Let p be b(n). Suppose 3*v - 5*v + 4 = p. Is v a multiple of 2?
True
Let d = 23 - 3. Does 16 divide (1 + 0 - 2) + d?
False
Suppose 5*q - 547 = -5*u - 207, 4*q + 304 = 5*u. Is u a multiple of 15?
False
Suppose -71*w = -66*w - 420. Is w a multiple of 21?
True
Let z be 46 + (8/2)/(-2). Let f = z + -28. Let p = f + 11. Is p a multiple of 11?
False
Suppose -2 = -x + n, -n = 2*x + n - 16. Suppose u - 38 + 4 = -5*r, -4*u = 2*r - 28. Suppose x*j = 20, -r*k + 44 = -k - 4*j. Is 10 a factor of k?
False
Suppose 4*h - 1010 = 5*p, -h + 2*p + 257 = 3*p. Is h a multiple of 32?
False
Let v = 4 + 43. Does 5 divide v?
False
Suppose -6*v + v + 5 = 0. Suppose v = 3*c - 2*c. Does 9 divide (1 - 4) + c + 28?
False
Suppose 22*h - 19*h = 768. Is h a multiple of 8?
True
Suppose -4*k = -s - 44, -12 + 4 = -2*s. Suppose 3*t = -t + k. Suppose -3*q + 6 = t*o - 3, 0 = 4*o + 4. Is q a multiple of 2?
True
Let c(l) = 6*l - 6. Suppose -2*i = 3*x + 2*i + 54, 27 = -3*x + 5*i. Let j be (-4)/14 + (-60)/x. Is 8 a factor of c(j)?
False
Suppose 4*m + 14*l - 201 = 13*l, -5*m = -l - 258. Does 17 divide m?
True
Let i(c) = 3*c**2 + 6*c + 5. Is 25 a factor of i(-5)?
True
Let o(d) = 16*d**2 - d. Is o(1) a multiple of 5?
True