o?
False
Suppose l + 3 = k + 4, -3*l = 2*k - 23. Suppose 0 = -l*c + 573 + 277. Is c a multiple of 17?
True
Let x be (-26)/(-10) - (-3)/(-5). Suppose -2*t - 21 = m, x*t = 4*t - 2*m + 24. Let u(r) = r**2 + 8*r - 7. Is u(t) a multiple of 26?
True
Suppose 9*a = 7*a + 8. Suppose 4*z + a*f - 136 = 0, -3*z - f + 112 = -0*f. Does 31 divide z?
False
Let j = -94 + 112. Is 6 a factor of j?
True
Let k = 802 + -479. Suppose -3*d - 333 = -4*p, 5*p - 96 = d + k. Is 5 a factor of p?
False
Let z = -393 + 902. Does 29 divide z?
False
Suppose 6*h - 10*h + 32 = 0. Suppose 0 = -3*s - h + 38. Is 3 a factor of s?
False
Suppose 74 = 2*c + 148. Let u = 60 + c. Does 19 divide u?
False
Let o(b) = b. Let k be o(4). Let h(d) = 4*d**2 - 16*d - 23. Let r be h(7). Suppose 0 = 3*t + 4*w - r, 2*t - 5*w + 43 = k*t. Is t a multiple of 19?
True
Suppose 3*b - 25 = 5*a, 0 = -0*b - 2*b + 5*a + 20. Let p = 56 + -52. Suppose -3*o + 41 = -4*j, -o = p*j - j - b. Does 5 divide o?
False
Let k(p) be the second derivative of p**5/10 + p**3/6 + 3*p**2/2 + p. Let q be k(-4). Let z = -74 - q. Is z a multiple of 10?
False
Does 15 divide 3 + 7652/52 - 16/104?
True
Suppose -4*a = -9*a - 30. Let z be (-914)/(-26) - a/(-39). Is 96/5 - 7/z a multiple of 7?
False
Does 49 divide -4*(0 + ((-22932)/(-16))/(-9))?
True
Let n(o) = 3*o**3 - 3*o**2 - 4*o - 1. Let p be n(-1). Does 13 divide (1 - -2)/(p/(-65))?
True
Let v(a) = 3*a**2 + 5*a + 4. Is 6 a factor of v(-7)?
False
Let o(q) = 3*q**3 + 8*q**2 + 3*q - 1. Let i(n) = n**3 + 4*n**2 + 2*n. Let y(b) = 5*i(b) - 2*o(b). Let k be y(5). Let s = k + 14. Is s a multiple of 5?
False
Let h(l) = 127*l**2 - 2*l - 3. Suppose c - 1 = -6, 14 = d - 3*c. Is 7 a factor of h(d)?
True
Let r(q) = 3*q**3 + 4*q**2 - q - 1. Let z(j) = -4*j**3 - 4*j**2 + j. Let x(n) = 6*r(n) + 5*z(n). Let p be x(-3). Let m = p - 54. Is 11 a factor of m?
True
Is (15/6)/(17/1122) a multiple of 12?
False
Let t be 2 - ((-2)/2 + -1). Let n = 16 + t. Is 5 a factor of n?
True
Suppose -2*w = -22 - 116. Is 10 a factor of -2 + w - ((-7 - -3) + 4)?
False
Let y be 45 - 2/(-8)*-4. Suppose 2*r - 5*a = 19, 4*r - 3*a - y = -13. Suppose 2*i = 103 - r. Is i a multiple of 11?
False
Let z be (-23)/3 - 2/6. Let r be ((-112)/21)/(2/27). Let k = z - r. Does 23 divide k?
False
Let r(n) = 145*n**3 - n**2 + 2*n + 4. Is r(2) a multiple of 4?
True
Suppose -100*u + 27*u + 5840 = 0. Is 16 a factor of u?
True
Suppose -5*g + 3*x + 6357 = -240, -3955 = -3*g + 5*x. Does 33 divide g?
True
Let a(z) = z**3 - 8*z**2 - 9*z + 35. Is a(11) a multiple of 23?
True
Suppose -5922 = -2*c - 5*c. Suppose 21*j = -27 + c. Is 13 a factor of j?
True
Suppose 0 = -24*x + 2*x + 29172. Is 39 a factor of x?
True
Let f(y) = 57*y**2 + y. Does 14 divide f(-1)?
True
Suppose -2*n + 95 = 3*n. Let c = -16 + n. Is 5 a factor of (-3 + -8)/(c/(-6))?
False
Suppose 4*a - 3 = 13. Let x(h) = 8*h**2 + 3*h - 3. Let z be x(-3). Suppose -2*f - a*t + z = 0, 3*f - 5*t + 5 = 51. Does 9 divide f?
False
Let n be 8/2 + (-3150)/(-15). Let h = n - 104. Does 55 divide h?
True
Let a = -1257 + 1502. Is a a multiple of 7?
True
Suppose 2*r = 3*r - 2. Suppose 0 = 3*k + 4*b - 85 - 189, r*b - 94 = -k. Let x = -13 + k. Is x a multiple of 14?
False
Suppose 2028 = 3*q + 4*l, 0 = 3*q + 16*l - 20*l - 2004. Is q a multiple of 24?
True
Let o = -175 - -305. Is 13 a factor of o?
True
Let w = -637 + 1040. Suppose 2*y - w = -5*b - 11, -b + 100 = -5*y. Is b a multiple of 40?
True
Let x(y) = -y**3 + 14*y**2 - 28*y - 39. Is 8 a factor of x(11)?
True
Does 16 divide (-9447)/(-6)*(-8 + (9 - -1))?
False
Suppose 5*m + 3*o = -o + 11, -13 = -3*m - 4*o. Let d be (m - 2) + 9 + -3. Suppose d*p + 34 = 2*h - 2*p, -54 = -4*h + 3*p. Does 6 divide h?
True
Let i be (-13)/(-104) - 222/(-16). Let x(t) = -1 + 9*t - 12*t**2 + i*t**2 - 1. Does 27 divide x(-8)?
True
Suppose 2*a - 23 = a. Suppose -2*g + 8 = 3*o - a, -5*o - 2 = g. Does 16 divide g?
False
Let n(y) = 3*y + 19. Let q be n(-5). Is 13 a factor of 90/q*(-72)/(-45)?
False
Let p(y) = -4 + 1 + 96*y + 3. Does 32 divide p(1)?
True
Let g(r) = r**2 + 5*r + 4. Let z be g(-5). Suppose -z = 2*q - 3*q. Is (-440)/(-11)*q/10 a multiple of 5?
False
Let a = 32 - -1625. Is 17 a factor of a?
False
Suppose 0 = 5*j - 0*s + 3*s + 52, 4*j = 3*s - 20. Let l be (-60 + 6)/((-3)/2). Does 13 divide (-454)/(-18) + j/l?
False
Let j = -90 - -95. Is 17 a factor of 2/1 - (j + -218 + -6)?
True
Let a = -8 - -294. Is 39 a factor of a?
False
Let u(h) = 10*h**2 + 19*h - 11. Is u(-5) a multiple of 9?
True
Let l(y) = y**3 + 6*y**2 + y + 7. Let i = 6 - 12. Let d be l(i). Is (2 - 3)*(d - 8) a multiple of 3?
False
Let f(r) be the first derivative of r**5/20 + 11*r**4/12 - r**3/6 + 8*r**2 + r - 3. Let h(n) be the first derivative of f(n). Does 18 divide h(-11)?
False
Let f(t) = -t**3 - t + 8*t + 242*t**2 - 248*t**2 - 1 - 3*t. Suppose -4*g - 2*q = 30, -1 = -0*q + q. Is f(g) a multiple of 10?
True
Let k(u) = 2*u + 1. Let m be k(1). Let z be 8 + 1 - m - -2. Suppose -3*c - 340 = -z*c. Is 21 a factor of c?
False
Suppose 0 = 3*k - 7273 - 1628. Does 129 divide k?
True
Suppose y - 28 = -6*y. Let a be (-3)/6 - (-2)/y. Suppose 7*f - 60 - 584 = a. Is 17 a factor of f?
False
Let s be 3 - (-4)/(((-12)/(-159))/2). Let m = s - 42. Does 18 divide m?
False
Suppose 0 = 2*i - 6, -2*f - 3*i + 74 - 29 = 0. Is f even?
True
Suppose 3*x = 4*a + 96, 3*x - 104 = -4*a - 32. Let k = 36 - x. Does 2 divide k?
True
Let g(q) = -q**3 + 3*q**2 + 5*q - 6. Let l be g(4). Let y be (3 - 2)/(l/(-6)). Suppose -y*i + 5*i + 36 = 3*c, 0 = -5*c - 2*i + 60. Does 6 divide c?
True
Suppose -u + 2*y = -98, 2 + 3 = y. Is 4 a factor of u?
True
Let c(o) = o**2 + 15*o + 18. Let n be c(-13). Is 12 a factor of (-18)/n*(50/15 - -2)?
True
Let d = -14 - -58. Suppose 112 = 4*t + 4*f, -5*t - 5*f = -3*t - d. Is t a multiple of 16?
True
Let o = 1767 - 1197. Does 19 divide o?
True
Let s = 43 - -20. Suppose -c + s = -27. Does 15 divide c?
True
Let m(w) be the third derivative of w**6/120 + 2*w**5/15 - w**4/3 - 7*w**3/3 + 74*w**2. Suppose -2*n = 18 - 2. Does 25 divide m(n)?
True
Suppose -2*z + 0*l = 3*l, l + 2 = 0. Suppose 5*a = -5, 2*u = z*u + 5*a - 42. Is 15 a factor of u?
False
Suppose 4*k = -2*z + 1010, -3*k - 6*z + 4*z = -760. Is k a multiple of 44?
False
Let r(f) = 2*f - 2. Suppose 0*b = -h - 4*b + 22, 5*h = 2*b. Let m be r(h). Suppose x - 39 = l, m*x - 3*l - 21 - 57 = 0. Does 13 divide x?
True
Let m = -216 + 531. Is 15 a factor of m?
True
Let v be 2 - (1 + -5)/2. Suppose -v*t = -4*f - 20, -3*f - 29 = -5*t - 2*f. Is ((-212)/t)/(4/(-6)) a multiple of 12?
False
Let z be (-8)/(-24) - (-23)/3. Suppose 3*d + z = -d. Is 12 a factor of 35 + (-1 - 4/d)?
True
Let v = -33 - -60. Let h = -14 + v. Is 7 a factor of 0 + -2 + h - -3?
True
Let d = -1 + -19. Let w be 430/(-8) + (-8)/32. Does 14 divide (w/(-10))/((-4)/d)?
False
Let t(b) = b**3 + 13*b**2 + 8*b - 4. Let z be (-15)/(-6)*(4 + 6). Suppose -4*n - z = 23. Is t(n) a multiple of 11?
True
Suppose x - 2*l + 6*l = 932, -l - 3643 = -4*x. Is x a multiple of 13?
False
Let z = 6 - 1. Suppose -2*b - 598 = -z*i, 5*i + 32 - 633 = -b. Is i a multiple of 12?
True
Suppose 0 = 2*v + 3*l - 1790, 16*l = 13*l. Does 11 divide v?
False
Suppose -36 = 5*v - 2*z, 0 = -2*z - 0*z + 6. Let r be (-3)/((-9)/12)*2. Does 4 divide v*((-28)/r - -2)?
False
Suppose 0*m + 2090 = 3*j + 2*m, 0 = 5*m - 20. Does 51 divide j?
False
Let h(o) = o**2 + 6*o + 11. Let b be h(-11). Let n(y) = -39 - 11*y - 32 + b. Does 17 divide n(-2)?
True
Let j = 99 + -97. Suppose -13 = -j*t - t - 4*z, 2*z = 2. Is 2 a factor of t?
False
Let j be (0 - -19)*-1*-6. Suppose -3*v = -0*v - j. Is 9 a factor of v - 0 - (-11 - -9)?
False
Suppose 4*c + 20847 = 5*n, -2*c + 4161 = n - 0*c. Is n a multiple of 21?
False
Let a(d) = 3*d + 10. Let w(y) = y. Let h(t) = a(t) - 6*w(t). Is h(-1) a multiple of 5?
False
Suppose 24*u - 148 = 20*u. Does 2 divide u?
False
Let s(m) = m**3 - 3*m**2 - 4*m - 3. Let x(l) = -1. Let u(o) = -s(o) + 6*x(o). Let t be u(3). Does 11 divide 2471/63 - 2/t?
False
Suppose 0 = -5*u + 660 + 1605. Is u a multiple of 11?
False
Suppose -f - v + 1248 = 0, -12*f + 20448 = 2*v + 5492. Is f a multiple of 14?
True
Let x(b) = 18*b + 1. Let i be x(8). Suppose i = 3*h + 25. Let m = h - 28. Is 12 a factor of m?
True
Is 18 a factor of -202*(46/(-16))/(2/8)?
False
Let b(g) be the thi