7 + 7300 = 15*j - 11588. Does 15 divide j?
True
Is 14 a factor of (-294)/392 - (-9)/24*74764/6?
False
Suppose 0 = 7*d - 8*d - 40. Is 14 a factor of (183*(-4)/8)/(15/d)?
False
Let h(f) = 10*f - 5. Let m be h(-6). Let i = m - -81. Let y(d) = 3*d + 21. Is 10 a factor of y(i)?
False
Suppose 499 = 8*b - 13*b + 3*i, 204 = -2*b - i. Let t = b + 263. Does 9 divide t?
True
Suppose 6*h - 2*h = y - 10, 5*h + 6 = -2*y. Let z(n) = 795*n - 30. Is z(y) a multiple of 61?
False
Let x(n) be the second derivative of -41*n**3/6 - 121*n**2/2 - 116*n. Does 62 divide x(-23)?
False
Let b be 1 + (223 - (11 + -6)). Suppose b*i - 216*i = 606. Is i a multiple of 28?
False
Let q(g) = 45*g - 269. Let z be q(19). Let y = z + -418. Does 87 divide y?
False
Let f(u) = -8*u**3 - 3*u**2 - u - 5. Let l be f(3). Let w = 275 + l. Is 5 a factor of w?
False
Let f(j) = 316*j**2 - 15*j - 15. Let p be f(-1). Suppose -y + 2*o = -0*y - 102, 3*y - 4*o = p. Is 16 a factor of y?
True
Suppose -87*p + 119122 + 27299 = 0. Is p a multiple of 11?
True
Suppose -70 + 25 = -3*m. Is 34 a factor of (-1157)/(-39)*m*1?
False
Suppose 8 = m - 5*m - 4*z, z + 8 = m. Let j(n) = 80*n - 11. Does 48 divide j(m)?
False
Suppose 0 = -63*y + 659102 + 54436. Is y a multiple of 128?
False
Let d be 95/(-1) - 4*1. Let q be (0 - 20)/((-22)/d). Is (q/(-21))/(2/14) a multiple of 17?
False
Let y = 11163 + -7789. Suppose h = k + 835, 4*h = -5*k + y - 7. Does 24 divide h?
False
Suppose 9 = 2*p + i, 90*p - 5 = 89*p - i. Suppose 0 = -15*x + p*x + 3267. Does 27 divide x?
True
Suppose -4*s = -16, 38*s = -4*u + 34*s + 16. Suppose -12*h + 11*h + 262 = u. Is 14 a factor of h?
False
Let o(m) be the third derivative of -5*m**4/12 + 89*m**3/6 + 2*m**2 + 39*m. Does 7 divide o(4)?
True
Let w = -8990 - -15675. Is w a multiple of 96?
False
Let r = 49470 + -27025. Is r a multiple of 67?
True
Suppose -4*c - 18 = 4*y - 5*y, -5*y - 6 = 4*c. Does 20 divide (-824)/(-4) - (-24)/c?
True
Suppose 81 - 306 = -9*g. Suppose -g*m = -686 - 1239. Is 7 a factor of m?
True
Suppose 8 = 4*t, 15*t + 7720 = 4*n + 19*t. Is 12 a factor of n?
False
Let d(m) = 7*m**3 + m**2 - 42*m + 24. Is 23 a factor of d(9)?
True
Suppose -6255391 = -101*x + 9*x - 283855. Is 18 a factor of x?
True
Let i(b) = -b**3 + 78*b**2 + 16*b - 583. Is 35 a factor of i(78)?
True
Let a(b) = 299*b + 35. Does 69 divide a(6)?
False
Let j(i) = i**2 + 20*i + 10. Let s be j(-4). Let z = s + 52. Is 5 a factor of -5 + 1 + 5 + z + 72?
False
Let x(g) = g**3 - 24*g**2 + 24*g - 4. Let d be x(23). Suppose -d*c + 25*c = 1344. Is c a multiple of 16?
True
Suppose -37*f - 14497 = -56*f. Is 7 a factor of f?
True
Let v(o) = 2*o**2 + 204*o + 637. Is v(52) a multiple of 183?
True
Suppose 2*g + 72 = 574. Let t = g + -143. Suppose 10 = -b + t. Is b a multiple of 14?
True
Suppose -11*j + 5*j + 2*g = -39462, g - 26322 = -4*j. Is j a multiple of 17?
True
Let i be (-160)/(-14) + 54/(-126). Suppose 4*h = -i + 771. Suppose -h = -6*t + 62. Does 7 divide t?
True
Let t be 4*(20/8 + (-5)/(20/(-478))). Suppose -3*q + 9 = -3*p, -5*q + 28 = -2*p + 7. Suppose -3*u + 4*z = -t, q*z = -6*u + 7*u - 159. Is 41 a factor of u?
True
Let t(v) = -12*v + 4. Suppose -3 = f - 5*f + 3*o, -4*o - 4 = -2*f. Let x be -8 + 1 + 4 - (f + -2). Is 2 a factor of t(x)?
True
Let i = 45 - 43. Let m be 9/24*4*i. Suppose -z + 27 - 3 = -m*d, -3*d - 15 = 0. Does 9 divide z?
True
Suppose f + 2*u = 34048, -2*u = 24*f - 26*f + 68120. Does 19 divide f?
False
Let i(u) = 205*u**2 + 24*u - 144. Is i(5) a multiple of 86?
False
Let m(z) = 2*z**3 - 1 - 8*z**2 + 2*z**2 + z + 3. Let n be m(3). Suppose 2*t = -3*w - 0*t + 535, 187 = w + n*t. Is w a multiple of 19?
False
Let z(h) = -2*h - 6 + 15*h**3 - 36*h**3 - 5*h**2 + 20*h**3. Let n = -36 - -31. Is 4 a factor of z(n)?
True
Suppose 0 = 3*b - 18 - 45. Suppose 0 = -10*r + 7441 - b. Suppose r = 10*o - 338. Is o a multiple of 42?
False
Let w(a) = 3*a + 105. Let h be w(-35). Suppose 6*y - 180 + 54 = h. Is 16 a factor of y?
False
Suppose -25384 = -31*x + 459363. Is 61 a factor of x?
False
Let f be 3 - 5/5 - -4. Suppose -521 + 59 = -f*t. Suppose w - 128 - t = 0. Is w a multiple of 41?
True
Let l(a) = -2*a**3 - 23*a**2 - 36*a + 39. Is l(-14) a multiple of 33?
False
Let p(c) = 18*c**2 - c - 4. Let y be p(4). Suppose -y = -l - 0. Suppose 3*j - h = 210, -h = 4*j - 0*h - l. Is j a multiple of 7?
True
Let l(q) = -q**3 + 16*q**2 - 18*q + 6. Let x(b) = 2*b**3 + 48*b**2 + 43*b - 56. Let s be x(-23). Is 15 a factor of l(s)?
False
Suppose -559 = -3*y - 25. Let t = y - 163. Does 15 divide t?
True
Let n = -7247 - -13655. Suppose -2*w - 7*w = -n. Is 74 a factor of w?
False
Let c be 0/(-2) + (-3212)/(-44). Let i = c + -13. Does 4 divide i?
True
Let m be ((11610/(-8))/(-5))/(87/232). Suppose -2*j = -0*j + 5*t - 770, -2*j = 3*t - m. Is j a multiple of 15?
True
Let w(n) be the second derivative of -3*n**5/20 - n**4/12 - 4*n**3/3 + 9*n**2/2 + 10*n. Is w(-5) a multiple of 7?
True
Let y(a) = -5*a + 20. Let s be 6 - ((-78)/(-24) - 2/8). Suppose 1 = s*m + 10. Does 7 divide y(m)?
True
Suppose -2*o - 4*r = -10, -4*o - 2*r + 16 = 2*r. Suppose -3*m - 5*g - 92 - 135 = 0, 3*m + 243 = o*g. Let n = 87 + m. Is 5 a factor of n?
False
Let b(w) = 15*w + 49. Let v be b(-3). Suppose 345 = 3*g - 5*c, -2*g = g + v*c - 345. Does 23 divide g?
True
Suppose -i + 57 = 2*n, -n + 183 = 4*i - 2*n. Let w = i + -32. Is 28 a factor of (w/4 + -4)*-404?
False
Suppose 26*l = 9555 + 134745. Is 15 a factor of l?
True
Let i = 98 - 101. Does 54 divide (-12)/(-12)*-1*(i + -226)?
False
Suppose -8*c = -7*c + 4*i - 1472, 5*c + 4*i - 7408 = 0. Does 28 divide c?
True
Let h be 1*(-3620)/(-25)*(-10)/(-4). Let r = 839 - h. Let q = r - 267. Is 15 a factor of q?
True
Suppose 3*l = -t + 48 + 40, 0 = -t - 4*l + 86. Let n = t + -22. Suppose 2*r + n = 5*r. Is 3 a factor of r?
True
Let g = 2258 - 1469. Let b = g - 467. Let c = b - 91. Does 20 divide c?
False
Let w(x) = -3*x**2 + 22*x - 2. Let r be w(7). Suppose -28512 = 7*v + r*v. Does 8 divide (v/(-21))/4 - 2/7?
False
Is ((-45166)/(-10) - 2) + 79/(1975/10) a multiple of 43?
True
Let d = -33 - -35. Let o be (10 + 4)*1/d. Let u(z) = z**2 - 2*z - 12. Does 9 divide u(o)?
False
Let f be 18/8*(-8)/(-3). Let s = 8813 + -8492. Suppose s = f*p - 165. Does 9 divide p?
True
Suppose 0*a = 3*a - 18. Suppose 10 = l - 5*b, a = b - 3*b. Does 46 divide 4/l*3445/(-26)?
False
Suppose 2*s = -4*y - 2790 - 3830, 16495 = -5*s + y. Does 13 divide ((-5)/((-50)/12))/((-60)/s)?
False
Is 96 a factor of (-22)/121 + (-360696)/(-33)?
False
Let r(y) = -y**2 + 5*y + 12. Let p be r(6). Let w be 36/(-144) + (p/(-8) - -1). Suppose w*s - s = 5*a - 12, 0 = 4*s - 3*a - 140. Is s a multiple of 8?
True
Suppose 3*m + 1 = -2*s - 0*s, 6 = -3*s. Let k(h) = -557 + 263 + 107*h**2 + 293. Does 19 divide k(m)?
False
Suppose 7 = -2*r + 3, 0 = 3*t - r + 94. Let m be 4/t - (-263)/(-8). Is 14 a factor of (-3240)/m + 4/(-22)?
True
Let t be 12/(-8)*(-9)/(-27)*-178. Let z(x) = 57*x**3 - x**2 + x - 1. Let f be z(1). Suppose 5*n = -3*p + t, 2*p - 4 = -4*n + f. Is p a multiple of 14?
True
Is 22 a factor of 5793 - (-112)/(0 - 16)?
True
Let x = 60 - -209. Let d = x + -124. Does 7 divide d?
False
Let a be 1347/(-2)*8/(-12). Suppose 896 = w - 5*s, 0 = w - 2*s - a - 438. Is w a multiple of 16?
False
Suppose 893245 = 147*h - 271436. Is 19 a factor of h?
True
Suppose -3*o = 2*x + 882, 5*x + 423 = 4*x + 3*o. Let h = x - -809. Suppose 0 = 4*s - 4*c - 277 - 19, c = 5*s - h. Does 15 divide s?
True
Suppose 7*s - 17*s + 450 = 0. Is 29 a factor of 8770/18 + 10/s*-1?
False
Suppose -9 = -o - 2*q, -o - 7 = -4*o + 4*q. Suppose 4*d + l = 26, o*d - 9 - 25 = -2*l. Suppose -k - 25 = -d*k, -64 = -c - 2*k. Is c a multiple of 19?
False
Suppose 207*d - 227435 = 1395445. Is d a multiple of 20?
True
Does 48 divide 172314/(-72)*64/(-6)?
False
Suppose 0 = -5*g + 416 + 259. Suppose g*b = 128*b + 1960. Is b a multiple of 14?
True
Let k be (300/21 - 0) + (-42)/147. Suppose k*z - 645 = 1427. Does 4 divide z?
True
Suppose 0 = 2*z + 4*z - 4*z. Suppose z = -5*a - 50. Let t(j) = j**3 + 10*j**2 - 5*j - 14. Is t(a) a multiple of 16?
False
Suppose -w + 11 = -4*k, 2*k + k = -4*w + 6. Suppose w*c - 2*c = -4, -g = 3*c - 37. Suppose -a + 3*a = -5*y + 37, -2*y - g = -5*a. Is a a multiple of 11?
True
Suppose -46*w + 861 + 13721 = 0. Does 13 divide w