 7?
True
Is (-14 + 8)*2/90 + (-39062)/(-15) a multiple of 42?
True
Suppose -3*x + 2146 = 36*x + 19*x. Let f(v) = -9*v**3 + 2*v**2 + 3*v + 2. Let o be f(-2). Let l = o - x. Is l a multiple of 7?
False
Let s = -29872 + 36172. Does 12 divide s?
True
Let n(k) = -1 - k**2 - 4*k**2 - k**2 + 3*k**2 + 6*k. Let p be n(3). Is p*(-5)/((-10)/(-18)) a multiple of 15?
True
Let j = 4409 - 3097. Does 32 divide j?
True
Let q be 11 - ((-6)/27 - (-21)/(-27)). Let r = q + 3. Does 8 divide (12/(-5) + 0)/((-1)/r)?
False
Let q(h) = h**3 - 6*h**2 - 43*h - 96. Does 49 divide q(17)?
True
Let w = -6 + 12. Let k(v) = -3 - 3*v**2 - 7*v**2 + 9*v**2 - 4*v**3 + w*v + 3*v**3. Is k(-4) a multiple of 9?
False
Let y be (-96 - (-1 - 2))*-1. Suppose -3*t + 135 = -y. Is 19 a factor of t?
True
Let t be 249/((-36)/(-8) + -3). Suppose 4*w = 5*w + t. Let g = -52 - w. Does 33 divide g?
False
Let o(i) = -14*i - 33. Let z be o(-6). Suppose 0 = -2*y + 3*y - z. Is 13 a factor of y?
False
Suppose 8077*m = 8115*m - 475456. Does 16 divide m?
True
Let s(v) = 5*v**3 - 28*v**2 - 8*v + 15. Is s(9) a multiple of 20?
True
Suppose 3*c = -3*s + 4688 - 587, -3*s + 4100 = 4*c. Let n = -747 + s. Is n a multiple of 46?
False
Let f be 0 - ((-7)/(28/16) + 1). Suppose -3*u + v = -164, -5*u - 3*v = -f*u - 124. Is 11 a factor of u?
False
Suppose -6*u + 58 = -524. Suppose -1750 = -19*j - u. Does 19 divide j?
False
Let s(a) = 809*a - 2053. Is 50 a factor of s(17)?
True
Let u = 3745 + 2461. Is 107 a factor of u?
True
Let s(q) = 2841*q - 8715. Does 399 divide s(7)?
True
Let f(x) = -3*x**3 + 10*x**2 - 3*x + 5. Let l be f(5). Let v = -95 - l. Is v a multiple of 4?
True
Let x(j) = 94*j**2 + 0*j + j + 5*j - 3*j. Let u be x(-1). Suppose f - 3*m = 41, -2*f + 3*m = -0*m - u. Is 9 a factor of f?
False
Suppose 74*i - 45361 = -8435. Is 2 a factor of i?
False
Let v be -1 - 7 - 2/(-4)*4. Let p(l) = 2*l**2 + 19*l + 66. Does 4 divide p(v)?
True
Let g(i) = -i**3 - 26*i**2 - 20*i - 315. Is g(-33) a multiple of 16?
True
Let q be 6/4*(-632)/(-6). Suppose -q = -m - 2. Let a = m + -68. Is 8 a factor of a?
True
Let z(p) = 4*p**2 + 10*p + 6. Let w be z(3). Suppose -y + w = d, 36 - 16 = -4*d. Is y a multiple of 7?
True
Let u(t) = t**3 + 7*t**2 + 22. Let i be u(-9). Let z = i + 281. Is z a multiple of 4?
False
Let z be (40/(-14))/(40/(-140)). Let i(b) = 8*b - 75. Let r be i(z). Is 31 a factor of (0 - (r + -1)) + (3 - -41)?
False
Suppose -b + 2 = -4. Let k be 2/b + 2*161/(-21). Let h = 117 - k. Is h a multiple of 22?
True
Let v(z) be the first derivative of -z**4/4 - 11*z**3/3 - 2*z**2 - 14*z + 1. Let h be v(-11). Suppose -u + h = 24. Is 3 a factor of u?
True
Let m = 11 + -13. Let f be m/((-4)/(-16)*-2). Suppose -136 = -f*v - l, 3*l - 34 = -v - 2*l. Is v a multiple of 6?
False
Let t = 30 + -63. Let g(n) = 16*n + 186. Let i be g(-13). Let j = i - t. Is 11 a factor of j?
True
Suppose -7*u + 3*u - 87 = -5*x, 0 = u + 4*x + 6. Let m(q) = 2*q - 28. Let r be m(12). Is 6 a factor of -3 - u/r*-6?
True
Suppose 40*k + 23*k = 152684 + 196525. Is 23 a factor of k?
True
Let x be (33/(-4))/((-156)/416). Suppose x*g - 410 = 21*g. Does 10 divide g?
True
Let n be -14 + 14 - (-123 + 0). Suppose 0 = -n*u + 119*u + 44. Is u a multiple of 4?
False
Let y = -664 - -10445. Is y a multiple of 4?
False
Suppose -439 + 39 = 2*i. Let f be (6 - 2)/(8/(-16)). Let w = f - i. Is 24 a factor of w?
True
Let r(b) = -b**2 + 2*b + 37. Let y be r(-5). Suppose -d = -2*m + 135, 3*d + 120 = y*m - d. Does 14 divide m?
True
Suppose 0 = 3*h - 23 + 14. Let c be 68/18 - (-30)/135. Suppose c*f - 4*m = 196, f + h*m - 17 = 28. Is f a multiple of 24?
True
Suppose -36872 = 27*r - 115874. Is 28 a factor of r?
False
Suppose 0 = -51*c + 43*c + 408. Let t = c + -17. Is t a multiple of 17?
True
Suppose -4*i + 5843 + 3962 = k, 0 = 3*k + 2*i - 29485. Does 59 divide k?
False
Let f = 89 - 84. Suppose 2*g + 42 = -2*j, -f*j = -j + 3*g + 86. Let b(s) = s**3 + 24*s**2 + 22*s + 57. Is 40 a factor of b(j)?
True
Suppose -5642 = 967*k - 993*k. Does 7 divide k?
True
Let j = 739 + -737. Suppose -16*p + 592 = -15*p - j*c, -3*c - 591 = -p. Is 54 a factor of p?
True
Suppose 2*h - 6302 = 2*k, -h = -0*h + 2*k - 3136. Does 22 divide h?
True
Let a = -26 - -29. Suppose -11 = -7*y + a. Suppose 3*n + n + 3*u = 457, 0 = -y*n + 2*u + 218. Does 28 divide n?
True
Suppose -5*h + 4*u + 12490 = 0, 7494 = 3*h - 5*u + 6*u. Is h a multiple of 134?
False
Let c(s) = -s**3 - 8*s**2 - 3*s + 10. Let a(g) = 3*g**3 + 3*g**2 + 3*g - 1. Let p be a(2). Suppose p*d - 37*d = -32. Is c(d) a multiple of 10?
False
Suppose 4*z = 4*h + 38 - 14, 0 = -4*h - 16. Let c = 82 + -80. Does 5 divide 3/6*42 + z + c?
True
Let q(m) = -3*m**2 - 6*m. Let c(t) = -t + 13. Let r be c(15). Let p be q(r). Suppose h = -p*h + 54. Is 27 a factor of h?
True
Let x be ((-8)/(-5))/(22/55). Suppose -53 + 12 = -3*f - 5*n, -x*f = -2*n - 46. Suppose f*y - 4060 = -2*y. Is y a multiple of 37?
False
Is (31/(2480/(-26860)))/(1/(-220)) a multiple of 17?
True
Let j(w) = 39*w**3 - 5*w**2 - 6*w - 7. Let n be j(-2). Let c = n + 1030. Is c a multiple of 20?
False
Let t(r) = -r**2 + 6*r - 10. Let b be t(4). Does 10 divide 0 + -6 + 1 - (-43 + b)?
True
Suppose 6*u - 10*u + 5456 = -3*u. Does 44 divide u?
True
Let k(a) = a**3 - 5*a**2 + a - 1. Let m be -4 + 1 + 5 + (-12)/(-4). Let l be k(m). Suppose 0 = l*b - 0*b - 212. Is b a multiple of 14?
False
Let t(s) = -195*s + 3821. Is 36 a factor of t(0)?
False
Let b(v) = -v**3 - 19*v**2 + 16*v + 34. Let a(w) = w**3 + 18*w**2 - 17*w - 34. Let q(k) = 4*a(k) + 5*b(k). Does 23 divide q(-24)?
True
Does 2 divide 727 + -730 + (183 + 1)/1?
False
Let i be (-108)/(-20) - ((-51)/(-15) - 3). Is 35 a factor of (i + -6)*2274/(-6)?
False
Suppose 3*b - n + 83 = 0, 5*b + 99 = 2*n - 40. Is 31 a factor of 9/b*1128/(-4)?
False
Let f = 175 + -119. Does 6 divide (-252)/f*(-1 - 245/3)?
True
Let q(r) = 186*r - 3. Let u be q(3). Let p = 679 - u. Does 3 divide p?
False
Let n(r) = 30*r - 253. Let q be n(-46). Let m = q - -2865. Is m a multiple of 20?
False
Let u(m) = m + 7. Let r be u(-4). Suppose 30 = -r*y + 6*y. Is (14 - y)*(10 + 1) a multiple of 41?
False
Let o(q) = -2*q**3 + 4*q**3 + 131*q + 2*q**3 - 3*q**3 - 3*q**2 - 155*q. Suppose -7 = -x - 0. Is 20 a factor of o(x)?
False
Is 30 a factor of -11 + 16 + -1 - (-1768 - -2)?
True
Let z(c) = c**2 - 9*c - 12. Let r be z(-15). Let b = r - 195. Is b a multiple of 17?
True
Suppose q - 7*a + 11*a = 22, -4*q + 32 = 2*a. Suppose -3*c = -c - 12. Does 17 divide q/(3 - c) + (-66)/(-3)?
False
Suppose 24 = -4*s + 216. Let l = -2458 + 2326. Let p = s - l. Is p a multiple of 15?
True
Let s = 21730 - -17752. Is 103 a factor of s?
False
Suppose 8*s = 12*s - 20, 4*k = -s + 5945. Is 165 a factor of k?
True
Let z = 51816 - 29306. Does 14 divide z?
False
Is 116 a factor of (-13)/(-91) + (-3331)/(-14)*1*16?
False
Suppose -13*t - 1380 = -t. Suppose i = 2*c + 8, -4*i + 4*c + 21 - 9 = 0. Is 10 a factor of (-10 - t)/((-3)/i)?
True
Let u(y) = 90*y**2 - 38*y - 3. Is 63 a factor of u(-6)?
True
Let i be 14/(-7)*6/4. Let k = 22 + i. Let j = 6 + k. Is j a multiple of 9?
False
Let f(t) = -2*t**3 + t**2 - t - 2. Let i be f(-1). Suppose -2*z = -z + i, -z = 2*q + 148. Let l = -37 - q. Is 9 a factor of l?
True
Let m = 547 + -244. Suppose 4*h + 13*g = 12*g + 1227, h = g + m. Does 18 divide h?
True
Let l(b) = 29*b + 5. Let x be l(-5). Let r(g) = -12*g**2 - 3*g + 4. Let f be r(4). Let v = x - f. Does 12 divide v?
True
Suppose a = -f + 7221, -42*f + 3*a = -46*f + 28891. Does 13 divide f?
True
Let w(x) = 11*x**3 + 6*x**2 - 21*x + 4. Let y be w(5). Suppose 4*s = 20*s - y. Is s a multiple of 8?
False
Let g(c) = 111*c**3 - 2*c**2 - c + 2. Let z be 3/(-6)*3*(-16)/24. Let b be g(z). Suppose 3*n + 2*o + b = 4*n, 3*n = -o + 309. Does 26 divide n?
True
Let i(k) = -k + 149. Let q be i(0). Let p be (-9)/(1*4/(-84)). Suppose 2*y - p = q. Does 39 divide y?
False
Suppose 0 = -5*i - t + 11467 + 2138, -5*t = -2*i + 5415. Does 35 divide i?
False
Let s be 24/(-16)*2/3*-691. Let y = 725 - s. Does 5 divide y?
False
Let g be (-1 + -1001)*-1*2/4. Suppose 5*m - 249 = g. Suppose v - m = -y + 5*y, 5*v - 5*y = 720. Is v a multiple of 14?
False
Let y = -21177 - -47635. Is y a multiple of 74?
False
Suppose 0 = 2*w + 3*u - 2082, 0 = -2*w - w + 4*u + 3072. Is 9 a factor of w?
False
Let 