 + 42. Is r(-3) even?
False
Let n = 985 + -575. Is n a multiple of 82?
True
Suppose 0 = -11*t + 114 - 466. Let y = 45 + t. Does 13 divide y?
True
Suppose -282*m = -296*m + 1358. Does 2 divide m?
False
Let v be ((-1568)/(-36))/(-7) - (-4)/18. Let l = v - -36. Is 10 a factor of l?
True
Let y = 12 - 25. Let a = -14 - y. Does 6 divide a/(-3)*(-759)/(-11)?
False
Let g = -280 + 730. Does 25 divide g?
True
Suppose -c + 3*b + 609 = 0, 1212 = 2*c + 6*b - 10*b. Suppose -12*v + c = -6*v. Does 14 divide v?
False
Let i = 43 + -32. Suppose i*r = 9*r + 14. Is r even?
False
Let a(r) be the third derivative of 0 - r**3 - 7/12*r**4 + 0*r + 6*r**2 + 1/30*r**5. Is 21 a factor of a(11)?
False
Let i be (0 + 9/(-2))*192/72. Let z(l) = l**2 + 5*l - 18. Is 11 a factor of z(i)?
True
Let g(f) = 45*f**3 + 4*f**2 - 3*f - 3. Suppose -2*p + 18 - 14 = 0. Is 16 a factor of g(p)?
False
Let c = -360 + 997. Is 10 a factor of c?
False
Suppose 32*t = 8*t + 53352. Is t a multiple of 117?
True
Does 158 divide (3149/(-3))/((-1)/3)?
False
Let y(f) = f**3 + 13*f**2 + 12*f. Let o be y(-12). Let z = 50 - o. Is 10 a factor of z?
True
Let m(f) = -3*f + 30. Let n be m(9). Let j be ((-24)/30)/(2/(-5)). Suppose -l - 128 = -5*p - n*l, -2*p - j*l = -50. Is 6 a factor of p?
False
Suppose -1663 = -37*q + 19982. Does 5 divide q?
True
Let k(u) be the third derivative of -u**5/60 + u**4/24 + 10*u**3 - 13*u**2 - u. Let s be (-2)/(1*-2) - 1. Does 20 divide k(s)?
True
Suppose 33*i = 5626 + 19883. Is 21 a factor of i?
False
Let g(m) = -4 - 1 + 2 + m + 4. Let d be g(-1). Suppose d = -i + v + 78, v + 82 = i - v. Does 21 divide i?
False
Let y(c) = c**3 + 4*c**2 + 2*c - 7. Let l be y(-3). Suppose -6 = 4*i + 2*a - 3*a, -5*i + 3*a - 4 = 0. Is 19 a factor of 78 - (4/i - l)?
True
Let a = 37 + -35. Suppose -h = -a*k - 0*h + 308, 3*k - 449 = -5*h. Does 13 divide k?
False
Let d(m) = -m. Let o be d(-4). Suppose 6*n - 8 = 4*w + 2*n, -o*n + 11 = -3*w. Suppose p - b - w*b = 6, 4*p + 5*b = 24. Is 4 a factor of p?
False
Suppose 0 = -6*s + 8*s. Suppose s = -6*f + 7*f - 77. Is f a multiple of 11?
True
Let m be (51/68)/((-2)/240). Let i = m + 133. Suppose -2*w + 41 + i = 0. Is w a multiple of 14?
True
Let y be (-1)/3*3 + 191. Suppose 3*l = -2*l + y. Does 4 divide l?
False
Suppose 5*o - 2565 = 2*a, 0 = o - a - 471 - 42. Is 27 a factor of o?
True
Let p = 17 + -16. Does 4 divide (-13 + 3 + p)/(-1)?
False
Let a(u) = -u**3 - 7*u**2 - 1. Let q be a(-6). Let d = 107 + q. Does 23 divide d?
False
Suppose -5*s + 3*c = -760, 2*s - 325 = 13*c - 16*c. Is 4 a factor of s?
False
Let a(d) = d**2. Let g(b) = -9*b**2 - 3*b + 7. Let h(n) = -6*a(n) - g(n). Is h(6) a multiple of 17?
True
Does 7 divide -1 - (-5 - (8 + 778) - 4)?
False
Let t = -51 - -53. Is 113/t + 3/(-2) a multiple of 13?
False
Let b be (-6)/(-2) - (38 - 0). Let v = b + 24. Let q = v - -80. Is q a multiple of 19?
False
Let v = -22 - -8. Let i be (-9)/(-6) + v/4. Is 24 a factor of 3 + -1 + i - -48?
True
Let n = -58 - 71. Suppose -4*r + 1242 = -5*o, -r = -2 + 4. Let y = n - o. Does 34 divide y?
False
Suppose 9*s - 12*s - 3*l + 168 = 0, 0 = -2*s + 5*l + 84. Does 2 divide s?
True
Let o = -88 + 90. Suppose y + 524 = 3*y + o*g, 5*y + 2*g - 1307 = 0. Does 41 divide y?
False
Let b = -106 + 832. Does 51 divide b?
False
Suppose -7*s = -9*s + 710. Let j be ((-4)/10)/((-1)/s). Let y = -99 + j. Does 15 divide y?
False
Let k(s) = -6*s**2 + 19*s + 2. Let w be k(3). Suppose -15 - 195 = -w*g. Is g a multiple of 8?
False
Let q = -565 + 1069. Is 12 a factor of q?
True
Suppose 93 = 4*y - 231. Suppose 0 = n - 2*u - 0*u - 66, -y = -n - 3*u. Is 24 a factor of n?
True
Let a(k) = -k**2 - 11*k + 17. Let y be a(-12). Suppose 18 = 6*g - y*g. Does 17 divide g?
False
Let p(j) = -22*j**2 + 4*j + 7. Let h(o) = 89*o**2 - 17*o - 29. Let k(x) = 2*h(x) + 9*p(x). Let a(u) be the first derivative of k(u). Is a(-1) a multiple of 14?
True
Let l be (4 + 36/(-10))*-10. Is 2/l - 399/(-14) a multiple of 14?
True
Does 59 divide (2/(-4))/(-7*11/45430)?
True
Let c be -2*-2*3/6. Let i(w) = -241*w - 1. Let z(j) = -60*j. Let b(n) = c*i(n) - 9*z(n). Does 14 divide b(1)?
True
Does 8 divide (195/20)/(-13)*-420?
False
Suppose 1 = 2*v - 4*y - 1, -5*y - 10 = -4*v. Suppose -7 = -v*b + 23. Suppose 37 = m - b*k + 3*k, -148 = -4*m + 3*k. Is 15 a factor of m?
False
Let h = -20 + 33. Let i = -16 + h. Is 7 a factor of (i - (1 - 19))*2?
False
Suppose 46*b - 51072 = 27*b. Is b a multiple of 24?
True
Let x = -37 - 6. Let j = 123 + x. Let b = j + -42. Does 12 divide b?
False
Let j = 2165 + 385. Is j a multiple of 34?
True
Let x(p) = 2*p - 1. Let i be x(13). Let t = i - 14. Is t a multiple of 11?
True
Suppose 5*w = 5*k - 279 - 716, 996 = 5*k - 4*w. Suppose -6*b + b = -k. Does 10 divide b?
True
Let a = -74 - -124. Suppose 9*y + a = 10*y. Is y a multiple of 25?
True
Suppose -4*c = c - 4*l - 5, 5*l = c + 20. Suppose 0 = 3*y + c*h - 512, -5*y + 2*h - 24 + 867 = 0. Does 12 divide y?
False
Suppose 0 = 4*a - 2*h - 664, 4*a = 5*h - 9*h + 688. Does 15 divide a?
False
Suppose 3*i + 68 = v, 4*v - 91 = -4*i + 245. Is v a multiple of 8?
True
Let x(j) = -j**3 + 6*j**2 - 17*j + 3. Let l be x(7). Let q = -75 - l. Is 15 a factor of q?
True
Let c = -28 - -16. Let q(i) = -132*i + 8. Let o be q(-1). Is 14 a factor of o/6*c/(-10)?
True
Is (-13*1)/((225/(-2985))/15) a multiple of 30?
False
Suppose 0 = -6*j + 4*j + 156. Let p = -45 + j. Is p a multiple of 11?
True
Let g = 65 - 60. Suppose 2*z + 4*s - 55 = 21, -4*z + 146 = g*s. Is z a multiple of 8?
False
Let c = 726 - 584. Is c a multiple of 7?
False
Let d be ((-3)/(-1))/(4 - (-452)/(-116)). Suppose 0 = d*o - 23*o - 816. Is 20 a factor of o?
False
Let x(j) be the first derivative of j**3/3 + 3*j**2 + 26*j + 21. Does 7 divide x(-7)?
False
Let k be 7/2 - 1/(-2). Does 22 divide (k - 2) + (66*2 - 2)?
True
Let q = 3089 - 2192. Is 40 a factor of q?
False
Suppose 0 = 3*c + 448 - 67. Let f = 186 + c. Suppose -z + 57 + 54 = 4*j, -2*j = -3*z - f. Does 28 divide j?
True
Let w(n) = 741*n + 1 + 0 - 2 + 4. Let l be w(-3). Is 19 a factor of 2/(-9) + l/(-27)?
False
Suppose -14*u - 10 = -12*u, 4*g - 1135 = 3*u. Is g a multiple of 70?
True
Let r(l) = -l**3 + 8*l**2 - 10*l + 7. Let k(w) = -w**2 - 8*w + 15. Let j be k(-9). Is r(j) a multiple of 7?
False
Suppose 10 = u + g + 3*g, u + 5*g - 12 = 0. Suppose 4*f = -2*z + 208, 2*f + u*f - 2*z - 224 = 0. Is 4 a factor of f?
False
Let j(l) = 41*l - 1. Let n be j(1). Does 4 divide (-1 + -3)/(-8)*n?
True
Let b(u) = -38*u - 24. Is 22 a factor of b(-7)?
True
Let g = 5 + -5. Let i(z) = 4*z + g*z - 4*z + 21 - z**2. Is 7 a factor of i(0)?
True
Let t = -434 - -584. Is t a multiple of 4?
False
Suppose -v + 9 = -3*m, 0*m = -5*v - 2*m + 11. Let g(l) = -9 + 2*l - 5 + 5 + 2*l**2 - l**v. Is g(-4) a multiple of 10?
False
Suppose -7*o = 2169 - 5361. Is 19 a factor of o?
True
Let m(h) = 53*h + 50. Is m(4) a multiple of 67?
False
Suppose -3*k - 3227 = 41*o - 45*o, k = 3. Does 27 divide o?
False
Suppose 40 + 316 = -4*m. Suppose -c - 2*c - 125 = -f, 3*f - 31 = c. Let n = c - m. Is 13 a factor of n?
False
Let v(c) be the third derivative of c**6/120 + 13*c**5/60 + 11*c**4/24 + 13*c**3/6 + 7*c**2. Let f(y) = y - 12. Let b be f(0). Does 8 divide v(b)?
False
Is 112 a factor of (17/85)/(3/26715)?
False
Let n(z) = -582*z - 152. Is 62 a factor of n(-4)?
False
Is 20 a factor of (-6254)/(-4)*((25 - 7) + -16)?
False
Suppose -15*n = -11*n - 1404. Let o = 505 - n. Is o a multiple of 11?
True
Suppose 2*g + w - 6*w = 23, -4*g + w = -37. Let d = g - 4. Does 5 divide d?
True
Let y = 376 + -305. Is y a multiple of 26?
False
Let p(q) = 6*q**2 + 10*q - 61. Is p(15) a multiple of 82?
False
Let h = 147 - 112. Does 17 divide h?
False
Let g be (-1)/3 + 20/6. Suppose g*h - 85 = -34. Suppose -h + 2 = 3*s, 10 = y + s. Is y a multiple of 5?
True
Let k = 2547 + -1867. Is k a multiple of 5?
True
Suppose 120 = q - 3*p, -360 = -3*q - 14*p + 9*p. Is 13 a factor of q?
False
Let h be 8/5 + 26/65. Is (-6)/h*136/(-24) a multiple of 7?
False
Let w be (14/6 + -3)*2388/8. Let s = w - -299. Is 17 a factor of s?
False
Let w(s) = -47*s + 86. Is w(-11) a multiple of 9?
True
Suppose -2*m - 33 + 483 = 2*y, 0 = 4*y + 5*m - 903. Does 17 divide (5/(-2))/((15/y)/(-5))?
False
Let r = -866 - -1321. Does 84 divide r?
False
Let y = 15 + -10. Let n(x) = -10 + 1