2 - 6*x - 4. Let y be f(6). Let q = 11 + y. Let n(g) = g**2 - 6*g + 10. Is n(q) a multiple of 3?
False
Suppose -5*l + 23 = 8. Let q be 3 - 6 - ((-6)/l - 811). Is 12/32 + q/16 a multiple of 25?
False
Let a(p) = 68*p - 1889. Is 8 a factor of a(56)?
False
Is (14616/(-10))/((-28)/((-4760)/(-51))) a multiple of 14?
True
Let c be (-3 - (-10)/2) + (3 - 1). Suppose 0*o - g = -c*o + 85, -4*o - 2*g = -82. Suppose -176 = -f - o. Does 31 divide f?
True
Let q(w) = 1147*w - 10429. Is q(64) a multiple of 21?
True
Let o = 157 + -153. Suppose -10*n = -11*n + o*b + 47, 3*n - 201 = -3*b. Is n a multiple of 21?
True
Suppose -4*v = 2*f + v + 2, -f - 3*v - 1 = 0. Does 29 divide 612/(3 + 1) - (-3 - f)?
False
Let x = -2898 - -4324. Is 16 a factor of x?
False
Let t(u) = -172*u + 2 + 83*u + 95*u + 8. Let h be t(0). Is 10 a factor of (-14)/(-35) - (-1096)/h - 0?
True
Suppose -22*n - 12*n + 469560 = -6*n. Is 15 a factor of n?
True
Let d be ((3783 - -1)/4)/(4/2). Let x = d + 139. Is 24 a factor of x?
False
Let u be (-4)/3*(-9)/6. Suppose 2*q - 3*q - 291 = -5*x, q = -u*x + 115. Is 58 a factor of x?
True
Suppose -5*i + 26 = -3*i. Let z be (141/(-12) - -2)/(i/(-312)). Suppose -5*y + 165 + 225 = -3*d, 3*y + 4*d - z = 0. Is y a multiple of 13?
True
Suppose u + 14 = -5*g, -2*g - g - 5 = 4*u. Let t be (-54)/4 - ((-12)/g)/8. Is (3/4)/((-3)/t)*26 a multiple of 47?
False
Let p be 1/(2 - (-363)/(-183)). Let k be 3 + (p - (-7 + 4)). Let o = k + 14. Is 7 a factor of o?
False
Suppose 0 = -12*y - 2*y. Suppose y = -5*u, 0*v - u + 8 = -2*v. Does 25 divide (v + 5)/(604/300 - 2)?
True
Suppose 0 = p + s - 5378, -2*s - 42199 = -5*p - 15281. Does 6 divide p?
True
Let t be -3*(46/6 - (-25)/(-5)). Let n(a) = 10*a**2 + 10*a - 12. Is 40 a factor of n(t)?
False
Suppose -56*r = -39*r - 4671 - 3370. Is r a multiple of 43?
True
Let g(t) = t**3 - 11*t**2 + 14*t. Let x be g(2). Let r(y) = 16*y**2 + 24*y + 140. Is r(x) a multiple of 81?
True
Let s(h) = -580*h + 1173*h - 572*h + 20. Let z = -2 + 4. Is 25 a factor of s(z)?
False
Let j = 12779 + -7636. Is j a multiple of 26?
False
Suppose -54*d + 548096 = -3000946. Does 41 divide d?
True
Suppose h = 6*b - 5*b - 226, -10 = -2*h. Let p = 35 + b. Let w = p - 169. Does 8 divide w?
False
Let s(b) = -6*b + 58. Let i be s(9). Does 54 divide ((-9)/i)/((-7)/1512)?
True
Suppose 2*j = 2*r + 1089 + 24053, -25146 = -2*j + r. Does 14 divide j?
False
Suppose 42 = -x + 162. Is 69 a factor of (-11608)/(-56) + 4 + x/(-28)?
True
Is 20 a factor of (83 - -114)*(3 - -37)*1?
True
Does 121 divide 22835/6 - 355/426?
False
Let j(a) = a**3 - 34*a**2 + 4. Let b be j(34). Let k be ((-12)/(-15))/((-4)/(-430)). Let q = k + b. Is q a multiple of 32?
False
Let z be (-104)/(-24) + 2/(2*-3). Suppose -6*c = -c - z*g - 2212, 0 = -5*c + g + 2203. Is 40 a factor of c?
True
Let p = 11412 - 1354. Is p a multiple of 124?
False
Suppose -4*j = -16 - 0. Let s(z) = -92*z**2 - 3*z + 8. Let b be s(j). Is (-84)/15 + 5 - b/10 a multiple of 24?
False
Let u(h) = 565*h + 2955. Is u(21) a multiple of 10?
True
Suppose -12*a + 17*a = 160. Is 10 a factor of (-54 + 24)/((-6)/a)?
True
Let y(t) = 4*t**3 + 59*t**2 - 697*t - 36. Is y(16) a multiple of 145?
True
Suppose -9 = -2*x - x. Let j be 1*(x + (2 - 5))/(-1). Suppose j*y - 12*y + 1632 = 0. Does 20 divide y?
False
Let g be (126/(-45))/(-7)*10*1. Let b(i) = 197*i - 131. Is b(g) a multiple of 9?
True
Let m(g) = -g**3 - 24*g**2 - 43*g + 24. Let f be m(-22). Suppose -3*w - 6*z + 3*z + 84 = 0, 3*z + 76 = f*w. Is w a multiple of 8?
True
Let z(q) be the second derivative of -17*q**6/720 - 11*q**5/120 - 11*q**4/12 + 17*q. Let v(b) be the third derivative of z(b). Is 36 a factor of v(-7)?
True
Suppose -4*h + 133226 = 5*b, 168*h - 53294 = -2*b + 167*h. Is b a multiple of 82?
True
Suppose -358002 = -18*q - 34*q + 104382. Is 13 a factor of q?
True
Let w = 17359 + -17271. Is 22 a factor of w?
True
Suppose 0 = 3*n - g - 45021, -2*n - 2*g - 12659 = -42681. Is n a multiple of 13?
False
Suppose l + 123 = 3*i - 2*l, -3*i + 2*l = -120. Suppose i = 16*s - 42. Suppose 0 = 3*u + 5*j - 94, -6*j + j = -s*u + 130. Is u a multiple of 2?
True
Is (36/(-10))/(-8 - (-99111)/12390) a multiple of 59?
True
Does 7 divide ((-170687)/(-44) + -7)/(6/8)?
False
Suppose 5*p + 2*p - 266 = 0. Is 19 a factor of -7*(p/(-5))/((-4)/(-20))?
True
Let u = 33944 - 29466. Is 213 a factor of u?
False
Let w(z) be the second derivative of -z**3/3 + 13*z**2/2 - 19*z. Let x be w(5). Suppose 4*h - x*o - 248 = 0, -h = -3*o - o - 62. Does 12 divide h?
False
Suppose -2*i + 7976 - 1700 = 2*l, -2*l - 12588 = -4*i. Is 10 a factor of i?
False
Is 31 a factor of (99914/16 - (-14)/(336/9)) + -5?
False
Let n(u) = 5*u - 10. Let g be n(3). Suppose -3*c = g*c - 496. Is c a multiple of 5?
False
Let q(d) = d**2 - d - 37. Let c be q(-6). Let v(s) = 51*s - 50. Is v(c) a multiple of 45?
False
Let f(z) = -7*z**3 + z**2 - 11. Let w be f(-2). Let v = 12 + -35. Let i = w + v. Is 2 a factor of i?
True
Let f be 2/(-8) - (224485/20)/(-17). Suppose 19*d - f = 7*d. Is d even?
False
Let a(n) be the first derivative of 855*n**2/2 + 15*n + 31. Is 10 a factor of a(1)?
True
Let q = 50 + -412. Is 15 a factor of q/(-4) - ((-209)/(-22) - 9)?
True
Suppose 0 = i + 4*d - 2845, -4*i + 11431 = d - 2*d. Let o = i - 1316. Does 14 divide o?
False
Let r(p) = 3*p**2 - 12*p - 2. Let j be r(16). Let t = j + -67. Does 39 divide t?
True
Suppose -4*f + 10 = -2*f. Suppose 3*w + f*d + 110 = 0, 4*w + d = -d - 156. Let r = -22 - w. Does 18 divide r?
True
Suppose -4*a + 14 = 2*f, 0 = -0*a + 5*a + 3*f - 20. Suppose -v = 5*r - 4, r - a = v - 5. Suppose 2*u - 600 = -v*u. Does 8 divide u?
False
Let f = 207 + -604. Let v = f - -903. Is v a multiple of 19?
False
Let v(o) = -o**2 - 9*o - 13. Let q be v(-6). Let i(j) = 8 - q*j + 17 + 0. Does 26 divide i(-21)?
True
Let t be -1 - (-43)/(-2)*(-73 - 1). Suppose -2*v + v = 3, -3*o - t = -v. Is 19 a factor of -18*(-3)/6*o/(-27)?
False
Suppose 15 = 3*b - 5*j, -2*b = -3*j - 0 - 10. Is (0 - b)/((-2)/40) a multiple of 25?
True
Suppose 2*v + 3*z = 21, 0 = -5*v - 7*z + 2*z + 45. Suppose -2*d + 41 = -3*t, -t + v*t + d = -90. Let n = t - -101. Is n a multiple of 7?
True
Let d(t) = -3*t**3 + 14*t**2 + 6*t - 14. Does 7 divide d(-4)?
True
Let t(l) = -191*l + 96. Let u be t(-7). Suppose -5*y + u = 4*w, -2*y + 0*y - 1046 = -3*w. Is w a multiple of 18?
False
Suppose 4*f - 683 = 3*z, -2*f = 5*z - 3 - 332. Let j be (f/6)/(3/(297/3)). Suppose 10*s = -s + j. Is s a multiple of 17?
True
Let k be -68 + 26 - (-1 + 0). Let m(f) = -f**3 - 43*f**2 - 89*f + 28. Is m(k) a multiple of 78?
False
Suppose 17*g - 97236 = 7*g - 14506. Is 11 a factor of g?
False
Let n(o) = -o**3 + 4*o + 3. Let k be n(-1). Suppose -v + 1 = 2*y - k, 0 = 5*y + 4*v + 2. Does 6 divide ((-108)/(-15))/(y/10)?
True
Suppose -4*w + 67 = 783. Let t = -32 - w. Is 7 a factor of t?
True
Suppose -3*x - 72 = -462. Let o = x - 92. Does 19 divide o?
True
Suppose 4*m - 2*t + 15 = m, -9 = -2*m - 5*t. Let p(k) = -96*k - 2. Let i(j) = -191*j - 3. Let u(s) = m*i(s) + 7*p(s). Does 15 divide u(-1)?
False
Is 2 a factor of (8/(-2) - (-66)/15)/((-88)/(-250360))?
True
Let z be (-8)/((-48)/4110) - -5. Is 17 a factor of (66/(-4))/((z/(-100))/23)?
False
Suppose 24 = s - 2*l, -s + 71 = 2*s - 5*l. Suppose -19*u = -s*u + 1092. Does 13 divide u?
True
Let o = 3662 - -10179. Is o a multiple of 5?
False
Let w(p) = 219*p - 1527. Does 12 divide w(21)?
True
Let x(r) = -6*r + 58. Let m be x(14). Let z = m + -135. Let b = z - -233. Is 12 a factor of b?
True
Let i = 87932 + -49877. Is i a multiple of 212?
False
Suppose 75 = -167*d + 170*d. Let u(v) = 2*v**3 - 48*v**2 - 42*v + 40. Is 62 a factor of u(d)?
False
Is 28 a factor of ((-16)/(-6))/(300/5175*1/42)?
True
Suppose -258 = -3*k + 177. Let s = k - -79. Does 32 divide s?
True
Suppose f + 3570 = 3*n + 9633, -5*f + 30392 = -4*n. Does 156 divide f?
True
Let n be 5/(-15) + (-206)/(-6). Let i = 16 - n. Is ((-66)/i + -3)/((-1)/(-33)) a multiple of 11?
True
Let n(r) be the second derivative of 20*r**3 + 33*r**2 - r - 2. Is n(5) a multiple of 82?
False
Let h be (-31 + 1)*1*18/(-12). Let l = h - 40. Suppose 116 = l*p - 109. Is p a multiple of 15?
True
Is (2*(-1)/2)/((-53)/43407) a multiple of 29?
False
Does 130 divide -1 + 11591 + ((-84)/(-60) - 252/105)?
False
Let s be (2/10 - -1)*10