+ 11*h**2. Let t be o(-1). Is (0 - (2 - -4))/(t/(-12)) a multiple of 14?
False
Suppose -12 = -23*t + 19*t. Suppose -t*q + 59 + 1180 = -5*g, 2*q + 2*g = 842. Is 34 a factor of q?
False
Let m(t) = -1147*t - 5724. Let b be m(-5). Suppose -5*a = -2*l - 329, 4*l = a - 67 + 12. Let o = b + a. Is o a multiple of 33?
False
Suppose 0 = -483*y + 484*y + 682. Let h = 182 - y. Does 24 divide h?
True
Let i = 41422 - 16707. Is i a multiple of 170?
False
Let i(v) = 515*v + 30. Is 2 a factor of i(1)?
False
Suppose -422*v + 6364672 = 90*v. Does 4 divide v?
False
Suppose 0 = 69*f + 412*f - 5687344. Is 82 a factor of f?
False
Let a(j) = 24*j - 170. Let n be a(8). Is (-2 + 4)/(46/n + -2) a multiple of 11?
True
Let r(a) be the third derivative of a**5/30 - 11*a**4/24 + 5*a**3/2 + 3525*a**2. Suppose 4*s + 0*s - 56 = 0. Is 18 a factor of r(s)?
False
Suppose 10 = 5*k + 8*p - 3*p, -2*k = -4*p + 8. Does 6 divide (-10)/(2 - k) + (-4 - -111)?
True
Suppose 2*f - 1 = 5*m - 4, 3*f = -3*m + 6. Let v(x) = 362*x**3 - 2*x**2 - 3*x + 3. Is v(f) a multiple of 34?
False
Let k(x) = -2*x**3 - 2*x**2 + 7*x + 9. Let b be k(-4). Let g = b + 167. Is g a multiple of 14?
False
Let t be (-4)/7 + 202/(-14). Let j(h) = -h**3 - 16*h**2 - 2*h + 12. Let c be j(t). Is 17 a factor of ((-2)/(-3))/((-2)/c)?
False
Let m = -538 - -343. Let b = m + 485. Does 11 divide b?
False
Let l(r) = -2*r**2 + 61*r - 30. Let m be l(30). Let o(i) = -i**3 - i + 2. Let h be o(0). Suppose -h*f + f + 122 = m. Is f a multiple of 15?
False
Suppose 2*q + 13 = 5*u + q, u = 5*q - 7. Suppose -1323 = -u*k - m + 5*m, 0 = k - 4*m - 441. Does 14 divide k?
False
Let v = 16387 + -12279. Is v a multiple of 7?
False
Suppose -2*z = 2, 7*z + 25 = 4*c + 2*z. Suppose o = -n + 55, 91 = 3*o + c*n - 72. Is (o/(-10))/(10/375*-3) a multiple of 10?
True
Suppose 118*l - 111*l - 28 = 0. Is 7 a factor of 74942/238 - l/(-34)?
True
Let o(c) = -7*c**2 + 526*c - 88. Is o(20) a multiple of 72?
True
Let z = 32731 - 9047. Is z a multiple of 141?
False
Suppose 0 = -2*h - 3*n - 9, -3 = -h - 0*h + n. Suppose -4*l - l + 55 = h. Suppose l - 81 = -o. Is 8 a factor of o?
False
Suppose 18 + 4 = 11*b. Let z(k) = 200*k - 96. Is z(b) a multiple of 16?
True
Let q(w) = -w**3 - 12*w**2 - 31*w + 6. Let h be q(-4). Suppose -5*i - 5*t + 258 = -22, 3*t = -h*i + 117. Is 2 a factor of i?
False
Let v(c) = 21*c**2 + 3*c - 4. Let b(n) = -n**2 - 11*n + 13. Let m be -18*(-2 + (-32)/(-12)). Let h be b(m). Is 4 a factor of v(h)?
True
Let t(j) = -7*j - 15. Let h be t(-3). Suppose 2508 = -0*n + h*n. Suppose -4*m = 7*m - n. Is m a multiple of 12?
False
Let c be 832/112 - 4/(-7). Suppose 10 = 2*o + c*o. Is 14 a factor of (3 - -124 - 2) + o?
True
Let b(j) = 8*j**2 - 5*j + 1. Let u be b(2). Suppose -6 = -p + q, 4*q - 34 = -5*p + u. Is 22 a factor of 1578/18 - (-3)/p?
True
Suppose 3749 - 10646 = 11*p. Let i = 1123 + p. Is i a multiple of 16?
True
Let v be ((-1)/3)/((5 + -2)/63). Let m(b) = -b**2 - 9*b - 9. Let c be m(v). Suppose f - 780 = -c*f. Is 26 a factor of f?
True
Let u be (155/(-124))/(2*2/(-64)). Suppose -1275 = u*o - 25*o. Is o a multiple of 51?
True
Is -27 + 141897/145 - (-2)/5 a multiple of 89?
False
Suppose -5*m + 1 = -2*m + 2*z, 0 = -3*z - 12. Suppose -3*d = -m*b - 4*d + 532, -b = -d - 172. Suppose -u - 4*y = -b, 7*u = 3*u - 2*y + 648. Is 11 a factor of u?
False
Let c(g) = -3*g - 12. Let f be c(-4). Suppose -10*n + b - 124 = -12*n, n + 4*b - 48 = f. Does 13 divide n?
False
Let j = -468 + 2284. Is j a multiple of 56?
False
Suppose 5*k - 1814 = 2*j, 786 = 4*k + 4*j - 682. Let z = k - 349. Is z a multiple of 5?
True
Let f be (-1 + 95/20 + -3)*7180. Suppose 3*n = 4*k - 3213, n - 1366 = 5*k - f. Does 14 divide k?
False
Let d(n) = n**2 + 6*n - 8. Let q be d(-8). Suppose -q*z + 2046 = -6642. Suppose 15 - z = -9*o. Does 17 divide o?
True
Suppose -16*s - 54 = -10*s. Let v be (s/(-6))/3*-12. Is 4/v*-3 - (1 + -17) a multiple of 6?
True
Let z be 4/(-8) + (-7)/(-2). Suppose -762 + 12 = -q + 2*p, -z*p = 2*q - 1500. Suppose q + 42 = 6*l. Is 33 a factor of l?
True
Let b(f) = 1028*f**2 + 44*f - 128. Does 42 divide b(3)?
False
Let s(q) = -3*q**2 + 8*q + 7. Let i be s(3). Suppose -4*l - 5*u = -2877, 2*u = l + i*u - 723. Is 31 a factor of l?
True
Let s(t) = -t**2 + 96*t + 958. Is s(35) a multiple of 12?
False
Let i = 16407 + -5493. Is 102 a factor of i?
True
Let a = 21 + -64. Let j = -43 - a. Suppose -2*k = 2, 0 = 4*b - j*b - 2*k - 314. Is b a multiple of 19?
False
Is (-3)/((-3946)/(-9940) - (-18)/(-45)) + 3 even?
False
Does 23 divide (-71080)/(-6) - 30/(-1215)*-27?
False
Suppose 30*m + 5*h = 34*m - 221035, 0 = -5*m - 3*h + 276303. Is 45 a factor of m?
True
Suppose -15*k - k + 200464 = 51*k. Is 8 a factor of k?
True
Let m(w) = w**3 + 10*w**2 - 10*w + 26. Let u be m(-11). Suppose -p + 179 = 3*b - 3*p, u = 3*p. Does 6 divide b/2 + (-10)/20?
False
Suppose -2*t - 8 = -6*t. Suppose 4 + 2 = 2*m. Suppose 9*f + t*l = 4*f + 443, 5*f = m*l + 423. Does 11 divide f?
False
Does 38 divide 2046 - (-10 + 14) - -3?
False
Let l = 8 - 3. Suppose p = -4*p + 25, -h = -l*p + 151. Let j = 177 + h. Does 17 divide j?
True
Let c = -40869 - -92499. Is c a multiple of 30?
True
Let a(c) = 195*c**2 + 671*c + 13. Is a(-19) a multiple of 57?
False
Suppose -229*i + 2*k = -232*i + 6957, -2*k = -3*i + 6957. Is i a multiple of 4?
False
Let z(s) = -s**2 - 33*s - 194. Let i be z(-9). Is 11 a factor of -130*(i/5)/(12/(-15))?
True
Suppose 4*b + 6 = -2*u, 10 = -4*b - u + 3. Does 15 divide b/(8/634)*(-24)/12?
False
Let x = -1209 + 2766. Suppose -7535 = -49*b - x. Is b a multiple of 31?
False
Let q be (-100)/(-14) + (-3)/105*5. Suppose q*n + 148 = 9*n. Is 37 a factor of n?
True
Let k = -46 + 137. Suppose 5*c + 5*d - 215 = 0, -3*d + k - 284 = -4*c. Does 3 divide c?
False
Suppose -5*w + 1458 = q, 5*w + 2*q - 1648 + 192 = 0. Is 6 a factor of w?
False
Suppose 5*s - 11 - 169 = 0. Is s/(-24)*(-8)/6 - -448 a multiple of 45?
True
Is 43 a factor of 585/2145 + (-70)/44*-30434?
True
Let t = 2527 + 7058. Does 27 divide t?
True
Let b be (-122017)/(-49) - (-1)/(-7). Suppose 9*q - b = 3*q. Is q a multiple of 27?
False
Suppose 8*d + 2*t - 1615 = 3*d, d + 4*t = 305. Suppose -4*b + 0*b + 636 = 4*m, -2*m + d = -5*b. Does 18 divide m?
False
Let q(s) = -2*s**3 - 13*s**2 - 9*s - 8. Let u be q(-6). Suppose 0 = 4*r + 4*w + 2 + 2, 0 = 5*r + 4*w + u. Does 10 divide (-124)/r + 4/(-6)?
True
Suppose 135*g - 9609 = -2*c + 132*g, 4812 = c + 3*g. Is c a multiple of 117?
True
Suppose 992*p - 118384 = 978*p. Is 151 a factor of p?
True
Suppose -185 = -4*a + 771. Is 64 a factor of a?
False
Let y(l) = 100*l + 1520. Is 45 a factor of y(0)?
False
Let w = -11644 + 13107. Is w a multiple of 11?
True
Let l(x) = -3*x**2 - 171*x + 60. Does 6 divide l(-57)?
True
Let v = -89 - -52. Let q = v + 34. Is (-149)/q + 6/18 a multiple of 25?
True
Let x(w) = -2285*w - 3673. Is 2 a factor of x(-4)?
False
Suppose s - 8 = 2. Suppose s = r + 4*r. Suppose -r*k = -l + 10, -l - 6*k + k - 4 = 0. Is 2 a factor of l?
True
Is 21 a factor of (3 + 15)/(1/84)?
True
Let b(n) be the second derivative of -9*n**2 + 1/6*n**3 + 39*n + 0 + 1/12*n**4. Is b(6) a multiple of 8?
True
Suppose 11*l - 55 = 11. Suppose 7*y + l*y - 1573 = 0. Is 10 a factor of y?
False
Let v(w) = -w**2 - 4*w + 1267. Let t be v(0). Suppose 4*j = t + 197. Does 25 divide j?
False
Let q = -5240 - -9428. Does 4 divide q?
True
Let o(w) = w**2 - 62*w - 241. Is o(-27) a multiple of 5?
False
Suppose -22*a = -23*a - c + 2461, -3*a + 7385 = 4*c. Suppose -a = -9*n - 821. Is 7 a factor of n?
True
Let x = -1706 + 3353. Does 9 divide x?
True
Let w = 2209 - 2207. Is 2 a factor of w?
True
Let t(m) = -m**2 + 2*m + 12. Let z be t(5). Let v be z + 1 - (-28 + 22). Suppose v*p - 42 = 326. Does 23 divide p?
True
Let w(s) = -s + 17. Let d be w(14). Let i(n) = 10 - 2*n - d*n + 0*n + 4*n. Does 7 divide i(-7)?
False
Suppose 5*u + 15550 = 2*y, 2*y - 9183 - 6343 = u. Is 40 a factor of y?
True
Let r = 312 - 309. Is 25 a factor of r*(93 - 1) - (1 + 0)?
True
Does 7 divide -154*(0 - (19/2 - 40/(-10)))?
True
Let u be (3 + 1 - 1)*8. Let f = 43 - u. Suppose 8*a = 69 + f. Is a a multiple of 11?
True
Suppose 9*r + 347 = -58. Let s be 4/((-24)/r)*(-4)/(-6). Suppose 2*i - n - 25 = -0*n, n - s = 0. Is i a multiple of 7?
False
Let w = -527 + 527. Suppose -5*y + 29*y - 113