
Suppose 0*t = t. Suppose a = -t*a + 30. Is 13 a factor of a?
False
Suppose 3*m - 2*j - 178 - 89 = 0, 5*j + 189 = 2*m. Suppose 0 = 5*d - 25, 2*n + d = -2*d + m. Let t = n + -14. Is t a multiple of 8?
False
Let a be 5 + (-5 - -2) - -9. Is 218/a - 2/(-11) a multiple of 11?
False
Is (3/(36/968))/((-2)/(-3)) a multiple of 33?
False
Let m = -8 - -5. Let s be -1 + -1*(m + 0). Suppose -3*x = s*k - 78, x - 8 = -5*k + 18. Is x a multiple of 7?
False
Let h(k) = k + 4. Let v be h(-3). Suppose 4*g + 2 = -5*c + v, 3*g + 4*c + 1 = 0. Does 10 divide 3/(-3) - (-11)/g?
True
Does 3 divide 180/14 + (-7)/(-49)?
False
Let y = -1 - -5. Suppose -5*v - y*i = -124, 4*i - 1 - 75 = -3*v. Is 12 a factor of v?
True
Suppose 4*f - 12 - 4 = 0. Let a(k) = k. Let i be a(f). Suppose -i*x + 76 = 4*m, -24 = -x - 2*m - 0. Does 9 divide x?
False
Suppose -73 = -3*n - 5*r, -4*n - 4*r + 81 = -3. Does 5 divide n?
False
Let a(o) = o - 2. Let y be a(6). Suppose m + 9 = -0*m - y*z, 4*m - 15 = z. Suppose 0 = b + m*k - 12, 0*k = -3*b + k + 76. Is 11 a factor of b?
False
Suppose -5*d + 571 = -4*j, 2*d - d + 3*j = 118. Let m be 162/(-8)*-2*-2. Let a = d + m. Does 19 divide a?
False
Let x(k) = -k + 1. Let f be x(-3). Suppose -3*g = -f*z + 3*z + 64, -4*z = g - 204. Suppose 3*q - 2*l - 2*l = z, 3*q - 45 = -3*l. Is 8 a factor of q?
True
Is (0 - 3)/(((-2)/(-2))/(-39)) a multiple of 31?
False
Let j(c) = 13*c**2 - 2*c + 1. Let b be j(1). Let p = b + -6. Does 13 divide (52/p)/(1/3)?
True
Let l = -59 - -152. Is l a multiple of 31?
True
Suppose -5 = -5*l, -j - l = 25 + 7. Let h = 7 - j. Does 10 divide h?
True
Suppose -5*f = -3 - 12. Suppose 2*o - 58 = -3*q, -f*q - 3*o + 14 = -46. Let u = q - 2. Does 8 divide u?
True
Let p = -13 - -91. Is p a multiple of 13?
True
Suppose i = 2*u + 405, -3*u + 380 = i - 0*u. Is i a multiple of 19?
False
Let y(n) = -n. Let v be y(5). Let i = -1 - v. Suppose 0 = -3*o + 2*z + 34, i*z = -4*o + 2*o - 4. Is o a multiple of 8?
True
Let u = 17 + 7. Is 12 a factor of u?
True
Let r be (43/1 - 2)/1. Let y = r + -10. Does 16 divide y?
False
Let r(j) = 8*j - 16. Is 17 a factor of r(10)?
False
Let y = -2 + 17. Suppose -r = -16 - y. Does 11 divide r?
False
Let s = 4 + 1. Suppose 5 = -s*f - 5. Is 7 a factor of 12 + ((-2)/f - 3)?
False
Suppose 3*p - 4*x = -16, 16 = -4*p - 0*x + 4*x. Suppose -f + p = -3. Suppose l + 2*l - 24 = -f*z, -2*z + 16 = -2*l. Is z a multiple of 8?
True
Let g = -3 - -4. Suppose r + g = 4. Is 13 a factor of -2 + ((-252)/r)/(-3)?
True
Let a be (-1*14)/((-1)/1). Suppose 4*n = -2 - a, g - 5*n - 23 = 0. Is 2 a factor of g?
False
Let b(u) = 5*u**2 - u. Let h be b(1). Suppose 2*y - v = 3*y + 93, v = h. Is (-4)/(-22) - y/11 a multiple of 3?
True
Let o = 17 - 13. Is 11 a factor of o*(1 + 36/8)?
True
Let a be 2 + 9 + 1*-3. Let y = a - 6. Suppose 0 = -y*l + 5 + 11. Is 4 a factor of l?
True
Suppose 0 = -f - 0*f + 45. Suppose 19 = 2*z - h, 0*z = 3*z + 4*h - f. Is z a multiple of 11?
True
Let i(y) be the second derivative of -y**6/360 - 7*y**5/120 + y**4/6 + 4*y. Let x(c) be the third derivative of i(c). Does 2 divide x(-5)?
False
Let n(f) = 2*f**2 + 10*f + 4. Let m be n(-4). Let s(a) = 2*a**2 - a - 4. Is s(m) a multiple of 16?
True
Suppose 0 = 2*p + i - 196, 0 = 3*p - 2*i - 0*i - 280. Is p a multiple of 16?
True
Suppose v + 0*b - 4 = 3*b, -4*v - 2*b + 16 = 0. Suppose -m = v*a - 10, -2*m + m = -3*a + 4. Does 2 divide m?
True
Let y be 10/25 - 384/(-15). Let q = y + -8. Is q a multiple of 18?
True
Let j = 110 - 60. Let r = -25 + j. Does 9 divide r?
False
Suppose -56 = 2*n + 100. Let r = n + 126. Is r a multiple of 12?
True
Let m = 120 - 71. Is 5 a factor of m?
False
Let d be 2/6 + 1/(-3). Suppose d = y - 3*g - 8, 0*g - 20 = -3*y + 5*g. Suppose -y*h + 226 = 41. Is 18 a factor of h?
False
Let y(x) = 3*x - 6. Let f be y(6). Is 6 a factor of 160/14 + f/(-28)?
False
Is 3 a factor of 35/6 + (-5)/(-30)?
True
Let v(l) = 3*l - 3. Is v(4) even?
False
Let b be (7 + -27)*22/5. Does 5 divide 2/4 + b/(-16)?
False
Let y(w) = 7*w**3 - 2*w**2 + 2*w - 1. Let g be y(1). Let j(l) = l**3 - 6*l**2 - 2*l + 7. Let t be j(g). Let u = t - -11. Is 3 a factor of u?
True
Let y(c) = c**2 + 56*c**3 + 1 - 1 - 2*c + 1 + 0. Let f be y(1). Suppose f + 16 = 4*h. Does 8 divide h?
False
Suppose -12*a - 111 = -15*a. Is a a multiple of 5?
False
Let b(v) = 9*v + 31*v + 31*v - 6*v - 1. Is b(1) a multiple of 23?
False
Suppose -4*m - 3*q - 87 = 0, 23 = m - 2*m - q. Does 14 divide (-507)/m + 3/(-18)?
True
Is 24 a factor of (-479)/(-4) + (-8)/(-32)?
True
Let d be (9/15)/((-1)/(-5)). Let a(h) = h**2 + 20 + d - h**3 + 2. Does 15 divide a(0)?
False
Let j = -12 - -17. Suppose -4*p = 2*r - 20, 5*r + p - 12 = 74. Suppose 0 = j*g - r - 92. Is g a multiple of 22?
True
Let n = 20 - 8. Is 4 a factor of n?
True
Let w be (0 + 0)/((-3)/(-3)). Suppose -4*s + 190 + 50 = w. Suppose 3*n = -n + s. Does 15 divide n?
True
Let h = -3 + 6. Suppose 0*u = h*u - 126. Does 16 divide u?
False
Suppose -4*l + 3*a + 215 = 14, -255 = -5*l + 3*a. Is l a multiple of 12?
False
Suppose -5*a + 115 = -0*a. Let l = a - -13. Is 9 a factor of l?
True
Let q be (-55)/(-4) - (-20)/16. Suppose 3 = o, -4*g - 2*o - 15 = -7*o. Does 4 divide (q + -3)*1 - g?
True
Let a = 62 - 36. Does 14 divide a?
False
Let c(t) = 3*t. Let u be c(-6). Let b = -2 - u. Is 8 a factor of b?
True
Let w = -5 + 8. Suppose 0 = -j + w. Is 5*(-1)/j*-3 even?
False
Let o be (-6 + 9)*2/6. Is 6 a factor of o*-2 + (4 - -4)?
True
Let g(o) be the second derivative of o**5/20 + 2*o**4/3 - 4*o**3/3 + 5*o**2/2 + o. Let x be g(-9). Is 8 a factor of -12*3*x/18?
True
Suppose -k = -6*k - 2*r + 14, -4*r - 32 = -5*k. Suppose 2 = -2*x + 4*u, -k*u = -x - u - 3. Does 2 divide x?
False
Suppose 108*b + 735 = 113*b. Does 49 divide b?
True
Suppose -5*t - 20 = 0, 2*v - 145 = -3*v + 5*t. Does 5 divide v?
True
Is 19 a factor of 56*2 - (-1 + (-5)/5)?
True
Let f be (-32)/(-20) - 6/(-15). Is (1 - (-1 - 6)) + f a multiple of 10?
True
Let z(q) = -q**3 - 6*q**2 - 8 - 2*q**2 + 0*q**2 - 8*q. Let u be z(-7). Is 10 a factor of u + (4*5 - -1)?
True
Suppose -3*t - 4*l + 71 = 0, 4*t - 2*l = -0*l + 58. Is 4 a factor of t?
False
Suppose a = -30 - 23. Does 15 divide 3/3*a/(-1)?
False
Let b(p) = -p**3 - 9*p**2 + 3*p - 3. Let t be b(-9). Let o = t - -52. Is o a multiple of 11?
True
Let i = 8 + -1. Suppose 0 = -9*z + i*z + 48. Is 4 a factor of z?
True
Let v = 20 - 12. Suppose -17*o = -12*o - 10. Let p = v + o. Is p a multiple of 10?
True
Let c(o) = -2*o + 4. Let z(l) = l**2 - 7*l + 4. Let u be z(6). Is 7 a factor of c(u)?
False
Suppose -433 = -3*g + 644. Does 46 divide g?
False
Let f be (18/(-4))/((-3)/4). Let q(k) = 5*k + 11. Let c(i) = 6*i + 12. Let a(t) = -3*c(t) + 4*q(t). Is 20 a factor of a(f)?
True
Let d(s) = 32*s. Let m(g) = 11*g. Let c(t) = -6*d(t) + 21*m(t). Let q be c(1). Suppose 8*l = 5*l + q. Is l a multiple of 4?
False
Let k = 4 - 1. Suppose l + 90 = k*l. Is l a multiple of 19?
False
Suppose 35 = 5*f - q, 2*f - 4*f + 27 = -3*q. Is f a multiple of 6?
True
Suppose 16 = 6*o - 2. Suppose 0 = -f + 3*p - 1 + 2, o*p = 5*f - 41. Is 5 a factor of f?
True
Let v(m) = m**2 + 14*m. Let l be v(10). Suppose l = -4*k + 8*k. Is k a multiple of 22?
False
Does 10 divide 3 + 1/2*74?
True
Let h(s) = 6*s**2 - 7*s - 33. Is 37 a factor of h(-8)?
True
Let t(c) = c**3 + 10*c**2 + 3*c + 10. Does 34 divide t(-7)?
True
Let y = 511 - 263. Does 52 divide y?
False
Let j(m) = 2*m + 16. Let h be j(-7). Let f(b) = 3*b**3 + 3*b**2 - 2*b - 1. Is f(h) a multiple of 10?
False
Suppose 16 + 4 = 4*j. Suppose -2*m = -4*v - 900, 0 = j*v - 3*m + m + 1124. Is v/(-6) + (-8)/(-12) a multiple of 19?
True
Let l(y) = -73*y**3 - 2*y**2 + y. Let i be l(1). Let a = 38 + i. Let n = -23 - a. Does 13 divide n?
True
Suppose 5*x = 4*a - 89, x = -2*x - 3. Is a a multiple of 11?
False
Suppose 3*q + 4*w = 55, -4*q - 4*w + 32 = -40. Let b be (5/4)/((-1)/8). Let s = q + b. Is 7 a factor of s?
True
Is 13 a factor of (0 - -14)/((-10)/(-65))?
True
Let a(j) = -j**3 - j**2 - 2*j - 2. Does 5 divide a(-2)?
False
Is 18 a factor of 2 + (-20)/5*-13?
True
Suppose 2*v - 4*d - 50 = v, 178 = 5*v + 4*d. Is v a multiple of 3?
False
Let o(z) = z - 6. Let n be o(14). Suppose -39 = 5*v - n*v. Is v a multiple of 6?
False
Let h be 9/2*4/6. Suppose 4*o - 7*d + 2*d - 58 = 0, 3*o = -h*d + 30. Does 6 divide o?
Tru