 (z + 1 + 0)?
True
Let u(c) = c**2 + 4*c + 6. Is u(-3) a multiple of 3?
True
Let z = 10 + -6. Suppose -3*u - 19 = -z*u. Is 8 a factor of u?
False
Is (-7)/(5 - 33/6) a multiple of 7?
True
Let r(z) = -z**2 + 5*z + 5. Let l be r(4). Let q = l - 4. Suppose o - 2*c = -o + 110, q*c - 193 = -4*o. Is o a multiple of 26?
True
Suppose -2 = -a + 1, 0 = 3*g - a - 12. Suppose -3*p + 36 = g*s, p + 22 = 4*s - 0*p. Does 3 divide s?
True
Let g(l) = -l**3 + 7*l**2 - 6*l + 4. Let h be g(6). Suppose -h*p + 5 + 151 = 0. Is p a multiple of 13?
True
Let q be 0 + 2 + -3 + -2. Is -42*q/12*2 a multiple of 10?
False
Suppose -12*o + 248 = -460. Is o a multiple of 8?
False
Let a be 2 + (22 - 2/(-2)). Suppose 0*b - 30 = -2*n - 3*b, -30 = -2*n - 2*b. Let z = a - n. Is z a multiple of 5?
True
Let g be 4/10 - 53/(-5). Let c be 2/4 - g/2. Let n(l) = -l**2 - 7*l - 1. Does 8 divide n(c)?
False
Suppose 4*r - 63 = v - 17, 0 = r - 5*v - 2. Does 6 divide r?
True
Is -6*(9/(-2) + (-2)/(-2)) even?
False
Suppose 0 = 3*a + 151 - 412. Let i = -60 + a. Is i a multiple of 13?
False
Let m = 0 - -8. Suppose 3*f = 5*f - m, -f = -5*g + 36. Does 4 divide g?
True
Suppose 12 = -0*l + 4*l. Suppose 19 = -u + l. Does 2 divide u/(-6)*(-27)/(-12)?
True
Let k(a) = -10*a. Let o be 4 - (0 - -1) - 0. Let x = 2 - o. Is k(x) a multiple of 8?
False
Let t(q) = -2*q - 7. Let k be t(-14). Is 7/(k/12) - -35 a multiple of 8?
False
Suppose -1617 - 93 = -18*z. Does 12 divide z?
False
Is 12 a factor of 363/4 + 1*(-4)/(-16)?
False
Let w(x) = x**2 + x - 1. Let z be w(1). Does 12 divide (-20 + 1)*(-1)/z?
False
Let a(q) = -7*q**2 + 2*q - 3. Let x be a(2). Let u be (x/12)/((-6)/16). Suppose 2*n = u*n + 3*d - 73, 5*n + 5*d - 95 = 0. Is 8 a factor of n?
True
Suppose 216 + 744 = 5*f. Does 32 divide f?
True
Let a = -22 + 526. Suppose a = 2*f + 2*f. Suppose -5*n + f = -z - z, 3*z - 110 = -4*n. Is 13 a factor of n?
True
Suppose 0 = -0*r + r. Suppose r = -3*k - 2*k - 10, 0 = 3*z + 4*k - 61. Suppose 5*p + z = 6*p. Does 23 divide p?
True
Suppose -4*l = -0*b - 3*b - 21, -l = -3. Let o = -26 - -75. Does 9 divide o/3 + (-2)/b?
False
Let z be (-3)/(-9) - 51/(-9). Let b(f) = f**2 - 3*f - 9. Does 3 divide b(z)?
True
Let t(d) = 3*d**2 + d + 1. Let a be t(-1). Suppose 2*s + 2*b = -28, 2*s = a*s + 3*b + 8. Let r = s + 46. Is 16 a factor of r?
False
Let o(v) = v + 10. Let a be o(-7). Suppose -5*y = 5*j - 205, j + 5*y - a - 34 = 0. Is j a multiple of 31?
False
Suppose 3*v + v = 0. Suppose 4*q - 5*o - 5 = v, 2*q = q + 5*o + 5. Is 5 a factor of 6 - ((q - 1) + 2)?
True
Let t(z) = -z + 2. Let a be t(3). Let i(s) = -13*s - 1. Is 4 a factor of i(a)?
True
Let q = 51 + 5. Suppose -q = -2*k - 0*k. Is k a multiple of 9?
False
Suppose 3*u + 4*i + 5 - 62 = 0, 0 = -4*u + 4*i + 76. Is u a multiple of 19?
True
Let z(i) = -i**3 - 6*i + 7. Let v be z(5). Let k = -102 - v. Is k a multiple of 10?
False
Let y(x) = 2*x**2. Let i be y(1). Is (-38)/(i*-1) + -1 a multiple of 14?
False
Suppose 5*c - 10 = -5*g + 30, 0 = 3*g - 4*c - 45. Does 3 divide g?
False
Suppose 2*p = 4*t - 390, -5*t + 3*p + 485 = -0*p. Does 10 divide t?
True
Let o be 2/(-10) + 121/5. Let c = -1 + o. Is c a multiple of 13?
False
Suppose -10 - 8 = -6*x. Suppose 5*v = -c + 50, -4*v + 4 = -x*v - c. Does 9 divide v?
True
Let d(j) = -j**2 - 13*j + 2. Does 12 divide d(-11)?
True
Suppose 5*y - 4*u - 659 = 0, 0 = 2*u - 2 - 6. Does 15 divide y?
True
Is 11 a factor of 2/(-9) + (-5358)/(-54)?
True
Let y(n) = n**3 - 5*n**2 - n - 1. Let q be y(4). Let o = q - -12. Is 7 a factor of ((-12)/o)/((-1)/(-9))?
False
Suppose -2*k + 61 + 11 = 0. Does 18 divide k?
True
Suppose 0 = c + 3, -2*m = m + 3*c - 3. Suppose -m*q = -2*q. Suppose 0*s - 3*s + 27 = q. Does 8 divide s?
False
Let a be (6/4)/(1/4). Is a/4*-1*-4 a multiple of 2?
True
Suppose 5*d + 3*m - 87 = 0, 2*m = -4*d + 7*d - 37. Let w = 9 - d. Does 9 divide 2/w - 165/(-9)?
True
Let j(g) = g**3 + 6*g**2 + 5*g + 2. Let a be j(-5). Let x(r) = a*r + 0*r - 3*r + 4. Is x(-6) a multiple of 10?
True
Suppose 0 = -5*a + 16 - 1. Let m = 4 - a. Suppose -z + 4 = -m. Is 5 a factor of z?
True
Let l(q) = -2*q - 1. Let s be l(-2). Let t(o) = o**3 - o**2 + o + 3. Is 12 a factor of t(s)?
True
Suppose 0 = -2*g + 10, 3*g + 2*g - 220 = 3*r. Suppose -4*t - 2*l = t + 545, 3*t + 3*l = -327. Let k = r - t. Is k a multiple of 17?
False
Let n = -2 - -11. Let y be 15/n - (-1)/3. Is 7 a factor of (1/y)/((-1)/(-36))?
False
Let m be -71*-3*4/12. Let w = m + -51. Is w a multiple of 5?
True
Let l(o) = 17*o**2 - o - 1. Is l(-1) a multiple of 7?
False
Let y(v) = 4*v - 4. Does 6 divide y(5)?
False
Let i be (-15)/(-6)*6/5. Suppose -b - 4*z = -3*b + 102, 49 = b - i*z. Is 20 a factor of b?
False
Let x(h) = -h**3 - 7*h**2 - h - 6. Is x(-8) a multiple of 24?
False
Suppose d - 25 - 20 = 0. Let c = 63 - d. Is 9 a factor of c?
True
Let i = -31 + 37. Is i even?
True
Suppose 0*j = 4*j + 4. Is 11 a factor of (27 - 2/j) + -2?
False
Suppose 25 = -5*o, -4*i + 4*o - 4 = -48. Suppose -i*l + 8*l = -2*d + 96, 0 = -d - 4*l + 63. Is d a multiple of 12?
False
Is (-3 - 111)*(-1)/2 a multiple of 10?
False
Let v(x) = -x**3 + x - 1. Let s be v(1). Is 13 a factor of 0 - ((-111)/3 - s)?
False
Is 2 + 18/(-8) + (-1194)/(-8) a multiple of 21?
False
Let c(l) = 0 + 3 - 14*l + 15*l. Let t be c(0). Suppose -2*i + 180 = t*i. Is i a multiple of 18?
True
Suppose 11 = 4*w - 17. Let f = w - 5. Is 8 a factor of (f/5)/((-3)/(-60))?
True
Is 19 + 3 + -1 + 1 a multiple of 22?
True
Let i(r) = r**2 + 7*r + 8. Let n be i(-6). Let z(h) = -10*h + 10*h - 4 + 2*h**n. Does 10 divide z(4)?
False
Let u(z) be the second derivative of z**3/2 + 3*z**2/2 - z. Let o be u(5). Suppose -b + o = b. Does 6 divide b?
False
Suppose -2*l + 59 + 61 = 0. Does 12 divide l?
True
Let x(j) = j**2 + j + 2. Let k(s) = s**2 + 4*s - 5. Suppose q = -1 - 3. Let u be k(q). Does 10 divide x(u)?
False
Let v(k) = -4*k**3 + 2*k**3 + 3*k**3 + 5 - 8*k - k**2. Let l be v(5). Suppose 3*c + 5*g = l, 5*c = 4*g - 0*g + 96. Is 12 a factor of c?
False
Is (2/(-4))/((-4)/144) a multiple of 6?
True
Let c(w) be the second derivative of -w**4/12 + 5*w**3/6 - w**2 - 3*w. Let f be c(3). Suppose -z + f*u + 23 = 0, -5*z + u + 39 = -0*z. Is 5 a factor of z?
False
Suppose 4*q = -0*q + 32. Let p = q + -2. Is p a multiple of 2?
True
Suppose -2*m - 9 = -93. Does 31 divide m?
False
Let u(a) = 3*a**2 - a - 1. Let q be u(-1). Suppose 2*k = k + q, -g - 4*k + 26 = 0. Is g a multiple of 7?
True
Suppose -68*j + 67*j = -165. Is 33 a factor of j?
True
Suppose 4*y = 5*a - 270, -2*a + 80 = -2*y + 6*y. Is a a multiple of 27?
False
Let x(t) = 5 + 1 + 3 + t + 0. Let n be x(-9). Suppose -2*o + 30 + 48 = n. Is 19 a factor of o?
False
Let z be (-227)/(-2) + 3/(-6). Suppose z = 5*p + 38. Does 5 divide p?
True
Let v(a) = a - 21. Let n be v(14). Let g be (-7)/(-2)*(11 - 3). Let r = n + g. Is r a multiple of 12?
False
Let m = -16 + 40. Is 12 a factor of m?
True
Let h be 3*(-2)/(18/129). Let m = h + 81. Does 13 divide m?
False
Let u be (12 + -5)/(2/(-4)). Let n = u + 26. Is 12 a factor of n?
True
Let r = 231 + -171. Is 10 a factor of r?
True
Let p = -1 - 7. Is (25/20)/((-2)/p) a multiple of 3?
False
Suppose 4*m = -m. Suppose -3*t + 8*t = -3*h + 20, m = 2*t - 8. Let c(o) = -o**2 + 38. Is 17 a factor of c(h)?
False
Let p = -9 + 6. Let j = -3 - p. Is (1 - (-4 - 3)) + j a multiple of 6?
False
Let q = -6 + 10. Suppose 3*g = 3*r + 144, 0 = 2*g - 7*r + q*r - 94. Does 10 divide g?
True
Suppose 2*t = -d + 5, 3*d = 4*t - 12 - 3. Is 1/2*(25 + d) a multiple of 12?
True
Suppose 0 = 3*x + 5*w - 22, x = -0*x - 5*w + 4. Is 2/6*x - -22 a multiple of 9?
False
Suppose -5*g + 140 = -5*m, -21 = -2*g - 2*m + 15. Let l = 25 + g. Is l a multiple of 20?
False
Is 47 + -2 + (-12)/3 a multiple of 10?
False
Let o = -2 - -153. Does 15 divide o?
False
Suppose 2*m = 6*m + 4. Is 14 a factor of (m - 1)*99/(-6)?
False
Suppose 2*g - 3*n = -7, 5*g - 3*n = -6 + 2. Let o be 0 + (-2 - (-3)/g). Is 3*(-2)/(o + -3) a multiple of 2?
False
Suppose -w + 2*m + 66 = -3*w, 5*m + 107 = -3*w. Let t = 3 - w. Does 16 divide t?
True
Suppose 2*o = 3*f + f + 154, 126 = 2*o + 3*f. Does 4 divide o?
False
Let i = -444 - -634. Is 19 a factor of i?
True
Let k = -23 + 8. Let n = -11 - k. Suppose -n*d + 32 = -96. Is 14 a factor of d?
False
Let t(p) = p + 1. Let u be t(-7). Let h = 2 