 multiple of 29?
True
Let k be 44/9 + (-30)/(-270). Suppose 0 = -4*y - k*s + 1179, -2*y + 589 = s + 2*s. Does 18 divide y?
False
Let p be 12/(18/(-4)*4/(-264)). Suppose -1482 = -p*g + 170*g. Is 19 a factor of g?
True
Is -13 + (-482251)/(-21) - (-90)/(-27) a multiple of 72?
False
Suppose y + 4*s + 284 = 5*s, 5*s - 848 = 3*y. Is (y/(-52))/((-2)/(-32)) a multiple of 11?
True
Suppose 7*r = 4*f - 53628, -14 = 2*r + 2. Does 101 divide f?
False
Let n(z) be the first derivative of -1/2*z**2 + 41 + 1/3*z**3 + 71*z. Is n(14) a multiple of 23?
True
Let t be 11/5 - 5/25. Suppose 3*q + 33 = t*r, -2*q - q = -3*r + 54. Let f = 36 - r. Does 5 divide f?
True
Let w(a) = 7*a**2 - 8*a + 6. Let l = -47 + 52. Does 12 divide w(l)?
False
Let o(n) = -37*n + 15. Suppose -4*y + 5*t = -21, -3*y = 2*y - 4*t - 24. Let a be o(y). Let s = a + 192. Is 21 a factor of s?
False
Let n be -6 + 5 - 1 - -15. Suppose -2*o = -n*o + 1485. Is 9 a factor of o?
True
Let b(l) = -l**2 - 7*l + 43. Let o be b(-10). Suppose -4*h = -o - 7. Suppose -3*u + 2*p = -76, h*p + 120 = -0*u + 5*u. Does 14 divide u?
True
Suppose 2*m - 5*c + 61 = 0, m - 7*c + 3*c + 29 = 0. Does 9 divide 0 + 56 + (-35 - m)?
True
Let f(s) = s**3 + s**2 - 6*s + 8. Let d be f(4). Let r be ((-5)/4 - 1)/((-3)/d). Suppose -y = 3*y - r. Is y a multiple of 4?
True
Let f be (3016/130)/((-18)/(-45)). Suppose 112 = -0*x + 4*x. Let j = f - x. Is j a multiple of 5?
True
Let h(v) = 29*v - 3. Let c be h(3). Let a = -72 + c. Suppose -432 = -6*k + a. Is 13 a factor of k?
False
Suppose 0 = 3*a - 57*a - 40*a + 238290. Does 15 divide a?
True
Let n(i) = 322*i - 322. Let f(x) = 17*x - 17. Let j(b) = -115*f(b) + 6*n(b). Is 19 a factor of j(-5)?
False
Suppose 5*w + 11*y - 16465 = 0, -3*w = -7*w + 4*y + 13172. Does 62 divide w?
False
Suppose 3*c = 3*v + 54, -7*v - 28 = -5*v + 2*c. Let y(b) = -11*b + 10. Let m be y(v). Suppose -3*f = 4*p - m, -37 = -p - f + 5*f. Does 23 divide p?
False
Let p(x) = 16*x - 176. Let k = 244 + -219. Is 8 a factor of p(k)?
True
Let w(y) = -38*y**2 + 110*y + 265. Let o(l) = 17*l**2 - 55*l - 133. Let g(a) = -9*o(a) - 4*w(a). Is 35 a factor of g(45)?
False
Suppose 0*q - 3*q + 24 = -3*v, -10 = -2*v. Let t be q + (-8)/(-1 + -3) + -5. Suppose t*p = p + 243. Is p a multiple of 5?
False
Let z = 3023 - -4489. Does 30 divide z?
False
Let j(i) = -82*i - 1. Let x be j(-9). Suppose -201 + x = 4*z. Suppose 2*y = 2*r - z, -5*y - 29 - 18 = -r. Is r a multiple of 12?
True
Suppose 0 = 5*o - 2*i - 1463, o = 2*i - 3*i + 287. Suppose -8 = 2*t, 0 = 2*h + 3*h + t - o. Does 10 divide h?
False
Let f be ((-1)/2)/((-1)/2)*103. Suppose -f = -2*a - 3*x, 5*a - 23*x - 230 = -25*x. Is 5 a factor of a?
False
Let h = -208 + 148. Let d be (-8)/h*-89 - (-4)/(-30). Let s(u) = -14*u + 48. Does 54 divide s(d)?
True
Let f(a) = -2*a**3 + 27*a**2 - 31*a + 21. Let q(l) = -4*l**3 + 54*l**2 - 64*l + 41. Let c(p) = 9*f(p) - 4*q(p). Does 11 divide c(11)?
False
Let t = -19818 + 21278. Is 73 a factor of t?
True
Suppose 0 = -79*a + 517671 - 99603. Is 63 a factor of a?
True
Suppose 147*k = 252*k - 277200. Is k a multiple of 110?
True
Let o(a) = 42*a**3 + 8*a**2 - a - 3. Let v be (-2)/(-4 + (-1 - (-16)/4)). Does 14 divide o(v)?
False
Let a be (-171)/5 + (-1)/(-5). Suppose 1816*p + 177 = 1813*p. Let d = a - p. Is d a multiple of 2?
False
Suppose -c + 334 + 566 = 0. Does 50 divide c?
True
Let l(g) = -g**3 - 9*g**2 - 2*g - 115. Is l(-16) a multiple of 90?
False
Suppose -40*o + 159*o + 714 = 0. Let a(k) = -k**2 + 4*k + 3. Let t be a(4). Is (-16)/o*(15 + t) a multiple of 8?
True
Let m = 17 - 10. Let k be (m - (2 - -1)) + 129. Suppose 7*d - 7 = k. Is 3 a factor of d?
False
Let o = -78 - -237. Suppose -2*w = -x + 3*x - 92, 0 = 3*w - 4*x - o. Is 29 a factor of w?
False
Let d = 56 - 44. Let s be d/(-9)*-6*(-326)/8. Let z = s - -459. Does 16 divide z?
False
Suppose 4*k - 6852 = 4*o, -18*k - 5*o = -17*k - 1725. Is k a multiple of 139?
False
Suppose 786*s = 731*s + 425700. Is s a multiple of 36?
True
Suppose 0 = -19*q + 13570 + 36552. Is q a multiple of 2?
True
Suppose 3*r - 85 + 472 = 0. Suppose -2*n + 358 = -98. Let p = r + n. Does 29 divide p?
False
Suppose f = -u - 4*f - 52, -2*f = u + 46. Let i be (u/10)/(2/(-70)). Suppose -i = -5*s + 108. Does 7 divide s?
False
Suppose 0 = -2*u - 57 - 3. Let h = 30 + u. Suppose h = -6*i + 91 + 71. Does 10 divide i?
False
Suppose i = -3*f - 14 + 26, 5*i - 2*f = 9. Is 19 a factor of (-6 - (-5930)/14) + i/7?
True
Let d be -1*119/(-13) - 14/91. Is 7 a factor of -9 + d - -148 - 2?
False
Let i(o) = -2*o + 0*o - 2*o - 3*o + 12. Let w be i(-4). Suppose 20 = 2*f + 4*q, -2*f = -2*q - w + 2. Is f a multiple of 14?
False
Suppose 0 = 5*z - 4*v - 7937, -3*v + 3 = 12. Suppose 5*j + 320 - z = 0. Is j a multiple of 11?
True
Let n(p) = -p**2 + 54*p + 161. Suppose 3*l - 124 = -4*o, -l + 35 = 2*o - 27. Is 38 a factor of n(o)?
True
Suppose 2*q + 1050 = -2*c + 2772, 0 = 6*c - 36. Is q a multiple of 171?
True
Suppose 0 = 2*p - 110*m + 114*m - 23690, 0 = -5*p - 4*m + 59195. Does 62 divide p?
False
Let x = 48 + -45. Suppose -x*f + 6*f = -24. Is (-15)/6 + (-2324)/f a multiple of 24?
True
Suppose 8*b = -87 + 319. Suppose -183 = -2*d + b. Suppose -3*f - d = -4*x, -4*x + 0*f = 5*f - 122. Is 14 a factor of x?
True
Let u(r) = 3*r - 70. Let y(o) = -o - 1. Let m(f) = u(f) - 2*y(f). Does 2 divide m(16)?
True
Let p(d) = 820*d + 289. Does 77 divide p(5)?
True
Let n = 52 + -52. Let y be 284 - (-4 + 5)*n. Suppose 5*z - s - y = 0, 2*z - 5*s = 4*z - 119. Is z a multiple of 3?
True
Let b be 2/15 + (-64)/30 - 34. Let q = 5 - b. Let f = q - 23. Does 12 divide f?
False
Let m be (-95)/(-25) + -4 + 351/5. Let x = 114 - m. Is x a multiple of 2?
True
Suppose 13*v = 12*v + 3. Suppose -3*c = -3*s - 322 + 880, 0 = v*s - c - 558. Is s a multiple of 15?
False
Let a be -3*1/12*-2*6. Suppose n + 2*r + 8 = -0, -4 = a*n + 2*r. Suppose -20 - 82 = -b + n*q, 0 = -2*q + 6. Is 18 a factor of b?
True
Suppose -85*i + 84*i = -7095. Suppose -i = -27*k + 4326. Is k a multiple of 19?
False
Suppose 3 = -x + 7. Suppose -o + 13 - x = 0. Is (-2)/(-6) + 303/o a multiple of 8?
False
Suppose 12 = d + 3*d. Suppose -424 = -3*i + 2*p, -565 = -d*i + 5*p - 126. Does 17 divide i?
False
Suppose -3*k = -4*g + 204821, g + 339*k - 51214 = 338*k. Is g a multiple of 12?
False
Let n = -63784 + 106505. Does 13 divide n?
False
Suppose 4*x - 6*x = 2*u + 1174, -x - 5*u - 595 = 0. Let s = x - -725. Is s a multiple of 10?
True
Let w(d) = -47*d - 3. Let n(t) = -10 - 7 - 20*t - 28*t + 13. Let l(u) = -5*n(u) + 6*w(u). Is 8 a factor of l(-3)?
True
Suppose -50*p = -33*p + 1454 - 75438. Does 17 divide p?
True
Let x be 2/(8/44 - (-48)/(-22)). Let z(m) = -603*m**3 + m**2 + m - 1. Let n be z(x). Is 6 a factor of n/8 + (-7)/28?
False
Let c(f) = -22*f - 9. Let m be c(-6). Let a(o) = -28*o + 421. Let x be a(18). Let r = x + m. Is r a multiple of 8?
True
Suppose 0 = -134*w + 136*w - 10578. Does 129 divide w?
True
Suppose -75 = -58*u + 53*u. Is 32 a factor of (-8)/(40/u) + 131/1?
True
Suppose 7*b - 70 = 133. Suppose -b*i + 12080 = -13*i. Is i a multiple of 12?
False
Suppose 0 = -0*z - z - 12. Let k(d) be the third derivative of -d**5/60 - 19*d**4/24 - 19*d**3/6 + 26*d**2 + 8*d. Is k(z) a multiple of 13?
True
Suppose 0 = -4*k + 7*k + 6. Let h be 2390/18 + k/(-9). Let q = -88 + h. Does 15 divide q?
True
Suppose -16*f + 1250 = 2*v - 12*f, -5*v + 5*f + 3155 = 0. Suppose -2*b = g - 434, 8*b - 11*b = -4*g - v. Is b a multiple of 5?
True
Suppose 5*n - 2*y = 1044, n - 2*y = 3*n - 412. Suppose 3*v + o = -n, 4*o = -4*v - v - 342. Let f = v + 81. Is 11 a factor of f?
True
Suppose 0 = -i + 6, -3*s + 37176 = -113*i + 114*i. Is 34 a factor of s?
False
Let j be 4 - ((-10)/4 - 12/24). Let h(p) = 14*p + 81. Is h(j) a multiple of 15?
False
Let b(i) = 15872*i**3 - 3*i - 4*i**2 - 15877*i**3 + 0 - 2. Does 16 divide b(-2)?
False
Suppose -59 + 44 = -5*y. Suppose -8 = -r + y*m + 71, -72 = -r - 4*m. Is 11 a factor of r?
False
Suppose -2*d - 3*j = 19, -2*d - j + 4*j - 1 = 0. Let f(k) = 4*k + 84. Let c(v) = 7*v + 168. Let a(i) = d*f(i) + 3*c(i). Is 12 a factor of a(0)?
True
Let z = -9 + 9. Let t = 12 + z. Is 23 a factor of (-3 + 1)/(t/(-342))?
False
Let z(x) = -73*x - 214. Let p(q) = 215*q + 643. Let a(f) = -3*p(f) - 8*z(f). Is 18 a factor of a(-7)?
False
Suppose 41 = 4*w