e -82 - 18 = -n*f. Is 9 a factor of f?
False
Suppose -3*x + 20 = w + 2*x, -4*x = -4*w + 32. Is 6/10 - (-774)/w a multiple of 26?
True
Let k = 26 + -21. Suppose -l + k*l = 20. Suppose s + 13 = 5*m, l*s - s = -5*m + 48. Is s even?
False
Let p be (-2)/(-3)*42/4. Let t be (12/5)/(p/70). Suppose 56 + t = 2*z. Is z a multiple of 16?
False
Let c(i) = -i**3 + 6*i**2 - 2*i. Let k be c(6). Let h(v) = -v + 10. Let t be h(8). Is (-76)/k + t/(-6) even?
True
Suppose 5*m - 4*m - 3 = 0. Suppose -420 = -5*h - 2*i, -h - i - m*i = -84. Does 14 divide h?
True
Is 8 a factor of 15*(2/(-17) - (-22132)/3740)?
False
Suppose 3*m + 52 = 2*m. Let t = m - -97. Is t a multiple of 9?
True
Let s = 5 + -4. Let g be 5*s*(29 - 0). Let l = g - 97. Is l a multiple of 16?
True
Suppose 0 = -2*r + 506 + 874. Is 5 a factor of r?
True
Suppose b + 0 - 3 = 0. Suppose -y - a = -71, b*y = -3*a + 2*a + 221. Is y a multiple of 15?
True
Let t(r) = -2*r**3 + 4*r**2 + 9*r + 6. Let k be t(5). Let s = -44 - k. Is s a multiple of 19?
False
Suppose 4*n - 56 = -404. Let s = -294 - -454. Let t = n + s. Is 13 a factor of t?
False
Let o(b) = -3*b - 47. Let t be o(-19). Let q(x) = -x**3 + 11*x**2 - 5*x - 20. Does 15 divide q(t)?
True
Suppose 6*t - 3126 = 36. Is t a multiple of 31?
True
Let c = -1971 - -2065. Does 2 divide c?
True
Suppose f = -15 + 13, -3*i = 4*f - 85. Does 31 divide i?
True
Let b(j) = 10*j**2 + 21. Is 11 a factor of b(10)?
False
Let r(c) = c + 5. Let a be r(11). Suppose -a*y + 13*y = 0. Suppose 2*l - 3*i - 142 = y, -6*i - 4 = -4*i. Does 22 divide l?
False
Suppose 5*b + i = 1443, 2*b + 4*i - 300 = 288. Suppose -3*l = -6*l + b. Suppose -4*f + l = -f. Does 8 divide f?
True
Suppose 5*o - 51*o + 17250 = 0. Is 25 a factor of o?
True
Let s(k) = 2*k + 4. Let j be s(4). Let f = -12 + j. Suppose f = z - 2*z + 21. Does 7 divide z?
True
Is 85 + 2 + 5 + -12 a multiple of 40?
True
Suppose 5*v = 3*d + 2354, 2*v - 535 - 412 = 3*d. Does 30 divide v?
False
Let u(w) = -w**3 - w**2 + 16. Let k = 2 - 2. Let c be u(k). Suppose h = -h + c. Is 4 a factor of h?
True
Let c be (-7)/(35/(-10)) + 4. Is 7 a factor of (145/10 - 4)*(c + -2)?
True
Let v = -24 + 48. Let z = 6 + v. Is 22 a factor of (-2 + -163)*(-12)/z?
True
Let q = -515 - -519. Suppose 0 = -3*n + 1 + 14. Suppose -q*x = -5*s + 108, -31 = -3*s + n*x + 26. Does 12 divide s?
True
Let l be 1*10 + (12 - 13). Let h be (-1)/l + 414/81. Suppose -h*t + 5*z = -243 - 7, -z - 5 = 0. Is 12 a factor of t?
False
Let q(c) be the first derivative of -2*c**2 - 26*c - 13. Is q(-17) a multiple of 21?
True
Let p be (24/21)/(4/14). Suppose 5*h + 2*k + 9 = 0, -h + 3*k + p = h. Is 2 - (-2 - h - 15) a multiple of 7?
False
Let t(w) = -2*w + 28. Let c be t(12). Let v = c + 14. Let z = -8 + v. Is 3 a factor of z?
False
Does 25 divide (-6)/(-2) - 4*(-236 + 6)?
False
Let c be (220/14)/(1/7). Suppose -7*k + 6 = -4*k. Suppose c = 2*w - k*i + 6*i, -5*i = 3*w - 170. Is 17 a factor of w?
False
Suppose -12*h + 720 = -1560. Is h a multiple of 5?
True
Is (-1512)/(-162)*174/7 a multiple of 29?
True
Suppose 0 = -111*v + 128*v - 21114. Is v a multiple of 46?
True
Suppose 14*z - 6211 = -625. Does 57 divide z?
True
Suppose -41*x = -32*x - 35316. Does 15 divide x?
False
Let o(f) = 7*f**2 + 232*f - 79. Is 5 a factor of o(-37)?
True
Suppose 5*b = 3*i + 36, 2 = -b + 4*i - 8*i. Is b a multiple of 5?
False
Let a be (3/(-2)*-3)/(3/14). Suppose a*u - 4329 = -969. Is 20 a factor of u?
True
Let a(r) = -12*r + 156. Does 22 divide a(-20)?
True
Is (4368/32)/(2/20) a multiple of 91?
True
Suppose 0 = -67*s + 5*s + 243536. Is s a multiple of 24?
False
Let t(y) = -y - 2. Let a be t(-10). Suppose -6*z = -a*z + 10. Suppose -29 + 9 = -z*s. Is 2 a factor of s?
True
Let m(y) = -18*y + 223. Does 17 divide m(-15)?
True
Let v(h) = h**3 + 12*h**2 + 12*h + 11. Let x be v(-11). Suppose 3*c - c - 10 = 0. Suppose a - c*a + 176 = x. Is 22 a factor of a?
True
Let s be (25/(-45) + 1)/(4/18). Suppose -q + 329 = 4*m, s*m + q - 65 = 102. Is m a multiple of 9?
True
Let c = -59 + 82. Suppose -5*i - 2*r = -c, -2*i - 3*r = 2*i - 24. Suppose -i*q = -47 + 20. Is q a multiple of 5?
False
Suppose 4*t - 20 = -4*w, -4*t - 2 = -2*t - 4*w. Suppose 0 = 2*y + t - 1. Does 7 divide ((-42)/4)/(y/2)?
True
Does 8 divide 37 + -5 + 0 + -1?
False
Let o(b) = b**2 + 8*b. Let i be o(-8). Suppose 8*l + 9 + 15 = i. Is 1712/24 + (-2)/l a multiple of 18?
True
Let l = 236 + -166. Is l a multiple of 5?
True
Let y be (-16)/(-28) + 75/(-21). Is 8 a factor of 595/15 - 1/y?
True
Suppose 4*w + 4*c = -0*w - 68, 4 = c. Let v = 24 - w. Does 5 divide v?
True
Let i be (-2 - -1) + 1 + -7. Let a be (2/4)/(i/(-42)). Suppose -93 = a*j - 249. Is 13 a factor of j?
True
Does 12 divide 24/(-1)*(42 - 44)?
True
Let z(h) = h**2 - 3*h + 20. Let x be z(-7). Is 21 a factor of ((-30)/9)/((-3)/x)?
False
Let u = -51 - -54. Suppose 2*y + 3*x - 92 = -x, -5*x + 142 = u*y. Does 13 divide y?
False
Suppose -4*t = -4 - 4. Let w be (-3*(-12)/(-9))/2. Is 44 - (t + w/1) a multiple of 11?
True
Let p = -75 + 1175. Does 19 divide p?
False
Let q be (61/3)/((16/(-72))/(-2)). Let v = q + -127. Is 8 a factor of v?
True
Suppose 6 = s + 2. Is 3 a factor of s/14 - 4422/(-154)?
False
Is ((-41)/(-3))/((-31)/(-93)) a multiple of 41?
True
Let z(k) = k**3 + 3*k**2 + 4*k + 9. Let b(r) = -r**3 - 2*r**2 - 3*r - 9. Let y(l) = -5*b(l) - 6*z(l). Does 2 divide y(-7)?
False
Let n(b) = -b + 6. Let y be n(-9). Suppose i + t + 20 = 6*i, 0 = 2*i - 5*t + y. Suppose -i*o = -9*o + 60. Does 6 divide o?
False
Let p(u) = -3*u**3 + 5*u + 6. Suppose z + 2 = -1. Does 18 divide p(z)?
True
Suppose -45*d = -65*d + 91800. Is 23 a factor of d?
False
Let m = -10 + 36. Let s = 29 - m. Suppose -2*t - s*i + 54 = 0, 5*i = -0*t + 4*t - 130. Does 5 divide t?
True
Let h(i) = i. Suppose 5 - 1 = -2*z. Let l(r) = r**2 + 4*r + 4. Let k(v) = z*h(v) - l(v). Does 2 divide k(-4)?
True
Let u be (-2 + 48/(-9))*-6. Let n = u + 4. Is 16 a factor of n?
True
Let i be -1 + 41 + (0 - -2). Let r = 39 - 36. Is 13 a factor of i + 2*r/(-2)?
True
Suppose -4*r = -2 - 10, -4*x + 9585 = -5*r. Is x a multiple of 20?
True
Let t(y) = 2 + 0 + 0 + 6 - 21*y + y**3 + 7*y**2. Is 24 a factor of t(-9)?
False
Suppose 0 = -5*i - 2*n + 1361, 7*i + 827 = 10*i - 4*n. Does 2 divide i?
False
Let f be (-7)/((-28)/204) + 36/6. Suppose -c + 15 = -4*s, 0 = -c + 3*s + 2*s + 18. Suppose y - c = f. Is y a multiple of 9?
False
Let s(g) = 33*g**2 + 6*g + 8. Suppose -h = 6 - 4. Is 9 a factor of s(h)?
False
Let v = 240 - 129. Is v even?
False
Let s = 47 + 7. Suppose -4*r + s = -310. Suppose j - 34 = -4*f, -4*f - r - 65 = -4*j. Is 19 a factor of j?
True
Let y = 54 - 106. Is (35/(-20))/(1 - (-53)/y) a multiple of 13?
True
Let z(n) be the second derivative of n**5/20 + 3*n**4/4 - n**3/2 + 9*n**2/2 - 6*n. Let c be z(-9). Is 24/((c/32)/3) a multiple of 16?
True
Let c(j) = j**3 - 12*j**2 + 13*j + 11. Let y be c(11). Let b be (1 + 0)/(1/(-23)). Let l = b + y. Does 10 divide l?
True
Suppose 0 = 3*s - b - 817, -251 = -4*s + 3*s - 5*b. Let j = -194 + s. Is 11 a factor of j?
True
Is (-4)/(76/(-4997)) - (-6)/(-2) a multiple of 10?
True
Let x be ((-18)/(-8))/(2/48). Suppose 19*p - 5*p + 210 = 0. Let q = p + x. Is 13 a factor of q?
True
Let h(d) = 9*d - 24. Let p be h(-15). Does 8 divide p*4/(-30) + 1/(-5)?
False
Suppose -18 = -2*r - 14. Suppose -u = 2*z - r*u - 44, -113 = -5*z + 4*u. Is 10 a factor of z?
False
Is (-2)/(-4)*-4*(-7436)/26 a multiple of 11?
True
Suppose -g = -6*g. Suppose -2*w + 3*w - 4 = g. Let f(x) = x + 3. Is 6 a factor of f(w)?
False
Let n = -1025 - -1971. Does 26 divide n?
False
Let g be (-8)/52 - 7812/(-78). Suppose 0 = 3*y + 2*y, 2*r - y - g = 0. Does 10 divide r?
True
Let d = -2634 - -3698. Is 76 a factor of d?
True
Let z(i) = 23*i - 76. Does 3 divide z(4)?
False
Let s = 16 - -75. Let u = -73 + s. Is 6 a factor of u?
True
Is 58 a factor of (-2078)/(-8) - (-126)/(-168)?
False
Let w = 1490 - -3073. Is 169 a factor of w?
True
Let a be (-248)/12*45/10. Let z = -54 - a. Is z even?
False
Let a(t) = 360*t + 30*t**2 - 360*t. Does 30 divide a(-1)?
True
Suppose 4*s + 65 = -11. Let r = 62 + s. Is r a multiple of 19?
False
Is (-57078)/21*(-2 - 8/(-6)) a multiple of 65?
False
Let v(w) = w**3 + 9*w**2 + 9*w + 12. Let o be v(-8). Suppose -9*c = -o*c - 140. Let f = c - 20. Is f a multiple of 8?
Tru