m(r) = 51*r + 64. Let x be m(-5). Let g = x + 324. Is g a multiple of 18?
False
Suppose 3*c + 935 = 4*r, 0 = -3*r - 8*c + 4*c + 695. Let j = -158 + r. Is 15 a factor of j?
True
Let j = -269 - -272. Is (-1008)/(j + -9)*2/6 even?
True
Suppose 15*a - 765249 = 121791. Does 264 divide a?
True
Let c(x) be the second derivative of -x**4/6 + x**3/2 + 759*x**2 - 42*x. Let z be c(0). Suppose 4*j + 18*j = z. Does 4 divide j?
False
Let u be (-5)/30*22 + 6/(-18). Does 6 divide u + -568*(-6)/12?
False
Suppose -m + 31 = 3*h, -10*m + 12*m = 5*h - 70. Does 13 divide ((-2)/(-24)*h)/(2/130)?
True
Suppose -4*a + 36930 = 2*w, -3*w + 328*a + 55439 = 323*a. Does 14 divide w?
False
Let c = 892 - 888. Suppose 7*t = 8*t + c*f - 584, 3*f + 1707 = 3*t. Does 13 divide t?
True
Suppose -3*s + 4*t - 439 = 294, 5*t + 458 = -2*s. Let x = -42 - s. Let n = -70 + x. Does 43 divide n?
False
Let x(s) = -2*s + 168. Let g be x(-38). Let y = g - -215. Does 27 divide y?
True
Suppose 223*a - 287892 = 111*a + 100*a. Does 11 divide a?
True
Suppose -5*a + 4*i = -8135, -4*i + 6508 = 4*a - 3*i. Suppose -a = 15*k - 4957. Is 37 a factor of k?
True
Let w be (-2)/4 + (-21)/14. Let i = -1316 + 1670. Is w/(-4) - i/(-12) a multiple of 5?
True
Let c = 16232 + -4232. Is 75 a factor of c?
True
Suppose -635*v - 14157 = -648*v. Does 27 divide v?
False
Let f(a) = a**2 + 3*a + 12. Let w = -61 + 50. Let b be 69/(-12) - (w/4 + 3). Is 8 a factor of f(b)?
False
Let w(j) = 9*j**2 - 7*j + 11. Let l be w(3). Suppose -l*u = -77*u + 1050. Is 8 a factor of u?
False
Suppose -16*x = -11*x - 125. Let n = -23 + x. Does 9 divide 1/((n/60)/((-36)/(-24)))?
True
Let s be ((-14)/(-4) + -2)/(15/30). Suppose 30 = -s*u - 3*u. Is 25 - u/10*-1*2 a multiple of 4?
True
Let r(x) = -56*x - 27. Let f be r(18). Let z be ((-116)/6)/(46/f). Suppose -q + z = 4*q. Is q a multiple of 8?
False
Let k(y) = -y**3 - 8*y**2 - 16*y + 11. Let m(o) = -4*o**3 - 25*o**2 - 47*o + 33. Let v(a) = -7*k(a) + 2*m(a). Suppose 30*b - 17*b - 104 = 0. Does 5 divide v(b)?
True
Is 110 a factor of (-14 + -344 - 27)/((-2)/4)?
True
Suppose -n + 4*n = 681. Let u be (11/((-88)/1708))/(2/(-4)). Let p = u - n. Does 50 divide p?
True
Let w be 1261/104 + (-2)/16. Let x be 20 - 3*(-4)/w. Suppose 3*k + 3*f - 48 = 0, -3 = -2*k - 4*f + x. Is 3 a factor of k?
False
Is 8 a factor of 20/80 - ((-652053)/108 - 2/9)?
False
Let n(b) = -4*b**2 - 12*b - 91. Let x be n(-6). Let s = 327 + x. Is s a multiple of 41?
True
Let t = -50 - -56. Suppose -3 = t*a - 3. Suppose -2*s - 5*i = -322, a - 8 = -2*i. Is 21 a factor of s?
False
Suppose 23*z = 6495 - 239. Is z a multiple of 22?
False
Suppose 0 = -137*f + 113*f - 9072. Let m = f - -653. Does 6 divide m?
False
Is 5 a factor of (-51)/(-85) - (-102314)/10?
False
Suppose 0 = -3*h - 2*m + 8, -3*h + 6 - 2 = m. Suppose h = -v - 4*p + 19, -v - 3*p + p + 9 = 0. Is 4 + (97 - v/(-1)) a multiple of 10?
True
Suppose -32 + 19 = -5*i + 3*v, -3*i = 3*v - 3. Suppose i*f - 4*k = 480, k + 79 - 310 = -f. Is 7 a factor of f?
False
Let f(b) = b**2 - 2*b - 1. Let g be f(-1). Suppose -4*c - g*j + 76 = 2*j, 2*c + j - 34 = 0. Suppose 604 = 2*z + 3*z + 3*k, 0 = 5*k - c. Is 17 a factor of z?
True
Let z be (-110)/(-5)*1/(6/63). Suppose -z = -2*r + 161. Is 6 a factor of r?
False
Let q(j) = -3*j**2 + 68*j + 2. Let h be q(22). Suppose h*u = 40*u - 42. Does 4 divide u/(84/16) - 327/(-9)?
False
Suppose -11 = 3*s - 2*m - 16, 5*m = -3*s + 19. Suppose -254 = -5*r - g, 3*r - 67 = s*g + 71. Does 6 divide r?
False
Let u be 0*(-5)/5*-1. Suppose -3*k + 12*k - 9 = u. Suppose a - 25 = -k. Is 11 a factor of a?
False
Let u = -26 + 14. Let f(z) = 10*z - 10. Let a(t) = -23*t + 22. Let k(v) = -2*a(v) - 5*f(v). Is k(u) a multiple of 11?
False
Suppose -3*c + 3*b + 9 = 0, -3*c + 4 - 1 = -b. Suppose 5*o - 165 = 5*f, -f - o - 41 = -c*f. Let n = 63 + f. Is 14 a factor of n?
False
Suppose 0 = 5*k - 4*k - 2*v - 1700, -k + v + 1702 = 0. Let j be (5/(-10))/((-2)/k). Suppose 4*m + j = 10*m. Is m a multiple of 13?
False
Suppose 138 = -4*h + 602. Suppose -34 = -5*q + h. Is 14 a factor of 7/(3 + (-85)/q)?
True
Let x(n) = -n**3 + 6*n**2 - 4*n + 14. Let v be x(6). Does 18 divide (-2137)/(-7) + v/35?
False
Suppose 30*u = 13*u + 17. Let d(a) be the first derivative of 121*a**4/4 - a + 4. Is d(u) a multiple of 24?
True
Let g(p) = p**2 - 5*p - 33. Let n be g(9). Suppose n*y - 3 = 0, 3*k - 3*y = 275 + 478. Is 18 a factor of k?
True
Let q = -65618 + 93334. Is 92 a factor of q?
False
Let p be (-56)/(-26) - (5 + 63/(-13)). Suppose 19 = -p*w - 3*d + 249, 0 = -w - 2*d + 115. Is w a multiple of 5?
True
Suppose -4*s + g + 71 = 237, 5*s - 2*g + 206 = 0. Let f = s - -252. Does 3 divide f?
True
Suppose -11*c = -3*b - 15*c + 91668, 10*c + 91626 = 3*b. Does 11 divide b?
False
Let r(x) = -x**3 + 4*x**2 - x - 10. Let i be r(3). Does 24 divide ((-2)/(-2) - 366)*i/10?
False
Let s = -1408 - -465. Let k = s - -1635. Is 16 a factor of k?
False
Suppose -5*d + 13 + 7 = 0, 0 = -2*t - d - 6. Is 20 a factor of 9/45 - 1499/t?
True
Let p(k) = -3*k**3 + 82*k**2 + 48*k - 16. Is 61 a factor of p(22)?
True
Let l(c) = c + 4. Let s be l(0). Suppose z + 3 = -7*i + 3*i, s*i = -16. Suppose -12*o + z*o = 30. Is 6 a factor of o?
True
Suppose x - 382 = 4*w + 19, -3*w - 2039 = -5*x. Let z(d) = d**3 - 4*d**2 - 11*d + 2. Let q be z(6). Suppose -x = -q*h + 311. Is h a multiple of 18?
True
Let s = 13436 + -6061. Is s a multiple of 24?
False
Let q be (1080/9)/((-5)/(-35)). Suppose 2*n - q = -5*l, -3*n - 504 = -2*l - l. Does 21 divide l?
True
Let s(a) = a**3 + 27*a**2 + 28*a + 47. Let x be s(-26). Let y(l) = -120*l - 8. Is y(x) a multiple of 16?
True
Let k = -868 + 881. Let q be 3/9 - (-140)/3. Suppose k + q = 6*a. Does 10 divide a?
True
Is (-90*5)/(135/(-360)) a multiple of 24?
True
Let y = -615 - -619. Suppose y*w - 665 = -3*v, 2*w - 504 = -v - 173. Is w a multiple of 6?
False
Let w be 5 + ((-11254)/(-18) - (-10)/(-45)). Suppose 0*d + w = 6*d. Is d a multiple of 15?
True
Suppose -210*s + 897120 = -50*s. Is s a multiple of 18?
False
Suppose 4 = t, -2*h - 1796 = -0*t + t. Does 11 divide 1/((-6)/h) - -4?
True
Let x be (2/(-2))/((-4)/36). Let j(w) = -w + 5. Let b be j(x). Is 11 a factor of (16/(-12))/(b/174)?
False
Is 3176/(10/(-25) + -5 - -5)*-1 a multiple of 47?
False
Suppose -3*o + 7395 = 4*i, -3*i = -5*o + 9891 + 2376. Is 27 a factor of o?
True
Let u be 3/4 + 200/32. Suppose -u*g + 156 = 9. Is 3 a factor of (-36)/g*(-70)/4?
True
Suppose 124132 = 5*q - 2*o, -q + 242*o - 244*o = -24836. Is q a multiple of 12?
True
Suppose -117297 = -38*l + 123699. Is l a multiple of 12?
False
Let i = 20 + -17. Suppose -o + 2*h = -17, 3*o - 59 = i*h - 8. Is o a multiple of 2?
False
Suppose -30*o + 151626 + 17339 - 29735 = 0. Is o a multiple of 26?
False
Let g(x) = 173*x**3 + 2*x**2 - 4*x + 2. Let o be 5/(-6) - 425/(-150). Is 11 a factor of g(o)?
True
Let i(f) = f**3 + 23*f**2 + 43*f + 34. Let y be i(-17). Suppose -653 - 45 = -2*l + 2*h, -5*h - y = -3*l. Does 11 divide l?
False
Let g(m) = -m**3 - 18*m**2 - 20*m + 4. Let k be g(-17). Let o = -17 + k. Is o even?
True
Is 12 a factor of ((-3)/10*25/(-10))/(1/9888)?
True
Suppose 703494 = 44*d + 154*d. Is 17 a factor of d?
True
Suppose 5*k + 597 - 22 = 0. Let s = -109 - k. Suppose -5*x = -s*x + 20. Does 20 divide x?
True
Let g(n) = 3*n**3 + n**2 - 4*n - 5. Let m be g(-4). Let x = m - -650. Suppose 4*l = -153 + x. Is 17 a factor of l?
False
Let j be (-53)/2*208/(-8). Suppose 4*l + j = 17*l. Is l a multiple of 14?
False
Let n = 3271 + -1773. Suppose 0 = f - 5*x - 469, -3*x = -4*f + n + 293. Is f a multiple of 6?
True
Let k be (-40)/(-16) + (-10)/4. Suppose -4*y - 384 = 4*f - 1240, k = -2*f + 4. Is 13 a factor of y?
False
Suppose 2*m - 11088 = -43*c + 40*c, c = 0. Is 42 a factor of m?
True
Suppose -5*b = -3*r - 13325, 5*b = -29*r + 31*r + 13330. Does 3 divide b?
False
Suppose 13*b - 9*b - 5*g - 148553 = 0, 3*g = b - 37133. Does 18 divide b?
False
Let k = 29 - 25. Suppose -k*z - 2*r - 16 = 0, 4*z - z = 3*r - 12. Does 21 divide (-555)/(-10) + 2/z?
False
Suppose 0*b = 15*b + 21*b - 318384. Is b a multiple of 66?
True
Let q(j) = 102*j - 109. Suppose -5*y - 13 = 5*d - 3*d, 3*y + 15 = 0. Does 18 divide q(d)?
False
Suppose 4*v - 5*v = c - 15060, v - 2*c - 15060 = 0. Does 20 divide v?
True
Suppose 64*a - 2250 = 39*a. Does 9 divide a