se
Let x = -997 + 2885. Is x a multiple of 32?
True
Is 16 a factor of (-311)/7*(41 + -48)?
False
Let o(z) = -9*z - 5 + 15 - 3*z**2 + 2*z**2. Let l be o(-9). Suppose -9*i = -l*i + 9. Is i a multiple of 3?
True
Let p = -6 + 27. Suppose 15*m - p*m = -276. Does 20 divide m?
False
Let v(r) = 5*r**2 + 3*r - 4. Suppose -2*k = -7*k - 85. Let z = k - -21. Is v(z) a multiple of 22?
True
Let o = 1097 - 761. Is o a multiple of 6?
True
Suppose -3*d - 5*k + 96 + 99 = 0, -65 = -d + 3*k. Is d a multiple of 3?
False
Suppose 0 = -3*y - 184 - 101. Let v = 133 + y. Is 38 a factor of v?
True
Let v = 701 + -491. Is 29 a factor of v?
False
Let j(p) = -150*p + 130. Is j(-5) a multiple of 36?
False
Let c be (-14)/(-2*3/9). Let u = -2 + c. Does 19 divide u?
True
Suppose 3*q = -2*y - 942 + 232, q + 4*y + 230 = 0. Let x = -85 - q. Suppose 3*n - 300 = 2*f, 4*n - x = 5*f + 240. Does 40 divide n?
False
Suppose -372 = 3*d + 942. Let g = d - -294. Is 3 a factor of g/(-9)*(-2)/(-4)?
False
Let k = 82 - 67. Is 4 a factor of k?
False
Let z = -667 - -1065. Is z a multiple of 6?
False
Suppose -1985 - 793 = -6*x. Is 17 a factor of x?
False
Suppose -4*w + 47 = 5*q, -3*q + 3*w + 39 = -0*w. Let z be 3/6 - 71/(-2). Suppose -q = a - z. Does 12 divide a?
False
Let m be (-1 - -4) + (49 - -2). Suppose -5*o + 6 - 24 = -d, 3*d = 4*o + m. Is -15*-6*4/d a multiple of 10?
True
Let w be -30 + 13 + (-4)/(-12)*-3. Let n(f) be the second derivative of -f**4/12 - 10*f**3/3 - 13*f**2 - f. Does 4 divide n(w)?
False
Suppose 103*p - 106*p - 3703 = -5*b, 2*p = -2. Is 8 a factor of b?
False
Let t(a) = -a**3 + a**2 - a - 10. Let g be t(0). Let m be g/4 - (-1)/(-2). Is 16 a factor of 35*(m - -2)*-1?
False
Let p = -10 - -10. Let i be (7 - 4) + 10 + p. Suppose i + 89 = 3*m. Does 20 divide m?
False
Suppose -4 = -4*r + 5*r. Does 5 divide r + (-5)/(-1) + (-10)/(-2)?
False
Let s(z) = z**2 - 17*z + 4. Let r be s(17). Suppose 0 = -a - r*b + 56, -2*a + b + 44 = -50. Does 18 divide a?
False
Let d(s) = -7*s**3 - 2*s**2. Let o(f) = f**2 + 9*f + 12. Let q be o(-7). Is 16 a factor of d(q)?
True
Let q(y) = 10*y - 2. Let k(x) = x + 10. Let d be k(-5). Does 3 divide q(d)?
True
Let w(s) = 255*s**3 + s - 2. Suppose -t = -2*k + 5, 4*k + 2 = -2*t - 0. Is w(k) a multiple of 26?
False
Let j be -5*2/((-6)/3). Suppose -j*y + 22 = 2*r, -5 + 38 = 3*r + 5*y. Is r a multiple of 2?
False
Is (-3)/6*-4 - (-348 + 2) a multiple of 26?
False
Let y be (-9)/(-6) - 99/6. Let z = -21 - y. Is ((-40)/(-30))/((-4)/z) even?
True
Let w be (-15)/(-6)*(-136)/(-5). Suppose 41 + 277 = 4*i + 3*c, -5*c = -i + w. Is i a multiple of 26?
True
Let s(i) = -6*i**3 - 32*i**2 - 6*i + 19. Is 12 a factor of s(-8)?
False
Suppose 4*g - 75 = 9. Let a(o) = o**2 - 21*o + 7. Is a(g) a multiple of 7?
True
Suppose 0*x + 18 = -4*x - 2*t, 2 = -x + 2*t. Let h be 1 - x/((-4)/(-63)). Let d = h + -28. Does 15 divide d?
False
Let l(f) = -f**3 - 4*f**2 + 4*f + 16. Let i be l(-4). Let y(k) = k**2 + 189. Does 9 divide y(i)?
True
Let y = -308 + 679. Let u = y - 240. Is 11 a factor of u?
False
Let k be ((-4)/14)/((-6)/42). Suppose -k*j - 5*h - 25 = 0, h - 3*h = 2*j + 10. Suppose j = -4*g - g + 90. Is g a multiple of 9?
True
Let z(f) = -5*f + 75. Suppose -i - b = 1, i - 5*b = -4*i + 5. Is z(i) a multiple of 7?
False
Suppose 2*y + 2 = 4*k, -k - 29 = -3*y - 3*k. Let i = y - 9. Let m = i - -11. Is m a multiple of 3?
True
Let u(m) = 2*m**3 + 16*m**2 + 11*m - 2. Let v be u(-7). Suppose 12*y = v*y - 784. Does 14 divide y?
True
Suppose -79*f = -0*f - 3871. Does 7 divide f?
True
Suppose 5*x - 65 = -z, -4*x + 36 = -0*z + 4*z. Suppose 2*m = 3*u + x, -2*m - m = -3*u - 18. Suppose -j - m*j = 5, q = -4*j + 20. Is 8 a factor of q?
True
Let b = -8 - -9. Let m be b/((-4)/100) + -1. Is -6 - m - (5 + -2) a multiple of 8?
False
Let s(u) = -2628 + u**3 + 2633 + 7*u**2 - 20*u + u**2. Is s(-9) a multiple of 15?
False
Suppose -o - 8 + 60 = -5*f, -3*f = -6. Let z = o + 28. Does 30 divide z?
True
Let u(b) = -2*b**3 - b**2 + 16*b - 4. Let k be u(-5). Suppose -3*o = -3*v + k, -4*v + 3*v + 50 = 2*o. Is v a multiple of 8?
True
Let z(j) = j**3 - 2*j + 7. Let k be z(3). Is 52 a factor of (1000/(-14))/(k/(-98))?
False
Suppose -6*y + 40*y - 15266 = 0. Does 8 divide y?
False
Let r = -21 + 14. Let m(z) = -5*z + 20. Is m(r) a multiple of 22?
False
Let k = -119 - -194. Let a = -39 + k. Let s = a - 18. Is s a multiple of 18?
True
Let c(x) = 1349*x**3 + 2*x**2 - 1. Let n be c(1). Suppose 0*d = -9*d + n. Is d a multiple of 30?
True
Is 5 - (2274/9)/(4/(-6)) a multiple of 24?
True
Let f(g) = g + 13. Suppose 4*t - 3*t + 10 = 0. Let a be f(t). Suppose 0 = 2*x - a - 13. Does 5 divide x?
False
Let a = 8 + -4. Let v be (8 - 2)*a/12. Suppose 0 = -p + 3, 3*m + p - 24 = v*p. Is 3 a factor of m?
True
Let d(g) = -58*g + 242. Does 23 divide d(-19)?
False
Let r = 473 + -300. Is 2 a factor of r?
False
Suppose -6 = 2*n + 3*u + 2*u, 4*n - 4 = -2*u. Suppose 3*v + 220 = 8*v. Suppose -2*x + 3*i = -v, -56 = -5*x + n*x + 2*i. Does 4 divide x?
True
Let r = -49 + 49. Suppose 28 = n - 4*s, r*n + s = 2*n - 84. Is n a multiple of 36?
False
Let t(f) = f**2 + 9*f + 12. Let d be t(-8). Let p(q) = 7*q - 1 + d - 5 + 0. Is p(1) a multiple of 5?
True
Let h = 695 - 479. Is h a multiple of 12?
True
Let f = -326 + 476. Is f a multiple of 16?
False
Suppose -27*k + 320 = -23*k. Is 8 a factor of k?
True
Let d = -22 - -32. Suppose 2*w = 2*t + d, -2*w = -t - 0*t - 8. Suppose 4*s = s - w*p + 24, 3*s - 2*p - 24 = 0. Is 4 a factor of s?
True
Let i = 2677 - 1158. Is 31 a factor of i?
True
Does 20 divide 4/42 + 47200/525?
False
Let t(w) = w**2 + 15*w - 25. Let b be t(-20). Does 6 divide b - 6/8*4?
True
Suppose 0 = 4*b + 4*h + h, 3*h + 7 = -b. Suppose -b*x = -o - 0*o - 17, -5*x + 8 = -4*o. Suppose -390 + 126 = -x*r. Is r a multiple of 22?
True
Suppose 0 = 4*d + 4 + 24. Does 10 divide 12/d*-5*7?
True
Suppose 105 = -10*h + 895. Is 18 a factor of h?
False
Let a(l) = 3*l + 13 + 0 - 4*l. Let b be a(9). Suppose 5*z + b*t + 0*t = 35, 0 = z - t - 16. Is 7 a factor of z?
False
Let z(x) = -4*x + 4. Let g be z(-2). Let l = 19 - g. Does 3 divide l?
False
Let q = 577 - 379. Is q a multiple of 11?
True
Suppose 2 + 13 = -c. Let b(r) = r**2 + 6*r - 9. Let x be b(c). Suppose -2*d - 30 = -x. Is d a multiple of 14?
False
Let f(z) = 2*z + 13. Let t be f(-5). Suppose -6 = t*d + u - 318, 0 = 4*d + 4*u - 416. Suppose -d = -5*m + m. Does 11 divide m?
False
Suppose 2*y - 103 = -49. Does 7 divide y?
False
Suppose 0 = -n - 3*u + 34, -2*u - 204 = -2*n - 3*n. Let z = 48 - n. Is 8 a factor of z?
True
Does 4 divide ((-63)/2)/((7/14)/(-1))?
False
Let b(t) = -7*t - 21. Let y be (-36)/(-30)*5/(-1). Does 7 divide b(y)?
True
Let a be (-1)/(-2)*0/4. Suppose 0*l - 2*h = l + 6, a = 5*l - 3*h - 22. Does 24 divide 73 - (0/1 - l)?
False
Suppose 4*z - 36 = 4*g, 2*z - z - 1 = 0. Let j be (-220)/(-80) - (-6)/g. Suppose -j*k + 3*k - 20 = 5*d, -k - d = -26. Is k a multiple of 5?
True
Let o be -5 + 9 + (0 - 2). Suppose -l = 2*h - 13, -l + 5*h + 32 = -o. Is 19 a factor of l?
True
Let s = -161 - -217. Does 13 divide s?
False
Let w(j) = 7*j**3 - 13*j**2 + 6*j + 5. Let y(b) = 10*b**3 - 20*b**2 + 9*b + 8. Let l(h) = -7*w(h) + 5*y(h). Is 56 a factor of l(11)?
True
Suppose z = i - 3*i + 115, 2*i + 248 = 2*z. Is 7 a factor of z?
False
Let d(y) = 12*y**2 - 22*y - 134. Is 14 a factor of d(-9)?
True
Suppose 4*v + 2*w - 662 = -0*v, -v = -w - 167. Does 28 divide (6/12)/(-2 + 333/v)?
False
Let y be (6/(-5))/(-6 + (-117)/(-20)). Does 18 divide -2*(-500)/y - 3?
False
Is (-843)/(-24) + (-10)/80 + -4 a multiple of 4?
False
Let c(m) = m**2 + m - 9. Let f be c(6). Suppose -f = -5*x - 13. Suppose 42 = 7*r - x*r. Is r a multiple of 14?
True
Let b be (-4)/(-30) - (2 - 7468/15). Suppose -x + 184 = -4*f, 3*x - f - b = -3*f. Does 8 divide x?
True
Suppose -2*q + 62 = 3*b, 2*q - 34 = 6*b - 2*b. Is 1*15 + (q - 22) a multiple of 4?
False
Is -4 - (-6 - 566) - (-1 - -4) a multiple of 7?
False
Let h(c) be the second derivative of -c**5/20 + 5*c**3/6 - c**2/2 + 2*c. Let z be h(-4). Suppose 0 = -2*j - t + 4*t + 2, 5*j + 2*t = z. Is j even?
False
Let m(d) be the second derivative of 7/12*d**4 + 1/20*d**5 + 0 - 3*d**2 - 5/2*d**3 + 10*d. Is m(-6) a multiple of 20?
True
Let w(f) = -6*f - 3. Let i = 9 + -10. Let n(r) = r. Let h(k) = i*w(k) + 2*n(k). Is 26