 q(m). Does 8 divide t(p)?
True
Suppose -4*f + 5 = -3. Suppose -r = 3*r + 3*c, 4*r + f*c = 0. Suppose -3*h + 12 = 2*z, -h - 40 = -3*z - r*h. Is 4 a factor of z?
True
Let c = -9 - -15. Let l(r) = r**2 - 4*r + 2. Let h be l(c). Suppose -176 = -5*i + h. Does 19 divide i?
True
Let h(s) = -s**3 + 13*s**2 + 12*s - 5. Is 55 a factor of h(11)?
False
Let m be -11 + (-2)/4*2. Is m/16*-2*8 a multiple of 6?
True
Let d(h) = h**3 + 3*h**2 + 3*h. Let v be (8/10)/(10/(-25)). Let s be d(v). Does 24 divide 2*s/(-4)*24?
True
Let a(z) = z**2 + z - 37. Is 29 a factor of a(-24)?
False
Let c(v) = 3*v + 9. Let i be c(-6). Let y be (3 - 2)/((-3)/i). Suppose -y*k - 12 = -36. Is 8 a factor of k?
True
Let l = 335 + -131. Suppose z + 0*z = -b + 69, -3*z = 2*b - l. Is 11 a factor of z?
True
Let f(q) = -q**3 + 33*q**2 + 6*q - 136. Does 8 divide f(31)?
False
Is 5 a factor of ((-1947)/(-12) - 3) + (-36)/(-48)?
True
Suppose 2*w = -28*w + 2070. Is 20 a factor of w?
False
Let w = 2556 - -369. Is w a multiple of 14?
False
Let d(b) = -27*b - 5. Let y be d(-11). Suppose 4*w = -3*o + y, 2*o + 2*o = -5*w + 389. Is 32 a factor of o?
True
Suppose -2*s - 14*s + 5136 = 0. Is s a multiple of 19?
False
Let t be -1 + 1 - (-48)/16. Suppose 0 = -5*k + t*b - 14 + 328, 2*k = 5*b + 118. Let v = k - 31. Is 10 a factor of v?
False
Is (996/(-30))/(((-4)/95)/2) a multiple of 83?
True
Let d(l) = 2*l**2 - 26*l + 25. Is 5 a factor of d(13)?
True
Let v(o) = 12*o**2 - 7*o - 29. Is 19 a factor of v(-13)?
True
Let c = 6 - 1. Suppose -2*q + c*l = -135, -3*q - l = -8*q + 395. Is q a multiple of 10?
True
Let x be (3 + 7)*2/4. Suppose 5*u = 185 + x. Let y = 56 - u. Is y a multiple of 9?
True
Let s(r) = r**2 - r - 4. Let n be s(-3). Let q be n/(-20) + 2001/15. Suppose 0 = y + 6*y - q. Is y a multiple of 6?
False
Let g = -275 + 385. Is 3 a factor of g?
False
Suppose -23*v + 46 = -368. Does 13 divide v?
False
Let p(r) be the first derivative of -r**4/12 - 7*r**3/6 + 3*r**2/2 + 5*r - 5. Let x(c) be the first derivative of p(c). Is x(-6) a multiple of 2?
False
Let b be 18/1*(-4)/(-12). Suppose 0 = -2*d + b - 0. Suppose d*z - p - 145 = -z, -3*p + 105 = 3*z. Is 12 a factor of z?
True
Suppose -6*j = -2*j + 4*a - 2384, -2*a = j - 600. Does 19 divide j?
False
Let l(z) = -4*z**3 + z**2 + 5. Let b(i) = 9*i**3 - i**2 + i - 11. Let x(o) = -3*b(o) - 7*l(o). Suppose y + 5 = 10. Is 3 a factor of x(y)?
False
Suppose 5*r - 840 = -4*w, -7*w + 2*r + 210 = -6*w. Is w a multiple of 3?
True
Let q(z) = z**2 - 21. Let t be q(5). Suppose f = 4*l + 268, -5*f + 128 = t*l - 1260. Is f a multiple of 46?
True
Suppose 2*q = 2*x + 1450, -x - 3613 = -5*q - 0*q. Is 20 a factor of q?
False
Suppose -2*r - 2*k = -42, -4*r + k + 2*k + 98 = 0. Suppose 5*f = 32 + r. Suppose -n + 3*x + 5 = 0, -4 = -3*n + 5*x + f. Does 5 divide n?
True
Let u(k) be the first derivative of 9*k**4/2 + k**2/2 - 2*k - 3. Is u(2) a multiple of 12?
True
Let x = 424 - 121. Is 17 a factor of x?
False
Let s = -4 + 14. Suppose -r + 11 = 4*z, -s = -4*z + 3*r + 21. Suppose -2*d = 2*u - 104, 0 = -z*d - 2*u - u + 210. Is 18 a factor of d?
True
Suppose 0 = 2*u + 3*x, -4*u - 13 = u + x. Does 19 divide (35 - u - -3) + -3?
True
Let u(l) = l**3 - 3*l**2 - 14*l + 5. Let x be u(5). Let z(t) = 2*t**2 + 23*t - 30. Is z(x) a multiple of 25?
True
Let u be 3 + (-12)/6 + (146 - 1). Suppose -4*g = 3*o - 200, -46 = 2*g - 3*o - u. Does 4 divide g?
False
Let s = -1120 - -1600. Is 30 a factor of s?
True
Suppose 10 = -4*u - 26. Is (-3)/u - (-1652)/12 a multiple of 46?
True
Suppose 0 = -560*q + 567*q - 2849. Is q a multiple of 39?
False
Suppose -2*a + 4*a - 320 = 2*d, 0 = -5*d + 4*a - 800. Let q = -20 - d. Is 35 a factor of q?
True
Let b be -4 - (-5 + 1) - 3. Let i(z) = -z + 2. Let d be i(b). Suppose 3*h = p + 22, 0 = 4*p - 3*p - d. Does 3 divide h?
True
Let l(x) = -17*x - 6 + 5*x**3 - 3*x**3 - 8*x**2 - 3*x**3. Let j be l(-5). Suppose j*y + 5*z + 11 - 251 = 0, 0 = 5*y - 5*z - 300. Does 12 divide y?
True
Let l(i) = i + 3. Let a be l(-3). Suppose a = 2*j - 4*b - 72, j - 16 = -0*b - 3*b. Does 7 divide j?
True
Let d(o) = o + 7. Let r be d(0). Suppose r*y = 60 + 10. Is y a multiple of 5?
True
Let f(o) = -17*o - 18. Let z(n) = 42*n + 45. Let a(c) = 12*f(c) + 5*z(c). Let h be a(13). Suppose -3*r = x - h, r - 29 = -2*x + 3*x. Is 18 a factor of r?
False
Let h = -32 - -36. Suppose h*m = -8*n + 4*n + 12, -2*m - 5*n + 12 = 0. Does 25 divide 75 - (m + 2/(-2))?
True
Let b = 237 - 97. Is b a multiple of 6?
False
Suppose 3*p = p - 28. Let s be 7/(p/(-90)) + -3. Suppose 6*a = 4*a + s. Is a a multiple of 5?
False
Let r be 6 - (-1 + (0 - 0)). Is 7/(r/52) + 4 a multiple of 28?
True
Suppose 21*n = 17*n - 3*x + 559, 0 = -5*n + 4*x + 722. Is n a multiple of 2?
True
Suppose -2*c + 350 = u, 2*u = -4*c + u + 698. Does 58 divide c?
True
Let a(l) = -82*l + 5. Let n be a(-1). Suppose 5*q = n + 213. Is q a multiple of 6?
True
Suppose 0 = -3*f - 5*t - 1, 6 = f - 5*t - 7. Suppose -1 = -o + f. Suppose c - o*c = 2*z - 40, 3*z + c - 74 = 0. Does 13 divide z?
True
Let b(u) = -4*u**2 - 5*u + 6. Let j(k) = k**2 - 1. Let c(s) = b(s) + 3*j(s). Let h be c(-6). Does 23 divide (-68)/h + (-2)/(-6)?
True
Does 55 divide (-2144)/(-1) + 10 + -11 + 8?
False
Let h = 196 + -3. Is 20 a factor of h?
False
Let m = -13 + 24. Let t(n) = 7 - 2*n + 2*n**2 - 2 + 3*n**3 - m*n**2 - 2*n**3. Is t(10) a multiple of 32?
False
Let g be 15/(-4) + 1/(-4). Let v(z) = 3*z**2 - 2*z + 1. Let m(u) = -7*u**2 + 5*u - 3. Let q(s) = -4*m(s) - 9*v(s). Is 9 a factor of q(g)?
True
Let i(a) = a**2 - 8*a + 9. Let j be i(9). Let b = -28 - -28. Suppose -3*m + j - 12 = b. Is m even?
True
Let m(u) = -14*u - 12*u**2 + 2*u**2 + 16 + 3*u**2 + 8*u**2. Let v be m(13). Suppose v*r = 1 + 38. Is r a multiple of 13?
True
Let s = 382 - -2738. Is 12 a factor of s?
True
Let h be ((-100)/35)/(2/(-7)). Let o be 32/4*h*1. Suppose -52 = -4*b + x, -5*b + 6*x = x - o. Is 3 a factor of b?
True
Suppose -4*h + 2*h = 6. Let s(a) = -7*a - 23. Let v be s(-4). Is (-26*v)/(6/h) a multiple of 11?
False
Let n(l) = -l**3 - 12*l**2 - 9*l + 5. Let k = 62 - 74. Is 18 a factor of n(k)?
False
Let x(l) = -220*l + 4. Does 29 divide x(-4)?
False
Let f(i) = -283*i + 121. Is f(-2) a multiple of 11?
False
Let o be (1/(-2))/((-11)/2486). Let s = -53 + o. Does 30 divide s?
True
Let x be (-2)/(-1) - 3*(-2)/6. Is 2 a factor of 16/(-12)*x - (-1 - 14)?
False
Let j be 1/(-2) - (-49)/(-2). Let h be j + (-3)/(3 - 4). Let f = h - -35. Is 5 a factor of f?
False
Is 470*(-4 - (-3 + -2)) - 0 a multiple of 11?
False
Let g be 3/(-15) + (-41)/(-5). Let l = 10 - g. Suppose -42 - 22 = -l*k. Does 18 divide k?
False
Let o(l) = -9 - l**2 + 3*l + 4*l + 15*l. Suppose -3*n + 19*n - 160 = 0. Is 28 a factor of o(n)?
False
Suppose -15 = 5*s - 2*s. Let v(i) = i**2 + 6*i + 5. Let u be v(s). Suppose g + u*g = 3*r + 20, 0 = 2*g + 2*r. Is g even?
False
Does 29 divide (-15285)/(-105) + (-8)/14?
True
Let h = -295 + 707. Let u = 622 - h. Is u a multiple of 15?
True
Is 5/(35/(-14)) + 3708/4 a multiple of 31?
False
Suppose 4*n - 6995 = -3*r, -5*r - 2277 = -n - 534. Is 51 a factor of n?
False
Let w(f) = f**3 + f**2 - 11*f + 9. Is 3 a factor of w(4)?
True
Let y(o) = o**3 + 8*o**2 - 4*o - 1. Let g(q) be the first derivative of -2*q**3/3 - 3*q**2 + 2*q + 8. Let f be g(-4). Is 19 a factor of y(f)?
True
Let r(f) = f**3 + 6*f**2 - 7*f + 8. Let i be r(-7). Suppose -5*b - 4*j + 110 = 0, -j + i + 33 = 2*b. Is b a multiple of 3?
True
Let x(q) = -q**3 + 2*q + 80. Let p be ((-3 - -3)/(-5))/(-1). Is x(p) a multiple of 8?
True
Suppose -4*w - 175 = -5*w - 2*c, 0 = -c. Let o = w - 115. Does 10 divide o?
True
Let j(n) = -n**3 + 5*n**2 + 3*n - 5. Let r(y) = -y - 5. Let m be r(-10). Does 2 divide j(m)?
True
Let c be ((-84)/(-70))/((-2)/(-5)). Let d be -3 - -2*(67 - c). Suppose -4*l + d + 127 = 0. Does 16 divide l?
False
Let d(r) = -8*r + 13. Suppose 3*s = s + 20. Let m be (-40)/(-12)*(-12)/s. Is 30 a factor of d(m)?
False
Let d = 313 + 105. Is d a multiple of 19?
True
Let f be (3/((-9)/(-42)))/2. Let m = f + 41. Suppose 4*u = m + 80. Is u a multiple of 16?
True
Let p(q) = q**3 + 3*q**2 - 8*q + 4. Let g be p(-5). Is (-2)/((g/180)/(1/4)) a multiple of 15?
True
Let o(u) = -30*u + 14. Let g(k) = 92*k - 41. Let w(x) = -2*g(x) - 7*o(x). Does 11 divide w(4)?
True
Let z(u) be the third d