. Let q be x(8). Is 10 a factor of 4/w + (25380/q)/9?
False
Let n(l) = -2*l**2 + 87*l - 755. Does 17 divide n(16)?
False
Let g = -6627 - -9686. Is 161 a factor of g?
True
Let n be (6 + 55/(-10))*0. Suppose -5*z + 508 + 167 = n. Does 20 divide z?
False
Suppose -2*u = -2*d - 18, -4*d = d + u + 63. Let l be (d/8)/((-2)/4). Suppose -m - l*m = -160. Does 4 divide m?
True
Let b(u) = 2*u - 5. Let n be b(13). Let f be (-4)/6 + (-623)/n*-4. Let c = f - 42. Is c a multiple of 18?
False
Suppose -5 = -y, 40 = 3*j + 2*j + 2*y. Suppose o = 6 + 10. Let g = o - j. Does 2 divide g?
True
Let t(s) be the third derivative of -3*s**4/4 + 7*s**3 - 4*s**2. Is 29 a factor of t(-6)?
False
Let o(b) = 15*b**2 + 2*b - 4. Let j = -103 - -105. Is o(j) a multiple of 12?
True
Let m(c) = -c**3 + 81*c**2 - 8*c - 4. Does 174 divide m(80)?
False
Let s = -615 - -620. Suppose -7*g = s*g - 3864. Is g a multiple of 46?
True
Let y be 6 + (6 - 5)*-2. Suppose 0 = 4*m + 2*b - 5*b - 67, y*b + 7 = m. Is 9 a factor of m?
False
Suppose 2*t + 2*n - 66414 = 0, -t + 36737 = -5*n + 3524. Does 28 divide t?
True
Let t = -5 + 6. Let m(j) = -11*j. Let a be m(t). Let k(y) = -2*y**2 - 24*y - 16. Is k(a) even?
True
Let w(p) = -p + 6. Let u be w(0). Suppose 5*v - 10 = -t + 3*v, -2*t + u = -3*v. Suppose t*l - 180 = l. Does 18 divide l?
True
Let i = 6 + -70. Let f = 64 + i. Suppose k = -4*y + 2, f*k + 4*k - 64 = -2*y. Is k a multiple of 6?
True
Let j(q) = -11*q + 96. Let v be j(12). Suppose 3*u - 6*u = -o - 345, 5*u - 5*o = 565. Let x = u + v. Is 37 a factor of x?
False
Let u be 5998/(-8) - ((-93)/12 + 8). Let q = 1286 + u. Is 5 a factor of q?
False
Let z(m) = 3*m**2 - 7*m - 3. Let k be z(3). Suppose 2 = -2*q, -4*r + k*q + 291 = -3*r. Does 32 divide r?
True
Let m = -3380 - -3916. Is 67 a factor of m?
True
Let l(n) be the first derivative of n**4/2 - 5*n**3 + 10*n**2 - n + 51. Is 14 a factor of l(9)?
False
Let o be 2 + -4 - (-6)/(-2)*-1. Does 3 divide (o*-38)/(19/(171/(-6)))?
True
Is 537 + ((-117)/(-9) - 2) a multiple of 6?
False
Suppose -1045*v + 2*t = -1041*v - 194180, -2*t - 242729 = -5*v. Is v a multiple of 16?
False
Let c = 41 + -37. Suppose 2*x = c*x - 4. Suppose -x*f = w - 4*f - 79, 2*w + f = 173. Is 17 a factor of w?
True
Is 15 a factor of 7/(21/(-540))*(1668/(-24) + -3)?
True
Let q = 51 - 19. Let n(d) = -3*d**3 - 15*d**2 + 11*d - 18. Let f be n(-6). Let h = q + f. Does 28 divide h?
True
Does 8 divide (-20)/30 + (-57)/9 - -215?
True
Suppose 3*x = 4*n + x + 10, -n + 15 = 3*x. Suppose o - 4 + 2 = n. Is (-5 - o/6)*-39 a multiple of 26?
True
Suppose -3*j + d + 957 = -2*j, 3*d - 4817 = -5*j. Suppose 361 = -4*h + j. Does 22 divide h?
False
Let s be 32235/20*(2 + 1 + 169). Let z be s/28 + (-6)/8. Does 47 divide z/42 + (-4)/(-14)?
False
Let t(f) = -91*f + 22*f - 14 + 62 - 14*f. Does 39 divide t(-6)?
True
Let z be -1 - (2/(-3) - (-68)/12). Let h(s) = -91*s + 63. Is h(z) a multiple of 29?
True
Suppose 2*q = 5*d - 0*d - 77, -2*q + 13 = d. Suppose d = -5*i + 4*i. Let y(x) = 2*x**2 + 15*x + 9. Is 53 a factor of y(i)?
False
Suppose n = p + 97 - 304, 5*n - 2*p = -1032. Let l = -142 - n. Does 7 divide l?
False
Let u be -155*12/(-90)*1266. Suppose -18*o - 4510 = -u. Is 12 a factor of o?
False
Suppose t - 75 = -0*t. Suppose -3*l - 23 = 4*p + 42, 0 = 4*l + 3*p + t. Let x(g) = -7*g - 30. Is 15 a factor of x(l)?
True
Let r = 230 - 250. Let p = 62 + r. Is 6 a factor of p?
True
Suppose 16*u + 2 = 66. Is 7 a factor of (u + 6)/(-20) + 1290/4?
True
Let j(f) be the third derivative of -f**6/120 - f**5/5 + 3*f**3/2 + 15*f**2. Let u be j(-12). Does 39 divide -12*u/60*(-65 - 0)?
True
Suppose -4*m = t - 6*m - 12, 0 = t + 5*m + 9. Suppose 842 = 4*a + 2*i, t*i - 2*i = 4. Is a a multiple of 12?
False
Suppose -1137732 = -120*k + 4207668. Does 24 divide k?
False
Let z(a) = -24*a**3 + 256*a - 259*a - 2*a**2 - 2*a**2 + 3*a**2 - 2. Does 24 divide z(-2)?
True
Let f(w) = 2*w**2 - 19*w + 9. Suppose -2*k = 2*v - 20, 28 = 5*k - 5*v - 12. Let s be f(k). Suppose -3*b + 297 = -s*b. Is b a multiple of 33?
True
Let a = 187 + -188. Is ((69/2)/a)/(681/(-17252)) a multiple of 25?
False
Suppose 0 = 2*w - h - 141, -444*w = -447*w + 4*h + 214. Is w a multiple of 70?
True
Does 27 divide (-137 - -131)/(-2*2/432)?
True
Let w(x) = -4*x**2 - 12*x - 22. Let y(f) = 3*f**2 + 12*f + 23. Let b(k) = 2*w(k) + 3*y(k). Let p be b(-24). Let r = -127 + p. Is 32 a factor of r?
False
Let m be (-1052)/(-22) + 3/((-33)/(-2)). Is 4 a factor of (-1150)/(-8) + 12/m?
True
Suppose 17065 = -15*y + 218695. Is 91 a factor of y?
False
Let q(s) = s**3 + 12*s**2 - 23*s - 5. Let b be q(-14). Let n be (-180)/b + (-6)/(-10). Suppose 177 = 3*g + 4*t, -3*g + 0*t = -n*t - 177. Is g a multiple of 18?
False
Does 14 divide ((-26286)/(-234))/((-1)/(-504)*3)?
True
Let v(s) = s**3 + 25*s**2 - 56*s - 6. Let m be v(-27). Suppose x + k - m = 4*k, -4*x + 5*k = -192. Does 24 divide x?
True
Let d = 25 + 1589. Does 4 divide d?
False
Let y be -4 - (0 + 58/(-2)). Let z(t) = -4*t - 19 + 27 + y*t. Does 14 divide z(3)?
False
Let j(n) = 15*n - 10 - 393*n**2 + 392*n**2 + 12*n. Is 2 a factor of j(24)?
True
Let d be 0/(-2 - -3) + -7 + 9. Suppose -7*o + d*o + 3072 = -h, 5*o + 4*h = 3062. Does 30 divide o?
False
Let y = 5792 - 2672. Does 15 divide y?
True
Let p = -13111 - -22621. Is p a multiple of 30?
True
Let m(k) = -k**3 - 9*k**2 + 56*k - 35. Does 75 divide m(-22)?
True
Let z(v) be the first derivative of 4*v**3/3 - 23*v**2/2 - 47*v + 32. Is z(13) a multiple of 22?
True
Let n(c) = c**3 + 81*c**2 + 44*c - 68. Is 63 a factor of n(-19)?
False
Suppose 5*g = -0*t - 5*t + 25, -3*g - 21 = -3*t. Let k be 322*9/(-12)*t/(-9). Let d = k + -93. Does 17 divide d?
True
Suppose 0 = -19*r - 2*r + 7896. Let f = 1 + r. Is 5 a factor of f?
False
Let v(b) = -80*b + 50. Suppose 36 + 0 = -6*w. Let j be v(w). Is (-3)/(j/134 + -4) a multiple of 19?
False
Let f = 160 + -330. Let p = f + 273. Is p a multiple of 6?
False
Suppose -2*a + 5*a = 4*f - 254, 2*f + 2*a - 120 = 0. Let m = f - 57. Suppose 9*z - m*z - 800 = 0. Is z a multiple of 40?
True
Let j be 41*((-12)/(-9))/(4/(-6)). Let h = 98 + j. Suppose h = 9*l - 8*l. Does 3 divide l?
False
Is 8 a factor of 4550/4 - (3283/(-98) + 33)?
False
Suppose -4*h + 2*o + 31142 = 0, 5*o - 4550 = -3*h + 18839. Is 104 a factor of h?
False
Let o(b) = 33*b + 1083. Does 9 divide o(-29)?
True
Suppose -i - 5*k - 12 = -42, 5*k = i + 20. Suppose -5*m - i*w + 0*w + 105 = 0, 0 = -5*m + 2*w + 126. Is 6 a factor of m?
True
Suppose -5*x + 11754 = q, 2*q - 7841 = 2*x + 15571. Is q a multiple of 12?
False
Let w = 273 - 265. Suppose -w*y + 3321 - 913 = 0. Does 8 divide y?
False
Let m(u) = -59*u + 1 - 11 + 78*u. Let i be m(13). Suppose -5*f + 582 = i. Does 15 divide f?
False
Let i(j) = j**2 - j + 12. Let c be i(-12). Suppose -474 = 9*n - c. Is 9 a factor of 4 + -6 + 4 - n?
True
Let g be (-1)/((-21)/6) - 208/(-56). Suppose -7*h + 5*v + 1005 = -2*h, -v = g*h - 789. Does 33 divide h?
True
Let j be 716/(-2) - (1 + (-22)/11). Let f = -211 - j. Does 19 divide f?
False
Suppose -242*p = -267*p + 35150. Is 18 a factor of p?
False
Let x = 27 - 21. Suppose -29*u = -x*u - 2047. Does 11 divide u?
False
Suppose -5413 - 663 = -49*o. Is 2 a factor of o?
True
Let v(u) = 3*u - 6. Let w be v(8). Suppose 3*d + 3 = -4*h, -3*d + w = d - 2*h. Suppose m - 128 = -d*y, -2*y - m = 2*y - 172. Does 11 divide y?
True
Is 247/(-1)*(-139 + -1 - 4 - 0) a multiple of 6?
True
Let i(m) = -21*m**3 - 93*m**2 + 14*m + 140. Does 205 divide i(-9)?
True
Does 54 divide (94/(-8) - (93 + -93))*2320/(-4)?
False
Suppose -109*z - 283*z - 74*z + 4194 = 0. Let x = 222 + -382. Is (z/(-5))/(12/x) a multiple of 4?
True
Suppose 22*b = -3*i + 27*b + 29615, -15 = -3*b. Does 37 divide i?
False
Let q = -28 - -267. Is (-7)/(21/(-9)) + 6 + q a multiple of 23?
False
Suppose 93*r = -107*r + 226*r - 50544. Is r a multiple of 8?
True
Suppose -4*n + 4*z + 10956 = 0, -26*z = -3*n - 22*z + 8212. Is 14 a factor of n?
True
Suppose 96*q + 43048 - 376264 = 0. Is q a multiple of 7?
False
Suppose -3*k + 65 = -37. Let t = k + -30. Suppose 4*u = -2*x + 148, -4*x + 0*x + t*u + 356 = 0. Is 17 a factor of x?
False
Let c be (-13)/(-5)*2 + (-3)/15. Suppose 5 = 3*a + c. Let l(i) = -i**2 - 3*i + 105. Does 14 divide l(a)?
False
Suppose -5*x - i = -1689 + 559, 5*x - 3*i - 1130 = 0. Let u = 51