+ 1. Let j be v(1). Let i(f) = -1. Let c(w) = j*t(w) - 4*i(w). Is c(-9) a multiple of 11?
True
Suppose i + i - 654 = 0. Let q be (i*1)/(-1)*(-6)/9. Suppose -7*g - 64 = -q. Does 3 divide g?
False
Let q be (1/(-2))/((5 + -3)/32). Let x(o) = o**2 + 8*o + 18. Let d be x(q). Does 2 divide (19 - d)/(1/34)?
True
Suppose 43*f + 4*f - 346540 - 274706 = 0. Is 35 a factor of f?
False
Does 2 divide (-4)/(-36)*21522 - ((-2)/3 - 0)?
True
Suppose 2*q + 3*z + 27 = 7*q, z - 8 = -4*q. Suppose -q*l + 2*w + 2324 = 0, 4*l + 798 = 5*l + 4*w. Is l a multiple of 45?
False
Let x be (4 + (155/(-25) - -3))*5. Suppose 0*h + 3*h - 891 = -5*f, 3*h = -x*f + 711. Is 20 a factor of f?
True
Suppose 1424*q + v = 1426*q - 63668, v - 31840 = -q. Does 28 divide q?
True
Let m = -104 - -178. Suppose -9*l + 290 = -4*l. Let f = m - l. Does 4 divide f?
True
Let z(t) = -12*t**2 + 6*t - 25. Let b be z(6). Let m = -37 - b. Suppose -5*h + p + p + 480 = 0, -4*h + m = 2*p. Is h a multiple of 16?
True
Suppose 0 = 2*q - q - w - 619, -3*q = 2*w - 1877. Let t = q - 269. Is 36 a factor of t?
False
Let q(g) = 2*g**2 - 3*g + 2824. Is 237 a factor of q(83)?
True
Suppose 0 = -4*t - 10*t - 238. Let m = t - -144. Is 19 a factor of m?
False
Suppose -25856 = -2*a + 6*k, -27*k = -2*a - 22*k + 25854. Is 3 a factor of a?
False
Let x be 7 + (-6)/2*1. Suppose n - 4*t - 19 = t, -2*t = -n + x. Is 17 a factor of (75/n + 4)*-10?
True
Suppose 0 = 6*x - 4*x + 80. Let v be ((-80)/(-50))/((-2)/x). Let j = 51 - v. Is j a multiple of 19?
True
Suppose -188*f + 159*f = -2262. Let y(z) = 2*z**2 + 3*z + 1. Let b be y(-2). Suppose -4*w = p - 943, 2*p + 788 - f = b*w. Is w a multiple of 21?
False
Let d(t) = 44*t**2 - 102*t - 764. Is 2 a factor of d(-12)?
True
Let q(b) = -b**3 + 5*b**2 - b. Let o be q(4). Let s(z) = -o + 6 + 15 - 4*z. Does 23 divide s(-15)?
True
Suppose 0*d + 5 = -d + 5*q, -2*d - 5*q - 25 = 0. Let r be -5 + (-1985)/d*2. Suppose -r = -49*c + 47*c. Is 14 a factor of c?
True
Suppose -9*k + 2*k = -14. Suppose k*l - 508 = -4*v, -3*l + 18*v + 760 = 22*v. Is l a multiple of 17?
False
Let v = -4 + 7. Let j(m) = -m**2 + 26*m + 4. Let n be j(26). Suppose o = -v*c + 80, n*o - 160 = 2*o + 5*c. Is o a multiple of 16?
True
Let h be 3 + -14 - 1/2*4. Let i = -10 - h. Is (-1)/(0 - i/(-6)) + 114 a multiple of 8?
True
Suppose 4*d - 5*c = 9353, -157*c - 4684 = -2*d - 153*c. Is 22 a factor of d?
True
Suppose s - 75 = -o + 3*s, 3*s - 9 = 0. Suppose o*p + 2196 = 87*p. Is 13 a factor of p?
False
Let i(u) = -11*u - 76. Let n be i(-17). Suppose 2*y - 3*v - 310 = 0, 31 = y + 5*v - n. Is 15 a factor of y?
False
Let q be 624/(-63) + (-4)/42. Suppose -3*s - 12 = -0. Is 5 a factor of s/q - 714/(-15)?
False
Suppose -7*s + 2*s - 22285 = -5*a, -s = a - 4447. Suppose -5*o - a = -19*o. Does 26 divide o?
False
Suppose -2*i - 3*v + 63 = 0, -2*v = -i + 3*v + 64. Let j be (-26)/i - (-128)/3. Suppose 7*k - j - 98 = 0. Is k a multiple of 10?
True
Suppose 1693*f - 1692*f - 2026 = -o, -10118 = -5*f - 3*o. Does 46 divide f?
False
Let n = -53 + 61. Suppose -5*l = 3*u + n, -4*l = -4*u - 18 + 50. Suppose -5*m + 20 = i, -2*m + u*m - 192 = -5*i. Is 7 a factor of i?
False
Let l be 0*(3 - (8 + -4)). Suppose l = 3*y + f - 142, -2*y = 2*y - 3*f - 172. Suppose -24 = -h - 3*n + 11, 2*h - 2*n - y = 0. Is h a multiple of 9?
False
Suppose 4*i - 1800 = -4*z, -2*z - 212 + 1112 = i. Suppose -3*k + q - 5*q + 353 = 0, -5*q = -4*k + z. Suppose 4*d - k = 417. Does 19 divide d?
True
Let q be 58 + 4 + 0/(-5). Suppose 0 = -h + 4*u + 16, 0*h + h - 12 = 3*u. Suppose h = l - q - 62. Is 13 a factor of l?
False
Let t(p) = 18166*p**2 - 43*p + 39. Is t(1) a multiple of 18?
True
Let b = 2523 - 1504. Is 3 a factor of b?
False
Suppose -116*r + 269637 = -498248 - 95619. Is 18 a factor of r?
False
Let l be (-5)/((-50)/(-85))*124. Let w = -482 - l. Is w a multiple of 13?
True
Let z = -338 - -3438. Suppose 0 = -c - 9*c + z. Is c a multiple of 31?
True
Let g be (-46)/(-14) - 2/7 - 6. Let o be (-150)/(g - -2)*2/(-3). Let l = 2 - o. Is l a multiple of 51?
True
Let u = 189 - 187. Is (-56 + 10 + -6)/(u/(-40)) a multiple of 22?
False
Suppose -40*j = -32*j + 232. Let m(b) = -4*b**2 + 7*b - 1. Let h be m(5). Let s = j - h. Does 8 divide s?
False
Suppose -3*o - 3552528 = -83*o - 114*o. Is 84 a factor of o?
True
Suppose -48 = -c + 2582. Suppose -2*u + c = 4*n, -n + 2*u = -0*u - 670. Suppose 0 = 2*d - 5*d + n. Does 39 divide d?
False
Suppose 0 = -3*z + 4 + 8, 4*z - 26 = -2*t. Suppose -q - 2*q - t*o + 165 = 0, -5*q + 306 = -2*o. Does 6 divide q?
True
Let b(j) be the second derivative of 83*j**5/120 - j**4/8 - j**3/2 + 5*j. Let s(l) be the second derivative of b(l). Is s(1) a multiple of 10?
True
Is 23 a factor of 4/14 + (-1365068)/(-742)?
True
Let x(r) = -182*r + 33. Let z be x(-4). Let g = z - 251. Is 41 a factor of g?
False
Suppose -5*l - 3*m + 605 = -163, 0 = -2*l + 5*m + 301. Is 9 a factor of l?
True
Let l(r) = 13*r**3 + 12*r**2 - 23*r + 133. Does 83 divide l(9)?
True
Suppose -111*y + 114*y + q - 9735 = 0, y - 3225 = 3*q. Is y a multiple of 9?
False
Let f = -338 + 358. Suppose 23*s - f*s = -6, -3*s = -4*t + 438. Is 9 a factor of t?
True
Let t be 40/(-7) + 12/(-42). Let f = t - -114. Suppose -3*n = -2*n - f. Does 12 divide n?
True
Let g(w) = -148*w**3 + 5*w**2 + 11*w + 7. Is 41 a factor of g(-2)?
True
Suppose -5*i = -2*q - 5158, -4*i + 4*q - 1893 = -6017. Does 12 divide ((-33)/(-4))/(43/i)?
False
Let f be 8/(-5)*10/(-4). Suppose -3*p - p = -2*l - 476, -5*p + 598 = -f*l. Let s = -41 + p. Does 11 divide s?
True
Let i = 6145 + -3060. Suppose -h - 5*u = h - 1228, 5*h + 5*u - i = 0. Does 41 divide h?
False
Let m(q) = 17*q**2 + 161*q + 5715. Is m(-45) a multiple of 43?
True
Let k = -186 - -50. Let w = k - -250. Suppose 48 + w = 6*s. Is s a multiple of 9?
True
Let g(v) = 138*v + 4. Let y(a) = 139*a + 4. Let m(s) = s**2 - s + 1. Let l be m(2). Let x(b) = l*y(b) - 2*g(b). Is 17 a factor of x(1)?
False
Suppose 257*w - 265*w + 40 = 0. Does 6 divide 1*(-248)/w*(-70)/28?
False
Let c(l) be the second derivative of -l**5/10 - 15*l**4/4 + 13*l**3/6 - 12*l**2 + 34*l + 1. Is c(-23) a multiple of 9?
False
Let c(n) = 26*n + 264. Is 14 a factor of c(-1)?
True
Suppose -4 = -2*x - 2*x. Suppose -2*d = -4*w - 30, -2*w + d = 3*d + 30. Is 15 a factor of (-12*x)/(2/w)?
True
Let p = -459 - -383. Let g = p - -560. Does 17 divide g?
False
Let t be (-2 + 3)*(-1 - -8). Let v(d) = 11 + 667*d**3 - 666*d**3 + 7*d**2 - 4*d**2 + 4*d - 9*d**2. Is 8 a factor of v(t)?
True
Let m = -5840 - -31890. Does 83 divide m?
False
Let h be 0*2/(-4)*(19 + -20). Suppose -1299 = -4*q + 3*p - h*p, -4*p = -q + 328. Is 9 a factor of q?
True
Let t = 323 + -321. Suppose -4*j = t*v - 2892, 0 = 2*j - 5*v + 4*v - 1450. Is j a multiple of 6?
False
Let v(z) = 6*z**2 - 14*z + 137. Is 15 a factor of v(7)?
False
Let u = -16092 + 17936. Is u even?
True
Suppose 0 = -3*x + 16 - 7, -4*d = -3*x + 457. Let f = 285 + d. Is f a multiple of 14?
False
Suppose 13*j - 3737 = -188. Suppose 5*a - 464 = -2*f, -3*a - f = 2*f - j. Is 3 a factor of a?
False
Suppose -4*u - 5*i = -115840, -1118*u + 1120*u = -2*i + 57922. Does 6 divide u?
False
Does 13 divide (-14 - -2)*(3 + (-3939)/6)?
False
Let f(q) = 35*q + 50. Let h = 30 - 11. Let d be f(h). Suppose 8*w = 13*w - d. Is w a multiple of 13?
True
Suppose 38*i - 5734 = -1744. Suppose -4 = -3*k + 2*d, 2 = 4*k - 5*d - 1. Suppose -5*t + o = -203, 5*o = -t - k*t + i. Is t a multiple of 20?
True
Suppose -3*g = -t + 3783, 16*t + 18*g - 19*g - 60528 = 0. Is 13 a factor of t?
True
Let m(q) = -q**2 - 47*q + 20. Let c be m(-32). Let p = c + 318. Is p a multiple of 36?
False
Suppose -1 = -5*p + 4. Let n be 110*(-3 + p)/(-4). Let j = n + 40. Does 20 divide j?
False
Let o(x) = x**3 - x + 1. Let h(g) = -7*g**3 + 21*g**2 + 37*g + 5. Let z(d) = h(d) + 6*o(d). Is 19 a factor of z(22)?
True
Does 77 divide ((-307762)/(-114) - 2/3) + -2?
False
Let x = -4164 - -4660. Is x a multiple of 8?
True
Suppose 0 = -2*a - 3*f + 3 + 16, -3*a + 4*f = 14. Let g(t) = 5*t**3 - t**2 - 2*t - 1. Is 31 a factor of g(a)?
True
Suppose 51*n - 5 = 50*n. Suppose 4*t = n*i - 40, -10 = -i - 5*t + 27. Is 18 a factor of 12*(-1)/((-2)/i)?
True
Let r(i) = 5*i**3 - i**2 - i - 5. Let l be -1 - -4*(6 - 10/2). Is 5 a factor of r(l)?
False
Let z = -209 - -225. Is z/(-64) - 2666/(-8) a mu