 u = -225 + c. Does 7 divide u?
False
Let v(y) = y + 7. Let l be v(0). Let f(q) = 13*q**3 - 10*q**2 + q + 8. Let o be f(l). Is 16 a factor of o/28 - (-1)/14*-4?
False
Let b be -3*(-2)/(-33) - (-63960)/(-330). Let u = b - -434. Is 19 a factor of u?
False
Let v = 52 + -121. Let f be (1*-1)/(3/v + 0). Let r(w) = w**2 - 20*w - 30. Is r(f) a multiple of 19?
False
Let d = -15379 + 26145. Is 14 a factor of d?
True
Suppose -46*a - 460 = -50*a. Let s = a + -16. Is 16 a factor of s?
False
Suppose 32*f - 34961 = 294831. Suppose -31*p + f + 6403 = 0. Is 49 a factor of p?
True
Let k(a) = -2 - 4*a - 8*a + 10 - 3*a. Does 2 divide k(-4)?
True
Suppose 0 = -14*c + 15*c. Let f be c + -6 + (-9)/3. Let u = 37 + f. Is 7 a factor of u?
True
Suppose 380*h = 326*h + 85644. Is h a multiple of 6?
False
Suppose 4*u = 5*u - b - 3227, 0 = -3*b. Does 10 divide u?
False
Is (-1999712)/(-690) - (86/(-30) + 3) a multiple of 46?
True
Suppose 0*m = -2*m - 84. Let d(n) = -n**3 + 16*n**2 + 42*n - 48. Let k be d(18). Let j = m + k. Is j a multiple of 5?
False
Let h = 12 + -10. Suppose 5*y - h*x = 141, 6 = -x - x. Is 9 a factor of y?
True
Suppose -8 = -40*d + 36*d. Suppose -3*b - b + g - 272 = 0, -d*b - 122 = 3*g. Let u = 0 - b. Is u a multiple of 4?
False
Let k(v) = 228*v**2 + 10*v - 20. Let a be k(2). Suppose -8*g = 144 - a. Is 9 a factor of g?
False
Let y be (-8)/3*9/(-6)*2. Suppose -y*c - 8 = -72. Let d = c - -31. Does 13 divide d?
True
Is 33 a factor of 12428 - ((-740)/592)/(((-5)/24)/1)?
False
Let d(x) = 2218*x**2 + 40*x - 44. Does 36 divide d(1)?
False
Let y be 50 + (-6)/12*18. Suppose -17*t + 55216 = y*t. Is t a multiple of 18?
False
Let s(i) = i**2 + 6*i + 7. Let w be s(-5). Suppose 0 = -w*m + 19 - 17. Is ((-4)/m)/4 - -57 a multiple of 14?
True
Suppose -4*x = 3*d - 1832, -6*x + 9*x = 4*d - 2476. Is 44 a factor of d?
True
Let n be (4 + 0 + -5)*14. Let i = 23 - n. Does 19 divide i?
False
Let w(j) = -j**3 - j**2 - j + 7. Let i be w(0). Suppose x = 2*u - i, -x + 3*x = -3*u + 7. Suppose 210 = k + 2*g, u*k - 650 = -0*g - 2*g. Is k a multiple of 46?
False
Suppose -36866 - 6982 = -18*b. Is 7 a factor of b?
True
Let k = 24 + -15. Let z(s) = -2 - k - 6*s + 9 - 5. Is 14 a factor of z(-10)?
False
Suppose m - 14 = 5*t - 45, 4*m + 14 = -2*t. Does 20 divide ((-160)/m)/((-5)/(-90))?
True
Is 47740/50 + (-8)/10 a multiple of 9?
True
Suppose -1113 = -7*m + 6713. Let f = m + -559. Does 43 divide f?
True
Suppose -3*l - 5*y + 4592 = -615, -5*l + 5*y = -8705. Is 9 a factor of l?
False
Suppose -199*n + 194*n - 4*p + 284584 = 0, -3*p = 12. Does 29 divide n?
False
Let w(v) = 57*v**2 + 12*v - 10. Let u be w(3). Suppose 0 = 3*a - 3*z - 543, -8*z + 7*z + u = 3*a. Is 10 a factor of a?
True
Let f = -1153 + 1794. Let n be (-4 - -3)/(1/(-6)). Suppose -31 = -n*u + f. Does 43 divide u?
False
Suppose 299 = 4*z - 5*t, -4*z + 3*t + t = -300. Let x = 80 - z. Suppose 3*r - 2*p - 196 = -p, 2*p = x*r - 260. Is r a multiple of 11?
True
Let b = -2 - -7. Suppose 2*z = u + 389, 4*u - 386 = b*u - z. Let i = -224 - u. Is i a multiple of 53?
True
Let y = 128 - 120. Let t(d) = 7*d - 52. Let r be t(y). Let s(k) = k**3 + 7*k**2 - 5*k. Is 39 a factor of s(r)?
True
Let k(m) = -2*m**2 + 60*m + 201. Is 8 a factor of k(21)?
False
Let b be -1 + (-28)/7 + -2 + 301. Suppose -5*k + 2*p = 560 + 403, -3*k - 3*p - 582 = 0. Let x = b + k. Does 14 divide x?
False
Let t(g) = 2*g**2 - 53*g + 1255. Is 31 a factor of t(29)?
False
Suppose 0 = 7*g - 8 - 6. Is 12 a factor of (-15)/(15/g)*(-1 + -35)?
True
Let l(h) = -5*h**3 + 3*h**2 + 15*h + 5. Suppose 5*f - 4*v = f - 28, -5*v = -4*f - 31. Is l(f) a multiple of 33?
False
Suppose -3*b + 4 = -8*b - s, 12 = b - 3*s. Suppose b = -5*k - 34 + 69. Is 2 a factor of k?
False
Let s = -2885 + 6890. Does 15 divide s?
True
Let d(g) = 263*g**2 - 132*g - 268. Does 4 divide d(-2)?
True
Let t(z) = -9*z - 23. Let y(w) = -17*w - 45. Let k(n) = -16*n - 44. Let u(j) = -2*k(j) + 3*y(j). Let p(l) = -13*t(l) + 6*u(l). Is 4 a factor of p(0)?
False
Does 20 divide (0 - -13890) + (-27 - -33 - -4)?
True
Let g = 1741 - 1292. Suppose 8 = 2*q + 5*z - 8, 0 = -5*z + 10. Suppose -q*h + 528 = -5*m, -4*h + 2*m + 269 + g = 0. Is h a multiple of 16?
False
Let o = -47 + 102. Suppose 0 = -5*b + f - 5, 4*f - 10 = -4*b + 2*f. Suppose i - 3*y - o = -0*y, b = -3*i + 4*y + 165. Is 26 a factor of i?
False
Let l(y) = y + 187. Let n be l(-12). Let k(g) = -39*g - 11. Let a be k(-8). Let h = a - n. Is 14 a factor of h?
True
Suppose 135*o - 3535524 = -24*o. Is 17 a factor of o?
True
Let m = 22 - 21. Let r be m/(-2) + 862/4. Suppose -3*t = -3 - 0, -r = -4*i + t. Is 27 a factor of i?
True
Suppose -33*n - 53*n = 30*n - 2021880. Does 7 divide n?
True
Is (-112998)/(-26) - (1 + (-216)/234) a multiple of 41?
True
Let i = -6 - -4. Let t(l) = -35 + 17*l**2 - 35 + l - 31 + 100. Does 8 divide t(i)?
False
Let z be 84/(-147) - (-3 - (-11)/(-7)). Suppose x - 3161 = -3*m, -x - z*x + 4200 = 4*m. Does 19 divide m?
False
Let a(n) = n**3 + 10*n**2 - 6*n + 109. Is a(-10) a multiple of 71?
False
Let o be -8842*(-3)/6 + (-1)/1. Suppose -24*w + 14*w = -o. Is 41 a factor of w?
False
Let k(l) = 934*l**2 - 13*l + 26. Is k(4) a multiple of 190?
False
Suppose -13*m + 10307 + 21192 = 0. Is m a multiple of 22?
False
Suppose -4*r + 6 = -102. Let q = r + -17. Does 14 divide (-13)/(65/(-2)) + 756/q?
False
Suppose -103 = c + 100. Let g = c + 555. Does 44 divide g?
True
Let i = -216 - -212. Is 19 + 186 - i/1 a multiple of 19?
True
Suppose 8*p + 2*p + 200 = 0. Let b be (-2)/(-5) - 14152/p. Suppose 5*f + 369 = 2*n, 5*n - b = n + 4*f. Is n a multiple of 14?
False
Is 43 a factor of (27 - 31) + (4691 - (-2 - -2))*1?
True
Suppose 4*q = 7*q - 27. Let n be 75*3/(q/(-4)). Let j = n - -174. Does 18 divide j?
False
Suppose -649740 = -13*j - 6*j - 9*j. Is 21 a factor of j?
True
Suppose 36*t - 1620 = 3924. Is 14 a factor of t?
True
Let z = -230 + 985. Is 5 a factor of z?
True
Let v(c) = -c**2 - 12*c + 5. Let b(d) = -7*d. Let h be b(1). Let k be v(h). Let x = 69 - k. Is x a multiple of 29?
True
Let c(o) = -25*o + 0*o**3 - o**3 - 12*o**2 - 1838 - 2*o + 1827. Is 5 a factor of c(-10)?
False
Let b = -14940 + 17593. Is 7 a factor of b?
True
Suppose 76*f - 78*f = -5*u + 125455, -3*u - f + 75284 = 0. Is 12 a factor of u?
False
Let h(w) = -8*w + 139. Let v be h(33). Let u = v + 240. Is u a multiple of 4?
False
Suppose -11*u + 14*u - 15990 = -3*a, -a + 5330 = -3*u. Is 31 a factor of a?
False
Suppose -219*f + 6863842 + 909782 = 0. Is 17 a factor of f?
True
Let s = -16449 - -19489. Is s a multiple of 16?
True
Let m(s) = -3*s + 40. Let l be m(12). Suppose -l*n - 3*k + 1525 = 0, 8*k + 25 = 3*k. Is n a multiple of 23?
False
Suppose 2*p - 3678 = -3*i, -1344 = 4*i - p - 6237. Does 8 divide i?
True
Suppose -5*m + 57045 = 5*g, 0 = 3*m + g - 9073 - 25150. Does 17 divide m?
True
Is 4 + (-4)/((-112)/(-100)) + 253935/189 a multiple of 16?
True
Let d = -36784 - -54489. Is 134 a factor of d?
False
Let t = -67 + 168. Let w = t - 81. Suppose -3*y + 2*y + w = 2*l, -5*y + 2*l = -64. Is y even?
True
Let v(u) = 1737*u**3 + u**2 - 16*u + 14. Is v(1) a multiple of 14?
True
Suppose 49*g - 47*g - 6642 = -3*j, -j - 13326 = -4*g. Is 30 a factor of g?
True
Let o be 3 + ((-2)/(-3) - 707/3). Let x be (-1914)/(-8) - (-7 - o/32). Suppose -3*w - x = -4*w. Does 26 divide w?
False
Let i(k) = -4*k + 3 + 6*k + 6 + 11. Let o be i(-6). Suppose v + 5*m + 51 = 3*v, -v - m = -o. Is 7 a factor of v?
False
Suppose -32 = -2*m - 4*q, 4*q + 12 = q. Let j(h) = -h**3 + 22*h**2 + 56*h + 48. Is j(m) a multiple of 16?
True
Let x(t) = 4*t - 25. Let v be x(7). Suppose 2*y - 112 + 38 = -4*f, f = v*y - 118. Is y a multiple of 3?
True
Let m(w) = 98*w**2 + 109*w. Does 39 divide m(16)?
True
Suppose -26546 = -42*q + 159850. Is q a multiple of 14?
True
Suppose 5*i = -4*r + 21747, 5*i + 15*r = 16*r + 21732. Is 23 a factor of i?
True
Suppose 5*r = 10*r - 3395. Let k = r + -476. Suppose -3*c + 5*b = -939, -423 - k = -2*c - 2*b. Is 27 a factor of c?
False
Suppose -3*l = -18*l - 2220. Let v = l + 789. Does 13 divide v?
False
Suppose 0 = -o - 5*q + 18265, 151*o - 148*o - 5*q = 54835. Is 33 a factor of o?
False
Let s(o) = 67*o + 4 - 61*o + 290*o. Does 25 divide s(1)?
True
Let l be (-12)/(-90) - (-18176)/30. Let v = 1420 - l. Does 27 divide v?
False
Let v = -10 + 4. L