 = -w*d. Is 5 a factor of i?
False
Suppose -366*h + 369*h = -3*u + 6480, 5*u + 8658 = 4*h. Is 6 a factor of h?
False
Suppose -4*y + f = 33 + 7, -3*y - 5*f - 53 = 0. Let v = y - -14. Suppose 3*o + l - 100 = v*l, 75 = 3*o + 3*l. Is 17 a factor of o?
False
Suppose -7607 = -4*u + 3*o, -u + 5*o = -810 - 1079. Does 17 divide u?
True
Let h(m) = -m + 2. Let x be h(-1). Let q = 12 + x. Let i = 21 - q. Is 2 a factor of i?
True
Let q(g) = -g**3 + 7*g**2 + 9*g - 4. Let o be q(6). Suppose -3*v + 3*w = -2*v - 13, -4*v - 5*w = -o. Is v a multiple of 19?
True
Let k be (-255)/25 + (-3)/30*-2. Let i(f) = -11*f**2 + f - f**3 - 18*f - 5 - 8 + f. Is 15 a factor of i(k)?
False
Suppose -h + 32 = -3*h. Let d = -5 - h. Is d a multiple of 11?
True
Let g = 125 + -125. Suppose -5*q = -3*q - 4*p - 88, -q - 4*p + 44 = g. Is q a multiple of 10?
False
Let c be 1 + -1 + (-12)/(-3). Suppose 0 = k + 5*f - 64, 11 = -c*k - 2*f + 339. Suppose 0 = -n - 2*n + k. Is 14 a factor of n?
True
Let u(j) = j**3 - j**2. Let o be u(2). Suppose o*b = -3*c - b - 74, 0 = -c + 4*b - 36. Is 12 a factor of (-3 - c)/1 - 1?
True
Suppose l = 5*s - 1834 - 420, -4*l + 884 = 2*s. Suppose -s = -5*q + 5*k, -3*k = -4*q + 2*k + 362. Does 22 divide q?
True
Let i(d) = 66*d**3 + 2*d + 127 - 33*d**3 - 32*d**3 - d**2. Does 20 divide i(0)?
False
Suppose 18*b - 2578 = 18770. Is 64 a factor of b?
False
Let m = -99 + 102. Suppose -14*t + 2006 = m*t. Does 59 divide t?
True
Let n = -112 - -134. Let f = 40 + 54. Suppose -n = -4*l + f. Is 24 a factor of l?
False
Let b = 2741 - 2208. Does 3 divide b?
False
Let w = 13 - -74. Is 17 a factor of w?
False
Is (3/(-2))/(((-66)/6900)/11) a multiple of 23?
True
Let l(y) be the second derivative of -y**3/3 + y**2 + y. Let h be l(3). Let j(d) = 4*d**2 + 2*d - 6. Does 8 divide j(h)?
False
Suppose 11*q = 101 + 339. Suppose 36*c + 16 = q*c. Is 2 a factor of c?
True
Let x = -10 - -9. Let b(y) = -y + 1. Let v(d) = 4. Let t(m) = x*v(m) + 4*b(m). Is t(-4) a multiple of 4?
True
Let o = -17 - -67. Suppose 4*n - o = 54. Does 2 divide n?
True
Suppose 5*q - 4*t = -65, -5*q - 3*t - 21 = 9. Does 18 divide -1 + (-3)/(q/327)?
True
Let t(y) = 1832*y - 19. Does 65 divide t(1)?
False
Let t = -14 + 16. Suppose -3*p = -t*s - s - 93, 2*p = -3*s + 42. Is p a multiple of 9?
True
Let h = -165 + 105. Is (0 + h)*360/(-75) a multiple of 32?
True
Suppose n = -n + 20. Let a = n + -3. Is a a multiple of 3?
False
Let p = 38 - 49. Is 2/p + (-4275)/(-99) a multiple of 12?
False
Suppose -18*h + 4 = -16*h. Suppose -5*v - 176 = -4*l, 2 - 108 = -2*l - h*v. Is 11 a factor of l?
False
Suppose 0*q - q - 698 = -2*i, 0 = -i + 2*q + 349. Suppose 5*s + 246 + i = 0. Let o = -67 - s. Is 13 a factor of o?
True
Let i = 287 - 207. Is i a multiple of 16?
True
Suppose -7*x - 6 = -4*x. Does 15 divide 10*x/((-8)/22)?
False
Let x(w) = 2*w**2 - w - 7. Let q be x(-3). Suppose -294 = -q*j + 7*j. Does 14 divide j?
True
Suppose -4 = -5*g + 11. Let s(p) = 6*p - 5 - 2*p + 2*p - g*p. Is s(7) a multiple of 7?
False
Let q(s) = -7*s**3 - 23*s**2 + 11*s - 42. Let t(n) = 4*n**3 + 12*n**2 - 6*n + 21. Let z(v) = -3*q(v) - 5*t(v). Does 16 divide z(-9)?
True
Let h be (10/(-25))/((-1)/50). Suppose -h*m + 155 = -15*m. Does 4 divide m?
False
Let m = -7 + 0. Let a be 3/(-6)*(m + 1). Suppose 0*k = -3*k + a*i + 105, k - 3*i - 33 = 0. Does 18 divide k?
True
Let l = -35 + 20. Let d(m) = 14*m + 497. Let z be d(-33). Let n = l + z. Does 8 divide n?
False
Suppose 3*x - 4*f + 30 = -f, 3*x + 2*f + 5 = 0. Let l be (6/x)/(11/55). Does 7 divide -123*(-1 + (-4)/l)?
False
Let k = 146 - 10. Is k a multiple of 23?
False
Let k be ((-6)/32*-92)/(6/(-16)). Let b = k - -59. Does 13 divide b?
True
Suppose 6 = -r + 2*r. Suppose -114 - 126 = -r*a. Is a a multiple of 10?
True
Let i(n) = -16*n**3 - 3*n**2. Let a be i(-2). Let p be (249/(-15))/((2/2)/(-5)). Let b = a - p. Is 33 a factor of b?
True
Let f(s) be the second derivative of 11*s**3/2 + s**2/2 + 18*s. Does 50 divide f(3)?
True
Suppose 30*p + 28*p - 66816 = 0. Does 9 divide p?
True
Let v be (12/10)/(14/35). Suppose 5*b = 3*z + 3, v*b - 5*z - 4 = -z. Suppose b = 3*h + 15, k - 28 - 15 = -5*h. Is k a multiple of 15?
False
Suppose 0 = -x + 4*x. Suppose -5*q - 4 + 74 = r, x = 5*q - 15. Does 14 divide r?
False
Suppose -j + 2 = -2. Let v = 20 + j. Is (-732)/v*-1*2 a multiple of 24?
False
Let w be (2 - -1)/(12/92). Suppose -37 = -q + w. Does 10 divide q?
True
Suppose 9 = -5*h + 3*h + i, 3*h - i = -12. Let d be 5 + h - (-6)/2. Suppose 81 = -d*s + 241. Is 14 a factor of s?
False
Suppose -3*a + 8*a = 25. Let w(k) = 2*k + 5. Is 15 a factor of w(a)?
True
Suppose -t = h + 15, t = 2*h + 3*h + 3. Let p be 3/t*2*0. Is 54 + (p - (0 - -1)) a multiple of 8?
False
Suppose -7 = -5*b + 4*x - 81, x + 13 = -b. Let z = 3 - b. Is 4 a factor of z?
False
Suppose -17*i + 4*z = -12*i - 5138, 0 = z + 2. Is i a multiple of 8?
False
Let p be (-1)/((-4)/24) - -48. Let g = 6 - 0. Suppose g*h - 168 = -p. Does 10 divide h?
False
Suppose 4 = 2*f - 4*f + 4*b, 0 = b - 4. Is 3 a factor of (-2)/(((-16)/f)/4)?
True
Suppose -d - 4*b = -5, -2*b - 25 = -5*d + 2*b. Suppose -d*n - 64 = -244. Let f = n + -19. Does 6 divide f?
False
Let u(y) = -7*y + 8*y + 10 + 3*y. Let i be u(-6). Let a(o) = o**3 + 15*o**2 + 12*o - 18. Is 10 a factor of a(i)?
True
Suppose d - 4 = 2*f - 63, 83 = 3*f + 4*d. Let c = -144 + 224. Let r = c - f. Does 17 divide r?
True
Suppose 20*w = 14955 + 19645. Suppose -w = -16*l + 1630. Is 6 a factor of l?
True
Let z(t) = 8 - 5*t + 4*t + 1. Let u be z(9). Is 2 a factor of 8 - (1 + u - -1)?
True
Is 2677 + -3 + (-1 - -1) - 2 a multiple of 32?
False
Is 338/(-2)*(7 - 15) a multiple of 91?
False
Suppose -8*o + 4*o + 28 = 0. Suppose -o*m = -2*m - 35. Does 7 divide m?
True
Let n be 4/(-2)*(-279)/18. Let j = n + -10. Is j a multiple of 3?
True
Let v(a) = -29*a - 7*a + 40 - 7 - a**2 + 14*a. Is v(-18) a multiple of 15?
True
Is 8 a factor of (-113 + 787)/(2/(15 - 1))?
False
Suppose -1180 = -5*r - 2*g, 6*g - 451 = -2*r + g. Let j be r/(-26) - (-2)/13. Let k = j - -26. Does 4 divide k?
False
Suppose 16 - 10 = 3*l. Suppose 5*h + l*b = 1030, 5*h + b = h + 827. Does 13 divide h?
True
Let l = 35 - 16. Let i = -7 + l. Is 2 a factor of i?
True
Let m be (-28)/(-21)*6/4. Suppose 0 = p + 5*b + 2, m*b - 3*b - 34 = 5*p. Is (7 + -10)*p/3 a multiple of 5?
False
Let v = -1 - -4. Suppose 3*h = -2*c - 2, 4*c = -h + v*c. Let r(u) = -3*u + 1. Is 7 a factor of r(h)?
True
Suppose 586 = 6*m - 2654. Suppose -5*k + m = k. Is 10 a factor of k?
True
Let m = -263 - -439. Suppose -m = -2*f + f. Let i = -122 + f. Is 18 a factor of i?
True
Let a(x) = -x**3 + 3*x**2 - 3*x - 3. Let y be a(2). Let g(n) = -n**3 - 4*n**2 + 5*n. Let m be g(y). Is 3 a factor of (m - 3/(-3))*6?
True
Does 76 divide 4/(16/(-36)) + 1149?
True
Let g be -1 + 0 - 2/2*-4. Suppose 9*h - 540 = g*h. Is 18 a factor of h?
True
Let p(d) = -6*d - 9. Let f be p(-5). Let r(x) = x**2 - 20*x + 19. Is 5 a factor of r(f)?
True
Suppose 9*d + 2796 = 13074. Does 34 divide d?
False
Let v(i) = 5*i - 4 + 10*i - 13*i + 2. Let t be v(3). Suppose 30 = 2*p + p - 3*d, t*d = 3*p - 31. Does 3 divide p?
True
Suppose 4*n - 17 = -u, -3*n - 2*n + 4*u - 5 = 0. Is (5 + -3)/(n/303) a multiple of 31?
False
Let q = 95 + -101. Let t(j) = 4 - 6 - 6 - 7*j. Is t(q) a multiple of 15?
False
Let v = -40 + 67. Suppose 7 = -5*d + v. Suppose -2*u + 212 = -d*y, 3*y - 77 - 241 = -3*u. Does 14 divide u?
False
Is 21 a factor of (-1 - 1 - 220/(-15))*9?
False
Let s be (-2)/16 + (-2338)/(-16). Suppose -3*y - 3*w + 195 = 0, -37 = 2*y - 5*w - s. Is 17 a factor of y?
False
Let f = 339 - 13. Is 19 a factor of f?
False
Let g(n) = 591*n**2 - 7*n + 5. Does 30 divide g(1)?
False
Let a be 12 + (2 - (-2 - -5)). Suppose 5*v = 206 - a. Is 13 a factor of v?
True
Suppose 5*n + 6*u = u + 35, -3*u = 2*n - 18. Let g = n + 0. Suppose g*j - 26 = 19. Is j a multiple of 5?
True
Suppose -8 = -2*d - 0. Suppose 9 = -s + d*s. Does 2 divide s?
False
Let z(a) = 49*a**2 + 10*a + 21. Let x be z(6). Let r(k) = k - 4. Let g be r(0). Is g/14 - x/(-63) a multiple of 7?
False
Let u(h) = h**2 - 2*h - 10. Let n(j) = 4*j + 9. Let p be n(-4). Let m be u(p). Let z = m - 27. Is z a multiple of 13?
True
Let h be ((-655)/(-20))/(1/8). Suppose 7*o - 649 = 2*o - 3*z, 2*o - h = -2*z. Let w = -73 + o. Is 19 a factor of w?
