es 30 divide (-20)/6 + 87190/(-210)*-28?
False
Suppose 0 = -950*j + 924*j + 807664. Does 73 divide j?
False
Let l = 47 - 182. Is 58 a factor of l/180 - 1862/(-8)?
True
Suppose 4*d = -0 - 8. Is (-2 + 0)/(1/(383/d)) a multiple of 4?
False
Suppose -4*q = 3*z - 22, 3*q = -2*q + 3*z + 14. Suppose 0 = -q*n + 3*u + 1141, -n - 140 + 424 = -2*u. Does 21 divide n?
False
Suppose 52233 = -43*u + 263793. Is u a multiple of 20?
True
Suppose -36*r = -155 + 11. Suppose 1188 = 5*c - 4*t, 0 = -r*c - 4*t + t + 969. Is c a multiple of 15?
True
Suppose q = 4, -3*a = -3*q + 126 + 498. Does 55 divide (a/(-36))/(1 - (-1040)/(-1044))?
False
Let j(r) be the third derivative of -r**6/120 - r**5/10 - r**4/3 - 11*r**3/6 + 12*r**2 + 5*r. Is 11 a factor of j(-6)?
False
Let g(p) = p**3 + 8*p**2 + 6*p - 5. Let j = -68 - -70. Suppose -j*a - 3*a = 2*n + 23, -4*n = -3*a - 19. Does 10 divide g(a)?
True
Suppose 0 = 8*a + 3*a - 55. Suppose 2*u = -3*g + 2*g + 367, a*u - 3*g - 901 = 0. Is u a multiple of 14?
True
Suppose -5*p - 1936 = 1354. Let k = p - -701. Is k a multiple of 43?
True
Let j(o) = -2*o**2 + 7*o + 6. Let q be j(5). Is 72/(-60)*5520/q a multiple of 46?
True
Let m(h) be the second derivative of -h**3/6 - h**2 + 13*h. Let p be m(-4). Is 13 a factor of (-4 + 11/p)*26?
True
Let s be (45/12)/(-3 - (-75)/20). Let d be ((-1)/(2/132))/(6/(-20)). Suppose -5*h = s, 182 + d = 5*w - 2*h. Is w a multiple of 16?
True
Let h(k) = 2*k**2 + 13*k + 51. Let f be h(-6). Suppose -42*r - 714 = -f*r. Does 13 divide r?
False
Is 16 a factor of (-12465)/2*11/(-110) + 3/4?
True
Suppose m - 5*p + 12 = 0, 7*p - 60 = 5*m + 4*p. Let k(b) = 6*b + 1. Let r be k(7). Let d = r - m. Is 4 a factor of d?
False
Let p(q) = -q**3 + 2*q**2 + q - 2. Let j = -48 - -49. Let v be p(j). Suppose v*l + 2*l + 4*s = 104, 2*s + 98 = 2*l. Does 7 divide l?
False
Suppose -d + 5*c = -3922, 0 = 4*d - 5*c - 15270 - 448. Does 86 divide d?
False
Is 23 a factor of 996341/76 - (15/(-12))/5?
True
Let z = -207 - -257. Suppose -46*j = -z*j + 1312. Does 23 divide j?
False
Let w be (-17)/(1*(-1)/10). Let j = 471 - w. Is 40 a factor of j?
False
Let m = -1 - 12. Let q(x) = 4*x**2 - 4*x**2 + x**2 + 13*x + 14 + 0*x**2. Does 5 divide q(m)?
False
Let s(j) = -25*j**3 + 4*j + 5. Let p(r) = 25*r**3 - 3*r - 5. Let t(u) = 6*p(u) + 5*s(u). Is t(2) a multiple of 5?
False
Suppose 0 = -0*q + 8*q - 22440. Suppose 15*j + q = 26*j. Is j a multiple of 8?
False
Let g = -164 - -178. Suppose -g = -w - w. Does 7 divide w?
True
Suppose -2*t = 5*j + 295, -4*t = -4*j - 7*t - 243. Let a = -52 - j. Suppose 0 = -2*m - 1 - 1, s - 177 = -a*m. Is s a multiple of 28?
False
Suppose 3*c - 4*n = 227, -5*c - 2*n - 26 + 413 = 0. Let j = c - 54. Suppose 3*i - j = 2*i. Is 8 a factor of i?
False
Let z = -4481 - -5825. Does 7 divide z?
True
Let k(r) = r**2 + 9*r + 32. Let p be k(-10). Let o = p - -46. Suppose -b + o + 71 = 0. Is 25 a factor of b?
False
Let o(f) = 853*f**3 + 13*f**2 - 15*f - 19. Is o(2) a multiple of 69?
False
Let n(r) = -2*r**2 - 8*r + 19. Suppose 0 = -2*g + 3*u - 37, 0*g + 3*g + 43 = 2*u. Let x be n(g). Let v = -95 - x. Is v a multiple of 4?
True
Let i = -1423 - -1405. Let c be -3*(-2 - (-41)/1). Let w = i - c. Is 9 a factor of w?
True
Suppose 1582443 = 914*v - 773*v. Is v a multiple of 148?
False
Suppose 5*q = -d + 458, -38*d + 35*d = -9. Suppose -249 = -4*t + q. Does 6 divide t?
False
Let s(g) = g**3 - 49*g**2 + 5*g + 25858. Is s(0) a multiple of 14?
True
Suppose 12*s - 25 = -73. Let a be 3/4 - (s + 3508/(-16)). Suppose q + p = a, 3*p + 900 = 4*q + 6*p. Is q a multiple of 35?
False
Suppose -4*n = -2*r + 2 + 30, 0 = 2*r - 5*n - 36. Let z be ((-1226)/(-4))/((-2)/r). Is z/(-6) - (-16)/24 a multiple of 14?
False
Suppose 0 = 2*y + 213 - 13. Suppose r = 5*s + 3*r - 9, -r = -3*s + 12. Is 10 a factor of y/12*(-6 + s)?
False
Let z(l) = l**3 + 8*l**2 + 5*l + 14. Let x be 10 + (30/(-2))/5. Suppose 49 = -x*w - 0. Is z(w) a multiple of 23?
False
Suppose 3*k - 3740 = -7*s, 0 = -24*s + 19*s - 2*k + 2671. Does 13 divide s?
True
Let h = -25 + 2165. Does 20 divide h?
True
Suppose 17*p - 20*p = k - 22036, 5*p = 17*k + 36652. Is p a multiple of 8?
True
Let v(n) be the third derivative of -n**6/120 - n**5/15 + n**4/24 + 2*n**3 + 29*n**2. Does 3 divide v(-5)?
False
Let p(k) = 29*k**2 - 1. Let t be p(-1). Let r = 30 - t. Suppose 3*x - 4*x + 181 = r*d, 0 = -3*x - 3*d + 528. Is x a multiple of 19?
True
Suppose 5*y = -3*g - 341, 0*y + 3*y + 207 = -3*g. Suppose i = -2*i - 3*w + 264, 0 = -3*i + 5*w + 240. Let z = i + y. Is 9 a factor of z?
True
Let f be -11*(-6 + (-10)/(-2)). Let i(b) = b**2 - 8*b - 26. Is i(f) a multiple of 2?
False
Let u = 351 - 345. Let b(i) = 3*i**3 + 12*i**2 - 3*i + 15. Is b(u) a multiple of 99?
False
Let g(f) = 22 + 6*f + 2 - 12 + 68. Is 32 a factor of g(-8)?
True
Suppose 15*m + 136290 = 85*m. Does 6 divide m?
False
Suppose -3*l = -4 - 2. Suppose 207 = l*x - 51. Let o = x - 68. Is 14 a factor of o?
False
Does 3 divide (-105)/450*5 + (-155908)/(-24)?
True
Let c(u) = -11*u + 0*u + 7261 - 7395. Is 5 a factor of c(-14)?
True
Let f(b) = -5439*b - 24904. Is f(-9) a multiple of 202?
False
Let l be -36*((-5)/45)/(1/(-15)). Let t = 7 - l. Is t a multiple of 5?
False
Suppose -m - 4*s = -2*s - 4378, 4*m - 17462 = 2*s. Suppose -26*u + 14*u + m = 0. Is 21 a factor of u?
False
Let y(i) = -10*i - 176. Let z be y(-18). Is 13 a factor of (-18)/(-6) - (z - 1119)?
True
Let h(i) = -i**2 - 97*i + 515. Let f be h(5). Suppose 1 - 3 = -l. Suppose 0 = -2*v + f*j + 58, -v + 0*j + 28 = -l*j. Is 4 a factor of v?
True
Let i be 6 - (5 - (4 - -1)). Suppose -3*c + 79 = 4*h, 2*h - 52 = 4*c - i*c. Suppose -18*g + 19*g = c. Is 5 a factor of g?
True
Let n = 153078 - 103488. Is n a multiple of 29?
True
Suppose -17*s - 13*s = -0*s. Suppose 4*f - 20 = 0, 0 = -s*b + 5*b - f - 2945. Is b a multiple of 15?
False
Let x = 10106 - 1345. Does 12 divide x?
False
Let z(m) = 4*m - 9. Let h be (-55)/10*6/(-3). Suppose -6*j - 105 = -h*j. Does 6 divide z(j)?
False
Let g(y) = -35*y - 49. Let s be g(24). Let w = s + 2360. Is 7 a factor of w?
False
Let q = 85 - 76. Suppose -u = 4*j - 259, -5*j = q*u - 10*u - 326. Does 26 divide j?
False
Let d(h) = 2*h - 36. Let k be d(19). Suppose 3*m + k*l = 0, -1 = 4*m + 3*l - 0*l. Suppose -m*v + 77 = x, v + 4*v - 4*x - 212 = 0. Does 5 divide v?
True
Let b = 14984 - 10905. Is 2 a factor of b?
False
Let b(n) = -135*n - 43. Let c(y) = -2*y - 36. Let k be c(-17). Does 18 divide b(k)?
False
Let s be 8/(((-60)/5)/(-6)). Suppose 1266 = -3*m + 8*m + 3*r, -4*r - 1000 = -s*m. Is m a multiple of 18?
True
Let w(z) = -47*z + 7. Let h be w(-3). Let c be h/(-8) + (-1)/(-2). Is 9/(c/(-4)) + 99 a multiple of 11?
False
Let m = 18 - -281. Suppose 281 = 3*g - 670. Suppose g = 4*z - m. Does 22 divide z?
True
Suppose 131857 = 37*c + 44900 - 39287. Does 40 divide c?
False
Let z(y) = 1007*y**2 - 33*y + 68. Is z(2) a multiple of 62?
True
Let w be (28/(-16))/(2/(-8)). Suppose w*t = 9*t + 3*u - 249, -126 = -t - 2*u. Is t a multiple of 15?
True
Let n(w) = w**2 + 15*w + 64. Let x be n(-9). Let u(q) = -q**2 + 16*q - 21. Does 17 divide u(x)?
False
Suppose 32*q = 179119 + 1227345. Does 22 divide q?
False
Let s = -2094 - -2211. Does 11 divide s?
False
Let t(v) = -2*v**3 + 8*v**2 + 5*v + 1. Let p be t(5). Let q(m) = -9*m - 85. Is 30 a factor of q(p)?
False
Let x(n) be the third derivative of -5*n**4/24 - 11*n**3/3 - 7*n**2. Let v be x(-5). Suppose -r - 32 = -v*r - t, -5*r - 4*t = -80. Is 10 a factor of r?
False
Suppose -4*f - 442 = -2*a, -a - 127 = f + 4*a. Is 4 a factor of ((-480)/f)/((9/42)/1)?
True
Suppose 5*o - 5*h - 55 = 0, -4*o - h + 6*h = -46. Let s(w) = 1 + w - o*w + 2. Does 20 divide s(-4)?
False
Let z be 110/33 - 3/9. Suppose z*o = -5*o + 2200. Does 25 divide o?
True
Let v be ((-1)/(-2))/((-5)/(-30)). Suppose 0 = -4*m + 5*p - 411, -v*m + 5*p = 93 + 219. Let d = -66 - m. Does 20 divide d?
False
Let p(u) = 2*u**2 - 4*u + 13. Suppose 3*g = -2*g + 4*b + 19, -4*g + 40 = 3*b. Let w be p(g). Suppose -10*i + 107 = -w. Is 7 a factor of i?
False
Let m be (-14806)/(-5) - (-36)/(-30). Suppose -3*g + 2955 = -k + 4*k, -3*k - 2*g = -m. Is k a multiple of 45?
True
Let x(l) = -l**3 - 4*l**2 + 3*l + 7. Let w be x(-4). Let q be 16 + (4 + w - 0). Suppose -3*t - q = -75. Is t a multiple of 5?
True
Let g = 809 + -1. Let 