- 133 = -38. Suppose 2*n = -3*p + l, 5*n = 2*p - 16 - u. Does 14 divide p?
False
Is (-5)/3*12780/(-50) a multiple of 28?
False
Suppose -2*n - 2*n = 2512. Let o = n + 948. Suppose -2*j - 2*j = -o. Does 28 divide j?
False
Suppose 0 = y, 111 = f - 5*y - 19. Is 10 a factor of f?
True
Let h = -8102 - -713. Is 13 a factor of h/(-27) + (-4)/6?
True
Suppose 0 = 5*f - x - 156 - 145, 2*f - 122 = 2*x. Let w = f - 21. Let l = -32 + w. Is 7 a factor of l?
True
Let y(c) be the first derivative of 2*c**2 + c - 12. Let i(p) = -5*p - 1. Let k be i(-1). Is y(k) a multiple of 17?
True
Is 14 a factor of (45 + -47)*(1 + -179)?
False
Let a(n) = -3*n. Let o be a(-2). Let d be o/(-4)*(-102)/9. Suppose -5*b = 5, 4*c = -3*b + 120 + d. Does 13 divide c?
False
Let d(y) = y**3 - 2*y**2 - 2*y + 6. Let t be d(4). Let j be ((-7)/7)/((-2)/t). Suppose j = 2*r - 81. Does 12 divide r?
True
Let j = -32 - -35. Suppose -5*d = 2*g - 6*g + 149, 73 = j*g + 4*d. Is 21 a factor of g?
False
Is 30 a factor of 1*715 - 44/(-33)*3?
False
Suppose -2*s - 10 = -k, 23 = s - 6*s + 2*k. Let n(q) = q**2 + q - 1. Let a be n(s). Suppose m + 4*i - a = 3*i, -m = -4*i - 15. Does 7 divide m?
True
Let l be (-24)/(-4)*(-5)/(-10). Suppose 48 = -l*v + 7*v. Does 4 divide v?
True
Suppose 0 = 2*j - 7*j - 15, 0 = -2*r - 4*j + 2536. Is 14 a factor of r?
True
Let a = 161 + -75. Let z = a + -49. Does 4 divide z?
False
Let f = -153 + 338. Suppose -2 = -2*b, -i = -3*i + 5*b + f. Is i a multiple of 34?
False
Suppose 5*v - 5044 = 4*v. Suppose 1 = -3*m + 5*d, 2*d - 7 = 5*m - d. Is m/(-13) + v/169 a multiple of 10?
True
Let w be (3/1 - (-12 - -16))*-47. Let k(u) = u - 26. Let x be k(0). Let d = w + x. Is d a multiple of 21?
True
Let p = -5 - -27. Let n = p + -10. Is 11 a factor of n?
False
Let q be 2*-1*(-9 - -4). Let t be q/4*24/30. Is 21 a factor of ((-8)/16)/(t/(-84))?
True
Let l be 0/(-1 + 4) - -380. Suppose -5*b + 32 = -4*k, 4*k + 12 = b - 4. Suppose b*x + x = l. Does 18 divide x?
False
Does 4 divide (7 + -20 + -8)*-7?
False
Let m(k) = -374*k + 16. Does 65 divide m(-1)?
True
Suppose 0 = 2*j - 5*u - 134, 2*u = -j - 2*u + 54. Suppose 2*s = j + 232. Is 12 a factor of s?
False
Let j = 671 - 643. Let r = 4 - 2. Suppose 0 = -h + 2*k + j, 4*h - r*k = -h + 116. Is h a multiple of 22?
True
Let n(q) = -2*q**2 + 49*q - 55. Is n(17) a multiple of 10?
True
Suppose 926 = 6*d - 5536. Is 42 a factor of d?
False
Let h(o) = -2*o + 33. Let m(v) = 2*v**2 - 16*v + 15. Let s be m(6). Does 8 divide h(s)?
False
Suppose 15 = 7*x - 2*x. Suppose -2*g + x*b = 39, -4*g - 128 = -0*g + 4*b. Does 19 divide (-72)/g*114/4?
True
Is ((-9711)/36)/(((-21)/(-12))/(-7)) a multiple of 17?
False
Let n(p) = -147*p + 266. Is n(-12) a multiple of 58?
True
Let n(i) = -i**3 + 13*i**2 + 2*i - 96. Does 13 divide n(-10)?
True
Let o(c) = 3*c + 132. Is o(38) a multiple of 7?
False
Suppose 5*d - 5*k = 69 + 26, 0 = 2*d + 2*k - 54. Suppose 0 = p - 0 - d. Is 12 a factor of p?
False
Let q(h) = h**3 - 5*h**2 + 4. Let r be q(5). Suppose 0 = -y + 2*c + 8, -4*y + 54 = -y + r*c. Is 19 a factor of 4/y + 1756/28?
False
Suppose -4*z - 2*k = -244, -z + 5*k + 305 = 4*z. Suppose z*h = 65*h - 660. Does 10 divide h?
False
Suppose 6*z = 4*z + 1520. Is z a multiple of 37?
False
Suppose -6*r + 243 = -69. Suppose -124 = -4*z + r. Is 12 a factor of z?
False
Does 5 divide (-124)/10*525/(-42)?
True
Let z = -33 - -39. Is (-17 + 2 + -3)/(z/(-30)) a multiple of 45?
True
Let u(n) = n - 10. Let k be u(7). Let v(r) be the second derivative of -4*r**3/3 + 5*r**2 + 71*r + 2. Is 34 a factor of v(k)?
True
Let h = 30 - 14. Is (65/4 - 4/h) + 2 even?
True
Let y(b) = 17*b + 99. Does 7 divide y(4)?
False
Let v(o) = 3*o - 15. Let u(d) = d**3 + 5*d**2 + 3*d - 2 - 4*d + 3*d - 4*d. Let s be u(-5). Is 4 a factor of v(s)?
False
Let c = 2 - -2. Let i(b) = 0*b**2 - 6*b + 8*b + b**2 - 7 - c*b. Is 4 a factor of i(-3)?
True
Suppose -5*y - 4*u + 13 = 0, 2*u - 7*u = 2*y + 5. Suppose -4*c = -y*s - 31, 5*c - s = -0*s + 23. Is c a multiple of 3?
False
Suppose -4*z = -2*x + 254, 136 = x - 0*z + z. Let a = x + -89. Does 11 divide a?
True
Suppose 0 = l - 468 - 90. Suppose -3*f - 2*r + 422 = 0, -4*f - 4*r + l = r. Suppose 8 = 5*x - f. Is x a multiple of 15?
True
Let q(s) = -50*s**2 - 5*s - 2. Let y(v) = 25*v**2 + 3*v + 1. Let o(p) = -3*q(p) - 5*y(p). Is 9 a factor of o(1)?
False
Let x = -514 + 574. Is 15 a factor of x?
True
Is 13 a factor of 29/((-29)/(-3)) - (0 - 1351)?
False
Let w(k) = -k**2 + 4*k + 6. Let z be w(6). Let o = z + 42. Is 8 a factor of o?
False
Let x(k) be the second derivative of -k**5/20 - 11*k**4/6 - 13*k**3/3 - 19*k**2/2 - k - 29. Is x(-21) a multiple of 31?
False
Let l = -11 + 15. Let s be ((l - 24) + 3)*1. Let o = 44 + s. Does 17 divide o?
False
Let q be (-3)/24 - (-3272)/64. Let a = q - 30. Is 13 a factor of a?
False
Let r be (-1)/3 + (-32)/(-6). Let f be -14*(3 - 6) - -3. Suppose -c = -f - r. Is c a multiple of 11?
False
Suppose 5*h = 5*y - 15, 3*y + 1 = -4*h - 4. Let r(u) = 86*u**3 + 2*u**2 + 2*u - 3. Is r(y) a multiple of 27?
False
Suppose 7 = f + 5. Let p(z) = 9*z - 7. Is 7 a factor of p(f)?
False
Suppose 42 - 258 = -4*p. Let x be ((-72)/p)/(2/21). Let u = 31 + x. Is u a multiple of 4?
False
Suppose 45*c - 10331 - 20269 = 0. Is 10 a factor of c?
True
Let w = 654 - 534. Is 12 a factor of w?
True
Suppose 0 = -15*q + 18*q + 3*f - 1908, 3*q - 1908 = -5*f. Is q a multiple of 9?
False
Let c(a) = -31*a - 7. Let f be c(5). Let i = 288 + f. Is 21 a factor of i?
True
Let f(b) = -b**3 + 10*b**2 + 10. Let a be f(10). Let n = a + -8. Let t(y) = 11*y**3 - 2*y**2 - 2. Does 16 divide t(n)?
False
Let l(v) = -46*v - 84. Let w be l(-6). Suppose -9*f + 717 = -w. Does 15 divide f?
False
Let u = -3 - -6. Let m = u - 0. Suppose 3*y + m*z - 19 = -1, -3*y + 30 = -z. Does 9 divide y?
True
Suppose -4335 = 3*z + 2*z. Let q be 1*((1 - 0) + z). Is 29 a factor of q/(-10) - (-4)/10?
True
Let o = 1471 - 808. Does 15 divide o?
False
Let h be 1 + -3 - 5*-1. Suppose 2*t - 39 = -h*g - 102, -4*t - 2*g = 138. Does 2 divide (3/6)/((-3)/t)?
True
Let f = 19 - -80. Suppose 0 = 2*z - 453 + f. Does 17 divide z?
False
Suppose 3*v = 4*v - 3. Suppose m = v + 1. Suppose m = 3*d - 3*t - 11, 2*d - 40 = -4*t. Does 5 divide d?
True
Let k(b) = 4*b - 4. Let x be k(6). Suppose -3*a + 2 = x. Is 11 a factor of (-397)/(-6) - (-1)/a?
True
Suppose -i = 6 - 8. Let q(f) = 2*f**3 - 6*f**i + 12*f + 2 + 0*f**3 - f**3 - 4*f. Does 25 divide q(6)?
True
Let f(x) = -x**3 + 10*x**2 + 13*x - 2. Let c be (-527)/(-51) + 2/3. Let m be f(c). Suppose 21*u = m*u + 39. Is u a multiple of 13?
True
Suppose 12*y + 64 = 4*y. Let h = 23 - -44. Let a = h + y. Is a a multiple of 15?
False
Does 5 divide 438 + 12 + 5 + -5?
True
Does 6 divide (10/25)/(2/355)?
False
Is 15 a factor of 62/3*(-18711)/(-162)?
False
Suppose 5*p + 4*x = 854, 2*p - 4*x = 38 + 326. Does 58 divide p?
True
Let z = 45 - 39. Suppose -z*a - 216 = -9*a. Is a a multiple of 22?
False
Let x(l) = l**2 - 15*l - 12. Let k be x(16). Suppose 5*b = 3*b + k. Suppose w + b*v - 3 = 6, -2*w + 46 = -3*v. Is 11 a factor of w?
False
Let g(i) = 164*i - 885. Is 2 a factor of g(6)?
False
Suppose 0 = -4*x + 8*x - 1584. Suppose -7*w - x = -w. Is w/(-14) - 14/(-49) a multiple of 3?
False
Suppose 5 + 10 = 5*m. Let l be 116/3*m/(-2). Let s = l + 115. Is s a multiple of 19?
True
Let r(b) = 23*b - 40 + 10*b**2 + 18 - 3*b**2 - b**3. Does 23 divide r(9)?
True
Let b = -17 + 20. Suppose -b*w + 38 = -25. Is w a multiple of 7?
True
Let q(h) = -h**2 - 10*h. Let o be q(-9). Suppose 2*i - 13 = -o. Is 2 a factor of i?
True
Let i be 1/7 - (-530)/(-35). Let s = i - -15. Suppose o - 3 + 0 = s. Is 2 a factor of o?
False
Let s = 28 - 26. Suppose 3*m + 4*x - 18 = 20, s*m + x = 27. Is m a multiple of 3?
False
Suppose 3*m - 2203 = -2*j, -m = 6*j - 9*j - 738. Is m a multiple of 24?
False
Suppose -12*r = -2578 - 1922. Does 10 divide r?
False
Suppose 2*m - n = 5*m - 16, -3*m = 5*n - 32. Suppose 0 = -4*j - m, -5*j = -4*q - 0*q + 5. Suppose q = -5*d - 0*d + 245. Does 14 divide d?
False
Suppose -5*o - 4 = -2*s, 0 = -o + 4*s + 2 + 8. Let h = -388 - -362. Is (3 + o - h) + 0 a multiple of 9?
True
Suppose 3*s = -3*f + 2*s + 4, 3*f = -2*s + 5. Suppose 4*n - f = 203. Is 3 a factor of n?
True
Suppose 30*h = 26*h + 360. Is h a multiple of 10?
True
Let s(x) = -122*x - 73.