se
Let t = -48 + 92. Is 22 a factor of t?
True
Suppose 5*c = 5*l + 3 + 17, 5*l = -4*c + 34. Let z(r) = r**2 - 5*r + 5. Let s be z(c). Suppose -3*u = -s - 49. Is u a multiple of 12?
False
Is 11/(4/(-20)*-5) even?
False
Let y = 143 - -4. Is 16 a factor of y?
False
Let h(y) = y**2 + 6*y - 10. Is h(-9) a multiple of 6?
False
Let c be 18/(-30) - (-26)/10. Is c/10 - 687/(-15) a multiple of 21?
False
Let r = 359 - 214. Does 36 divide r?
False
Let p be 6 + 1/(-4 - -3). Let j be (-18)/(-10) + p/25. Suppose j*q - 7*q + 130 = 0. Does 14 divide q?
False
Let u(y) = -y + 11. Let t be u(8). Let s be t/1 + (-15)/(-1). Is 17 a factor of (-775)/(-45) + (-4)/s?
True
Let z = -75 - -115. Is 4 a factor of z?
True
Does 22 divide (-2373)/(-9) + (-1)/(-3)?
True
Suppose 2*x - 1395 = -3*x. Let f = -196 + x. Suppose 5*m - 42 - f = 0. Is 25 a factor of m?
True
Let m(z) = -z + 2*z**2 + 4*z**2 + 0*z - 1 + 0*z. Is m(-1) a multiple of 6?
True
Suppose 8*h - 4*h = 20. Let i = -10 - -4. Is 11 a factor of (h/(-2))/(1/i)?
False
Is 11 a factor of (-385)/(-15)*(-1 + 4)?
True
Let a(g) = g**2 + 3*g + 1. Let u be a(-3). Let t be 6/u*4/12. Suppose 2*p - t - 36 = 0. Does 11 divide p?
False
Suppose -2*c + 4*g + 152 = 0, 133 + 127 = 4*c + 3*g. Does 17 divide c?
True
Suppose -f = -0*f - 88. Let v = -51 + f. Is v a multiple of 22?
False
Let w = -9 + 3. Is (-2 + (-15)/w)*34 a multiple of 5?
False
Let x(s) = 5*s + 2. Is x(8) a multiple of 7?
True
Suppose -3*d + 17 + 118 = 0. Is 2 a factor of d?
False
Suppose -4*d = -2*l - 8, 3*l + d = -4*d + 32. Let o be ((-18)/(-15))/((-3)/(-40)). Suppose 5*b - o = l. Is b a multiple of 4?
True
Let s(j) = -7*j - 4. Let g be s(2). Let m = 24 + g. Is 6 a factor of m?
True
Suppose -9*v + 210 = -4*v. Is 11 a factor of v?
False
Let w = 11 + -7. Suppose -w*y + 30 = -y. Is y a multiple of 10?
True
Suppose -3*i + 47 + 31 = 3*s, -64 = -2*i + s. Suppose 4*a + 60 = 4. Let o = a + i. Does 10 divide o?
False
Let o(t) = 4*t**3 + 2*t**2 + 2*t - 3. Let x be o(1). Let a = 16 + -11. Suppose x*h = 3*d - 43, 4*d - a*h - 86 = -27. Is 14 a factor of d?
False
Is 2 a factor of (-42)/98 - (-258)/14?
True
Let k(g) = -5*g - 2. Let z = -16 - -11. Let q = z - -2. Does 13 divide k(q)?
True
Let l = -3 - -2. Let u = 1 + l. Let s(g) = -g**3 + 13. Is 6 a factor of s(u)?
False
Suppose 3*v - 29 = -7*k + 2*k, -3*k + 4*v + 29 = 0. Let o = k - 10. Is 6 a factor of (2 + -1)*(-36)/o?
True
Is 2 a factor of 13/2 + 2/4?
False
Let y = -6 - -15. Let a(i) = -i**2 + 12 - 27*i + 12*i + 24*i. Is 12 a factor of a(y)?
True
Let v(t) = t**2 + 8*t + 9. Let x be v(-7). Suppose 2*j + 84 = 4*b - x*j, -104 = -5*b + 4*j. Is 10 a factor of b?
True
Suppose 2*v - 25 = 5*c, 3*v + 6*c - 3 = 2*c. Suppose -4*s - v*t = 7, -s + 4*t = -t - 17. Suppose 4*p - p + s = f, 0 = -4*p + 16. Does 7 divide f?
True
Let a(t) = -t**2 + 4*t + 8. Let x be a(6). Does 22 divide x*(-3)/6*22?
True
Let o(n) be the first derivative of -n**2/2 + 1. Let j be o(-2). Suppose -k - 5*q = -12, -5*k - 2*q = j*q - 123. Is k a multiple of 13?
False
Let w(f) = -15*f + 1. Is w(-3) a multiple of 12?
False
Let s(y) = 11*y**3 - 2*y**2 - 4*y - 5. Let m be 5*1*5/25. Let z(o) = -o - 1. Let u(v) = m*s(v) - 5*z(v). Is 10 a factor of u(1)?
True
Suppose 0 = 3*g - 6 - 9. Let n = g + -8. Is (-25)/n - 2/6 a multiple of 4?
True
Suppose 5*m - 12 = y + 5, -3*m = -2*y - 6. Suppose -5*b - 2*n = -n - 36, 0 = -2*b + m*n + 32. Let r(g) = 4*g - 2. Is r(b) a multiple of 9?
False
Suppose 6 = -5*u - 159. Let g = 45 - u. Is 22 a factor of g?
False
Let g = -249 - -165. Does 7 divide (g/20)/(1/(-5))?
True
Suppose -r - 104 = -4*q, -4*r - 9 = -q + 2. Suppose 4*l + q = g - 15, -3*l = 5*g - 210. Is 13 a factor of g?
False
Let f = 10 + -16. Let c be (34/f)/((-6)/18). Suppose -z - c = -2*z. Does 17 divide z?
True
Let y(a) = -2*a - 1. Let n be y(-3). Suppose -45 = -n*q - 5. Does 8 divide q?
True
Let s(v) = -8*v - 16. Is 3 a factor of s(-6)?
False
Suppose p = 3*p - 8. Suppose -n + 4*l + 3 = p, -2*n + 9 = 3*l. Suppose n*y - 1 = -0*i + 4*i, y - 2*i + 3 = 0. Does 7 divide y?
True
Suppose 6*w - 3*w = -96. Let v be (-70 - -3) + (-2)/2. Let h = w - v. Is h a multiple of 12?
True
Is 8 a factor of (-1 + 45)/((-7)/(42/(-12)))?
False
Let h = 5 + 1. Let n(m) = 2*m**2 - m - 2. Let g be n(h). Suppose w + 3*w - g = 0. Does 16 divide w?
True
Let a = 5 + -2. Let x(h) = -a*h + h**3 + 9*h**2 + 7*h + 2*h + 2*h. Is x(-7) a multiple of 14?
True
Let s = 1 - 1. Suppose s*m + 80 = 5*m. Is 122/8 + (-4)/m a multiple of 7?
False
Suppose 2*t = 3*t. Suppose 4*s - 6*w + w - 57 = 0, 4*s - 3*w - 63 = t. Is s a multiple of 9?
True
Let b(s) = -3*s + 1. Let w(y) = -y**3 + 11*y**2 - 10*y - 6. Let o be w(10). Does 19 divide b(o)?
True
Suppose 3*i - 3*n = -11 + 329, 4*i - 410 = -3*n. Let k be (-6)/18 + i/6. Suppose -5*o - 32 = -5*w - 3*o, -3*w = o - k. Is w a multiple of 6?
True
Suppose -19*a + 191 = -18. Is 7 a factor of a?
False
Suppose 1 = -4*z + 3*z. Let n = 11 - z. Does 10 divide n?
False
Does 2 divide (-201)/(-39) - (-2)/(-13)?
False
Suppose 4*s = -3*w + 75 + 33, -2*s + 144 = 4*w. Is w a multiple of 36?
True
Suppose -5*t + 2*s + 42 = -85, -3*s + 97 = 4*t. Does 14 divide 1/2*t*2?
False
Suppose 4*q = -p + 219 + 254, -5*q + 575 = -2*p. Is q a multiple of 18?
False
Is -3 + ((-3)/9 - 416/(-6)) a multiple of 11?
True
Let l = 91 + -53. Does 33 divide l?
False
Suppose -f = -11 + 29. Let w = f + 27. Suppose w*y - 4*y - 40 = 0. Is 3 a factor of y?
False
Suppose 2*n + n = 3. Suppose -3*l - j = -6, 5 + n = -2*j. Suppose 4 = y + l*v - 15, -20 = 4*v. Is y a multiple of 17?
True
Let v(m) = m**3 - 5*m**2 + m - 5. Let a be v(5). Let x = -1 + a. Does 10 divide 26 + 0*x/3?
False
Let d(k) = -k + 1. Let w be d(0). Let c(q) = q**2 - 5*q - 5. Let p be c(6). Is 9 a factor of (9 - w) + (p - 0)?
True
Let y(h) = 27*h**2 + 1. Let t = 22 + -21. Is 6 a factor of y(t)?
False
Let k(o) = -13*o + 13. Does 13 divide k(-32)?
True
Let l = -36 - -66. Suppose h - l - 6 = 0. Does 23 divide h?
False
Suppose -4*a + 8*a - 768 = 0. Suppose -2*b = -2*x + 84, -3*b = 4*x + b - a. Is x a multiple of 28?
False
Let i be 38/(-8) + 3/(-12). Let b(a) = 6*a + 6. Let r be b(i). Is 1 - (r - (1 - 0)) a multiple of 13?
True
Suppose 2*m = m + 3*y + 18, m = 5*y + 26. Suppose -2*a = u - 7, 5*a + 3*u - 4*u - 21 = 0. Suppose -a*q + 22 = m. Is q a multiple of 4?
True
Suppose -4*j = -6*j. Let r be (0 - -1)/((-1)/(-7)). Suppose j = 4*p - r*p + 24. Is 8 a factor of p?
True
Suppose -4*f + 15 = -f. Is ((-2)/5)/(f/(-150)) a multiple of 12?
True
Let j(r) = -r**3 - 2*r**2 - 4*r + 1. Let p be j(-3). Suppose -62 = -5*m - p. Is 6 a factor of m?
False
Let m = -21 - -54. Is m a multiple of 11?
True
Let u(n) = -9*n - 19. Does 22 divide u(-25)?
False
Let m(t) = -43*t + 4. Let g be m(-4). Does 22 divide 9/(180/g)*5?
True
Let b(s) = -2*s. Let q be b(-1). Let x(v) = -24*v**3 - v**2 - v. Let o be x(-1). Suppose i = -q*i + o. Is i a multiple of 6?
False
Let q = -128 - -418. Is q a multiple of 15?
False
Let i(q) = q**2 - 8*q + 10. Suppose 26 + 6 = 4*r. Is 10 a factor of i(r)?
True
Is 1 - -4 - (-47 + 7) a multiple of 4?
False
Is 7 a factor of (7 + 0)*(-12)/(-6)?
True
Let k be (-455)/(-26)*(-24)/(-10). Is (-42)/(-4)*112/k a multiple of 20?
False
Let y = 11 + 25. Suppose 4*o = -y + 108. Is 18 a factor of o?
True
Suppose y = -4*y - q - 7, -5*y - 3*q = 1. Let j be -3 - (-1)/(y/190). Let g = -66 - j. Does 10 divide g?
False
Suppose -2*l + 10 = -0*l. Suppose 7*z - 124 = 3*z + 4*s, -l*s = 4*z - 133. Is 8 a factor of z?
True
Suppose -2*b + 0*b = -p + 134, -2*b + 150 = p. Is 15 a factor of p?
False
Let p(w) = -4*w + 5. Suppose 2*y + 42 = -3*t - t, -5*t - 48 = -2*y. Let c be p(t). Is 162/c*(-1 + 6) a multiple of 9?
True
Suppose -k - 2*y + 23 = -y, 5*k + y - 119 = 0. Let t = 41 - k. Is 7 a factor of t?
False
Suppose -h - 15 = -2*y, -3*y + h + h + 25 = 0. Suppose 0*b = y*b. Suppose -2*w + 5*w - 108 = b. Does 12 divide w?
True
Does 4 divide (72/(-21))/(1/(-7))?
True
Suppose -4*q = -4*g - 16, 3*q - 2*g - 10 = -0*g. Let x(d) = d**2 + 3*d - 2. Does 5 divide x(q)?
False
Let j be (5/10)/(2/8). Suppose 171 = q + j*q. Does 19 divide q?
True
Suppose 0 = 2*q + 2*y - 18, 4*q - 2*y = 2*q + 22. Does 10 divide q?
True
Suppose n - 5*n - 165 = -3*g, -4*g - 20 = 0. Let d = -6 - n. Is 9 a factor of d?
False
Suppose -5*r = -r - 260. Is 