+ g = -302. Let s = -187 + g. Suppose -4*q + 5 + s = a, 5*q = 4*a - 480. Does 12 divide a?
True
Let k(r) = r**3 + 3*r**2 - 3*r + 4. Let v be k(-3). Suppose -v*i = -10*i + 54. Does 16 divide (i/(-8) - 0)/((-6)/(-128))?
True
Suppose 296 = 3*l + g, 5*l + 157 - 657 = -3*g. Let x = -78 + l. Is x a multiple of 13?
False
Does 38 divide 3 + ((-48)/216 - -1*33466/18)?
True
Let d(r) = -5*r**3 - 4*r**2 - 28*r - 7. Let b = 241 + -246. Does 11 divide d(b)?
False
Suppose 6*b = 51*b - 4*b - 79991. Does 17 divide b?
False
Suppose -2*c = 4*b - 2, 8*b + 3*c = 6*b - 5. Suppose -2*v + b = 0, -a + 167 = -2*v - 0*v. Does 13 divide a?
True
Let u = -341 + 344. Suppose 2*c - 298 = 3*o, -o = -3*c + u*o + 447. Is 10 a factor of c?
False
Let u(z) be the first derivative of 37*z**2/2 + 44*z - 59. Is 20 a factor of u(8)?
True
Suppose 24*s - 23*s - 128 = 0. Let c(i) = -15*i + 284. Let g be c(0). Let t = g - s. Is t a multiple of 26?
True
Let j(m) be the first derivative of -m**3/3 + 3*m**2 - 11*m + 17. Let s be j(4). Is s/9 - (-3)/(9/148) a multiple of 12?
False
Let w = 83 + -75. Suppose -w*g + 4*g = 2*h - 32, 0 = -h - 5*g + 25. Suppose h*d - 686 = 304. Does 11 divide d?
True
Let x be (12/(-2))/(-2 + (0 - 0)). Suppose 263 = 4*b + x*j, b - 2*j = 2*b - 72. Let i = b - 49. Is 2 a factor of i?
False
Suppose 0*b + 2*b + 22 = 0. Let v be (-1 - b/7) + 2658/(-21). Let z = -111 - v. Is 2 a factor of z?
False
Let r = 37 - -190. Suppose -4*j = -1453 - r. Is j a multiple of 14?
True
Suppose 4*z = -10*w + 4*w + 16, -z + 9 = 4*w. Suppose 18 = f + 4. Is 22 a factor of 131 - (f/w + -5)?
False
Let m(z) = 17*z**2 + 66*z - 109. Does 11 divide m(-14)?
True
Suppose 5*j + 883 = 4*h - 267, h - 281 = -2*j. Suppose -9*c = -3471 + h. Is 31 a factor of c?
False
Does 4 divide 26/(-91) - (-46660)/8*(-12)/(-14)?
False
Let f = 73522 - 51694. Does 51 divide f?
True
Let y be 6/5*(-9)/((-27)/(-830)). Let h = y + 346. Does 8 divide h?
False
Let b be 43/(-4)*((-10 - 1) + -1). Suppose -3*m = 111 + b. Let p = -64 - m. Is p a multiple of 9?
False
Let j = -36038 + 50625. Is 50 a factor of j?
False
Let m be 1 + -3 + -58 - -3. Suppose -37*w - 924 = -15*w. Let r = w - m. Does 4 divide r?
False
Let s = 85 - 80. Let c be 26/12 - 1/6. Suppose -c*d - 6 = 0, i + d = s + 17. Is i a multiple of 9?
False
Let n(i) = 2*i. Let m(s) = -39*s + 6. Let f(g) = -m(g) + 4*n(g). Suppose 8*b - 11*b + 18 = 0. Is f(b) a multiple of 12?
True
Suppose 5*s + 1 - 12 = -2*o, 5*s - 2*o - 19 = 0. Suppose s*r - 21 = 4*n, 17 - 3 = 2*r + 5*n. Suppose r*j - j - 300 = 0. Is 13 a factor of j?
False
Let s be (-6)/(-4 - 15/(-6)). Suppose 0 = -s*i - 4*x + 112, 0*x - 89 = -3*i - 4*x. Let q = -16 + i. Is q even?
False
Let f = -7328 + 12880. Does 11 divide f?
False
Let d = 45 - 41. Suppose -d + 12 = b. Suppose -5*v + b = -142. Is v a multiple of 12?
False
Suppose 4*y = -5*i + 237, -7*i + 3*i = y - 194. Suppose -55*g + 648 = -i*g. Is g a multiple of 18?
True
Suppose -27*l + 1130 = -32*l. Let k = 377 + l. Does 18 divide k?
False
Let i(f) = 6*f**3 + 8*f**2 - 9*f + 10. Let l be i(5). Suppose 34 = -13*u - l. Is u/(-15) + -5 + (-452)/(-15) a multiple of 8?
False
Suppose -7 = -s - h, 0 = 5*s - 3*h - 0 + 5. Suppose -s*j - 3*p + 423 = -0*j, -3*j = 4*p - 634. Suppose 1120 + j = 7*r. Is r a multiple of 38?
True
Let c(y) = 2*y**2 - 5*y + 9. Let t be c(4). Let p(b) = -10*b - 42. Let o be p(t). Let f = 408 + o. Is f a multiple of 26?
True
Let c(p) be the second derivative of 41*p**3/6 - 85*p**2 + 72*p. Is c(6) a multiple of 6?
False
Let a = 108 - -599. Let c = a - 335. Is 12 a factor of c?
True
Let i = 54 - 47. Is 50 a factor of 8/14 + 2530/i?
False
Suppose -156*o = -385*o + 648299. Is 149 a factor of o?
True
Let o(s) = 137*s**2 - 130*s - 996. Does 37 divide o(-8)?
False
Let u = 690 - -4731. Does 13 divide u?
True
Let g(b) = 2*b**3 - b**2 + 2*b - 1. Let v be g(1). Let q(j) = 11 - v - j + 14. Does 4 divide q(19)?
True
Let i = 672 - 292. Suppose -3*w - i = -8*w. Suppose -2*v = 2*u - 224, -5*v - w - 162 = -2*u. Is u a multiple of 12?
False
Suppose -7 = 3*y - 25. Let g be (-4)/y*(-27)/9. Is 33 a factor of g + 3/((-15)/(-395))?
False
Let z = 1586 + 153. Is z a multiple of 21?
False
Suppose 3*x + 1613 = 2*p + 2*p, -4*p + 1618 = -2*x. Suppose -18*b + 16*b + o = -p, -4*b = -5*o - 811. Is b a multiple of 9?
False
Let z be -4*((-2)/(-4))/1. Suppose -41 - 95 = -34*j. Is 4 a factor of (j/z)/((-6)/132)?
True
Let w be 15406/8 - ((-17)/4 + 4). Suppose 14549 - w = 13*b. Suppose 5*o - 87 = 4*i - b, -2*i + 5*o = -442. Is i a multiple of 40?
False
Suppose 6 = g - 4*p, 81 = 5*g - 5*p + 2*p. Is 2 a factor of (-4)/g + -6 + 552/54?
True
Let l be (21 + -1)*(2 - 1). Suppose l*y - 11*y - 648 = 0. Does 3 divide y?
True
Let x(k) = 41*k**2 - 18*k + 8. Let q(o) = -42*o**2 + 19*o - 12. Let i(h) = 4*q(h) + 5*x(h). Is 25 a factor of i(-3)?
False
Let m(u) = u - 3*u - 4*u - 77 + 183. Is m(-19) a multiple of 41?
False
Let m(j) = 192*j**2 - 2*j. Let x be m(1). Suppose 3*a - 512 = -2*q, q + 478 = 4*a - x. Does 14 divide a?
True
Let h = 214 - 183. Suppose -h*d + 365 = -4316. Is d a multiple of 45?
False
Suppose -16*w - 2 = -14*w, -k = 5*w - 4254. Suppose -307 + k = 13*n. Does 40 divide n?
False
Does 20 divide (0 + -180)/(-11 + 2172/198)?
True
Let r = 55772 + -38977. Is r a multiple of 9?
False
Suppose 3*n + 5*y - 36816 = 0, 71*n - 70*n - 2*y - 12272 = 0. Does 43 divide n?
False
Let j = -14 + 16. Suppose 3*z + j*m - 305 = -3*m, -2*m + 101 = z. Let y = 55 + z. Is y a multiple of 16?
True
Suppose d + 2*v = -4316 + 37435, 4*d + 3*v = 132466. Is 294 a factor of d?
False
Does 35 divide ((-34)/(-187)*-11)/(0 + 2/(-8920))?
False
Let m(d) be the second derivative of d**3 + 32*d**2 + 1626*d + 2. Let s = 24 + -34. Is m(s) even?
True
Let p(a) = 15*a**2 - 22*a - 318. Does 27 divide p(-10)?
False
Let x = 29210 + -28637. Is 76 a factor of x?
False
Let o(y) = 3 + 4 - 7*y + 11*y**2 - 12*y**2 + 2*y**2. Let h be o(4). Does 33 divide -6*(2 - h/(-2))*55?
True
Does 12 divide (-28986)/(-60) - (-2)/(-20)?
False
Suppose -5*w = 3*d - 5*d + 74, 3*d - 5*w = 101. Suppose -5*v - d = -52. Suppose -4*p = v*c - 7*c - 658, -2*c = 3*p - 483. Is p a multiple of 15?
False
Let r(u) = -32*u + 156. Let f be r(19). Let y = 482 + f. Does 2 divide y?
True
Let o = 19014 - 11296. Suppose -8*k - 302 = -o. Does 50 divide k?
False
Suppose 5*t - 6336 = t. Suppose -z - t = -7*z. Suppose 4*y = -2*b + z, 3*y = -2*y + 15. Is b a multiple of 24?
False
Suppose -4*u + 10584 = -7*b, 12*u - 10584 = 8*u + 2*b. Is 98 a factor of u?
True
Let w = -23 + -78. Let v = w + 45. Let a = 128 + v. Is a a multiple of 12?
True
Let x(p) = 1015*p**2 + 76*p - 156. Is 24 a factor of x(2)?
True
Suppose -51 = 29*l - 30*l. Suppose -l = -c + 9. Suppose 0 = -0*s - 5*s + c. Is 6 a factor of s?
True
Suppose 0 = -4*j + 5*b + 65, -4*j + 2*b - 14 = -64. Is 25 a factor of ((-1)/(j/(-52)))/(2/20)?
False
Suppose 4*u + c - 558 = 2*u, 823 = 3*u - 2*c. Suppose 6*h = u + 17. Suppose 3*p + 2*l = -3*l + h, 37 = 3*p - l. Is p a multiple of 3?
False
Suppose -7*s + 29232 = 21*s. Let q = s + -655. Does 30 divide q?
False
Suppose 0 = 14*n - 11*n - 792. Let f = -140 + n. Suppose p - 5*j - f = -14, p - 2*j - 98 = 0. Does 10 divide p?
True
Let l(v) = 4*v - v**2 + 9*v - 41 + 11*v. Let a be l(22). Suppose 2*x = -4*r + 2, -a*r - 16 = -0*x + 5*x. Does 3 divide r?
True
Let s = 3469 - -6261. Does 69 divide s?
False
Let z(x) = x**3 - 8*x**2 + 9*x - 2. Let p be z(9). Let i = 228 - p. Is i a multiple of 33?
False
Suppose 2*l - 3 - 33 = 0. Suppose l*y = 19*y - 4. Suppose 4*q - 6*s + 2*s - 388 = 0, y*q - 370 = -5*s. Does 15 divide q?
False
Suppose 869*t = 871*t + 5*d - 10536, d + 26286 = 5*t. Is t a multiple of 11?
True
Let a(c) = -c. Let m(k) = 9*k + 109. Let f(u) = 3*a(u) + m(u). Is 17 a factor of f(32)?
False
Is 19 a factor of (-13 - 5135/26)*-4?
False
Suppose 3*l - 34 = 5*w, 3*w + 2*w = 5*l - 40. Suppose -3 = -3*z + l. Suppose 3*g + 114 = 5*m + 283, z*g + 3*m - 138 = 0. Is g a multiple of 9?
True
Suppose 90 = -4*c + 102. Suppose 0 = -c*b + 2*d + 27, -2*b + d + 29 = -4*d. Suppose 4*f - 5*u - 590 = 0, b*u + 584 = 4*f + 5*u. Does 22 divide f?
False
Let x(a) = -32*a + 7192. Is x(99) a multiple of 8?
True
Suppose -3*r = 3*r - 24. Let i be (-2)/r*200/(-5). Is 19 a factor of ((-117)/(-1))/(-19 + i)?
False
Suppose 2*v +