 Let w = l - -478. Is w a multiple of 34?
False
Let y = 861 - 614. Let z = y - 72. Is 35 a factor of z?
True
Let z(l) be the second derivative of -l**5/20 - l**4/4 + 5*l**3/6 - 4*l**2 - 10*l. Is z(-5) a multiple of 17?
True
Let r(w) = w**2 - w + 24. Suppose 3*i = 2*o + 2 - 6, 4 = -4*i + 2*o. Is r(i) a multiple of 8?
True
Suppose -4*w = -m - 168, -10*w + 12*w - m - 82 = 0. Suppose 6*u - 23 - w = 0. Is u even?
False
Suppose -3*a = 7*c - 2*c - 112, -c = -5*a + 224. Let u be (2 + -7 + 0)/1. Let f = a - u. Is f a multiple of 18?
False
Let p = -29 + 33. Suppose 0 = p*c + 3*l - 128, -2*c - 2 = 3*l - 60. Is 5 a factor of c?
True
Let v be ((-2)/7)/(1/(-14)). Suppose 3*z + 258 = v*x, x + 2*z - 46 = 24. Is x a multiple of 11?
True
Let n(h) = -h**2 - h + 1. Let p be n(-4). Let k = 7 + p. Is 8 a factor of (-60)/k + -2 - -3?
True
Let a = 8 - 11. Let v be ((-128)/12)/(2/a). Is (-12)/(-8)*v - -3 a multiple of 9?
True
Suppose 5*i - 10 - 5 = 0. Suppose -i = 5*j - 28. Suppose -q + 0*p + 2*p = -19, 2*p - 83 = -j*q. Is 16 a factor of q?
False
Suppose -3*m + 2 = -2*m. Suppose m*x = -2*b - 3 + 15, -3*x + 28 = -2*b. Is 8 a factor of x?
True
Let h(f) = 2*f**2 - 6*f - 13. Let t(d) = -2*d**2 + 8*d + 12. Let j(r) = -3*h(r) - 4*t(r). Is j(15) a multiple of 21?
True
Let r = 15 + -11. Let o = -8 + r. Let m(x) = -10*x + 4. Is m(o) a multiple of 9?
False
Suppose 0 = 2*f - 3*c - 456 - 4106, 3*f - 2*c - 6843 = 0. Does 8 divide f?
False
Let x = 28 - 32. Let s(r) = 7*r**2 + 3*r + 20. Does 15 divide s(x)?
True
Suppose -116*c + 144849 = -324951. Is c a multiple of 15?
True
Let h(u) = u**3 - 15*u**2 - 88*u - 28. Does 53 divide h(20)?
True
Let s(t) = 17*t + 39. Let d = -85 - -98. Is s(d) a multiple of 24?
False
Is (-7 - -6)*3 - -269 a multiple of 38?
True
Let f(j) = -2*j - 7. Let w be f(5). Let t = -96 + 137. Let a = w + t. Is 8 a factor of a?
True
Let q be (-315)/99 + 6/33. Is 4 - (-9 + (-4 - q)) a multiple of 14?
True
Let j(r) = r - 2. Let q(c) = c - 5. Let z(l) = -4*l + 24. Let p(d) = -11*q(d) - 2*z(d). Let s(o) = 17*j(o) + 6*p(o). Is s(-15) a multiple of 19?
False
Suppose -j - j = 0. Suppose j = -3*o + 4*o - 151. Suppose 4*v + 4*y - 25 = o, 2*v = -4*y + 94. Does 15 divide v?
False
Let u(x) = -2*x**2 + 3*x. Let q be u(4). Is 16 a factor of q/(4/(-4))*4?
True
Let y(n) = -2*n**2 - n + 5. Let g be y(3). Let w = g + 21. Suppose 0 = -6*f + 3*f - 9, 4*r - 95 = w*f. Is 5 a factor of r?
True
Suppose l - 19 = 5*q, 4*q - 6*l + l = -32. Let h be (1 - (2 + q)) + -15. Let g = h - -27. Does 8 divide g?
False
Let x(k) = k + 6. Let y be x(-2). Suppose 2*u = 4*o - 15 + 129, -y*u - 4*o = -168. Is u a multiple of 8?
False
Let z(j) = 4*j**3 - 15*j**2 - 10*j + 43. Let h(c) = c**3 + c**2 + 1. Let t(q) = 3*h(q) - z(q). Does 20 divide t(18)?
True
Suppose 3*q + 9*q = 48. Does 5 divide (-28)/((q/(-2))/4)?
False
Let y(q) = 235*q**2 - 2*q. Is 15 a factor of y(1)?
False
Let y be (-2 - 0)/(-2) + 4. Let r = 0 + y. Suppose -4*g + 125 = -r*u, 5*g - 4*u = u + 160. Does 9 divide g?
False
Let w(t) = -37*t - 45. Is 35 a factor of w(-11)?
False
Suppose 0 = 5*g + 35 - 45. Suppose 6*u - 359 = -3*o + 2*u, -113 = -o + g*u. Does 18 divide o?
False
Suppose -6*q + 668 + 208 = 0. Is q a multiple of 4?
False
Suppose -4*a + 1 + 7 = 0. Suppose 4*f - a*x = x + 204, f = 2*x + 56. Suppose 4*d - f = 136. Is 21 a factor of d?
False
Suppose 1430*x = 1437*x - 665. Does 5 divide x?
True
Suppose 4*c + 0*c + 5*q = -23, -3*c - q - 20 = 0. Is -55*c/((-105)/(-9)) a multiple of 26?
False
Suppose -2*k + 5 = 1. Let b(t) = -64*t**2 - 2*t + 2. Let a be b(1). Is (a/20)/(k/(-10)) a multiple of 9?
False
Let s = -1669 - -2844. Is s a multiple of 25?
True
Let g(n) = 40*n + 65. Is g(5) a multiple of 5?
True
Let s be ((-3)/(-1) - -1) + -1. Suppose 0 = u - 1, -4*j + 117 = -s*j - 3*u. Suppose -3*f - 2 + 14 = 0, -4*c = -2*f - j. Is 13 a factor of c?
False
Suppose n = 4*v - 382, -4*n = -2*v + 59 + 139. Is v even?
False
Let v(t) = -213*t - 6. Does 20 divide v(-2)?
True
Let h be 16/24 - 26/3. Let d(i) = 3*i**2 + 5*i - 7. Let b be d(h). Does 15 divide 8/28 - b/(-7)?
False
Let z(q) = q**3 - 11*q**2 + 8*q + 12. Let w be z(10). Is (-1162)/(-22) + w/(-44) a multiple of 7?
False
Let u be (-2)/5 - 24/(-60). Suppose u = -10*o + 171 + 479. Is 16 a factor of o?
False
Let h(a) = 6*a**2 + 13. Let u be h(-4). Suppose 0 = 3*p - u + 7. Is p a multiple of 3?
False
Let y(f) = 255*f**2 - 3*f + 21. Is 26 a factor of y(-4)?
False
Let j = 20 - 111. Let o = j - -139. Does 8 divide o?
True
Let a(i) be the second derivative of i**4/12 + 11*i**3/6 + 9*i**2/2 + 4*i. Let o be a(-11). Suppose -o*n + 6*n + 144 = 0. Is n a multiple of 16?
True
Let g = -48 + 33. Is 33 a factor of -4*3/g*(-250)/(-2)?
False
Let j = -41 - -104. Does 5 divide j?
False
Let o = 13 + -11. Suppose o*z - 6 = 40. Suppose -5*x = -s - 4 + z, 0 = -2*s - 4*x + 52. Is 20 a factor of s?
False
Let c be ((-16)/(-10))/(17/595). Let a = 24 + c. Is 20 a factor of a?
True
Suppose -290 = -2*u + 4*u. Let n = 211 + u. Does 33 divide n?
True
Let j = 337 - 269. Does 9 divide j?
False
Suppose 3*a = v + 2433, 3*v + 1440 = 4*a - 1809. Is 17 a factor of a?
False
Let k = 361 - 121. Is 30 a factor of k?
True
Let d(t) = t**2 - 11*t + 10. Let m be d(10). Suppose 2*j = -2*y + 26, m = y - 4*y - 15. Let h = -6 + j. Is 7 a factor of h?
False
Suppose 1 = -3*k + 151. Let j = k + -19. Suppose -g + j = 7. Is g a multiple of 6?
True
Suppose m + 25 = 3*y, -y - m = -3*m. Is (-724)/(-14) + y/35 a multiple of 13?
True
Suppose -6*u + 1838 = -82. Is u a multiple of 16?
True
Let k be 5*1/(10/(-4)). Is (49 + (-1 - k))*9/18 a multiple of 7?
False
Let d be (42/(-14))/((-6)/202). Suppose 0 = -5*q - 31 + d. Is q a multiple of 13?
False
Let x be 27083/212 - ((-10)/8 + 1). Suppose 0 = -2*z + 4*m + 55 + 201, -z - m = -x. Does 11 divide z?
False
Let k = 930 + -831. Does 18 divide k?
False
Let j = 156 - 57. Suppose 5*z = -3*q - j - 324, -87 = z + 3*q. Let u = -19 - z. Is u a multiple of 12?
False
Let j = -263 + 443. Is 30 a factor of j?
True
Suppose 0 = -5*h - 3*h + 72. Is 7 a factor of 267/h - 8/12?
False
Let n(w) = w**3 - 7*w**2 + w - 2. Suppose 4*f = 5*x - 23, -4*x - 3*f - f = -40. Let r be n(x). Suppose 16 = h - 2*s - 2, -4*s - 108 = -r*h. Is 5 a factor of h?
False
Is 1043 - (3 - -4)/1 a multiple of 14?
True
Suppose 0 = -2*g + 6*g - 1392. Does 29 divide g?
True
Suppose 7*n - 3 - 32 = 0. Suppose 0 = -n*h - q + 5*q + 131, 2*h = 2*q + 52. Is h a multiple of 9?
True
Suppose 0 = 3*v + 1 + 14. Let h(w) = 18*w - 20. Let r(k) = -9*k + 10. Let s(x) = v*r(x) - 2*h(x). Does 16 divide s(10)?
True
Suppose -5*y + 2*d + 1118 = 0, 0 = 4*y - 9*y - 3*d + 1123. Is 32 a factor of y?
True
Suppose -13 = -4*t - 1. Suppose -5*g - b + t*b + 44 = 0, -2 = g - 4*b. Suppose d = 12 + g. Does 12 divide d?
False
Let u(i) = 38*i + 5. Let r be u(6). Suppose 6*y - r = 1495. Suppose 4*g - 576 = -4*b, 2*g - 2*b - 2*b = y. Is 37 a factor of g?
False
Let t(f) = -23*f**3 + 40*f**3 + f**2 + 0*f**2 - f. Let v(j) = -2*j - 25. Let q be v(-13). Is 8 a factor of t(q)?
False
Let d(z) be the third derivative of z**4/4 + z**3/2 + 3*z**2. Let v(l) = -l**3 - 6*l**2 + 8*l + 16. Let m be v(-7). Is d(m) a multiple of 35?
False
Let p = -247 + 567. Is 40 a factor of p?
True
Let a(g) = g + 5. Let z be a(0). Suppose -5*m = 4*t - 366, -z*t + m = -351 - 92. Does 16 divide (-5 + 4)/(-1) + t?
False
Let r(c) = -c**3 - 9*c**2 - 10*c - 12. Let z be r(-8). Suppose 0 = -z*t + 20, 2*g - t - 7 - 10 = 0. Is 9 a factor of g?
False
Suppose -5*q + 6 = -64. Suppose -q*o = -11*o - 336. Is 28 a factor of o?
True
Suppose -14*p + 15*p = 41. Suppose -2*q + p = -25. Does 23 divide q?
False
Suppose 5*t - 14*t = -3771. Does 20 divide t?
False
Suppose 2*q = -3*q. Suppose 2*h - 25 = 3*g, -2*g = -q*g - 2*h + 18. Let p = 20 + g. Is p a multiple of 13?
True
Let z(m) = m - 3. Suppose -3*v = -4*k + 13, 2*v = 3*k + 4*v - 31. Let x be z(k). Suppose 5*r - 7 = x*r. Is 3 a factor of r?
False
Let a(b) = 177*b - 246. Is 27 a factor of a(20)?
True
Suppose 28 = -10*n + 8. Let j = n - -30. Is j a multiple of 4?
True
Let i(d) = -d**3 - 7*d**2 + 8. Let m be i(-7). Suppose -f + 846 = m*f. Let v = 167 - f. Is 24 a factor of v?
False
Suppose 14*a + 5 = 15*a. Suppose -n = 5*h - 719, 6*h - h = -a*n + 715. Does 48 divide h?
True
Suppose -54 = -6762*x + 6759*x. I