= 53. Is u a multiple of 13?
False
Let t(p) = 231*p**2 + p + 7. Is t(-2) a multiple of 8?
False
Let c = 148 - -801. Is c a multiple of 22?
False
Suppose 6*j - 1508 + 80 = 0. Is j a multiple of 14?
True
Let u(t) = -17*t + 9. Let a be u(2). Is 168/3*a/(-10) a multiple of 9?
False
Does 60 divide 0/2 + -2 + 2875/25?
False
Let a(n) = -n**2 - 31*n + 4. Does 11 divide a(-16)?
False
Let i = -16 + 16. Suppose i = h - 42 + 15. Let c = 49 - h. Is c a multiple of 11?
True
Let n(f) = 3*f - 1. Let t be n(1). Suppose 3*u - 156 = -t*h, -5*h + 511 - 71 = -5*u. Let b = -42 + h. Is 14 a factor of b?
True
Let w(d) = -5*d**3 - 7*d**2 + 18*d + 29. Is w(-8) a multiple of 20?
False
Suppose 3*o + 4*f - 14 = 0, 2*f = -5*o + 3*f + 31. Suppose 0 = o*l - 8*l - 42. Let q = 52 + l. Is q a multiple of 17?
False
Let y be (-6)/(-8) + (-760)/160. Let w(z) be the second derivative of -z**5/20 - z**4/2 - 3*z**3/2 + z. Is 4 a factor of w(y)?
True
Let s(w) = w**3 - 11*w**2 + 9*w - 14. Let y be s(10). Let p be (-156)/11 - y/132. Let i = p + 88. Is i a multiple of 12?
False
Suppose 6*p = 11 + 1519. Is 17 a factor of p?
True
Let n(l) = 4*l**2 + 4*l. Let v be (-1*1/(-2))/((-45)/(-270)). Does 12 divide n(v)?
True
Let y(f) = 15*f - 247. Let j be y(20). Let p = 63 + -94. Let m = p + j. Is 17 a factor of m?
False
Does 27 divide 5 - (-6 + -104 + -8)?
False
Suppose l + 67 = 5*c - 352, 229 = 3*c + 5*l. Suppose 5 = -r + c. Is 6 a factor of r?
True
Let l(g) = -g**3 - 7*g**2 + 3*g. Is l(-9) a multiple of 27?
True
Let b(y) = -y**3 - 3*y**2 - 4*y - 3. Let x be b(-2). Let i = 5 - x. Suppose 5*u - 105 = -i*z, -u + 4*u = -2*z + 51. Is z a multiple of 10?
True
Suppose 0 = -4*b + 2*p - 36, -3*p + 9 = -3. Is 7 a factor of 4 + b/((-28)/12)?
True
Let n(o) = 4*o**2 - 3*o - 4. Let q be n(-2). Let r = q - 9. Does 3 divide r?
True
Let a = 44 + 41. Is a a multiple of 5?
True
Let p(n) = -n**3 + 4*n**2 + 2*n + 6. Let s be p(5). Is 23 a factor of -25*2/(6/s)?
False
Suppose -3*x + 24 = 5*w - 7, -5*w + 10 = 0. Suppose 50 = x*d - 76. Does 9 divide d?
True
Let a(f) = f**2 - 9*f + 4. Is a(10) a multiple of 14?
True
Suppose 0 = 5*j + 3*q + 21, j - 5*q = -12 - 9. Let v(u) = 3*u**2 + 4*u + 6. Is v(j) a multiple of 8?
False
Let h(b) = -b**3 + 2*b**2 + 34. Let g be h(0). Suppose k = 3, 35 = n + 2*k + 3*k. Let u = g - n. Is 7 a factor of u?
True
Suppose -x + 12 = 5*x. Suppose 0 = 2*o - 7*b + x*b - 99, 0 = -5*b - 15. Is 6 a factor of o?
True
Let x(a) = -458*a + 53. Is x(-5) a multiple of 14?
False
Let g = 1515 + -825. Is 10 a factor of g?
True
Let z(u) = u**3 + 4*u**2 - 3*u - 2. Let d be z(-4). Suppose -t - d = t. Let b(p) = 2*p**2 + 5*p - 7. Is b(t) a multiple of 9?
True
Suppose 11*d + 246 = 1797. Is 52 a factor of d?
False
Suppose 0 = -4*g + 2*p + 12, -4*p + 5*p + 10 = 4*g. Let c = g - -11. Is 13 a factor of c?
True
Suppose 7*w - 564 = w. Let l = 167 - w. Is l a multiple of 10?
False
Suppose 23 = -4*h - 41. Let t = 34 + h. Is t a multiple of 5?
False
Is 66/165 + 338/10*127 a multiple of 81?
True
Let f(x) = x + 3. Let s be f(16). Does 3 divide ((-8)/(-3))/(s/9 - 2)?
True
Let h be 2/6 + 2/(-6). Let x be (0 + h)/(8 - 7). Suppose k - 1 = -5*m + 11, -2*m + 2 = x. Is 3 a factor of k?
False
Let j = -27 - -110. Let x = 147 - j. Is x a multiple of 16?
True
Let l = 71 - 68. Suppose b + 100 = l*b. Is b a multiple of 25?
True
Let m(h) = h + 1. Let w(f) = 5*f**2 - 3*f + 9. Let i(s) = 4*m(s) + w(s). Does 14 divide i(-4)?
False
Let k(j) = -j**3 - 9*j**2 - 10*j - 12. Let b be k(-8). Suppose 4 = -0*r - 3*r + 5*q, -b*r - 9 = -3*q. Let y = r - -57. Is 9 a factor of y?
True
Suppose -8 = -2*l, 4*q + 4*l = 2 - 10. Let y be 3/q + 257/2. Suppose j = -j + y. Does 25 divide j?
False
Suppose -d = 3*d - 16. Suppose -3*f = 3*z - 39 - 21, -2*z + 84 = d*f. Suppose 4*s - f = 2. Is s a multiple of 5?
False
Suppose -29 = f - 9. Let s be f/(-4 + (-3 - -6)). Suppose 0 = 2*b - 0*b - s. Is b a multiple of 5?
True
Let m be ((-10)/(-8) + 0)*-4. Let q be -14*(550/m)/5. Suppose 0 = -3*h + 5*t + q, 83 = -2*h - 3*t + 263. Is h a multiple of 24?
True
Let r be 89/(-2) + (-13)/26. Let m = r + 77. Is 16 a factor of m?
True
Suppose -3*l = -x - 2*x + 87, -63 = -3*x - 5*l. Suppose 3*j = 3*q - 51, -2*q - 2*j = -0*j - x. Is q a multiple of 5?
True
Let a(p) be the third derivative of p**6/60 - p**5/10 + 5*p**4/12 + 6*p**2. Let l be a(-7). Does 21 divide ((-4)/(-10))/((-10)/l)?
True
Suppose 0 = -3*f + 4*f + 4. Is 6/(-12) - 26/f a multiple of 5?
False
Let n = 58 + -54. Suppose -8*d + 5*d + 67 = -5*i, 5*d - n*i = 116. Is d a multiple of 12?
True
Let j(i) = -i**3 + 5*i**2 - 2*i + 10. Suppose y - 5*k + 15 = 0, 4*y - 4*k + 3*k - 16 = 0. Let z be j(y). Suppose z*a = -3*a + 156. Is a a multiple of 26?
True
Let z(l) = -l**3 - 15*l**2 - 14*l + 3. Let m be z(-14). Suppose u + m*u = 12. Does 9 divide (2/u)/((-2)/(-81))?
True
Suppose -4*c + 5 = -51. Suppose 11*k = c*k. Is 21 a factor of -9*(k - (-20)/(-3))?
False
Let j(c) = -4*c. Does 9 divide j(-3)?
False
Let f = 38 - 35. Suppose f*o + 5*u = 223, 3*u = -u + 20. Does 22 divide o?
True
Let w(u) be the second derivative of -u**5/10 + u**4/12 + u**3/3 + u. Let p be w(2). Does 2 divide -1 + 4/(p/(-6))?
True
Is 33 a factor of (0/1 + 78)*(-55)/(-10)?
True
Let v = 14 - 11. Suppose -v*s - s + 12 = 0. Suppose 10 = 4*i - s*i. Does 10 divide i?
True
Does 22 divide (66/(-4))/((-81)/8964)?
True
Let a be 3*4*(-2)/(-6). Suppose -3*w - 15 = 0, w - 919 = n - a*n. Is 22 a factor of n?
True
Let a(t) = -t**2 - 4. Let y be a(-2). Let u(d) = 3*d**2 - 4*d. Let n(c) = 7*c**2 - 7*c - 1. Let q(o) = -4*n(o) + 9*u(o). Is 3 a factor of q(y)?
False
Suppose -x = x + 2*x. Suppose -m - 5*m + 18 = x. Is m a multiple of 2?
False
Let y = -36 + 45. Suppose 0 = -14*p + y*p + 350. Is p a multiple of 7?
True
Suppose 25 = 4*t - 79. Suppose -2*c + 0*c = 8, -4*c - t = -5*a. Suppose -3*s - 4 = 2, -2*w + 10 = a*s. Is w even?
False
Suppose 2*s = -2*s + 124. Let f(p) = s*p + 22*p + 3 - 5 - 13*p. Does 25 divide f(1)?
False
Suppose -201 - 705 = -6*y. Let o = y + -39. Does 13 divide o?
False
Let t = 2 - 5. Let s(l) be the first derivative of 2*l**3/3 - 7*l**2/2 + l - 3. Is s(t) a multiple of 6?
False
Suppose 5*b + 0*b = -g + 20, 3*b = -g + 14. Let s(h) be the second derivative of h**3/6 + h**2 - 2*h. Is 7 a factor of s(g)?
True
Let q be -3*(-14)/(-21) - (0 + -2). Suppose 3*m - 65 - 25 = q. Does 6 divide m?
True
Let n = 8 + 3. Let f = 13 - n. Suppose -119 = -4*p - 5*z, -42 - 68 = -4*p - f*z. Does 9 divide p?
False
Let k(s) = 9*s**2 + 2*s - 7. Let f be k(-3). Let c = f + -42. Does 23 divide c?
False
Suppose 13292 = 45*i - 8308. Is 8 a factor of i?
True
Suppose -u - 22 = 48. Let q = u + 140. Does 6 divide q?
False
Suppose 0 = -7*c + 15*c + 104. Let d(h) = h**2 + 9*h - 44. Is 6 a factor of d(c)?
False
Suppose 0 = 45*q - 5197 + 517. Does 47 divide q?
False
Is 14 a factor of 18/36 - 341/(-2)?
False
Suppose -5*b = -4*n - 297, -5*n - 3*b - 25 - 300 = 0. Let o = 120 + n. Let p = o - -35. Does 28 divide p?
False
Let f(h) be the third derivative of h**5/60 - 11*h**4/24 - h**3/3 + 12*h**2. Does 8 divide f(14)?
True
Let h be 0 - (-2)/3*(-45)/(-10). Does 16 divide (2 - 2 - -67) + h/(-1)?
True
Suppose 2*h + 5*n - 311 = 0, 609 = -h + 5*h - 3*n. Does 17 divide h?
True
Suppose f - 98 = -0*f. Suppose -4*g = 5*w + 7 - f, -3*g = 4*w - 68. Is 8 a factor of g?
True
Suppose g - 4*p - 302 = p, 2*g - 598 = 4*p. Is g a multiple of 9?
True
Suppose 42 = 11*f + 3*f. Let n(q) = -13*q + 5. Let j be n(-4). Suppose -3*d - 5*v = -66, j = f*d + 2*v - 0*v. Does 15 divide d?
False
Suppose -278 = -2*u + q, u - q = -63 + 202. Is 2 a factor of u?
False
Let m(n) = 3*n**2 - 7*n - 48. Is m(15) a multiple of 29?
True
Let r = 27 + -9. Let h = r + -18. Suppose f + c = 6*c + 4, h = f + 5*c - 54. Does 23 divide f?
False
Suppose -23619 = -11*p + 1274. Does 16 divide p?
False
Let a be (-3 - 0)*-1 - (-22 - 2). Suppose -3*d = a - 339. Does 18 divide d?
False
Suppose -65*m + 126 = -58*m. Does 6 divide m?
True
Let p = -247 - -280. Is 6 a factor of p?
False
Let j = -157 + 255. Is 69 a factor of j?
False
Suppose h + 1452 = 4*v, 0 = v + 3*v - 3*h - 1460. Is v a multiple of 73?
False
Let f = -83 - -46. Let z = f - -64. Is z a multiple of 26?
False
Let v(c) be the third derivative of c**4/24 + 4*c**3 + 4*c**2. Let k be v(0). Is 8*(-2 - k/(-4