91 a factor of a?
False
Let k(u) = -5*u + 476. Is k(16) a multiple of 44?
True
Let g be (-14)/(420/5) + (-86)/(-12). Does 48 divide (2 - g)/(-15)*-15 + 619?
False
Let f = 39432 - 13931. Does 20 divide f?
False
Let c = -22520 - -23962. Is 103 a factor of c?
True
Suppose -668*q + 773*q - 30555 = 0. Does 5 divide q?
False
Suppose -3*f + 4*a = -6187 - 287, 0 = -4*f + 5*a + 8630. Is f a multiple of 40?
False
Suppose 2*n + 3*d - 17 = -3*n, 2*d = 4*n - 18. Suppose m + 10 = j, -5*m + n*m - 5 = 0. Does 5 divide j?
True
Suppose 2*j - 25 + 7 = 0. Suppose 5*b = 12*b + 42. Is j*(b/(-4))/(2/12) a multiple of 9?
True
Suppose 106*f = 74*f + 114464. Does 49 divide f?
True
Suppose -18*q + 26135 = -32722 - 83919. Is 13 a factor of q?
False
Suppose -k + 8*w = 4*w - 216, k = -4*w + 208. Suppose -3*f = 3, 5*z + 3*f - k = -0*f. Does 5 divide z?
False
Suppose -31*w + 34*w = 1947. Suppose 0 = -5*z + w - 49. Is z a multiple of 10?
True
Suppose -4*y - 622 = -38. Suppose j - 3*b = b - 13, -2*b + 1 = 5*j. Does 30 divide (8/(-4))/j - y?
False
Let r(l) = -59 - 535*l + 520*l - 9. Let u be r(-14). Let x = u + -40. Is 14 a factor of x?
False
Suppose -z - 5*x = -71, -z + x + 79 = -2*x. Suppose -c = 4*y - 2, 24 = -0*c - 3*c + 3*y. Does 16 divide z*2/c*-3?
False
Let i = -2499 + 7203. Is i a multiple of 32?
True
Let n(l) = l**3 - 11*l**2 - 10*l - 15. Let h be n(12). Suppose 8*z + 240 = h*z. Does 8 divide z?
True
Let u(d) = d**2 + 10*d - 2. Let w be u(-9). Let o(l) = -l**3 - 12*l**2 - 11*l - 11. Let t be o(w). Let j(p) = -14*p - 36. Is 49 a factor of j(t)?
False
Let x(z) = -z**3 - 6*z**2 + 6*z + 1. Let n be x(-7). Suppose -a + n = a. Suppose -3*w - 264 = -a*m, 0 = w + 4*w. Does 7 divide m?
False
Suppose -3*n - 2*n = 4*a - 130, 5*a - 173 = -n. Let p = 39 - a. Suppose -p*b + 61 = -47. Is 5 a factor of b?
False
Suppose -6 = 3*q - 3*b, -4*q + 2*b + 4 = b. Suppose l - 2 = -4*r, -q*r + 4 - 2 = l. Suppose 0 = 3*s + l*s - 45. Is 2 a factor of s?
False
Let t(w) = -w**3 - 14*w**2 + 6*w - 32. Let r be (-295)/20 + ((-9)/12)/3. Let u be t(r). Suppose 3*p = 3*z - 93, 3*z - 3*p + 2*p = u. Is z a multiple of 6?
True
Let u = -121 - -125. Does 9 divide ((-14)/u - -2)/(18/(-936))?
False
Let i(w) = 220*w + 3. Let p be i(9). Suppose -t + 402 = c, p = -0*c + 5*c - 4*t. Is 19 a factor of c?
True
Let a(w) = -w**2 - 9*w + 14. Let g be a(-10). Let j(u) = 8*u + 15 - g*u - 29 + 10*u**2 + u**3. Is j(-9) a multiple of 8?
False
Let j(l) be the second derivative of 59*l**4/12 - 15*l**3/2 + l**2/2 + 199*l. Is j(2) a multiple of 8?
False
Let y(x) = -6*x**2 + 33*x - 39. Let j(a) = -7*a**2 + 32*a - 38. Let i(o) = -5*j(o) + 6*y(o). Is 6 a factor of i(15)?
False
Let l(v) = v**2 + 0 - 27 - 31 - 13 - 19*v. Does 19 divide l(26)?
False
Let x = 66 - 61. Suppose -x*k + j + 431 = 3*j, -4*k = 2*j - 346. Does 14 divide k/3 - (-1)/(-3)?
True
Let v(l) = 7*l + 21. Let z be (-455)/(-40) - 30/80. Does 14 divide v(z)?
True
Let n(p) = -3*p - 10. Let w be n(-4). Suppose l + w*z + 3*z - 39 = 0, 0 = 3*l + 4*z - 161. Suppose -5*h + l = -16. Is 13 a factor of h?
False
Let w(h) = -h**2 - 30*h + 64. Let x(p) = p**2 - 13*p - 22. Let i be x(13). Is w(i) a multiple of 6?
True
Let q(f) = f**3 - 15*f**2 + 19*f - 65. Let y = 563 - 548. Is 16 a factor of q(y)?
False
Let j = 114 - 110. Suppose 88 - 436 = -j*w. Is w a multiple of 2?
False
Let a = -40 + 45. Suppose 0 = -a*s - 3*n + 321, -3*s + 2*n = -n - 183. Let b = -33 + s. Does 15 divide b?
True
Is (-8685)/386*(-12484)/5 a multiple of 30?
False
Suppose -57*q - 195*q = -1428840. Is q a multiple of 18?
True
Suppose 0 = 7*k - 14 - 0. Suppose 0 = -2*c + k*y + 724, -2 = -5*y - 7. Does 13 divide c?
False
Let t = -318 + 307. Let x = t - -96. Is x a multiple of 7?
False
Suppose 0 = 2*i + 3*i - 20. Suppose -5 = -b + 3*u, -3*u = 325*b - 327*b + 13. Suppose b*o - i*o = 16. Is 3 a factor of o?
False
Let r be (11153/(-57))/((-5)/(-3) + -2). Let d = 1007 - r. Is d a multiple of 12?
True
Suppose 5*f - 540 = 2*u, 2*u - f = -594 + 38. Is ((-2640)/u)/(2/112) a multiple of 24?
True
Is (-13)/((-715)/127740) + (-60)/110 a multiple of 9?
True
Suppose 0 = -166*o + 164*o - 5*w + 37285, -5*w - 15 = 0. Does 14 divide o?
False
Let y(q) = -3*q - 112. Let o be y(-38). Suppose 0 = -4*n + 8, -o*t + 2*n = -4*t + 1622. Is t a multiple of 47?
False
Suppose -3*l + 440 = -3*h + 4*h, 2*l + h = 292. Let k = 170 - l. Is k a multiple of 5?
False
Suppose 0 = 5*c + 2*u - 63767, 40*u - 36*u + 51008 = 4*c. Suppose -15*r = -10032 - c. Is 77 a factor of r?
False
Suppose -4*v = 71 + 157. Let u = -63 - v. Is (u/(-9))/((-6)/(-171)) a multiple of 10?
False
Suppose -23616 = -3*j + 4*s, 0 = -3*j - j - 2*s + 31510. Suppose -10*b - j = -21*b. Is 25 a factor of b?
False
Let d = -143 + 63. Let v be 1728/d*(-5)/2. Suppose 0 = 30*m - 31*m + v. Is 7 a factor of m?
False
Let l = 3 - -6. Let d = l + -15. Does 22 divide (4/3)/((d - -4)/(-60))?
False
Let d(a) = -a**2 + 7*a + 29. Let g be d(10). Let x(o) = -1423*o**3 + 2*o**2 - 3*o - 4. Is x(g) a multiple of 89?
True
Suppose -4*a - 1069 = -3*y, -2*a - 557 = 4*y - y. Let t(p) = 3*p - 31. Let h be t(-13). Let i = h - a. Is i a multiple of 30?
False
Let z be 20/4 + -5 - -3. Suppose 0 = -z*p + h + 250 + 147, 5*p - 661 = h. Is p a multiple of 33?
True
Let f(a) = -a**3 + a - 4. Let q be f(0). Is 27 a factor of ((-44)/(-7) + -2)/(q/(-504))?
True
Let p(u) be the first derivative of -3 - 15*u**2 - 23*u + 0 + 10*u**2 - 5*u. Does 8 divide p(-6)?
True
Let r be 344 + -1*3/3. Suppose 8*l - 4*l - r = 3*n, -3*n + 449 = 5*l. Is 9 a factor of l?
False
Suppose -4*s + 0 = 3*v + 6, 3*v = 3*s - 6. Let l be (-3 - v) + 1 - -16. Suppose -i + 342 = 4*t, 2*t - 4*i + l = 178. Does 35 divide t?
False
Let l(m) = 4288*m - 6051. Is 11 a factor of l(5)?
True
Is (15/(-6))/(-19 + 56007/2948) a multiple of 22?
True
Let k = 110 - 162. Is 408/(-1)*91/k a multiple of 51?
True
Let f = 138 + -70. Suppose y + f - 232 = 0. Suppose 5*w - y = s, 2*s + 50 = 4*w - 86. Does 4 divide w?
True
Let h(x) = x**3 + 104*x**2 + x + 860. Is 6 a factor of h(-104)?
True
Suppose 31*y - 22*y - 54 = 0. Let u(t) = t**3 - 3*t**2 - 14*t - 21. Is u(y) even?
False
Let v(i) = -i**2 - i + 30. Let q be v(5). Suppose q = -3*o + 1114 - 34. Is o a multiple of 36?
True
Suppose 1480 = 2*m + 4*f, 2*m + 19 - 1505 = -2*f. Let b = -577 + m. Does 13 divide b?
True
Let y = 27 - 27. Suppose y*b - 2*l + 8 = -b, 0 = -b - 2*l. Is (35/15)/(3*b/(-108)) a multiple of 7?
True
Let p = 74 - 87. Let a = 13 + p. Suppose -498 = -a*f - 6*f. Is f a multiple of 7?
False
Let p be (-896)/18 - 2/9. Let u = p + 138. Suppose u*d - 89*d = -298. Is d a multiple of 42?
False
Suppose 2*t + 2824 = 5*s, -2*s = 2*s - 5*t - 2266. Let l = s - 220. Does 43 divide l?
True
Let t(w) = -19*w**3 - 3*w**2 + 129*w + 719. Is 63 a factor of t(-6)?
False
Let p be 1122/(-30) + ((-4)/(-10) - 0). Let w = p + 43. Is 29 a factor of w*2*70/8?
False
Let b(l) = -3*l - 21. Suppose 0 = -2*c + 7*c + 5*o + 125, -2*o = -8. Let z = -42 - c. Is 11 a factor of b(z)?
False
Let l be (7 - -198)*(0 - -1). Suppose 0 = -3*a + 5*r - 10*r - 339, 0 = 3*a - r + 339. Let m = l + a. Is 46 a factor of m?
True
Suppose 8*v - 9*v = 384. Let c be (6*2/8)/((-9)/v). Suppose c*n - 65*n + 31 = 0. Is n a multiple of 17?
False
Let d(b) = -95*b - 105. Let v be d(-8). Suppose 5*l - f - 2266 = 0, -1145 - v = -4*l + 4*f. Does 13 divide l?
False
Let u be 910/(-14) - (0/(-2))/(-2). Let i = u + 85. Is i a multiple of 5?
True
Let o be (3/(-10))/(20/(-200)). Suppose 0*w + 360 = 2*w. Suppose o*t + t = w. Is t a multiple of 6?
False
Suppose 0 = a + 2*b - 3 - 3, -3*b + 65 = 5*a. Let h = a - 13. Suppose h*k = 155 + 190. Is k a multiple of 30?
False
Let j(w) = 66*w**2 + 12*w - 216. Does 24 divide j(10)?
True
Let h(l) = 11*l**2 + 32*l - 69. Suppose 15 = 8*j - 1. Does 13 divide h(j)?
True
Let s(f) = 5*f - 18. Let d be s(5). Is 225/d + 28/(-196) a multiple of 32?
True
Let u = 7230 - 4507. Does 7 divide u?
True
Suppose -3*j - 760 = i, i + 472 + 290 = -2*j. Let g = -310 - i. Is 19 a factor of g?
True
Suppose -2*g - 5*n = -37, 3*g = -3*n + n + 39. Suppose -g*o + 15*o - 1604 = 0. Does 9 divide o?
False
Let l(r) = -64*r**3 - r**2 + 2*r + 6. Let k be l(-2). Suppose 2*f = x - 132, k = 4*x + 6*f - 5*f. Is 4 a factor of x?
True
Suppose 14*v - 16*v - 3*z + 25 = 0, -4*v + 85 = -z. Does 6 divi