actor of f(-4)?
True
Suppose -6410 = -2*m + 2*s, m - 2*s - 3633 = -434. Is m a multiple of 5?
False
Suppose -4*b - 2*f = -3*b - 2, 2*f - 2 = 4*b. Suppose -3*g - g = -2*x - 1656, b = x. Is g a multiple of 12?
False
Suppose 3*u - 74583 = 5*v, u + 2*v = 1977 + 22895. Is u a multiple of 49?
False
Let s(g) = 936*g - 40. Let t be s(17). Is 31 a factor of t/(-32)*(-1)/2?
True
Let h = 108 + -34. Suppose b + 3*s = 33, -3*b - 4*s = -b - h. Is b even?
False
Let b(d) = 6*d**2 + 2*d - 8. Let x(c) = 5*c**2 + 2*c - 7. Let a(h) = 4*b(h) - 5*x(h). Let w be a(-3). Suppose w = -3*j - 5 + 131. Is 7 a factor of j?
True
Does 8 divide -1 - 114476/(-28) - (-40)/70?
True
Let m(q) = -18*q + 57. Let v be m(3). Suppose -12 = v*w, 0*z - 2*w + 1110 = 2*z. Is z a multiple of 21?
False
Let o(y) = 2 + 5*y**3 + 3*y + 1 - 6*y**3 - 5 + y**2. Suppose -98 + 122 = -8*b. Does 5 divide o(b)?
True
Suppose 2*y - 11 = -5*o, -4*o - 11 = -4*y - y. Suppose 4*v = -2*k + 80, -y*v + 6 = -k + 46. Does 5 divide k?
True
Suppose 3*t - 404 = 775. Suppose -t*p = -394*p + 988. Is p a multiple of 38?
True
Let v = 50 + -45. Suppose -1 = v*g + 4, -5*c + 4*g + 474 = 0. Suppose -3*a + 16 = a, -4*a + c = 3*m. Is m a multiple of 2?
True
Let r(k) = -15*k. Suppose -11*p + 8*p - 66 = 0. Let x = 17 + p. Is 13 a factor of r(x)?
False
Suppose -2*c = 1226 - 1230. Is (2 + -467)*-4*c/12 a multiple of 31?
True
Let z(i) be the second derivative of i**4/12 + 7*i**3/6 - 29*i**2/2 + 6*i - 4. Is 5 a factor of z(14)?
True
Let z(x) = -19*x**3 - 2*x**2 + 3*x - 134. Does 24 divide z(-7)?
True
Let l = -7544 + 16700. Is l a multiple of 42?
True
Let y = 606 + -1215. Let f = y - -689. Does 20 divide f?
True
Let r(y) = 3*y**3 - 5*y**2 - 10*y + 4. Let n(j) = 32*j - 27. Let v be n(1). Does 44 divide r(v)?
False
Suppose b = -z + 885, 5*b - 21*z - 4415 = -16*z. Let v = 439 + b. Does 63 divide v?
True
Let c be 12/(-5) - -2 - (-196)/(-35). Let o be (-3 + 20)*(-3)/c*2. Suppose -55 - o = -4*m. Does 6 divide m?
True
Let p be (-31 + 34)*(-4)/(-3) - -1. Suppose -2*i - p*q + q + 1242 = 0, 0 = 2*q + 4. Is 46 a factor of i?
False
Let t = 47868 + -31665. Does 19 divide t?
False
Suppose -168 = 2*j - h, -4*h = -2*j - 7*h - 168. Let s = 42 - j. Is s a multiple of 14?
True
Let z(q) = 5*q**3 + 6*q**2 - 10. Let b(n) = -4*n**3 - 6*n**2 + n + 10. Let a(s) = 6*b(s) + 5*z(s). Let p be a(5). Is 582/15 + 3/p a multiple of 13?
True
Suppose -5*m - m = -60. Let i(u) = u**3 - 8*u**2 + 18*u + 17. Is 25 a factor of i(m)?
False
Let x(h) = -32 + 11*h + 64 - 8*h. Let u be x(-10). Suppose -5 = -u*p + 125. Is p a multiple of 10?
False
Suppose -1676 = -8*q - 436. Suppose q*i + 141 = 158*i. Is i a multiple of 42?
False
Let h(v) = 619*v + 1429. Does 25 divide h(9)?
True
Let q be 49 + 6 + (1 + -1 - -1). Suppose 4*l = 2*a - q, -11*l + 10 = -16*l. Is 18 a factor of a?
False
Suppose -54 = -o + a, a - 2*a = o - 48. Let v = o - 51. Suppose 5*d + 3 + 12 = v, 4*l = 5*d + 111. Does 3 divide l?
True
Let s be (-3)/6*101 - (-4)/(-8). Let q = 55 + s. Suppose 95 + 109 = q*o. Is 17 a factor of o?
True
Let d = 4721 - 3968. Does 4 divide d?
False
Let w(x) = -x**2 + 44*x + 504. Let q be w(0). Let f = q + -267. Does 16 divide f?
False
Let f(o) = -16*o**2 - 2144*o + 102. Is f(-108) a multiple of 38?
True
Let v be (-51479)/(-8) - 10/(-80). Does 48 divide (0 - 1) + v/13?
False
Let t(x) = 392*x + 6. Let f be t(7). Suppose -19*j - f = -24*j. Is j a multiple of 25?
True
Suppose 18*x - 368 = 17*x. Let v(n) = n**3 + 7*n**2 - 4*n + 4. Let s be v(-10). Let o = x + s. Is 21 a factor of o?
False
Suppose -1181*x - 35 = -1188*x. Suppose a = -2*c + 67, x*a - 495 + 95 = 3*c. Is 6 a factor of a?
False
Does 9 divide (27/(-2))/(108/(-30672))?
True
Let f = -40 - -40. Suppose f = -2*l - l + 36. Let x(h) = h**2 - 8*h - 8. Does 14 divide x(l)?
False
Let z be 2/((-3)/((-2646)/4)). Let u = -156 + z. Is 15 a factor of u?
True
Suppose 1009024 + 868708 = 76*t. Does 241 divide t?
False
Let v(w) = -51*w + 42. Let z be v(-21). Let s = -754 + z. Suppose 10*h - s = 161. Is 13 a factor of h?
True
Suppose 70*g - 124506 = -47501 + 176885. Is 4 a factor of g?
False
Does 28 divide (-1310516 - -38)/(-26) - (2*5)/2?
False
Suppose 4 = -q + 6, -d - 419 = 2*q. Let t = -141 - d. Suppose -2*o + 24 = -t. Does 9 divide o?
True
Let h = 1393 - 963. Let r = 56 + h. Does 16 divide r?
False
Let k(f) = -23*f - 90. Let p be k(-4). Suppose p*j - 814 = 116. Does 15 divide j?
True
Let w be (-3 + 1)*1 - 1*-6. Let x be (0 + -12)*(39/(-12) + w). Does 11 divide x + 10 - (-1 - 97)?
True
Suppose -22*t + 51924 + 29872 = 0. Does 24 divide t?
False
Let i(d) = d**2 + 4*d + 7. Let u be i(-3). Suppose -u*z - 712 = -4*b + 172, 5*z + 25 = 0. Suppose -5*o + 127 = -2*p - b, 0 = 4*o - p - 275. Does 23 divide o?
True
Let j = -3046 - -4356. Does 15 divide j?
False
Suppose 41*s - 1044641 = -66*s. Is 32 a factor of s?
False
Does 15 divide (-15 - (-10413)/(-27))*-3?
False
Suppose 5*f + 3693 = q, -18*q + 14796 = -14*q + 4*f. Is q a multiple of 10?
False
Let o(r) = 480*r**3 - 6*r**2 - 35*r + 239. Does 39 divide o(4)?
False
Let r(q) = 2*q**3 - 134*q**2 - 32*q + 406. Does 93 divide r(69)?
False
Let v(l) = 9*l**3 - l**2 + l + 1. Let w be v(-1). Let u = -5578 + 5613. Is 1/(u/w) + 37/7 a multiple of 5?
True
Suppose 5*y = -5*s - 10, 0 = 4*y + y + 4*s + 10. Let z = -5911 + 5914. Does 16 divide (-4 + y)*(-11 + -3 + z)?
False
Let i(y) = y. Let o be i(5). Suppose -750 = -5*m + o*k, -4*m = -k - 422 - 175. Does 13 divide m?
False
Let b(d) = 9*d**2 - 3*d - 7. Let n(m) = -m**2 + 5*m - 2. Let a be n(2). Let l = a + -7. Is b(l) a multiple of 21?
False
Let h(k) = -k**3 + 11*k**2 - 20*k + 22. Let y be h(9). Suppose y*p = -3*v + 308, -2*p = -4*v - 4*p + 424. Is 12 a factor of v?
True
Suppose -4*k + 0*k + 144 = 0. Suppose 0 = x, -3*u + k = u - 2*x. Suppose 4*n = 53 - u. Is n a multiple of 10?
False
Suppose 6*m + 1520 - 9440 = 0. Suppose 0 = -3*f - 5*y + 826, -m = -5*f + 11*y - 8*y. Is f a multiple of 81?
False
Suppose 2*g - 15*l = -12*l - 674, -4*g - 1348 = -4*l. Let h = g - -647. Is 62 a factor of h?
True
Let a = -178 - -185. Suppose -392 = -a*v + 4*v - 2*l, 5*l - 265 = -2*v. Is 4 a factor of v?
False
Suppose 5*p - 2*p = 213. Suppose 3*g - p = m, m + 48 - 2 = 2*g. Suppose -g = -5*q, 2*h - 2*q = -0*h + 20. Is 3 a factor of h?
True
Let z(y) be the first derivative of 2 + 0*y**2 - 3*y**2 + 5*y**2 - 32*y - 22. Does 8 divide z(20)?
True
Let p = 15812 - 15805. Is 7 a factor of p?
True
Suppose -3*j + 1159 = 4*d - 3*d, 4*j = 4*d + 1572. Let n = 7 + -3. Suppose -3*g + n*m + j = g, -3*m - 483 = -5*g. Is g a multiple of 16?
True
Let l be 5/(-4)*2*(-32)/16. Suppose -l*a = -p - 1565 + 264, -p = 4*a - 1039. Does 26 divide a?
True
Let n = -79 - -71. Is (n/7)/(42/(-1911)) a multiple of 7?
False
Let w(q) = 1244*q**2 - 88*q + 171. Is w(2) a multiple of 10?
False
Let k be ((-259)/(-21))/((-6)/(-9) + -1). Let s = k + 96. Suppose 899 = 7*i + s. Is i a multiple of 40?
True
Let s(a) = 675*a**2 - 122*a - 67. Is 49 a factor of s(-4)?
True
Let d be (-189 - 0) + -2 + (-9)/(-3). Let x = -163 - d. Does 5 divide x?
True
Suppose 18*t + 31*t - 84*t = -185500. Is t a multiple of 106?
True
Let c(b) = 352*b**2 - 216*b - 880. Is 16 a factor of c(-4)?
True
Suppose 18*q - 46 = 26. Suppose 3*x + 3*r = 5*x - 592, q*r = -4*x + 1184. Does 4 divide x?
True
Suppose 152 = 5*m + q - 318, -166 = -2*m + 4*q. Let c be ((-14)/4 + 4)*(m + 1). Suppose 2*x + j - c = -3*x, -5*x - 4*j = -53. Is x even?
False
Let i = -236 - 1. Let d = -81 - i. Does 32 divide d?
False
Suppose -3*q + 4*h - 1 = -4, -5*h = 5*q - 40. Suppose v = -2*o + 107, -q = -2*v + v. Is o a multiple of 4?
False
Suppose 4*i + 3*u - 1504 = 0, 291 = 3*i - 5*u - 837. Let s = -227 + i. Does 2 divide s?
False
Suppose 5568 = 5*b + u, -b = -4*b - 3*u + 3348. Suppose -8*q - 329 + b = 0. Is 6 a factor of q?
False
Let m(k) = -k**3 + 38*k**2 + 4. Let o be m(38). Does 9 divide (-3546)/(-22) + o - 6/33?
False
Let r(z) = -1095*z - 12264. Is 219 a factor of r(-60)?
True
Suppose -31*d + 26*d + 634 = -121. Is d a multiple of 3?
False
Let f(p) = -p**3 + 9*p**2 - p + 25. Suppose -5*z - 3*w = -7*w - 41, 0 = -4*z - w + 37. Does 13 divide f(z)?
False
Let u = 398 - 402. Is 59 a factor of 4 - (-668)/u*-1?
False
Suppose 598*u - 166594 = 536*u. Is 61 a factor of u?
False
Suppose -162099 = -49*j -