g be b(-2). Suppose -g = -q*z + 10*z. Does 23 divide z?
False
Suppose -a - 2369 = -t + 1690, a - 4055 = -t. Is t a multiple of 69?
False
Suppose -1488855 + 481763 = -181*s + 1665011. Is s a multiple of 19?
True
Let r(d) be the first derivative of -22*d**3/3 + 3*d**2 + 12*d + 4. Let s be r(-3). Let k = s - -303. Is k a multiple of 11?
True
Let y = 83 + -82. Let x be ((-16)/(-24))/(y*(-1)/(-24)). Let d = x + 104. Does 16 divide d?
False
Let z = -65 + 337. Let q = z - 221. Is q a multiple of 17?
True
Suppose 1262 = -23*u + 4712. Let s = 269 - u. Is s a multiple of 9?
False
Let s(x) = -x. Let c be s(-2). Suppose -8*r = -9*r + c. Let f = 11 - r. Is f a multiple of 4?
False
Let h be 0 - 3 - (2 + -1) - -25. Suppose 8*r - 7*r - 5 = 0. Suppose i - 5*p - 35 = 0, 124 = 2*i + r*p - h. Is i a multiple of 6?
True
Is 33 a factor of (-67340)/222*1704/(-10) + (-10)/(-5)?
False
Let i = -993 + 2548. Is 2 a factor of i?
False
Let m(v) = -2*v**3 - 11*v**2 + v + 2. Let l be m(-6). Suppose 0 = 4*u - 34*q + l*q - 3470, -3*q = u - 878. Does 17 divide u?
False
Let k = 47 + -40. Suppose -376 = -2*f + 4*w, k*f + 540 = 10*f + 2*w. Does 14 divide f?
True
Suppose -5*g + 2 = -258. Does 20 divide (13 - 23)/((-2)/g)?
True
Let l = 150 + -347. Let p = l + 207. Is p even?
True
Suppose 17*k = 39*k - 946. Suppose k*n - 30*n - 546 = 0. Is 6 a factor of n?
True
Let h be (57 + -9)*84/16. Suppose 7*l + h = 448. Is 7 a factor of l?
True
Let u(h) = -870*h**3 + h**2 - 19*h - 46. Is u(-2) even?
True
Let u = -8 + 12. Suppose -u*m = -38 - 22. Suppose -25 = -w + 3*k + m, 4*w - k = 105. Is w a multiple of 22?
False
Let i be 4 - (-3697 - -2) - -3. Suppose 5*k = u + 1369 + i, -k + 1018 = -4*u. Suppose 14*w + 300 = k. Is 7 a factor of w?
False
Let o = -41 + 45. Suppose 0 = -c - o*w + 395, -w + 445 = c + 41. Suppose -4*f - 3*n + 542 - 16 = 0, 3*f - 4*n = c. Is 30 a factor of f?
False
Let m = 814 - 1409. Let h = -317 - m. Let s = -132 + h. Is 40 a factor of s?
False
Let j = -307 + 5965. Does 18 divide j?
False
Is 575 + ((-49)/14 + 6)*-2 even?
True
Suppose 0 = 4*p + 2*d - 81726, 772*p - 3*d + 102159 = 777*p. Is p a multiple of 45?
True
Let q = -44 + 23. Is 19 a factor of (-3164)/q - 4/(-3)?
True
Suppose 4*u - 21774 = l - 3*l, -2*u - 10903 = -l. Does 51 divide l?
False
Suppose 172 = -19*j - 1291. Is 13 a factor of (-22)/(j/(-13) + -4 + -2)?
True
Let m(g) = 7*g**2 + 5*g + 18. Suppose 23*n = -31 - 84. Does 12 divide m(n)?
True
Does 16 divide (-26 - -391)*(-2 + 19)?
False
Suppose 0 = 5*l - 28*r + 35*r - 904, 3*l - 3*r - 564 = 0. Does 12 divide l?
False
Does 11 divide ((-3)/45 + 15904/60)*8?
False
Suppose -2*y = 2*a - 10552, -y + 3492 + 1776 = 5*a. Does 13 divide y?
True
Let b be (5/(30/4))/(2/42). Let p = -10 + b. Suppose 4*w + 0*w = 5*z - 334, w - p = 0. Does 10 divide z?
True
Suppose 49*p - 58008 - 8935 = -8633. Is 14 a factor of p?
True
Suppose -3*o + 4*c = -21, -4*o - 6 = -3*o + 3*c. Let b be (-74)/(11/110*-10). Suppose 2*t = -o*q + b, t - 51 + 14 = 4*q. Does 2 divide t?
False
Let m(o) = 40*o**2 - 209*o - 4464. Is 24 a factor of m(-24)?
True
Does 18 divide (-208698)/(-63) + -2*(-6)/(-18)?
True
Let o = 118 - 174. Let a = 24 + o. Let t = a - -97. Does 13 divide t?
True
Let u = 70 - 65. Suppose -3*i - 2*i + j + 490 = 0, -2*j = u*i - 505. Is 8 a factor of 4 - ((-2)/2 - i)?
True
Suppose -m - 2*r + 115 = r, -5 = -5*r. Suppose -23*p - m = -2090. Is 2 a factor of p?
True
Let l = -675 + 673. Let c(z) = -42*z**3 - 5*z**2 + 4*z + 16. Does 3 divide c(l)?
True
Let r = 34 + -30. Suppose 299 = 5*l + w, -3*w = -r*w - 1. Is l a multiple of 15?
True
Does 4 divide (2/3)/(30 + -27 - 1078/360)?
True
Let b(n) be the first derivative of -23*n**2/2 + 130*n + 110. Is b(0) a multiple of 13?
True
Let o = -2386 - -4410. Is o a multiple of 21?
False
Suppose 38 = -3*u + 32. Is ((-16)/224)/(u/(-96))*-42 a multiple of 9?
True
Suppose -1 = 6*w - 49. Suppose j - 6 = t - w, 5*j + 3*t + 26 = 0. Does 18 divide 270*(j + 144/30)?
True
Let v(b) = -2*b**3 + b**2 - 2*b - 7. Let z be v(-3). Let a = 32 + -15. Let c = a + z. Is c a multiple of 14?
False
Let u = 17 + -6. Let g = -5 + u. Suppose g*i - 9*i = -228. Is 20 a factor of i?
False
Suppose -4*z + 3*f = -29, 4*f = -4*z + 5*f + 23. Let k = z - -338. Does 49 divide k?
True
Suppose 173*w - 170*w = 3*k - 32817, 3*k - 4*w = 32821. Is 9 a factor of k?
True
Let x be (-687)/3 - 0 - (-3 + 1). Let m = 427 + x. Is 20 a factor of m?
True
Suppose 4*c - 338 = 2*r + r, 4*r = 3*c - 446. Let h = 1211 - r. Is 83 a factor of h?
False
Let c(v) = -v**3 - 81*v**2 - 176*v - 60. Is 60 a factor of c(-80)?
True
Let v(z) = z**3 - 9*z**2 - 9*z. Let s be v(10). Let q be (s/3*(-636)/(-5))/1. Is 35 a factor of (-2)/12*2 + q/12?
True
Is ((-3)/(-1) + 38/57)/(6/468) a multiple of 40?
False
Let z be 30/(-135) + 94/18. Suppose z*u = -0*u + 255. Suppose b - 2*b = -u. Is 12 a factor of b?
False
Suppose 10*f + 12 = 4*f. Let z(k) = 9*k**2 - 6*k - 3. Does 29 divide z(f)?
False
Let l be 1296/26 - (0 - 2/13). Suppose -555 = 53*s - l*s. Let v = s - -326. Is 18 a factor of v?
False
Let f(g) = -g**3 + 10*g**2 - 7*g - 13. Let c be f(9). Suppose -c*z = 9 + 1. Is 10 + -1 + (z - 1)/(-3) a multiple of 7?
False
Is 19 a factor of (-17 + 13 + -2734)*(-28)/8?
False
Let c = 78 + -139. Let q = -89 - c. Let s(g) = -g**3 - 29*g**2 - 33*g + 25. Does 25 divide s(q)?
False
Let n be -1 + (-231)/(-209) + 346/(-38). Let v(d) = -5*d + 2*d + 11 - 7*d - 3*d. Is 16 a factor of v(n)?
True
Suppose -2*x + 5*g + 109 = 0, -g + 20 = -5*g. Is 6/(1/(7/(x/20))) a multiple of 8?
False
Let d = 6301 + -2341. Suppose d = 8*c + 2*c. Does 44 divide c?
True
Suppose 52*t = 69*t - 218620. Does 20 divide t?
True
Let i = -2862 + 5119. Does 2 divide i?
False
Let o(r) = r**3 - 8*r**2 - 14*r + 5. Let p be o(9). Let i = -27 - p. Is i a multiple of 3?
False
Let t(l) = 17*l + 4. Let i(z) = z**2 + z + 1. Let y(s) = i(s) - t(s). Let m be y(16). Is 21 a factor of (-12 + 18)/(0 + m/(-22))?
False
Let x = 4109 - 3910. Does 2 divide x?
False
Let v(j) = 164*j**2 + 89*j + 129. Does 13 divide v(-6)?
True
Let w(d) = -3661*d + 1229. Is 30 a factor of w(-1)?
True
Let n = 354 + -349. Does 18 divide (1 + n/(-3))*-108?
True
Let d = -30504 + 46008. Is d a multiple of 152?
True
Suppose -4*x - p = -595, 3*p = -x - p + 130. Let n = 237 + -235. Suppose -3*t + x = 3*m, 3*m - 95 = -n*t - 0*t. Is t a multiple of 11?
True
Let u = 13245 - 6414. Is u a multiple of 11?
True
Let j(p) = -169*p - 455. Does 26 divide j(-9)?
True
Let c(k) = k**2 - 10*k + 13. Let q be c(9). Let m(y) = y - q*y + 18 + 4*y. Does 9 divide m(-9)?
True
Suppose -1039 = 5*b - 5054. Let s = b + -549. Is 7 a factor of s?
False
Suppose 20*v = 63539 + 85261. Does 62 divide v?
True
Let a be (1 - 0)*817 - (-10 + 12). Let k = a - 755. Does 6 divide k?
True
Suppose 3*o - 8380 = -2*d, -318*o + 313*o = -2*d - 13940. Does 30 divide o?
True
Let i(r) = -2574*r + 10207. Is 343 a factor of i(-21)?
False
Let c(j) = -j**3 - j**2 + 4*j + 4. Let h be c(-2). Let y be (12/(-18))/(2/(-33) + h). Suppose 0 = -y*b + 401 + 567. Is 22 a factor of b?
True
Let a(b) = 569*b - 5851. Is a(16) a multiple of 2?
False
Let w(m) = -56*m**3 - m**2 + m + 1. Suppose 7*x + 0*x - 21 = 0. Suppose 3*r - 2 = h, -x*h + 6*h + 11 = 4*r. Does 9 divide w(r)?
False
Is 2524 + (7/(-21))/(11/264) a multiple of 34?
True
Suppose 0 = -14*c + 11 + 283. Suppose -30*b = -c*b - 486. Does 6 divide b?
True
Let p be (4 + (-88)/20)*-5. Suppose p*f = -0*f + 28. Suppose -3*r - 2*r + 35 = -q, 4*r + 2*q = f. Is 6 a factor of r?
True
Let y(m) = m**2 + 11*m + 14. Let o = 24 - 28. Let v be y(o). Let d = 22 - v. Does 18 divide d?
True
Suppose -8471 = -8*n + 1753. Let s = -555 + n. Is 13 a factor of s?
False
Let p = 122 + -115. Suppose -136 = p*i - 24*i. Does 8 divide i?
True
Is -6 - ((-348)/(-42) - 8)*-4501 a multiple of 32?
True
Let c(m) = 1244*m - 442. Is c(3) a multiple of 94?
True
Let t(a) = -a**3 - a**2 - 6. Let p be t(0). Is 35 a factor of -7*(7 + p)*-89?
False
Let d(i) = 275*i - 7. Let j be d(8). Let t = j + -1497. Is t a multiple of 31?
False
Let c(l) be the first derivative of -35*l - 18 + 3/2*l**2. Is 13 a factor of c(16)?
True
Let p = 438 - -468. Let u = -381 + p. Is 35 a factor of u?
True
Let o = 5307 + 484. Does 34 divide o?
False
Let i(k) = -2*k + 20. Let y = -135 - -125. Is 20 a factor of i(