 Does 75 divide y(20)?
True
Suppose -8913 - 690 = -33*z. Suppose -294*s + z*s = -183. Is 50 a factor of s?
False
Is 235 a factor of ((-462)/(-7))/(-6) - 59126/(-2)?
False
Let r(v) = 3*v**2 - 82*v + 43. Let k be r(29). Let j = 526 + k. Is 21 a factor of j?
True
Let l(j) = -3*j**2 + 15*j - 11. Let r be l(7). Let o = r + 57. Does 2 divide o?
True
Suppose 240*k = 114*k + 410004. Is 29 a factor of k?
False
Suppose -17*o - 4*o = -8*o - 437216. Does 20 divide o?
False
Is 4 a factor of 4273 - ((-35)/(-10))/((-26)/52)?
True
Let v = -1153 + 2607. Suppose 7*q - 12924 = v. Does 13 divide q?
True
Suppose -464 - 335 = -2*v + 5*x, -5*x - 2035 = -5*v. Suppose 0 = -12*i + 2236 - v. Is i a multiple of 38?
True
Let o be 99 + -25 - (3 - 1). Let u = -56 + 8. Let j = o + u. Does 24 divide j?
True
Suppose 2*d + 3*g = 25961, -2*d + 27812 - 1830 = -4*g. Is d a multiple of 35?
True
Let s be 9/6*(-72)/27 - -16. Suppose 4*z = 2*b + 3884, s*b - 7*b + 2906 = 3*z. Does 27 divide z?
True
Let z = -178 - -185. Let f(n) = -n**2 + 12*n - 17. Is f(z) a multiple of 3?
True
Let m = 2404 + -1571. Let d = m - 678. Does 31 divide d?
True
Let k = -7 - 18. Let n = -7 - k. Suppose 3*v + 2 = -i + n, 5*i - 3*v - 44 = 0. Is 10 a factor of i?
True
Let a be (-75)/(-20)*(-28)/(-21). Suppose 4*h = -i + 287, 0*h + a*h - 4*i = 385. Does 17 divide h?
False
Let s(n) be the first derivative of n**5/20 - 7*n**4/12 + n**3/3 - 32*n + 7. Let v(r) be the first derivative of s(r). Is 2 a factor of v(7)?
True
Suppose -2*r - f = 485, r - 5*r - 971 = 3*f. Let o = r - -171. Let v = o - -121. Is v a multiple of 10?
True
Let w(v) = -v**3 + 3*v**2 + 4*v + 5. Let f be w(4). Suppose 7*p - 9*p = 5*l - 81, 4*p + 3*l - 169 = 0. Let z = f + p. Is z a multiple of 12?
True
Let v(x) = x**2 + 26*x + 73. Let d be v(-23). Suppose -119 = -3*z - h + 239, d*h = z - 141. Is 19 a factor of z?
False
Suppose 0 = -n - 5*t + 15 + 14, 18 = 2*n + 2*t. Suppose 0 = -i + n*i - 6. Suppose 2*z + i*y - 214 = 0, 0 = -z - 4*y - 0*y + 104. Is 18 a factor of z?
True
Suppose -m + 6 = 2*m - 4*f, 0 = -5*m + 2*f - 4. Let x(c) = -29*c - 1. Let a be x(m). Let u = a + 33. Is u a multiple of 15?
True
Let n(f) = -f**3 + 8*f**2 + 13*f - 3. Suppose 2*v + 17 - 48 = -5*a, 25 = 2*a + 5*v. Suppose -5*w + 5*d = -40, -w + 23 = w + a*d. Is 10 a factor of n(w)?
False
Let a = -65 + 122. Let f(q) = -13 - 7 - 43*q + a*q + 7. Does 10 divide f(2)?
False
Let w(p) = -2*p**2 + p + 14. Let s be w(6). Let d = s + 72. Is 10 a factor of d?
True
Let k(j) = -4*j**3 + 81*j**2 + 12*j + 3. Is k(18) a multiple of 11?
True
Let g(k) = -12*k - 255. Let w be g(0). Let j = 374 + w. Is j a multiple of 11?
False
Suppose -l + 8 + 0 = 0. Suppose -30 + 6 = -l*w. Suppose -6*j + 5*y + 572 = -w*j, 3*j - y - 568 = 0. Is 8 a factor of j?
False
Suppose -5*y - 3 = h - 18, -24 = -2*y - 4*h. Suppose -4*b + 6*b = 2*x + 2, 4*b - 8 = y*x. Suppose b*o - 263 = 199. Is o a multiple of 11?
True
Suppose -f + 8580 = 2*j - 18686, -4*j + 2*f + 54556 = 0. Does 7 divide j?
True
Let g = -6965 + 16437. Does 32 divide g?
True
Let t(g) = g**3 - 8*g**2 + 8*g + 12. Let w be t(6). Is (-5390)/w + (-6)/(-36)*-1 a multiple of 15?
False
Let j = -196 + 214. Suppose -1199 = -j*b + 709. Is 36 a factor of b?
False
Let f(h) = 1100*h - 23. Is 17 a factor of f(5)?
False
Suppose 0*u = -3*u - a - 16, 27 = -5*u - 2*a. Is 2 a factor of (-681)/u + 324/(-270)?
False
Let w(p) = -20*p - 45. Let l be w(-4). Suppose 0 = -8*d + l + 141. Let c(a) = a**3 - 24*a**2 + 51*a - 14. Is 14 a factor of c(d)?
True
Suppose 27 + 113 = h + 2*i, -4*h - 5*i + 575 = 0. Let u = -100 + h. Does 10 divide u?
True
Suppose 5*u + 240 = 55. Let s = -34 - u. Suppose 3*f - 4*j = 5*f - 48, -5*f = -s*j - 120. Is 3 a factor of f?
True
Suppose -i - 5*b - 1205 = 47, 4*i + 5008 = 5*b. Is 45 a factor of (-1)/(0 + 4/i)?
False
Is 154 a factor of (287812/(-2705))/((-2)/880)?
True
Let k = -244 + 126. Let o = k + 201. Let y = -41 + o. Is 9 a factor of y?
False
Suppose 0 = -1267*o + 1265*o - 10, o = 3*d - 141692. Does 13 divide d?
True
Let t be 10/(-8) + 1 + (-6345)/(-20). Let r = t - 302. Is 15 a factor of r?
True
Suppose k + 12 = 5*o, -3*o + 2*k + 2 = 4*k. Let s = o - 11. Is 51*(6/s + 1) a multiple of 17?
True
Let u = 11015 + -5942. Does 19 divide u?
True
Let v(l) = -380*l + 124. Let w be v(-6). Suppose -19*p + 826 = -w. Does 10 divide p?
True
Suppose -19*f + 183271 = -107106. Is f a multiple of 29?
True
Does 84 divide (-4 + (-4 - -3))*-2519 + 5?
True
Suppose -77*p + 75*p + 5*d + 18711 = 0, -4*p + d = -37395. Is 41 a factor of p?
True
Suppose -108922 = -2*o - 37198. Is o a multiple of 43?
True
Suppose 0 = -3*k - 2*c - 808, 0 = -5*k + c - 4*c - 1348. Let y = -133 - k. Is y a multiple of 5?
False
Suppose 4*w - 5*i - 188 = w, -w + 2*i + 64 = 0. Let x be (-81)/324 + ((-314)/(-8) - -3). Let n = w - x. Is 13 a factor of n?
False
Let t(k) = 98*k**2 - k - 2. Let u be t(-1). Let h = u - -35. Suppose -6*o - h = -8*o. Does 11 divide o?
True
Let y = -19 + 25. Let m(r) = r**3 - 4*r**2 + 7*r - 2. Let a(c) = -c**3 + 3*c**2 - 6*c + 1. Let d(x) = 2*a(x) + 3*m(x). Is d(y) a multiple of 20?
False
Let w be 1*54/(-12)*(-2)/(-1). Let h(g) = -17*g - 67. Is h(w) a multiple of 8?
False
Let y be 195/35 + (-4)/(-7)*-1. Suppose -4*g = 4*a - 524, 2*g - 247 = 3*a - 0. Suppose 0 = y*s + g - 653. Does 7 divide s?
True
Let a be -3 + (-58)/(-8) + 2/(-8). Suppose 2*c + x = -a, 2*c + x = 2*x - 12. Let m(b) = 4*b**2 - 5*b + 4. Does 17 divide m(c)?
False
Suppose -4*h + 262 + 82 = 2*f, h + 4 = 0. Is f a multiple of 22?
False
Let t(o) = o**3 + 8*o**2 - 4*o + 16. Let s be t(-9). Let f = s - -39. Is 375/20*4/10*f a multiple of 15?
True
Let q = -20846 - -24301. Is 28 a factor of q?
False
Let d(o) = 70*o**2 - 148*o - 1739. Is d(-13) a multiple of 27?
True
Suppose -491*t = -514*t + 472056 + 79208. Does 53 divide t?
False
Let i be (15/(-2) - -2)/(16/(-160)). Suppose j = i + 37. Is j a multiple of 3?
False
Suppose n = -11 + 90. Suppose 5*f = a + 31, 4*f = a - 0*f + 30. Let r = n + a. Is 11 a factor of r?
False
Suppose -r - 4 = -6. Let t be 22/(-1)*(-7)/((-42)/(-534)). Is 5/r + t/44 a multiple of 19?
False
Suppose -5*d - 3*s + 2027 = 0, -3*d = 3*s + 435 - 1650. Is d a multiple of 4?
False
Is (-1 - -801) + 244 + -249 a multiple of 5?
True
Let v = 7 + -19. Let g be (v/(-10))/((-2)/(-10)). Let f(d) = -d**3 + 13*d**2 - 7*d - 5. Is f(g) a multiple of 15?
False
Suppose 5*l = -2*m + 30, -2*l - 2*l + 24 = m. Suppose l*i - 7*i - 190 = -u, 3*i = -2*u + 405. Suppose -162 - u = -7*h. Is 17 a factor of h?
True
Let u = 18746 + -2090. Does 8 divide u?
True
Suppose 3*c - 135 = 54. Let z be 8/72*(-9 + 18). Does 19 divide c - (z + -2) - -3?
False
Suppose -537 + 7141 = 13*b. Suppose 2*w - 510 = -4*g, b = 5*w - 3*w + 2*g. Is w a multiple of 23?
True
Let z(n) = n**3 + 11*n**2 + 9*n + 105. Let i be z(-11). Suppose -7*c + 3192 = -4*c. Suppose -i*l - 344 = -c. Is 20 a factor of l?
True
Let c(f) = -f**3 + 4*f**2 + 6*f - 10. Let p be c(5). Suppose 84 = -18*j + 11*j. Is 2 a factor of 8/6 + ((-356)/j - p)?
True
Suppose 2*w - 242 = -62. Suppose 3*l - 270 = -3*x + 36, -x + 2*l = -w. Does 14 divide x?
True
Let t(r) = 5*r**2 + 33*r - 27347 + 27482 + 0*r. Is 5 a factor of t(-11)?
False
Let x = -40 + 68. Suppose 2416 = -x*m + 14176. Does 52 divide m?
False
Let x be 1071/(-102)*(-216)/14. Suppose 4*a = -2*b + a + 342, -b + x = -3*a. Does 5 divide b?
False
Let x = 3808 + -3318. Is 70 a factor of x?
True
Let q = 11612 - 354. Suppose 52*j - 130 - q = 0. Does 2 divide j?
False
Let h = 38 + -56. Let t = h - -70. Let l = 59 - t. Does 7 divide l?
True
Suppose -5*z + 83 + 72 = 0. Suppose -3*k - 2*d = -0*d - z, -5*k - 4*d = -51. Suppose -7*u = -k*u + 152. Does 19 divide u?
True
Suppose 21*k - 25*k = -3612. Suppose -4*g - 2*c + 906 = 0, 5*g - g - c - k = 0. Is g a multiple of 13?
False
Suppose 4*i - 116 = -5*d, 5*d - 43 - 49 = 2*i. Let r(j) = 3*j + 18. Let u be r(d). Suppose 0 = -2*p + 8*p - u. Is 3 a factor of p?
False
Let u(r) = -r**3 - 19*r**2 + 73*r + 1305. Is u(-27) a multiple of 82?
True
Let p = -109 - -848. Is 60 a factor of p?
False
Suppose 3*c - 330 = 6*c. Let m = -107 - c. Suppose x + m*w - 243 = -3*x, 5*x + 2*w - 302 = 0. Does 30 divide x?
True
Suppose 2*l = 3*j - 1472 - 1556, -3*l + 3018 = 3*j. Is 28 a factor of j?
True
Let k(q) = 166*q**2 + 64*q - 66.