tiple of 13?
False
Suppose 0 = 11*j - 312 - 359. Does 2 divide j?
False
Suppose -5*q - 82 + 207 = 0. Suppose -q + 4 = 3*g. Let o = g - -11. Is o a multiple of 3?
False
Let i(f) = f**3 + 4*f**2 + 2*f + 3. Let u be i(-3). Let k be 2/u + (-8)/(-3). Suppose -r - k*m = m - 72, 2*m - 186 = -3*r. Is r a multiple of 15?
True
Let k = -22 - -22. Suppose k = -t - t + 58. Is 29 a factor of t?
True
Suppose x - 469 = -6*x. Does 12 divide x/((-6)/(-4)*2 + -2)?
False
Suppose 0 = -30*s + 25*s - 20. Let j(m) = -m**2 - 10*m - 4. Does 10 divide j(s)?
True
Let h = 2 + -1. Is h*(-5)/(-10)*22 even?
False
Let y(b) = -b**2 + 18*b - 9. Let d be y(17). Suppose 12*k - d*k = 340. Does 17 divide k?
True
Let j = -24 - -27. Suppose -j*q = -2*u + 86, -2*u + 0*q = -5*q - 94. Is u a multiple of 5?
False
Suppose 0 = -3*v + 23 + 1. Suppose -3*x + 3*t - 48 = 0, -1 - 3 = 2*t. Does 9 divide x/24 - (-142)/v?
False
Let k(q) = 9*q**2 + 43*q + 49. Is k(-13) a multiple of 32?
False
Let x be (-2)/6 + (-70)/(-30). Suppose 3*r + x*r = 3*h + 9, -3*h + 3 = -r. Is 1900/45 - h/9 a multiple of 14?
True
Let q(u) = u**3 + 17*u**2 + 27*u. Let d(z) = z**3 + 6*z**2 - 9*z - 29. Let t be d(-7). Is q(t) a multiple of 4?
False
Let n(j) = 5*j**3 + j**2 - 6*j + 1. Let a(t) = -4*t**3 - t**2 + 5*t - 1. Let c(m) = 6*a(m) + 5*n(m). Let r be c(2). Suppose -r*g + 36 = -g. Does 8 divide g?
False
Let u(c) = c**3 - 12*c**2 + 7*c + 23. Is 19 a factor of u(14)?
True
Let h be 1/(-4) + (-63)/(-12). Suppose 0*b + 90 = -h*b. Is ((-12)/(-4))/(-3) - b a multiple of 5?
False
Suppose -l + 11*n = 8*n - 838, -l + 839 = -4*n. Is l a multiple of 23?
False
Let l = -8 - -14. Suppose 53 + 85 = l*c. Does 19 divide c?
False
Suppose 0*d - 4*c = 4*d, -5*d = 3*c - 4. Suppose -m + 210 = d*m. Is m a multiple of 10?
True
Let x(k) = k**3 + 31*k**2 - 157*k - 48. Is x(-35) a multiple of 6?
False
Let g(v) = -v - 4. Let x(h) = -h - 2. Let i(q) = g(q) - 3*x(q). Does 10 divide i(29)?
True
Suppose -2 = 14*l - 30. Suppose l*k + 12*k - 1750 = 0. Is k a multiple of 29?
False
Suppose 11083 - 283 = 36*j. Is 25 a factor of j?
True
Let n be ((-6)/(-5))/((-14)/(-385)). Suppose -n = -7*a - 4*a. Does 3 divide a?
True
Suppose -3*f - 2636 = -0*w - 5*w, -f - 2 = 0. Is 16 a factor of w/8 - 24/32?
False
Does 36 divide 15*6/(-8)*(-996)/15?
False
Suppose 28944 = 21*z + 4584. Is z a multiple of 10?
True
Let g be 3/((-3)/8)*-1. Let a = g + 2. Is 10 a factor of a?
True
Let i(z) be the first derivative of -z**3/3 - 8*z**2 - 15*z - 7. Let b be i(-10). Suppose 2*q = q + b. Is 13 a factor of q?
False
Let n(g) = -g**3 - 9*g**2 - 7*g + 10. Let z be n(-8). Suppose 2 = z*x - 0. Does 10 divide ((-49)/(-2))/(x/2)?
False
Suppose -2*v + 162 = -2*a, 46*a - 167 = -2*v + 47*a. Does 7 divide v?
False
Suppose 3*n - 15 = 39. Suppose -4*p - n = -6. Let i(y) = -5*y. Does 15 divide i(p)?
True
Let r(j) = j**3 - 2*j**2 - 3*j. Let h be r(3). Let f be 1*(-2 - h) - -10. Let s = 35 - f. Does 9 divide s?
True
Let v be (-13)/(-5) + (-2)/(-5). Suppose 0 = 8*j - v*j. Suppose 3*n - 33 - 57 = j. Does 15 divide n?
True
Let k(z) = z**3 - 10*z**2 + 7*z - 5. Let v be k(7). Let l = v - -54. Let t = l - -89. Is t a multiple of 5?
True
Suppose -2*u = -25 - 33. Suppose 0 = -y - 2, 0 = w + 2*w - 3*y - 21. Suppose l - c - 39 - u = 0, -5 = w*c. Does 27 divide l?
False
Let g(w) = 1. Let r be (-56)/(-21)*9/(-4). Let u(c) = 19*c - 11. Let x(t) = r*g(t) - u(t). Is x(-3) a multiple of 19?
False
Suppose 0 = m + 4*m - 10. Let w be ((-2)/3)/(m/(-6)). Is 10 a factor of 4/(8/30)*w?
True
Let j(c) = 13*c + 10. Let z be j(-5). Suppose -45 + 165 = o. Let i = o + z. Does 13 divide i?
True
Suppose 0 = 4*y + c + 1, -2*c + 17 = -5*y + 2*c. Let d(u) = -84*u. Is 31 a factor of d(y)?
False
Suppose 2*y + 3*y + 10 = 0. Suppose -5*j = -5*f + 10, -2*f - 13 = -7*f + 2*j. Is (y - 36/(-4)) + f a multiple of 10?
True
Let t = -23 + 32. Suppose -5*c = 3*a - 46, -4*a + 3*c = -t - 4. Suppose 366 = -u + a*u. Does 13 divide u?
False
Let s(k) = k**2 - 15*k - 156. Is 15 a factor of s(24)?
True
Let l(b) = b**3 + 2*b - 2. Let a be l(2). Let x be (136/(-20))/(2/a). Let h = -10 - x. Is 7 a factor of h?
False
Let g be ((-37)/(-2))/((-3)/(-108)). Suppose -l - g - 380 = -4*s, -4*s - 2*l + 1040 = 0. Is s a multiple of 48?
False
Suppose -5*k + 3*k = 8. Is (29 - (k + 6)) + 1 a multiple of 5?
False
Let q(y) = 2*y**2 + 11*y + 57. Let d(w) = -3*w**2 - 21*w - 113. Let m(j) = 3*d(j) + 5*q(j). Is m(-7) a multiple of 9?
False
Suppose -2*f + 10 = 0, -2*i = -0*i - f - 7. Suppose 5*n + 8 = i*n. Suppose -d + n + 10 = 2*s, -5*d + 99 = s. Does 5 divide d?
True
Suppose -3*d + d = -3*m + 5, 3*m = -4*d - 19. Let f = m - -1. Suppose -4*w + 3*w + 5*a + 42 = 0, 4*w + 4*a - 288 = f. Is w a multiple of 19?
False
Let i = -1 - -41. Does 10 divide i?
True
Let p(u) = -129*u + 12. Is p(-1) a multiple of 14?
False
Let z = 292 + 943. Is z a multiple of 17?
False
Is 670*(-6 + (-68)/(-10)) a multiple of 37?
False
Suppose -2 = 3*h - 4*h. Let o be 1/(-3) - 4/(-12). Suppose o = -5*x + v - 14 + 74, -v - 24 = -h*x. Is x a multiple of 6?
True
Let y = 6 - 2. Let m = 230 - 233. Is 7 a factor of 454/8 + m/y?
True
Suppose -6*t = -3*t + 429. Let r = 7 - t. Is r a multiple of 25?
True
Let q = -12 + 16. Suppose 3*m - q = m. Does 16 divide m/(-11) - 6205/(-187)?
False
Let m = -101 + 195. Does 5 divide m?
False
Suppose 4*k = -3*v + 2*v + 180, -v = 5*k - 225. Let o = -8 + k. Is o a multiple of 8?
False
Let p be (-62)/((-4)/(-6)*(-1 - 0)). Is (-11 - -6) + -2 + p a multiple of 13?
False
Let p = -63 + 89. Suppose f + p = 5*m, -m = -2*m - 4. Is 3 - f*2/4 a multiple of 14?
False
Let h(x) = -x**3 + 8*x**2 + 6. Let t(d) = -3*d - 19. Let b be t(-9). Is h(b) even?
True
Suppose g + 2 = 0, 6*q - 3*q + g = 262. Is 8 a factor of q?
True
Suppose -10*c + 198 = -302. Is c even?
True
Let r(p) = p**2 + 2*p - 8. Let a be r(-10). Let f = -11 - -16. Suppose -a = -2*k - 2*k + 3*t, f*k - 90 = -2*t. Is k a multiple of 12?
False
Let z = -153 - -84. Let l = -15 - z. Is l a multiple of 5?
False
Let t be (1 - (3 + -3)) + -11. Is (-62)/t - (-28)/35 a multiple of 2?
False
Suppose 6*u - 3964 = 1406. Suppose 180 = y - o, -4*o = -2*y - 3*y + u. Is 25 a factor of y?
True
Let k be (15/(-10))/((-9)/(-24)). Is (-4)/((8 - 8) + k/154) a multiple of 18?
False
Let q be (4 - -1)*(2 + -1). Let k(b) = 0*b**2 - 7*b**2 - b**3 + 3*b + q*b + 5 + 1. Does 6 divide k(-8)?
True
Suppose 2*j + 23 = -3. Suppose 0 = -z + d - 51, 3*z + 0*d + 2*d + 148 = 0. Let n = j - z. Does 28 divide n?
False
Let m = 574 - 315. Let d = -180 + m. Is 22 a factor of d?
False
Suppose 2*i - 21 = i - 4*d, -3*i + 5*d = -97. Let p = 4 + i. Is 11 a factor of (p/(-4))/(21/(-56))?
True
Suppose -359 = -y + 466. Is 15 a factor of y?
True
Let h = 1769 + -117. Does 14 divide h?
True
Let l be ((-14)/21)/((-1)/9*2). Suppose 164 = 5*y - l*y. Does 28 divide y?
False
Suppose -5*a + 30 = -3*c, 30 = 2*a + 3*a + 3*c. Suppose 0 = a*x - 733 - 659. Is 58 a factor of x?
True
Let i(v) = -v**2 + 2*v + 30. Let t be i(0). Suppose 4*g = -12, -t = f + 2*g + 3*g. Is (48/30)/((-2)/f) a multiple of 12?
True
Let h(v) = -1. Let w(b) = b**2 + 6*b - 11. Let y(t) = -5*h(t) + w(t). Is 5 a factor of y(-8)?
True
Suppose 7 = 4*b - x, -3 = 2*b - 5*x - 2. Let p be b/((-16)/6)*-100. Is (-242)/(-3) - (-25)/p a multiple of 15?
False
Suppose -31 - 44 = -3*p. Let o = 90 - p. Is 13 a factor of o?
True
Suppose 16 = -4*d, 257 = s + d + 3*d. Suppose -3*v + s = 2*v + 2*c, -3*v = -c - 166. Let a = v - 9. Is a a multiple of 16?
False
Suppose 5*q - 25 = -d, -17 = -5*d - 3*q - 2. Suppose d*y = -y + 25. Is 3/((-9)/3) + y a multiple of 24?
True
Suppose -14*z = -9*z - 50. Does 5 divide 2/z + ((-496)/(-5))/4?
True
Let o = 662 + -454. Is o a multiple of 13?
True
Let r(m) = -m**3 + 3*m**2 - m + 3. Let n be r(3). Suppose -6*t - 8 = -194. Suppose -i + 2*g + t = n, -i - 23 = -2*i + 4*g. Is i a multiple of 8?
False
Let h(w) = w**2 - 2*w + 43. Suppose -34*p = -39*p. Is 12 a factor of h(p)?
False
Let x(h) = -h**3 + 5*h**2 - 4*h - 3. Let u be x(4). Does 9 divide 116/(-6)*((-27)/(-3))/u?
False
Suppose -2*k - 3 = -3*k. Let h(g) = -g**2 + 2*g + 5. Let f be h(k). Suppose 3*j - 36 = 3*d, -f*d = -5*j + 2*d + 56. Does 6 divide j?
False
Let v be (-5)/(-15) + 644/3. Let a = v - 127. Is 22 a factor of a?
True
Let v = 47 + -66. Let a = 24 + v. Suppos