*t. Does 11 divide t?
False
Let c(a) = -3*a**2 - 10*a + 3. Let z be c(-7). Let f be (0 - 124*1)*-1. Let g = f + z. Does 19 divide g?
False
Let g(u) = -u**3 + 9*u**2 + 11*u - 7. Let f be g(10). Suppose -19 = -s + a + 8, f*s + 3*a - 69 = 0. Is s - 1 - (-2)/(-1) a multiple of 10?
False
Let y be 11 + (-12 + 4)/4. Suppose 122 = y*q - 7*q. Is 12 a factor of q?
False
Let r(y) = -3*y + 1. Let h be r(-6). Let m be 38 - 3*3/9. Let x = m - h. Does 10 divide x?
False
Let d(v) = 4*v - 6. Let h be d(4). Suppose -5*j - h = -0*j. Is 12 a factor of j/(-5) - 490/(-25)?
False
Suppose 6*f - 2*f + 166 = 5*h, f = -4. Suppose 0 = -d - 12 - 4. Let q = h + d. Does 14 divide q?
True
Suppose y + 4*x = -0*x + 94, -y + x = -74. Is 13 a factor of y?
True
Suppose -177 = -z - 2*z. Is 22 a factor of z?
False
Suppose 3*x - 3*n - 25 = 14, -2*n = -2. Does 11 divide x?
False
Let w = 2 + 6. Let o = w + -2. Is 3 a factor of o?
True
Suppose q = 4*a + 25, -q + 10 + 12 = -a. Let t = q + 14. Does 17 divide t?
False
Let s(y) = y**2 - 5*y + 2. Let i be s(6). Let v be 5 - 2 - (11 + -3 + 0). Is (-4)/(-10) - i/v a multiple of 2?
True
Let x(j) = 14*j. Let h be x(4). Let f = -20 + 18. Is (-1 - f)*h/4 a multiple of 7?
True
Suppose -a + 5 = -0*a. Suppose 159 = a*u - 121. Let o = u - 34. Is o a multiple of 13?
False
Suppose 10*s - 7*s = 528. Does 22 divide s?
True
Suppose -2*b - 26 = 18. Let h = 40 + b. Is h a multiple of 9?
True
Let r(b) be the first derivative of -b**3/3 - 5*b**2/2 - 2*b + 2. Let a be r(-3). Suppose -l + 3*p + 37 = l, 5*l = -a*p + 150. Does 16 divide l?
False
Suppose -5*o - 9 = -144. Does 7 divide o?
False
Suppose -2*n - 2 = y, 0 = y + 2*y - 3*n - 12. Let g = -7 + 16. Suppose -g - 35 = -y*s. Does 11 divide s?
True
Let x(k) = -10*k - 7. Suppose 7 - 1 = -3*r - 3*q, 5*r + 60 = 5*q. Is x(r) a multiple of 22?
False
Let j be (111/3)/(2 + -1). Suppose 3*l = 4*f - 59 - j, 0 = 5*l - 5*f + 165. Let w = l - -80. Is 22 a factor of w?
True
Suppose 0*u - 2*u + 60 = 0. Is 15 a factor of u?
True
Let w(x) = -x**3 + 10*x + 6. Let i be w(-3). Suppose -l = l - 24. Let f = l + i. Is 15 a factor of f?
True
Is 19 a factor of -5*2/(-10)*19?
True
Suppose 4*w - 4*b = 24 + 12, -5*b - 36 = -4*w. Let h be 1/(-2) + (-134)/(-4). Let n = h - w. Is 12 a factor of n?
True
Suppose 10 = 2*x, -119 = -2*n - 5*x + 66. Is n a multiple of 8?
True
Let i(j) = -j**3 + 8*j - 5. Is 10 a factor of i(-5)?
True
Let s(t) be the first derivative of t**3/3 - 5*t**2/2 + t + 2. Does 15 divide s(7)?
True
Suppose 4*g = 3*p + 307, -2*g + 375 = 3*g - 2*p. Is g a multiple of 52?
False
Suppose -12 = -4*u, -u + 2 + 1 = 3*f. Suppose s + f*s = 15. Is 10 a factor of s?
False
Let p be 15/3*1/1. Let r = p - 6. Is -2 + 8 - (0 - r) a multiple of 4?
False
Let k(q) = 9*q + 8. Let a(y) = -5*y - 4. Let u(t) = 7*a(t) + 4*k(t). Let o be u(-6). Does 10 divide -50*1*o/5?
True
Suppose -3*q = 3*p + 2*q - 70, -4*p + 5*q = -70. Suppose -3*u + p = -c, -3*c + 23 = u + 3. Let v(b) = b**2 - 3*b - 9. Is 19 a factor of v(u)?
False
Suppose -k + 4*n - 132 = -6*k, 8 = -4*n. Is k a multiple of 23?
False
Suppose w - 4*q = q - 16, q = 4*w - 12. Suppose -60 + 20 = -4*f. Suppose -w*t - t = -f. Is t even?
True
Let x = 0 + 0. Suppose a - 9 - 3 = x. Is 6 a factor of a?
True
Let a = 128 - 73. Does 11 divide a?
True
Let c(b) = -b**3 + 11*b**2 - 9*b - 5. Let p be c(10). Suppose -p*r = -3*x - 41, 0 = 3*r + x - 5*x - 18. Is 3 a factor of r?
False
Let r(y) = -y**3 - 8*y**2 - 6. Let s be r(-8). Let n be (4/s)/(4/6). Is 3 a factor of (n - (-9)/6)*14?
False
Let l(s) = -s**3 - 5*s**2 - 6*s + 2. Let a = 9 - -1. Let q be ((-3)/(-2) + -2)*a. Does 16 divide l(q)?
True
Is (-9)/(-6) + (-46)/(-4) a multiple of 5?
False
Let h be 2/5 + 204/15. Suppose -4*y = -18 - h. Does 8 divide y?
True
Let h(n) = n**3 + 10*n**2 + 7*n + 8. Let b = 8 - 17. Does 13 divide h(b)?
True
Suppose 0 = -5*x + 15 - 40, 3*a - 5*x - 301 = 0. Is a a multiple of 23?
True
Let r = -24 - -48. Suppose 3*w - r = -w. Does 3 divide w?
True
Let m(i) = 9*i - 4. Let x be m(4). Let j be (-3)/(-9)*x*3. Suppose 3*t - 4*z = -t + 16, 0 = 3*t + z - j. Is 9 a factor of t?
True
Suppose -3*w + 20 = 4*f, -f - 20 = -4*w - 6. Suppose f*s - 23 = -3. Is 7 a factor of s?
False
Let y(i) = -5*i**3 - 2*i**2 + 2*i - 1. Let r be y(-3). Suppose -6*m + m = -r. Is m a multiple of 11?
True
Suppose 4*g - 23 = -b, 2*g = 5*b - 38 - 33. Does 15 divide b?
True
Suppose -4*k + 5 = 2*d + 17, -4*k = 20. Suppose -15 = d*u - 163. Is u a multiple of 13?
False
Let n(x) = -x - 5. Let k be n(0). Let l = -2 - k. Is 19/(l - (-10)/(-4)) a multiple of 19?
True
Let b = 349 + -178. Does 15 divide b?
False
Let b be 2/(6/129)*-1. Let x = b - -69. Is 13 a factor of x?
True
Let c be (-2)/(-8) - 36/16. Let b be (-6)/c - (1 - 0). Suppose b*x - 120 = -2*x. Is x a multiple of 13?
False
Suppose -2*w + 93 = 3*h + 2*h, -34 = -2*h - 4*w. Is 4 a factor of h?
False
Suppose -4*t = 3*a - 230, -3*a - 2*a - 4*t + 386 = 0. Is a a multiple of 26?
True
Let u be -2 + -4 + -2*1. Let g = u + 23. Is 15 a factor of g?
True
Suppose -33 = -3*y - 0*y. Is 11 a factor of y?
True
Is 10 + 4 + 0/1 a multiple of 8?
False
Let y = -2 + 5. Suppose y*m = 6*m. Let z(r) = -r**2 + r + 21. Does 13 divide z(m)?
False
Let a(b) = 25*b**2 + 3*b + 3. Is a(-2) a multiple of 9?
False
Let x(z) = -15*z - 86. Is x(-14) a multiple of 64?
False
Does 5 divide -254*((-21)/(-6) + -4)?
False
Suppose 5*k - 1597 = 3*h, -k + 5*h = -5*k + 1285. Does 14 divide k?
False
Let v = 0 - -5. Suppose 62 = 3*t + v*k, -k + 74 = 4*t + t. Is 7 a factor of t?
True
Suppose 2*w = 3*w. Suppose w*f = -4*f. Suppose 3*t = -f*t + 15. Is t even?
False
Let b be (56/10)/(1/5). Suppose 0 = 4*a - 5*p - b, 5*a - 3*a - 2*p - 12 = 0. Suppose 0 = -a*z + 3*u + 4 + 17, u + 12 = z. Does 8 divide z?
False
Suppose 0 = -5*n + 2 + 193. Suppose 4*c - n = 17. Is 9 a factor of c?
False
Suppose 155 = 7*y - 153. Is 3 a factor of y?
False
Let c(z) = 108*z + 4. Is 44 a factor of c(2)?
True
Suppose 0 = 2*i - 10, i - 23 = -z + 3*z. Let a be (-2)/(z/6 - -1). Let b = 30 - a. Is 13 a factor of b?
True
Let v be (-2)/(-2) + 2/1. Suppose 4*q - q = -v*w + 36, 5*w - 24 = -2*q. Is q a multiple of 8?
False
Does 13 divide -2 + 4 + (-11)/(-1)?
True
Suppose 5*b + i = 230, -4*b - i = -97 - 87. Does 16 divide b?
False
Let v be (0 - 1)*(1 - 1). Suppose 3*l - 2*u = 24, -21 = -3*l + u - v*u. Is l even?
True
Suppose 0 = -5*k - 2*j - 11 + 225, -3*k + 132 = 3*j. Is k a multiple of 26?
False
Let w be (-1752)/(-20) - 6/(-15). Suppose 0 = -5*t + 7 + w. Is 8 a factor of t?
False
Suppose 3*z = 5*y + 57 - 401, -y + 74 = 2*z. Is y a multiple of 7?
True
Is 8 a factor of (-8)/12*-3 - (-192)/3?
False
Let u = 61 + -30. Let h(s) = -s**3 + 12*s**2 - 13*s + 6. Let b be h(11). Let g = u + b. Does 13 divide g?
False
Suppose 8 + 0 = 2*w. Suppose 2*a + 14 = 78. Suppose 2*f - a + w = 0. Is 7 a factor of f?
True
Let r(m) = -2*m + 2. Let o(k) = -k**3 + 4*k**2 - 5*k + 4. Let s be o(3). Let n be r(s). Let b = -1 + n. Is 5 a factor of b?
True
Let m(i) be the third derivative of i**5/40 - i**4/12 - i**3/6 + i**2. Let s(u) be the first derivative of m(u). Is 5 a factor of s(5)?
False
Let z = 2350 - 389. Suppose -4*l - 747 - 433 = -3*t, -5*t + l = -z. Does 9 divide t/22 - 10/(-55)?
True
Is (-72)/4*-4*(-6)/(-9) a multiple of 6?
True
Suppose -2*k - 3*k = 0. Is 3 a factor of 5*(-2 + k - -3)?
False
Suppose -3*y + 53 = 2*b, -2*y + 2*b + 11 + 11 = 0. Let l = 10 - y. Let n(f) = f**3 + 7*f**2 + 7*f + 3. Is 10 a factor of n(l)?
False
Let j = 88 + -11. Suppose 4*q = 2*t + 988, 984 = 4*q + 5*t - 6*t. Suppose q - j = 4*g. Is 12 a factor of g?
False
Suppose 3*l - 729 = -3*w, -4*l = 3*w - 4*w + 228. Is 40 a factor of w?
True
Does 53 divide (-6)/(4 + 254*(-15)/948)?
False
Let t(k) = k + 2. Let v be t(-4). Is 16 a factor of (-41*(2 - 0))/v?
False
Let o be (-27)/1*2/(-6). Suppose -o = -4*n + 23. Is 8 a factor of n?
True
Suppose 0 = 2*a + 3*z - 9, 0*z = 3*a - 4*z - 5. Suppose 0 = -5*k - a*i + 58 + 138, -176 = -4*k + 4*i. Does 14 divide k?
False
Let f be (-6)/2 + 23*1. Suppose -2*l = -l - f. Is l a multiple of 14?
False
Let o = 173 + -23. Suppose 4*a - 9*a + o = 0. Is a a multiple of 13?
False
Is 5526/99 + 18/(-22) + 1 a multiple of 7?
True
Let v = 16 - 11. Let x(t) = t**3 - 5*t**2 + 4*t + 2. Is 11 a factor of x(v)?
True
Let c(p) = 11*p + 5 