(5 - -13) + -3*4/6. Suppose -2*w + 18 = -y. Is 17 a factor of w?
True
Suppose 11*b = 12*b + 2. Is (0 - -114) + b/1 a multiple of 14?
True
Suppose 4*n = 3*m + 1209, -15 + 0 = 5*m. Suppose -w = 4*w - n. Is w a multiple of 15?
True
Suppose c - 14 = -4*o, -13 - 5 = -5*o - c. Let a be o/14 + 4260/35. Suppose 0 = -5*b + 2*q + a, 3*b - 37 = -q + 45. Is 26 a factor of b?
True
Let m = -6 - -1. Let u = m - 31. Let t = -21 - u. Is t a multiple of 14?
False
Suppose -7 + 1 = 3*c. Is 25 a factor of 3 + (44 + 1 - c)?
True
Suppose 0 = 26*z - 1505 - 18619. Is z a multiple of 18?
True
Let o = 31 + -35. Let p(b) = -5*b - 6. Does 14 divide p(o)?
True
Let f(b) = -2*b**2 - 10*b + 2. Let z(x) = 3*x + 10. Let a be z(-5). Let r be f(a). Suppose -o + w = -r, -2*o - 3*w + 8 = -4*w. Does 3 divide o?
True
Let i = -371 - -515. Is i a multiple of 6?
True
Suppose 0 = -292*m + 297*m - 3830. Does 19 divide m?
False
Let b be -2 - -5 - (-13)/((-2)/(-2)). Does 6 divide b/(-4) + (-2 - -24)?
True
Is 16/(-2) - (95 + -1126) a multiple of 92?
False
Let s(q) = -176*q + 11. Does 11 divide s(-1)?
True
Suppose -19*s - 4 = -18*s. Let x be 3/(-6)*3*s. Is -2 - x/(6/(-133)) a multiple of 19?
False
Let r = 2261 - 1227. Is r a multiple of 11?
True
Suppose 4*k - 2*k - 4*i = 10, -4*k = -2*i - 2. Let x(c) = 101*c**2 + 1. Let a be x(k). Suppose 4*w - 2*w - a = 0. Is w a multiple of 17?
True
Let g(r) = r**3 - 2*r**2 + 3*r - 5. Let s be g(2). Is 7 a factor of 2 + 15 + (0 - s)?
False
Let v = 180 - -388. Does 47 divide v?
False
Suppose 2*b = 7*b + 70. Let x = -16 - b. Let k(o) = -9*o - 3. Is k(x) a multiple of 5?
True
Let k = -81 - -55. Let h be 151/(-3) - 1/(-3). Let v = k - h. Is 16 a factor of v?
False
Let d(r) = 2*r**2 - 45*r + 1. Let l be d(23). Suppose 3*i + 3*h = 4*h + 4, 0 = -2*h - 8. Let p = i + l. Is p a multiple of 6?
True
Let p = 224 - -26. Does 25 divide p?
True
Suppose 0 = 3*v - 20 - 52. Let o = -11 + v. Is 13 a factor of (o/(-2))/((-4)/24)?
True
Let u(c) = c**2 + 2*c. Let y be u(-2). Suppose -n - n + 256 = y. Does 32 divide n?
True
Let n = 22 - -84. Let o be 3 + 4/((-8)/n). Is 1/((-5 - -3)/o) a multiple of 8?
False
Suppose -5*j = z - 7, 0 = -4*z - 0*z + j + 91. Suppose 0 = -x - 3*h + 40, h + z = 2*x - 51. Does 5 divide x?
False
Let o(b) = 3*b + 27. Let k be o(-9). Suppose 5*l - 370 = -k*l + a, -355 = -5*l + 4*a. Does 3 divide l?
True
Suppose 3*k - 5*b = 3001, -7*b = -3*k - 8*b + 3025. Is k a multiple of 18?
False
Let d be (-29)/(-9) - (-12)/(-54). Suppose -3*c = -15, 2*q - d + 5 = 4*c. Suppose 5*z = 3*x + 142, q*x - 4*x - 5 = 0. Does 12 divide z?
False
Suppose 7*s - 5 - 16 = 0. Suppose 49 = s*o + 13. Does 3 divide o?
True
Let w(n) = -n**2 + 14*n + 25. Let i = 20 - 5. Does 10 divide w(i)?
True
Let u = 934 - 332. Is 18 a factor of u?
False
Is 2 a factor of (-585)/(-390) + 1467/2?
False
Let w(m) = -3*m + 24. Let o be w(6). Is 109 + (14/10 - o/15) a multiple of 22?
True
Let g = -34 + 28. Is 17 a factor of 19/57 - 244/g?
False
Suppose 6*u - 4 - 8 = 0. Suppose -u*r - 4*r = 228. Let a = -25 - r. Is 13 a factor of a?
True
Is (-1)/(6*(-1)/9786) a multiple of 20?
False
Let r be 7 - (1 + (-3)/1). Let x = 15 - r. Is ((-8)/x)/(2/(-21)) a multiple of 7?
True
Suppose 0 = -w - 2*w + 192. Suppose 8 = 2*m - 0, -4*l - 56 = -2*m. Let n = w + l. Is 26 a factor of n?
True
Does 7 divide (-8)/(-1) - (81 - 129)?
True
Suppose 5*h - 18 = 3*h - 4*n, 0 = -h + n. Suppose -h*g + 25 = 67. Let s = g + 24. Does 10 divide s?
True
Suppose -41 = 7*j - 8*j. Let z = j - 34. Does 2 divide z?
False
Let u be -7*((-48)/28)/6. Suppose i = a - 0*a + 10, 20 = -4*a. Suppose 5*m = i*g - 5, 0*m - m = u*g - 14. Does 5 divide g?
True
Let l = 6 + 13. Suppose -l + 124 = 3*d. Suppose w = -j + 41, j + 3*w - d = -0. Is 11 a factor of j?
True
Let y be 3 + 0 + -6 + 3. Suppose 6*h - 10*h - 108 = y. Let p = -3 - h. Is p a multiple of 12?
True
Suppose 0 = 2*j + 368 - 1682. Is j a multiple of 59?
False
Suppose 225 = v + 4*u - 544, 4*u + 2355 = 3*v. Suppose 0 = 7*j - v + 25. Does 18 divide j?
True
Let t(k) = 4*k**2 + 22*k - 9. Is 20 a factor of t(-18)?
False
Suppose 5*j = 2*i + 35, -10 = -0*j - j + i. Suppose -45 = j*s + 3*v, 0 = s - v + 14 + 3. Let q = 18 + s. Is q a multiple of 3?
True
Let f = 765 + -575. Is f a multiple of 5?
True
Let t be (-3)/5 + 27/(-5). Let d be t/(-10) - 27/(-5). Let y = 10 + d. Is y a multiple of 6?
False
Let g(l) = l - 5. Let q be g(14). Suppose -14*n = -q*n - 25. Suppose 0 = n*b - 104 - 6. Is b a multiple of 22?
True
Let b(n) = 3*n**2 + 7*n + 1. Is b(6) a multiple of 18?
False
Suppose 2*t + 6 = 5*t. Suppose -t*j = -j - 32. Is 8 a factor of j?
True
Suppose 0 = -5*l - 0*l + 55. Let z(s) = -14*s**2 + 47*s - 32. Let u(p) = -9*p**2 + 31*p - 21. Let a(g) = -8*u(g) + 5*z(g). Is 17 a factor of a(l)?
False
Let v = 123 - 17. Suppose -2*h - v = -4*y - 36, -h + 3 = 0. Does 3 divide y?
False
Let n = -726 + 1077. Is 14 a factor of n?
False
Let i = 9341 + -6641. Is 12 a factor of i?
True
Suppose 3*n - 96*a - 644 = -101*a, -1062 = -5*n + 3*a. Does 6 divide n?
False
Suppose -16*k + 105 = 1449. Let d = -7 - k. Is 4 a factor of d?
False
Suppose 0 = w - 2, d + 12 = 2*w + 2. Let n(c) = c**3 + 7*c**2 + 3*c - 3. Let g be n(d). Let p = g - 1. Does 7 divide p?
True
Suppose 3*j - 2031 = 3306. Is j a multiple of 81?
False
Let a = 19 + 749. Is 64 a factor of a?
True
Let n = 400 - 143. Is n a multiple of 51?
False
Let u be (5 - 9)*(2 - -1). Is (15/u)/5 + (-309)/(-4) a multiple of 14?
False
Suppose v - 34 = 5*i, 3*v + 0*i - 3*i = 42. Is v a multiple of 5?
False
Let g be (3 - 2) + -1 - -12. Is 38 a factor of (226 + g/6)*(-1)/(-2)?
True
Is 41 a factor of (-16)/((-112)/3729) + 4/14?
True
Let d(l) = l**2 - 15*l - 13. Let h = 19 - 7. Let b be d(h). Let n = 83 + b. Is 12 a factor of n?
False
Suppose y - 13 = -5*c, -6*c + c + 20 = 0. Suppose 0 = -2*f + 3*o - 134, 4*f - 2*o = 5*f + 60. Is (y/4 - -1)*f a multiple of 12?
True
Let m(o) = 46*o - 18. Let g be m(6). Suppose 0 = -3*v - 4*f + g, -5*f + f = -v + 86. Is 24 a factor of v?
False
Suppose 80 = -4*y - y. Let d = y + 84. Is d a multiple of 5?
False
Let h(p) = 252*p - 1. Let j be h(1). Suppose -4*i - j = -5*m + 4*m, -4*m + 4*i + 1040 = 0. Let q = m - 188. Is q a multiple of 15?
True
Let n(o) = o**2 - o. Let x be n(-1). Suppose -5*f - x*w + 134 = 0, -3*w = 2*f - 6*w - 46. Does 21 divide f?
False
Let d(v) = v**2 + 6*v + 3. Let z be d(-5). Is 634/22 - z/11 a multiple of 14?
False
Let u = -3839 - -5762. Does 11 divide u?
False
Suppose -4*v = -9*v - 100. Let j be v/(-6)*24/10. Suppose -260 = -j*q + 4*q. Is q a multiple of 13?
True
Let p(t) = -t**2 + 9*t - 3. Let u be p(8). Suppose 2*m - 4 - 56 = -2*v, -2*m + 45 = u*v. Does 13 divide m?
False
Is 3 a factor of 1/(-3)*(-168)/4?
False
Suppose 703 = 5*k - 5*y - 1222, 0 = 5*k - 4*y - 1928. Is k a multiple of 25?
False
Suppose 19*t = 14*t + 1770. Is t a multiple of 27?
False
Suppose -2*a + 1 + 6 = 3*c, -4*a - 21 = -c. Let n(u) = 12*u**2 - 10. Does 16 divide n(a)?
False
Let y be (-10)/(-45) - 50/(-18). Let k = y + -16. Let b = 23 - k. Does 12 divide b?
True
Suppose -2*m + 14 = n, -2*n = -n - 5*m + 21. Suppose -4*o + 4*b = -n, 0*b + b + 1 = 5*o. Suppose 5*q + 0*a - 2*a - 352 = o, 5*q - 353 = 3*a. Does 14 divide q?
True
Let c = 3 - -2. Suppose 0*n - 5*q + 630 = 2*n, c*n = 2*q + 1575. Is 3/6 - n/(-6) a multiple of 14?
False
Let o = 31 - 31. Suppose -6*l - 117 + 525 = o. Does 17 divide l?
True
Let z = 2096 - 1421. Is z a multiple of 75?
True
Let m = -66 + 51. Let b = 110 - m. Is b a multiple of 25?
True
Suppose 0 = -4*k - q + 5860, 12*q = -3*k + 9*q + 4404. Is 12 a factor of k?
True
Let t(p) = -2*p**3 - 16*p**2 - 21*p - 5. Does 28 divide t(-7)?
False
Let h(v) = 35*v**2 + 10*v + 112. Is 26 a factor of h(-7)?
False
Let t be -6*(3 + (-22)/6). Let l = -5 + t. Is 2/(15/12 + l) a multiple of 8?
True
Let c be (-2)/4*(-2 - 6). Suppose 174 = 2*y - 4*w - 48, 4*w + 585 = 5*y. Suppose 1 + 2 = -3*k, c*o - k = y. Is 10 a factor of o?
True
Suppose -385*g - 432 = -386*g. Is 9 a factor of g?
True
Let b(u) = -u + 37. Suppose -12 = -3*m + 15. Does 14 divide b(m)?
True
Let y(q) = -183*q - 80. Does 14 divide y(-4)?
False
Is 15 a factor of (-157)/471 - 2*(-991)/6?
True
Suppose 3*m + 16*n = 13*n + 4794, -3*m + n = -4790. Is 17 a factor of m?
False
Suppose -5*v - 5*a = -4*v - 129, -4*v - 4*a = 