e 32/(-176) - (-5898)/11. Suppose 11*f = 113 + d. Is f even?
False
Let d be ((-2)/5)/((-16)/120). Suppose -x + 3*s + 339 = 114, -d*x - 4*s = -740. Is x a multiple of 15?
True
Suppose -w + 4 = -0*w. Suppose 2704 = w*y + 924. Suppose 0*k - 3*k = 3*o - 645, o + y = 2*k. Is 14 a factor of k?
False
Suppose -2*i - o = 3*o - 4560, 3*i = 2*o + 6840. Suppose b = 4*b - i. Suppose -2*d = 4*r - 610, -2*d = 6*r - r - b. Is r a multiple of 50?
True
Let g = 91 - 85. Is 26 a factor of (80/(-6) - -13) + 2336/g?
False
Let f = -55 + 98. Let h = f - -12. Let s = h + -28. Is s even?
False
Let y(v) = 45*v**2 + 12*v - 2. Let f be y(-2). Suppose 0 = 3*m - 4*n - 869, 2*m + f = 2*n + 736. Is 15 a factor of m?
False
Suppose -70*r + 11038 = -67*r - 4*z, 2*r - 2*z = 7362. Is 10 a factor of r?
False
Let l(w) = 7*w**3 - 3*w**2 + 5*w - 30. Is l(5) a multiple of 5?
True
Suppose 5*m - 14 = -2*j, 6*j - 2 = 2*m + 3*j. Suppose m*p + 5*z = 399 - 50, -2*z = -4*p + 638. Does 9 divide p?
True
Let k(v) = 87*v**3 + 2*v**2 - 8*v - 3. Let s be k(-3). Does 36 divide 9*(-6)/63*s/5?
True
Let p = -224 - -153. Let r = 225 - p. Is r a multiple of 4?
True
Suppose -4*t + 2*g + 1848 = 0, -3*t - 5*g - 363 = -1736. Let i = t + -121. Is 17 a factor of i?
True
Let q(x) = x**3 - 19*x**2 + 27*x - 50. Let a be q(22). Suppose -2*c + 4*i - 2016 = -6*c, -4*c + i = -a. Is 30 a factor of c?
False
Let c(a) = -a**3 + 30*a**2 - 10*a - 12. Let f be c(29). Suppose 0 = -6*l + f - 161. Suppose 273 = 3*x + l. Does 35 divide x?
True
Let q(b) = -15*b**2 - 3*b + 19. Let m(i) = 141 + i**2 - 151 + 2*i + 6*i**2. Let d(c) = 13*m(c) + 6*q(c). Is d(8) a multiple of 20?
False
Suppose n + 3*m - 7*m = 108, 4*n - 5*m = 454. Let h(p) = -43*p + 3. Let x be h(2). Let o = n + x. Is o a multiple of 9?
False
Suppose -24*s + 63906 = -71166. Is s a multiple of 12?
True
Let f(s) = s**3 + 4*s**2 + 4*s + 2. Let g be f(-2). Suppose g*m = -5 + 3. Is 36 a factor of -8 + 76 - 4/m?
True
Let s(w) = 285*w**3 - w**2 - 21*w + 63. Is 14 a factor of s(3)?
True
Suppose 15*s - 11280 - 5895 = 0. Does 5 divide s?
True
Is 11 a factor of (-3 + -3)/3 - (-1172 - 12)?
False
Is 38 a factor of 5682*(9 + 106/(-12))*12?
False
Let g = 147 + -36. Let z = g + -9. Is 6 a factor of z?
True
Let y(t) = t**3 + t**2 + t + 1. Let z(b) = -2*b**3 - 20*b**2 + 22*b + 22. Let c(o) = -y(o) - z(o). Let s be 63/(-504) - 159/8. Is 8 a factor of c(s)?
False
Suppose 10*w + 85120 = 48*w. Suppose x = 6*x - 5*i - w, 3*x - 1342 = 4*i. Is x a multiple of 48?
False
Let s be (-5 + 7)/(4/(0 + -2)). Let n(i) = i**2 - 1. Let m be n(s). Suppose q = -x + 65, 0 = -m*q + q - 4*x - 55. Is q a multiple of 9?
True
Suppose 67 = -2*b + 5*j - 0, 46 = -b + 5*j. Let k be (4 + -4 - 1)*b. Suppose 11 = 2*u - k. Is 3 a factor of u?
False
Let j = 71 + -68. Let c(v) = -11*v**j - 7 + 4*v**2 - 2*v + 2*v - v. Is 7 a factor of c(-2)?
False
Suppose -u + 145 = 5*n - 0*n, -4*n + 100 = 4*u. Is (-12*n/(-200))/((-1)/(-105)) a multiple of 27?
True
Suppose 2*v = -4*t + 1050, -v - 2*v - 15 = 0. Let c(j) = 145*j + 8. Let u be c(1). Suppose u = -0*q + 3*q - s, -5*q = -5*s - t. Does 5 divide q?
True
Let v(t) = 10*t**2 - 183*t + 54. Is v(23) a multiple of 118?
False
Let j(a) = -9*a + 19. Let r be (15 + -16)*(0 + -1)*-21. Is j(r) a multiple of 13?
True
Let m = -198 - -714. Let d be m/(-15) + 9/(-15). Let z = -28 - d. Is 7 a factor of z?
True
Let n(g) = -g**2 - 5*g + 5. Let q = -3 + -1. Let k be n(q). Suppose -4*j = -k*j + 140. Does 7 divide j?
True
Let j = 45 + 160. Suppose -j*b - 47 = -206*b. Is 15 a factor of b?
False
Suppose 40*v = 45*v - 19800. Suppose -5*c + v = 3*c. Suppose 5*l + q = c, l = 3*l - 4*q - 220. Is l a multiple of 25?
True
Suppose -123*i - 100*i = -2491356. Is 114 a factor of i?
True
Suppose -2*h - 2 - 2 = 0, h = 3*b - 11. Let a(n) = 10*n**2 - 2*n. Does 12 divide a(b)?
True
Let q(v) = 2*v. Let g(o) = -45*o - 56. Let f(c) = -g(c) + 4*q(c). Let i be f(8). Let p = -99 + i. Is 33 a factor of p?
False
Suppose f = -5*n + 1019, 0*n - 811 = -4*n - 5*f. Suppose -n + 36 = 7*s. Let t = s + 51. Is 9 a factor of t?
True
Let p = 190 - 184. Suppose -13*h + 2618 = -p*h. Is 34 a factor of h?
True
Suppose 8*h = h + 35. Let m(t) = 68*t + 2. Is 18 a factor of m(h)?
True
Suppose 17*d + 32 - 355 = 0. Suppose -3*u + d + 89 = 0. Does 3 divide u?
True
Let w(r) = -5*r**3 - 5*r**2 - 2*r + 9. Suppose 108 = 4*c - 4*p - 0*p, -5*c = -3*p - 127. Suppose -8*k = 1 + c. Does 5 divide w(k)?
True
Let l = -122 + 298. Suppose 4*a = q - 14 + 4, -5*a = -2*q + 23. Suppose -6*x + l = q. Is 3 a factor of x?
True
Suppose -15*d - 28423 + 156753 = -16870. Is 121 a factor of d?
True
Let t(m) = m**3 - 88*m**2 + 340. Is 122 a factor of t(89)?
False
Suppose -63*v = -72*v. Suppose 8*t - 8197 + 2349 = v. Is 59 a factor of t?
False
Suppose -4*z + 88 = 18*z. Suppose z*n - 544 = -3*v + 872, 5*n - 1805 = 5*v. Is 42 a factor of n?
False
Let v be 1/1 - (-3 - -2). Suppose -3*a - 34 = -43. Suppose -x + 61 = a*b, 101 = 3*x - v*b - 60. Is x a multiple of 7?
False
Let h(c) = 32*c**2 + 9*c + 8 + 20*c**3 - 10*c - 29*c**2. Is h(3) a multiple of 61?
False
Let k = -159 - -584. Suppose -3*v + 945 = 4*o - 774, o - 4*v = k. Is 53 a factor of o?
False
Let a be 1 + (-3*(-30)/9 - -2). Let s(t) = t**3 - 16*t**2 - 19*t + 42. Let h(k) = k**2 + k. Let z(w) = 4*h(w) + s(w). Is 8 a factor of z(a)?
True
Let w = 10157 + -26509. Does 8 divide w/(-32) - -9*1?
True
Suppose 5*p - 4874 - 2839 = 32867. Is p a multiple of 5?
False
Let f = -15947 + 29403. Does 58 divide f?
True
Let p = -2879 - -3463. Is p a multiple of 17?
False
Suppose -4*b - 28*h + 23*h + 21945 = 0, -3*b + 16434 = h. Is b a multiple of 15?
True
Let c(b) = b**3 + 33*b**2 - 42*b + 81. Is 27 a factor of c(-32)?
False
Let l be (-1269)/(-6) - (3 - (-21)/(-6)). Let q(k) = 11*k**2 + k + 194 - k**3 - 12*k - l. Is q(9) a multiple of 11?
False
Let n = 6799 - 4327. Let j = n - 1742. Is j a multiple of 13?
False
Let k = 5259 + 2255. Is 116 a factor of k?
False
Is 5 a factor of (1 - -1)*5*(-122)/(-10)?
False
Suppose 4*o - 18 = 2*r, 5*o - 25 = -0*o. Let n(m) = 3*m**2 + r + 8*m + 6 + 1 - 3. Does 7 divide n(-4)?
True
Let x(r) = -2*r**3 + 74*r**2 + 185*r + 198. Does 20 divide x(38)?
True
Let j(f) = -9*f - 25. Let u be j(-3). Suppose 3*z + 75 = -u*z. Is (-5436)/(-45) - (-12)/z a multiple of 8?
True
Is (-8)/128*-80024 - 2/(-4) a multiple of 51?
False
Suppose -4 = -8*s + 28. Suppose -2*a + 745 = 16*h - 15*h, 0 = s*a - 2*h - 1470. Is 6 a factor of a?
False
Let n(t) = t**2 + 19*t - 27. Let b be (-404)/18 - 144/(-324). Is 4 a factor of n(b)?
False
Let o = 10946 + -10731. Does 2 divide o?
False
Suppose 6*n + 84 = 12*n. Suppose 51*g = 50*g + n. Suppose 204 = 15*h - g*h. Is h a multiple of 12?
True
Suppose -4*d = 0, u = 4*u - 4*d - 15. Suppose v = -u, 5*n + 4*v - 2*v = 545. Suppose n = 7*y - 78. Is 6 a factor of y?
False
Let x = -2456 - -8912. Does 269 divide x?
True
Suppose -1034 = -3*i - 5*c, i - 174 - 167 = 2*c. Let m = i + -721. Is 49 a factor of (4/22 - m/(-264))*-172?
False
Let s(x) be the first derivative of 9*x**2/2 + 12*x - 889. Let k be 23/3 + (-2)/(-6). Does 14 divide s(k)?
True
Let u be 90/2*(3 + 0). Let z = -1614 + 1709. Let w = u - z. Does 8 divide w?
True
Suppose 24*o = -29*o + 819963. Does 81 divide o?
True
Let q(g) = 48*g**2 - 55. Let t(f) = -24*f**2 + 29. Let l(n) = 3*q(n) + 5*t(n). Does 7 divide l(3)?
True
Let f(i) = -459*i - 7844. Is f(-21) a multiple of 25?
False
Let c be (0/2 + 1)/((-25)/(-1400)). Suppose 0 = -54*o + c*o - 1628. Does 22 divide o?
True
Suppose -42*f = -7*f - 22*f - 3978. Is 17 a factor of f?
True
Let g be 4/3*(-1)/4*30. Let i be (16/g)/(-3 - (-78)/30). Suppose -h = -3*d - 2*d + 290, -2*d - i*h + 116 = 0. Is 13 a factor of d?
False
Let n = -59 + 55. Let r be 3 + 0 + 0 - (n + 3). Let w(l) = -l**2 + 5*l + 7. Does 5 divide w(r)?
False
Let u(i) = i**2 - 8*i + 2. Let w be u(8). Suppose -3*x - 21 = -q - w*q, 3*x - 3 = -q. Does 39 divide -5*q/(-45) + 1749/9?
True
Let o be 30*68*7/56. Does 12 divide -2*(-2)/(-28) - o/(-21)?
True
Let o(w) = 64*w**2 - 993*w + 16. Is 55 a factor of o(19)?
False
Is 24 a factor of ((4/(-10))/((-6)/90))/(2/408)?
True
Suppose -b + 2*z + 1231 = 0, 0 = -2*b - 4*z + 2514 - 12. Let l = b + -505. Is 102 a factor of l?
False
Let c = -12 + 14. Suppose -3*y + 695 = c*y. Suppose y = -5*p + 449. Does 26 div