n(4). Let o = h + 60. Does 30 divide o?
False
Let o = 12283 + -5806. Does 9 divide o?
False
Let k = 3934 + 14942. Does 15 divide k?
False
Suppose -92*x - 3024 = -106*x. Is 12 a factor of 6876/x - 2/(-12)?
False
Let t(h) = -4*h**2 + 5*h - 6. Let x = -15 + 19. Let b be t(x). Does 25 divide (b/3)/(1/(-3) - 0)?
True
Let s(d) = 2*d - 37. Let j be s(-4). Let o be ((-2)/(-2) - (-18)/j)*5. Is o - (-331 + (-1 - 3)) a multiple of 26?
True
Suppose -8*q + 6 = -26. Suppose 10 - q = 3*b. Suppose h - 750 = -b*h. Is 42 a factor of h?
False
Let y = 5915 + -4991. Does 33 divide y?
True
Suppose 3*h + 2*k - 297 - 285 = 0, 965 = 5*h + 5*k. Let c be 6*(-7)/63*(162 - 3). Let u = c + h. Does 15 divide u?
True
Let k(h) = -204*h - 196 + 43 + 33 + 32. Is 28 a factor of k(-4)?
True
Suppose 5*m = -25, 0 = -2*y + 4*m - 8*m + 90. Let n = y - -86. Is n a multiple of 12?
False
Let v = -105877 - -150751. Is v a multiple of 81?
True
Let s(c) = -c**3 - 62*c**2 + 13*c + 79. Does 60 divide s(-65)?
False
Suppose 50 = -11*c + 9*c. Let i be c/(-125) - 251/5. Is ((-96)/10)/(53/i + 1) a multiple of 40?
True
Suppose 5*g - 28219 = 4*f, 23*f = 21*f - 2. Is 131 a factor of g?
False
Suppose -7*u = -2*b - 4*u + 64390, -b + 32223 = 2*u. Is b a multiple of 14?
False
Let a(l) = -406*l - 8. Let w be a(-1). Let o = -26 + w. Does 62 divide o?
True
Let a(q) = -4*q**3 - 9*q**2 + 15*q + 38. Does 119 divide a(-5)?
True
Let x(b) = 24*b**2 + 45*b - 505. Is 10 a factor of x(10)?
False
Let q = 88 + -86. Suppose d = -3*w - 2 - 2, 5*d = -q*w - 59. Is 2 a factor of d/(-2) - (-1)/2?
False
Let r(b) = b + 19. Let u(n) be the second derivative of -n**4/12 - 3*n**3 - 5*n**2/2 - 2*n. Let z be u(-18). Does 7 divide r(z)?
True
Let t = -15481 + 17234. Is 16 a factor of t?
False
Suppose 3*b - 2661 = 2076. Let h = -1102 + b. Suppose -6*s + h = -87. Is s a multiple of 18?
False
Suppose 19*n + 31*n = 52*n - 39030. Does 15 divide n?
True
Let l = 6301 - -3851. Is 108 a factor of l?
True
Let z(a) = 9*a**2 + 6*a**2 - a - 16*a**2 + 4*a**2 - 6. Does 9 divide z(3)?
True
Let i = 36 - 6. Let p = -25 + i. Suppose -2*q + 2*a + 360 = 0, q - 219 = p*a - 47. Does 40 divide q?
False
Let k(o) = -46 + 32 - 3*o + 0*o. Let x be k(-6). Suppose -x*u + 299 = a + 4*a, -91 = -u + 2*a. Does 15 divide u?
False
Let z(k) = -k**2 + 12*k - 38. Let h be z(7). Is h/(18/(-1182)) + (2 - 3) a multiple of 28?
True
Let n = 15036 + -9067. Does 117 divide n?
False
Let y(a) = 2*a**2 - 8*a - 5. Let s be y(6). Suppose 0 = n + 3*u - 19, 0 = -22*n + 25*n - 5*u - 85. Suppose -n*w = -s*w - 60. Is w a multiple of 3?
False
Does 9 divide ((-962)/296)/((-2)/(-3052))*-1*4?
False
Is (497/2)/((-512)/(-82944)) a multiple of 21?
True
Is (-15 + 25)*1203/15 a multiple of 2?
True
Let z be (-11 + 11)/((1 - 2)*-4). Suppose 4958 = 5*m - 2*j, -1987 = -2*m - z*j - 3*j. Does 31 divide m?
True
Let u = -38 - -25. Let t(g) = 3*g**2 + 24*g - 5. Let r be t(u). Suppose -r - 137 = -3*j. Does 23 divide j?
False
Suppose 1984554 = 140*j + 3*j. Is j a multiple of 54?
True
Let q(a) = -11*a. Let n be -3 - (-3 - -9) - -2. Let f be q(n). Suppose -4*k + f = u - 0*k, -k + 366 = 5*u. Does 5 divide u?
False
Suppose 3*i + 11579 = z + 51163, -26392 = -2*i - 2*z. Does 29 divide i?
True
Suppose 17*l - 10*l = 2275. Let p = l - 142. Suppose 642 = 5*d - p. Is 15 a factor of d?
True
Let u = -2 - -7. Suppose -16 = -4*h - 5*f + 2*f, -u*h - 3*f = -17. Is (0 + h)*(-12)/7*-14 a multiple of 24?
True
Let a = 211 + -207. Suppose 3*m - 5*g - 1917 = 614, 3*m = -a*g + 2549. Does 8 divide m?
False
Let z(x) = -26*x**2. Let l be z(1). Let q = l - -47. Does 8 divide ((-70)/q - -6)*(-174)/(-4)?
False
Let a(u) = -668*u + 91. Let o be a(-8). Is 25 a factor of o/55 + 20/(-11) + 2?
False
Suppose -160*r = -167*r - 21. Is (466 - (r - -5)) + 0 a multiple of 58?
True
Let x(y) = 4*y - 9. Let i be x(4). Suppose 3*s = i*s + 200. Let c = s - -70. Is c a multiple of 4?
True
Let r(n) = -n**3 - 10*n**2 - 11*n - 18. Let u be r(-9). Suppose -4*p = -u - 44. Is 5 - (p + -2) - -60 a multiple of 7?
True
Let v(m) = m**3 - 4 - 21*m**2 + 8*m - 4 + 1 + 31*m**2. Let x be v(-8). Suppose 5*y - 43 = x. Is 4 a factor of y?
True
Suppose 4*y + 1336 = 4*g, -3*y + 2 = -y. Suppose 7*a - 8*a = -g. Suppose w + 92 - a = 0. Is 16 a factor of w?
False
Let a(i) = -22*i - 13. Let z = -83 - -76. Is a(z) a multiple of 16?
False
Let u = -164 - -167. Suppose 4*i - r - 383 - 909 = 0, u*i = 4*r + 982. Is i a multiple of 23?
True
Suppose -3 = 3*o, 0 = 4*j - 2*o + 5 + 13. Suppose 18*a - 67 - 23 = 0. Let v = a - j. Is v a multiple of 2?
True
Let t(c) = -3*c**2 - 3*c - 40. Let k be t(11). Let a = k + 805. Is 9 a factor of a?
True
Let j = 97184 - 64160. Is 32 a factor of j?
True
Let r = 417 + -606. Is (-65799)/r - 1/7 a multiple of 7?
False
Let i = 2389 + 797. Does 9 divide i?
True
Suppose -2*w + 20 = -4*h, h - 4*h + 5 = w. Suppose -6*u + 4*u = -w. Suppose 0*d + 2*o = d - 19, -u*d + 3*o = -61. Is d a multiple of 13?
True
Suppose 2*z = 2581 + 611. Suppose 4*y + z = 4*t - 0*y, -5*t + 1960 = 2*y. Suppose 0 = -4*v + 20, 3*r = v + t. Is 40 a factor of r?
False
Let f(m) be the first derivative of 1/4*m**4 - 21*m - 4*m**3 + 2*m**2 - 1. Is f(12) a multiple of 4?
False
Let h(f) = -f**3 + 26*f**2 + 6*f - 37. Let q be h(26). Suppose b + q = 8*b. Is b a multiple of 3?
False
Let h(k) = 26*k + 3947. Does 30 divide h(-76)?
False
Let s(l) = l**3 + 5*l**2 - 3*l + 18. Let z be s(-6). Suppose -4 = -o, -5*o + 28 = 2*y - z. Suppose -4*m + 140 = 4*p, -3*m + y*p = -2*m - 40. Is 6 a factor of m?
True
Suppose -2*p = -3*n + 118556, -5*n + 7*n = -2*p + 79044. Is 29 a factor of n/40 - -1*(2 + -4)?
True
Let a(v) = 466*v - 3680. Is 47 a factor of a(20)?
True
Let w = -1995 + 2889. Suppose 0*k - 2 = -k, -5*s = -3*k - w. Is s a multiple of 10?
True
Let r(p) = -1. Let f(v) = -6*v - 2. Let w(i) = f(i) + 2*r(i). Let k be w(15). Let g = -50 - k. Is g a multiple of 5?
False
Suppose 5*x = 4*j - 226932, 3*j - 91362 - 78837 = 3*x. Does 118 divide j?
False
Suppose 8*b - 240 = 18*b. Let d(y) = -2*y - 30. Does 5 divide d(b)?
False
Does 33 divide 44/(-66) + 4991/3?
False
Let c(n) = 220*n**3 + n**2 + n - 2. Suppose -2*z - 5*v + 20 = 0, 0 = -2*z - 2*v + 20 - 6. Suppose -z = -11*q + 6*q. Is c(q) a multiple of 20?
True
Suppose 0 = -4*r - 3*a + 9, 4*r - 8 - 2 = -2*a. Suppose 0 = 2*t - 53 - r. Suppose -4*d - 4*z = -96 + 20, 2*d - t = 3*z. Is 17 a factor of d?
True
Let v be ((-126)/70)/((-6)/10). Does 46 divide 2530/8 - v/12?
False
Suppose -5*p + 4*p = -365. Let f be ((-26)/(-78))/((-1)/621) - 2. Let m = f + p. Does 18 divide m?
False
Does 4 divide 3 - 51708/(-14) - 24/56?
True
Let g(f) = 290*f**2 - 28*f + 45. Is g(3) a multiple of 5?
False
Let b(k) = -2*k**2 + 377*k + 298*k**3 + 4*k**2 + 0 - 379*k + 0. Does 11 divide b(1)?
False
Suppose 4*f + 26 = 3*y, y + f = -2*f. Let u(k) = 26*k + 48. Let v(c) = 13*c + 25. Let m(a) = 6*u(a) - 10*v(a). Is m(y) a multiple of 15?
False
Suppose 4*g - 3 = 3*g, -3*n + 4*g + 12 = 0. Is (4/n)/((-1)/(-830)) a multiple of 38?
False
Suppose s + 22 = 5*f, f = 4*s - 11 + 4. Suppose 2*z = c + s*z - 293, -z = -c + 287. Does 10 divide c?
True
Let g(i) = 10*i**2 + 2*i - 7. Let c be g(-6). Let x = -656 + 658. Suppose c = x*j + 5*y, -y + 470 - 133 = 2*j. Is j a multiple of 42?
True
Suppose -2106 = -3*z + 2610. Is 8 a factor of z?
False
Is (-46)/(104/4212*(-6)/10) a multiple of 23?
True
Let v(p) = -p**2 + 19*p - 23. Let h = -10 - -12. Let l be (10/(-5) - 24)/(h - 4). Is 6 a factor of v(l)?
False
Let p = 834 + -438. Suppose -21*t + p + 360 = 0. Is 3 a factor of t?
True
Is 12128/10 - (-1 + (-6)/30) a multiple of 2?
True
Let f = -17 + -19. Let t = f + 41. Suppose -c + 154 = 5*n - 3*c, -5*c - 160 = -t*n. Is 5 a factor of n?
True
Suppose -5*d - 4 = -2*c, 4*d - 7*d - 6 = -3*c. Suppose -4*j - 202 = -a, c*a = 2*j + 100 + 316. Does 21 divide a?
True
Suppose -222*v + 70*v + 281169 = -89*v. Is v a multiple of 3?
False
Suppose 0 = -3*y + 5 + 25. Let a be 3 + (-5)/y*6. Suppose q = -4*q - 5, -r - 5*q + 36 = a. Does 15 divide r?
False
Suppose 63*c + 69777 - 327228 = 229917. Is c a multiple of 4?
True
Let s be (8/(0 - -2))/(12/6). Does 18 divide -2 + 1890/5 + s?
True
Let a = -25268 - -44494. Is a a multiple of 54?
False
Let a = 128 - 126. Is 12 a factor of (-393)/(-6) - 1/a*3?
False
Let q(h) = -8*h**2 + 65*h - 21. Let u b