de 14000/v*(24/(-28))/(-1)?
True
Let r(b) = b**3 - 2*b**2 - 6*b + 6. Let q be r(4). Suppose -180 = q*s - 9*s. Is (s/(-15))/((-21)/(-350)) a multiple of 10?
True
Let u(y) = 2*y - 2. Let f be u(1). Is (1 - f) + 45 + -5 a multiple of 2?
False
Let i(v) = -24*v + 24. Let t be i(10). Let z = t + 411. Does 39 divide z?
True
Suppose -4*i - a - 76724 = -7*i, 2*i = -5*a + 51172. Is 5 a factor of i?
False
Let a be 510 + (-2 - (4 + -4)). Suppose -a = -t + 13*b - 9*b, 0 = t - 3*b - 512. Is 10 a factor of t?
False
Suppose 8*f - 132 = 7*f. Does 17 divide f?
False
Let k = -3546 + 7483. Suppose k - 481 = 6*j. Does 16 divide j?
True
Let f be 4/(-22) + (-2)/1*(-8145)/(-66). Let d be (-222)/2*1 - -1. Let u = d - f. Is 50 a factor of u?
False
Suppose b + 4*p - 11 = 0, -2 = -3*p + 2*p. Suppose -u + 3*x + 1 = 0, -4*u + 5*x + 36 + b = 0. Suppose 0 = -u*j + 7*j + 2439. Is j a multiple of 16?
False
Let j = 651 - -548. Suppose -14*b = -j - 929. Is b a multiple of 3?
False
Is (-17)/((-1428)/186340) - 10/(-6) a multiple of 15?
True
Suppose a + 55 = 5*z, z - 60 = -4*z + 2*a. Let d(p) = 5*p**3 - 2*p**2 + 8*p - 7. Let g be d(1). Does 13 divide 1155/z + (-6)/g?
False
Let h(c) = 34*c - 695. Let u(v) = -11*v + 231. Let y(o) = 2*h(o) + 7*u(o). Does 7 divide y(7)?
False
Suppose -147 - 271 = 19*p. Let k = p - -158. Does 68 divide k?
True
Let b = 118 - 171. Let a = -74 - b. Let i = a - -72. Is i a multiple of 32?
False
Suppose -55 = -5*u - 0*t - t, -u - 4*t = 8. Suppose -2*q = -u*q + 6160. Does 22 divide q?
True
Suppose 10*z - 36*z + 108707 = -27013. Is 18 a factor of z?
True
Let l be (3*42)/(84/56). Let g = l - 89. Is 15*((-14)/(-6) - g) a multiple of 13?
False
Let k(r) = 25*r**2 - 4*r - 6. Let d be k(-3). Let p = 254 - d. Does 2 divide p?
False
Suppose -2*k - 2*t = -1300, 5*t + 10 + 610 = k. Suppose -g + 4*v + k = 0, -4*g = -0*v + 5*v - 2643. Is g a multiple of 39?
False
Let o = 6740 + -4364. Is 72 a factor of o?
True
Suppose 2*k + h = 6, -3*k - h = 3*h - 14. Suppose 3*o = a + 1624, 7*a - 9*a - 1088 = -k*o. Is o a multiple of 6?
True
Let v be 1/(-4) + 95/76. Let y(l) = 959*l + 2. Does 37 divide y(v)?
False
Let k(a) be the second derivative of -a**4/4 - a**3/3 + a**2/2 + 16*a. Let q(t) = 7*t**2 + 3*t - 2. Let d(j) = 10*k(j) + 6*q(j). Is 10 a factor of d(3)?
True
Let u = 45 - -107. Let s(j) = 275*j - 258. Let g be s(2). Let l = g - u. Does 28 divide l?
True
Let b be 1/(7 + -2) - (-84)/5. Is 24 a factor of (-19 - b)/((-6)/20)?
True
Suppose -7*j + 2830 + 1573 = 0. Let r = 1394 - j. Is r a multiple of 76?
False
Is 19 a factor of (9 + 220/(-24))*-248*(-6)/(-8)?
False
Suppose 3*a - 62 = 2*x, 5*a = x + 61 + 40. Let p(q) = 15*q**2 + 3. Let w be p(5). Suppose 18*f - a*f + w = 0. Does 9 divide f?
True
Is 104 a factor of 23 + -26 + 4883 + 8?
True
Let a(y) = y**3 + 10*y**2 + 7*y - 3. Let w(c) = 3*c - 33. Let g be w(8). Let z be a(g). Is 3 a factor of (z/(-6))/(-1)*(-36)/(-10)?
True
Let u = 4 + 4. Suppose 85 = 2*b - 55. Let y = b + u. Is y a multiple of 26?
True
Suppose -20*j = 17 - 77. Suppose -4*a + 528 = z + 2*z, -5*z = j*a - 891. Does 20 divide z?
True
Does 14 divide ((-50142)/(-2928) + (-3)/(-8))*2876/7?
False
Does 21 divide (94685/10)/(8/(-52) - (-17)/26)?
False
Suppose -5*s = -3*f + 14, -f + 3*f + s - 5 = 0. Suppose f*x - 8*x - 635 = -4*d, 0 = 3*x + 9. Let l = d + -90. Does 14 divide l?
False
Let f(n) = n + 4. Let v be f(-2). Suppose -v*r + 3 = k - 4*r, -r = 4*k - 12. Suppose -u - 140 = -k*j, 5*u + 4 = -21. Is 9 a factor of j?
True
Let z = 29 + -32. Let y be ((-22)/1)/((-4)/(-48)*z). Suppose 39*s - y = 38*s. Does 10 divide s?
False
Suppose -3*u + u = 4*g - 56, 3*g - 5*u - 16 = 0. Suppose -24*i + 19*i - 70 = 0. Let s = g - i. Is s a multiple of 4?
False
Let w = -950 - 687. Let o = w + 2407. Is o a multiple of 14?
True
Let x be (-837)/(-6)*6/9. Let z = 133 - x. Is 19 a factor of (19*4)/(16/z)?
True
Let b(h) = h**2 + 32*h - 26. Suppose w + 12*j + 14 = 7*j, 5*j = 4*w + 156. Is b(w) a multiple of 6?
True
Let z = 9161 - 7403. Is 5 a factor of z?
False
Suppose -2*l - 4*w + 8380 = 0, 37*w + 5 = 36*w. Does 24 divide l?
True
Let d(r) = -r**3 + 10*r**2 + 8*r + 13. Let g be d(7). Let f = g - -620. Is f a multiple of 19?
True
Let s(v) = 6*v + 28. Let l be s(-4). Suppose 0 = w + 5 - l. Does 39 divide (-194)/w + (4 - 8)?
False
Let f(q) = 3*q - 9 - 3 + 3*q**2 - 4*q**2 + 10*q. Is f(4) a multiple of 3?
True
Let o be (0/(3/3 + -4))/1. Suppose 1326 = 2*k + 3*g - o*g, 0 = 3*k + g - 1982. Is k a multiple of 40?
False
Let z be -11 + 11 + -1 + 10*1. Let g(l) = -l**3 + 8*l**2 + 8*l + 9. Let a be g(z). Suppose a*j = -j + 5*h + 146, 4*h = 3*j - 416. Is 34 a factor of j?
True
Suppose -6581*i + 189652 = -6547*i. Is 81 a factor of i?
False
Let j(q) = q**3 + 2*q**2 + 4*q + 7. Let f be j(-2). Let w be f - (-26)/22 - 268/22. Does 13 divide w/(-9)*6/(-4) + 119?
True
Let t(s) = 37*s + 1720. Is 62 a factor of t(-31)?
False
Let z(x) = 9344*x**2 - 116*x - 1. Is z(1) a multiple of 16?
False
Suppose 10*a - 2259 = 23*a - 32458. Does 23 divide a?
True
Let d = 51 - -208. Suppose 5*j + 3*l = 353, -4*j + 37 + d = -l. Does 31 divide j?
False
Let q(x) = -2*x + 45. Let y be (5/10)/(-2*(-2)/544). Suppose -2*l - 2*l = -12, 0 = 4*j - 4*l - y. Does 3 divide q(j)?
False
Suppose -1934 = -70*w + 68*w. Let d = w + -512. Suppose -10*j + d = -655. Does 14 divide j?
False
Let h(j) = 2*j**2 + 8*j**2 + 8 - 8*j + 2*j**2 - 2*j. Is 19 a factor of h(4)?
False
Let a = -88 + 163. Suppose -a = -w + 435. Does 20 divide w?
False
Is 7 a factor of (3/2 + 0)*161336/129?
True
Let a(b) = b**2 + 7*b - 16. Let c be a(-10). Suppose -469 - 3857 = -c*o. Is o a multiple of 3?
True
Let u be 936/54 - (-4)/6. Let t be 1*u/15 + (-2)/10. Is (1 + t)/((-20)/(-560)) a multiple of 4?
True
Is (9 + -5)/(-4)*-133 a multiple of 133?
True
Suppose -2*l + 1835 = -r, 3676 = 27*l - 23*l + 4*r. Is 34 a factor of l?
True
Does 14 divide 2/(-8)*272/(-51)*3552?
False
Suppose 4*z = -16, -2*m - 4*z = -3*m + 119. Suppose m = -2*v + 7323. Does 6 divide v/75 + 10/(-75)?
True
Let y = -259 - 11. Let s be (-6)/10 + y/(-75). Suppose s*f = -3*u + 111, -2*u - 12 - 70 = -2*f. Is f a multiple of 7?
False
Let k(c) be the third derivative of c**6/60 + c**5/6 + c**4/24 + 5*c**3/6 + c**2. Let h be k(-5). Suppose q + 4*q + r = 95, -5*r + 25 = h. Is 6 a factor of q?
True
Let i be -3 - (-4)/(16/28). Let g(p) = 38*p + 30. Let a be g(7). Suppose 4*k - 37 = -5*y + 223, i*k = 4*y + a. Is k a multiple of 14?
True
Suppose l + 4*t = 47, 0 = -l + 4*t + 21 + 18. Suppose -m - l = -4*m + 2*c, -4 = -4*c. Suppose -u + m = i, i = -i + u + 33. Is i a multiple of 16?
True
Let d(o) = 2*o**2 - 13*o. Let p(j) = -j**2 + 7*j. Let v(y) = 6*d(y) + 11*p(y). Let n be v(0). Is 4 + 115 + n/(-1) a multiple of 22?
False
Let k(r) = -r**3 + 15*r**2 - 10*r - 15. Let n be k(14). Suppose -37*z - 1124 = -n*z. Is 9 a factor of z?
False
Let y = 13091 - 8002. Is 11 a factor of y?
False
Let y be (51/4)/((-2)/184). Let d = y - -2075. Is d a multiple of 22?
True
Let w(f) = 2*f**3 - 33*f**2 + 96*f - 970. Does 69 divide w(29)?
True
Let j(q) be the third derivative of q**5/12 - 7*q**4/8 + 17*q**3/2 + 86*q**2. Is j(6) a multiple of 6?
False
Let j = -867 - -1662. Does 5 divide j?
True
Let u = 194 + -176. Is 3 a factor of (84/(-9))/(u/(-27))?
False
Let k = -255 - -88. Does 9 divide (1 - k)/(7*2/21)?
True
Suppose 6*o + 5480 = 16*o. Suppose -30 + o = 7*i. Is 4 a factor of i?
False
Let b(w) = 63 - 95*w**2 + 5*w - 14*w + 96*w**2. Is b(13) even?
False
Let r be 45/60*8/3. Let m(d) = 373*d - 74. Is 14 a factor of m(r)?
True
Suppose 20 = 5*z - z - 5*u, -4*u = z + 16. Let t(d) = z*d**2 - 7 + 3*d**3 + 2*d + 10 + 9 - 5*d**2. Does 12 divide t(4)?
True
Let f be 7 + -6 - (-122 + -2). Let l(c) = -5*c + c**2 - f + c - 11*c + 114. Is l(19) a multiple of 43?
False
Suppose -6*l = -2*l + 804. Let a = l - -495. Is a a multiple of 21?
True
Let j = -672 + 375. Let d = j + 343. Does 46 divide d?
True
Let z be (69/(-4))/((-15)/140). Suppose z*g - 176*g = -1890. Is g a multiple of 7?
True
Suppose t - 17 = 7. Let r be 12/t - 6/(-4). Suppose y - 27 = -0*c + r*c, 3*c - 27 = -y. Is 5 a factor of y?
False
Let z(p) = -45 + 41 + 3*p**2 - 9*p**3 - 7*p**3. Let b(u) = u**3 - 5*u**2 - 5*u - 8. Let j be b(6). Does 34 divide z(j)?
True
Let s(n) = 5*n - 5. Suppose -4*t + 139 = 3. Let p(v)