 Is 14 a factor of 14/b*(280/4 + 2)?
True
Suppose 4*u = -3*y + 206, -9*u + 14*u = -4*y + 275. Let x = y + 685. Is x a multiple of 56?
False
Suppose -8*h = -11*h + 6. Suppose -1408 = -3*k - 3*l - h*l, 4*l = -4. Is k a multiple of 10?
False
Let l(s) = 2*s**2 - 25 - 30 + 10*s + 55. Suppose 2*f - 4 = 2*p + 10, 3*f = -5*p - 67. Is 21 a factor of l(p)?
False
Let v = -43 + 47. Let g = v + -344. Let t = -200 - g. Is t a multiple of 14?
True
Suppose 0 = 2*c - 4, -3*s + c + 20 - 1165 = 0. Let z = s + 202. Let k = 367 + z. Does 13 divide k?
False
Let d(n) = 2*n**2 - n + 11. Let i(a) = 2*a**2 + 11. Let l(p) = 3*d(p) - 4*i(p). Let z be l(-8). Let r = z + 220. Is r a multiple of 15?
True
Suppose 2*d - 19679 = 16693. Is 7 a factor of d?
True
Suppose 30 = 7*t - t. Let h be t/(-2)*(-18)/(-15)*17. Is (-2)/10 - h/5 even?
True
Suppose -34440 = -4*m - 12*m + 25944. Is 51 a factor of m?
True
Let f(s) = -s**3 + 4*s**2 - 7*s. Let g be f(-5). Suppose -3*l = -5*u + g, 0 = 14*u - 11*u - 3*l - 162. Is u a multiple of 8?
False
Let x = -1011 + 1066. Is 32 a factor of (100/x + -2)*-10681?
False
Let f(p) = -6*p + 1. Let z be f(1). Let w = 407 - 390. Let g = w - z. Is g a multiple of 9?
False
Let p(y) = -2*y**2 + 19*y - 23. Let w be p(8). Let v be (-19 + 10)/(w - (-1)/2). Let d(a) = -a**2 - 10*a - 7. Is 15 a factor of d(v)?
False
Let w be (-8)/(-44) + 752/(-22). Let v = 471 - w. Let j = -110 + v. Is 61 a factor of j?
False
Suppose 4*r - 4*u - 64 = 0, 4*r + 4*u - 23 - 17 = 0. Suppose r*t = 216 + 57. Is 21 a factor of t?
True
Let x be (17/(-17))/((-1)/90). Suppose x*t - 100*t = -6110. Is t a multiple of 13?
True
Suppose 3*w - 54 + 39 = 0. Suppose w*i = 3*x + 1283, 0*i + 3*i - 4*x = 761. Let v = i + -176. Is v a multiple of 18?
False
Let q(w) = w**3 - 2*w**2 - 10*w + 11. Suppose 0 = 62*u - 55*u - 42. Is q(u) a multiple of 5?
True
Suppose -2*z - 528 = -26*z. Suppose 19504 - 4720 = z*f. Does 53 divide f?
False
Let l be 6 - (-4)/2 - 1. Suppose 1458 = -l*z + 4734. Does 7 divide z?
False
Let i(z) = -150*z**3 - 6*z**2 - 111*z - 432. Does 4 divide i(-4)?
True
Let m = -22069 + 36709. Is m a multiple of 61?
True
Suppose 3*r - 5*s - 86 = -r, 5*r - 4*s - 103 = 0. Suppose 29 = -4*b - r. Is (-3)/b - 151/(-4) a multiple of 19?
True
Is 44 a factor of (0 + 4)*-1 - 3 - (0 - 4205)?
False
Let x(m) = 34*m**3 + 6*m**2 - 11*m + 8. Is 43 a factor of x(4)?
True
Suppose -13*m = -11*m + 354. Let o = m + 116. Let w = 41 - o. Does 11 divide w?
False
Let z be 2 - 3/((-12)/8). Suppose 0 = -5*w + 5*b + 935, 0 = w - z*w + 2*b + 566. Suppose -32 = 4*c - w. Is 8 a factor of c?
True
Let r(o) = 1861*o - 181. Is r(18) a multiple of 59?
False
Let m(z) = 5*z + 15. Let c = -100 + 102. Let i be ((-27)/(-2))/9 - (-37)/c. Does 22 divide m(i)?
False
Suppose -4677 = -u + a, -5*a = -2*u + 11505 - 2160. Is 90 a factor of u?
True
Let n(b) = 18*b**2 + 298*b - 3. Is 51 a factor of n(-24)?
True
Let m = 9 - -36. Let j = m - -271. Is 21 a factor of j?
False
Suppose -2*f - 25*b = -26*b - 65203, 0 = 5*f + b - 163025. Is f a multiple of 61?
False
Does 2 divide (-9)/(459/6) - (-5 - 7669/17)?
True
Let u(r) = -156*r**3 - 3*r**2 - 8*r - 17. Is 10 a factor of u(-3)?
False
Let h = -117 - 428. Let n = -454 - h. Is n a multiple of 3?
False
Let p be 7 + (-1542 - 5) + 6. Let d = -962 - p. Does 11 divide d?
True
Suppose 66 = 3*w - 57. Suppose w*x = 39*x + 340. Does 39 divide x?
False
Suppose 0 = -7*y + 27 + 169. Does 8 divide (-1856)/(-14) - 16/y?
False
Let s(t) = 17*t**2 - 55*t + 13. Suppose -10 = f + 3*i - 3, -f = i + 5. Let z(p) = 4*p**2 - 14*p + 3. Let y(x) = f*s(x) + 18*z(x). Is 22 a factor of y(10)?
False
Let c(z) = -41*z + 1065. Is 15 a factor of c(23)?
False
Let p(n) = n**3 - 5*n - 99. Let s be p(0). Let f = 128 + s. Is f a multiple of 12?
False
Let v = -99 - -102. Let f = v - -1. Suppose -3*o + 5*b - 8*b + 606 = 0, -5*o + f*b = -992. Is 50 a factor of o?
True
Suppose 3*t - 4*r + 18 = 0, -2*t + 4*r - 6 - 2 = 0. Let i(w) = -w**2 - 11*w + 134. Does 72 divide i(t)?
True
Suppose p - 5*p - 340 = -4*f, 2*f = p + 165. Let l = -42 + f. Suppose 0 = -17*u + 15*u + l. Is 15 a factor of u?
False
Let k(z) = 4*z - 782 + 8*z - 764 + 1517. Is 22 a factor of k(21)?
False
Let g = 10465 + -10464. Let q(o) be the third derivative of 113*o**4/24 + o**3/2 - o**2. Does 29 divide q(g)?
True
Let r(i) = i**2 + 8*i + 3 - i + 0*i. Suppose 3*p + 58 = -4*v + 6*v, -5*v + 57 = -2*p. Is 11 a factor of r(p)?
False
Let o(k) be the third derivative of k**5/60 + 5*k**4/8 - 59*k**3/6 - 45*k**2. Is 63 a factor of o(21)?
False
Let g(b) = 644*b + 3203. Does 183 divide g(26)?
True
Let z = -995 - -2128. Suppose -5319 + z = -13*v. Does 7 divide v?
True
Let a = 159 - 150. Suppose -a*j = 7*j - 8064. Does 14 divide j?
True
Let h be 34/(-170) - 48032/(-10). Suppose 447*c + h = 450*c. Does 107 divide c?
False
Let m = 39913 - 23227. Is m a multiple of 6?
True
Suppose -2 = 2*p, 2*p - 7170 = -5*h - 3*p. Is h a multiple of 7?
True
Let v(h) = 22*h - 48. Let p be v(2). Is (9 + 25)*(-88)/p a multiple of 34?
True
Let b(m) = 49*m**2 - 20*m - 302. Is b(23) a multiple of 78?
False
Suppose 3*a - 3*t - 13281 = 0, 4*a - 5*t - 14215 - 3492 = 0. Is a a multiple of 3?
True
Suppose k + 8 = 0, -3*s + 60276 = s - 2*k. Is s a multiple of 23?
True
Suppose 1484640 + 2394047 = 164*h - 1222697. Does 54 divide h?
False
Let z = -39794 - -80901. Is z a multiple of 44?
False
Suppose 3*a = 2*a. Suppose a = -z - 2*m - 0 + 20, m + 20 = 2*z. Suppose -z*s + 266 = -154. Does 9 divide s?
False
Suppose 125*n - 129*n + 1968 = 0. Let p = -225 + n. Let c = -113 + p. Does 22 divide c?
True
Let y = 214 - 259. Let p = 254 + y. Is p a multiple of 19?
True
Let j = -3593 + 9637. Is j a multiple of 47?
False
Suppose -x = i + i + 142, 5*x + 749 = 3*i. Suppose j + z = 2*z - 74, -4*j - 323 = 5*z. Let o = j - x. Is 37 a factor of o?
False
Let c be 2/3*(321 + -1 + -2). Suppose -5*t + 213 = -c. Does 12 divide t?
False
Let x = -169 + 169. Suppose 12*m - 20403 + 3555 = x. Does 13 divide m?
True
Let c be (-260)/(-78) + (-2)/(-3). Suppose -4*p + 348 = -c*r, -18 + 212 = 2*p + 2*r. Is 13 a factor of p?
False
Let q(t) be the third derivative of t**6/120 - 11*t**5/60 - 5*t**4/12 + 2*t**3 + 5*t**2 - 8*t. Does 5 divide q(13)?
True
Let s be ((-18)/12)/(((-10)/2)/10). Suppose -2*b + 438 = g - 855, 2*b - 1313 = s*g. Does 8 divide b?
False
Let w = 82900 - 51999. Is 13 a factor of w?
True
Let b = 28040 - 12813. Does 29 divide b?
False
Let c(n) be the second derivative of -5/3*n**3 - 31*n + 0 + 15*n**2. Is 5 a factor of c(-4)?
True
Suppose 3*a - 16367 = y, 3*y = y - 10. Is 54 a factor of a?
True
Suppose -562 = 2*j - 64. Let l = -203 - j. Is 3 a factor of l?
False
Let b be 328/(-1) + 1*(-4 - -3). Suppose -4*r = -o + 252, 76 + 113 = -3*r + 3*o. Is 3 a factor of -5 + b/r + 79/9?
True
Let q(o) = -o**3 - 12*o**2 - 13*o - 34. Let f be q(-11). Let z(d) = 2*d**2 + 20*d - 39. Does 9 divide z(f)?
True
Let t(f) be the second derivative of f**6/45 - 19*f**5/120 - f**4/24 + 5*f**3/6 + 4*f - 1. Let m(q) be the second derivative of t(q). Is m(-2) a multiple of 9?
False
Suppose 16 = 3*m + 22. Let u be -81*m/(10 - 4). Let d = 45 - u. Does 5 divide d?
False
Let s(k) = k**3 + 4*k**2 - 4*k + 9. Let b be s(-5). Suppose -3*h = 5*f - 7 - 52, 3*f = -b*h + 97. Is 28 a factor of h?
True
Let t = 15858 - -1788. Is 224 a factor of t?
False
Suppose 21067 = 3*x - 16*p + 11*p, 0 = -2*x + p + 14054. Is 10 a factor of x?
False
Let w(g) = 6*g**2 + 157*g + 143. Is 111 a factor of w(-35)?
True
Is 34 a factor of (-4*4/16)/((-18)/27540)?
True
Let b = -80 + 85. Suppose b*i + 61 = 4*r - 487, -376 = -3*r - 5*i. Does 29 divide r?
False
Let s be -107*(-3)/(-6)*-2. Suppose -3*a - a = 3*n - s, 3*n - 111 = -3*a. Suppose 4*m - 19 - n = 0. Does 5 divide m?
True
Let z be (16/4)/(-4)*(-3 + 6). Does 20 divide (39 + 13)*((-15)/z)/1?
True
Let q = -13941 + 23329. Is q a multiple of 150?
False
Let i(f) be the first derivative of -4*f**4 + 37. Let n be i(-1). Suppose -184 - n = -r. Is 8 a factor of r?
True
Let j(c) = -7*c**3 - 37*c**2 - 8*c + 73. Let u(w) = -4*w**3 - 18*w**2 - 4*w + 36. Let k(a) = -3*j(a) + 5*u(a). Does 25 divide k(-20)?
False
Suppose 9*o + 4*t + 20 = 4*o, 4*o - 25 = 5*t. Suppose -4*g + 4238 = 4*q + 130, o = q + 3*g - 1033. Is 66 a factor of q?
False
Let n be (-7 - -5) + (-44)/(-4 - 0).