 m?
True
Let n(w) = 123 + 225*w + 241*w - 448*w - 27. Is n(13) a multiple of 15?
True
Suppose -4*k + 70 = 3*k. Suppose -8*a = k*a - 1080. Does 10 divide a?
True
Let i(t) be the first derivative of 10*t**2 - 6*t + 21. Let g be i(5). Suppose 0*d = 3*a - d - 292, -2*d - g = -a. Is 49 a factor of a?
True
Suppose -6*n + 35 = -37. Suppose 0 = 5*s, 5*s - n = -4*j + 160. Does 15 divide j*(4/(-2))/(-1)?
False
Let s = -133 - -144. Suppose 0 = -2*m + m + s. Suppose -2*x + 17 = -f, 2*x + 4*f + f = m. Is x even?
True
Let w be ((-1267)/14)/(-2*1/4). Suppose -19*v + w + 408 = 0. Is v a multiple of 25?
False
Let u = 25 + -27. Let b be ((-27)/u - 0)*(-66)/(-9). Let f = -10 + b. Is f a multiple of 4?
False
Suppose -3*j = -h - 3*h + 1907, 0 = -j - 1. Let l = h - 344. Is l a multiple of 4?
True
Let p(l) = -60*l - 155. Let g be p(21). Let o = 2622 + g. Is 24 a factor of o?
False
Suppose -6*g = 10*g + 4944. Let c = g - -465. Is 26 a factor of c?
True
Suppose -6*a + a = -415. Let n = a - -532. Is 55 a factor of n?
False
Let n(j) = j**3 - 54*j**2 - 112*j - 216. Is 6 a factor of n(58)?
True
Let c(m) = m**2 + 22*m + 40. Let b be c(-20). Suppose b = -0*v + 2*v - 734. Suppose 0 = 5*t - v + 37. Does 11 divide t?
True
Is 47 a factor of (-2)/(-4) + (-72942)/(-12) + -29?
False
Suppose -7*m = -2*m. Suppose 3*g + 6*g - 540 = m. Does 20 divide g?
True
Suppose 54*r + 7 = 55*r. Suppose 97 = o - 3*a, 4*a = 12*o - r*o - 441. Is 4 a factor of o?
False
Suppose 71 = -3*b + 200. Suppose -119 = -3*q + 58*t - 62*t, q = -3*t + 38. Suppose -244 = q*d - b*d. Is 19 a factor of d?
False
Suppose 6*c + n = c + 58, -3*c + 5*n + 18 = 0. Suppose -1 + c = 5*d. Is (-148)/(-5) + d/5 a multiple of 5?
True
Suppose -84100 = -5*k + 3237*t - 3232*t, -3*t - 67282 = -4*k. Is 64 a factor of k?
False
Suppose -50*o = 14*o + 28446 - 123102. Does 10 divide o?
False
Suppose 0 = -8*t - 16*t + 216. Let f(o) = -o**3 + 12*o**2 + 34. Does 3 divide f(t)?
False
Let r(m) = 24*m**2 + 2355*m + 28. Is r(-113) a multiple of 20?
False
Let h(q) = -13*q**3 - 88*q**2 + 9*q + 143. Let s(y) = 3*y**3 + 22*y**2 - 2*y - 36. Let w(n) = -2*h(n) - 9*s(n). Is 19 a factor of w(-22)?
True
Is 235 a factor of -1 + (21 - (2 - -12)) + 89999?
True
Let y be 870/14 + 5/(-35). Let q = y - 59. Suppose 0 = q*p - 3*j - 366, 2*j = 5*p - 0*p - 607. Does 21 divide p?
False
Let d(i) = i**2 - 9*i - 37. Let w be d(-4). Suppose -5*t - 3*o + w = 0, 0*t - 5*t - 5*o = -25. Is 17 a factor of 1 - (-4)/(-4 + t)*-101?
True
Suppose 13*t + 3537 = 13110 + 4961. Is t a multiple of 12?
False
Suppose -5*i = -855 + 235. Let t = 226 - i. Is 20 a factor of t?
False
Suppose -39*z = 10914 - 51786. Suppose 5*s + z = 3*l, -785 = -4*l - 5*s + 554. Is l a multiple of 11?
True
Let o(c) = c**3 + 26*c**2 + 4*c + 64. Let l be o(-26). Does 5 divide (-3568)/l + 3/(-15)?
False
Suppose n + 3*r = 4 + 3, -2*n + 13 = 5*r. Suppose 3*f + n*j - 14 = 0, f + 6 = 3*j + 2. Suppose f*d - 49 - 59 = 0. Is d a multiple of 3?
True
Suppose 32*q - 28*q = 48. Suppose 0 = -4*p + 4*t + 116, 0 = 2*t + t - q. Let j = -10 + p. Is j a multiple of 23?
True
Let z(c) = 38*c**2 + c - 1. Suppose 4 = g + h, h + 4 = 9*g - 6*g. Suppose 4*y = m - 9, 9 = -g*m - 5*y + 1. Does 19 divide z(m)?
True
Suppose -4*l = 2*f - 8244, -3*f + 13098 = 4*l + 4854. Does 63 divide l?
False
Let k(v) = -87*v + 21. Let f be k(-5). Is (f/(-96))/((-3)/144) a multiple of 3?
True
Suppose -47*u + 205853 = -20499. Does 8 divide u?
True
Suppose 0 = 2*y - 8, -2*m - 46 = -3*m + 2*y. Is 41 a factor of (-2)/(-27)*6 - (-58674)/m?
False
Suppose -4*y + 3*n = 24, 0*y - 5*n + 35 = -5*y. Let z be 1/y*(-12)/(-3 + 5). Is 5 a factor of (-4 - (-14)/z) + 7?
True
Suppose -13 = -8*m + 19. Let v be -1 - m/(-2) - -1. Is 10 a factor of (1/v)/((-2)/(-488))?
False
Let m(q) = -q**2 - 38*q - 71. Let s be m(-36). Let v(t) = 334*t - 72. Is 26 a factor of v(s)?
False
Let u = 228 + -380. Let g = u + 553. Is 32 a factor of g?
False
Let h = -247 - -281. Suppose 12 + h = i. Does 9 divide i?
False
Let a(d) = -6*d**3 - 6*d**2 - 4*d - 8. Let f be a(-4). Suppose -3*k + 8*p + f = 4*p, 2*k - 196 = 2*p. Is 8 a factor of k?
True
Let y be (-24 - -852)*(0 + 62). Does 31 divide (0 - 1)/((-36)/y)?
True
Suppose 44828*z = 44809*z + 374699. Is 13 a factor of z?
True
Let z be (-7 - -4) + (4/(-2) - -6). Let p be 2/(1/(-4)*z*-2). Suppose -5*d - 3*t + 50 = 0, -p*d + t = -0*t - 57. Does 2 divide d?
False
Let m(v) = 2*v**3 - 54*v**2 + 60*v - 36. Let u be m(27). Suppose h = 5*h - u. Does 36 divide h?
True
Let m be (1/3)/(170/84 - 2). Let x be m/(-245)*5 + 16/7. Suppose -2*b - 168 = -5*b + 2*v, 222 = 4*b - x*v. Does 18 divide b?
True
Is 42176 + (-64 - -76 - (25 + 0)) a multiple of 132?
False
Let q = 27168 + -17902. Is q a multiple of 82?
True
Let n(l) = 9*l - 39. Let j be n(5). Suppose j*o - o - 1936 = -4*x, 3*o = -5*x + 2433. Is x a multiple of 50?
False
Does 21 divide (-419196)/181*2/(-12)?
False
Let x(j) = 45*j**2 - 16*j + 289. Does 168 divide x(-17)?
False
Suppose 5*j - 24387 = 3*g, 2079 = j - 4*g - 2795. Is j a multiple of 17?
False
Let j(s) = -4*s + 0 + 4*s**3 - 4 - 3*s**3 - s + 8*s**2. Suppose 5*o - 23 + 58 = 0. Is 20 a factor of j(o)?
True
Suppose -l = -3*m + 299, m + 0*m - 3*l - 97 = 0. Does 10 divide 9/((-18)/m)*(0 - 1)?
True
Let o be (-6)/(-27) - (3 - 43/9). Suppose o*m - 148 = -12. Let a = m - -7. Is a a multiple of 25?
True
Let g = 80 + -90. Let p(k) = -13*k - 114. Is p(g) a multiple of 4?
True
Suppose -4*q - 2*p = -111518, -4*q - 169*p + 172*p + 111533 = 0. Is 17 a factor of q?
False
Suppose -46*l + 40*l = 0. Let t be -32*(-72)/(l + 0 + -1). Does 32 divide (6/4)/((-54)/t)?
True
Let y(w) = -w**2 - 20*w - 12. Let p be (-46)/3 - ((-4)/(-6) + 0). Let s be y(p). Let t = s - 39. Does 4 divide t?
False
Let s be -4*-6*58 + (-10)/5. Suppose 5*r - 1406 = -5*n + 2049, -2*n = -2*r + s. Is 36 a factor of r?
False
Let w(n) = 3*n**2 + 5*n. Let u be w(2). Is 16*u + (6 - 1) a multiple of 16?
False
Let l = 55 + -70. Let j be -4 + 3/l*-5. Is 9 a factor of j/(6/(-4) - 261/(-178))?
False
Suppose 13*p - 14*p = -24. Let x = p - -21. Suppose -4*b + x = -99. Is b a multiple of 5?
False
Let y be (-9)/(54/(-12)) + -2. Suppose y = 7*w - 633 - 277. Is w a multiple of 27?
False
Suppose 36*m - 3616305 = -75*m + 10*m. Does 21 divide m?
True
Let o(n) = n - 9. Let b be o(6). Let y(q) = -22*q - 6. Let i be y(b). Suppose 0*v - i = -3*v. Does 4 divide v?
True
Let v be (-181)/2*9*(-24)/108. Suppose 3*o + l - 254 = v, -o + 159 = 5*l. Is o a multiple of 12?
True
Let s = 11916 + -1648. Is 17 a factor of s?
True
Let p(k) = -k**3 + 93*k**2 + 71*k + 499. Does 186 divide p(89)?
True
Let g be 16/6*(0 + -9). Let u(c) = -c**3 - 22*c**2 + 23*c - 8. Is 74 a factor of u(g)?
True
Suppose 1547*n + 1530080 = 1693*n. Is n a multiple of 13?
False
Let c(g) = -g**2 - 10*g + 26. Let r be c(-12). Is (r/3)/(30/2565) a multiple of 19?
True
Is 7 - (-8 + -2027 - 7 - -9) a multiple of 85?
True
Suppose -t + 3 = 5*l - 47, 4*l - 31 = t. Suppose 6*f + l*f - 675 = 0. Does 7 divide f?
False
Let t = -51 - -28. Let x = -27 - t. Is 38 a factor of x/2*81/(-2)?
False
Let l(v) be the third derivative of v**5 + v**4/3 + 7*v**3/3 - 14*v**2. Is l(-4) a multiple of 11?
False
Let c = -46 - -48. Suppose -28*m - 710 = -31*m + 5*p, -4*m + 970 = -c*p. Is m a multiple of 19?
False
Let f = -347 + 653. Let j = -262 + f. Is j a multiple of 22?
True
Let b be 867618/270 - 2/5. Is (b/(-36))/((-1)/4) a multiple of 22?
False
Let o(c) = 11*c - 25. Let y be o(5). Suppose -31*q = -26*q + y. Is 24 a factor of ((-160)/(-12))/((-1)/q) - -1?
False
Let i(j) = 606*j - 528. Is i(12) a multiple of 29?
False
Let l(o) = o - 3. Let x be l(20). Let k be (x + (30/9)/(-5))*9. Suppose b + 6*b = k. Is b a multiple of 6?
False
Suppose -68*l + 73*l - 16273 = -3*m, 0 = -3*l + 2*m + 9741. Is l a multiple of 22?
False
Let v be (-2940)/(-196)*((-8)/(-6) + -1). Suppose -3*j + 1687 = v*i, i + 340 = 2*i - 2*j. Is 39 a factor of i?
False
Suppose 0 = 2*f + 5*g + 18, -2 - 14 = -4*f + 3*g. Let l be 4/2 - (f*-286 + -1). Suppose 11*h = l + 217. Does 23 divide h?
True
Does 5 divide 1476167/1001 + (-4)/(-13)?
True
Let d = -6 - -8. Let p = -11086 - -11088. Suppose -p*k + 2*x + 96 = 0, -2*k + d*x = -x - 92. Does 13 divide k?
True
Let r(m) = 2*m + 16 - 16 - 10*m**2 - m**3 - 3*m - 10. Let n be r(-10). Suppose n = 