= 117 - 77. Is x a multiple of 36?
False
Suppose 2*p + 3*p - 122 = -4*z, 2*z = -5*p + 126. Is 14 a factor of p?
False
Let n(d) = -d**3 - 4*d**2 - 2*d + 3. Let z be n(-3). Suppose z = 5*o - 15, -5*m + 2*o = -34 - 75. Does 15 divide m?
False
Let n be 2 - 1 - (-50 - -3). Suppose -2*q = -0*q - n. Is q a multiple of 12?
True
Let p = -6 + 6. Suppose a - 5 - 6 = p. Is 11 a factor of a?
True
Suppose 0 = z + 2*m - 8, -5*z + 4*m = 13 + 3. Suppose -7*s + 2*s - 115 = z. Let n = 44 + s. Is n a multiple of 21?
True
Let d(i) be the second derivative of -i**3/3 - 9*i**2/2 + i. Let q be d(-8). Is 7 a factor of (q/3)/(2/6)?
True
Let l(q) = -q**3 - 2*q**2 - q. Let x be l(-2). Suppose 5*u + 1 = -x*g + 6*g, g - 19 = 5*u. Let b(p) = p**3 + 5*p**2 - 8*p - 9. Does 3 divide b(g)?
True
Let w = -2 + 3. Let t be 4*w - (5 + -6). Suppose -5*n = -t*l + 125, -58 = -3*l + n + 11. Is 16 a factor of l?
False
Let i(b) = -b**3 + 9*b**2 - 8*b - 1. Let j be i(6). Suppose 5*s - 45 = -5*p, 10*p = 5*p + 2*s + j. Is (-2 + p)*10/3 a multiple of 13?
False
Suppose 13*c - 3893 = -4*c. Is c a multiple of 13?
False
Let p = 25 + 143. Does 41 divide p?
False
Suppose 7*t = 3*t + 24. Suppose -z + 4 = -3*z. Let g = t + z. Is 2 a factor of g?
True
Let t(y) = -2*y - 10. Let s be t(-9). Suppose -20 = -4*n + s. Is n a multiple of 2?
False
Let d be 20/25*(-75)/(-2). Let l be -2 + (1 - 1) + 3. Does 13 divide 1 - (-2 - d/l)?
False
Suppose 10 + 134 = 6*t. Is t a multiple of 5?
False
Let g = 44 - 12. Let z be 120/28 - (-2)/(-7). Suppose -g = -z*b + 4*s + 20, -s = 5*b - 71. Is b a multiple of 7?
True
Let n be (-4)/16 - 26/(-8). Suppose -2*c = -4*c + 4. Let y = c + n. Is y a multiple of 2?
False
Let w = 240 - 121. Is 20 a factor of w?
False
Let g be 6/8 - (-714)/(-56). Does 11 divide 8/g - (-101)/3?
True
Suppose 0 = 3*f - 3*m - 21, -f + 2*m = 4*m + 5. Let p be -4 + (4 - (4 + -4)). Suppose -3*j - o + 33 = p, 0*j + f*j - 3*o = 21. Does 4 divide j?
False
Let p(v) = 2*v**2 + 6*v + 6. Suppose -2*k + f - 11 = 0, 2*k + 2*f = 7*f - 23. Does 3 divide p(k)?
False
Let u = -8 + 9. Is 23 a factor of 2 - (-138)/(u - -2)?
False
Suppose -614 = -5*i - 209. Does 27 divide i?
True
Let t(p) = -2*p**3 - 6*p**2 + 2*p - 7. Is 6 a factor of t(-5)?
False
Let s(o) = o + 2. Let n be s(5). Let z = 0 - n. Is 20 a factor of (-282)/z - (-8)/(-28)?
True
Suppose 5*a + 26 = 6, p + 3*a = -3. Suppose -y = -0*y - p. Suppose -y = -5*t + 121. Is 18 a factor of t?
False
Let d = -1 + -8. Let q = -5 - d. Suppose 0 = m + q*m - 60. Does 6 divide m?
True
Suppose 0 = 4*s - s + 2*v - 238, -s - 5*v = -75. Suppose s = d + 3*d + t, -26 = -2*d + 3*t. Is 14 a factor of d?
False
Let i(d) = d**3 + 7*d**2 + 6*d + 2. Let t be i(-6). Let g be -68*((-1)/t)/1. Suppose g = 3*l - l. Is l a multiple of 10?
False
Suppose 60 = -0*y + 5*y. Is 7 a factor of y + 0*1/2?
False
Let k = 131 - 52. Is k a multiple of 4?
False
Let i = 1 + 1. Is (-345)/(-27) + i/9 a multiple of 5?
False
Let c be 294/12 - (-1)/(-2). Does 4 divide 6/c + (-62)/(-8)?
True
Let n = 6 + 6. Does 4 divide n?
True
Suppose -4*p + 66 = -74. Suppose 2*t - 55 = p. Is 15 a factor of t?
True
Suppose -479 = -11*z + 434. Does 2 divide z?
False
Suppose -2*q = -4*m, 3*m = q + 1 + 2. Let c(d) = d - 10. Let u be c(q). Is 4*(-1 - u) + -1 a multiple of 7?
False
Let t(m) = -m**2 - 56*m + 25 + 0*m**2 + 43*m - 7. Suppose 5*p - 3*v = -6*v - 77, -p = -4*v - 3. Is t(p) a multiple of 18?
True
Let x be (98/4)/((-2)/(-4)). Suppose -5*h = -16 - x. Is h a multiple of 9?
False
Let o(h) = h**2. Let t be o(1). Let q(s) = 4*s**2 + s - 1. Let k be q(t). Suppose -k + 8 = l. Is l a multiple of 2?
True
Suppose -3*w - 2 - 4 = 0. Let z(o) = -3*o**3 - 3*o**2 - 2*o - 1. Does 15 divide z(w)?
True
Suppose f - 6*f - n + 11 = 0, 4*f + 5*n + 8 = 0. Suppose -2*a + 4*r + 4 = 0, -2*r - f*r - 9 = -2*a. Let t(b) = b**3 + 9*b**2 + 4*b - 6. Does 13 divide t(a)?
True
Suppose 42 = 13*s - 23. Is 2 a factor of s?
False
Suppose 0 = -6*i + i + 85. Suppose -5*u - 3 + 26 = 3*d, -i = -3*u - 5*d. Suppose 0 = -u*h + 12 + 4, 4*m = -5*h + 72. Does 5 divide m?
False
Let d(v) be the first derivative of -v**4/4 + 3*v**3 - 4*v**2 + v + 3. Let u be d(8). Does 13 divide u/(-2)*-2 - -25?
True
Suppose 0 = -4*g + 4*p - 11 + 55, g = 3*p + 19. Let b(y) = -y**2 + 7*y + 4. Let n be b(6). Let w = n - g. Is w even?
False
Suppose 3*h - 45 = -0*h. Is 6 a factor of h?
False
Suppose i - 1 + 5 = 2*z, 13 = 5*i + z. Suppose 5*m + 53 = 4*n, 0*n + m - i = -n. Is 7 a factor of n?
True
Let t(d) = 8*d**3 - d**2 + d. Let h be t(2). Suppose -3*y + 164 = -l, 4*l + 209 + h = 5*y. Does 23 divide y?
False
Suppose 232*u = 237*u - 840. Is u a multiple of 28?
True
Is (-4 + 1 - -2)*-52 a multiple of 23?
False
Suppose 4*y - 383 = 3*h, 2*h - 4*h = 4*y - 398. Suppose -15 = -3*d, -4*q + 2*d = -0*d - y. Is q a multiple of 9?
True
Let f = 18 + 31. Does 8 divide f?
False
Suppose -4*n - 3*y = 2*y - 311, 3*y + 15 = 0. Suppose 28 = 4*j - n. Does 14 divide j?
True
Suppose -4*g - 41 = -5*o, 5*g = -o + g - 11. Does 5 divide o?
True
Let t be ((-20)/(-15))/(4/6). Suppose 5*g + 0 = -3*v - t, 44 = 4*v - 5*g. Let h = 30 + v. Is 18 a factor of h?
True
Let y(v) be the second derivative of v**4/12 + 2*v**3/3 + 3*v**2 + v. Let h be y(-4). Suppose 2*a + h = 26. Does 10 divide a?
True
Let g(y) = 13*y**2 + 4*y. Is g(-2) a multiple of 16?
False
Is (-4)/(-1) + -2 - -19 a multiple of 5?
False
Let w(h) = h**2 + 8*h - 15. Is w(-12) a multiple of 33?
True
Let i(l) = l + 17 - 16 + 31. Let o = -3 - -3. Is 14 a factor of i(o)?
False
Suppose 5*u - 2*u - 21 = 0. Is 16 a factor of (u + -39)/((-2)/3)?
True
Suppose -3*j = 3*g - 123, -4*j - 2*g + 3*g + 164 = 0. Is j a multiple of 7?
False
Let h be (-3 - -4)*12 - -3. Let v = 0 + h. Suppose -2*f + v = -f. Does 13 divide f?
False
Suppose 27 = -3*i - 4*b, -3*i - 11 = i - 3*b. Let o(w) = w + 5. Let x be o(i). Suppose -4*t + 2*j = 6*j - 148, -4*j + 12 = x. Does 17 divide t?
True
Let r(o) = 8*o**3 - 2*o**2 - 2*o. Let t(f) = -105*f**3 + 27*f**2 + 27*f. Let s(c) = -54*r(c) - 4*t(c). Does 4 divide s(-1)?
True
Let v be 4 + 0*1/(-2). Suppose v*i = -5*x + 18, 3*x - 16 = -4*i - i. Suppose 7 + 11 = i*s. Is s a multiple of 9?
True
Let p(l) = l**2 - 4*l - 19. Does 34 divide p(14)?
False
Let q be ((-3 - -3)/(-2))/1. Suppose -3*c = -0*i + 3*i - 15, 5*i - 25 = q. Suppose c*k = -k + 12. Is k a multiple of 5?
False
Is 10/(-12) + 1 - (-1463)/42 a multiple of 5?
True
Suppose 0 = 2*j - 5 - 1. Suppose 4*m = -j*q, -3*m = 4*q - 5*q + 13. Suppose 2*x - 5 = -q*p + 19, 0 = 2*x + 5*p - 23. Is 7 a factor of x?
True
Let l be 3*(1/(-1))/(-1). Let o(b) = 0*b**2 + b**2 + 0*b**2. Is 9 a factor of o(l)?
True
Let h = 59 - 31. Is 4 a factor of h?
True
Let j(s) = -s**2 - 5*s - 2. Let q be j(-4). Suppose 5*l + 7 = -4*g + 23, 3*g - 12 = q*l. Does 7 divide (-4)/(-1)*7/g?
True
Suppose -4*t + 4 + 0 = 0. Suppose -23 = -o + t. Is o a multiple of 9?
False
Let b(y) = -2*y**3 - 6*y**2 + 5*y - 1. Does 17 divide b(-6)?
False
Suppose -5*x - 109 - 1 = 0. Is (x/(-4))/((-6)/(-84)) a multiple of 13?
False
Is (10/6)/(3/18) a multiple of 9?
False
Let q(l) = -l**3 + 5*l**2 - 3*l. Let t be q(5). Let f be (-6)/t - 9604/10. Is 24 a factor of ((-4)/10)/(8/f)?
True
Suppose -2*r + 5*r = 0. Suppose r = 4*b - 2*b - 6. Suppose -7*c + b*c = -20. Is c a multiple of 5?
True
Suppose 5*y - 10 = 0, -3*m - 4*y = -5*m - 56. Let r = m + 59. Is r a multiple of 10?
False
Let b = -6 + 4. Let g = -36 - -59. Let v = g + b. Is 8 a factor of v?
False
Let n be 0 + 7*-2*10. Let d = -94 - n. Is d a multiple of 18?
False
Suppose 5*m - 1 = 2*r + 1, -2*m - 16 = -5*r. Does 4 divide r?
True
Let m = 38 + -26. Let v(k) = 2*k. Let x be v(2). Suppose 0 = -x*j + 116 - m. Is 9 a factor of j?
False
Suppose 186 = 4*u - 2*i - 286, -220 = -2*u + 5*i. Suppose 2*c = -c + u. Is c a multiple of 20?
True
Let t = 0 + 4. Suppose 2*s - 164 = -t*j, 0 = -5*j + 6*j + 2*s - 38. Does 22 divide j?
False
Suppose 75 = -3*a + g, g - 12 - 15 = a. Let m be 72/(-7) - (-2)/7. Is 8 a factor of (m - 0)*a/15?
True
Is 13 a factor of 1 + ((-2)/3 - 1228/(-6))?
False
Suppose -2*t + 104 = -3*w, 2*t + 5*w - 235 = -3*t. Is t a multiple of 11?
False
Let m be 6/4*22/3. Let v = m - 4. Is v a multiple of 7?
True
Suppose -5*u + 9 = 39. Suppose -2*o + 231 = o. Is (-2)/u - o/(-3) a multiple of 11?
False
Suppose 0 = -4*d + 31 + 5