f 5?
True
Suppose n - 4*z = 10240, -3*n + 30795 = -3935*z + 3938*z. Is n a multiple of 36?
True
Let c(w) be the first derivative of w**4/8 + 4*w**3 - 5*w**2/2 - 11. Let n(h) be the second derivative of c(h). Does 4 divide n(0)?
True
Let l(y) = -y**2 + 0*y**2 + 44*y - 67*y + 39*y - 2. Let k(d) = 5*d - 1. Let i be k(3). Is l(i) a multiple of 5?
False
Suppose -1936 = -4*o + 5*z, -z - 2453 = -5*o - 3*z. Suppose 2*p = -p + o. Suppose 733 - p = 6*l. Is 19 a factor of l?
True
Let l(g) = -1862*g**3 - 2*g**2 + 16*g + 30. Is l(-2) a multiple of 28?
False
Let r(o) = -4*o**2 + 8*o - 11. Let b(k) = -5*k**2 + 7*k - 12. Let c(d) = 2*b(d) - 3*r(d). Let h be c(4). Let a(l) = 83*l**3 - l + 1. Is a(h) a multiple of 34?
False
Let x(a) = -1005*a - 217. Is x(-5) a multiple of 8?
True
Suppose -15*q + 1 = 1. Suppose 0 = -q*w - w - 1, -2*w = y - 147. Is y a multiple of 18?
False
Suppose 0*h + 203 = h. Suppose -434*p = -465*p + 3472. Suppose 0 = -5*j + h + p. Is 9 a factor of j?
True
Let d = -3483 + 3707. Is d a multiple of 2?
True
Is 153 a factor of (-4284)/147*56/60*135/(-6)?
True
Suppose 150 = 11*u + 19*u. Suppose -2970 = -14*x + u*x. Is x a multiple of 11?
True
Suppose -20*y - 2056 = -12*y. Let h = y - -324. Does 12 divide h?
False
Suppose -6*x + 23328 = 18*x. Is x even?
True
Let h(a) = 5*a**2 + 6*a - 35. Let p be 34/5 + (-2)/(-100)*10. Is h(p) a multiple of 42?
True
Let k(n) = 151*n**2 + 256*n - 9. Is k(-9) a multiple of 84?
False
Suppose -5*r - 7765 = -h, 38762 = 5*h + 5*r - 9*r. Is 25 a factor of h?
True
Suppose -8*y + 39 + 225 = 0. Suppose -110 = -y*b + 23*b. Is 5 a factor of b?
False
Let p(f) = f + 1. Let o(x) = 24*x + 18. Let i(m) = 2*o(m) - 36*p(m). Let l be i(-1). Is (-514)/(-3) - l/(-36) - 3 a multiple of 28?
True
Let c(d) = d**3 - 84*d**2 + 314*d + 1314. Does 10 divide c(82)?
False
Let s = 23358 - -2586. Is 92 a factor of s?
True
Suppose -6 - 18 = -4*u. Let p be ((-10)/(-4) - 4)*(-8)/6. Is (p - -3)*u/5 a multiple of 6?
True
Let l = 46581 - 22304. Does 62 divide l?
False
Let j(z) = -229*z**3 + z**2 + 8*z + 16. Is 20 a factor of j(-3)?
False
Suppose -4*n = -n - 108. Suppose -4*g + n = -g. Suppose d - 3*c + 1 = 0, d + 2*c + 3 = g. Is d a multiple of 4?
False
Let s be (-58)/(-18) + (-6)/27. Let q be s/(-1*(-15)/(-20)). Is q/6 + (-1441)/(-33) a multiple of 11?
False
Suppose -2*y - 12 - 19 = -z, 5*z - 125 = 4*y. Suppose 0*t = 7*t - z. Suppose 4*o + t*h - 837 = 0, -3*h = -5*o + 367 + 659. Does 23 divide o?
True
Let x(v) = 4*v**2 + 3*v - 9. Let h be x(0). Is 15 a factor of h/(-30) - 75528/(-240)?
True
Suppose 2*d - z - 80 = 25, -198 = -4*d - 2*z. Suppose -d*m - 303 = -54*m. Is m a multiple of 10?
False
Let r = 1792 - 481. Does 57 divide r?
True
Suppose 0 = 27*k - 29*k, 5*k = -5*m - 61380. Is 31 a factor of (3/2 + 1)/((-33)/m)?
True
Let d(r) = 30*r + 5. Let c be d(3). Suppose -3*t + c = -3*l - 127, l = 4. Suppose f - 84 = t. Does 32 divide f?
False
Let r = -70 + 70. Suppose r = -4*m + 99 - 15. Let s = m + 6. Is s a multiple of 5?
False
Let b be (-22)/(-6) + (-2)/(-6). Suppose -3*u = 5*s + 13, 42 = b*u - 4*s + 6. Suppose -5*i = -u*q - 177, 4*q + 50 = -4*i + 170. Is 12 a factor of i?
False
Let w(k) = -25*k. Let n be w(1). Suppose -29*y - 16*y + 630 = 0. Let x = y - n. Is x a multiple of 17?
False
Let c(o) = 9*o**2 + 4*o - 16. Let i(f) = -f**3 + 6*f**2 - 7*f + 4. Let r be i(5). Is c(r) a multiple of 71?
True
Suppose -118181 = -4*j - 3*s, 11 - 7 = -4*s. Is 22 a factor of j?
True
Let x(o) = -o**2 - 23*o - 10. Let m be x(-19). Let z = -35 + 15. Let b = m + z. Is 46 a factor of b?
True
Suppose 0 = -3*t + 2 + 25. Suppose 2*m + a - t = 0, -7*a - 1 = -m - 4*a. Suppose 16 = m*k, -2*u - 2*k = 2*k - 456. Is 55 a factor of u?
True
Suppose -m - 146 = -6*t + t, -2*m = -4*t + 118. Suppose t*b + 590 = 34*b. Is b a multiple of 3?
False
Let r = -3925 - -8254. Is r a multiple of 111?
True
Let f be 1/(-5) - ((-198)/15)/6. Suppose -5*z = 2*t - 16 + 175, -5*z + 169 = -f*t. Let l = 138 + t. Does 4 divide l?
True
Let v be ((-6)/10 - (-86)/10) + -2. Let d(h) = 2*h**2 - 5*h - 11. Let a be d(v). Suppose -a*o + 162 = -25*o. Does 5 divide o?
False
Suppose 2*a = 3*a - 2*q - 130, 2*a - 258 = 2*q. Suppose 110*y = 134*y + 1608. Let i = y + a. Does 4 divide i?
False
Suppose 13*z - 8*z = -5. Let b be 6/8 - z/(12/(-705)). Let l = b + 94. Is 4 a factor of l?
True
Suppose u = 4*t + t - 19, -5*u - 20 = 0. Let z be (-14)/(-3) + 1/3 - -5. Suppose 7*k = d + 3*k + z, 6 = -d + t*k. Does 4 divide d?
False
Is (-103 - -107)/((-3 + 5)/10668) a multiple of 28?
True
Suppose 0 = 4*z - 4*q + 612, -7*z + 3*q - 611 = -3*z. Is 14 a factor of (-24)/(-1)*(-2394)/z?
True
Is 8 a factor of (799/(-3))/(23/(-69))?
False
Let p be ((6 - 51) + -3)*(-2 - -1). Is (p - -102)/((-1)/(-3)) a multiple of 15?
True
Let n(d) = d**2 + d + 6. Let t(k) = 4*k**2 + 4*k + 30. Let b(m) = 5*n(m) - t(m). Is b(9) a multiple of 5?
True
Let z(b) = -b**3 - 7*b**2 - 2*b + 8. Let c = 30 - 37. Let g be z(c). Suppose -82 = 20*f - g*f. Is 17 a factor of f?
False
Let w be 40/15 - 3 - 230/(-15). Suppose -2*i + 10*g = w*g - 100, -i + 20 = -5*g. Does 10 divide i?
True
Suppose -3*i = 7 - 22, -3*g - 358 = -2*i. Let n = 40 - g. Is 26 a factor of n?
True
Suppose 3*w + f = 1705 + 211, 4*f = -3*w + 1904. Is w a multiple of 2?
True
Suppose 0 = 5*m + 25, 0*k = k - 5*m - 70. Suppose 9*v - k = 432. Is 6 a factor of v?
False
Let q(a) = -a + 4. Let j be q(-8). Let k(p) be the first derivative of -p**3/3 + 7*p**2 + 8*p + 261. Is 6 a factor of k(j)?
False
Let z be (1 + -5)/(-2) - 247. Let j = 107 + z. Let a = j - -237. Is 10 a factor of a?
False
Suppose 2*w = v + 10, 0 = 3*w + 10*v - 5*v - 2. Suppose -4*x + 7480 = w*c, 19 + 1 = -4*c. Is 57 a factor of x?
False
Suppose -85*k + 82*k = -81. Suppose k = -0*x + x - 4*m, m = -x + 22. Is x a multiple of 14?
False
Suppose 4144 = 430*s - 414*s. Does 4 divide s?
False
Suppose 4*h = -70*h + 10952. Suppose -x = f + 79, 0 = -5*f + 4*f - 2*x - 75. Let s = f + h. Does 27 divide s?
False
Let d(a) = -a + 21. Let r = -158 + 166. Is d(r) a multiple of 6?
False
Suppose 3050 = 4*a + 578. Suppose 4*s = -m + a, -m + 159 = s - 3*m. Is s a multiple of 15?
False
Suppose 0 = 3*q + 3*q - 12. Does 108 divide 198/((-36)/27 + q)?
False
Let y(v) be the second derivative of -v**4/12 - 13*v**3/2 - 57*v**2/2 + 91*v. Does 27 divide y(-24)?
False
Suppose -2*s - 2*n + 180 = 0, 0 = 3*n + 20 - 8. Suppose 98*l - s*l = 1360. Is 25 a factor of l?
False
Let z be ((-4824)/10)/(12 - 793/65). Suppose 26*q = 35*q - z. Does 3 divide q?
False
Suppose -4*n - 13 = -33, -5*q - n + 20 = 0. Let w(b) = -b**2 - b. Let r be w(0). Suppose 3*l = 4*o - 355, q*l - 261 = -3*o - r*l. Does 8 divide o?
True
Let d = -352 - -563. Let g = d + -205. Is 2 a factor of g?
True
Let c(u) be the second derivative of 11*u**3 - 63*u**2 - 97*u. Does 12 divide c(13)?
True
Let d(v) = -42*v + 25*v - 2 + 2*v**2 + 1 - 5. Let f be d(9). Suppose 369 = 5*o + f*r, -5*o + r = -0*o - 357. Is 36 a factor of o?
True
Suppose 2*c + 6*q + 17 = q, -c + q = 26. Let r(v) = -89*v**2 + 24*v - 25. Let z be r(1). Let a = c - z. Is a a multiple of 9?
False
Let b = -2747 - -4480. Is 5 a factor of b?
False
Suppose -19*i = -2*i - 2*i. Suppose i = 2*p - 6*p + 3*n + 2077, 4*p + 2*n = 2062. Is p a multiple of 27?
False
Let d(j) = -23*j**3 + 9*j**2 + 6*j - 38. Is 87 a factor of d(-6)?
False
Suppose 3*w - 42 = 4*r + 12, 3*r + 2*w + 32 = 0. Does 4 divide (-600)/(-9)*((-342)/r)/19?
True
Suppose -3*c = 0, -4 + 0 = -2*p + 5*c. Suppose 0 = -3*z + 5*i + 184, 4*z - p*i - 236 = -0*z. Suppose -3 + 25 = 2*u + 4*o, z = 3*u + o. Does 3 divide u?
True
Is (17739/(-4015) + (-2)/11)/((-7)/43295) a multiple of 13?
False
Let m be ((-9)/(-2))/((630/(-20))/(-21)). Does 56 divide 5/m*-3 + 1173 + 1?
False
Suppose 0 = -7*z - 28 - 0. Is (-42)/56 + -1 + (-271)/z a multiple of 13?
False
Let i be 5 + -3 + 1*-2. Suppose i = -5*k - 3*h + 5, h + 2 = -3. Suppose n = 2*a + 68, 3*n - k*a + a - 204 = 0. Does 9 divide n?
False
Let g(b) = -4*b**3 - 26*b**2 - 6*b + 30. Let a(p) = 3*p**3 + 26*p**2 + 5*p - 31. Let t(s) = 6*a(s) + 5*g(s). Does 56 divide t(11)?
True
Let x(f) = f**2 + f - 18. Let j be x(4). Suppose j*r = -4*r + 1764. Is 29 a factor of r?
False
Let m = 131 - -4063. Is m a multiple of 36?
False
Suppose -27*w - 16 = -29*w. Let t be (2/((-8)/67))/((-1)/w). 