 3). Let i be z/1 - (2 + -16). Let p = i + -8. Does 2 divide p?
True
Let t(r) = -28*r - 69. Is 3 a factor of t(-7)?
False
Suppose z + 4*z + 65 = 2*x, -2*z = 4*x - 166. Let w be (3/(-3) - -3) + -4. Let b = w + x. Does 13 divide b?
False
Let u = 8405 - 5722. Is 68 a factor of u?
False
Let o(x) = 8*x**3 - 35*x**2 - 8*x + 6. Is o(6) a multiple of 44?
False
Let v be (8 + -6)*(5 - -1). Does 34 divide v + -17 - (0 + -158)?
False
Is 22 a factor of 2*-8*(-16)/((-768)/(-396))?
True
Let q = -448 + 846. Does 37 divide q?
False
Is 524/(-6)*(-23 + -7 - -12) a multiple of 34?
False
Let u = -38 - -227. Is 21 a factor of u?
True
Suppose u - 28 - 226 = 0. Suppose u + 236 = 2*t. Does 15 divide t?
False
Let k be 5/1 + (-2 - -2). Let o = 89 + -77. Suppose -k*p - o + 107 = 0. Is 5 a factor of p?
False
Suppose 68*g = 65*g + 45. Is g a multiple of 4?
False
Does 11 divide (-3 - 2290/(-30))*6/4?
True
Let h = -454 - -928. Is h a multiple of 32?
False
Let v = 8 + -6. Suppose -147 = -v*z + 263. Let q = -136 + z. Does 23 divide q?
True
Suppose -a - 4*a + 45 = 0. Let d = -204 - -144. Is 1/3 - d/a even?
False
Suppose 1082 = 2*r + 17*i - 15*i, 0 = 2*r - 3*i - 1077. Is r a multiple of 60?
True
Suppose 95*a - 81*a = 11060. Is a a multiple of 5?
True
Suppose -2916 = -47*s + 44*s. Is 19 a factor of s?
False
Let h = 1 - -1. Let l = 662 - 415. Suppose -n + l = 5*t, n - 75 = -h*t + 25. Is 14 a factor of t?
False
Let w be ((-2)/3)/((-6)/36). Suppose -2*t + w*t + 26 = 0. Does 18 divide (-713)/t + (-4)/(-26)?
False
Is (-240)/(-75)*(-2 - 198/(-4)) a multiple of 10?
False
Suppose 4*s = 81 + 35. Suppose 4*r - 3*r = -5*p + 27, -2*p = -5*r + 27. Let x = s - r. Does 11 divide x?
True
Suppose 102 = 4*n - 2*b - 182, -2*n + 2*b = -146. Suppose 6*m = 447 - n. Does 14 divide m?
False
Let x(d) = -d**3 + 12*d**2 + 14*d - 9. Let t be x(13). Suppose 0*p + 1872 = -t*p. Is 6 a factor of p/(-20) + (-2)/5?
False
Suppose -9*v + 11*v = 5378. Is v a multiple of 125?
False
Suppose 0 = -d - 5, 4*d + 6 = -4*p + 42. Let a be (-12)/(-28) + 22/p. Let i(t) = 8*t - 1. Does 8 divide i(a)?
False
Suppose -221 = 16*s - 11741. Is s a multiple of 66?
False
Suppose -5*w = -6*w + 92. Let c = -7 + w. Is c a multiple of 5?
True
Let r = 7650 - 5060. Is 37 a factor of r?
True
Does 6 divide (-48)/((-10)/(-5)*-1 - -1)?
True
Suppose 4*j = -0 + 8. Let k(d) = -d**2 - d + 14. Let g(y) = 2*y**2 + 2*y - 15. Let o(c) = j*g(c) + 3*k(c). Is o(0) a multiple of 6?
True
Let b be (18/(-15))/((-8)/(-20)). Let o(h) = -5*h**2 + 6. Let z be o(b). Let u = -23 - z. Is 15 a factor of u?
False
Is 23 a factor of 92/(((-22)/(-77))/((-5)/(-7)))?
True
Suppose -16*l = -36 - 60. Does 34 divide (-1 - -2)/(l/1020)?
True
Let d be 2/4 + (-283)/(-2). Suppose 0 = -2*b + 4*u + d, -4*b - u - 4 = -261. Does 26 divide b?
False
Suppose -3*h - 4*o - 56 - 6 = 0, 2*o = -10. Let x be (-18)/(12/(-9) - -2). Let v = h - x. Does 3 divide v?
False
Let n(w) = -w**3 + 11*w**2 - 9*w - 3. Let i be n(10). Suppose i*x - 49 = 98. Does 21 divide x?
True
Suppose u - 62 = -2*i - u, 4*i = -u + 130. Suppose -3*t + i + 0 = 3*y, -3*y = -t - 37. Is 4 a factor of y?
True
Let s = 16 - 16. Suppose -3*t = -s*t + 3*c + 63, -2*t = c + 43. Let y = 52 + t. Does 15 divide y?
True
Suppose -3*s - v = -82, -131 = -2*s - 2*s + 3*v. Is 6 a factor of s?
False
Let m = -1 + 34. Suppose 87 + m = 5*k. Does 4 divide k?
True
Let c = 23 + -13. Suppose -11*p = -c*p - 53. Is p a multiple of 22?
False
Let j be (-8)/((-146)/72 - -2). Suppose -10*m + j = -6*m. Suppose -3*w + 31 = 2*i, -i - 3*i + 4*w = -m. Does 5 divide i?
False
Let r = 90 - 87. Suppose -r*z = -8*z + 1780. Does 13 divide z?
False
Suppose -125 = -4*o + 3*i + 152, -317 = -4*o - 5*i. Let f = -47 + o. Is f a multiple of 17?
False
Suppose 0 = u + 2*k + 2*k + 2, -10 = -u + 2*k. Suppose u*z - 9*z = -171. Is 28 a factor of z?
False
Let u = 16 + -15. Let n be (12 + -80)/(-2*u). Let y = n + -15. Does 11 divide y?
False
Let m(r) = 7*r - 11*r**2 + 7*r**2 - 4 + 2*r**3 - 3*r**3 + 5. Is m(-6) a multiple of 9?
False
Let h = 128 + 29. Let y = h + -109. Is y a multiple of 19?
False
Suppose 5*h - h - 24 = 4*n, -4*n - 5*h - 42 = 0. Let a = 360 - 357. Is 15 a factor of 70 + n/(6/a)?
False
Suppose 0 = 15*k + 11353 - 51313. Does 21 divide k?
False
Suppose -5*v + 4*m - 161 = 260, -2*m + 253 = -3*v. Let t = v - -124. Does 32 divide t?
False
Suppose 3*z + 3*n = 6159, -4*z + 4094 = -10*n - 4104. Is 18 a factor of z?
True
Let q = 6 + -3. Suppose -2*b = b + g - 40, 20 = b - q*g. Suppose 10 = a - b. Is 24 a factor of a?
True
Suppose -j = l, -4*l - 3*j = -4*j. Suppose l = 5*k - 5*x + x - 75, x - 6 = -k. Is k even?
False
Let l(p) = -76*p + 611. Is l(-20) a multiple of 29?
False
Suppose -4*x = 25 - 325. Suppose 2*f - x = -5*o + 102, 4*f - 429 = 5*o. Does 15 divide f?
False
Suppose 5*n - 7 + 27 = 0. Let h(o) = -2*o**3 - 6*o**2 - 7*o - 5. Is h(n) a multiple of 3?
False
Let u be (-104)/(1/1) + 0. Let r = 150 + u. Does 20 divide r?
False
Suppose -29*q = -0*q - 43964. Does 41 divide q?
False
Let g(i) = 8*i**2 - 29*i + 189. Does 36 divide g(9)?
True
Suppose -2*n = -0*n - 3*t + 4095, 3*t + 8199 = -4*n. Is 36 a factor of n/(-12) + (-1)/(-4)?
False
Let r(k) = k**3 - 33*k**2 + 125*k - 48. Does 2 divide r(29)?
False
Let u = -77 + 83. Suppose -5*z - 133 = -u*z - 4*y, 2 = -y. Does 9 divide z?
False
Suppose -7*y + 10*y = 3*z + 1143, -4*y - 3*z = -1496. Is 13 a factor of y?
True
Suppose 5*w + 0*w - 5 = 0. Suppose -4*x + 5*b = -57, -5*b = 4*x - 8 + w. Suppose -7*o + x*o = 9. Is o a multiple of 3?
True
Suppose 15*g + 3*v + 3702 = 18*g, -5*g - 2*v = -6156. Is 77 a factor of g?
True
Let a be 5 + -2 - (-5 + 5). Let r(k) = -a + 8*k**2 - 3*k**2 + 0*k**2. Is 21 a factor of r(3)?
True
Suppose 4*l = 3 + 137. Let c = -21 + 23. Suppose -75 = -3*j + 3*h, 2*j + 5*h = c*h + l. Does 6 divide j?
False
Let q = 1491 - 353. Is q a multiple of 37?
False
Let k = 52 + -3. Let b = 196 - k. Suppose i + i - 5*w - 53 = 0, 2*w = -5*i + b. Is 14 a factor of i?
False
Let u(a) = 141*a - 1. Let c be -2*(2 - 7)/10. Is 30 a factor of u(c)?
False
Let l(q) be the third derivative of q**4/24 - q**3/2 + 7*q**2. Let x be l(5). Suppose -57 = -x*n + 31. Does 22 divide n?
True
Let g = 363 + 18. Does 38 divide g?
False
Let n be (-2)/(-6) - 15/(-9). Suppose 3*a - 13 = 3*x - 37, -n*x + 4*a = -26. Suppose y - 5 = -0*y, x*f - 160 = 4*y. Does 10 divide f?
True
Let u = 79 + -18. Suppose -54 - u = -5*j. Does 3 divide j?
False
Let t(p) = -p - 28. Let r(a) be the first derivative of a**2 + 57*a - 12. Let d(b) = -4*r(b) - 9*t(b). Is d(-11) a multiple of 13?
True
Let o(z) = 556*z**2 + 2*z + 12. Is o(-2) a multiple of 85?
False
Suppose 0 = -5*t - 0 + 5. Suppose 0 = -3*y + 5 + t. Suppose -x + y = 3*s + 11, -15 = -5*x - 3*s. Is x a multiple of 3?
True
Let u = 2 - 9. Let b = 32 - u. Is 14 a factor of 0/(-1) + b - 3?
False
Let i be (-1 - (-2 - -4))*-2. Let g(s) = -5*s**2 - 8*s + 8. Let q(m) = 11*m**2 + 17*m - 17. Let z(j) = 13*g(j) + 6*q(j). Is z(i) a multiple of 13?
True
Let s = 211 + -126. Does 53 divide s?
False
Suppose -13*t + 5044 = -3393. Does 11 divide t?
True
Let c(m) = m**2 + 3*m + 8. Suppose 0 = 9*d - 4*d. Let f = d - 8. Is 12 a factor of c(f)?
True
Let q(p) = p**3 - 7*p**2 + 7*p - 11. Let o be q(6). Let z(g) = -2*g**3 - 10*g**2 - 3*g - 2. Is z(o) a multiple of 13?
True
Let d = -93 - -14. Let u = 121 + d. Does 6 divide u?
True
Let p(w) = -w**3 - 7*w**2 - 10*w - 10. Let a be p(-6). Suppose -b - 20 - a = 0. Let s = -18 - b. Does 13 divide s?
False
Let q(b) = -b**3 + 10*b**2 + 10*b + 12. Let p be q(11). Does 9 divide (-6)/(-9) + ((-322)/(-3))/p?
True
Suppose -20 = -5*n - 4*v, -n - 3*v - 9 = -2. Suppose -q = q + n, -4*d = 3*q - 132. Suppose -2*a - 2 = 0, -d = -5*k - 5*a + 59. Is 10 a factor of k?
True
Let f(o) = -13*o + 2. Let d be f(6). Let h = d + 106. Is h a multiple of 5?
True
Let f(w) = -w**3 + 10*w**2 - 4*w + 12. Let x be f(9). Let a = 65 - x. Is a a multiple of 5?
False
Let x(a) = -a**3 + 2*a**2 + 3*a + 2. Let m be x(3). Suppose -5*k = 2*g - g + 17, m*g + 5*k + 14 = 0. Suppose 14 = 5*z - g*z. Is 7 a factor of z?
True
Let t be (-9460)/(-150)*3 - (-2)/(-10). Let s = t + -105. Is s a multiple of 4?
True
Let y(u) = 2*u**2 - 3*u. Let a be y(4). Let s be (2 - a/1) + 4. Does 18 divide 7*((-52)/s + 4)?
True
Does 18 divide 24/10*(-16 + (523 - 12)