Is w a multiple of 15?
True
Suppose 0 = t + 13 - 96. Suppose 5*w = t + 97. Does 6 divide w?
True
Let z be 6 + 247 + (-1 - (2 + 0)). Suppose -5*n - 3*j + 1132 = 0, -4*n - z = 3*j - 1158. Does 19 divide n?
False
Let c(x) = -x**2 + 4*x + 4. Let b be c(4). Suppose -178 = -4*z + 2*d, 184 = b*z - d - 3*d. Is 36 a factor of z?
False
Let v(x) = 15*x + 1. Let m(g) = -76*g - 4. Let r(k) = -2*m(k) - 11*v(k). Let w be r(-2). Suppose -3*i = 4*p - w - 10, -p = 0. Is 6 a factor of i?
False
Suppose 2*z - 13*z + 198 = 0. Suppose -13*h + z*h - 875 = 0. Does 25 divide h?
True
Suppose -s + 2*s + 12 = 5*p, -3*s = -5*p + 6. Suppose -2*h = -a - 97, -s*h + 0*a = -4*a - 143. Is 3 a factor of (-14)/h + 88/14?
True
Suppose 3*h + 17 = -22. Let y = 17 - h. Is 8 a factor of y?
False
Suppose 3*f + 943 = g - 1162, 0 = -g + 2*f + 2101. Does 91 divide g?
True
Let r(c) = 9*c - 8. Let u be r(3). Let n(y) = 7*y - 21. Does 56 divide n(u)?
True
Let y = 124 + -95. Is 6 a factor of y?
False
Let i(z) be the third derivative of -z**6/120 - z**5/6 - z**4/6 + 7*z**3/6 - z**2. Let j be i(-10). Suppose 0 = -2*o + j + 17. Is 16 a factor of o?
True
Suppose 0*h - 2*h - 5*m + 854 = 0, 3*h - 1300 = 2*m. Is h a multiple of 46?
False
Suppose 22*q - 15*q = 3402. Is q a multiple of 9?
True
Let o(l) be the third derivative of l**5/30 - l**4/6 + 2*l**3/3 - l**2. Let x(n) = -9*n + 111. Let a be x(12). Does 10 divide o(a)?
True
Does 20 divide 40/6*(19 - 31 - -198)?
True
Let p = 2 - 13. Let y = p + 59. Is y a multiple of 6?
True
Is 9 a factor of 751 + (0 - 6)/12*-6?
False
Let p = -384 + 748. Is 52 a factor of p?
True
Let f = 1263 + -656. Let o = f + -418. Is o a multiple of 27?
True
Let u be (-2 - (-12)/2) + 3. Suppose -u*r - 6 = -4*r. Is 18 a factor of 2 + r + (-3 - -39)?
True
Let g = 12 + -132. Let v = -110 - g. Does 10 divide v?
True
Suppose -2195 + 707 = -16*s. Does 63 divide s?
False
Suppose -3*h = z - 96, 2*h = z - 0*h - 86. Let m be (-4)/(-22) + 30/(-165). Suppose -4*n + z - 14 = m. Does 19 divide n?
True
Suppose 16*f + 1386 - 8954 = 0. Is f a multiple of 8?
False
Suppose 24*t - 21500 = 4*t. Is t a multiple of 47?
False
Suppose 0 = -2*m - 4*v - 212 - 246, -3*m + 3*v = 642. Let r = -73 - m. Does 14 divide r?
False
Is 14 a factor of ((-13 - -23) + -37)*(-11)/3?
False
Let b(r) = -r**3 - 8*r**2 - r - 5. Let x be b(-8). Let d(o) = 16*o**2 - 3*o + 5. Is 28 a factor of d(x)?
True
Let c(x) = 3*x**2 + 38*x - 41. Is c(-33) a multiple of 68?
True
Let c = 640 + 853. Is 12 a factor of c?
False
Let b(w) = -3*w - 11. Let o be b(-5). Does 8 divide (-636)/10*((-2)/o - 2)?
False
Let c(t) = 40*t. Let o = 28 - 27. Does 19 divide c(o)?
False
Let s = 1 - -6. Let v(z) = z - 5. Let b be v(s). Does 2 divide 6/12 - (-7)/b?
True
Let r(l) = -l**2 + 10*l + 20. Suppose -4*s - 20 = 0, 5*s + 23 = -f + 8. Is 5 a factor of r(f)?
True
Suppose 21*y - 37*y + 14560 = 0. Is 14 a factor of y?
True
Let d = 658 + -448. Does 30 divide d?
True
Let b(z) = -1. Let j(m) = 8*m + 7. Let n(y) = 6*b(y) - j(y). Is 12 a factor of n(-5)?
False
Let j(v) = -47*v + 23. Does 15 divide j(-13)?
False
Let k be -2 - (2 - (-12)/3). Let o(x) = -65*x - 220. Let t(v) = 3*v + 10. Let h(s) = -2*o(s) - 45*t(s). Is h(k) a multiple of 15?
True
Suppose 24*z = 28*z - 620. Let p = -52 + z. Is 35 a factor of p?
False
Let u = 146 + -74. Suppose 5*p - 4*o - 472 = -100, p = 2*o + u. Is 19 a factor of p?
True
Let m(p) = 8*p + 6. Let r(x) = -1. Suppose 0 + 1 = -f. Let y(b) = f*m(b) - 4*r(b). Does 11 divide y(-3)?
True
Suppose 0*y = 3*t - 3*y - 93, -3*t + 91 = -2*y. Suppose t*d + 1470 = 35*d. Is 35 a factor of d?
True
Suppose 4*h = 4*s - 0*s - 2336, 0 = -5*s - 5*h + 2900. Is s a multiple of 59?
False
Suppose 0 = 6*x - 1828 - 776. Does 7 divide x?
True
Suppose 0*j - 122 = -2*j. Suppose -c - 4*g + j = 4*c, 25 = 5*c - 5*g. Let t(v) = v**3 - 10*v**2 + 12*v - 11. Is 4 a factor of t(c)?
True
Let y(o) = o**2 + 11. Suppose -3*k - 5*g = -25, -3*g + 15 = -3*k - 0*g. Is y(k) a multiple of 6?
False
Suppose -273*s = -274*s + 427. Is s a multiple of 7?
True
Suppose 26*l - 1580 = 22*l. Is l a multiple of 43?
False
Let i(r) = -2*r - 2. Let c be -19 + -1*(6 + -4). Is i(c) a multiple of 8?
True
Let d(p) = -p**3 - 6 - p - 10 + 23 + 0*p + 9*p**2. Let a be d(9). Does 17 divide (7 - 1)/(a/(-17))?
True
Let h(r) = r**2 + 4*r + 9. Let m = 23 + -24. Let u = m - 5. Is h(u) a multiple of 9?
False
Let f(m) = m**3 + 9*m**2 - 11*m - 5. Let t be f(-7). Is 4 a factor of t/6 + 23/(-69)?
True
Suppose 2*o + 0 - 4 = 0. Suppose 4*g = 2*g + r + 79, 0 = g - o*r - 38. Suppose g = 3*q - 11. Is q a multiple of 17?
True
Suppose q = 3*s + 335, 2*s - 4*q = -8*q - 200. Let l = -185 - -120. Let x = l - s. Is 35 a factor of x?
False
Let s(z) = z**3 - 2*z**2 - 5*z - 5. Let m be s(7). Suppose -5*b + 95 + m = 0. Does 12 divide b?
True
Suppose d = -2*d - 36. Let g be (-4)/(-8)*(0 - d). Is 24 a factor of (4/6)/(g/225)?
False
Let p(i) be the second derivative of i**3/6 + 25*i**2/2 + 4*i. Is 3 a factor of p(-15)?
False
Suppose -2*d + 8 = -2. Suppose -5*s - 14 - 6 = d*y, -5*y = 4*s + 17. Is 1 - (s - -67)*-1 a multiple of 17?
False
Suppose l + 2*l - 27 = -4*f, -3*f = -5*l + 16. Suppose 12 = -0*r + f*r, 3*v + 5*r - 344 = 0. Let d = v - 68. Is d a multiple of 20?
True
Let r(w) = 3*w**2 - w + 16. Let p = -64 - -73. Is r(p) a multiple of 50?
True
Suppose y - 610 = 5*d, y + y - 1190 = -5*d. Is 60 a factor of y?
True
Let r(h) = 4*h + 3. Let c be r(-2). Let p(j) = -6*j + 5. Let k(o) = -o. Let i(y) = c*k(y) + p(y). Does 5 divide i(-5)?
True
Let z(k) = 3*k**2 - 7*k - 10. Let w be z(-4). Does 22 divide (5 + 2)*w/7?
True
Let f(n) = -28*n - 494. Is 7 a factor of f(-29)?
False
Let b(k) = -k**2 + 14*k - 5. Let g be b(14). Let o(m) = -5*m - 13. Does 6 divide o(g)?
True
Let c(h) = h**3 - 12*h**2 + 14*h - 8. Let d = -15 + 26. Let k be c(d). Let b = 54 + k. Is 12 a factor of b?
False
Let i be 0 - 1/(2/4). Let u be (i/(-3))/((-8)/(-1212)). Let q = u - 71. Is 10 a factor of q?
True
Let l = 78 - -286. Let b = -252 + l. Is 18 a factor of b?
False
Let i(c) = 4*c + 181. Is 12 a factor of i(23)?
False
Suppose -148*k - 3200 = -158*k. Is k a multiple of 51?
False
Let p(u) = 8*u + 36. Is 23 a factor of p(7)?
True
Suppose -22*y + 6555 = -3*y. Is 44 a factor of y?
False
Let u = -339 - -1887. Is 18 a factor of u?
True
Suppose 1400 + 4225 = 15*f. Is 14 a factor of f?
False
Let p = -5 - -7. Suppose 9*i = 10*i + p. Is 14 a factor of i + 61 - 1 - 2?
True
Let j(y) = -2*y - 2. Suppose -4*l + 46 = -5*i - 94, 0 = -2*i - 5*l - 23. Let s = i + 17. Is j(s) a multiple of 7?
False
Let j be (-10)/(-3)*(-8)/((-24)/(-9)). Is 7 a factor of (-4)/j - 1380/(-50)?
True
Let f = 1400 + -761. Suppose -2*s = 2*d - 322, -f = -4*d - 8*s + 3*s. Is d a multiple of 28?
False
Let i be (-2 - 0)/((-2)/13). Suppose 29*t - 34*t = 15. Let w = i + t. Does 3 divide w?
False
Let y(g) = -15*g + 99. Is 18 a factor of y(3)?
True
Let i(l) = -l**3 + 12*l**2 - 19*l + 17. Is i(10) a multiple of 20?
False
Let d = 11 + -9. Does 15 divide d*1*(-412)/(-8)?
False
Suppose 0 = -8*p + 9*p. Suppose -2*c - 126 - 58 = p. Let n = -64 - c. Is 15 a factor of n?
False
Suppose -5*y + 693 = 2*y. Suppose 0 = -3*u - t + y, -u = -3*t - 16 - 7. Is u a multiple of 6?
False
Suppose 133*y - 137*y = -112. Does 8 divide y?
False
Let f be 3 - ((2 - -11) + 0). Let x = 15 + f. Suppose 5*v + 3*r - 313 = 0, -5*v + 308 = -x*r + 3*r. Does 24 divide v?
False
Let f(x) = x**2 + 10*x + 12. Let i be f(-9). Is i/1 - (4 - -38)/(-3) a multiple of 3?
False
Let k(l) = 124*l**2 + 19*l - 81. Is 49 a factor of k(4)?
False
Suppose -12*a + 292 = -1940. Suppose 2*y - o - 244 = 127, 0 = y - o - a. Is 37 a factor of y?
True
Let t(o) = 24*o - 28. Let q be t(9). Suppose -u - u = -q. Is u a multiple of 47?
True
Let v(z) = 5*z - 4. Let y(t) = -t + 2. Let d(q) = v(q) + 3*y(q). Suppose 3*n = -2*p + 3*p, 0 = -4*p - 3*n + 30. Is d(p) a multiple of 7?
True
Suppose -1022 = -5*x - 2*x. Let h = 235 - x. Does 17 divide h?
False
Suppose -6*d = -10*d + 20. Suppose 5*o = -7*b + d*b + 15, -5*o = -b. Suppose -2*l + 8 = -l - 4*a, 40 = 5*l - b*a. Does 7 divide l?
False
Suppose 0 = -i + 879 + 337. Is (-12)/(-9) + i/6 a multiple of 11?
False
Suppose 0 = d - 6*d. Let q be -2 - 5 - (d - 2). Let p(c) = -12*c - 5. Is 20 a factor of p(q)?
False
Suppose -4*z = a - 20, -3*a + 4*z =