- q + 1020. Is 17 a factor of q?
True
Let m(y) = -y**2 - 3*y + 3. Let k = -39 + 36. Let d be m(k). Suppose r - 19 = 5*g, -g + 4 = -d*r + 19. Is r a multiple of 4?
True
Let n = -202 + 252. Suppose -16 = -3*x - 0*m - 4*m, 5*m + n = 5*x. Does 3 divide x?
False
Let l = -8 - -113. Let m be 44/10 + 4/(-10). Suppose -m*q - 12 = 0, l = 7*p - 2*p - 5*q. Is 6 a factor of p?
True
Suppose -v - 6*z + 11582 = 0, -2*v = -7*v + 2*z + 58006. Is v a multiple of 20?
True
Suppose -24 + 74 = 10*p. Suppose l - 2 = 2*t + 3*l, p*t - 1 = -3*l. Is 3 a factor of (-1 + 3)*3/t?
True
Is (-3 - (20 - 39)) + 2609 a multiple of 75?
True
Let k(s) be the second derivative of -s**5/10 + s**4/4 - s**3/6 + 23*s**2/2 + 132*s. Does 10 divide k(-6)?
False
Is 3 a factor of (-1984)/(-12) + (-6)/18?
True
Let m be (0 + 0)*(-2)/(-4). Suppose 44 = -4*o - 4*q, m*q - 26 = o + 4*q. Is 425/10 + o/(-4) a multiple of 11?
True
Is 84 + -105 - 1*-22341 a multiple of 49?
False
Suppose 22*t - 111264 = 10*t. Is t a multiple of 18?
False
Suppose -137*m = -984701 - 177607. Is m a multiple of 110?
False
Suppose 0 = -73*n + 94137 + 10698 - 3657. Does 21 divide n?
True
Let m = 49 + -46. Suppose -m*i - i + 2*l - 16 = 0, 0 = 2*i - 3*l + 16. Does 12 divide 4 + 315/(1 - i)?
False
Let i be 3/((-36)/8)*(-69)/1. Let n = 48 - i. Suppose 0 = -5*o - n*o + 672. Does 16 divide o?
True
Let x(t) = -t**2 - 57*t + 34. Is 49 a factor of x(-52)?
True
Suppose 15*c - 53661 = 21948 + 11706. Is 4 a factor of c?
False
Let v = 4161 - 2384. Is v a multiple of 10?
False
Let g be (-36)/(1 - 5) - 5. Suppose -213 = -3*s - g*v, 1 = s - 5*v - 89. Is 3 a factor of s?
True
Suppose 8*l + 255960 = 24*l + 20*l. Does 158 divide l?
True
Suppose -2 = 8*s - 58. Suppose -8*b = s + 73. Does 14 divide (4/(-6))/(b/(-15)) - -15?
True
Does 48 divide (96/(-18) - -8)*1119 - -5?
False
Suppose -206738 - 35284 = -166*y + 188084. Does 66 divide y?
False
Is 21 a factor of 0 - (9628/(-2) - (3 + -8))?
True
Let o(a) = a**2 + a. Let s be o(-2). Suppose -223 = -5*r - s*l + 546, 2*r - 4*l = 298. Suppose 3*t + k - 82 = 0, -r + 15 = -5*t - k. Is t a multiple of 4?
True
Suppose -3*y - 31*y - 43536 = -343212. Is 226 a factor of y?
True
Let h(u) = 3*u**3 + 7*u**2 + 3*u + 4. Let d be h(-2). Suppose 0 = -3*l - d*i - 103, -2*l - 3*i + 38 = -3*l. Does 6 divide (180/(-21))/(5/l)*2?
True
Let s(j) = -j**3 - 16*j**2 - 29*j. Let b be s(-14). Suppose -27*p = -b*p - 17680. Does 68 divide p?
True
Let z be (4/14)/((-3)/(-63)). Suppose z*j - 43*j = -5032. Does 8 divide j?
True
Suppose -1557*q = -1522*q - 105910. Is 34 a factor of q?
True
Suppose 8*u + 19 + 5 = 0. Let s(q) = 9*q + 36. Let i(t) = 9*t + 35. Let y(b) = u*s(b) + 2*i(b). Is y(-15) a multiple of 52?
False
Suppose -15*z - 88 = -178. Suppose 0 = z*y - 2751 - 2469. Does 29 divide y?
True
Suppose 0 = 12*j + 26 - 86. Let w(r) = -r**3 + 5*r**2 - 6*r - 3. Let g be w(j). Does 48 divide (1 + g)/(((-8)/(-30))/(-2))?
True
Does 73 divide (-2*2)/((-15543)/(-15565) + (-3 - -2))?
False
Let i(l) = l**3 + 5*l**2 + 2*l + 2. Let o be i(-2). Let k be (-4 + 945/o)*-2. Let q = k + 311. Is 13 a factor of q?
True
Suppose -10*h = 16*h - 104. Suppose -h*n = -25 + 1. Is 6 a factor of n?
True
Let a = -110 - -123. Let p(i) = i**3 - 12*i**2 - 10*i + 1. Is p(a) a multiple of 8?
True
Let o = 8694 + -5189. Is 5 a factor of o?
True
Suppose -10*q = 5*q + q. Let t(d) = -d - 5 + 6 + 6. Does 6 divide t(q)?
False
Suppose -407*q + 439405 = -708742. Is q a multiple of 91?
True
Let j(h) = -h**2 + 3*h + 332 + 9*h**2 - 2*h + 38 + 494. Is j(0) a multiple of 11?
False
Let m = 38 - 36. Suppose 8*j - 2*j + m*j = 0. Suppose 0 = 4*n + 8, -2*b - 3*b + 2*n + 434 = j. Is 43 a factor of b?
True
Suppose 6*c + 140 = -c. Is 884/10 + 8/c a multiple of 12?
False
Suppose 0 = 6*m - 44 - 58. Suppose -m = -5*r - 2*w, 3*r + 0*w - 2*w - 7 = 0. Suppose -54 = -3*a - r*t, -a + 0*t + t + 26 = 0. Is 4 a factor of a?
False
Suppose -4*q = -3*z - 21338, -16*q = -13*q - 5*z - 16020. Is 11 a factor of q?
False
Let c = 582 + 2187. Suppose 6*l - c - 1881 = 0. Does 25 divide l?
True
Let l = -4 + 3. Let j(y) = 84*y**2 - y - 5. Let s(d) = -85*d**2 + 2*d + 7. Let c(n) = 4*j(n) + 3*s(n). Is 40 a factor of c(l)?
True
Suppose 3*u - 14*u + 946 = 0. Suppose -6*l = -130 - u. Is 12 a factor of l?
True
Suppose m + 5*n + 1012 = 5*m, -5*m - 2*n = -1265. Let x = m + -19. Does 18 divide x?
True
Suppose -1328 = -z - 4*f, 6*f - 6659 = -5*z + 5*f. Is z a multiple of 12?
True
Let t be (-3573)/(-13) + 19/(1482/12). Suppose -2*b + 0*c + c - 230 = 0, 0 = 4*b + 2*c + 476. Let i = t + b. Does 6 divide i?
False
Suppose 6*u = 7*u - 755. Let v = u - -2036. Suppose 895 - v = -6*n. Is 26 a factor of n?
False
Let m(c) = -2558 - 3*c**2 + 2553 + 2*c**2 + 25*c. Does 6 divide m(4)?
False
Suppose 0 = -0*q + 5*q + 125. Let p = -25 - q. Suppose 3*t - 64 - 11 = p. Is 5 a factor of t?
True
Suppose -2*g + 14 = 10. Suppose 300 = 4*r + g*x, 0 = -r + 5*x - 0*x + 97. Is 13 a factor of 2*(r/2 - 8/4)?
False
Suppose 0 = 2*d - b - 7464, -5*d + 22397 - 3737 = -5*b. Suppose -8*x - 1188 = -d. Is x a multiple of 34?
False
Suppose 0 = -14*y + 23*y - 27. Suppose 0 = -y*z + 294 - 33. Is 7 a factor of z?
False
Suppose -3*m = 10*u - 14*u + 59, m = -5*u + 12. Does 11 divide (-4)/8*3718/m?
True
Let x = 1045 - 850. Does 22 divide x?
False
Suppose -236 - 380 = -7*t. Let l be (-1)/3 + t/(-24). Is 0/l - 0 - -40 a multiple of 40?
True
Let x(n) = n. Let s be x(-4). Let y(i) = 19*i**2 - 4. Let u be y(s). Suppose -3*q + u = -z, 3*q = -6*z + 2*z + 315. Is 9 a factor of q?
False
Suppose -b - 7 = -11. Suppose b*v = -1 + 17. Suppose 3*j + 2*j = -2*x + 74, -5*j - v*x = -78. Does 5 divide j?
False
Let p = -31 - -41. Suppose p*g + 12 = 13*g. Suppose -q - 1249 = -g*a - a, -4*a + 992 = q. Is a a multiple of 37?
False
Suppose 0 = -p - 4*r + 10, 4*p + 0 = 5*r + 19. Suppose 0 = -p*k + 2333 + 907. Is 18 a factor of k?
True
Suppose -54 = 16*i - 14*i. Let q = i + 105. Let v = q + -25. Is v a multiple of 7?
False
Let w(s) = 2*s**2 + 51*s + 63. Let p(n) = n**2 + 25*n + 32. Let r be 3 - (21/(-35) + 21/(-15)). Let v(b) = r*p(b) - 2*w(b). Is 8 a factor of v(-22)?
False
Suppose 6 = 3*i + 42. Let c(b) = b**3 + 12*b**2 + 6*b - 3. Let g be c(i). Is 25 a factor of g*(3 + (-39)/9)?
True
Let u = -87 - -171. Does 38 divide ((-1026)/(-4))/(63/u)?
True
Let x(r) = r**3 - 5*r**2 - 6*r - 42. Let v be 6*9/12*(11 + -9). Is 10 a factor of x(v)?
False
Let w(u) = u**3 - 2*u**2 - 2*u + 12. Let d be w(4). Let n(r) = -6*r**2 + d*r**2 + 69*r - 31*r - 34*r - 3. Is n(1) a multiple of 12?
False
Suppose 3*o + 29 + 166 = 0. Let g = o + 69. Suppose -g*l = -15*l + 803. Is l a multiple of 18?
False
Suppose -32 = 19*z - 27*z. Suppose 3*m = q - 759, z*m - 2035 = -2*q - 557. Is q a multiple of 9?
True
Let u(p) = 505*p**2 + 92*p + 293. Does 64 divide u(-3)?
False
Suppose -951 = -4*n + 301. Let s = -112 + n. Is 3 a factor of s?
True
Suppose -2*h + 952 + 10 = 4*f, 0 = -2*f + h + 483. Let x = f + -97. Is 10 a factor of x?
False
Let g(o) = -22 - 28*o**2 - 12*o**3 + 30*o**3 - 16*o**3 + 9*o. Does 26 divide g(14)?
True
Is (-63*(-25)/875)/((-6)/(-1480)) a multiple of 111?
True
Let l(m) = -174*m - 159*m + 446*m + 4. Does 5 divide l(1)?
False
Let p(t) = 3*t - t - 5*t + 4*t. Let d be p(9). Suppose -d = -2*u + 5*v + 60, 0 = 4*u - 4*v - 132. Is 17 a factor of u?
False
Let a(s) = -33*s**2 + 7*s + 5. Let u(f) = 15*f**2 - 4*f - 3. Let c(m) = -6*a(m) - 13*u(m). Does 38 divide c(9)?
True
Suppose -3*t + k + 1 = 0, 0 = 4*t + 2*k - 5 + 7. Suppose t = -6*v + 976 - 46. Does 54 divide 1 + -1 + -4 - (4 - v)?
False
Let c(j) = 10*j**2 + 271*j - 2068. Is 10 a factor of c(8)?
True
Suppose 10260 = 4*t + 4*t + 2*t. Does 18 divide t?
True
Let i = 46 - 43. Let j be -2 - -3 - 3/(i/(-1)). Suppose 3*r + r - m = 94, -j*r = -m - 48. Is 3 a factor of r?
False
Suppose 18*l - 9*l - 125645 = -42260. Is 17 a factor of l?
True
Let w(x) = x**3 - 12*x**2 - 2*x + 15. Let n be w(12). Let c be 2*(-17)/n + 16/72. Let f = c - -17. Does 2 divide f?
False
Let s = 45237 + -26189. Does 87 divide s?
False
Suppose 32*t = 3*l + 28*t - 3156, 2*t = 5*l - 5260. Suppose 8*w + l - 2772 = 0. Does 10 divide w?
False
Suppose -4*s - 3 = -o, -34*o = 2*s - 31*o - 9. Suppose -2*i - 4*h + 67 + 25 = 0, i - 2*h - 66 = s. Is 9 a factor of i?
False
Let u(w) = 138*w + 79. Suppose 4*y - 12