8 + 4*(-151932)/(-384)?
False
Suppose 0 = 5*y + 5*c + 20, 3*c - 11 = -y + 7*c. Suppose 0 = 4*g - 2*k - 610, -320 = -0*g - 2*g - 4*k. Does 16 divide ((-6)/12)/(y/g)?
False
Let h = 8 - 4. Suppose -3*v = h*m - 9*m - 77, -2*v = 2*m - 46. Is v a multiple of 6?
True
Suppose -2*q + 7*q = 0. Let c be (-4)/12 + -2 + (-142)/(-3). Suppose t = -q*t + c. Is t a multiple of 15?
True
Let i(s) = -5*s**2 - 9*s**2 - 3*s**2 + 20*s**2 - 1. Let l be i(-1). Suppose l*o - 5*o + 18 = 0. Is o a multiple of 4?
False
Let j(t) be the third derivative of -17*t**4/24 - 5*t**2. Let m be j(-1). Suppose b - 13 - m = 0. Is 10 a factor of b?
True
Is (138/9)/(((-28)/(-18))/14) a multiple of 17?
False
Let o be 7/35 + (-9)/(-5). Suppose o*x = 5*r + 4, -3*r - 5*x + 8 = -x. Suppose r*j = -j + 30. Is j a multiple of 6?
True
Let z = -80 - -82. Suppose 2*j + 1552 = 4*i, 0 = j + z. Does 43 divide i?
True
Let g = 190 - 170. Is g a multiple of 5?
True
Suppose -4*k + 0 = -4*n - 24, 2*k + 2*n = 4. Suppose -3*c + k + 14 = 0. Is 6 a factor of c?
True
Suppose -3*j - y = 21 - 872, -4*j + 2*y + 1148 = 0. Is 3 + -1 + 2/(2/j) a multiple of 39?
False
Is (75/(-12))/((-13)/1040) a multiple of 5?
True
Let v = -20 + 13. Is (-2)/v + (-2080)/(-70) a multiple of 6?
True
Suppose -l = 1 - 0. Let u(z) = 25*z + 2. Let r be u(l). Let n = r + 33. Does 7 divide n?
False
Let m = 2 + -2. Suppose m = -3*z - 2*z. Suppose -4*y = j - z*j - 47, -3*j + 123 = 3*y. Is 21 a factor of j?
False
Let i = -948 - -1388. Is 11 a factor of i?
True
Suppose 0 = 3*i + 5*v + 9456, -2*v - 3152 = -i + 2*i. Is 22 a factor of i/(-72) + 4/18?
True
Let c(j) = 21*j - 297. Is c(23) a multiple of 62?
True
Suppose -2*k + 3 = -3. Let p = -55 - -58. Does 25 divide p/(-9) - (-301)/k?
True
Let h = 39 - 19. Suppose 0 = 5*k + h, 3*y + k = -2*k. Suppose -y*u + 0*u + 64 = 0. Does 13 divide u?
False
Let a(d) be the first derivative of -113*d**4/4 + d**3/3 + d**2 + 23. Does 13 divide a(-1)?
False
Let a = 137 + 545. Is 62 a factor of a?
True
Let c be 17 + -16 - 22*1. Let h = c - -29. Does 2 divide h?
True
Suppose -23*c + 20 = -18*c. Suppose c*x - 223 = 3*t + 56, 2*t - 222 = -3*x. Is x a multiple of 21?
False
Let o(w) = w**2 - 16*w + 34. Let g(m) = m**2 - 17*m + 35. Let s(l) = 5*g(l) - 4*o(l). Is 7 a factor of s(21)?
False
Suppose -1184 = -38*m + 30*m. Does 37 divide m?
True
Let n(z) = z**3 - 34*z**2 + 65*z - 32. Let a be n(32). Let g be 12 + (-2*1)/1. Suppose a = -2*q + g + 28. Is q a multiple of 3?
False
Let r(f) = f. Let x be r(3). Suppose 0 = -x*i - 3*c + 156, -2*i + 4*i + 3*c = 104. Let j = 93 - i. Is j a multiple of 17?
False
Let c(y) = -75*y + 75. Does 39 divide c(-5)?
False
Let j(t) = 2*t**2 - 9*t - 73. Is 14 a factor of j(-8)?
False
Let c = 1447 + -1013. Suppose 20*x - 146 = c. Is x a multiple of 2?
False
Suppose -3*y + 17 = -1. Suppose -d + y*d = -2*t + 1066, -2*d + 3*t + 434 = 0. Let c = d - 139. Is c a multiple of 15?
True
Suppose 17*s - 1826 = 7167. Is s a multiple of 19?
False
Is 58 a factor of 2 - (11/((-44)/680) - 2)?
True
Let j(a) = -a**3 - 14*a**2 + 12*a + 2. Is j(-15) a multiple of 5?
False
Let v = 17 - 12. Suppose -l - 8 = -j, 0 = -2*j - v*l + 21 + 16. Let p = -7 + j. Is 4 a factor of p?
True
Suppose 3*x + 20 = 7*x. Suppose x*p - 9 = 1. Suppose 0 = -p*s + y + 77, 0 = -2*s + 5*y - 8 + 73. Is 11 a factor of s?
False
Does 8 divide 1*(-2661)/(-21) - 2/(-7)?
False
Let v(f) = f**3 + 5*f**2 - 6 - f**2 - 3*f + 2*f**2 + f. Let h be v(-5). Let s = -18 + h. Is 5 a factor of s?
False
Is (-6)/(-27)*-3 - 11320/(-6) a multiple of 42?
False
Let n = 274 + 160. Does 7 divide n?
True
Let t be (-1 - 12)/((-5)/165) - -2. Let d = -297 + t. Is 8 a factor of d?
False
Suppose -3*u + b + 3*b + 636 = 0, 639 = 3*u - 3*b. Let q = 303 - u. Is 9 a factor of q?
False
Suppose -18*w + 41748 = -4*w. Does 14 divide w?
True
Suppose 2889 = 10*t + 1039. Does 2 divide t?
False
Let c = 946 - 544. Suppose 5*m = -m + c. Is 10 a factor of m?
False
Suppose 5*p + 397 = 1372. Does 21 divide p?
False
Let i(l) = 3*l**2 + 8*l + 4. Let c be i(-7). Let r(u) = 6*u + 87. Let y be r(-12). Let v = c - y. Is v a multiple of 16?
True
Let h(z) = 3*z**3 - 52*z**2 + 34*z - 29. Does 9 divide h(17)?
False
Let g(m) = -28*m**2 - 2*m - 3. Let p(u) = -29*u**2. Let y(r) = r + 1. Let w(x) = p(x) - 2*y(x). Let i(d) = 3*g(d) - 4*w(d). Is i(1) a multiple of 16?
False
Let l(c) = -67*c + 31. Is l(-20) a multiple of 17?
False
Let g(m) = -m + 13. Let a be g(13). Suppose a = -12*p - 38 + 806. Is p a multiple of 37?
False
Let v be (-113)/(-3) - 4/6. Let o(b) = 26*b + 1. Let p be o(1). Let l = v + p. Does 16 divide l?
True
Let p = 489 + 468. Is 87 a factor of p?
True
Suppose -h - 461 = 2*z, 3*z - 3*h = 2*h - 711. Let t = -124 - z. Is 27 a factor of t?
True
Suppose 520 = -4*d - 2*r - 2*r, d + 3*r + 140 = 0. Suppose -2*x + 0*x - 10 = 0. Is 10 a factor of ((-6)/x)/((-5)/d)?
True
Suppose 5*j = -5*i + 10, 0*i - 2*i - 4*j = 4. Let k = 24 + i. Is (k/(-8))/(1/(-8)) a multiple of 10?
True
Suppose -2*h - 3*v + 2 + 86 = 0, -50 = -h - 3*v. Suppose -2*u = -0*u - h. Does 12 divide u?
False
Is 29 a factor of (((-130)/(-25))/1)/(10/3025)?
False
Is -8 - (-2634 + (-9 - -1)) a multiple of 113?
False
Suppose -7*k + 1008 = -3*k. Suppose 4*i - 2*b = 522, b + k = 4*i - 267. Does 20 divide i?
False
Let z(c) = c**2 + 7. Let q be z(0). Suppose 2 = 3*n - q. Suppose r = n*r - 62. Is r a multiple of 12?
False
Let l(w) = 9*w**2 + 39*w + 409. Is 26 a factor of l(-20)?
False
Let g(y) = -y**2 - 3*y + 13. Let u be g(-5). Suppose -u*q - 33 = -4*q. Does 11 divide q?
True
Suppose 0 = -5*z + 2*i + 2368, -4*z + 0*z + 1900 = 4*i. Is 29 a factor of z?
False
Is 15 a factor of (-13 - 53/(-4)) + 1438/8?
True
Let t(v) = 3*v**2 + 97*v - 49. Is t(-33) a multiple of 2?
False
Let w(f) = f**3 + 9*f**2 + 4*f + 5. Let s be w(-9). Let p be ((-2)/3)/((-3)/(-27)). Let c = p - s. Is c a multiple of 25?
True
Let q be 44 + 0*((-3)/(-2) + -1). Suppose 52 + q = 8*c. Does 3 divide c?
True
Let n(w) = -2*w - 29. Let p(k) = 2*k + 30. Let c(y) = 5*n(y) + 4*p(y). Let b be c(-11). Is (-110)/2*(-4 - b) a multiple of 11?
True
Suppose -78 + 453 = 5*p. Is p a multiple of 12?
False
Is 1343*((-3)/24 - (-27)/24) a multiple of 70?
False
Let v(k) = k**3 - 6*k**2 - 6*k - 1. Let t be v(7). Suppose 4*c = -5*f - 6, -4*f + c = -3*f - t. Suppose -3*y + 4*z + 85 = 11, -f*y + z = -46. Does 11 divide y?
True
Let t be (-1)/(1*(3 + -2)). Let k be (-4 - -65) + (t - 0). Let u = k - -4. Is 16 a factor of u?
True
Suppose -s + v + 3 = -3, 0 = 2*v. Suppose 103 = -s*k + 373. Is 15 a factor of k?
True
Suppose -3*s - 2*a + 0 = -12, 42 = 5*s - 4*a. Suppose f - s = 12. Does 6 divide f?
True
Suppose -5*m - 50 = 2*n - 1169, -4*n + 5*m = -2313. Does 31 divide n?
False
Let a be 1247 + 2/(4/6). Suppose -a = -f - 4*f. Let p = f - 177. Does 16 divide p?
False
Let r be (-2 - 2) + 418/2. Is (-1)/((-5)/(r + 0)) a multiple of 5?
False
Let b = 194 + -137. Let k = -32 + b. Is 15 a factor of k?
False
Let n = 662 - 323. Is n a multiple of 5?
False
Let s = -991 - -1486. Does 45 divide s?
True
Let o be ((-3)/2)/(15/(-310)). Let b = -17 + o. Let n(v) = v**3 - 15*v**2 + 14*v + 6. Is n(b) a multiple of 4?
False
Is 111 a factor of 1*-3*-1182 + (-570)/(-95)?
True
Suppose -1039 - 1252 = -29*j. Is j a multiple of 12?
False
Does 27 divide (5/10)/(7/21392)?
False
Let n be 60/(-18)*(-99)/2. Suppose 0 = 5*w - n + 35. Does 10 divide w?
False
Suppose 7*k - a = 2*k + 48, -16 = -k - 3*a. Does 5 divide k?
True
Let o be (-48)/(-4) + -4 - 2. Suppose 0*i = -o*i + 642. Is i a multiple of 14?
False
Let x(l) = 84*l + 76. Is 18 a factor of x(4)?
False
Suppose 0 = 7*l - 21*l + 5446. Is 9 a factor of l?
False
Let n(u) = 69*u + 160. Does 17 divide n(13)?
False
Suppose -10*c + 10 + 40 = 0. Suppose l = c*l - 3*b - 24, -32 = -4*l + 5*b. Is 3 a factor of l?
True
Let i(a) = -a - 2. Let t be i(8). Let f = t - -15. Is 5 a factor of f?
True
Suppose -592 - 381 = -7*l. Let h = -128 + l. Does 11 divide h?
True
Is (-544)/(-6 + 0 + 4) a multiple of 17?
True
Let a = -171 - -245. Does 4 divide a?
False
Does 11 divide 90/(-9) + (480 - 5)?
False
Suppose -2*b = -3*g + 303 - 5, 0 = 5*g + b - 488. Let v = 28 + g. Is v a multiple of 21?
True
Let g(v) = 25*v - 118. Does 47 divide g(16)?
True
Suppose -2*a + 4947 = 3*a + 3*h, -2*h - 4952 = -5*a. Is 110 a factor of a?
Tru