 640 = -h + 9*s, -3*s + 1302 = 2*h. Is 24 a factor of h?
True
Let i = 44 + -58. Let g = i - -11. Let m = g - -59. Is m a multiple of 17?
False
Let l = -3380 - -18038. Does 120 divide l?
False
Let z be (45/10 + (-1 - 4))*-48. Is 32 a factor of (4/(z/1383))/(1/2)?
False
Suppose -30 + 0 = -3*s. Suppose 0 = -15*y + s*y + 60. Is 4 a factor of y?
True
Suppose 3*q - 98*s - 90723 = -94*s, -q + s + 30244 = 0. Is 9 a factor of q?
False
Suppose 83*y - 3250 = 85*y. Is y/(-2) + 10/((-80)/(-12)) a multiple of 22?
True
Let n(i) = -873*i**3 + 20*i**2 - 7. Is n(-2) a multiple of 31?
False
Let y be 4 - (-1 + 49)/(-4). Let g be 24/y*8/3. Suppose 2*o = -g, -2*z - 2*z = 5*o - 494. Is 16 a factor of z?
False
Let t = -1428 + 6198. Is 90 a factor of t?
True
Suppose 3*l = h - l - 82, -3*h = 4*l - 326. Suppose 4*k + 0*k - 5*b - 248 = 0, -3*b = 2*k - h. Does 24 divide k?
False
Let i = 3253 + 2297. Does 10 divide i?
True
Suppose 0 = 12*u - 48363 - 48681. Is 10 a factor of u?
False
Let o = -70 + 88. Suppose 2*n + 5*u - o = -n, -10 = -4*n - 2*u. Is 27 a factor of n + 38 + (-5)/(-5)*4?
False
Is -63*(-10)/(-30) + 4080 a multiple of 9?
True
Let i(l) = 757*l**2 + 182*l + 980. Is 145 a factor of i(-5)?
True
Suppose -4*x + 1026 = -1034. Suppose -2*u = -p + 106, 4*u + 187 = -3*p + x. Is p a multiple of 12?
True
Let g = -47641 + 67401. Is 40 a factor of g?
True
Let n = 21792 - 15375. Does 93 divide n?
True
Suppose -4*o - 187 = 13. Let f = o - -52. Is 9 a factor of f/(-3)*(-4752)/32?
True
Suppose -c = 4*c. Suppose 15*d + 3*d - 180 = c. Is d a multiple of 2?
True
Suppose 42*h = 46*h + 2*u - 12128, 3*h - 9096 = -2*u. Is h a multiple of 8?
True
Let p = -18 + 58. Let z = p - -61. Let y = 49 + z. Does 26 divide y?
False
Suppose 2*q + 3*q - 4*n = -783, -4*n = -2*q - 318. Let f = q - -431. Is 46 a factor of f?
True
Let t(n) = -n**3 + 7*n**2 - 6*n - 3. Let v(p) = p**2 + 3*p + 3. Let c be v(-3). Let b be 9/c + (-12)/(-6). Is t(b) a multiple of 17?
True
Let u(t) = 23*t - 59. Let g be u(9). Let o = 250 - g. Is 3/(((-4)/o)/(-2)) a multiple of 9?
True
Let p(f) = 7*f**2 + 32*f - 1537. Is 121 a factor of p(32)?
True
Suppose -3*x - 5*j = -4939, -4*j + 7*j = -5*x + 8237. Suppose -f - x = -5*b, -3*f + 41 = 2*b - 625. Is 6 a factor of b?
True
Let g = 43670 - 24520. Is 57 a factor of g?
False
Suppose -31*c + 33*c + 267141 = 5*v, 5*v = 3*c + 267134. Is 17 a factor of v?
True
Let r be 3/(6/7) + 1/(-2). Let q(t) = 7*t**2 + t + 2. Is 4 a factor of q(r)?
True
Let u(r) = r**2 + r - 1. Let b(c) = -21*c**2 + 21*c + 75. Let h(a) = -b(a) - 5*u(a). Is h(-7) a multiple of 14?
True
Suppose t - 2*t + 4*r = -1972, -3*r - 3969 = -2*t. Is t a multiple of 24?
True
Let z(s) be the second derivative of 13*s**5/30 + 5*s**4/24 - 5*s**3/6 - 10*s. Let y(b) be the second derivative of z(b). Is y(3) a multiple of 24?
False
Let a be (((-15)/(-4))/((-3)/16))/1. Does 9 divide (-4)/16 - 1/(a/2345)?
True
Suppose 0 = 5*b + 5*f - 6 - 9, 5*f + 5 = 0. Suppose 0 = -b*n, m = 4*n + 54 + 418. Is m a multiple of 67?
False
Let y(n) = -3*n**2 + 176 + 3*n - 3*n + 5*n**2 + 0*n**2 + 17*n. Does 9 divide y(-21)?
False
Let w(z) = -z**2 + 9*z + 12. Let v be w(10). Suppose 30 = -v*t + 7*t. Is t a multiple of 6?
True
Let q = 90 + -127. Let u = -35 - q. Is 12 a factor of 6/u + 149 + 2/2?
False
Let l(f) be the first derivative of -f**3/3 + 20*f**2 + 14*f + 178. Is l(19) a multiple of 38?
False
Suppose -3*p = -3*s - 648 + 5145, 0 = s + 2*p - 1511. Is 150 a factor of s?
False
Let h be 17 + -1 - 0 - (-46 - -44). Let f(r) = r**3 - 18*r**2 + 7*r + 18. Does 24 divide f(h)?
True
Let u(b) = 2*b**2 + 2*b + 1. Let v be u(1). Let c be v + 18/15*(-20)/8. Suppose 3*s + t - 5*t - 344 = 0, -556 = -5*s - c*t. Does 28 divide s?
True
Suppose 4*m + 83 - 35 = 0. Let i be ((-4)/5)/(m/(-90)). Is 15 a factor of (-886)/(-10) + i/10?
False
Let w(f) = -188*f + 102 - 48 - 47. Is w(-1) a multiple of 39?
True
Let t = 30174 + -27259. Is t a multiple of 53?
True
Let l be -3 + ((-2)/5 - (-444)/10). Let a = 193 - l. Is 38 a factor of a?
True
Suppose -35*q + 3456 = -29*q - 4*q. Is q a multiple of 16?
True
Let x(p) be the third derivative of 7*p**5/30 - 2*p**3/3 - 59*p**2. Is x(6) a multiple of 47?
False
Let p be (-9)/162*-6*-1*3. Does 2 divide 84/(-18) + p/3 + 46?
False
Let x be (-12 - 11)/(3 - 4). Let b(y) = y**3 - 24*y**2 + 20*y + 91. Is 22 a factor of b(x)?
True
Let n = -32 + -3. Let z = 43 + n. Does 8 divide (z/16)/((-1)/(-22))?
False
Let z = 582 - 875. Let p be (-9)/(-27) + z/(-3). Let o = p - 68. Is 18 a factor of o?
False
Let d = 100293 - 64005. Is d a multiple of 168?
True
Let x(q) = q**2 - 11*q - 28. Let c be x(11). Does 72 divide ((-679)/c)/((-4)/(-160))?
False
Let q(a) = -a**3 + 24*a**2 + 34*a - 56. Let u be q(24). Let y = u - 557. Is y a multiple of 7?
True
Suppose -3*p + 15 = 4*c, c + p - 23 = -18. Suppose c = -5*y - 1116 + 4041. Is 6 a factor of y?
False
Suppose 7*l = -21*l + 47096. Let t = 2546 - l. Is t a multiple of 12?
True
Is (-9)/18 + 2/(-13) + (-32767)/(-806) a multiple of 23?
False
Let l(d) = -d**3 + 64*d**2 - 97*d + 82. Is l(62) a multiple of 42?
False
Is 275 a factor of 965244/15 + (5 - 13) + 378/45?
True
Let f = -618 - -1102. Does 11 divide f?
True
Suppose 5351*k + 12968 = 5353*k. Does 28 divide k?
False
Suppose 1566 = -27*d + 19926. Is 136 a factor of d?
True
Let j(l) = -8*l**2 + l**3 + 110 + 18*l**2 - 125. Does 4 divide j(-7)?
True
Let x(q) = 3*q**3 + 143*q**2 + 210*q - 79. Does 78 divide x(-35)?
False
Let x = -2326 + -666. Is 10 a factor of -5 + x/(-40) + (-1)/(-5)?
True
Suppose 0 = 330*n - 358008 + 67608. Is n a multiple of 20?
True
Let r(w) = -w**3 + 7*w**2 + 446*w + 63. Is 45 a factor of r(-33)?
False
Suppose 5*s - 2*g = -161 + 3, s + 4*g = -36. Let j(z) = -49*z**2 - z. Let t be j(-1). Let p = s - t. Is 15 a factor of p?
False
Suppose n - 3*q - 2862 = -5*q, n - 2850 = -5*q. Suppose -3*p = -n + 1121. Is p a multiple of 53?
True
Let w = -90 - -145. Does 18 divide (w/(-5))/(2*1/(-12))?
False
Suppose 13*b - 36382 - 16580 = 0. Does 16 divide b?
False
Does 54 divide (-28)/(-2) + (-649344)/(-228)?
True
Let r be (6/5)/((-57)/12730). Let m = r - -632. Does 7 divide m?
True
Let i = -213 - -240. Is 13 a factor of -1*i/6*(-164)/3?
False
Let m(n) = -75*n**2 + 14*n - 72. Let b be m(-14). Is 17 a factor of 14/(-35) - (b/(-10))/(-2)?
True
Let x(q) = q**2 + 59*q + 813. Is 14 a factor of x(-56)?
False
Let t(l) = -2*l**3 + 16*l + 4*l**2 - 26*l + 8*l + 9 + 3*l**3. Let k be t(4). Does 6 divide (3/9*k)/1?
False
Let a(z) = 6*z - 63. Suppose 5*q - 6*d + 3*d + 34 = 0, -3*d - 22 = 2*q. Let v be 122/6 - q/(-6). Is a(v) a multiple of 18?
False
Suppose 0 = -2*s + 147*s - 41615. Is 78 a factor of s?
False
Let v be -48*((-1628)/(-330) + 2/5). Let h = v + 1384. Does 9 divide h?
False
Let m(c) be the first derivative of 47*c**3/6 - 17*c**2/2 - 13*c + 13. Let b(w) be the first derivative of m(w). Is b(4) a multiple of 28?
False
Suppose 0 = -402*j + 142*j + 5517200. Is 99 a factor of j?
False
Let h = -5039 + 5729. Is h a multiple of 23?
True
Suppose 0 = -22*c + 18*c - 48. Let v be 52/c + (-2 - (-21)/9). Is 12 a factor of v/16*272/6*-6?
False
Let a = -5035 - -7483. Does 54 divide a?
False
Is 31 a factor of 295/10*(-10416)/(-28)?
True
Let w = 10 - 5. Let r be 6 - (-288)/64*1*12. Suppose -w*k = -k - r. Is 2 a factor of k?
False
Let m = 59 + -56. Suppose 12*x - 8*x - 2*l = 64, m*l + 6 = 0. Let d(u) = 4*u - 48. Is 4 a factor of d(x)?
True
Let k(s) = -2*s**2 - s - 9. Let n be k(0). Is 13 a factor of (141/12*n)/((-17)/68)?
False
Let v(i) = 2*i**2 + i. Let a(x) = 2*x + 43. Let u be a(-20). Let s be ((-1)/u)/(20/120). Is 4 a factor of v(s)?
False
Let f(u) = -u**2 + u - 402. Let a be f(0). Let q be (42 + -62)*4/(-5). Is 14 a factor of (a/24)/((-2)/q)?
False
Suppose 0 = 3*m + 4*p - 6345, 0 = -1204*m + 1199*m - p + 10592. Is m a multiple of 20?
False
Let n(x) be the third derivative of -19*x**4/24 - 5*x**3 - 2*x**2. Let y(b) = -2*b + 52. Let d be y(30). Is 18 a factor of n(d)?
False
Let m = 4 - 1. Let c be (-2 - 12/9)/(210/(-18396)). Suppose -m*x + 4*z = -549, 3*x - 257 - c = -5*z. Is 13 a factor of x?
False
Let h(f) = -f**3 - 136*f**2 + 337*f - 471. Is 23 a factor of h(-139)?
True
Suppose 0 = 4*r - 3*r - 12. Let t be 2/3*90/r. Suppose t*p + 53 - 313 = 0. Is 13 a factor of p?
True
Suppose -11*c + 