se
Let v = -134 - -205. Is v a multiple of 23?
False
Suppose -153 = -5*z + 4*r, z + 2*r - 39 = -0*z. Suppose -3*w = 0, -4*w - z = -5*v + 132. Let d = 42 + v. Does 25 divide d?
True
Suppose -485 = -9*l + 4*l + h, 71 = l + 5*h. Is l a multiple of 32?
True
Suppose 0 = -29*s + 19571 + 63108. Does 23 divide s?
False
Let p = -34 - -80. Let h = -384 - -371. Let o = h + p. Is o a multiple of 13?
False
Suppose m + 9*f = 4*f + 711, -4*f = m - 715. Is 7 a factor of m?
False
Suppose 0 = 3*y + 15, -3*y - 46 = 3*h - 247. Is 6 a factor of h?
True
Is (370990/20)/(-23)*-2 a multiple of 4?
False
Let o(c) = -1 + c**2 - 3*c**2 - 9*c + c**2. Let a be o(-7). Suppose -2*k = -47 - a. Is 10 a factor of k?
True
Let a(c) = -c**3 - 19*c**2 - 34*c - 16. Is 14 a factor of a(-19)?
True
Suppose -5*f - 15 = 0, 2*y + 0*f = 2*f + 6. Suppose -4*b - 11*n + 494 = -6*n, -5*b - 2*n + 626 = y. Is b a multiple of 42?
True
Let a = 1 + 68. Does 9 divide a?
False
Let q(o) = -13*o - 8. Let z(n) = 12*n + 7. Let a(c) = -5*q(c) - 6*z(c). Let d(r) = -r**3 - 5. Let j be d(0). Is a(j) a multiple of 11?
True
Let d = 1663 - 935. Is 7 a factor of d?
True
Suppose 4922 + 1108 = 30*z. Is 9 a factor of z?
False
Let a = 336 + 114. Is 9 a factor of a?
True
Let i = -145 + 189. Let t = 222 - i. Does 7 divide t?
False
Let d be -1 + (44/2 - 0 - -3). Suppose 132 = 4*z + 3*u, 2*z = 3*z + 3*u - d. Is 3 a factor of z?
True
Suppose 0 = -89*q + 90*q - 145. Is q a multiple of 40?
False
Suppose -7*y + 5 = -30. Does 3 divide y?
False
Let f = -76 + 68. Suppose 0 = -5*n + 2*w - 84, 3*w + 81 = -3*n - n. Is (3 + -1 + f)*n a multiple of 36?
True
Let f(j) = -j**3 - 17*j**2 - 3*j - 7. Let t be f(-17). Let q = -24 + t. Does 4 divide q?
True
Let h = -1 - 2. Let t(c) = -c**3 + 2*c**2 + c + 6. Is t(h) a multiple of 16?
True
Suppose -z = 5*c - 294, -2*c = -c - 4*z - 42. Suppose 0 = 3*j - 2*j - c. Does 10 divide j?
False
Suppose -3*w - 5*s - 1692 = -4470, 2*w - 1856 = -2*s. Is w a multiple of 27?
False
Let n be -1 + 1 + 0 + -48. Let m = -16 - n. Is m a multiple of 8?
True
Let b(q) = -q - 2. Let t be b(-4). Let f(l) = -11 + l**3 + 11*l + 3*l**2 + 0*l**t + 6*l**2 + 2*l**2. Is 13 a factor of f(-9)?
True
Let f(v) = -v + 7. Let w(l) = 7*l**3 + 2*l + 1. Let x be w(-1). Does 5 divide f(x)?
True
Let k(b) = b**2 - b + 2. Let h be k(5). Let p = h - 16. Let y = p - -16. Does 8 divide y?
False
Let k be (2 - 2) + (1 - -133). Suppose -42 = 2*x - k. Is 23 a factor of x?
True
Suppose -16*d + 7*d = -4320. Is 7 a factor of d?
False
Suppose -147 = v + 2*p, 223 = -2*v + p - 71. Let w = v + 206. Is w a multiple of 22?
False
Let t(w) = 2*w - 5 - 36*w**2 - 32*w**2 + 18 + 73*w**2. Is 7 a factor of t(-3)?
False
Let d(k) = k**2 - 13*k + 12. Let l(b) = -2*b + 8. Let x be l(-6). Let q = 37 - x. Does 35 divide d(q)?
False
Let n = 785 - 389. Is n a multiple of 36?
True
Let q(v) = -v**3 + 6*v**2 + 4*v + 1. Suppose -2*o - 18 = -4*z, -2*z + 17 = z + 2*o. Let y be q(z). Let b = 82 - y. Is b a multiple of 18?
True
Suppose 5*j + 15 = -2*x, -5*j + 76 = -5*x - 14. Let q = -42 - x. Is 6 a factor of 6/q - (-1148)/63?
True
Let k be -2 + -93*(1 - 3). Suppose -3*p = v - k, -p - v - v + 68 = 0. Is p a multiple of 12?
True
Let v be ((-7)/3 + 3)*3. Let b be (-8 + 6)*(-6)/v. Is 222/(-9)*b/(-4) a multiple of 7?
False
Let h = -1 - -5. Suppose -h*m + 134 + 346 = 0. Does 30 divide m?
True
Suppose -4*a + 1 + 3 = z, 0 = 5*z - 3*a - 20. Suppose -p - 2 = -z*r, 12 = r + 3*r. Suppose -2*k + 82 = 3*k + 3*s, -k + s = -p. Does 10 divide k?
False
Let f(p) = p**2 + 1. Let i be f(1). Suppose 279 = -i*v + 5*v. Does 14 divide v?
False
Suppose -5*x - 51 = 94. Let s = 73 + x. Is s a multiple of 22?
True
Suppose -7*a = -87 - 10903. Is a a multiple of 76?
False
Let p(b) = 3*b - 11. Let s be p(5). Suppose w + 0*w + 212 = s*l, 276 = 5*l - 4*w. Is 12 a factor of l?
False
Suppose 178*w - 181*w + 12613 = 4*d, -3*d - 4200 = -w. Is w a multiple of 31?
False
Let k(h) = 20*h. Suppose -3*f + 5 = 2. Let x be (f*3)/((-3)/(-4)). Is 16 a factor of k(x)?
True
Let t(j) = 99*j + 1. Is 5 a factor of t(2)?
False
Is (((-737880)/(-75))/22)/(2/5) a multiple of 37?
False
Let f = 803 - 308. Is f a multiple of 15?
True
Is -8*((-12114)/36 - (0 - 4)) a multiple of 20?
True
Let m(u) = u**2 + 17*u + 159. Is m(-12) a multiple of 33?
True
Suppose 11438 = -37*o + 44*o. Does 43 divide o?
True
Let i = 339 + -212. Suppose -i = -4*k + 293. Does 35 divide k?
True
Let y(t) = t**2 - 6*t - 1. Let f be y(6). Let i be (-1 - 2)/3*f. Is 13 a factor of 6/(-4)*(-20)/i?
False
Is (-2 - -2502)*((-217)/(-14))/31 a multiple of 7?
False
Let y be (-9)/3 - (-2 + -1). Let t = y - -2. Suppose -4*u = -t*u - 14. Is 7 a factor of u?
True
Let o(m) = 3*m + 17. Let a be o(-5). Suppose 4*x - 3*x = -a*t + 93, -4*x = 3*t - 147. Is 16 a factor of t?
False
Let h(y) = y - 5. Let z be h(5). Suppose o - 1 - 2 = z, 3*k = 4*o + 360. Is k a multiple of 33?
False
Let n be (1/(-2))/(2/(-8)). Suppose n*p = -4*b, -4*p = p + 10. Does 19 divide 4 - b - -8*2?
True
Let i be (9 - -1) + -3 - (1 - 1). Let z = -46 + 96. Suppose 211 - z = i*c. Is c a multiple of 9?
False
Is 2*1*4/2 + 476 a multiple of 16?
True
Let g(k) = 140*k + 824. Is 96 a factor of g(14)?
True
Suppose -3*j + 0*j + 150 = 0. Let y = -34 + j. Is y even?
True
Let p(q) = 598*q - 9. Let g be p(8). Suppose -659 = 2*s - g. Is 21 a factor of (1 - 4)*s/(-63)?
False
Suppose -16*x = -6*x - 270. Suppose -2*i - 3*i = 80. Let l = x + i. Does 3 divide l?
False
Let v = 29 - 27. Suppose -4*a + 5*z + 13 = 0, 4*a = -2*z + 8 - v. Suppose 60 = -0*m + 4*m + a*r, 4*m - r - 60 = 0. Is 5 a factor of m?
True
Let l = -7 - -55. Is 4 a factor of l?
True
Let k be (0 - 1)/(4/(-8)). Suppose -5*i - 8 = -113. Is 7 a factor of 16/12*i/k?
True
Let i = 265 + -148. Does 9 divide i?
True
Let f be 3/((-9)/(-12)) - 0. Suppose 0 = 2*m - f*m - 2. Let n(a) = -18*a. Is n(m) a multiple of 18?
True
Suppose 20*x - 94 = 6. Is x even?
False
Let k = 561 + -152. Is k a multiple of 11?
False
Let w(l) = 104*l**2 - 15*l. Does 63 divide w(6)?
True
Let x be 0 - (0 - (5 + -110)). Let n = 185 + x. Is 20 a factor of n?
True
Suppose -g + 29 = -13. Suppose 3*b + 0*b = g. Is b a multiple of 5?
False
Let l be ((-49)/21)/((-1)/(-3)). Let m(r) be the second derivative of -r**4/12 - 11*r**3/6 - 2*r**2 - r. Does 12 divide m(l)?
True
Let y = 15 + -42. Let p = 19 + y. Is (-42)/(-4) + 12/p even?
False
Suppose -1 = 2*d - 3*y, -3*d - 3 = -3*y - y. Let a(v) = 58*v - 6. Let l be a(d). Is 8 a factor of (-20)/(-50) + l/(-10)?
False
Let q(y) = y**2 - 18*y + 3. Let t be q(18). Suppose 100 - 309 = -t*h - 4*m, -3*m - 12 = 0. Is h a multiple of 15?
True
Let p(d) = 3*d**2 + 3*d + 31. Is p(-6) a multiple of 34?
False
Let b be 32/(-24)*(-6)/4. Let w be 3/(1*2/32). Does 16 divide (39/26)/(b/w)?
False
Let b(h) = 3*h**2 - 3*h**2 - 3*h - 2 - h**2. Let q be b(-1). Suppose -4*u + 131 = -5*j, 3*j = -q*j + 15. Is u a multiple of 13?
True
Let p = 135 + -57. Is p a multiple of 28?
False
Let b(d) = 70*d**3 + d**2 - 1. Let i be b(1). Does 14 divide i/4*(-120)/(-75)?
True
Suppose -13*o - 38 = -220. Is 52/(-182) - (-1502)/o a multiple of 10?
False
Suppose 0 = -5*t - 5*z + 110, 3*t - 3*z = -0*z + 78. Let n = -3 + t. Is n a multiple of 6?
False
Let j = 212 + -122. Is 19 a factor of j?
False
Suppose -54*b - 9460 = -49960. Is 14 a factor of b?
False
Let y = -68 + 22. Let b = y - -64. Is 5 a factor of (b/27)/(4/102)?
False
Does 8 divide (22/198 + 170/(-18))*-18?
True
Let l = -28 + 32. Suppose -3*q = 2*q + l*o - 6, -4 = 4*o. Suppose q - 11 = -n. Does 3 divide n?
True
Let g = 215 + 784. Is g a multiple of 37?
True
Let m(c) = 43*c - 1. Does 5 divide m(2)?
True
Let x be 10/4*-2*8/(-20). Suppose 94 = 2*d - g, 2*d - x*g - 90 = -0*g. Does 12 divide d?
False
Let v = 184 + -172. Is 2 a factor of v?
True
Let c(m) = 5*m**2 - 27*m + 57. Let p(u) = u**2 - 7*u + 14. Let t(z) = -2*c(z) + 9*p(z). Let h be t(-9). Does 21 divide ((-77)/22)/((-2)/h)?
True
Is 33 a factor of 36/144 - (-4878)/8?
False
Let h = 111 + -227. Let k = h + 206. Is k a multiple of 18?
True
Let o = -63 + 114. Suppose -4*g + o + 549 = 0. Suppose 2*s = 2*a - 3*s - 112, -3*a + g = -3*s. Is 23 a factor of a?
True
Does 14 divide 1 - -371 - (-10 + 4)?
True
Suppose 22*g = 13*g + 4131. Is 6 a factor of g?
False
Suppose 4*b - 14*b = -12740. Does 14 divide b?
True
L