55 + 150. Is l a multiple of 7?
False
Suppose 4*j + 185 = -x, 3*j + 5*x = -118 - 42. Let t = j + 25. Does 2 divide ((-5)/(-4))/((-5)/t)?
False
Let p = -47 - -66. Suppose -16 + p = f. Suppose f*q = -12, 0*n = -3*n - 5*q + 13. Does 11 divide n?
True
Suppose -37*c + 38*c = 4*l + 2077, l + 6231 = 3*c. Is c a multiple of 16?
False
Suppose -136 = -3*v + v. Suppose -v = -5*x - 3. Suppose -x = y - 2*y. Is 5 a factor of y?
False
Let v(f) = f + 1. Let r be v(4). Suppose w - 351 = -2*w. Suppose 3*z - 65 = -5*d, -4*d = r*z + 26 - w. Does 14 divide z?
False
Let d(b) = 4*b**3 - 4*b**2 + 7*b - 3. Suppose -4*p + 5 + 0 = 5*m, -5*m = -p - 30. Let k be (3/(-1))/(-6 + m). Is 24 a factor of d(k)?
False
Let c be ((-2)/(-3))/(0 - 7/21). Is -2 - c/(2/21) a multiple of 19?
True
Suppose 43*u - 61*u + 23400 = 0. Is u a multiple of 13?
True
Let r = -21 + 24. Let o = 3 - r. Suppose o = -5*n + 8*n - 168. Is n a multiple of 22?
False
Does 31 divide -1 + 275 - (7 + -12)?
True
Let y be 12 + 3 + 0/(-3). Let m be (84/y)/((-6)/(-15)). Suppose 2*d - 168 = -5*c, 5*d - m = 4*c - 155. Is 17 a factor of c?
True
Is 19 a factor of -37*(2/11 + 2940/(-77))?
True
Let z(v) = 3*v**2 + 12*v. Let l(k) = -8*k**2 - 36*k + 1. Let u(d) = 2*l(d) + 7*z(d). Does 17 divide u(5)?
True
Let a(x) = x + 10. Let r be a(-8). Let d(f) = f - 7. Let h be d(11). Suppose -2*p + r*b - h = -128, 3*b - 104 = -2*p. Does 14 divide p?
False
Suppose 3*i - 27 = -6*i. Suppose -3*l + 5*l = -i*p + 181, 3*p - 209 = 5*l. Is 14 a factor of p?
False
Suppose 5 = -2*u + 3*u. Suppose 4*z - 2*w = 2, w + u = 4*z - 0. Is (-568)/(-16) - (-1)/z a multiple of 12?
True
Let q be 2*2 + (-22 - -19). Let u(v) = v**2 + 2*v - 1. Let f be u(q). Suppose f*o + 0*o - 136 = 0. Is o a multiple of 17?
True
Is 52 a factor of 188694/165 - (0 - (-2)/(-5))?
True
Suppose -7*t + 4665 = 654. Is 20 a factor of t?
False
Let n = 263 + -259. Suppose 2*y = -3*y. Suppose y = 5*m - 4*s - 48, 0 = -n*s + 2*s - 4. Does 4 divide m?
True
Let n be (1 - 0)/((-3)/(-150)). Suppose -3*j = -2*o - 71, -3*j + o + 23 = -n. Let a = -15 + j. Is a a multiple of 10?
True
Suppose -2*m + 1 = d, -4*m - 5*d = -3*m + 13. Suppose -m*p + 0*p - 37 = -h, 0 = -4*p + 16. Is 12 a factor of h?
False
Let n be (46/(-3))/(8/(-36)). Suppose -q = -n - 176. Is 35 a factor of q?
True
Let u(a) = -2*a**3 - 4*a**2 - 8*a + 5. Is 8 a factor of u(-5)?
False
Let d = -2586 - -3855. Does 47 divide d?
True
Let p(v) = -151*v**2 - v - 2. Let b(f) = -2*f + 25. Let j be b(13). Let w be p(j). Does 19 divide 7/((-70)/w)*5?
True
Let n(z) = z**3 + z**2 - z + 14. Let y(q) = -2*q - 14. Let r be y(-7). Let k be n(r). Let s = 7 + k. Does 7 divide s?
True
Suppose -3*y = -2 - 7. Suppose -4 = 2*j - y*j. Suppose 2*k + j*r - 30 = 0, r - 1 = -3. Is 8 a factor of k?
False
Suppose i + 2 = 3*q, -2*q + 0 + 24 = 5*i. Suppose q - 4 = 2*y + 2*v, 31 = 5*y - 4*v. Suppose 7*l - y*l = 84. Does 3 divide l?
True
Let f(a) = -a - 4. Let x be f(-7). Suppose -x*p + 5*m - 473 = 6*m, -2*p + 2*m - 326 = 0. Let y = p + 255. Is y a multiple of 24?
True
Let n = -185 + 312. Is n + 4 + 1 + 4 a multiple of 18?
False
Let w be 3 + -4 + -2 - -3 - -47. Let k = w + -34. Is 11 a factor of k?
False
Suppose 0 = -4*z - 0 + 16. Suppose -4*i + 47 = 5*t, -2*i - 3*i = z*t - 43. Let o = t + 3. Is 10 a factor of o?
True
Does 13 divide (-32)/(-8) + (38/2 - -3)?
True
Let i = 102 + -97. Let u(q) = q**2 + q. Is u(i) a multiple of 15?
True
Suppose -2*o - o + 12 = 0. Suppose -o*a + 105 = a. Suppose -2*c + a + 15 = 0. Is c a multiple of 12?
False
Let g(p) = -4*p - 6*p + 5*p**2 + 8*p. Let u be g(1). Suppose -24 = -u*t - 5*y, -4*y = -t - y + 8. Does 5 divide t?
False
Suppose v - 8 = 1. Suppose -x = 3*b - 17, 0 = 2*x - b + 2 - 1. Is 19 a factor of 173/9 - x/v?
True
Let u(x) = 0*x**2 + 6 + x**2 + 14*x - 2*x**2. Let n be u(14). Let a = n + -3. Does 2 divide a?
False
Is 49 a factor of 225/135 - (-484)/3?
False
Suppose -4*q = 31 - 1103. Does 67 divide q?
True
Let i(s) = 79*s + 9. Let r be i(6). Let o be (10/(-3))/(2/(-3)). Suppose r = 4*n - 3*q, -o*q - 23 = 2. Is n a multiple of 21?
False
Let p be 2*(-1 + (10 - -1)). Let z be (-6)/(36/(-21))*2. Suppose -z*o + 8*o = p. Is o a multiple of 20?
True
Let a(z) = 34*z**2 + 3*z + 13. Is a(5) a multiple of 6?
False
Let z(r) = 3*r**3 - 8*r**2 + 11*r + 10. Let n be z(7). Suppose 5*i = i + n. Is i a multiple of 46?
False
Let u(x) = 45*x - 57. Is u(9) a multiple of 29?
True
Let o be 3*(-7)/(-3)*1. Let k = o + 29. Does 18 divide k?
True
Suppose 4*m + 2*t - 26 = 0, -1 = 5*t - 16. Suppose -272 = -6*u + u - a, -2*u = m*a - 118. Is 27 a factor of u?
True
Let b(c) = 1 - c**3 + 2*c**3 - 2 + 2 - 3*c**2. Let p be b(4). Suppose -4*r + p = -55. Does 6 divide r?
True
Let a(y) = y + 10. Let n be a(-5). Suppose 2*v - b = 122, -n*v + b - 19 = -324. Is 12 a factor of v?
False
Let k = 1 + -10. Let f = k - -11. Is 1/(f - (-316)/(-160)) a multiple of 8?
True
Is 10*192 + 6/((-48)/(-40)) a multiple of 35?
True
Suppose 0 = -7*l + l + 18. Suppose l*z = -u + 14 + 36, 0 = -u - 5*z + 48. Let x = u + -31. Is x a multiple of 11?
True
Suppose 6*z - 240 = -0*z. Suppose 2*c = 4*y - z, -4*c + 2 = -y - 2. Is 3 a factor of y?
True
Let k = -98 + 175. Does 5 divide k?
False
Let c(m) be the first derivative of -m**4/4 - 4*m**3/3 - 2*m - 2. Let h be c(-4). Is 20 a factor of (-1)/h*(0 + 158)?
False
Let l(j) = 4*j**2 - 17*j + 7. Let c(p) = 4*p**2 - 16*p + 8. Let a(b) = -6*c(b) + 7*l(b). Is 21 a factor of a(8)?
False
Let n(i) = -3*i**2 + 31. Let g(r) = 4*r**2 - 30. Let k(v) = -2*g(v) - 3*n(v). Is 6 a factor of k(-10)?
False
Let x(h) = h**2 - 7*h + 11. Let j be x(6). Suppose -8*f + 18 = -j*f. Is 3 a factor of f?
True
Let v(b) = b**2 + 18*b + 35. Let f be v(-15). Is (5 - f)*(-32)/(-6) a multiple of 16?
True
Suppose 0*p = -3*p + b + 1060, 2*p - 2*b - 712 = 0. Does 32 divide p?
True
Let o(z) be the first derivative of 2*z**3/3 + 7*z**2 - 13*z + 14. Is o(-11) a multiple of 15?
True
Let p(l) = l**2 + 4. Let f be p(0). Suppose 2*h + 5*i = -2*h + 28, 3*h - f*i = -10. Suppose -3*z + 29 = h. Does 9 divide z?
True
Suppose 0 = 31*a + 3*a - 42908. Is 5 a factor of a?
False
Suppose -5*k = -22 + 22. Suppose 5*t - 28 - 7 = k. Is t a multiple of 7?
True
Suppose 4*g + 5*g - 7560 = 0. Is g a multiple of 14?
True
Suppose -3*b - 2*m = 163, 14 + 147 = -3*b - m. Let d = -92 - b. Is 4/(-3)*(12 + d) a multiple of 18?
True
Suppose 0 = 5*j + 4*w + 416, -30 - 50 = j + 4*w. Let y = j - -159. Does 25 divide y?
True
Let o = 118 - 179. Let w be ((-5)/(-10))/((-2)/172). Let q = w - o. Is 5 a factor of q?
False
Suppose w - 2695 = -p, 3*w + 8085 = 6*w - 2*p. Suppose 19*g - 8*g - w = 0. Is 17 a factor of g?
False
Let c(j) = j**3 + 1 - j**2 - 10*j**2 - 6*j + 15*j**2. Let l be c(-5). Let x = 13 - l. Does 4 divide x?
False
Let p = 0 + 7. Suppose 3*u = -2*t + 12, -106*t = -3*u - 103*t - 3. Let o = p + u. Is 2 a factor of o?
False
Is 13 a factor of (-2 + 57/(-1))*-3?
False
Is 7 a factor of (6/(-4))/((-8 - -6)/2436)?
True
Let a be 5/(15/(-2))*-6. Suppose -g = -4*n + 499, n = a*g - 5*g + 131. Let i = n - 74. Does 13 divide i?
True
Let b = -2444 + 3496. Does 4 divide b?
True
Let u(o) = -o**3 + 4*o**2 + 5*o + 4. Suppose -5*d + 13 + 12 = 0. Let a be u(d). Suppose 51 = 5*i - a*i. Does 17 divide i?
True
Suppose 2 = 21*r - 20*r. Let b(k) be the third derivative of 5*k**4/12 - k**3/3 + 3*k**2. Is b(r) a multiple of 18?
True
Suppose 4*n + 3*k = 992, 22 = 4*k + 6. Is n a multiple of 8?
False
Suppose 4*h + 2*z = 788, -2*h - 5*z + 318 + 68 = 0. Does 22 divide h?
True
Let i = 47 + 418. Does 15 divide i?
True
Let y be (693/15)/((-3)/(-15)). Let x be y - (3 - (5 - -1)). Suppose 5*q - 228 = 3*q - 2*d, -2*q + x = 4*d. Is q a multiple of 29?
False
Let i(a) = a**2 + 3*a - 5. Suppose 5*l + 5*v + 31 = l, -4*l + 2*v - 10 = 0. Let j be ((-16)/(-24))/(l/42). Is 6 a factor of i(j)?
False
Suppose 0 = 3*g - 4*g - 4*r + 103, 5*g = 2*r + 471. Does 23 divide g?
False
Suppose 342*t + 15 = 345*t. Suppose 2*f + 249 = 5*o - 367, -2*o = t*f - 258. Is o a multiple of 7?
False
Let i(k) be the first derivative of 4*k**2 + 16*k - 6. Does 9 divide i(7)?
True
Does 21 divide (-27 - -18)*(-1 - 3)?
False
Suppose 5*i - 52 = 33. Suppose 3*a + 80 = 7*a. Let q = a - i. Is 3 a factor of q?
True
Let s(q) = -14*q - 1. Let k(b) = -b + 2. Let a be ((-10)/(-6))/((-1)/(-3)).