 -s*z + 40. Is 14 a factor of z?
False
Suppose 0 = 4*c + p - 3224, 10*p - 6*p = 0. Does 8 divide c?
False
Suppose 15*r - 8*r = 14. Suppose 5*z - y = -0*z + 629, -251 = -r*z + y. Does 15 divide z?
False
Let t be ((-516)/21)/(2/(-7)). Suppose -t = -h - 11. Does 24 divide h?
False
Let y = -33 - 61. Let s be y/((-1 + 3)*-1). Suppose 4*z + c = s, c - 54 = -3*z + 4*c. Is 9 a factor of z?
False
Let d(w) = 21*w**3 - w**2 + 4*w + 1. Is d(2) a multiple of 34?
False
Let j(q) = 467*q**2 + q - 1. Let w be j(1). Suppose h + 4*u - 199 = -60, w = 3*h + 2*u. Does 30 divide h?
False
Let w(k) = 3*k + 25. Let x be w(-7). Suppose -x*a = -130 + 2. Is 16 a factor of a?
True
Suppose -5*z + 4*z - 117 = -u, -u + 107 = z. Does 28 divide u?
True
Let f(o) = -o + 12. Let x be f(9). Let y be x/(-3) - (-32 - 3). Suppose 2*n - k - 24 = 0, -5*k = 4*n - 0*k - y. Is 11 a factor of n?
True
Suppose 2*y - 8 = -2*o, -3*o - 2*y = -1 - 10. Let z(t) be the third derivative of t**4/12 + t**3 + 2*t**2. Does 3 divide z(o)?
True
Let n be (-3075)/(-8) - (-42)/(-112). Let o = -208 + n. Does 44 divide o?
True
Let w = -1886 + 2656. Does 9 divide w?
False
Let i = 750 + -269. Is 37 a factor of i?
True
Let o = 2451 + -1197. Is o a multiple of 7?
False
Let k(w) be the third derivative of -7*w**4/12 + 8*w**3/3 - 14*w**2. Is 36 a factor of k(-7)?
False
Suppose c + 144 = 4*r + 6*c, 0 = -5*r - 3*c + 167. Suppose -r + 3 = -z. Is 28 a factor of z?
True
Suppose 4*b - 550 = -5*q, -667 = -5*b - 2*q + 6*q. Suppose 0 = -2*f + 387 + b. Does 15 divide f?
False
Suppose 4*m + 4419 - 17441 = -2*i, 4*m + 4*i = 13032. Is 37 a factor of m?
False
Does 11 divide 144 + -8 + (20 - 6)?
False
Let k(o) = -o. Let u(l) = -10*l - 5. Let w(i) = -5*k(i) - u(i). Let f be w(4). Let h = f + -39. Is h a multiple of 8?
False
Let s(h) = 42*h - 14. Let x be s(2). Suppose -30*q = -25*q - x. Does 14 divide q?
True
Let z = -300 + 341. Is z a multiple of 29?
False
Suppose i + 2*k - 274 + 15 = 0, 0 = -3*i - 4*k + 779. Is 9 a factor of i?
True
Let u(f) = -8*f + 192. Is 8 a factor of u(-6)?
True
Let q(u) be the second derivative of 5*u**3/6 - u**2 - 8*u. Is 7 a factor of q(3)?
False
Let b(n) = n - 8. Let o be b(17). Suppose -1115 - 478 = -o*v. Is v a multiple of 21?
False
Let b(j) = 3*j**2 + 12*j + 17. Let n be b(-8). Let c = n + -81. Is c a multiple of 8?
True
Suppose 1320 = 7*k - 1914. Does 22 divide k?
True
Let m be 2 + 1 - (5 + -2). Suppose 3*a = -m*a - 3*o - 3, a + 5*o + 5 = 0. Suppose 5*k = -2*f - 0*k + 18, a = -k - 4. Is 19 a factor of f?
True
Suppose -4*b = -25 - 31. Suppose -4*n - 2 = -b. Is 22 a factor of ((-85)/n)/(5/(-15))?
False
Let k be (-6)/(-4 - 85/(-22)). Suppose -3*h + k = -h. Is 11 a factor of h?
True
Let u(a) = 0 - 4 + 8 + 4*a**2 + 4 - 4*a. Is u(6) a multiple of 30?
False
Let v = -9 - -14. Let o(z) = -5*z - 56. Let r be o(-16). Suppose p - 4*c - 4 = r, -v*p = 3*c - 117. Is 12 a factor of p?
True
Let b = -5 - -10. Suppose -2*a - b = -37. Is 16 a factor of a?
True
Let z be 4/(-6 - -2) - -1. Suppose -2*y - t + z*t = -41, -2*t + 22 = y. Does 24 divide 4/(y/475) - -1?
True
Let x = 113 + -115. Does 47 divide (1/((-15)/(-10)))/(x/(-564))?
True
Let z be (2/5)/((-13)/(-585)). Let p = -7 + z. Suppose -6*g + p*g - 235 = 0. Does 22 divide g?
False
Let v = -5 - -32. Is v a multiple of 2?
False
Suppose 0 = 5*l - 5, 12*d + 4416 = 17*d - 4*l. Is 13 a factor of d?
True
Suppose -2*f + 122 = 6. Is f a multiple of 58?
True
Let a = -65 + 67. Suppose 256 = b + 6*n - a*n, 2*b = n + 476. Does 11 divide b?
False
Let x = 157 + -154. Suppose -x*o + 408 = 9*o. Does 11 divide o?
False
Let u(m) = -12*m**3 + 4*m**2 + 8*m + 22. Is u(-4) a multiple of 2?
True
Suppose -4*v = 3*i - 2*v + 12416, 4147 = -i + v. Is 6 a factor of (-1)/7 - i/133?
False
Suppose g = -5*s + 1280, 5*g - 126 = -5*s + 1154. Does 43 divide s?
False
Suppose 0 = -3*a + l + 10, 0 = -2*l + 4*l - 10. Let k = 96 + a. Is 12 a factor of k?
False
Does 12 divide ((-972)/432)/((-1030)/1024 - -1)?
True
Let z = -164 + 164. Suppose z = 9*k - 363 - 501. Is 12 a factor of k?
True
Suppose 9*z - 904 = 5*z. Let u = z + -144. Is u a multiple of 15?
False
Let j be 14/8 + 14/56. Suppose -9 = -j*u + 9. Is u a multiple of 2?
False
Is 23 a factor of 84*-3*27/(-36)?
False
Suppose 6*i + 6 = o + 5*i, 2*o = 3*i + 12. Is 2*171/o - -3 a multiple of 12?
True
Let d be (-16 - -10)*78/(-4). Suppose d = -5*y + 8*y. Is y a multiple of 13?
True
Suppose -t + 9 + 1 = 0. Suppose 18 + t = 4*y. Let m(c) = -c**3 + 8*c**2 + 7*c - 5. Does 31 divide m(y)?
True
Suppose 4*a = 4*j, 5*j - 30 = -a - 0*a. Suppose 3*w = 0, i + 5 = 2*i + j*w. Suppose 108 = i*n - 2*n. Does 30 divide n?
False
Suppose -i = 3*i + 3*h - 13, h = i - 5. Suppose i*s = s + 975. Suppose -j = -6*j + s. Is 21 a factor of j?
False
Does 15 divide (0 + 682 - 4) + (-6 - -4)?
False
Let y(k) = 3*k**2 + 16*k + 17. Let i be y(-6). Suppose s + 3*o = 4*o + i, 2*o = -5*s + 110. Is s a multiple of 8?
True
Suppose 16*q = 17*q - 167. Is q a multiple of 40?
False
Let r = 313 + -108. Suppose 30 = r*v - 200*v. Is 6 a factor of v?
True
Suppose 0 = p + 4, -3*p = w + 2*p + 7. Let g(d) = -d**3 + 14*d**2 - 13*d + 6. Is 3 a factor of g(w)?
True
Let q(o) = 38*o + 55. Does 17 divide q(3)?
False
Let j be (-5)/(110/4) - 7048/(-44). Suppose 2*b = 5*q - j, -5*q + 5*b - 90 = -235. Is q a multiple of 34?
True
Is 18 a factor of ((-2)/3)/(-7 - 4744/(-678))?
False
Suppose -q - 1189 = -4*y + 1687, 2*y = -3*q + 1452. Does 80 divide y?
True
Let z = 221 + 30. Does 13 divide z?
False
Let k(m) = -1 - 5*m - 4 + 14. Let a(l) = -3*l + 5. Let u(j) = 5*a(j) - 2*k(j). Does 18 divide u(-12)?
False
Let h(v) = -v - 7. Let t be h(-2). Is (-2)/13 - t/(-65)*-1367 a multiple of 15?
True
Suppose 5*y = -3*h + 4463, -62*y = -58*y - 2*h - 3588. Does 7 divide y?
False
Let h(t) = t**3 + 4*t**2 - 8*t - 6. Let b be h(-5). Suppose x - 97 = -g, g + 2*x - b = 87. Does 7 divide g?
True
Let q(t) = 115*t - 187. Is q(13) a multiple of 109?
True
Let v = -1044 - -1644. Does 75 divide v?
True
Suppose s + 39 - 109 = 0. Suppose -2*n + s = b, 0*n = 4*b + 4*n - 260. Is 20 a factor of b?
True
Let l(a) = a**3 + 1. Let x(f) = 4*f**3 - 10*f**2 + 6. Let d(b) = 3*l(b) - x(b). Let u be d(4). Let z = -18 + u. Does 25 divide z?
True
Let t = 37 + -61. Let l be ((-2)/(-4))/((-2)/t). Let p = 30 - l. Does 12 divide p?
True
Is ((-23769)/228)/(3/(-8)) a multiple of 8?
False
Suppose 0 = -w + 4, 3*n + 10*w = 13*w + 3435. Does 29 divide n?
False
Suppose -3*t + 2*t - 5*n + 256 = 0, t + 4*n = 251. Does 19 divide t?
False
Suppose -2*a = 4*g - 22, -2*g + a - 15 = -5*g. Suppose 5*x + 20*t - 295 = 23*t, -3*x - g*t = -206. Is 34 a factor of x?
False
Suppose 0*r + r + 1124 = 4*q, -r + 850 = 3*q. Suppose 3*w = 4*u + q, 129 = 4*w - 2*u - 237. Does 15 divide w?
True
Let k(q) = -247*q + 2. Let h be k(-3). Let j = h - 467. Suppose -o + j = 3*o. Is 16 a factor of o?
False
Let f be (-6)/(-8) + (-34)/(-8). Suppose 4*y = 4*q - 12, 4*q = f*y + 5*q - 15. Suppose y*v + 76 = -0*x + 2*x, -5*v - 82 = -2*x. Is x a multiple of 9?
True
Let l be -3*9/((-54)/(-56)). Let s = 41 - l. Is s a multiple of 10?
False
Suppose -8*y + 4 = 100. Let t(k) = -2*k + 12. Is t(y) a multiple of 8?
False
Suppose -1569 = -4*x + x - 4*a, a = -2*x + 1051. Is x a multiple of 3?
False
Let p = -1211 + 3559. Is p a multiple of 20?
False
Let t be (12/8 + -1)*(30 + 0). Suppose -4*f = f + t, 53 = x + f. Does 14 divide x?
True
Let h = 1850 - 1130. Is 45 a factor of h?
True
Let n = 71 + -67. Suppose -n*i + 114 = -2*c, -5*c + 66 = 2*i - 3*c. Does 13 divide i?
False
Let s(i) be the second derivative of i**4/12 + i**3/3 + 3*i**2/2 + 12*i. Does 7 divide s(4)?
False
Suppose -3*i + r - 11 = -8*i, r - 2 = -2*i. Suppose -6*x = -i*x - 648. Suppose 0 = 6*l - 2*l - x. Is l a multiple of 18?
True
Let x(y) = -y**3 - 6*y**2 - y - 5. Let p be x(-6). Suppose 3*l - r + 0*r - p = 0, -2*l = r - 9. Suppose l*s - 5*s = -93. Does 14 divide s?
False
Let m = 10 + -5. Let p = m - -2. Suppose -p = -j + 53. Does 15 divide j?
True
Let g = 439 - -155. Is 54 a factor of g?
True
Let f be (4 - 3)*-4 + 8. Is 5 a factor of ((-300)/24)/(-1*2/f)?
True
Suppose -2*y + 5*a + 300 = 9*a, 3*a + 15 = 0. Does 16 divide y?
True
Let t(v) = v**3 - 5*v**2 - 6*v + 3. Let n be t(6). Suppose h = 4*o + 71, 0 = 2*o - n + 9. Is 36 a factor of h?
False
Let r be ((-