
False
Let w = -83 + 87. Suppose -v = -2*l - 238, -2*l - w = -6. Is v a multiple of 15?
True
Suppose 2*d - 51 - 71 = 0. Suppose y - 33 = d. Does 30 divide y?
False
Is (14/(-4))/((-438)/144 + 3) a multiple of 34?
False
Let w be (-4)/((2 + 1)/((-18)/12)). Suppose t = 4*b - w*b - 206, 3*b - 300 = -3*t. Does 34 divide b?
True
Suppose -3*x - 2*x - 65 = 0. Suppose g - 12 = -3*g. Does 18 divide (-2)/g*702/x?
True
Suppose -1693 = -4*y - 5*j, 0 = -5*y + 4*j - 6*j + 2112. Is y a multiple of 22?
False
Let d = -3 + 7. Suppose f + 5*y - 3 = 0, 3*f = -f - y + 69. Suppose 4*n = d*u - 72, n - f = 2*u - 3*u. Does 13 divide u?
False
Let p(j) = -9*j + 96. Does 12 divide p(-4)?
True
Let i be -2 + 4/((-2)/(-2)). Suppose -66 = -i*a + 34. Is a a multiple of 10?
True
Let d(p) = 14*p**2 + 8*p + 10. Suppose 0*m = -7*m - 21. Does 16 divide d(m)?
True
Let y = 963 - 180. Is 87 a factor of y?
True
Let f = -12 + 13. Is 27 a factor of (-6)/(-4)*54*f?
True
Let u = -42 - -56. Suppose 5*h + 2*f - 53 - u = 0, -f = -5*h + 64. Is 3 a factor of h?
False
Suppose -23*n + 28*n - 7118 = -4*f, -5*n + 7124 = 2*f. Is 62 a factor of n?
True
Let t be 1/((-16)/2) + (-121)/(-8). Let k(g) = 10*g - 26. Does 17 divide k(t)?
False
Let d(j) = 77*j**2 - 26*j + 3. Is d(5) a multiple of 11?
False
Let z be (1*-3)/(10/(-50)). Let p = -9 + z. Let y(b) = b**2 - 6*b + 7. Is 7 a factor of y(p)?
True
Let g(u) = -35*u - 13. Is g(-2) a multiple of 6?
False
Let n = 1854 - 1161. Does 21 divide n?
True
Let k(l) = -22*l - 21. Let g = -50 - -45. Is 21 a factor of k(g)?
False
Let m(x) = 68*x**3 - 4 + 8*x**2 + 15 - 12*x - 36*x**3 - 31*x**3. Does 19 divide m(-9)?
True
Suppose -2 = l, -x + l - 1 = -7. Suppose -x = 2*a, -5*a + a = 4*f - 60. Is 3 a factor of f?
False
Let w(x) = -4*x - 32*x + 1 - 37*x. Does 44 divide w(-3)?
True
Suppose -y + 12 = 1. Let f = 9 + -10. Is 0 - f - (-330)/y a multiple of 26?
False
Let r(u) = 19*u - 9. Let t be r(3). Suppose c = -5, -2*c - 84 = -2*a + t. Is a a multiple of 29?
False
Suppose -2*n + 0*n - 108 = 0. Let t = n - -144. Suppose 0 = -2*l - l + t. Does 13 divide l?
False
Suppose -6*m + 34 = 4. Suppose 5*g - 425 = -5*c + 2*c, 0 = -g - m*c + 107. Is g a multiple of 23?
False
Suppose -3*w = 5*x - 505, 406 = -x + 5*x + 2*w. Suppose n - 28 - x = 0. Is 33 a factor of n?
True
Let g(s) = 2*s**3 + 2*s - 2. Let u be g(1). Suppose -2*o = u*o - 340. Is 15 a factor of o?
False
Suppose 0 = -4*p - 2*s + 5274, -119 = p - 2*s - 1425. Does 7 divide p?
True
Let f(d) = -d**3 + 5*d**2 - d - 5. Let l(q) = -q**2 - 2*q + 6. Let o be l(-3). Is f(o) a multiple of 2?
True
Let c = 35 + -38. Let o be 271 - c/2*-2. Suppose 3*h + 16 - o = 0. Is h a multiple of 42?
True
Let w be 2 + 7 + 1/(-1). Let j be ((-12)/w - -2)*0. Suppose 2*g + 8*b = 3*b + 121, j = -2*g + 2*b + 142. Is 17 a factor of g?
True
Let c = -83 - -165. Let n = c - 45. Does 11 divide n?
False
Let s = -15 + -6. Let x(o) = -2*o**3 + 5*o**2 + 5*o + 4. Let n be x(5). Let m = s - n. Is m a multiple of 25?
True
Let c(j) = 41*j**2 - 12*j - 11. Is c(-1) a multiple of 7?
True
Let b be ((-51)/(-15) + -3)*-30. Let z be (-92)/b - 6/9. Suppose 0 = 3*o - z*o + 84. Does 10 divide o?
False
Let i = 17 - 22. Is (-183)/i - 6/10 a multiple of 18?
True
Suppose 2268 = -57*h + 64*h. Is h a multiple of 6?
True
Let a = 288 + 20. Does 35 divide a?
False
Let s = -279 + 508. Is s a multiple of 56?
False
Suppose i - 2*i + 1 = 0. Is 4 a factor of i/((-80)/(-76) - 1)?
False
Let p(r) = 6 + 5*r + 7 + 10 + 28. Is 16 a factor of p(9)?
True
Let n(l) = 203*l - 411. Does 95 divide n(17)?
True
Let n = -117 + 121. Let k(b) = -3*b**3 + 4*b**2 - 5*b - 1. Let v(p) = -p**3. Let h(t) = -k(t) + 2*v(t). Is h(n) a multiple of 7?
True
Let y(k) = -21*k + 21. Let m be y(-7). Suppose 0 = 5*b - b - m. Does 14 divide b?
True
Is 21 a factor of -14*(18/(-12) + -6 + 6)?
True
Suppose -5*q - r = -4*q - 7, -3*r + 24 = 4*q. Let f = q - -4. Does 12 divide (-19)/(-3)*(f - 4)?
False
Let q(i) be the third derivative of -1/3*i**3 + 9*i**2 + 0*i**4 + 1/60*i**5 + 1/40*i**6 + 0 + 0*i. Is q(2) a multiple of 12?
False
Let q = 18 + -15. Suppose -4*j = -q*j - 26. Is 26 a factor of j?
True
Let h(c) = 4*c + 12. Let f be (-20)/(-6)*3/2. Suppose 5*l + 20 = f*d, 0 = -d + 5*d - 3*l - 21. Does 15 divide h(d)?
False
Let k(f) = 25*f + 2. Let m be k(2). Let a be 1/(212/m - 4). Let w(y) = y**2 - 11*y - 15. Is 10 a factor of w(a)?
False
Let i = -5 - -2. Let u be 3/2 - i/6. Suppose u*v = -z + 288, v + 4*z + 268 = 3*v. Is v a multiple of 31?
False
Suppose 35*v + 3*a + 642 = 38*v, -5*a = -v + 222. Is v a multiple of 20?
False
Suppose -9*j + 7*j = -500. Does 6 divide j?
False
Suppose 5*n = -4*m - 51, 3*n + 10 + 28 = 5*m. Let f(w) = w + 26. Does 5 divide f(n)?
True
Let s = 1362 - 949. Does 50 divide s?
False
Suppose -3*n - n + 3*y + 14 = 0, -10 = -2*n + 3*y. Suppose 2*a - 5*o = -8*o + 20, a - n*o = 17. Does 8 divide a?
False
Let z be 334/4*1*-2. Let o be (27/2)/9 + (-950)/(-4). Let a = z + o. Does 24 divide a?
True
Suppose 0 = -3*o - 2*o, 5*i - 15 = 4*o. Suppose -i*r + r = 4. Is r/(-4) + (-138)/(-4) a multiple of 12?
False
Let k(s) = 3*s**2 - 3*s. Let q(h) = 7*h - 3. Let a be q(1). Is k(a) a multiple of 12?
True
Let i(j) = -j**3 - 4*j**2 - 3*j - 12. Let v(p) = p**2 - 12*p + 16. Let t be v(11). Suppose 5*c + 30 = -s, -4*s = 3*c - 6*c + t. Does 14 divide i(s)?
True
Let p(x) = -6*x**2 - 2*x + 2. Let v be p(-2). Let q be (-686)/v - (-24)/(-216). Suppose 54 = 4*k - 2*d, 5*k - d - q = 2*k. Is 3 a factor of k?
False
Let c = -112 + 113. Let f(b) = 14*b - 4. Does 5 divide f(c)?
True
Let d(c) = c**3 - 7*c**2 + 6*c - 8. Let k be d(6). Let t(q) = -5*q - 10. Let m(j) = -14*j - 29. Let l(u) = -2*m(u) + 7*t(u). Does 25 divide l(k)?
False
Let y(j) be the second derivative of j**4/12 + 2*j**3/3 - 5*j**2 - j. Suppose 5*d = -46 + 6. Is 6 a factor of y(d)?
False
Let v be (-6)/(3/(-1))*(1 - -7). Let p = 42 + v. Is p a multiple of 35?
False
Let n(t) = t + 9. Let r be n(-9). Let k(i) = 2*i**2 + 2 - 5*i**3 + 2*i + r*i**3 - 1. Does 6 divide k(-1)?
True
Suppose 5*n = -3*h + 577, h + 2*n - 91 = 102. Is h a multiple of 21?
True
Let h be (-8)/16 + 11/(-2). Let t(q) = -q**3 - 2*q**2 + 3*q - 6. Is 28 a factor of t(h)?
False
Suppose -2862 = 9*f - 13392. Is f a multiple of 39?
True
Let o(p) = -p**2 - 7*p - 4. Let b be o(-4). Suppose -4*z + 2*f + b = 0, 5*f - 19 - 5 = -z. Does 4 divide z?
True
Let r be 3/1 - 9/(-3). Suppose -2*q = -d + 20, 0 = -q - q + r. Suppose -4*v + 6*v = d. Is v a multiple of 7?
False
Let m(n) = -n**2 + n. Let y be m(-1). Let w = y + 4. Suppose 42 = w*k + k. Does 13 divide k?
False
Suppose 8 - 22 = -7*o. Does 22 divide (158*2/8 - 2)*o?
False
Suppose 0 = -6*h + 5 + 1. Is 11 a factor of h/3*((0 - -364) + -1)?
True
Let h(i) = i**3 + 7*i**2 + 11*i + 7. Let p be h(-5). Suppose -8*b + 48 = -p*b. Is b a multiple of 4?
True
Suppose 1050 = -0*i + 7*i. Is i a multiple of 30?
True
Let s(t) = t**2 + 20*t + 17. Let p be s(-15). Let a = 144 + p. Suppose -49 = -5*f + a. Does 15 divide f?
False
Let j = 57 + -67. Let n(l) = 3*l**2 + 28*l + 20. Is 10 a factor of n(j)?
True
Suppose 6*x - 225 = -3. Is 2 a factor of x?
False
Suppose 0 + 6 = -2*n. Let q = 7 - n. Is (44/5)/(q/50) a multiple of 12?
False
Let v(m) = -m**3 + 4*m**2 + 3*m - 6. Let n be v(4). Let u = n - 3. Suppose -4*r - 12 = -2*y, u*y - 2*r - r = 30. Does 7 divide y?
True
Suppose -5*o - 767 = -3*z + 309, 1094 = -5*o - 3*z. Let h = 424 + o. Is h a multiple of 8?
False
Let z = 16 - 21. Let k be 2/(-10) + (-1)/z. Suppose k*j + 5*j - 40 = 0. Is j a multiple of 8?
True
Suppose 18*g = 42 + 120. Suppose -3*t - g = -279. Is 11 a factor of t?
False
Let l = 1556 - 1027. Is 23 a factor of l?
True
Suppose 4*v - v = 6. Suppose v*w - 161 = -5*k, 2*w = 4*w + 4. Suppose 32*a + 34 = k*a. Is a a multiple of 17?
True
Let r = 667 + 405. Is r a multiple of 16?
True
Suppose -i - i + 4 = 0. Suppose 0 = i*r - 0*r - 6. Suppose 0*n + 6 = -2*n, r*y - 5*n - 135 = 0. Is 15 a factor of y?
False
Is 792 + (-8 + 5)/(-3) a multiple of 19?
False
Suppose -d - 105 = 2*d. Let y = d - -42. Is y a multiple of 2?
False
Let o be 10/2 - (-4)/4. Let a(j) = j**3 - 5*j**2 + 10*j - 8. Let u be a(o). Let t = -56 + u. Does 9 divide t?
False
Suppose -3*o - 3 + 22 = 4*m, 3*m - 12 = 0. Suppose 4*s - 3 = 3*i + 11, -s = -5*i - 12. Does 4 divide 1/(s/8)*o?
Tru