s(-3). Let n = v + 14. Is n a multiple of 13?
False
Suppose 22 = 2*g - 2*q, 67 - 14 = 3*g + q. Let c be ((-17)/(-4))/(4/g). Let y = 30 - c. Does 5 divide y?
False
Let a = -11 + 33. Does 8 divide a?
False
Let y = -8 + 56. Is 12 a factor of y?
True
Let i = 5 - 1. Suppose 23 + i = 3*d. Is d a multiple of 9?
True
Let o(b) = b + 7. Let v be o(-6). Let p be (-1)/(-2)*(v + 1). Suppose 37 = 3*c + p. Does 12 divide c?
True
Suppose -5*r - j = -3*j - 13, 4*r + 4*j - 16 = 0. Does 9 divide r + -7 - (-15)/1?
False
Let s(g) = 0*g - 3*g + 4*g + 17. Does 2 divide s(-9)?
True
Suppose -4*v = -7*v + 384. Is v a multiple of 16?
True
Suppose -2*d + 9 = -5*d. Let r be (-2)/d*(-3)/(-1). Is 7 a factor of r + (5 - (2 + -2))?
True
Let a be (-10)/(-4)*(-4)/(-2). Suppose -b = -a*b + 44. Is 11 a factor of b?
True
Let z = -1 - 4. Let l = z + 10. Is 5 a factor of l?
True
Let m(r) = -6*r + 4*r + 6*r - 3. Let t be m(3). Is 13 a factor of (-6)/t + 41/3?
True
Suppose -w - 6 = -3*w. Let d = 5 - w. Does 2 divide d?
True
Let n = 4 + -4. Let i be (-3)/3 + n - -40. Let y = -19 + i. Does 7 divide y?
False
Let s(b) = -b**2 - 8*b + 3. Let h be s(-8). Suppose -4*w - 18 = -4*v - 98, -9 = h*v. Is 14 a factor of w?
False
Is (1 + -2)*(-7 + 5 - 181) a multiple of 22?
False
Suppose 38*t = 39*t - 174. Is t a multiple of 10?
False
Is 7 a factor of 70 + (1 + 2 + -1 - 2)?
True
Let u = 36 + 24. Is 10 a factor of u?
True
Let h = -9 + 13. Let w(b) = b**3 - 4*b**2 + 3*b - 6. Let p be w(h). Suppose -p*u = -2*u - 20. Is 4 a factor of u?
False
Let j(k) = 3*k**2 - 7*k - 12. Does 9 divide j(-3)?
True
Suppose 9*y - 463 - 518 = 0. Is y a multiple of 8?
False
Does 7 divide 3/(3/14 + 0)?
True
Does 3 divide (2 + 0)*2/(-8)*-18?
True
Let i(k) be the second derivative of k**4/12 + k**3/2 - 7*k**2/2 + k. Let c be i(-5). Suppose r - c*r = -58. Does 12 divide r?
False
Let r be 5724/22 + 18/(-99). Suppose 2*f + r = 4*q + 6*f, -4*q + f = -240. Does 32 divide q?
False
Is 1/4 + 3429/12 a multiple of 22?
True
Let k(d) = -d**2 + 14*d - 19. Let n be k(13). Is (-8)/n + 22/33 even?
True
Suppose -q = -12 - 71. Is q a multiple of 7?
False
Let g(h) = -h**3 + 10*h**2 - 5*h + 1. Let d be g(9). Suppose -3 = -l + d. Is 15 a factor of l?
False
Suppose 2*n + 2*i - 16 = 0, -5*n + 2*i + 28 = 4*i. Suppose -l = -5*x - 29, -2*l + l + n*x = -32. Is 22 a factor of l?
True
Let j = 87 + -59. Suppose -2*m - j = -2*s, 4*s - 39 = -3*m + 45. Is s a multiple of 13?
False
Let v(f) = 14*f + 12. Let q be v(5). Suppose -3*u + 60 = -90. Let h = q - u. Is h a multiple of 14?
False
Let i be 2/2*5/(-5). Let p be 13 + (1 + -2 - i). Suppose b - 2*b + p = 0. Is b a multiple of 11?
False
Let n = 6 + -10. Let i = n - -7. Suppose -i*c + 55 = 4*u - 0*u, c + u - 19 = 0. Does 7 divide c?
True
Let y(f) = 12*f - 2*f + 2*f**2 - 5 + 0*f**2 + 4*f. Is y(-10) a multiple of 20?
False
Let b(q) = 8*q**2 + 2*q - 10. Let p be b(5). Suppose -2*k + p = 2*k. Is 16 a factor of k?
False
Suppose 0 = 2*a - 3*a + 4. Suppose 0 = a*d - 17 - 127. Is 12 a factor of d?
True
Let s(a) = -a**3 + 2*a - 3. Is 18 a factor of s(-3)?
True
Let l = -90 - -419. Is l a multiple of 62?
False
Let z(c) = -c**3 + 5*c**2 - 6*c + 5. Let i be z(4). Let v be (-10)/i*6/(-5). Is 15 a factor of (13/(-4) - 1)*v?
False
Let i(l) = 3*l**3 - 2*l**2 + l - 2. Let c be i(3). Let t = -31 + c. Is t a multiple of 11?
True
Let a = 228 - 134. Is 39 a factor of a?
False
Let p(j) = -j**3 + 7*j**2 - 5*j + 9. Let i be p(6). Suppose z = -0*z + i. Does 15 divide z?
True
Let x = -13 + 17. Suppose 5*g = -x*f + 60, -4*g + 16 + 33 = 3*f. Is g a multiple of 16?
True
Is 19 a factor of -19*2*12/(-8)?
True
Suppose -575 - 13 = -2*z + 3*x, 2*z - 620 = -5*x. Suppose 4*u = -u + z. Is u a multiple of 20?
True
Let u = -9 - -15. Suppose -124 = -3*r + u*s - 2*s, 4*s + 52 = r. Is r a multiple of 13?
False
Suppose -4*z - 5*w = -1359, -3*z - 3*w + 1277 = 254. Does 63 divide z?
False
Let q = 34 + -5. Suppose 0 = 5*o + q + 16. Does 10 divide (-1 + o)*(3 - 4)?
True
Suppose -4*d - 3*d + 924 = 0. Does 40 divide d?
False
Let d = 480 - 276. Is d a multiple of 23?
False
Let d(j) = 4*j**2 + 3*j + 4. Let w(l) = -l**2 - l. Let t(q) = d(q) + w(q). Let h be t(3). Let v = h - 7. Is v a multiple of 15?
True
Let g = -4 - 2. Let i(r) = r**2 - 5*r - 9. Is i(g) a multiple of 24?
False
Let h = -43 - -54. Is h a multiple of 4?
False
Suppose 261 = 4*c - 35. Let x = c + -41. Is 17 a factor of x?
False
Suppose 0 = 4*g - 9*g + 570. Is 38 a factor of g?
True
Let f(z) = 5 + 3*z**3 - 8 + 2*z**2 + z - 3*z. Let c be f(4). Suppose 3*i - c = -5*l + 5*i, 2*l - 70 = -3*i. Does 16 divide l?
False
Let j(f) = f**3 + 6*f**2 + 7*f + 4. Let s be j(-4). Let c = s - 8. Suppose b = -c*b, -4*k + 3*b + 136 = 0. Does 23 divide k?
False
Let i = -108 - -198. Is 15 a factor of i?
True
Let c(d) be the first derivative of d**4/4 + 10*d**3/3 - 13*d**2/2 + d - 2. Does 18 divide c(-11)?
False
Let q(b) = -13 + 0*b**2 - 2*b + 13*b - b**2. Let f be q(9). Suppose 3*c - 2*c - g - 7 = 0, -5*g - f = -2*c. Does 3 divide c?
False
Let h = 3 + -5. Let v(w) = 14*w + 4. Let g(s) = -84*s - 23. Let p(j) = 6*g(j) + 34*v(j). Is 20 a factor of p(h)?
False
Suppose 0 = -3*u + 15, -2*b + 3*u + 6 + 23 = 0. Is 15 a factor of b?
False
Suppose -5*p - 11 - 3 = -3*w, 4*p + 19 = 5*w. Suppose 338 = 2*d + w*d - 3*o, 66 = d + o. Is d a multiple of 16?
False
Let l(y) = 0 - 3 + 2 + 2*y**2 + 8*y**2. Suppose -3*f + 9 = 0, -3*f - 6 = -3*u - 21. Is l(u) a multiple of 15?
False
Let u(a) = -3*a**2 + 6 + 4*a**2 + 3*a - 9*a. Let k be u(5). Suppose -k = 2*v - 21. Is 7 a factor of v?
False
Suppose -4*h + 3*h + 142 = 0. Does 32 divide h?
False
Suppose y + 0*c - 2*c = 0, 2*c = -4*y + 10. Suppose 0 - 42 = -y*j. Is 7 a factor of j?
True
Suppose -180 = i - 6*i. Suppose 3*v = v + i. Does 11 divide v?
False
Suppose -9*s + 4*s + 50 = 0. Let v be -2*(1 - (-5)/(-2)). Suppose v*z = 4*z - s. Does 10 divide z?
True
Does 4 divide (48/40)/(2/40)?
True
Suppose -r + 3*l = -0*r - 13, -r = -2*l - 10. Suppose r*c = -0*c + 80. Is c a multiple of 7?
False
Suppose 4*d - 2*i - 84 = 0, -3*d - i + 2*i = -65. Suppose -4 = -w - 0, 5*w - d = -3*h. Is 23 + (h - 2) + 2 a multiple of 14?
False
Suppose -2*k = 5*v + 4, 7*v - 5*k = 4*v + 10. Suppose -c + 1 + 27 = v. Is c a multiple of 14?
True
Let q = 103 + -20. Does 17 divide q?
False
Suppose -4*h - 2*i = -6*h + 230, -3*h - 2*i + 370 = 0. Suppose 5*c = -g + 6*g + h, c - 5*g - 32 = 0. Is c a multiple of 11?
True
Is 194/8 + 2/(-8)*1 a multiple of 3?
True
Does 19 divide ((-5)/(-3))/(2/54)?
False
Let d = 240 + -139. Is d a multiple of 12?
False
Suppose 54 - 12 = 3*f. Let n(i) = i**3 - 13*i**2 - 13*i + 13. Is n(f) a multiple of 21?
False
Suppose 113 = 2*l - 4*q - 51, 4*q = 20. Is l a multiple of 23?
True
Let r(l) = -l + 14. Let u be r(11). Suppose u*y + 32 = 4*y. Does 16 divide y?
True
Let v be (2 - (2 + 3)) + 5. Suppose 2*f - 14 = 5*y + 30, 4*f = -v*y + 136. Does 16 divide f?
True
Let t(j) be the first derivative of -j**4/4 + 7*j**3/3 - j**2 + 7*j - 2. Let q be t(7). Let b(n) = -n**2 - 8*n + 3. Is 10 a factor of b(q)?
True
Let v be (-3)/(-6)*1*0. Suppose v = y + 51 + 27. Does 8 divide (-8)/(-20) + y/(-5)?
True
Let l = -114 - -227. Is 16 a factor of l?
False
Let u(i) = -i**3 - 7*i**2 - 6*i + 6. Let a be u(-6). Let y(b) = -4 + a*b**2 + 3 - 4 + 5*b - b**3. Is y(6) a multiple of 11?
False
Let l = 1 - -66. Is l a multiple of 14?
False
Let k(l) = l - 3. Let v be k(-8). Let c(a) = -a**2 - 13*a + 7. Is c(v) a multiple of 9?
False
Suppose -341 - 3094 = -15*j. Does 10 divide j?
False
Suppose 480 = 3*i + j, 2*i - 4*j - 334 = -0*i. Is i a multiple of 23?
True
Let p(a) = a**3 - 5*a**2 + 4*a + 5. Let s be p(4). Let u(x) = -x**2 - 2. Let l be u(2). Does 10 divide (-2*5)/(s + l)?
True
Let i(x) = -10*x + 6*x**2 - 7*x**2 - 6 + 0*x**2. Does 13 divide i(-7)?
False
Let i(a) = -a**3 - 16*a**2 - 7*a + 14. Is 18 a factor of i(-16)?
True
Let g = -2 - -2. Let v(c) = -5*c - 2. Let j be v(-4). Suppose 3*x - j = -g*x. Does 6 divide x?
True
Suppose -z - 5 = -5*i, -2*i - 6 = 5*z - 35. Suppose -3*k = -z - 4. Suppose -k*t + 78 = -m - 62, 0 = 2*m + 10. Does 15 divide t?
True
Let t = -14 - -20. Suppose t*h - h = 30. Suppose -l - 30 = -h*l. Is 3 a factor of l?
True
Let y = 107 - 45. Suppose -3*r - 138 = 5*t, 2*r - 3*r - 55 = 2*t. Let b = t + y. Is 10 a factor of