21?
True
Let o be (12/15)/((-30)/(-300)). Suppose -o + 33 = 5*a, 0 = 2*h + 2*a - 1462. Is h a multiple of 15?
False
Is ((-10)/20*(-2 - 82))/((-21)/(-3794)) a multiple of 28?
True
Suppose 0 = 10*a - 235574 - 16232 + 35806. Is 200 a factor of a?
True
Let i(g) = -g**3 - 4*g**2 + 7. Let f be i(-8). Is 16 a factor of (f - (3 - 8)) + -4?
False
Suppose -104 = 16*z + 232. Let x = 9 + -58. Let f = z - x. Is f a multiple of 7?
True
Let r(k) = 136*k - 1680. Does 8 divide r(34)?
True
Let a(c) = -c**2 + 17*c - 61. Let z be a(11). Suppose 5*g = -15 + 40, -z*m - 5*g + 760 = 0. Does 21 divide m?
True
Suppose -8*g = -7*g + 33. Let l = 59 + g. Let j = l + -9. Does 11 divide j?
False
Let u(g) = -246*g**3 + 2*g**2 - 4*g + 10. Does 26 divide u(-3)?
True
Let r = 43 + -41. Suppose 0 = -r*c + 273 + 69. Is 9 a factor of c?
True
Suppose -4*i - 5*s + 245 = 0, 4*s = -4*i + 311 - 67. Is (i/70)/((-1)/(-84)) a multiple of 17?
False
Suppose -5*p = 4772 - 19262. Does 63 divide p?
True
Let c(y) = -y**3 - 11*y**2 + 10*y - 9. Let v be c(-12). Suppose 0 = 7*p - 20 - v. Suppose -r - 6 + 140 = 2*f, 5*r - 340 = -p*f. Is 13 a factor of f?
False
Let u be 35*(1 - 4/10). Let o be (u/(-2))/(9/12). Let t(g) = g**2 - 6*g - 28. Does 18 divide t(o)?
True
Let f = -1209 + 3104. Does 8 divide f?
False
Suppose -9 - 201 = -2*j. Let s = 185 - j. Is 5 a factor of s?
True
Let d(t) = -t**2 + 10*t - 16. Let u be d(8). Suppose u = -161*v + 136*v + 2450. Is v a multiple of 7?
True
Is 76 a factor of 1115664/40 + 162/30 + -5?
True
Suppose -11 = 4*j - 15. Is 3 a factor of (60/(-20))/(j/(-19))?
True
Suppose u - 4*r = -54, u + 118 = -u - 2*r. Suppose 5*y = -p + 573, 4*y + p = -3*p + 468. Let l = u + y. Is 4 a factor of l?
True
Let n be (-3 + 85/15)*15/10. Let u(d) = 36*d + 52. Is 33 a factor of u(n)?
False
Suppose 0 = 4*w - 14*w + 2780. Let i = -71 + w. Does 48 divide i?
False
Suppose 40*r = 45*r - 65. Let l(z) = 17*z + 68. Does 80 divide l(r)?
False
Let i(u) = -4*u + 12. Let y be i(4). Let x(n) = n**3 + 5*n**2 + 2*n - 1. Let t be x(y). Let b(a) = a**2 + 2*a - 20. Is b(t) a multiple of 9?
False
Let g(q) = 37*q**2 + 4*q. Let l be g(2). Suppose 2*j + 5*i + 11 = 0, j - 5*i + 2*i = 11. Suppose -v = j*v - l. Is 26 a factor of v?
True
Suppose 0 = -4*w + 8 + 12, 3*a = -w + 6800. Suppose -21*m + 4434 = -a. Is m a multiple of 12?
False
Suppose -1111177 = -200*z + 2963223. Does 47 divide z?
False
Let r = -4321 - -4354. Let g = 1 - 1. Does 9 divide (6/r - (-1479)/33) + g?
True
Let d = -71 - -63. Let q(g) = 62*g**2 - 6*g + 4. Let i be q(2). Is -6*(-4)/d + i + -1 a multiple of 41?
False
Suppose -2*t = -5*s + 124, 2*t - 3*s + 151 = 35. Let i = t + 18. Let f = -10 - i. Is 11 a factor of f?
False
Suppose 9*b - 1281 = 400 + 452. Does 7 divide b?
False
Suppose -63*f - 40 = -68*f. Suppose f*j + 162 = 9*j. Is j a multiple of 18?
True
Let v = 11315 + -7157. Does 14 divide v?
True
Does 174 divide -18 - -648*(0 + 25)?
True
Let h = 571 - -157. Let g = 1184 - h. Does 22 divide g?
False
Let p = 71 - 72. Let f(q) = 1950*q**3 + q**2 - 1. Let l be f(-1). Does 13 divide (-2)/(p/3 - 590/l)?
True
Suppose 5*t = 5*g - 7035, -1401 = 2*g - 3*g + 3*t. Let q be 3 - ((-2)/6)/(10/g). Does 20 divide ((-66)/(-55))/((3/q)/3)?
True
Suppose -60974 + 116355 + 115785 = 23*o. Is o a multiple of 4?
False
Let o be ((-18909)/44)/(9/(-24)). Suppose -179*r + o = -177*r. Is 27 a factor of r?
False
Let o be 6 + -2 - (5 - 7). Let s(b) = 2*b**3 - 11*b**2 + 7*b - 10. Does 6 divide s(o)?
False
Is 21 a factor of (-47900)/(-26) - (-600)/(-1950)?
False
Suppose 82*p + 5*p = 11*p + 540436. Does 8 divide p?
False
Suppose 4*z - 9*x + 4*x - 5735 = 0, 2*z + x = 2871. Does 7 divide z?
True
Let i(m) = -212*m - 64. Let j(k) = -636*k - 197. Let x(q) = 19*i(q) - 6*j(q). Is 9 a factor of x(-5)?
True
Suppose -j + 394 = -5*b - 202, -j - b = -644. Is j a multiple of 3?
True
Let f(p) = -353*p + 4409. Is f(7) even?
True
Is 5 a factor of ((-15)/25)/3*(-74573 + 3)?
False
Is 0 + (-1496)/(-12) - 8/(-24) a multiple of 2?
False
Let h(a) = -108*a + 28 + 22*a + 29*a + 21*a**2 + 34*a**2 + 37*a. Is h(4) a multiple of 12?
True
Suppose 4*q - 2*q = 0. Suppose q = 2*c - 11 - 15. Is 16 a factor of (2/2)/(c/1170)?
False
Let k = 5974 + -1044. Is 21 a factor of k?
False
Let c(r) = -10*r - 8. Let a be c(-3). Let n = -16 + a. Suppose n*t - 132 - 102 = 0. Does 39 divide t?
True
Suppose 374966 = 53*n - 786900. Does 226 divide n?
True
Suppose 0 = 33*q - 32*q + 5, 0 = v + 4*q + 17. Suppose -3*u = 5*b - 2415, 0 = -v*b - u - u + 1448. Does 27 divide b?
True
Suppose 42366 = 14*q + 26113 - 97273. Is q a multiple of 56?
False
Let l = -333 - -571. Suppose 0 = -5*y - 2*h + 314, h = -5*y + 74 + l. Suppose -u = 5*p + 46 - 152, -u + y = 3*p. Is p a multiple of 8?
False
Let b(w) = 794*w + 506. Does 56 divide b(39)?
True
Let g(z) = -446*z - 835. Does 25 divide g(-14)?
False
Let m = 104 - 104. Suppose 8*t = -m*t + 952. Is t a multiple of 10?
False
Let k be 10/(-8) + 42/8. Suppose 4*g + 334 = 4*n - 230, 0 = -k*g - 12. Let x = n + 57. Is x a multiple of 15?
True
Suppose -872104 = -9*y - 58*y - 26966. Is 53 a factor of y?
True
Let a = 13 - -8. Let c = 11 + a. Does 42 divide (52 - 3)*(c/14 + 2)?
True
Let r = -34 + 38. Suppose -r*n = 3*n. Suppose 5*k - 2*k - 156 = n. Does 26 divide k?
True
Let c be 2 + -4 - (-107 + -5). Suppose 4*w = 2*w - 2*v + c, -4*w + 5*v + 175 = 0. Does 9 divide 49 - (-5)/2*(-60)/w?
False
Suppose -233*i + 228*i + 55 = 0. Suppose 1474 = 3*a + 4*k, -6*a = -i*a + 2*k + 2448. Is a a multiple of 10?
True
Let h be 159/6*2/(-1). Let d = -50 - h. Suppose -4*k = a - 0*a - 79, d*a - 17 = -k. Does 6 divide k?
False
Suppose 153*d = -83*d + 4983935 - 982083. Is d a multiple of 120?
False
Let b(d) = d**3 + 13*d**2 + 31*d + 42. Let r be b(-14). Let i = -483 - r. Is i a multiple of 7?
True
Let t(p) = -3 + 12*p**2 + 8*p**2 + 4*p + 25*p**2 - 9 + 5*p**2. Does 14 divide t(2)?
True
Suppose -4*z - 10*z - 837487 = -195*z. Does 40 divide z?
False
Let c(o) = -16*o + 13. Let z be c(1). Let k(m) = -8*m. Let x be k(-4). Let n = x - z. Is 2 a factor of n?
False
Suppose -56*n + 17904 = 8*f - 60*n, 4*n - 2256 = -f. Does 40 divide f?
True
Let f(l) = -66*l**3 + 13*l**2 - 47*l - 20. Is f(-5) a multiple of 206?
False
Suppose -b - 318 = 4*b - 3*l, -2*b = 5*l + 152. Let k = b + 70. Suppose -5*o + 152 = -4*c, -2*c - 87 = -k*o + 31. Does 2 divide o?
True
Let m = 15441 - 9665. Is m a multiple of 8?
True
Is 76 a factor of (-552 + 36/(48/4))*228/(-9)?
True
Let t(f) = -23 - f**2 - 30 + 52. Let o(g) = 9*g**2 - 32*g + 14. Let u(i) = -o(i) - 6*t(i). Is u(8) a multiple of 56?
True
Let l(x) = 9*x + 111. Let d be l(-12). Suppose 504 = 2*b - 0*b - d*n, 257 = b + n. Is 21 a factor of b?
False
Let d be 11/(-2)*(-2 - 0). Let m(f) = -9*f + 29. Let j be m(d). Let i = j + 114. Is 4 a factor of i?
True
Let c(o) = -8. Let t(q) = q - 1. Let g(p) = -c(p) - t(p). Let u be g(7). Suppose 0 = -u*s - 43 + 203. Is 23 a factor of s?
False
Let n(z) = 5*z + 7. Let c be n(3). Let m = 25 - c. Suppose m*l - 159 = -l + 3*w, -w = -2*l + 81. Does 18 divide l?
False
Let z be ((-4)/(-8))/((-2)/(-124)). Let h = -2288 - -2283. Is 4 a factor of z + (h - (1 + -7))?
True
Is 13 a factor of 18/6 + 6167 - (-5)/1?
True
Let r be 26/8*(14 - 10). Is (r - 4)*(-36)/(-6) a multiple of 18?
True
Suppose -2*f + 0*f = -46. Let v be f + 6 + 1*3/(-1). Let i = 42 - v. Does 5 divide i?
False
Suppose m + 6 = 2*m. Let k(g) = 2 - 3*g + g**2 + m + 4*g - 1. Is 27 a factor of k(-5)?
True
Let f = -22131 + 34101. Is 45 a factor of f?
True
Let g be 1610/(-92)*(-8)/(-10). Let a(q) = q**3 + 17*q**2 + 3*q + 15. Is a(g) a multiple of 14?
False
Let j(k) = -77*k + 1252. Does 44 divide j(-15)?
False
Suppose -a + 95 = -70. Suppose a*h = 160*h + 2295. Is h a multiple of 17?
True
Suppose d + 7 = 4*u, -4*u + d + 1 = 2*d. Suppose 7 = 4*c - u. Does 4 divide (c*-2)/((-30)/195)?
False
Let t = -2610 + 7240. Is 84 a factor of t?
False
Let n(r) = -r**3 + 25*r**2 + 11*r - 35. Let z be n(25). Suppose 8*y - 14*y = 480. Let p = z + y. Does 32 divide p?
True
Let n = 15361 - 8961. Does 64 divide n?
True
Let l(n) = -12*n**2 + 4 - 43*n + 78*n - 1 - n**3 - 51*n. Is l(-12) a multiple of 15?
True
Suppose 0 = 22*u - 21*u - 20. Let g be 2/((-4)/314) + 40/u. Let f = -68 - g. Does 29 divide f?
True
Suppose -2*v + 465 = -4*a - 1099, -3*a = 