 i(v) = -2*v**2 - 3*v - 41. Let g(u) = -3*d(u) + 5*i(u). Let s = -501 + 501. Is 6 a factor of g(s)?
False
Suppose 660 = 3*w + 4*x, w = 153*x - 160*x + 203. Suppose -79 = -s - 5*h, -5*s + 0*h - 3*h + 505 = 0. Let z = w - s. Is 24 a factor of z?
True
Suppose 0 = 20*i - 22*i. Suppose -5*o + 2*r = -3 - 7, -4*r - 20 = 0. Suppose -2*b - 4*d + 44 + o = i, 50 = 2*b - 2*d. Is b a multiple of 6?
True
Suppose 0 = 2*u - 2*p + 160, -5*u + 8*p = 5*p + 396. Does 7 divide 14/(-3)*351/u?
True
Suppose 9*z - 17*z = -32. Suppose -4*u + 12 = 4*v - z, 0 = u + 5*v. Suppose p = 5*j - 60, 40 = u*j - 7*p + 2*p. Is j a multiple of 8?
False
Let y be (-2 - 0)*45/(-30) + -1. Suppose y*b - 112 = p - 3*p, p - 5*b = 32. Does 26 divide p?
True
Is -646949*5/(-105) - 76/798 a multiple of 14?
False
Suppose 8*j - 31 - 89 = 0. Suppose 8*v - j*v + 9534 = 0. Does 38 divide v?
False
Let c(r) = -21*r**3 + r**2 - 21*r - 21. Does 56 divide c(-7)?
False
Suppose -43*p + 1819088 = 171*p + 22*p. Is p a multiple of 41?
True
Suppose -5*s + 3 + 2 = 0. Let l be 26 - 31 - (0 + (s - -1)). Is 4 a factor of l/(84/(-81))*4?
False
Let i be 4 - (-9)/((-72)/(-3848)). Let z = -139 + i. Is z a multiple of 6?
False
Let x(d) = -d**3 - 13*d**2 + 16*d + 31. Let s be x(-14). Suppose 4*v + 2*u - 1134 = 0, s*u - 4*u = -2*v + 565. Does 54 divide v?
False
Let q = -101 - 29. Let d = q + 182. Does 52 divide d?
True
Suppose 27*y - 225 = 18*y. Does 17 divide y - 20 - (-1 + -164)?
True
Let r(t) = 74*t + 478. Is r(11) a multiple of 38?
True
Let d(w) = 2288*w**3 - 2*w**2 + 79*w - 150. Does 208 divide d(2)?
True
Let b(x) = 18*x - 9. Let f(i) = i - 1. Let v be 60/8*(-8)/((-8)/2). Let u(k) = v*f(k) + b(k). Is 21 a factor of u(2)?
True
Let p = 150 + -137. Suppose -4*g = -2*n + 616, p*n - 18*n = g - 1496. Does 25 divide n?
True
Let h = 13 + -38. Let v = h - -15. Is 13 a factor of (-652)/(-10) - (-2)/v?
True
Let p = -4754 - -36842. Is 28 a factor of p?
True
Is 24 a factor of -1*(((-25)/(-5) - (5844 - -11)) + 2)?
False
Let x be 0/(-2) + (1 - -5 - 6). Does 2 divide -3 + 62 + (x - -3)?
True
Suppose -4*l = -c + 5060, -c - 3*l = -3550 - 1538. Is 18 a factor of c?
True
Is (955086/261)/(3/(-72)*-4) a multiple of 56?
False
Suppose -46 = 3*r - 196. Let o be (-30)/(-12) - ((-3)/2)/3. Suppose o*b = -2*b + r. Is 6 a factor of b?
False
Let v = 6499 + 1947. Is 16 a factor of v?
False
Let j be (-3 - 0 - -4) + 5. Suppose 131 = 7*y - j*y. Does 28 divide y?
False
Let j(l) = 23*l**3 + 17*l**2 - 61*l - 24. Let h(i) = 12*i**3 + 9*i**2 - 30*i - 11. Let n(c) = 9*h(c) - 4*j(c). Is 39 a factor of n(3)?
True
Let z = 6926 + 169. Does 11 divide z?
True
Suppose -u - 5*x = -4*x - 83945, 167893 = 2*u + 3*x. Does 23 divide 1/(-4) + u/152?
True
Suppose -2*p + 46*p - 206963 = 97957. Does 90 divide p?
True
Let r(i) = -2*i**3 - 31*i**2 - 121*i - 1186. Is 7 a factor of r(-26)?
True
Let l = 320 - 320. Suppose -9*i + 1008 + 252 = l. Is 20 a factor of i?
True
Let h(s) = -71*s + 6132. Is h(75) a multiple of 10?
False
Let v(j) be the first derivative of j**2/2 + 4*j - 16. Let h be v(11). Suppose -3*t - h = -186. Is t a multiple of 19?
True
Suppose -4*j = b + 21, -3*j + 3*b - 10 = -2*b. Let l = j + 10. Suppose -118 = l*v - 6*v. Does 14 divide v?
False
Suppose 3*k + 17 = 5, -5*a + 370 = -5*k. Suppose 541 = 4*t + 3*z, 6*t - 56*z = -55*z + 773. Let g = t - a. Is 6 a factor of g?
True
Does 72 divide (-3)/27 + 291606/54?
True
Let h(c) = -47 + 100 - 50 + c. Let a be h(7). Suppose -x + a = -8. Is 18 a factor of x?
True
Suppose 2*h = -0*h + 316. Let p = 885 + -199. Suppose 4*q - p = -h. Is q a multiple of 14?
False
Let q be (0 + 0 + 1)/(72/1368). Suppose 16*x = q*x - 180. Does 10 divide x?
True
Suppose r - 62 = -243. Let u = r - -325. Suppose -6*y + u = -0*y. Is y a multiple of 19?
False
Let k = -7598 + 12550. Is 2 a factor of k?
True
Let q = 7963 - 6820. Is 9 a factor of q?
True
Suppose 3*w + 5*j - 975 = 0, 5*w + j - 1625 = -3*j. Let q = w - 109. Does 24 divide q?
True
Let q = -728 - -653. Suppose -2*p - 10 = -6. Is -1 + p - (-2 + q) a multiple of 7?
False
Let f(q) = q**3 + q**2 - 5*q - 1. Let l be f(-2). Suppose 0 = -3*k + 4*b + b + 67, 75 = l*k - b. Suppose k*d - 11*d - 234 = 0. Is 13 a factor of d?
True
Let t = 89 - 49. Let s = 61 - t. Suppose 0 = 6*n - 111 - s. Is 10 a factor of n?
False
Suppose 4201 = 127*q - 6086. Suppose 0 = -0*u + 4*u - 4*j, -4*j = 3*u. Suppose m + q - 258 = u. Does 34 divide m?
False
Suppose -3*f + 2*j - 29 = 46, -j + 125 = -5*f. Let c(t) = 2*t + 53. Let w be c(f). Suppose -3*y + 5*q = 2*y - 305, w*q = 4*y - 243. Is y a multiple of 13?
False
Let q be (9/(-3) - -9) + -2. Suppose -2*o - 746 = -7*o + q*l, 2*o - 312 = 5*l. Let y = -56 + o. Is y a multiple of 30?
True
Let u = 27 + -16. Let r(t) = -87*t**2 + 4 + 156*t**2 + 21*t - 70*t**2. Is r(u) a multiple of 27?
False
Suppose -4*j - 5*m + 93 = 0, -j = -5*m + 15 - 7. Suppose 20*u = j*u + 663. Does 28 divide u?
False
Suppose -5*x = 0, 4*i - x = -0*x - 9904. Let z be (i/3)/4 - 2/(-6). Let v = z + 311. Is 15 a factor of v?
True
Suppose n + 245 = 3322 + 505. Is n a multiple of 6?
True
Let n be 8 + -11 - (69 + (1 - 1)). Is 3 a factor of ((-6)/(-4))/(n/(-5856))?
False
Suppose m + 8 - 3 = 3*w, -2*w + 5*m = 1. Suppose -6*o - 192 = -2*s - o, 2*s = -w*o + 192. Is 13 a factor of s?
False
Suppose 2*l - 5*l + 5*k + 44 = 0, 0 = 5*l + 5*k - 20. Suppose 38 + 2882 = l*d. Does 8 divide d?
False
Suppose 0 = 4*v - i - 39984, -62*v + 63*v - 9996 = -5*i. Does 6 divide v?
True
Let a = 2177 - 1080. Is 25 a factor of a?
False
Let b = -91 + 91. Suppose 2*a + 48 - 32 = b. Let l(j) = -j**3 - 4*j**2 + 6*j + 2. Is l(a) a multiple of 42?
True
Let f be (-1)/(3 + -8)*0. Let k(v) = 4*v + 267. Is k(f) a multiple of 25?
False
Let p be (3 - 15)/(10/25). Does 18 divide (-2978)/(-12) - -4 - (-5)/p?
True
Let f = -2572 + 3097. Does 15 divide f?
True
Let r be ((-77)/35 - -2)*-55. Suppose 0 = 4*u + 15*s - r*s - 1728, -3*u + 3*s = -1284. Is u a multiple of 10?
True
Suppose 5*l - 5*m = -205 + 4515, -2*m - 3448 = -4*l. Let b = l - 46. Is 17 a factor of b?
True
Suppose 12 = -4*a + 4*p, 4*a + 2*p + 0 + 6 = 0. Is 34 a factor of (-306)/15*(42/(-9) + a)?
True
Suppose -38*t - 182 = 578. Does 30 divide (-82823)/(-115) + (8/t)/2?
True
Let t = 493 + -229. Suppose 4*m + 183 = d, 3*d + 4*m - t = 221. Does 14 divide d?
False
Suppose 5*n + 212 = -1348. Let m = n - -1346. Does 11 divide m?
True
Suppose -10*s = -14*s + 16. Suppose -s*q - 81 = -7*q. Suppose 5*n + 2 = q. Is n a multiple of 5?
True
Let r be (-7 - -7 - 1) + (1 - 73). Let k = r + 683. Is k a multiple of 61?
True
Suppose 0 = -2*j - o + 7, 5*j - 12 = o + 2. Suppose -2*l - s = -334, 2*s = 3*l - j*s - 488. Suppose -m - l = -3*a - 6*m, a + 2*m - 55 = 0. Is a a multiple of 8?
False
Let u = -31 - -30. Let y be (u + -1281)*-2*3/12. Suppose -5*f + h = 2*h - 802, -4*f - h = -y. Is 16 a factor of f?
False
Let q be 7 + 888 + (-8 - -9). Suppose 5*u + 24 - 114 = 0. Does 25 divide q/u + (-5)/(-135)*6?
True
Suppose -12*o + 101 - 29 = 0. Does 8 divide 4 + (-1010)/(-15) + o/9?
True
Suppose 0 = v + 3108 - 12123. Is 8 a factor of v/25 + -1 - 2/(-5)?
True
Let x be 1/(-3) - 2204/(-6). Suppose 0 = 310*u - 308*u. Suppose -7*i + x + 606 = u. Is i a multiple of 42?
False
Suppose -98*y - 80*y + 3530274 = 0. Does 33 divide y?
True
Suppose 4*z + 6*l = 2*l + 51636, 3*z - 4*l = 38685. Does 33 divide z?
True
Suppose -106775 = -69*n + 409552. Does 44 divide n?
False
Suppose -75*x = -76*x - 485. Let j = x + 1097. Is j a multiple of 18?
True
Let d(c) = 131*c + 1675. Is 11 a factor of d(0)?
False
Let w be (0 + (-2 - -2 - 0))/1. Suppose -4*n - 2*o + 26 = w, -5*o + 17 = -4*n + 2*n. Suppose -s + 5*f + 165 = -0*s, n*s + 4*f = 540. Is 17 a factor of s?
False
Suppose 0 = -0*p + 9*p - 1800. Let y = p + 124. Does 32 divide y?
False
Suppose -72 = 5*n + 33. Let m = n + 25. Is m + -8 + (187 - -1) a multiple of 18?
False
Let g(k) = k - 13. Let p be g(15). Suppose -4*s + 14 = -p. Suppose -2*j = s*f - 190, -2*j - 75 = -f + 3*j. Is f a multiple of 10?
True
Suppose 25*r - 53*r = -476. Is 17 a factor of r?
True
Is 11 a factor of -7*2/(-28)*(27 - -9329)?
False
Let f(c) = -9*c**2 + 3*c + 19. Let n be f(-5). Is 1*1*(0 + 0) - n a multiple of 2?
False
Let x(y) = y**3 - 10*y**2 + 9*y. Let u be x(9). Suppose 64 = -u*j + 2*j + w, -103 = -3*j - 5*w. Suppose 5