 2*u**2 - 5*u - 3. Let x be k(-3). Suppose t - 6*n + n + 4 = 0, 2*n + 53 = x*t. Does 7 divide t?
True
Let i be (-5)/((-5)/(-28)) + 0. Let t be (-8)/i + (-94)/(-14). Suppose -28 = -h - t. Is h a multiple of 11?
False
Suppose 4*b = -4*v - 8, 5*b = v + b + 7. Is v/3 + 4 + 26 a multiple of 7?
False
Suppose 6 = 6*i - 3*i. Suppose -3*l + 2*p = -0*p - 83, i*l + 3*p - 64 = 0. Is l a multiple of 11?
False
Let i(r) = -5*r. Let s(h) = 10*h + 1. Let a(g) = 5*i(g) + 2*s(g). Let b be a(-6). Suppose q - b = -0*q. Does 16 divide q?
True
Let c be -5 - 2 - (0 + 3). Is (-50)/15*108/c a multiple of 12?
True
Is 7 a factor of ((-2)/8*-11)/(2/40)?
False
Does 5 divide 2/(3*8/204)?
False
Let f be ((-4)/6)/(3/9). Let m(p) = -4*p + 4*p + 3 - 12*p - 5. Is m(f) a multiple of 11?
True
Let b(h) = h**3 - 3*h**2 - 6*h + 5. Let y be b(5). Suppose 3*a + 2*a + y = 0. Is (21 - a) + (3 - 1) a multiple of 14?
True
Let q(x) = 24*x - 12. Is q(6) a multiple of 33?
True
Let x be (-2)/(-7) + 10/(-35). Suppose 3*v - 3 = 2*s - 0, -2*v - 9 = -5*s. Let h = s + x. Is 3 a factor of h?
True
Suppose l - 6 = -3. Suppose -l*r = -2*u + r, 4*u = -r. Suppose u = x + 3*x - 52. Is 11 a factor of x?
False
Is 4*(-3)/15*195/(-6) even?
True
Let q(i) = -i - 5. Let r be q(-11). Suppose -2*b + 76 = 3*v - r*b, -b = v - 37. Is v a multiple of 15?
False
Suppose -5*j - 5*h + 340 = 0, 2*j - 5*h + 3*h = 140. Does 19 divide j?
False
Suppose 2*z = 4*p, -2*p = 2*p. Suppose 2*i - 23 = i. Suppose 0*s = s - 3*h - i, -2*h + 10 = z. Is 17 a factor of s?
False
Is 17 a factor of 106/6 - 20/30?
True
Let t(k) = 6*k**2 - 4*k + 2. Suppose 0 = -3*s + 2*q + 16, -4*s - 4 = 3*q + 3. Is 6 a factor of t(s)?
True
Suppose -2*x - 8 = 2*x. Is 2 a factor of -6*(1/x + 0)?
False
Suppose -4*n + 2*n - 32 = 0. Let l = -8 - n. Is l a multiple of 5?
False
Suppose -52 = 2*f + 4*j, -3*j - 116 - 7 = 5*f. Is 14 a factor of (-6)/f + (-59)/(-4)?
False
Let k(s) = -7*s + 1. Is k(-4) a multiple of 2?
False
Suppose -2*z + 2 = -2. Suppose -z*b + 0 = -4. Suppose b*p = 32 - 2. Is 6 a factor of p?
False
Let j(m) = -3*m**3 + m**2 - m - 2. Let y be j(-2). Let p = y - 17. Does 11 divide p?
True
Suppose 0 = v - 4*v + 174. Does 42 divide v?
False
Let q = 219 + -131. Is q a multiple of 44?
True
Let u = 25 - 19. Does 5 divide u?
False
Let x = -4 - -4. Suppose 2*l - 3*g - 20 = x, -48 = -2*l - 4*g - 0*g. Let j = 0 + l. Does 16 divide j?
True
Let y = 7 - -15. Does 13 divide y?
False
Let p = -2 - -14. Is 3 a factor of 14/(-2)*p/(-14)?
True
Let v = -125 - -240. Let i = v - 59. Is 28 a factor of i?
True
Let o = -74 + 331. Is 26 a factor of o?
False
Suppose -5*y - 54 = -269. Is y a multiple of 43?
True
Suppose 0 = -b + 2*b - 27. Does 12 divide b?
False
Let r = -41 + 49. Does 8 divide r?
True
Let c(g) = 51*g + 2. Let u be c(3). Suppose 2*f - 7*f + u = 0. Does 9 divide f?
False
Suppose 6*b = 3*b + 96. Does 10 divide b?
False
Suppose 4*m - z - 22 = 0, -1 = -m - 0*z - 2*z. Suppose -v - m = -24. Is 7 a factor of v?
False
Let l be (6 + 0)*(-3)/(-6). Suppose -64 = -3*r - 5*g, -l*r - 4*g + 85 = 2*r. Is r a multiple of 13?
True
Suppose 10*n - 48 = 6*n. Is n even?
True
Let d be ((-7)/2)/(1/(-6)). Let p = d + 5. Is p a multiple of 13?
True
Let q(o) = 23*o**2 + o + 1. Let v be q(2). Suppose 2*x - v = -15. Is 20 a factor of x?
True
Let i(g) = g**3 + 8*g**2 + 8*g + 3. Does 9 divide i(-6)?
True
Let h = -141 + 51. Let u = h - -137. Is 10 a factor of u?
False
Suppose -y + 3*k = 4, -5*y + k + 7 = -15. Suppose -3*j - 120 = u + 321, -3*u + 721 = -y*j. Is 10 a factor of 2/3 - j/6?
False
Suppose -3*w + 392 = 2*y, 3*w - 3*y - 417 + 15 = 0. Is 7 a factor of w?
False
Is 2 a factor of 17 + (-7 - -3) + -1?
True
Let l be 2/(15/21 + -1). Let a(n) = -6*n - 7. Is a(l) a multiple of 16?
False
Let m = 731 - 31. Let h be m + 3 + (1 - 4). Is 16 a factor of h/22 - (-8)/44?
True
Suppose l = 4*f + 108, 0 = 3*l - 5*f - 373 + 56. Suppose 0 = -5*v + v + l. Is 9 a factor of v?
False
Suppose 5*g + 4*j = 25, -4*j - 25 = -5*g - 2*j. Suppose g*b - 92 = -p - 0*b, 4*p = -3*b + 351. Is 36 a factor of p?
False
Suppose -4*o - 4 = 0, -o - 4*o - 140 = -3*p. Is p a multiple of 9?
True
Suppose t = 3*b + 244, -33 + 801 = 3*t + 3*b. Does 9 divide t?
False
Suppose -f + 1 = -10. Suppose 4*r + f = 35. Let y = 6 + r. Is y a multiple of 9?
False
Let j = 1 + 1. Suppose 5*f - j*o = 86, 5*o + 37 = -3*f + 101. Is f a multiple of 9?
True
Is 7 a factor of (-276)/(-42) - ((-54)/(-21) - 3)?
True
Let d(j) be the second derivative of -j**4/12 + 5*j**3/2 + 7*j**2 + 5*j. Is 16 a factor of d(11)?
False
Suppose -9 = 2*t + 1, 4*t + 140 = -3*l. Let g = 32 + -97. Let c = l - g. Is c a multiple of 19?
False
Let y = 174 - 54. Suppose 4*o = -o + y. Does 12 divide o?
True
Let u = 228 + -104. Let a = u + -69. Is 11 a factor of a?
True
Let u(n) = n**3 - 4*n**2 + 6*n - 2. Let r be u(4). Suppose r = 3*c - 2*c. Is 9 a factor of c?
False
Suppose -24 = 5*q + 6. Let i = -6 - -3. Is 5 a factor of (q/(-4))/(i/(-20))?
True
Let s(v) = -30*v - 6. Is s(-2) a multiple of 15?
False
Let w(r) = r**2 - 5*r + 6. Let n be w(4). Suppose 4*i - 17 = 3*o, 3*o + o + n = -5*i. Suppose -2*g - 3*s = -64, g + 7 - 41 = -i*s. Does 16 divide g?
False
Suppose z + 58 = -2*g, z = -3*g - z - 87. Is 2 + 2 - 2 - g a multiple of 13?
False
Let k(f) = -f**3 - 7*f**2 - f + 7. Let d(u) = 4*u + 1. Let x be d(-2). Does 7 divide k(x)?
True
Let v be 5*(-1 + (-4)/(-2)). Suppose -3*x = 5*o + 9, -3*o + 15 = -4*o - v*x. Suppose 4*n - b - 40 = o, 0*n = -2*n - 4*b + 20. Is n a multiple of 6?
False
Suppose 4*a = 2*c + 60, 0 = -a + 1 + 2. Let n be (10/(-8))/((-3)/c). Is (-4)/n + (-540)/(-25) a multiple of 22?
True
Is (4/(-12))/(1/(-30)) a multiple of 4?
False
Let z be (0 - 2/4)*-4. Let m be (-3)/12 + (-1)/(-4). Suppose z*t - 8 + m = 0. Is t a multiple of 4?
True
Is 9 a factor of (20/30)/((-2)/(-27))?
True
Suppose 5*y = 188 - 8. Suppose -4*h - y = -0*h. Let r = h + 15. Is r even?
True
Suppose -66 = -4*p + 5*d, 1 + 7 = 4*d. Suppose -11 - p = -2*z. Does 10 divide z?
False
Suppose 0*t + t = 14. Suppose 4*z + v - 30 = -10, z = 2*v + t. Does 3 divide z?
True
Suppose -5*w + 8 + 2 = 0. Suppose 0 = -w*y - 2*y + 144. Does 9 divide y?
True
Let p(g) = -g**3 + 10*g**2 - 8*g - 2. Let d be p(6). Suppose -i = i - d. Suppose -i = -2*n - k, 5*n - 97 = -3*k + 21. Is 9 a factor of n?
False
Suppose 5*a + 29 = 2*u - 21, 5*a + 90 = 4*u. Is 17 a factor of u?
False
Let s(g) = -g**2 - 5*g - 5. Let r be s(-8). Let k = r - -19. Let h = -6 - k. Is 4 a factor of h?
True
Suppose 3*j = -0*j + 252. Is 28 a factor of j?
True
Let r(v) = -3*v**2 - 5*v + 27. Let y(x) = -x**2 - 2*x + 14. Let d(o) = -2*r(o) + 5*y(o). Does 13 divide d(7)?
True
Let i = -18 + 5. Let d(h) be the first derivative of h**3/3 + 5*h**2 - 16*h - 10. Is 12 a factor of d(i)?
False
Let c(w) = 3 + 5 - 1 + w. Is c(-5) even?
True
Let i(z) = -z**3 + 10*z**2 - 2*z + 14. Suppose n - 26 = 4*h, 0*n - 5*h - 40 = -2*n. Let v be i(n). Is (v/(-9))/((-4)/(-174)) a multiple of 12?
False
Let v = 138 + -98. Let l = -29 + v. Suppose -2*c + 3*c + 1 = 0, z - c - l = 0. Is 8 a factor of z?
False
Suppose -5 = a - 3*l, -2*a - 7*l + 3*l + 20 = 0. Let d = 7 - a. Is d a multiple of 2?
False
Let w = 84 - 46. Is 5 a factor of w?
False
Let n(x) = -3*x**3 + 0*x**2 + 0*x**3 + 3*x - 3*x**2 + 4. Does 10 divide n(-3)?
False
Suppose 2*u = 4*b + 4*u + 54, b - 5*u - 14 = 0. Is 20 a factor of (-4)/(b/10 - -1)?
True
Let n(j) = -j**2 - 7*j - 6. Let z be n(-6). Let k(v) = -v + 5. Is k(z) a multiple of 5?
True
Let o be 7/2*20/2. Suppose 0 = 4*z - 7*z - 4*l + o, -50 = -5*z - 5*l. Suppose 0*t = -z*t + 70. Is t a multiple of 7?
True
Let n be 2 - -2 - (2 + 0). Let q(f) = 3*f**2 + f**2 - n*f**2 - 5*f. Is 9 a factor of q(5)?
False
Suppose 0 = 18*d - 16*d - 46. Is 9 a factor of d?
False
Let y = 12 + -5. Suppose -2*h + y*h - 210 = 0. Is h a multiple of 14?
True
Suppose -t = t + 2, -3*d + 4*t = -205. Let p = d + -37. Suppose -y + p = 2*y. Is y a multiple of 10?
True
Let b = 356 + -224. Does 66 divide b?
True
Let n(b) = 3*b**3 - b**2 + 2*b - 2. Let v be n(2). Let l = 31 - v. Is 3 a factor of l?
True
Is 9 a factor of (-14 + 13)/((-1)/36)?
True
Let c = 268 - 151. Is c a multiple of 39?
True
Let f be (-40)/(-6) - (-2)/(-3). Does 17 divide 2 - -62*3/f?
False
Suppose 3*i = -i + 5*c + 7, -2*c - 1 = -i. Is (-6)/((-21)/(-9) - i) 