p + 28, 2*p + 5*g + 9 = -3. Is p even?
True
Let q(n) = n**2 - 7*n. Let i = -4 - -13. Let x be q(i). Suppose 3*k = k + x. Is 5 a factor of k?
False
Suppose 0 = d - 5*p - 57, -5*d + 3*p + 313 = 6*p. Is 4 a factor of d?
False
Let r = 222 + -70. Is r a multiple of 38?
True
Let b = 3 - 9. Let x be ((-4)/b)/((-4)/(-24)). Suppose g + 8 = q - 4*q, -x*g = -4*q - 48. Does 5 divide g?
False
Let r(z) = z + 5. Does 3 divide r(3)?
False
Let n be (-2 - -3)*-3 + -22. Let f = -1 - n. Suppose 2*m - f = 18. Is 7 a factor of m?
True
Suppose -v - 2*k + 290 = v, -4*v = -k - 595. Is 15 a factor of v?
False
Let s = -9 - -1. Let v(n) = n**3 + 7*n**2 - 8*n - 9. Let t be v(s). Is -6*(0 - (-15)/t) a multiple of 10?
True
Let x be (-2)/6*(-11 + -7). Let k(g) = -2*g**3 + 3*g**2 - 8*g + 12. Let q(p) = -p**3 + 2*p**2 - 4*p + 6. Let j(i) = 4*k(i) - 9*q(i). Is j(x) a multiple of 12?
False
Let i be (5/(-2))/((-2)/12). Suppose 6*u = 3*u - i. Is 12/u*30/(-9) a multiple of 3?
False
Is 6 a factor of (-21)/(-28)*(25 - 1)?
True
Let h(p) = 4*p**3 - 3*p**2 + 2*p - 2. Suppose 2*a - 5*a - 6 = 0. Let o be a + 4 - (1 + -1). Does 11 divide h(o)?
True
Let z(g) = g**3 - 6*g**2 - 1. Let q be z(6). Let k be (0*3/(-6))/q. Is (k - -1)*9/3 a multiple of 2?
False
Let o(v) = 2*v**2 - 2*v - 1. Let p be o(3). Let j = -3 + p. Is j even?
True
Is 13*1 + -30 + 30 a multiple of 8?
False
Is 5 a factor of (9 - 7)*(0 + 25)?
True
Suppose -3*p - 24 = d, 3*d - 5 = 2*p + 11. Let o(h) = h**3 + 7*h**2 - 9*h - 9. Let k be o(p). Let x = k + 3. Is x a multiple of 2?
True
Let s = 116 + -26. Is 6 a factor of s?
True
Let b(w) = -w**3 - 6*w**2 - 11*w - 43. Is 7 a factor of b(-6)?
False
Suppose 0 = -3*y + 3*i + 1089, -3*y = -5*i + 199 - 1294. Is 30 a factor of y?
True
Let u be 3/5 - (-2139)/(-15). Let w = -94 - u. Is w a multiple of 13?
False
Let h = -4 + 88. Does 7 divide h?
True
Let z be 107/(-3*(-1)/3). Suppose 0 = 3*o - 1 - z. Is o a multiple of 14?
False
Is 12 a factor of (-1)/(25/65 - 2/5)?
False
Suppose -2*k + 756 = k. Does 21 divide k?
True
Let p(d) = 8*d**2 + 2*d - 2. Does 8 divide p(1)?
True
Let j(u) = -u**3 + 8*u**2 + 3. Let l be j(8). Does 7 divide (-10)/(-15) + 70/l?
False
Let s = 80 - 40. Does 20 divide s?
True
Let v(l) = 4*l**2 - 3*l - 3. Is 4 a factor of v(-2)?
False
Let p = 2 + -3. Is p/(-2)*0 - -20 a multiple of 7?
False
Let d = 6 + -6. Let u be (d - 1/(-1))*5. Let h(y) = -y**3 + 7*y**2 - 6*y + 3. Does 11 divide h(u)?
False
Let i be (-4)/(-8) - 938/4. Does 15 divide i/(-14) + (-2)/(-7)?
False
Let m be 3/1*2/3. Suppose -g = m*g + 2*c - 47, -4*g = c - 61. Is 10 a factor of g?
False
Suppose -3*z - 15 = 0, 0 = 2*t - z - 0*z + 1. Let g(k) = -k**3 + 4*k**2 - 4*k + 4. Let f be g(3). Is (-28)/t*(f - -2) a multiple of 11?
False
Let b = -44 - -64. Does 20 divide b?
True
Let i be 4/2 + 53 + -3. Suppose -3*r + 2*r = -2*v + 43, -2*v + 4*r + i = 0. Is v a multiple of 8?
False
Let u be ((-3)/(-6))/(1/22). Let d(g) = -g + 1. Let s be d(5). Let o = u + s. Is o a multiple of 3?
False
Let g = -23 + 27. Is g even?
True
Let h = 289 + -157. Does 33 divide h?
True
Let b be ((-8)/3)/((-4)/6). Suppose l = -l + b*h + 52, -2*h = 10. Does 8 divide l?
True
Suppose 0 = -4*y - h - 56, 3*h + h - 16 = 0. Let k = y + 26. Is k a multiple of 8?
False
Suppose 2*r - r = 2*d + 4, 20 = 5*r + d. Suppose 222 = r*w + 70. Does 19 divide w?
True
Let d = 55 - 23. Does 8 divide d?
True
Let n = 318 + -219. Let d = 185 - n. Does 24 divide d?
False
Let q(g) = g**3 + 7*g**2 - 6*g + 3. Let o be q(-8). Let k = -8 - o. Is k a multiple of 4?
False
Let b be (3 - 0) + (-58 - -9). Is 5 a factor of b/(-10) + 10/25?
True
Let s be (0 - 0/1)/(-2). Suppose 4*r - 1 - 39 = s. Let g = r - -20. Does 15 divide g?
True
Let r = -158 - -302. Is r a multiple of 36?
True
Let v(f) = f**3 + 5*f**2 + 2. Let j be (-16)/6*(-9)/(-6). Is v(j) a multiple of 7?
False
Let u = 121 - 77. Is 8 a factor of u?
False
Suppose -5 = -3*q + a, 2*q + 3*a - 3 = 4. Let f = 14 - 7. Suppose -r + q*r = f. Is r a multiple of 3?
False
Suppose 3 = f + 3*a - 6, a - 17 = -5*f. Does 4 divide -4*(f - (5 + -1))?
True
Suppose h - 96 - 74 = 0. Is h a multiple of 12?
False
Suppose 3*f - 432 = 6*f. Is f/(-56) + 6/14 a multiple of 2?
False
Suppose 5*v - 74 = 4*r, -2*r - 3*r + 2*v = 101. Let j = r + 34. Does 5 divide j?
False
Let b(q) = -q**3 + 3*q**2 + 1. Suppose -w + d + 5 = 0, 0*d = 2*w - d - 7. Let z be b(w). Suppose z*f + 0*f = 160. Is 10 a factor of f?
False
Let w be (3/(-4))/(3/(-8)). Is 16 + (3 - 0/w) a multiple of 10?
False
Suppose l + 2*l - 4 = 4*y, -3*y + 2*l = 2. Suppose 2*n = 3*a - 59, 0 = -y*a + 3*n + 2*n + 54. Does 6 divide a?
False
Let n = -124 + 232. Is n a multiple of 36?
True
Let h(s) = -s**3 + 5*s**2 - 4*s + 2. Let t be h(4). Suppose -z = -t*z + 3. Suppose 46 = -n + z*n. Does 14 divide n?
False
Let z be 3*-1*(1 - 2). Suppose 3*j = 3*r + 33, z*j - 2*r - 29 = 2*r. Suppose -j = 2*s - 5*s. Does 5 divide s?
True
Let q be (0 - (1 + 0))*-22. Suppose 18 = -2*r + 2*p, r - 2*r + 3*p - 19 = 0. Let h = q + r. Is 12 a factor of h?
False
Let l = 13 - 22. Does 2 divide (l/(-27))/(1/27)?
False
Let w be (28/12 - 2)*69. Suppose -25 - w = -3*y. Is 4 a factor of y?
True
Let p = 91 - -32. Is 25 a factor of p?
False
Suppose 3*v - 8 = -2*n, -v + 2 = 2*v - 4*n. Suppose 14 = v*f + 6. Suppose -f*h + 20 + 12 = 0. Is 8 a factor of h?
True
Suppose -2*j = -p - 21, 2*j + 1 - 23 = 2*p. Let x = j - -24. Does 17 divide x?
True
Is 4 a factor of (8/14)/(2/14)?
True
Let a = 36 - 21. Is a a multiple of 4?
False
Let y(g) = 2*g - 2. Let p be y(-9). Let z = -33 - p. Let n = 2 - z. Is n a multiple of 15?
True
Suppose 66 = -5*q + 491. Is 9 a factor of q?
False
Let o = -5 + 11. Let w be o/(3*1/3). Is 9 a factor of -3*(-2)/(w/9)?
True
Suppose -4*l + 656 = 2*o, 2*o - 328 = -4*l + 2*l. Suppose -5*p - 2*t + l = 10, -p + 4*t + 22 = 0. Is p a multiple of 15?
True
Suppose 5*m - 87 = 553. Does 32 divide m?
True
Suppose 4*l = 6 + 6. Suppose 2*g - 2 = -n, -n + 6*g + 12 = l*g. Is 6 a factor of n?
True
Suppose 5*g = 2*r - 5 - 12, 2*r + 5*g + 13 = 0. Is 6 a factor of (-3 - r - -1) + 19?
False
Let t = -3 - -3. Suppose -u + 4*u - 54 = t. Is 6 a factor of u?
True
Suppose -5*n + 0*t = 3*t - 56, -3*n = -t - 42. Let o = 19 + n. Is o a multiple of 16?
True
Suppose 6 = t + u - 14, -110 = -5*t - 3*u. Is 7 a factor of t?
False
Suppose -4*t + 8 = 0, d = -d - 4*t + 48. Does 9 divide d?
False
Is 20 a factor of 7*7/((-196)/(-648))?
False
Let d(a) = -3*a**3 + 17*a**2 - 14*a + 21. Let q(u) = -u**3 + 8*u**2 - 7*u + 10. Let h(k) = -2*d(k) + 5*q(k). Is 4 a factor of h(-7)?
True
Suppose -4*n = -46 - 114. Suppose 5*k - 135 = n. Does 9 divide k?
False
Let p(f) = -f + 2. Let k(a) = -5*a + 9. Let u(c) = -2*k(c) + 9*p(c). Let z be u(2). Suppose 3*s = 3*j - z*j + 67, -j = 2*s - 48. Does 12 divide s?
False
Let j(p) = 3*p**2 + 6*p - 1. Is 22 a factor of j(4)?
False
Let p(x) = -65*x**2 - 2*x - 1. Let y be p(-1). Let u = 106 + y. Does 14 divide u?
True
Suppose 3*c = -g + c + 4, -5*c + 5 = 0. Let y = 0 + g. Does 8 divide y/(-5) - (-57)/5?
False
Is 18 a factor of (90/24)/((-1)/(-28))?
False
Suppose -2*q = -2*n - q + 18, -3*q = -n + 14. Suppose n + 22 = 5*t. Is t even?
True
Let w = 133 - 78. Suppose w + 20 = 5*p. Is p a multiple of 8?
False
Let a(y) = -5*y - 33. Is a(-10) a multiple of 8?
False
Is 31 a factor of 1 - -2 - (-157 + 5)?
True
Suppose 168 = i + 3*i. Does 5 divide i?
False
Suppose 20 = -3*x - x. Let r(b) = b**2 + b - 7. Is 13 a factor of r(x)?
True
Let m be (-10)/15 - 251/(-3). Let c = m - 43. Suppose -5*k = 4*g - c, -4*k - 2*g + 36 = 2*g. Does 3 divide k?
False
Let h be 21/(-2)*132/(-18). Suppose -23 + h = 2*c. Is c a multiple of 18?
False
Let a(q) = -13*q + 75. Is a(-9) a multiple of 24?
True
Is (5 - 6)/((-1)/38) a multiple of 19?
True
Suppose 8*y + 5*y = 1430. Does 10 divide y?
True
Let d(a) = a + 8. Let x be d(-8). Suppose 0 = -p + t - 19, -2*p = 5*t - x*t + 24. Let g = 31 + p. Does 4 divide g?
False
Suppose -4*j = 2*m + j - 33, -4*j = -m - 16. Suppose -m*v + 2*u = -122, -2*u = 2*u - 12. Is 8 a factor of v?
True
Let n = -36 + 54. Suppose -2 - n = -4*t. Suppose 4*c = -2*j + 30, t = -j + c + c. Is 5 a factor of j?
True
Let x(m) = -9*m - 4. Let g be x(-6). Suppose -g = 6*n - n. Let u = 34 + n. Is 12 a factor of u?
True
Let x(o) = o**2 - 5*o - 2. Let l be x(6). Let v(c) 