7) + ((-4)/(-19))/(-2). Suppose o*x - 330*x - 10980 = 0. Is 20 a factor of x?
True
Let o(r) = -r**2 + 3*r + 36. Let j(w) = 2*w**2 - 26*w + 18. Let p be j(13). Let u be o(p). Let l = u + 360. Is l a multiple of 14?
True
Suppose 0*c - 184432 = -0*m - 4*m - c, 0 = 5*c. Is m a multiple of 126?
False
Let y = 8 + -7. Let h = 290 + -294. Is y/((0 + h)/(-124)) + 1 a multiple of 8?
True
Let b(m) = -m**2 - 17*m - 28. Let d be b(-12). Suppose 8 = -6*i + d. Suppose -219 = -t - 2*z, t + 828 = 5*t - i*z. Does 22 divide t?
False
Suppose 11*j = -30*j + 423952 - 114238. Is j a multiple of 5?
False
Let f = 107 - 104. Let v be -2 + 8/6 + 47/f. Suppose 100 = r + v. Does 4 divide r?
False
Let y = 117 + -117. Suppose 13*q + 17*q - 7020 = y. Is q a multiple of 6?
True
Let o be (40/(-12))/((-8)/12). Suppose -5*c = -3*u + 143 + 117, -o*c + 300 = 4*u. Is u a multiple of 16?
True
Is ((2 - 2) + 17961)*(-11)/(264/(-16)) a multiple of 19?
False
Let g be 0/(2 + 4 + -4). Suppose g = -w - 4*i + i + 5, -4*i + 4 = 0. Suppose 2*m = 3*t - 201, -67 = -t + 4*m - w*m. Is 14 a factor of t?
False
Let d(o) = o**3 + 31*o**2 + 66*o - 187. Is 45 a factor of d(-16)?
False
Let k = 40585 - 17094. Is 13 a factor of k?
True
Let r(s) = -8*s - 3. Let j be r(-2). Suppose -j*f + 248 = -9*f. Is f a multiple of 14?
False
Let j(s) = -3*s**2 - 5 + 4 + 2*s**2 - 5*s. Suppose 41*o - 65 + 229 = 0. Is j(o) even?
False
Let a(k) = k**3 - 91*k**2 + 67*k + 24. Is 240 a factor of a(93)?
False
Let t(u) = u**3 - 7*u**2 + 2. Let q be t(7). Let o be (0 - -1) + (q - 4 - -5). Does 5 divide (-16 - -14)/(o/(-134))?
False
Let a(t) = 194*t**2 + 3*t - 2. Let y be 6/8 - (-4)/16*877. Let x be -8*(-5)/y - (-18)/22. Is 41 a factor of a(x)?
False
Suppose 1341 = 5*t - 954. Suppose -3*s = -h + 2*h - t, 0 = -s - 2*h + 158. Is 8 a factor of s?
True
Suppose -2*g + 5*v + 315 = -6*g, 83 = -g + 3*v. Let m = g - -83. Suppose -2*c = 4*n - 98, -5*c = -m*n + 8*n - 240. Does 2 divide c?
False
Does 38 divide (-6 - -64275)/(-3)*11/(-33)?
False
Let g(r) = -48 - 85 - r**2 + 36*r + 169. Is 37 a factor of g(26)?
True
Let a = -410 + 802. Does 9 divide 243 - (a/7)/7?
False
Let t(g) = g**3 - 14*g**2 + 17*g - 54. Let x be t(16). Suppose -j - j - x = -4*f, 3*f - 2*j - 550 = 0. Is 64 a factor of f?
False
Does 13 divide (-459)/36*(505 + -1)*-4?
False
Suppose -1000 = 3*p - 5*p. Suppose -5*a - 4*h + 1660 = 0, 3*a = -h - 3*h + 996. Let i = p - a. Is i a multiple of 28?
True
Let v(s) = -2*s**3 - 2*s**2 + 5*s + 5. Let b(x) = 12*x**2 - 1. Let m be b(-1). Suppose -3 = -3*f, -3*z = -z - 5*f + m. Does 26 divide v(z)?
True
Let w(q) = -2*q**3 + 46*q**2 - 20*q + 48. Is w(20) a multiple of 8?
True
Let j be (7/4)/(7/(-28)). Let p be (-1 + 3 - 0)*j. Is 17 a factor of p/(-21) + (1634/6 - 1)?
True
Let r = 11736 + -7357. Is r a multiple of 34?
False
Suppose 0 = -4*z - z + 20. Let d be 3 + 54/(-21)*(4 - -3). Does 3 divide d/2*3*(-6 + z)?
True
Suppose -b + 3690 = -0*b - p, -5*b + 18490 = 5*p. Is b a multiple of 215?
False
Let i(x) = x**3 + 14*x**2 + 15*x + 17. Suppose 17*z = 19*z + 26. Let g be i(z). Is 156/5*(-30)/g a multiple of 14?
False
Let l be 2 + 1*2*(-9)/18. Let a be (2/1 - l*96) + -2. Let y = -35 - a. Does 27 divide y?
False
Let q be 0 - (-129 + -1) - (-9 + 7). Let r = 260 - q. Is r a multiple of 8?
True
Let g = 331 + -329. Suppose 0 = 20*a - g*a - 216. Is 6 a factor of a?
True
Let p = 53 - 59. Let j be (-8 - p) + 0 + 1 + 1. Suppose 3*a + 329 = 4*x + 30, -3*x + 2*a + 225 = j. Is 11 a factor of x?
True
Let o(q) = -19*q + 91. Let f be o(6). Let r = 279 + f. Is r a multiple of 17?
False
Let y = 132 - 129. Is ((-31)/y)/(16/(-48)) + 3 a multiple of 4?
False
Let t be 2*(5 - (-7)/(-2)). Let r be 1/(0 - (-3)/15). Suppose 3*z + z + r = o, -5*z = -t*o + 43. Is o a multiple of 2?
False
Let w(n) be the second derivative of -149*n**3/2 - 17*n**2/2 - 66*n. Is w(-1) a multiple of 11?
False
Suppose 3*y = -6*f + 21771, -18144 = -5*f - 9*y + 5*y. Is 55 a factor of f?
False
Suppose 2*y = 2*u + 438, 5*u - 576 + 1661 = -5*y. Let b = -206 - u. Does 3 divide b?
True
Let j be (-8)/(-4) - (4 + -4 - 1). Suppose -4*y + 1186 = j*l, 10*y - 5*l - 875 = 7*y. Does 10 divide y?
False
Let g be ((-912)/(-72))/(4/42). Suppose -4*z = -b - 3*b - 484, -z + 4*b + g = 0. Is 9 a factor of z?
True
Let r(y) = -735*y - 1266. Is r(-4) a multiple of 59?
False
Let z = 37052 + -23365. Is z a multiple of 120?
False
Let k(x) = -x**2 - x + 1. Let m(o) = -5*o**2 - 4*o + 4. Let r(b) = 6*k(b) - m(b). Let q be r(-3). Does 11 divide (-45)/15 - 25*q?
True
Let d(a) = 0*a + 5*a**2 + 3*a**3 - 5*a - 4*a**3 + 11*a. Let q be d(6). Is 17 a factor of (-1 + q)/(2/(-158))?
False
Let r(i) = 8*i**2 + 10. Let g be r(5). Suppose 4*b = 6*b - g. Suppose -2*h = d - 13 - 44, h - b = -2*d. Is 17 a factor of d?
True
Suppose -41*z = -42*z + 2. Is 14 a factor of (z - 12)/5 + 186?
False
Let s(d) = -d**3 - 42*d**2 + 46*d + 1356. Is 6 a factor of s(-43)?
False
Let f(n) = 59*n**2 + 5*n - 36. Suppose -2*v + 5 = -5. Let l be f(v). Suppose 11*p = l + 1088. Is 29 a factor of p?
True
Let r = 59 + -48. Let i = 47 - r. Is (-198)/i*(4/(-2) - 6) a multiple of 8?
False
Let b(q) = -q**2 + 34*q - 86. Let v be b(13). Suppose -182*p + v*p - 190 = 0. Is 19 a factor of p?
True
Let f(u) = -2*u**3 + 11*u**2 - 2*u - 4. Let t be f(5). Let l(b) = 3*b**2 - 27*b + 33. Does 11 divide l(t)?
True
Let l(m) = 12*m**3 + m**2 + m - 8. Let f be 115 + -116 - (-1 + 6/(-2)). Is l(f) a multiple of 82?
True
Let v(d) = 668*d**2 + 7*d + 3. Let h(u) = -1335*u**2 - 16*u - 7. Let n(i) = 3*h(i) + 7*v(i). Does 14 divide n(-1)?
False
Let o(s) = -s**3 - 8*s**2 + 9*s + 1. Let c be o(-9). Suppose 0*n + l = -4*n + 1, 0 = -n - l + c. Suppose 4*x - 31 - 29 = n. Is 3 a factor of x?
True
Suppose -2*x + 2*u = -63692, 31*u = -3*x + 28*u + 95514. Does 174 divide x?
True
Let i(o) = 11*o**2. Let u be (-15)/5 + 5 + -6. Is 22 a factor of i(u)?
True
Suppose -2 + 0 = -h. Suppose g - 11 = -h. Suppose -g*l + 500 = -5*l. Does 33 divide l?
False
Suppose 5*v = z - 8, -4*v = z - 2*v + 6. Is 25 a factor of 2/(-2) - z*263?
True
Let s be 6/(-18) + (-7)/(-3) - 2. Suppose -20 = 3*a + 4*c, s*c - 10 = -5*a + 2*c. Suppose 5*g + 10 = a, 5*g - 50 = -2*i + 196. Is 23 a factor of i?
False
Let q(b) = 32*b**2 + 63*b**3 + 2 - 3 - b - 30*b**2. Is q(1) a multiple of 7?
True
Let o(x) = x + 33. Suppose 0 = -4*h + 3*m + 16, 0 = 3*h - 5*m + 3*m - 12. Suppose 7*w - 3*w = 4*b - 68, -h*b + 65 = -3*w. Is o(b) a multiple of 21?
False
Let m = -2739 + 19811. Is m a multiple of 22?
True
Suppose -4*i = -d + 24, i - 246 = -251. Suppose -n = 2*n. Suppose n = -2*r + d*r - 76. Does 6 divide r?
False
Let v be (-1)/(-5) + (-4078)/30*-3. Let r = -71 + v. Is 57 a factor of r?
False
Let k(j) = -j**2 + 19*j + 33. Let o(s) = -5*s**2 + 94*s + 164. Let i(a) = -11*k(a) + 2*o(a). Let c be i(16). Let u = c - -285. Is 34 a factor of u?
True
Suppose -4*p + 12 = -8. Suppose -3*g - 2*o + 2 = 0, 0 = 5*g - 0*g + 3*o - p. Suppose -g*a + 5*a = 26. Is 6 a factor of a?
False
Let c be (-496)/(-30)*3 - (-6)/15. Suppose 86 - c = s. Suppose -s = -q - q. Is q a multiple of 9?
True
Let r(t) = -t**2 - t + 1. Let l(d) = d**3 - 10*d**2 - 28*d + 13. Let q(z) = -l(z) + r(z). Is 6 a factor of q(11)?
False
Let x = -45038 - -77644. Does 34 divide x?
True
Let a(h) = 5*h + 633. Does 3 divide a(-18)?
True
Let h = -61 + 381. Let a be (-2 - (-28)/15) + (-320)/(-150). Suppose h = 6*q - a*q. Does 28 divide q?
False
Does 6 divide (1/(-4))/(1/6)*18299034/(-3159)?
False
Suppose -19*q + 21 = -12*q. Suppose 2*d - d = q*k - 262, 3*k - 5*d = 266. Does 6 divide k?
False
Is 32 a factor of (3 + 9)*4/6*37*12?
True
Suppose 0 = -74*t + 69*t - 30. Is 32 a factor of ((8/(-20))/(-1))/(t/(-2880))?
True
Let s = 159 - 7. Let j = s + -150. Suppose -2*f + 5*q = -119, -j*f - 2*q + 128 = -4*q. Is f a multiple of 15?
False
Suppose -3*u + 10038 = k, 3*u - 14845 = -5*k - 4783. Does 24 divide u?
False
Suppose -5*a = 2*i + 3*i + 90, 0 = 3*a + 5*i + 58. Let r be 1*(3 - (-21)/(-6))*a. Does 45 divide 10/r*-27*(-15 - -7)?
True
Let q(m) = 3*m**2 - 33*m + 90. Suppose -4*j = -v - 35, -72 = -3*v + 7*v + j. Does 45 divide q(v)?
True
Let u(n) = -n**3 - 4*n**2 - 33*n + 56. Is 116 a factor of u(-23)?
False
Suppose -4*t + 5*t = 7. Suppose f + t = 28. Let a = 13 + f. Does 4 divide a?
False
Suppose -z + 2*p = -868, -7*p = -