 a multiple of 4?
True
Suppose 2*q + 16 = 4. Let a(f) = 4 + 0 - 4 - 4 + 1 - 18*f. Is a(q) a multiple of 35?
True
Let j(c) = -8*c**3 + 66*c**2 + 13*c - 5. Is j(-8) a multiple of 7?
True
Does 10 divide ((-1623776)/(-104))/7 - (-6)/(-13)?
True
Suppose 12*o = 3418 + 1118. Suppose 3*z = 2*a + 7*z - 746, 0 = a - 3*z - o. Does 40 divide a?
False
Let n(g) = 9*g**2 + 124*g + 355. Is n(31) a multiple of 34?
False
Let o = -94 - -78. Let r = o - -71. Suppose 0 = 4*z - r - 33. Does 8 divide z?
False
Let g(j) = 607*j**2 + 673*j + 4760. Is g(-7) a multiple of 76?
True
Let q be 1*(-312 - -8 - 7). Let d = q + 391. Is 4 a factor of d?
True
Suppose 4*g = 3*v + 4066, 119*v - 120*v - 3042 = -3*g. Does 22 divide g?
True
Let f(r) = 2*r**3 + 30*r**2 + 30*r + 48. Let z be f(-14). Let p = 6 - 48. Let y = z - p. Does 6 divide y?
False
Suppose -106*s + 394334 + 1593906 - 126880 = 0. Is s a multiple of 27?
False
Suppose -2*v + 2*q = -6*v + 14, -5*v = -3*q - 12. Suppose 2 = r + 4*m, r - 2 = m + v*m. Suppose -87 = -r*d + 99. Does 26 divide d?
False
Let i = -37979 - -47123. Does 12 divide i?
True
Let h = 63881 - 44291. Is h a multiple of 163?
False
Let m be (-10)/(-8) - (-88)/32. Suppose -75 = -m*t + 45. Is 6/((t/(-64))/(-5)) a multiple of 14?
False
Let u(n) = n**2. Let x(q) = -q**2. Let w(z) = 2*u(z) + x(z). Let b be w(6). Is b + (-2 - -3) - 2 a multiple of 7?
True
Suppose -6*b + 22 = -4*b. Suppose -9*q - 14 = -b*q. Suppose q*w - 6 = 1975. Is 47 a factor of w?
False
Let z(c) = -c. Let r(g) = -g**2 - 2*g. Let v(o) = 2*r(o) - 22*z(o). Let f be v(9). Suppose t - 4*y = 2*t - 132, -3*t - 2*y + 346 = f. Does 16 divide t?
True
Suppose -6*x + 38 = 14. Suppose x*u + 3*j + 137 = 0, -2*u + 5*u + 102 = -3*j. Does 28 divide (-3 + (-14)/(-4))*0 - u?
False
Let t(m) = 14*m**2 + 12*m + 50. Suppose 77 = -23*y - 38. Is t(y) a multiple of 16?
False
Let t be 3 - (4 + -8 + 15). Let n = -101 - t. Let f = n - -116. Does 23 divide f?
True
Suppose -3*t = -4*w - 2723, 56*t + 2688 = 59*t + 3*w. Is t a multiple of 2?
False
Let s(a) = 178*a + 65. Let y(u) = -u**2 - 5*u + 18. Let z be y(-7). Does 37 divide s(z)?
True
Suppose 5*x = -15, -929 = 5*d + 2*x - 18468. Does 11 divide d?
True
Suppose 360 = 4*l + 11*l. Let d = l - -33. Suppose 345 - d = 4*r. Is r a multiple of 13?
False
Suppose -x + 4*w + 12 = x, 0 = 4*x + 2*w - 44. Let k be -1 + 1 - (25 - x). Is 11 a factor of (-477)/(-5) + 6/k?
False
Let w(x) = x**2 + x - 29. Let l be w(-9). Suppose 0 = -7*y + l - 15. Suppose 0*z - 4*a - 264 = -2*z, -y*z - 5*a + 580 = 0. Is 14 a factor of z?
True
Let v = 3031 + -1777. Is v a multiple of 4?
False
Suppose 12*t - 6785 = 3*t - 14*t. Does 59 divide t?
True
Let v(t) = -t**3 - 2*t**2 + 14*t - 3. Let q be v(-5). Let d(k) = 10*k + 2*k - 125*k**2 + 124*k**q - 18. Does 3 divide d(8)?
False
Let l be 2/((-18)/63) + -185. Let x = -90 - l. Does 25 divide x?
False
Let c = 267 + -266. Let a(o) = 566*o + 37. Is a(c) a multiple of 9?
True
Suppose 25 = 8*k - 151. Suppose -4*l = -20, -88 = -5*d + 3*l + k. Let j(z) = -z**3 + 24*z**2 + 29*z + 15. Does 23 divide j(d)?
True
Let l(y) = 2*y**3 + 46*y**2 + 83*y - 24. Is 27 a factor of l(-15)?
False
Let g be ((-16)/(-48))/(2/(-90)). Let z(n) = 4*n**2 - 6*n - 270. Is z(g) a multiple of 8?
True
Suppose -19*b - 178 = 278. Is 9 a factor of b/(-8)*33/(-9)*-3?
False
Suppose 9*f + 424 = 3*b + 1618, 3*f - 2*b - 400 = 0. Is f even?
True
Suppose -q - 15*q = -48. Suppose -10*y + 7*y + 2376 = 5*m, 3*y + q*m - 2376 = 0. Does 22 divide y?
True
Let c(i) = -3*i + 1. Let h be c(-3). Let t(d) = 0*d - 9 + 7 + 5*d - 23 - 1. Is t(h) a multiple of 4?
True
Let u = -7735 - -10242. Is 23 a factor of u?
True
Is ((-57)/(-3))/(-2 + 951/474) a multiple of 42?
False
Let y(s) = s. Let h be y(5). Suppose h*j - 26 = -3*i, -4*j + 38 = 4*i - 2. Suppose 7*z + 3*m + 318 = i*z, -2*m + 8 = 0. Is 33 a factor of z?
True
Does 12 divide (-3306182)/(-2010) + (-4)/(-30)?
False
Let c(q) = -937*q + 1264. Does 12 divide c(-8)?
True
Let k = -2960 + 1207. Let z = k - -2874. Is z a multiple of 19?
True
Let w be (0 + 12)/2 + (-23958)/33. Let k = w - -900. Does 15 divide k?
True
Let z be 10/80 + 31/8. Suppose -5*k + 468 = 2*a, -3*a - z*k + k + 684 = 0. Is a a multiple of 16?
True
Suppose 46 = 5*r + 61. Let u be 8/(-4) - (r - 4). Is (-236 + 0 + u + -2)*-1 a multiple of 10?
False
Let m be (1/(-5 + 2))/((-99)/290466). Suppose -4*g - m = -d - 2*g, -5*g + 5 = 0. Does 14 divide d?
True
Let t(y) = -87*y + 11407. Does 23 divide t(-78)?
True
Suppose 25*s - 2211 = 14389. Let o = -589 + s. Does 3 divide o?
True
Let q(a) = -3*a**2 + 71*a - 41. Let t be q(23). Suppose 3*f - 4*w = 6*f - 3221, t*f + w - 5374 = 0. Does 10 divide f?
False
Let l(q) = 32*q**2 + 67. Does 9 divide l(8)?
True
Suppose -4*p = -3*h + 39, 7 = -6*h + 11*h + 3*p. Suppose -3*f - 251 + 1556 = 0. Suppose h*d - 2*i - f = -3*i, 332 = 4*d + 4*i. Is d a multiple of 44?
True
Suppose 0 = -2*q + 2*y - 2, 4*q - 23 = -11*y + 6*y. Let t be (q - 8)*5/(-2). Suppose t = 5*n - 320. Is 43 a factor of n?
False
Let o(r) = 4*r**2 - 7*r - 54. Let x be o(-10). Suppose -10*y + m = -5*y - x, 4 = m. Is y a multiple of 12?
True
Let r(l) = -9*l**2 - 21*l + 59. Let i be r(8). Let o = 692 + i. Is 3 a factor of o?
False
Let m = -7587 - -4800. Is 11 a factor of (m/6 + -3)*8/(-10)?
True
Let g = -29588 - -51954. Is 153 a factor of g?
False
Let n = 32 + -32. Suppose n = 11*q - 10*q - 5. Suppose -68 - 127 = -q*j - 5*t, 3*j - 116 = -2*t. Does 10 divide j?
False
Suppose 70*t - 62861 = 17*t + 124123. Is t a multiple of 24?
True
Let r(u) = -15*u - 161. Let m be r(-17). Suppose -a + m = 5*w - 640, 4*a = -3*w + 454. Is 11 a factor of w?
False
Suppose -3*y = 2*y + 75. Let w be (-1)/((25/y)/5). Suppose -64 = 2*x - 5*m - 263, 279 = w*x - m. Is 7 a factor of x?
False
Let a = -13 - 17. Is (160/a + 8)/(1/12) a multiple of 14?
False
Let m = 295 + -290. Suppose m*g - 3*h = 1695, 6 = h + 1. Does 42 divide g?
False
Suppose 0 = 7*w + 164 - 45. Let h = -16 - w. Is h/3*-2*(-2 - 40) a multiple of 28?
True
Let k be (-10)/5 - (-7 - 3). Suppose k*a + 956 = 13*a + f, 3*a - 592 = 4*f. Is a a multiple of 12?
True
Let x(y) = 56*y**2 - 11*y + 145. Is x(9) a multiple of 75?
False
Let l = 13029 + -9070. Does 2 divide l?
False
Let u(s) = -13*s - 167. Suppose -12 = -3*z, -9*y + 3*z + 9 = -10*y. Is 2 a factor of u(y)?
True
Let w = 10067 - 9231. Does 76 divide w?
True
Let x = -131 + 122. Does 22 divide (198/(-27))/((-1)/x)*-2?
True
Let h(s) = 8*s + 37. Let l = -79 - -22. Let t be 3/2*(-380)/l. Does 6 divide h(t)?
False
Let q(g) = 2*g**3 - g**2 + 7*g - 10. Let v(k) = -11*k + 93. Let i be v(8). Does 50 divide q(i)?
True
Let b be 58/319 + 4/((-44)/7735). Let q = 1206 + b. Is 12 a factor of q?
False
Is 56 a factor of (5061*(5 + 3))/1?
True
Let l(a) = 6*a - 12. Let u be l(8). Let h = -32 + u. Suppose r = 3*c + 13 + 6, 30 = 2*r - h*c. Is 3 a factor of r?
False
Let f be ((-26)/(-6))/((-2)/(-1 - 5)). Let y = f - -1. Suppose y*l - 10*l = 52. Is 13 a factor of l?
True
Let f(v) = 8*v + 13. Let k be f(-8). Let l = k + 87. Is ((-24)/(-9))/(2/l) a multiple of 8?
True
Does 29 divide 36 - (-13 + 8 + 12)?
True
Let x be (8 - (3 + -2)) + 15 + -11. Suppose 12*f - x*f - 71 = 0. Is f a multiple of 12?
False
Let a(f) be the second derivative of 5*f**3/6 + 10*f**2 - 6*f. Let y be a(8). Suppose 0 = 44*j - 41*j - y. Does 7 divide j?
False
Let o = 286 - 325. Suppose 45 = -2*t - 5*b, b = t - 0*b + 12. Let i = t - o. Does 24 divide i?
True
Let s = 12286 - 3355. Is 60 a factor of s?
False
Let w(r) = 6*r**3 + 2*r**2 - 10*r + 7. Let p(c) = 5*c**3 + 2*c**2 - 9*c + 6. Let s(d) = 7*p(d) - 6*w(d). Does 5 divide s(-3)?
False
Let f(b) = 4*b**2 - 35*b - 905. Is f(-35) a multiple of 60?
True
Suppose -101*f = 107*f - 137280. Does 60 divide f?
True
Is 6670/161*(77 - 0) a multiple of 55?
True
Let s(x) be the second derivative of -x**4/6 - 3*x**3/2 - x**2 + 16*x. Let t be s(-8). Let i = 70 - t. Is 32 a factor of i?
True
Suppose 2*v = 5*c - 35607, 2*c = -0*v - 2*v + 14240. Suppose 0 = 25*o - c - 4629. Is 12 a factor of o?
False
Let w(f) = f**3 + 2*f**2 + f + 6. Let j be (2/(-1 + 2))/((-2)/(-8)). Let t be (1 - -2) + -4 + -2 + j. Does 31 divide w(t)?
True
Let z = -908 + 2734. Is z a multiple of 8?
False
Suppose -p + 3*v = -3032, -4*v + 2120 - 11231 = -3*p. Is p a multiple of 171?
False
Let h(u) =