v. Is 45 a factor of j?
False
Let x(r) = 4*r**2 + 48*r + 19. Let n be x(-8). Let d = 194 + n. Is d a multiple of 5?
True
Let x(y) = y**2 + 14*y + 36. Let n be x(-11). Suppose -2*m - 5*g - 50 = n*m, 20 = -3*m - g. Is m + 0 - (-2 - 115) a multiple of 13?
False
Suppose -799*i + 45873 = -776*i - 86607. Is i a multiple of 14?
False
Let i(g) = -g**3 - 5*g**2 + 4*g - 24. Let m be i(-6). Does 2 divide (-4)/(-8)*m/(-3) + 0?
True
Suppose -7*d + 62 = -5*d. Let m = 41 - d. Is (16/(-20))/4 - (-362)/m a multiple of 4?
True
Let b be 5/2 + (-20943)/(-18). Suppose 4*m + 2*s - b = -m, 3*m - 3*s - 687 = 0. Is m a multiple of 29?
True
Suppose -6*h + 2*h + 4*x - 204 = 0, 2*h = x - 99. Let f(d) = -d**2 + 6*d + 4. Let i be f(5). Is 8 a factor of h/i*(-84)/16?
False
Let t(b) = -1638*b - 6090. Is 168 a factor of t(-27)?
True
Is 85 a factor of (-10)/14 - 424788/(-147)?
False
Let x = -2 - -17. Suppose 0 = -5*m + 20, 0 = -2*k + 3*m - 7 - 15. Let u = k + x. Is u even?
True
Suppose 210900 = 27*w + 16*w - 304541. Is w a multiple of 3?
False
Suppose -13695 = 35*b - 2*b. Let f = -287 - b. Is f a multiple of 8?
True
Let b(p) = 5*p**3 + 3*p**2 - 47*p + 1. Let n = -401 + 406. Does 55 divide b(n)?
False
Let f be 378 - 1*(-3 - (-4)/2). Let r = f - 244. Suppose 6*h - 220 = h + 4*t, 3*t = 3*h - r. Is 20 a factor of h?
True
Let k = 77988 - 31404. Does 36 divide k?
True
Let m = -197 - -206. Let p(v) = 12*v**2 - 9*v - 12. Does 68 divide p(m)?
False
Let o = 424 - 200. Let c = o + 32. Is c a multiple of 32?
True
Let q = -4038 - -4824. Does 131 divide q?
True
Let j be (-80)/30*3/(-4). Suppose -55 = -w + j*s + 194, w + 5*s = 235. Suppose 5*l = -5*f + w, -2*f + f - 159 = -3*l. Does 13 divide l?
True
Suppose 0 = 4*d - 2*f + 56, 5*f + 6 = 2*d + 42. Is 35 a factor of (-1)/d - 567362/(-806)?
False
Let w be (5/3)/(5/6). Suppose 0 = -2*l - 2*h + 138, -5*h + 277 = w*l + 2*l. Does 6 divide (-1)/(-4) - (-1819)/l?
False
Let n = 1229 + -323. Suppose 9*g - n = 3*g. Is g a multiple of 22?
False
Let w = 190 - 181. Is 2/w - (5126/(-18) - -2) a multiple of 33?
False
Let l = 28 + -24. Let f be l*-3*5/(-30). Let w(v) = 9*v**3 - v**2 + 3*v - 3. Is 16 a factor of w(f)?
False
Let k be 28/(-2) - 1 - (0 + 0). Let y be 51*((-56)/12 + 4). Let o = k - y. Is o a multiple of 3?
False
Suppose -4*m + 824 = -2*m - 1548. Is m a multiple of 2?
True
Let w be (-12)/(-8)*4/(-1 + -1). Let v(j) = 3*j**2 - 6*j + 19. Let z(q) = -2*q**2 + 3*q - 9. Let d(r) = w*v(r) - 5*z(r). Is d(8) a multiple of 19?
True
Suppose -4*a - 3*j + j + 120 = 0, 122 = 4*a + 3*j. Suppose 2106 = a*m - 16*m. Is m a multiple of 13?
False
Let c(u) = 2*u**3 - 6*u**2 - 4*u + 5. Let i be c(-4). Let g = i - -91. Let b = 200 + g. Is 8 a factor of b?
True
Let z(v) = 28 - 3 - 5*v**2 + 3*v - 10 - 8 + v**3. Let c be z(4). Is 17 a factor of (c/((-27)/(-102)))/((-2)/(-30))?
True
Let p(v) = -794*v + 553. Does 34 divide p(-19)?
False
Suppose 4*g - 4 = 0, -5*a - 6*g - 241 = -7*g. Let c be (30/a*4)/((-2)/4). Suppose -145 = -3*b - c*j, j = 3*j - 10. Is b a multiple of 20?
True
Suppose 3 = -13*n - 10. Let f be 1/(4/384)*n. Let x = 228 + f. Is x a multiple of 33?
True
Suppose -10*i + 25 = -15*i. Is (-5 + (i - 2))*(-114)/8 a multiple of 19?
True
Suppose 3*r - t + 3526 = 24030, 3*r = -3*t + 20484. Does 116 divide r?
False
Is (11/5*1)/((-944)/(-1703920)) a multiple of 8?
False
Suppose 325*y = 324*y - 3*q + 2500, 7532 = 3*y + q. Is y a multiple of 4?
True
Let f be 0/(-12) + 1 + -417. Let t = f + 268. Does 13 divide (t/6)/(7/(-21))?
False
Suppose 6*n = 15*n - 36. Let b be 3/(-6) + 42/n. Let z(j) = -j**3 + 11*j**2 - j - 18. Is z(b) a multiple of 36?
True
Suppose -118*j = -182*j + 346112. Does 8 divide j?
True
Let l(m) = -79*m + 8. Let f be l(2). Let i = 107 - f. Is 18 a factor of i?
False
Let q(u) be the second derivative of 3*u**4/4 + 11*u**3/6 - 3*u**2 + 7*u. Let h be q(5). Let p = h - 114. Does 29 divide p?
False
Let f = -4 - -8. Let i(c) = 3*c + 50. Let o be i(-16). Suppose o*n - 95 = 2*p + 25, 16 = -f*p. Is n a multiple of 7?
True
Let s(q) = 2*q + 15936. Let x be s(0). Suppose -24*g = -8*g - x. Suppose 3*b = -4*l + 3*l + 742, -3*l + g = 4*b. Is 10 a factor of b?
False
Is 26/104 + 65662/8 a multiple of 27?
True
Suppose -5 = -c + 4*z, -4*c + 21 - 1 = 3*z. Suppose -q - 460 = -c*q - 4*a, 0 = -2*q + 2*a + 210. Let m = q + -14. Is m a multiple of 32?
True
Let v = -328 + 700. Is 4 a factor of v?
True
Suppose 1668310 = -126*l + 238*l - 1375850. Does 45 divide l?
True
Let u(f) = 14*f**2 - 22*f + 11011. Is 143 a factor of u(0)?
True
Let t be (-15)/(-315)*49*210. Let x(b) = b**2 - 2*b - 4. Let s be x(4). Suppose -2*f + s*f = t. Is f a multiple of 49?
True
Let r = -1672 + 2410. Suppose -3*f + 718 = 8*s - 10*s, 3*f + 3*s - r = 0. Is 6 a factor of f?
False
Let b = 6936 + -3626. Does 41 divide b?
False
Let q(h) = 64*h - 388. Is 19 a factor of q(25)?
False
Let p be (10/65)/1 - 322662/13. Does 27 divide -10 + p/(-50) + (-4)/10?
True
Suppose -82*l = -79*l - 52338. Is 19 a factor of 45/(-75) + l/10?
False
Let f = -138 + 210. Let k = -34 + f. Does 12 divide k?
False
Suppose -h = 2*a - 12957, -2*a - 47832 = -10*h + 81914. Is h a multiple of 60?
False
Let n(i) = 7*i - 4. Let d be n(7). Let w(x) = -x**3 + 5*x**2 - 7*x + 10. Let z be w(5). Let f = d + z. Is f a multiple of 5?
True
Suppose 3*o + 22 = 5*r, -3*r + 12 = r - o. Suppose 0 = -r*p + 84 - 16. Let a = 2 + p. Is 4 a factor of a?
True
Suppose 0 = 12*i - 25 - 11. Suppose -i*c + c = 5*q - 596, 0 = q + 5*c - 110. Does 30 divide q?
True
Suppose t + 4*t = 3*g - 1058, -1754 = -5*g - t. Let o(n) = n**3 - 5*n**2 - 3*n - 7. Let q be o(-5). Let p = q + g. Is 52 a factor of p?
False
Suppose -473*k + 118348 = 4*z - 471*k, -3*k = 5*z - 147935. Is 40 a factor of z?
False
Let v = -90 + 113. Suppose v*l - 15 = 18*l. Suppose l*s - 89 = 5*x, 5*s - 2*x - 167 = -3*x. Is 4 a factor of s?
False
Let i be (-18)/3 + (1396 - -3). Does 15 divide 122/183 + i/3?
True
Let c = -4 - -8. Suppose 8*o = 3*o - 3*b + 710, -710 = -5*o - c*b. Is o a multiple of 8?
False
Suppose -14*b + 11 = -31. Suppose -b*y + 93 = i, i = -0*y - 4*y + 90. Does 8 divide i?
False
Let j(q) = q**3 + 66 + 10*q**2 + 10*q - 66. Is 7 a factor of j(-6)?
True
Let r(u) = -30*u + 1740. Does 6 divide r(0)?
True
Suppose -3*w + 273 = 4*u - 1601, 5*w = 5*u + 3170. Suppose -82*a + 80*a + w = 0. Is 45 a factor of a?
True
Let v(d) be the third derivative of d**5/15 + 49*d**4/24 - 19*d**3/6 + 2*d**2. Let q = 13378 + -13395. Is 14 a factor of v(q)?
False
Is 10 a factor of ((-1254)/(-5))/(-6*(-13)/1300)?
True
Suppose 0 = 4*j - 12, 2*z = -2*z - 3*j + 5. Is ((-1)/z + 1)*119 a multiple of 15?
False
Let y = 285 + -287. Let a(j) = -96*j - 7. Is a(y) a multiple of 21?
False
Suppose -13*m + 170*m = -1844283 + 5025731. Is m a multiple of 68?
True
Let l = 19 + -26. Is 18 a factor of l/(112/(-2900)) - 6/(-8)?
False
Suppose -6*v - 107 + 179 = 0. Is 8/(-3)*-15*v a multiple of 15?
True
Suppose -x + 14 = 12. Suppose x*l - 780 = -i, -4*l + 6*l - 5*i = 780. Does 13 divide l?
True
Let n(w) = 5*w - 26. Let u be n(-13). Let b = -87 - u. Suppose b*g - 290 = -g. Is g a multiple of 4?
False
Let i = -48078 + 68928. Is i a multiple of 18?
False
Suppose 0 = 3*p - 6, 16*p + 452 = 5*d + 12*p. Suppose 88 = u + 2*u - 2*q, 3*u + 2*q - d = 0. Is 8 a factor of u?
False
Suppose 14*p - 105*p + 347711 = 0. Is 39 a factor of p?
False
Let i(r) = -145*r**3 + 3*r**2 - 5*r + 4. Let n be i(2). Does 22 divide n/(-8) - (-35)/(-28)?
False
Let b = -7 + 19. Let i = 13 - b. Is 163*4/4 + i a multiple of 25?
False
Let m(f) be the first derivative of f**5/60 - f**4/12 - 7*f**3/6 - 21*f**2/2 - 24. Let v(n) be the second derivative of m(n). Is 4 a factor of v(5)?
True
Suppose -16*i = 19574 - 76534. Is 5 a factor of i?
True
Suppose 4*h - 20*o = -25*o + 14251, -o + 7133 = 2*h. Does 83 divide h?
True
Suppose 9545 + 4170 = 13*r. Suppose 0 = -2*a + 3*b + r, 0 = -4*a + 2*b - 158 + 2248. Is a a multiple of 20?
True
Suppose -3*l + 27 + 33 = 3*y, -100 = -5*y - 3*l. Suppose 36*z + 209 - 137 = 0. Let f = z + y. Does 18 divide f?
True
Let c(q) = 70*q - 150. Let m be c(29). Suppose 3*l = -17*l + m. Is 47 a factor of l?
True
Suppose 4*m - 11133 = -3*d, 4*d - 441*m - 14875 = -436*m. Is d a multiple of 2?
False
Suppose 5*p = -5*c + 64187 + 32918, 4*p - 58262 = -3*c. Is c a multiple of