2 - 27*y - 3. Let t(n) = 2*q(n) + 3*x(n). Suppose -28 = -3*u + 4*p, 2*u - p - 22 = -0*u. Does 14 divide t(u)?
False
Suppose 5*v = -13 - 37. Let j = v + 43. Does 23 divide j?
False
Does 18 divide 1*(3643 - -10) - -9?
False
Let l(m) be the first derivative of m**3/3 + 3*m**2/2 + 3*m + 6. Let w be l(-3). Suppose -y = w*y - 60. Is y a multiple of 5?
True
Let v = -2700 + 3940. Is 40 a factor of v?
True
Suppose 3*m - 3*s - 963 = 0, 6*s - 5 = 7*s. Is m a multiple of 8?
False
Is (-52)/(-13)*(8 - -2) even?
True
Suppose 57*i - 61*i = -912. Is 19 a factor of i?
True
Let k(l) = 3*l**2 + 8*l + 6. Suppose -3*j - 14 - 3 = -n, 0 = 5*j - 4*n + 19. Does 19 divide k(j)?
False
Suppose 21*g - 20*g - 676 = -4*h, -4*h + 660 = -3*g. Is 12 a factor of h?
True
Let j(o) = o**2 - 13. Let i be j(4). Suppose i*a - 2*m - 45 = 77, -4*m - 84 = -2*a. Is a a multiple of 18?
False
Suppose -8*i + 98 + 110 = 0. Is 25 a factor of i?
False
Let b be 1/2 + (-382)/(-4). Let u = -30 + b. Does 11 divide u?
True
Let i = -1881 + 4593. Is i a multiple of 12?
True
Suppose u + 5*a - 347 = 0, 5*u - 5*a = 1512 + 73. Is 30 a factor of u?
False
Let t = 2025 - 1862. Is t a multiple of 48?
False
Let h(z) = 10*z + 83. Let j be h(-8). Suppose j*w - 105 - 31 = -2*s, -5*w - 42 = -s. Is 12 a factor of s?
False
Let q(h) = -11*h + 209. Is q(-33) a multiple of 26?
True
Let y(x) = -x**2 + 5*x + 8. Let w be y(6). Suppose 0 = 2*u - 0*u - s + 6, -w*u = 5*s + 6. Is 15 a factor of (u - 18/(-4))*32?
False
Suppose -5*s + b = 4*b - 556, 4*s - 3*b = 434. Does 6 divide s?
False
Let c(d) = d**2 - 12*d - 11. Let a be c(13). Suppose a*y + 78 = 4*u, u + 5*y - 24 = 1. Suppose -3*w + 19 = -t, t + 4*t = -u. Does 5 divide w?
True
Suppose -57*v + 48288 = -37668. Is 16 a factor of v?
False
Let a = 8 + -4. Suppose a*w - 11 = 93. Let h = -10 + w. Is 5 a factor of h?
False
Let q(k) = -k**3 + 3*k**2 - 9. Let w be q(3). Let s = 23 + w. Is s a multiple of 2?
True
Let h = 20 + -18. Let l be h*9/12*2. Is 13 a factor of -1*(l + -4) - -58?
False
Let n(z) = z + 147. Let a(r) = -1. Let v(k) = -3*a(k) + n(k). Does 15 divide v(0)?
True
Let m = 4 - 13. Is (m/(-2))/((-9)/(-54)) a multiple of 9?
True
Suppose 0 = 4*h - h - 4*x - 289, x + 493 = 5*h. Let y = -52 + h. Is 2 a factor of y?
False
Suppose 3*k + 5*l = 15, k + 16 = 4*l + 4. Suppose -5*o = -3*x - 40, k = -6*o + o + 5*x + 30. Is o even?
False
Let v = -29 - -45. Is 3 a factor of v?
False
Let f(i) = i**3 + 12*i**2 + 14*i + 3. Let c(b) = -b**2 - 8*b + 1. Let q be c(-8). Let u be q*-7 - (-15)/(-5). Does 21 divide f(u)?
True
Let f(p) = -p**2 + 4*p - 1. Let u be f(5). Let n(k) = -k**3 - 5*k**2 + 6*k + 9. Let a be n(u). Let s = 12 + a. Is 7 a factor of s?
True
Let i(c) be the second derivative of -3*c**3/2 - 3*c**2/2 - 11*c. Is 3 a factor of i(-1)?
True
Suppose 41*q - 21650 = 10494. Is q a multiple of 28?
True
Suppose -191 + 32 = 3*d. Let n = 106 + d. Does 24 divide n?
False
Let i = -29 - -63. Let k = -34 + i. Suppose -j + 31 + 8 = k. Is j a multiple of 12?
False
Suppose -4*f - z = z, -30 = -5*f + 5*z. Does 12 divide f/3 - 3752/(-24)?
False
Suppose -3*w + 54 = -0. Let f = w + -8. Does 6 divide 2/((-10)/(-3))*f?
True
Suppose 0 = 2*h - 20 - 20. Is h a multiple of 4?
True
Let a(o) = 9*o + 4. Let y be 620/14 - (-6)/(-21). Suppose -8*j + y = -4*j. Is 27 a factor of a(j)?
False
Suppose -14*d + 24*d - 1140 = 0. Does 17 divide d?
False
Suppose 14067 = 11*g + 16*g. Does 23 divide g?
False
Let j = -8 - -13. Suppose 11 = 4*f + j*u - 26, -2*u = 3*f - 19. Is f a multiple of 3?
True
Suppose -2*w = 4*x - 112, 3*w + 0*x + x = 158. Suppose -840 = -6*t - 4*t. Suppose -t = -2*k + w. Is k a multiple of 17?
True
Suppose 116*q = 106*q + 7640. Is 22 a factor of q?
False
Let y = -376 - -566. Is y a multiple of 7?
False
Let q = -85 + 156. Is 8 a factor of q?
False
Let s(d) = d - 2. Let l be s(3). Let j(b) = -45*b**2 - 5*b + 5. Let i(g) = -46*g**2 - 4*g + 4. Let q(v) = -6*i(v) + 5*j(v). Is 14 a factor of q(l)?
False
Suppose -4*q + 9 + 1 = 5*w, 4 = 4*q + 2*w. Suppose z + 5*z - 624 = q. Is z a multiple of 26?
True
Let q be (-3 + 4)*(3/(-1) - -3). Let b = -11 - -16. Suppose q = -v + 3*f + 37, b*v - 2*f - 123 = 114. Is 14 a factor of v?
False
Is ((-40)/120)/(-1 + 2080/2082) a multiple of 8?
False
Suppose 34*l = 29*l + 15. Suppose 0 = l*t - y - 198, -t = -0*t + 3*y - 56. Is 13 a factor of t?
True
Let b(p) = 13*p**3 + 14*p**2 + 5*p + 4. Is 73 a factor of b(6)?
False
Let c(f) = f + 7. Let m be c(-5). Suppose m*z = 2*b + b - 6, 3*b = 6. Suppose 0 = -z*i - i + 18. Does 18 divide i?
True
Let s = 21 - -11. Let l = s - 29. Suppose x + 283 - 27 = l*n, -n + 88 = -x. Does 14 divide n?
True
Let a(w) = 2 - 1 + 58*w + 9 - 57*w. Suppose 4*i + 14 = -10. Is a(i) a multiple of 3?
False
Suppose -775*u + 777*u - 870 = 0. Does 29 divide u?
True
Let s be ((-2928)/(-42) - 2) + 2/7. Let j be (-3 + 0)*1 - 1. Let o = s + j. Is 32 a factor of o?
True
Let z(l) = -10*l**2 - 56*l + 10. Does 10 divide z(-5)?
True
Let r(n) = -8*n - n**2 - 11*n - 24 + 7*n - 11*n. Does 5 divide r(-17)?
False
Let c = 0 - -5. Suppose c*y + 9 = 8*y. Is 14 a factor of 3*(-51)/(-9)*y?
False
Suppose 4*l + 3*m + 4 = 0, -4*l + 1 = -5*l - 3*m. Does 8 divide 8 - (1 + l)/(-2)?
True
Let f be (-2)/8 - 2/(-8). Is (f - (0 + -1))*60 a multiple of 5?
True
Let p(c) = -2*c**3 - 9*c**2 - 13. Let j be p(-7). Suppose -3*u + j = 5*v, -4*v + 186 = -0*u + 2*u. Is v a multiple of 8?
False
Let f(u) = 43*u - 13. Suppose b = 3*b - 22. Let o be f(b). Suppose 7*r - o = 2*r. Is 23 a factor of r?
True
Let n = -144 + 144. Suppose k + 5*h - 3 = n, 3*k - 26 + 3 = -h. Is 4 a factor of k?
True
Let x(d) = 7*d**3 + 2*d**2 - 1. Let n be x(-1). Is 25 a factor of (-4 + n/(-2))*-45?
False
Let s(f) = 4*f**2 - 2*f. Let n be s(3). Suppose -5*v = 5*a - 415, 2*v = -a + 48 + n. Is a a multiple of 11?
True
Suppose 3*v - 5 = 4. Suppose p + 5 - 12 = v*x, -4*x = 4. Suppose p*o = o + 39. Is o a multiple of 10?
False
Let o be 17/(-3) + (-4)/(-6). Let y(w) = w**3 + 7*w**2 + 6*w + 10. Let q be y(o). Let m = 78 - q. Is m a multiple of 16?
True
Let p be (-3)/(9/1834) + 2/(-3). Does 8 divide (-32)/(-12)*p/(-16)?
False
Let x be (2/4)/(3/(-540)*-3). Suppose -11*w = -5*w - x. Is w a multiple of 3?
False
Let y = -108 + 128. Let o = 42 + y. Does 62 divide o?
True
Suppose -2 = -4*v + 18. Suppose -3*z + 21 = 5*q, -q = -v*q + 2*z + 8. Suppose -q*w + 40 - 2 = 5*y, -y + 1 = 0. Is w a multiple of 11?
True
Let v = 16 - 23. Let d be (v/(21/(-6)))/(-2). Does 7 divide (-50)/(-4) - d/2?
False
Suppose 0 = 6*y - 4358 + 734. Is y a multiple of 9?
False
Let k(n) = n + 51 + 44 - 59 - 2*n**2. Does 4 divide k(0)?
True
Let m = 5 + 0. Suppose 0 = -m*x + 89 + 51. Suppose -5*u = -x - 67. Is u a multiple of 19?
True
Let b = 1643 - 1157. Does 21 divide b?
False
Is 16 a factor of ((-1348)/(-8) + 0)*4?
False
Let z(r) = r - 7. Let q = -13 + 20. Let p be z(q). Suppose -4 = -p*i - i. Is 3 a factor of i?
False
Let o = 36 + 95. Let z = -88 + o. Suppose 0 = -3*u + z + 2. Is 10 a factor of u?
False
Let l be 5/(-3) + (-4)/(-6). Suppose 3*w + 419 = -5*t, -3*t + 1 = -4*t. Is l/(((-9)/w)/(-3)) a multiple of 16?
False
Suppose 34*d - 18 = 36*d. Let g be d/45 + (-22)/(-10). Suppose g*p = p + 54. Does 10 divide p?
False
Let n = 27 + -18. Does 4 divide (n/4)/((-12)/(-144))?
False
Suppose 13 = 3*b + 4. Let g be 9*(3 + (-5)/b). Is 6/(-4)*(-272)/g a multiple of 14?
False
Let u(t) = -t**3 + 4*t**2 + 5*t + 1. Let k be 10*((-72)/20 + 4). Is u(k) a multiple of 7?
True
Is (-1534632)/(-1188) + 4/18 a multiple of 19?
True
Let h(f) = 2*f**2 + 12*f - 14. Let l be h(7). Let j = l - 117. Does 22 divide j?
False
Suppose -5*j + 645 + 555 = 0. Suppose -g = 3*g - j. Does 15 divide g?
True
Suppose -3*d + 2610 = 2*f + 51, 4*d - 4*f - 3392 = 0. Is 37 a factor of d?
True
Does 13 divide 74 - ((-66)/55)/((-3)/(-10))?
True
Suppose -10890 = -8*j - 2570. Is j a multiple of 80?
True
Suppose -4*h = -148 + 36. Suppose 3*z + h = 2*f + 2, f = -5*z. Suppose 5*x = 3*x + f. Is 4 a factor of x?
False
Let l be (-3 - 0 - -3)/2. Suppose -o + 6*o = l. Suppose -2*j + 29 - 9 = o. Does 6 divide j?
False
Suppose 3*x = 3*q + 4 + 41, -3*x + 60 = 2*q. Suppose 0 = -12*i + x*i - 1020. Is 17 a factor of i?
True
Suppose w - 39 = -27. Does 11 divide (4/(-10))/((-1)/5) + w?
False
Let f(r) = 15*r**2 - r - 131. Does 27 divide f(-