se
Let w(g) = 9*g - 8. Let k = 0 + 3. Suppose k = 5*z - 17. Is 7 a factor of w(z)?
True
Let i(l) = -11*l**2 - 6*l + 7. Let y be i(4). Let z = 273 + y. Is z a multiple of 40?
True
Let u(q) = -3*q**3 - 5*q**2 - 2. Let p(f) = -16*f**3 - 26*f**2 + f - 11. Suppose 0 = 4*s - 9*s - 10. Let j(k) = s*p(k) + 11*u(k). Is j(-3) a multiple of 2?
True
Let h = -54 + 85. Suppose -33*u + 90 = -h*u. Is 15 a factor of u?
True
Suppose 4 = -2*o, -2*o = 3*k + 2*k + 9. Let r be 4 + -1 + (-14)/k. Suppose -2*d = -5*p - 15 - r, -5*p - 58 = -3*d. Does 13 divide d?
True
Suppose -4*p + 64 = 5*x, 0*x - 4*x + 53 = 5*p. Suppose 4*v - x = -0*v. Suppose 3*o = -3*a + 210, -v*a - 2*a = 3*o - 342. Is 22 a factor of a?
True
Let s be 1/1*(-539 - 1). Let j(a) = 2*a**2 + 6*a + 1. Let q be j(-4). Does 15 divide (-1 + 0)/(q/s)?
True
Suppose -417 = -2*q + c, 621 = 11*q - 8*q + 3*c. Is q a multiple of 29?
False
Let n = 791 - 566. Is n a multiple of 7?
False
Is 9 a factor of ((-120)/10)/(2/(-23))?
False
Suppose 36 = s + 2*s. Let a be 9/(27/s) + -2. Suppose c - 4*f = 44, a*c - 112 = -0*c + 2*f. Is 20 a factor of c?
True
Let i = -30 - -35. Let f = 12 + i. Is 17 a factor of f?
True
Suppose x - 22 = -3*d, 4*x - 1 = -5*d + 45. Does 11 divide (-2)/(-3) - (d + (-1038)/9)?
True
Let j = -9 + 117. Let l = 0 + 3. Suppose 0*k = -l*k + j. Is k a multiple of 9?
True
Let z(x) = x**2 - 5*x + 5. Let s be z(5). Suppose 211 = 2*i + s*a, i - 4*a - 137 = -12. Suppose -2*p + 0*p = h - 44, 5*p = -h + i. Is p a multiple of 14?
False
Let t(v) = -v - 12. Let h be t(10). Is 120/9*(h/(-4) - 1) a multiple of 15?
True
Let f be ((-16)/28)/(2/(-7)). Suppose -g + 3 = -f*g. Let v(b) = -16*b - 1. Does 24 divide v(g)?
False
Let n = 39 - 35. Suppose -5*v - n*v + 657 = 0. Is v a multiple of 49?
False
Let y be 1311/13 - (-2)/13. Suppose -2*i - 109 = -5*f, i + y = 5*f + 3*i. Is 19 a factor of f?
False
Let d = 17 + -15. Is 338 + -14 - (4 - d) a multiple of 46?
True
Suppose 2*f + 210 = -q + 3*q, 0 = q - 2*f - 102. Does 54 divide q?
True
Let s(o) = 213*o**3 + 4*o**2 - 1. Is 36 a factor of s(1)?
True
Let n be (3 - -270) + (11 - 7). Let x = n + -163. Is 38 a factor of x?
True
Suppose o - 2*s - 113 = 0, -4*o + s = 290 - 728. Let y = -78 + o. Let i = y + 22. Is 25 a factor of i?
False
Let m(l) = -5*l**3 + 2*l**2 - 4*l - 3. Let w be m(-3). Suppose 4*p - w = p. Is 3 a factor of p?
True
Let k(d) be the second derivative of 2*d - 5/6*d**3 + 3*d**2 + 0 + 1/12*d**4. Does 6 divide k(5)?
True
Let d be (-364)/2 + ((-147)/(-7))/(-7). Let l = d + 319. Does 13 divide l?
False
Let r = 271 - 473. Suppose -g = -4*q - 0*q - 19, 0 = 2*q + 2*g + 12. Does 17 divide r*(0 - q/(-10))?
False
Suppose 0 = 2*q + 5*k - 2543, 5*k = q + k - 1265. Is 9 a factor of q?
True
Let n be 10/(5/(620/8)). Let y = 231 - n. Does 18 divide y?
False
Let x = -529 - -634. Is x a multiple of 10?
False
Suppose -3*h = 15 + 60. Let w = 11 - h. Does 4 divide w?
True
Let m(z) = -z**2 + 18*z + 37. Let l be m(21). Is (-1 - -166) + 26/l a multiple of 41?
True
Let f(h) = 1 + 44*h**2 + 7 - 6 + h. Is f(-1) a multiple of 11?
False
Let p = -180 - -295. Does 23 divide p?
True
Let i(u) = -u**2 - 31*u + 11. Suppose -5*f = -25, -2*b + 2*f - 41 = 23. Is 5 a factor of i(b)?
False
Suppose -5*g - 2*n = 1597 + 402, -5*g = -n + 1993. Let m = 636 + g. Is 59 a factor of m?
False
Let k(g) = 18*g + 33. Does 13 divide k(9)?
True
Suppose 2*r - 12 = -q, -2*q = 3*r - 6*q + 4. Suppose -r*b + 140 = -2*k, 3*b - 62 = b + 5*k. Is b a multiple of 12?
True
Let u be (24/(-16))/(6/(-28)). Suppose -5*l - 2*s = -u*s - 285, -s = -2*l + 109. Is l a multiple of 11?
False
Suppose -16*r = -31*r + 2550. Is r a multiple of 5?
True
Let l(c) = 19*c**2 - 2. Let j be l(2). Let g(m) = 131*m**2 + 7*m + 5. Let k be g(-1). Let q = k - j. Does 18 divide q?
False
Let o be 3/6*(-2 + 2). Let r be -1 - (o + -3 - 0). Suppose -r*m = -0*m - 40. Does 10 divide m?
True
Let t be 1/(-3) + 1/3. Suppose 34*x - 875 = 9*x. Suppose t = -2*p + 65 + x. Is p a multiple of 8?
False
Suppose 4*i = -12, 0 = 2*f + 4*i + 13 + 17. Let k = 5 + f. Let a = -2 - k. Is a even?
True
Let m = 10 - 7. Let l(i) = -8*i + 0 - 12*i**2 + 3*i**m - 4*i**3 - 13 + 2*i. Does 20 divide l(-12)?
False
Suppose -b = -323 + 276. Is 47 a factor of b?
True
Suppose -4*y + 10888 = -4*q, -5*y + 4480 = 3*q - 9098. Does 12 divide y?
False
Let f(g) = -280*g**3 - g**2 + 2*g + 2. Let k be f(-1). Suppose -5*y - 89 = -k. Suppose y = d - 32. Is d a multiple of 10?
True
Let i(m) = m**2 - 8*m + 9. Suppose 0 = 2*v + 7 - 21. Let l be i(v). Is 5 a factor of -2 + 5 - (0 - l)?
True
Let o be -4 + (-2)/(8/36). Let t = o + 31. Is 3 a factor of t?
True
Suppose 3 = -2*l - l. Is l/(-6) + (-1631)/(-42) a multiple of 39?
True
Let u(y) = -y**2 - 6*y. Let b be u(11). Let q = 288 + b. Is 19 a factor of q?
False
Let k(o) = o**3 - 3*o**2 + o - 1. Let j be k(3). Suppose -4*a - j + 26 = 0. Suppose a*d = d + 280. Is d a multiple of 19?
False
Suppose 5*z - 273 = -4*g, z = -3*g + 265 - 52. Let d = g + -22. Suppose 186 - d = 2*f. Is 17 a factor of f?
True
Let l(t) = t - 3. Let c be l(15). Suppose -13*z + c = -10*z. Suppose -4*a = 5*g - 4*g - 43, -z*g + 28 = 4*a. Is a a multiple of 6?
True
Let t = 11 + -5. Suppose 7*o - t*o = -25. Let j = -18 - o. Is j a multiple of 2?
False
Let h = -85 - -77. Let k(z) = -z**2 - 15*z - 39. Is k(h) even?
False
Suppose -6*n + 72 = -5*n - 5*q, 4*n = q + 193. Is 38 a factor of n?
False
Does 54 divide (-5715)/(-24) - 2/16?
False
Let q = -334 - -189. Let g = q - -251. Is 20 a factor of g?
False
Suppose 0 = 2*o - u - 59, -5*u = 5*o - 2*u - 142. Suppose 0*n + n + q - 27 = 0, o = n - q. Is n a multiple of 7?
True
Let y(g) = 60*g**2 + 18*g - 66. Does 22 divide y(4)?
False
Does 23 divide ((-22254)/(-30) - 13)*(-10)/(-4)?
False
Let d = 28 - 12. Suppose 0 = -2*x - 2*x - d. Is 6 a factor of (-36 + 9)*x/6?
True
Let g(p) be the third derivative of 4*p**5/5 + p**4/24 - p**3/6 - 10*p**2. Let w be g(1). Suppose 3*s = 4*s - w. Is s a multiple of 16?
True
Suppose f + 2*n - 116 = 0, 6*n = 3*n + 6. Let b = f + -98. Is b a multiple of 3?
False
Suppose 3 = z - n + 2, -5*z = -3*n - 9. Suppose -4 = z*m - 16. Suppose -3*v = q + 8 - 34, -m*v + 42 = 2*q. Is 11 a factor of q?
True
Let s = -10 - -13. Suppose -3*v - 2*x + 22 - 9 = 0, -12 = -3*v - s*x. Suppose 3*q = 3*c - 324, 0 = -c + v*q - 6 + 118. Does 36 divide c?
False
Let p be 15/25 + 22/5. Suppose -4*h = 2*o - 72, 5*o - p*h - 148 - 107 = 0. Does 28 divide o?
False
Suppose j = 3*b - 2*j - 999, -b + 5*j + 349 = 0. Does 14 divide b?
False
Let n = 2 - -13. Suppose i + n = 106. Suppose 8 + i = 3*g. Does 11 divide g?
True
Let f = 109 - 7. Suppose -540 = -5*m - 5*p, 0 = 2*m - 3*m + p + f. Is m a multiple of 15?
True
Let c = -267 + 1590. Is 48 a factor of c?
False
Is 26 a factor of 78/9*(-2 - -5)*2?
True
Let i be (1/(-1))/(10/(-30)). Suppose 2*o = -8, -2*o = -3*v - i*o + 692. Is 39 a factor of v?
False
Suppose 0 = 5*s + 2*t + 97 - 424, -3*s - 5*t = -200. Suppose -l = -s + 20. Is l a multiple of 27?
False
Let z(t) = 2*t**3 + 33*t**2 + 14*t - 6. Does 29 divide z(-15)?
False
Suppose -b - 7 = 3. Suppose 3*w = 6*w - 3*t - 69, 2*w - t = 49. Let o = w + b. Is o a multiple of 14?
False
Suppose -13 + 17 = a. Does 3 divide a*4/(-3)*9/(-6)?
False
Let d(n) = 6*n - 42 - 23*n + 3*n**2 + 47. Is d(9) a multiple of 19?
True
Is 9 a factor of (-10)/2 - -6 - (-438)/2?
False
Suppose -2*q = 1 - 7. Let z(k) = 5*k**3 + 2*k - 4*k**q + 0*k**3 + k**2 - 3*k. Is 6 a factor of z(2)?
False
Suppose -3*b = 3*y - 6, 7 = 2*y + 4*b - 3*b. Suppose 4*h - 4*s = 524, -y*s + 290 = 4*h - 2*h. Is h a multiple of 9?
True
Suppose 0 = -t + 6*t - 2*q + 5, t + 19 = 4*q. Suppose -14 = 3*x + t. Let n = x + 20. Is n a multiple of 6?
False
Suppose 0 = 29*a - 22919 - 4457. Is a a multiple of 16?
True
Let v(o) = -o**2 + 3 + 5*o**2 - 3*o**2 - 2*o. Suppose 31*a - 26*a - 25 = 0. Does 5 divide v(a)?
False
Let r(t) = -5 - t**3 - 9*t + 0 + 8*t**2 - 1 + 5. Let w be r(7). Is 3/w*2*-15 a multiple of 4?
False
Let x(o) be the third derivative of 11*o**4/6 + 7*o**3/6 + 5*o**2. Let i(c) = 1. Let n(b) = 5*i(b) - x(b). Is n(-1) a multiple of 17?
False
Let f = -25 - -31. Suppose -f*u = 2*u - 304. Is 19 a factor of u?
True
Is (((-12)/18)/2)/((-1)/102) a multiple of 12?
False
Let v(r) = 484*r**2 + r + 1. Is v(1) a multiple of 18?
True
Suppose