e
Let s = -30 - -34. Suppose w + 5*m = 181, -s*w + 2*m = -442 - 326. Suppose -3*o + 313 = -w. Is o a multiple of 43?
False
Does 6 divide (-1)/(-6)*-2 + (-2684879)/(-771)?
False
Is (6 - 0)/(-2)*(-1327938)/846 a multiple of 31?
False
Suppose -33 = w - 35. Suppose 0 = 5*o - 20, 66 = -0*b - w*b - 2*o. Let v = 61 + b. Is 6 a factor of v?
True
Let p = 9 + 25. Let n = 6 + p. Is 4/n*5*402 a multiple of 17?
False
Suppose -26*u - 10 = -21*u, 2*u + 13108 = 3*p. Does 52 divide p?
True
Suppose 18*a = -12917 + 95825. Does 21 divide a?
False
Let t = 1183 + 98. Is 21 a factor of t?
True
Let i = -59 + 421. Let q(n) = -2*n**3 - 6*n**2 - 3*n + 16. Let u be q(-6). Let f = i - u. Is f a multiple of 11?
False
Let c be 48*(2/(-16))/((-1)/18). Is 18 a factor of ((-38)/6)/(2 - 218/c)?
True
Suppose 8*l - 114 - 62 = 0. Let n = 221 - l. Does 25 divide n?
False
Let b = 14382 - 3798. Is 56 a factor of b?
True
Let l = -9206 + 10209. Does 3 divide l?
False
Is (-38845)/3*306/(-255) a multiple of 34?
True
Suppose 3*m = 9, -81*l + 19585 = -77*l - 5*m. Does 100 divide l?
True
Let z be 2/16 + (-776)/(-64)*-1. Let l(g) = -g**3 - 15*g**2 - 25*g - 5. Let x be l(z). Let d = -110 - x. Does 5 divide d?
False
Suppose 2*a - 336 = -4*h, a + 6 = -2*a. Let l = -40 + h. Is 4 a factor of l?
False
Suppose -7*j + 19 = -6*j + 3*l, 2*j = 3*l + 38. Suppose -j*v + 16*v = -603. Does 67 divide v?
True
Let z(u) = -6*u - 36. Let s be z(-7). Suppose 286 - 1234 = -s*l. Is l a multiple of 9?
False
Suppose 92*s - 2374733 + 746149 = 0. Does 106 divide s?
True
Suppose -961*k + 2*p + 77356 = -959*k, -4*k + p + 154715 = 0. Does 8 divide k?
False
Suppose 4*y = -3*t + 21, -5*t + y = -4*y. Suppose t*u = 5*k - 27, -3*k - 4 = 3*u - 1. Suppose -k*m + 163 + 242 = 0. Does 29 divide m?
False
Let p = 461 - 349. Suppose -3*n + 14 = -y + n, 2*y + 2*n - 12 = 0. Suppose 6*s - y*s = p. Is s a multiple of 4?
True
Let w be (-74)/(-26) + (-7)/(182/(-4)). Suppose 6*m + 3*f = w*m + 3, 0 = -5*f - 5. Does 20 divide 72 + -2*(-1)/m*1?
False
Suppose 5*u + 431 = v, 4*v - 5*u - 914 - 735 = 0. Is v a multiple of 58?
True
Suppose -4*j = 4*w - j - 127, j = -3*w + 94. Let s = 34 - w. Suppose v = 2*p + 16, -38 = -s*v - 4*p - 0*p. Does 7 divide v?
True
Let x(j) = -4*j + 6. Suppose 4*q = 8*q - 52. Suppose 11*u + 7*u = q*u. Does 5 divide x(u)?
False
Let v = -345 + 645. Does 25 divide (-120)/(-18)*v/16?
True
Suppose -1 = -3*c - 5*z + 11, -16 = -4*c - 3*z. Suppose -6*b + b = -2265. Suppose a = -5, c*a = 3*n + a - b. Is 27 a factor of n?
False
Let c = -8605 + 10894. Is 7 a factor of c?
True
Let m be ((-2043)/18)/((-1)/2). Suppose -410 = -3*q - 4*l + 223, -q = -4*l - m. Does 48 divide q?
False
Suppose 200 + 115 = -35*u. Let b(o) = -o**2 - 29*o - 31. Is 4 a factor of b(u)?
False
Let u(y) = 19*y**2 + 18*y + 48. Let z be u(-4). Suppose 5*q - z = -2*q. Does 3 divide q?
False
Suppose 37553 = 3*z + 4*g - 1429, 64980 = 5*z + 5*g. Is 33 a factor of z?
True
Let r(w) = -2*w - 1. Let j(c) = -7*c - 7. Let i(g) = -j(g) + 5*r(g). Let z(u) = u**3 - 4*u**2 + 4*u - 4. Let f be z(3). Is i(f) even?
False
Let j = 85 - 81. Suppose -4*x = 2*q + 10, -2*x + j*q = -0*x - 20. Suppose -4*i = -2*m + 60, 2*m - i + x*i - 57 = 0. Is 2 a factor of m?
True
Suppose 3*z = -m - 1608, -528 = -4*z + 5*z + 3*m. Let t be 2409/(-9) - 2/(-3). Let h = t - z. Is h a multiple of 45?
True
Let f be (-18)/(-42) + (-3)/7. Suppose f = 4*b - 9*b + 30. Suppose -4*d + 2*a + 104 + b = 0, -4*d = -5*a - 107. Is d a multiple of 14?
True
Suppose 0 = -3*p + j + 137, 4*p - 5*j - 74 = 2*p. Suppose 4*o + 4*v = -88, -63 = 3*o + 3*v - v. Let b = p + o. Is b a multiple of 14?
True
Let r(u) = -123*u - 9. Let h be -3 - ((-10)/2 + 6). Is 14 a factor of r(h)?
False
Is 4397 - (7 + -4*(-36)/(-16)) a multiple of 83?
True
Let g be (4/12)/((-1)/(-156)). Let d = g - 47. Does 13 divide 98 - d/((-5)/2)?
False
Let g = -3527 - -7277. Does 25 divide g?
True
Let f = -118 - 143. Is 11 a factor of 7 - 2 - (f + 2)?
True
Suppose -567*i - 30 = -572*i. Suppose 3*w - 536 = 2*b - i*b, 0 = 2*w + b - 354. Does 8 divide w?
True
Let d be (11/2 + -4)/(3/596). Suppose 10*v - 8*v - d = 0. Let g = 349 - v. Is g a multiple of 50?
True
Let i(o) = 2*o**3 - 40*o**2 + 46*o + 14. Let q be i(19). Suppose 136 = 2*m - 5*n - 185, q = m + 3*n. Is 11 a factor of m?
False
Let f(k) = -51*k**3 - 110*k**2 - 2*k + 40. Is 10 a factor of f(-8)?
False
Let x be 120 + -4 + -1 + -1 + 4. Suppose 3*y + 67 = i, -18 = 5*y + 4*i + 122. Let l = y + x. Is l a multiple of 26?
False
Suppose 30364 + 168715 + 82924 = 61*w. Is w a multiple of 7?
False
Let j = -197 + 135. Let u = -59 - j. Suppose 7*o = u*o + 476. Is 17 a factor of o?
True
Let a be ((-49)/(-28))/(6/(-48)). Is 3 a factor of a/63 - (-2849)/63?
True
Suppose -1557108 = -16*a - 42*a - 5*a. Does 9 divide a?
False
Suppose -304*q + 14*q + 13072040 = 0. Is 236 a factor of q?
True
Let v be (-6)/(-18) - (-20)/(-6) - -5. Suppose 4*r = d - 147, 16*d = 19*d - v*r - 481. Is d a multiple of 11?
False
Let r(w) = -3421*w - 1000. Does 41 divide r(-2)?
False
Let l = -52 - -193. Suppose -2*h = 5*b - l, -4*h = 4*b - 100 - 20. Suppose -b*g + 28*g - 97 = 0. Is 29 a factor of g?
False
Suppose 3*c + 50 = 3*q + 68, -2*c + q + 10 = 0. Suppose 98 = c*l - 2*t, -4*t - 23 + 151 = 4*l. Is 2 a factor of l?
False
Suppose 0 = 50*t - 521924 - 196126. Is t a multiple of 104?
False
Suppose 0 = -2*v + 4, 2*r - r = 5*v + 309. Let q = r + -239. Is 29 a factor of q?
False
Let u(g) be the second derivative of 14*g**4/3 - 5*g**2 - 150*g. Is 19 a factor of u(3)?
True
Let o be 0*(3 + 1)/(-4). Suppose f - 1 - 95 = o. Does 12 divide f?
True
Suppose 42*c - 81600 = 15410 + 4882. Is c a multiple of 21?
False
Let l = 108 - 90. Suppose 0 = l*t - 27 + 81. Does 25 divide (8/10)/((-4)/750*t)?
True
Let r = 97 - 95. Suppose 0 = 3*u + 4*p - 14, 0 = 5*u - p + r - 33. Suppose u*v - 428 = 640. Does 33 divide v?
False
Suppose -3*n + 5*a + 21206 = -21899, -2*n = 3*a - 28762. Does 125 divide n?
True
Is 2/2 - (404 + -40217) a multiple of 25?
False
Let r(x) be the third derivative of 15*x**3 - 1/120*x**6 + 0*x - 34*x**2 + 5/24*x**4 + 0 - 1/30*x**5. Is r(0) a multiple of 10?
True
Suppose -3*h = q - 251, 2*h - 4*q - 239 + 95 = 0. Let o be h/(-2)*1/(-1). Suppose n - 53 = -o. Is 2 a factor of n?
True
Let b(d) = d**3 + 3*d**2 - 5*d + 1. Suppose 2*c = -2*c - 16. Let t be b(c). Suppose -56 = -3*j + 5*z, -t - 10 = -3*z. Is 4 a factor of j?
False
Suppose -t = -3*w + 212, 4*t = -w + 3*t + 68. Suppose 13*m - w = 3*m. Suppose 6*x - m*x = -42. Does 6 divide x?
True
Suppose 0 = 4*g + 4*q - 11324, 4*g - 2*q - 11348 = -0*g. Suppose -x = -22*x + g. Does 27 divide x?
True
Let t(v) = 2*v**2 + 9*v. Let s be t(-2). Let p be (-6)/s - -14*3/30. Suppose 2*r + 214 = 3*c, 2*c - 3*r + p*r - 143 = 0. Is 9 a factor of c?
True
Let f = -5582 + 6568. Is 2 a factor of f?
True
Let r = -2698 - -5799. Does 134 divide r?
False
Suppose -l + 2*h + 9 = 0, 2*l - 25 - 1 = -4*h. Suppose 3*r = -3*x + 5*x + 111, x = -7*r + 259. Suppose -l = -o + r. Is o a multiple of 9?
False
Suppose 4*j = 17 - 1. Suppose 4*b - j*y - 43 = 97, y = 2. Suppose 2*c = b + 51. Is c a multiple of 11?
True
Let v(l) = -654*l - 7362. Is v(-21) a multiple of 27?
True
Suppose y - 5 = 0, n - 2*y = 3607 + 3451. Does 25 divide n?
False
Let t = -5156 + 9356. Is t a multiple of 40?
True
Suppose -2*f + 3*b = -10294, -38*b = 3*f - 43*b - 15444. Does 81 divide f?
False
Suppose -93*p = i - 96*p - 10693, 21485 = 2*i + 5*p. Is 20 a factor of i?
True
Let z be (-642)/12*1*-2. Let q = 190 - z. Let i = q + -39. Is i a multiple of 6?
False
Let c be ((-3285)/18 + -9)*(-2)/1. Let r = c - 327. Is r a multiple of 4?
True
Let r = -18 + 17. Let u be r + 3 - (-29 - 1). Suppose -28*f + u*f = 148. Is f a multiple of 5?
False
Let t be 0*2/4 + 2. Let o(p) = -p**3 - p**2 - 6*p - 6. Let v be o(-2). Suppose t*n = -3*n + v, 2*g + 3*n - 66 = 0. Is g a multiple of 12?
False
Suppose -3*w + 5*w - 5*d - 21 = 0, 3*w = -3*d. Let n be ((-10)/(-4))/(7/(-2) + w). Let s(x) = -x**3 - x**2 + 6*x + 5. Does 15 divide s(n)?
True
Let c(l) = l**3 + 30*l**2 + 23*l - 100. Is 14 a factor of c(-25)?
True
Let b(g) be the first derivative of g**4/4 + 8*g**3/3 + 7*g**2/2 + 3*g + 1. Let l be b(-6). Is 12 a factor of (0 + (-39)/2)*(-44)/l?
False
Let k(d) = d**2 + 8*d - 26. Let p be k(3). Does 4 divide (-