 a multiple of 117?
False
Let c(i) = -9*i**3 - 4*i**2 + 2*i**2 + i**2 + 2*i**2 + 1 - i. Let w be c(1). Is 25 + w/((-16)/4) a multiple of 27?
True
Suppose 66*u - 9*u - 37*u = 6220. Is u a multiple of 18?
False
Suppose 509 = -13*x - 15143. Let i = x - -2171. Is 45 a factor of i?
False
Suppose 0 = 4*d + 33*d + 8*d - 92025. Does 10 divide d?
False
Let b(f) be the first derivative of 32*f**3/3 - 2*f**2 + 4*f + 7. Does 20 divide b(4)?
True
Let x = -33 - -37. Let m(z) = 4*z**2 + 7*z + 3. Let o be m(x). Let l = 160 - o. Is 13 a factor of l?
True
Let m(y) = 19*y - 167. Let k be m(6). Does 37 divide (21 - k)/(1/5)?
True
Does 17 divide (2*(-4 + 3))/(2/(-1791))?
False
Does 7 divide -6 - (4134/(-65))/((-6)/(-280)*2)?
False
Let s = -112 + 104. Let m(y) = y**3 + 9*y**2 + 11*y + 25. Let q be m(s). Suppose 4*x + 4*l = 48, x - 3*l + q = -3. Is x even?
True
Suppose 4*z + 5*o = -418, -512 = 7*z - 2*z + o. Let c = z - -227. Is 4 a factor of c?
False
Suppose -23*t = -34256 - 5672. Is 8 a factor of t?
True
Does 19 divide 17/(-85)*0 + 1*2861?
False
Let r(q) = 17 - 101*q**2 + 103*q**2 + 14*q - 5. Is 24 a factor of r(-9)?
True
Let i(m) = 7*m + 26. Let s(r) = r**2 + 2*r + 10. Suppose -7*t + 4*t = 0. Let v be s(t). Is i(v) a multiple of 13?
False
Let a be (148/6)/(5 - (-104)/(-24)). Suppose 8*h + a = 933. Does 6 divide h?
False
Suppose 24 = 7*y - 4. Suppose -3*f - 24 = -3*k, f = 2*k + y*f - 36. Does 3 divide k?
True
Suppose -5*j + w = -40871, 2*j + 4*w - 8087 - 8257 = 0. Does 28 divide j?
False
Suppose -4*f = -s, 0*f = s + f - 5. Suppose s*u - 3*l = -8*l + 2634, 3*u + l = 1981. Is u a multiple of 49?
False
Suppose -50*s - 2744 - 56191 = -65*s. Is 8 a factor of s?
False
Suppose f = -5*d + 110176, -2*d + 32927 = -5*f - 11138. Does 15 divide d?
True
Let h(l) = 52*l + 3. Let n = 162 - 106. Let d = 57 - n. Does 15 divide h(d)?
False
Let g(s) = 61*s - 1239. Is g(50) a multiple of 15?
False
Suppose 279*o + 14841 = 284*o - 2*j, -4*o + 11877 = -3*j. Is 23 a factor of o?
True
Suppose 83200 = 4*o + 4*o. Suppose -k = -9*k - o. Is (-30)/4*k/39 a multiple of 45?
False
Let u(o) = -51*o - 30. Let r be u(-17). Suppose 1489 = 5*s + 3*p, -341 = -4*s + 2*p + r. Suppose 1181 - s = 5*x. Is 9 a factor of x?
False
Suppose 100009 + 299159 = 22*t. Is t a multiple of 36?
True
Let f(a) = -12*a - 187. Let y be f(-20). Suppose 67*l - y*l - 1344 = 0. Does 12 divide l?
True
Let x(z) = 3*z**2 + 21*z - 12. Let l be x(-9). Let r = -41 + l. Does 9 divide (r + -4)*86/(-6)?
False
Suppose 4432 = 5*m + 3095 - 6253. Is 7 a factor of m?
False
Is 70 a factor of (-1226630)/(-40) + -5 + (-26)/(-8) + -4?
True
Let h be (-1 + 0)/(-3*5/(-15)). Does 19 divide (-2*h/4)/((-13)/(-5330))?
False
Suppose 2*a = -2*a + 6*a. Suppose 4*s - 3*s = 4*z - 813, 4*z + s - 819 = a. Is 16 a factor of z?
False
Suppose -72*g + 313148 = -67699 - 338145. Is g a multiple of 130?
False
Let a(k) = 147*k**2 - 9. Let v(m) = -m**2. Let f(p) = a(p) + 2*v(p). Let s be f(-3). Suppose -7*i = i - s. Is 21 a factor of i?
False
Let t be 2/(-32)*50 - (4 - (-99)/(-24)). Let s(u) = 3 + 0*u - 1 - 5*u. Does 6 divide s(t)?
False
Suppose s + 3 = 3*m - 18, 4*s + 9 = -3*m. Let t be (-2)/s - (-928)/24. Let n = t - 28. Is n a multiple of 11?
True
Suppose 5*s = -40*g + 37*g + 24294, -3*s + 3*g = -14562. Is 160 a factor of s?
False
Let y(h) = h**2 - 30*h + 10. Let f be y(11). Let d = f + 301. Suppose z = -w + 21, -7*z + 2*w + d = -3*z. Does 6 divide z?
True
Let p = 18165 - 12786. Is p a multiple of 32?
False
Let c(k) = 44*k + 54. Suppose 4*p - 27*z - 8 = -30*z, 0 = -z. Does 71 divide c(p)?
True
Let o = -45 + 74. Let q = -116 - -118. Suppose -q*w = -31 - o. Does 4 divide w?
False
Does 30 divide 701 - (-8 - (-5 + 10))?
False
Let v(u) = 3*u**3 - 87*u**2 - 82*u - 25. Let l(k) = k**3 - 29*k**2 - 27*k - 8. Let p(c) = 8*l(c) - 3*v(c). Is p(30) a multiple of 2?
False
Let h be 32*(-9)/18 + -14. Let i be (0 - 1)/((-5)/(-15)). Is 1/(i/h)*144/12 a multiple of 40?
True
Suppose -26*i + 12815 = -1121. Is i a multiple of 66?
False
Suppose -39528 = -21*q - 33*q. Does 3 divide q?
True
Let o be (-2 - 1)*((-62)/6 - 4). Suppose -o*u + 49*u - 234 = 0. Is u a multiple of 3?
True
Suppose 2*r = 3*j - 1150 - 539, 2*j - 2*r - 1128 = 0. Does 11 divide j?
True
Suppose 5*d - 7*h = 132753, 41*h = 43*h - 2. Is d a multiple of 156?
False
Suppose -19*l + 362 = -322. Is 15 a factor of (l - -6) + -1 + 4?
True
Let x(s) = 65 + 32 + 70 + s. Is 35 a factor of x(-27)?
True
Let l(y) be the second derivative of 5*y**4/6 + y**3/6 + 34*y - 47. Let u = -3 - -2. Is l(u) a multiple of 3?
True
Let k(o) = 752*o**2 + 34*o + 117. Is k(-4) a multiple of 8?
False
Let m(b) = b**2 + 59*b + 1691. Is m(-58) a multiple of 5?
False
Let z = 144 - 245. Let u = z - -38. Let d = 153 + u. Does 15 divide d?
True
Suppose v = -3*k + 1647 + 8419, 5*k - 50310 = -5*v. Is v a multiple of 20?
True
Let w(l) be the second derivative of -l**5/20 + 7*l**4/12 + 7*l**3/6 + l**2 + 16*l. Let y be w(8). Is (343 - -14)*(-2)/y a multiple of 17?
True
Suppose -59*l - 931075 + 2696886 = 0. Does 21 divide l?
False
Let p(t) = 24*t**2 - 16*t - 8. Let n be p(-9). Suppose 0*i = -2*i, 0 = 4*m - 4*i - n. Does 26 divide m?
True
Is ((-1134)/5)/((-901)/1445 + (-21)/(-35)) a multiple of 153?
True
Let h be ((-90)/8)/((-1)/4). Suppose -3*z - 6 = h. Let n = z + 65. Is 4 a factor of n?
True
Let v(n) = -n**3 + 4*n**2 - 4*n + 16. Let l be v(4). Suppose 2*q - 5*s - 530 = -3*q, 5*q - 2*s - 524 = l. Is 26 a factor of q?
True
Let j(f) = 4369*f + 549. Does 55 divide j(3)?
False
Suppose 26*i - 37*i = -48939. Suppose 20*x - 19929 + i = 0. Does 22 divide x?
False
Let b = 4 - 2. Suppose 1696 = 4*f - 4*j, b*j - 7 - 1 = 0. Let t = 603 - f. Does 40 divide t?
False
Let c be ((-4)/(-6))/(7/((-168)/(-4))). Suppose c*b = 190 + 262. Does 22 divide b?
False
Let n(o) = -o**3 - 5*o**2 - 3 - 14*o - 2*o**2 + o**2 + 2*o**3. Let j be n(8). Let q = j - 2. Is q a multiple of 8?
False
Suppose 0 = -224*i + 2539066 + 2976710. Is 108 a factor of i?
True
Suppose -185*q + 216446 + 863954 = 0. Is q a multiple of 16?
True
Suppose 9*a - 7310 + 1091 = 0. Does 2 divide a?
False
Let j(v) = -254*v - 912. Is 64 a factor of j(-24)?
True
Let c(g) = 8*g - 5. Let p = -94 - -158. Let x = 69 - p. Is c(x) a multiple of 11?
False
Suppose 3*g = -4*g. Suppose g = -4*m + b + 3*b + 2480, m - 626 = 3*b. Suppose -11*x = -329 - m. Is x a multiple of 20?
False
Let t = -129 + 127. Let b(x) = -97*x - 74. Is 15 a factor of b(t)?
True
Suppose -2*x - 204 = x. Let p = -1471 + 1574. Let f = x + p. Is 7 a factor of f?
True
Let s(g) = g**3 - 3*g**2. Suppose -41*f = -38*f - 9. Let l be s(f). Suppose -6*y - 402 + 1062 = l. Does 28 divide y?
False
Suppose -4*p = -2*d + 10146, 5*p + 17185 - 1974 = 3*d. Is d a multiple of 11?
False
Let z(t) = t**3 + 2*t + 4. Let l be z(-9). Let s = -686 - l. Does 3 divide s?
True
Suppose -3*i = 0, -15*i = -2*r - 10*i + 22. Let h = 14 + -14. Suppose h = -r*f + 7*f + 60. Is 3 a factor of f?
True
Let k(m) = 9*m + 35. Let g be k(3). Let x = 182 - g. Does 40 divide x?
True
Suppose 0 = 5*o + 440 + 70. Let j = o + 329. Suppose f - 89 = -y + 4*f, 3*y - j = f. Does 26 divide y?
False
Let q(a) = -a**2 - 8*a - 5. Let m be q(-6). Let j = 13 - m. Suppose -2*w = -j, -2*g - w + 138 = 3*g. Is g a multiple of 9?
True
Suppose -4*x + 5*j + 13572 = 0, 5*j = -8*x - 12719 + 39803. Is 11 a factor of x?
True
Suppose -28*a + 98212 = 4*m - 29*a, 3*m + 2*a = 73648. Is 88 a factor of m?
True
Let r = -9494 + 9496. Let s be ((-2)/3)/(3/(-9)). Suppose 3*z = s*l - 3*l + 96, 0 = -2*l - r*z + 192. Is l a multiple of 10?
False
Let r = 16553 - 12952. Is 64 a factor of r?
False
Let h(l) = -5*l**2 - 28*l + 47. Let z be h(-7). Is (10/z - (-6 + -454)) + 5 a multiple of 20?
True
Let z = 20 - 18. Let n(w) = 4*w + 3*w + 7*w - 16*w + 2*w**2 - z. Is 15 a factor of n(6)?
False
Let a(y) = 43*y + 1286. Is 9 a factor of a(13)?
True
Is 22 a factor of (81144/(-1323))/((-1)/132)?
True
Let n = 203 + -159. Does 22 divide n/3*6/4?
True
Suppose 4*f - 4*h = 2*f + 152, -3*f = 3*h - 273. Is 1914/4*f/129 a multiple of 10?
False
Let b(w) = -w**2 + 3*w + 14. Let k be b(4). Suppose 630 = -k*f + 17*f. Is 10 a factor of f?
True
Suppose 4 = -4*r, -2*a + 301*r + 6884 = 305*r. Is 14 a factor of a?
True
Suppose 0 = 4*v + 2*m - 36, 3*m - 6*m = 4*v - 34. Let z = v + -3