2*s - s - 5*b + 462 = 0. Suppose 3*v + s = 2*o, -119 - 231 = -5*o - 2*v. Does 2 divide o?
True
Let m be (-958 + 0)*1/(6/(-6)). Is m/(-20)*-8 - 16/(-20) a multiple of 48?
True
Let d = 828 - 414. Let s = d + 252. Suppose -49*i + s = -43*i. Is i a multiple of 37?
True
Suppose 5*b - 52426 = h, 118*h - 123*h - 20952 = -2*b. Is 10 a factor of b?
False
Suppose -g - 16202 = -4*z, -2*g - 11428 = -5*z + 8826. Does 150 divide z?
True
Suppose -2*h + 7514859 = 251*h. Is 11 a factor of h?
False
Is ((-36572)/3)/(6/(-9)) a multiple of 41?
True
Let t be ((-42)/(-6) - 6)*(-3 - -1088). Let u = t + -454. Is u a multiple of 9?
False
Suppose 5*t + 210 = 5*b - 0*b, 0 = -2*b - 4*t + 60. Let i(y) = -18*y**2 + 218*y - 66. Let a be i(11). Suppose -j - b = -a. Does 29 divide j?
True
Let y(h) = h**3 - 10*h**2 + 16*h + 7. Let p be y(8). Suppose 2*x - 183 = -3*k, x + 2*k - 59 = p*k. Is x a multiple of 21?
True
Let p = -8796 - -11441. Does 9 divide p?
False
Let v = 2282 + -1760. Is v a multiple of 18?
True
Let w(h) = 154*h**3 + 5*h**2 + 5*h. Let l be w(-2). Let o be l/(-4) + 10/20. Suppose -y + o = 4*m - 29, -2*m - 5*y + 181 = 0. Does 16 divide m?
False
Let x = -108 - -153. Let z = 254 + x. Suppose -3*j + 5*j - z = -s, 4*j - 605 = 5*s. Is j a multiple of 30?
True
Suppose u - 3*b = 342, 3*u + 326*b - 330*b = 1001. Does 6 divide u?
False
Suppose 4*g - 3*r - 107 = -14, 48 = 2*g - 2*r. Suppose -4*o + g = -127. Is o a multiple of 9?
False
Let l = -76 - -145. Let c be (0 - 1) + 2/2. Let k = l + c. Is 11 a factor of k?
False
Let u(a) = 8*a - 5 - 12*a + 19 - a**2 - a. Let q be u(-8). Does 52 divide 9/6 + (-1025)/q?
True
Let d = 7462 + -4702. Is d a multiple of 115?
True
Suppose z = -310 + 306, -3*z + 13534 = 2*j. Does 13 divide j?
True
Suppose -181*r + 180*r + 1217 = 0. Does 13 divide r?
False
Suppose -5*c - 38205 = -c + 3*l, 2*l + 38206 = -4*c. Does 10 divide 5/(4/10*(-120)/c)?
False
Let q(k) = 126*k**3 + k**2 - 1. Let d(l) = -2*l + 19. Let r be d(8). Suppose 2*o + 5 = -r*a, -o - 3*o = 16. Is 42 a factor of q(a)?
True
Let t be -6 + (-5 - (-4 - -1)). Let x(s) = -20*s - 5*s**3 + s**3 - s**2 - 20 + 7*s**2 + 5*s**3. Is 12 a factor of x(t)?
True
Let m be 12/(-16) + 28/16. Is ((-1)/m)/(31/(-1643)) a multiple of 5?
False
Let o(i) = 28*i**2 - 35*i + 66 - 75 + i**3 - 20*i**2. Is o(-11) a multiple of 10?
False
Is ((-61254)/(-996))/(1/14) a multiple of 30?
False
Let x(m) = -m**2 + 39*m + 457. Is 7 a factor of x(37)?
False
Suppose 961 = -10*a - 529. Let w = 95 - a. Does 59 divide w?
False
Let g = -149 - -192. Suppose g*b = 8*b + 13090. Is 23 a factor of b?
False
Is 10 a factor of (-16681095)/(-855) + 4/(-76)?
True
Suppose 4*h - 17 = 15. Suppose 4*b = 4 + h. Suppose -b*n + 60 = m, 2*n - 40 = -0*n - 5*m. Is 10 a factor of n?
True
Suppose -3*a = 33 + 42. Let r = 46 - a. Let o = 109 - r. Is o a multiple of 38?
True
Let u(n) = 11*n - 297. Suppose -32*l = -28*l - 188. Is 6 a factor of u(l)?
False
Let q = -22092 - -24462. Is q a multiple of 22?
False
Let q(o) be the second derivative of 227*o**3/3 - 4*o**2 + 55*o. Is 15 a factor of q(2)?
True
Let f = 4374 + -4138. Is 9 a factor of f?
False
Does 18 divide 4/(60/2295)*40?
True
Let b(v) = 14*v**2 + 68*v + 1260. Does 22 divide b(-34)?
False
Let j be ((-4)/(-5))/((4/2)/10). Suppose j*b = 2*b. Suppose 2*h = -3*h - 15, b = 3*o - 3*h - 189. Is 12 a factor of o?
True
Suppose -253*j + 105 = -256*j. Is 8 a factor of (-14)/j*(18 + 2)?
True
Let z(y) = 4*y + 12 - y**2 + 15*y + 2*y**2 + 15. Let k be z(-11). Let r = 44 - k. Is 15 a factor of r?
True
Is 5 a factor of (38/(-76) + -2)*67828/(-10)?
False
Let s(b) = 4*b**3 - 5*b**2 - 2*b + 6. Let a(v) = 5*v**3 - 6*v**2 - 2*v + 8. Let y(x) = -3*a(x) + 4*s(x). Let n be ((-6 - -3) + 1)*-2. Is 9 a factor of y(n)?
False
Suppose 5*k = -5*d - 0*d - 450, 81 = -d + 2*k. Let n = d + 92. Suppose h - 5*h + 591 = -n*t, 5*t + 283 = 2*h. Is h a multiple of 13?
False
Let d(j) = -j - 1. Let r be d(1). Let x(h) = h**3 + 4*h**2 - 2. Let v be x(r). Suppose v*i - 240 = 2*i. Is 10 a factor of i?
True
Is 4 a factor of -11*(-5 + 10224/(-176))?
False
Let d be 11 + -8*(-1)/2. Suppose 0*c + 8 = 2*c, m - d = -2*c. Suppose -3*l + 28 - m = 0. Is 7 a factor of l?
True
Suppose 36*g + 2*g + 47515 = 669955. Is 28 a factor of g?
True
Suppose 0 = -5*r + 2*f + 21 + 7, -f = -4*r + 20. Suppose -2*b + 290 = 3*g, 5*g - g - r*b = 380. Does 53 divide g?
False
Let u be (7/2 + -4)*2*-58. Let p = -66 + u. Is (-76)/p - 3/12*6 a multiple of 2?
True
Let o(u) = 0*u - 37*u - 12*u + 23. Let j be o(-13). Suppose -12*l = -16*l + j. Is 33 a factor of l?
True
Suppose -305 = 2*d - 3019. Does 46 divide d?
False
Suppose 0 = k + 5*u - 5, 3*k + 2*k - 25 = 4*u. Suppose k*s = 4*a + 55, -3*s - 3*a = 2*a - 70. Does 13 divide -182*(2/(-5))/(7/s)?
True
Let m = 1195 + -525. Suppose 0 = 3*z - m - 578. Does 13 divide z?
True
Suppose 0 = 53*r + 651858 - 1660819. Does 109 divide r?
False
Let g be ((-9)/(-12))/(-3 - 651/(-216)). Is 18/g + (-712)/(-6) a multiple of 6?
False
Let n(p) = p**3 + 7*p**2 - 2*p + 7. Let r be n(-6). Let z = -53 + r. Suppose -z*m - 165 = -5*m. Does 6 divide m?
False
Let p(i) be the first derivative of i**3/3 - 4*i**2 + 33*i - 29. Let n be p(9). Suppose -n*q + 44*q - 432 = 0. Is 44 a factor of q?
False
Let r = 14354 + -5747. Does 57 divide r?
True
Let k(t) = -3*t - 1. Let d be k(-2). Suppose 2*w = 3*w + 3*g - 11, -3*w + 25 = d*g. Suppose 7*z - 170 = w*z. Is 13 a factor of z?
False
Suppose 2*t = 3 + 3. Suppose -3*q = -t*f + 6, -f + 1 - 5 = 2*q. Suppose f*y = y - 24. Does 13 divide y?
False
Suppose -25 = 5*v - 10*v. Suppose 0 = -v*t - 111 + 606. Suppose 2*b + 9 = t. Does 9 divide b?
True
Let n(k) = -10*k**2 - 220*k + 139. Is 11 a factor of n(-21)?
False
Suppose -3*r = 4*n + 101, 0*r - 3*n = 3*r + 96. Let q = -27 - r. Suppose 3*l = -q*l + 12, -l = 2*x - 154. Is 6 a factor of x?
False
Let p = 1134 + -585. Let f = 954 - p. Does 27 divide f?
True
Let z be 5*(-1 - -2)*1. Suppose 971 + 434 = 5*g + z*m, -2*g - 3*m = -567. Is 12 a factor of g?
True
Let k(m) = -m**2 - 15*m + 5. Suppose c + 16 = -5*z, 0*z + 4*z + 17 = -5*c. Let v be (7*z)/((-3)/(-2)). Does 8 divide k(v)?
False
Let v(w) = -38*w - 43. Let f(h) = -36*h - 44. Let a(y) = -5*f(y) + 4*v(y). Is 12 a factor of a(2)?
False
Suppose 4*m + 4*q - 3 = 1, 4*m - 2*q = -26. Let h = 1 - m. Let b(l) = -l**3 + 7*l**2 + 3*l - 1. Is 14 a factor of b(h)?
False
Suppose 2*y + 0 - 1 = -5*b, 2*y = -4*b. Let u be (b - 2) + (92 - -3). Suppose -2*s - u = -4*c - s, c - 2*s - 20 = 0. Does 3 divide c?
True
Let z(t) = -t - 31. Let j be z(-16). Let o = 15 + j. Suppose x - 7 = 4*s, o = x - 2*x + 2*s + 17. Is x a multiple of 27?
True
Let a be (13/26)/((-2)/(-76)). Let q(d) = d**3 - 19*d**2 - 7*d + 29. Let y be q(a). Let o = y - -124. Is 20 a factor of o?
True
Let q(t) = -1. Let x(s) = 14*s + 41. Let i(b) = 3*q(b) - x(b). Let o be (-40)/14*(-196)/(-56). Is i(o) a multiple of 9?
False
Let g = -1976 + 1405. Let n = 855 + g. Is n a multiple of 38?
False
Suppose 6*m = -4*b + 4*m + 408, 2*m = 2*b - 192. Suppose 228 = -18*n - 744. Let l = n + b. Is 23 a factor of l?
True
Let n be 1*5/(-10) + 5/2. Suppose 4*q - n*x = -7*x + 1, 4*q + 1 = -3*x. Is 16 a factor of 387/(-2)*q*(-6)/(-9)?
False
Let i(y) = 2*y**2 - 67*y - 1317. Does 61 divide i(67)?
True
Let d be 12/3*4/(-8) - -12. Let m be 2/(1/(-4)*-4). Suppose -2*t - d = 0, -m*t + 182 = s + t. Does 33 divide s?
False
Suppose -5*g - 2*y + y + 79 = 0, -5*y + 43 = 3*g. Suppose 19*l - 1485 = g*l. Is 45 a factor of l?
True
Let g be (-18)/(-81) + 5326/9. Let w = 23 + -23. Suppose 3*m - g = 5*t - t, -5*m + 2*t + 968 = w. Is 18 a factor of m?
False
Suppose -4*w - 4*c - 380 = 0, -4*c = -2*w - 5*c - 189. Let l = -133 - w. Let a = l - -103. Is a a multiple of 8?
True
Let i be 3 - -1 - -4*14/(-8). Let f be 3 - (-17 - (i + 3)). Is 31 a factor of (-1)/((-367)/(-620) - 12/f)?
True
Suppose -7*z + 35 = -5*r - 8*z, -21 = 3*r + 3*z. Is (-24)/168 + (-1702)/r a multiple of 33?
False
Let l = -3 - 6. Let p be (-3)/(-9) - 555/l. Is (-2 + 1)/((-2)/p) a multiple of 11?
False
Suppose -3*t = 5*c + 33 - 565, 4*t - 2*c = 744. Let z = 20 - 139. Let u = z + t. Does 13 divide u?
True
Let h(s) = 12*s - 12. Let n be h(-4). Let z be 1390/2*(-12)/n. Suppose 0 = -9*j + 742 - z. Is j a multiple of 13?
False
Let v = 18141 - 6135. Is v a multiple of 