pose 4*h + a - 779 = 0, -9*a = -2*h - 4*a + 417. Is h a multiple of 4?
True
Suppose 0 = -4*r - c + 14, -c = -4*r - 0*r + 10. Suppose 5*h + 203 = 5*m - 347, r*m + 4*h - 337 = 0. Is m a multiple of 7?
False
Let q(g) = g**3 - 7*g**2 - 1. Suppose 2*r + 12 = 5*r. Suppose 2 + 30 = r*d. Does 21 divide q(d)?
True
Let m(z) = -z**3 - 3*z**2 + 2*z - 3. Let b be m(-5). Let s be (1 + 4)/((5 + 0)/5). Suppose -s*w + b = -8. Does 5 divide w?
False
Let s(u) = 7*u + 7. Let n(f) = f**2 + 8*f + 8. Let c(h) = 3*n(h) - 4*s(h). Is c(4) a multiple of 14?
True
Let j(w) = -w**2 - 23*w + 2. Let k be j(-23). Suppose -k*f - x = 3*f - 682, 406 = 3*f - x. Is f a multiple of 21?
False
Is 6 a factor of (149 - 5/((-5)/2))*1?
False
Let q(x) = x**3 + 11*x**2 - 13*x - 7. Let a be q(-12). Suppose -3*h + 15 = 0, -a*h - 270 = -5*y + 220. Is y a multiple of 17?
False
Suppose 3*n + p = -403 + 149, 0 = 5*n - 5*p + 390. Let d = 130 + n. Is 4 a factor of d?
False
Is 5 a factor of -1*-218*(39/6)/1?
False
Let j = -2 - -3. Suppose 3*f - 43 = -j. Is 4/f - 832/(-28) a multiple of 12?
False
Suppose -20*h + 14*h + 2106 = 0. Is h a multiple of 27?
True
Let u(x) = -x**3 - x**2 + 5*x + 2. Suppose 0 = 3*i + 2 - 14. Suppose -4*a + 3*k = -k + i, -4*a = 5*k + 22. Does 5 divide u(a)?
True
Suppose -4*n - 1627 = -5*b + 1045, 3*b - 1593 = -n. Is 28 a factor of b?
True
Let d = 0 - -4. Suppose -2*l - 5*t - 5 + 1 = 0, -2*l = -d*t - 14. Suppose -5*n + 299 = -2*y, -l*n + 83 + 103 = y. Is 27 a factor of n?
False
Suppose 1 + 19 = 5*t. Suppose -213 = -t*v + 219. Does 8 divide v?
False
Suppose 4*w + 1 + 32 = o, -3*w - 5*o - 42 = 0. Let t = 121 + w. Is 28 a factor of t?
True
Suppose 59 = -3*i + 23. Let j be (-20 - 0)/(i/18). Let m = j - -1. Is m a multiple of 14?
False
Let f(u) be the first derivative of u**4/4 - 7*u**3/3 + 10*u - 48. Suppose r = 3*y - 24, -2*y - 2*r - r = -5. Is f(y) a multiple of 4?
False
Let k(b) = 232*b**2 + 7*b - 3. Does 45 divide k(1)?
False
Let h(q) = 11*q**3 - 4*q**3 - 2*q + 9*q + 13*q**2 - 6*q**3 - 21. Is h(-11) a multiple of 27?
False
Suppose 0 = 4*b + 5*d - 34 - 7, 2*b = -3*d + 23. Suppose 7*s - 5*f = 3*s + 509, -3*s - b*f + 343 = 0. Is s a multiple of 27?
False
Let s = 6 + -3. Let g(o) = 2*o**2 - 5*o + 4. Let m be g(s). Is 4 a factor of m*-1*(-5 - -3)?
False
Let y be 3 + ((-2)/(-3) - (-98)/6). Is 5 a factor of 3 + -5 + y/(6/3)?
False
Let j(r) be the third derivative of r**4/24 + r**3/6 + r**2. Let b be j(1). Suppose 0*s + n = -b*s + 64, 0 = n - 2. Does 8 divide s?
False
Suppose 2*o - 261 = 19. Does 14 divide o?
True
Let l(f) = 39 + 29 - f**3 - 9*f**2 + 10*f - 63. Suppose 0 = -q - 3 - 7. Is 2 a factor of l(q)?
False
Suppose -85*y = -72*y - 4238. Does 6 divide y?
False
Suppose 0*f + 2*f = 0. Suppose f = 7*d - 117 - 618. Does 30 divide d?
False
Let b be 18/(-10)*80/(-24). Suppose -b = 2*p - 3*p. Let h = p + 17. Is 4 a factor of h?
False
Let r(n) = 7*n**3 - 1. Let a be r(-1). Let g be 0/(a/((-4)/(-1))). Suppose 7*k - 117 - 9 = g. Does 9 divide k?
True
Let n(w) = -3*w**3 - 32*w**2 - 12*w + 61. Is n(-14) a multiple of 17?
False
Let n(d) = -d**3 - 3*d**2 - 2*d + 2. Let c be n(-2). Let r = 1 + c. Suppose -i + 34 = 4*l, 2*i - i + r*l - 29 = 0. Is 14 a factor of i?
True
Let b(w) = 13*w - 5. Let c(x) = 13*x - 5. Let m(a) = -4*b(a) + 3*c(a). Does 19 divide m(-9)?
False
Suppose 26*z - 223 = 219. Is z even?
False
Suppose -5*h = -2*f - 166, 0*h - 93 = -3*h - f. Suppose -5*d = -4*d - h. Suppose -5*u = -2*r - 58, -3*u = r - 5*r - d. Does 5 divide u?
False
Let q(h) = -h - 11. Let j be q(-12). Let a be ((-2)/(-2) - j)/(-1). Suppose a = -2*f + 13 + 3. Is 4 a factor of f?
True
Let t be 0 + 0 - (-4 + -78). Suppose 0 = -3*r + 3*p + 203 + t, -4*r = 4*p - 364. Does 10 divide r?
False
Is ((-3010)/(-105))/((-4)/(-78)) a multiple of 34?
False
Let r(g) = g**3 + 2*g**2 - 3*g + 3. Let i be ((-16)/2)/4 - 1. Does 2 divide r(i)?
False
Let d(j) = j**3 + 10*j**2 - 3*j. Let p(f) = -f**3 + 5*f**2 - f - 5. Suppose 0 = -4*t + 2*v + 24, -2*v = 2*t - 5*v - 16. Let w be p(t). Is 10 a factor of d(w)?
True
Let g(s) be the first derivative of -11*s**4/4 - s**3/3 + 257. Let x be (0 + (-2)/(-4))*-2. Is g(x) a multiple of 2?
True
Let r = -228 - -252. Does 8 divide r?
True
Suppose 0 = -4*z - 5*q + 30, -4*q + 25 - 83 = -5*z. Let s = z - 10. Suppose s - 24 = -3*u. Does 5 divide u?
False
Let n(l) = 2*l**3 - 13*l**2 + l - 7. Is 39 a factor of n(9)?
False
Let c(z) = -z**3 - 15*z**2 + z + 20. Let m be c(-15). Suppose -m*y + 80 = f, -3*f + 3*y = 2*f - 288. Is 34 a factor of f?
False
Is 67 a factor of -6 + 3/(18/6666)?
False
Let y be 500 + (0/4)/1. Suppose -9*o = -14*o + y. Is o a multiple of 20?
True
Let s = -123 + 171. Is 6 a factor of s?
True
Let w = 195 + -115. Is 80 a factor of w?
True
Suppose -4*c - 2*j + 1 = -13, -7 = 4*c - 5*j. Suppose -c*w + 4 = x, 3*x - x - 18 = w. Is 4 a factor of x?
True
Let o(v) = v**3 - 15*v**2 + 33*v - 86. Is 6 a factor of o(14)?
True
Is 11 a factor of 3*(376/2 - -5 - -4)?
False
Suppose -10*m + 5670 = -0*m. Does 9 divide m?
True
Let z(i) = i**2 + 13*i + 18. Let p be z(-12). Does 13 divide (p/2)/3 - -12?
True
Let j = -291 - -206. Suppose r + 628 = -3*r. Let d = j - r. Does 19 divide d?
False
Suppose 25*t - 87*t = -130200. Does 105 divide t?
True
Let b = 1578 + -986. Is b a multiple of 37?
True
Suppose 5*i - 2*f - 38 = 0, 1 = -i - f + 3. Let r(z) = 28*z - 5. Let y be r(i). Suppose 109 = 4*s - y. Is 29 a factor of s?
False
Let h(k) = 14*k**2 + 2*k - 1. Let a be h(1). Suppose b - a = 6*b. Is 4 a factor of (b - 12/(-2)) + 1?
True
Suppose -7*d + 1402 = -47. Does 44 divide d?
False
Suppose -4*i + 101 + 87 = 0. Suppose -21 = -4*l + i. Suppose l = 5*g + 2. Is 3 a factor of g?
True
Is ((-243)/(-15))/(1/5) a multiple of 38?
False
Suppose 19*k + 2415 = 24*k. Is k a multiple of 23?
True
Is 33 a factor of ((-834)/5)/((-63)/840)?
False
Suppose 3*c - 10 = -1. Is 26/5*(12 - (c - 6)) a multiple of 13?
True
Suppose 5*p - 276 = 3*q, -q + 52 = -4*p + 5*p. Suppose 2*z = 4*z + p. Let d = z + 53. Does 13 divide d?
True
Let t be 3 - (2 + -4 - 55). Suppose 2*g - 8 = -c, 5 = -g - 0*c + 4*c. Suppose g*z + z = t. Is z a multiple of 5?
True
Let d = 21 - 9. Suppose -126 = -3*c + d. Is c a multiple of 11?
False
Let w = 191 + -102. Suppose -2*b + 178 = a - 5*a, w = b + 3*a. Is 50 a factor of b?
False
Suppose -h = m - 1279, -14*m = -13*m + 3. Is 24 a factor of h?
False
Suppose 7*n - 172 = 6*n. Suppose 218 = 4*b - 4*s + 3*s, 5*s + n = 3*b. Is 6 a factor of b?
True
Suppose a = -21 - 9. Let h = 46 + a. Is h a multiple of 8?
True
Let t(m) = m - 24. Let a be t(-7). Let d = a + 69. Suppose -f + 13 + d = 0. Is f a multiple of 17?
True
Let w = 595 + -241. Is 3 a factor of w?
True
Let x(f) = -f**3 + 5*f**2 - 5*f + 4. Let v be x(4). Suppose v = 14*i - 11*i - 123. Does 14 divide i?
False
Suppose 8*r + 602 = -134. Let s = r + 136. Is s a multiple of 4?
True
Let x = 138 - 145. Does 9 divide x + 15858/81 - (-2)/9?
True
Let l = -738 - -1752. Is 39 a factor of l?
True
Let t = -11 - -34. Let g be 172/(-12) - 2/(-6). Let l = g + t. Does 7 divide l?
False
Suppose -4*g + 225 = g. Suppose 3*o - 5*x - 26 = 0, -o + 2*x + 16 = 3*o. Suppose 2*c + c = -o*a + 40, 3*c - 3*a - g = 0. Does 7 divide c?
True
Let u(h) = 5*h + 43. Let q be u(-10). Let x(r) = -r**3 - 3*r**2 + 7*r - 3. Does 16 divide x(q)?
True
Let x(y) = -y + 52. Is 11 a factor of x(-10)?
False
Let j(a) = 82*a - 11. Is j(5) a multiple of 19?
True
Let a(w) = 1. Let m(h) = 303*h**3 + h**2 + h - 4. Let x(n) = 5*a(n) + m(n). Let l be x(-1). Is l/(-14) - 24/42 a multiple of 19?
False
Let g be -3 - 0 - 3/((-12)/16). Does 14 divide (-22)/(-33)*(g - -302)?
False
Is 705/60*(-1 - -37) a multiple of 22?
False
Let o(f) = 5*f**2 - 30*f + 18. Is 31 a factor of o(14)?
False
Let y = -235 - -319. Is 7 a factor of y?
True
Suppose 0 = 6*v - 4*v - 10. Suppose 0*d - 5*d = -v*r - 185, -153 = -4*d - r. Does 19 divide d?
True
Let t(o) = -16*o + 9. Let b be t(-7). Let a = b - 60. Suppose -5*c + 3*m = -70 - a, -5*m = 10. Is c a multiple of 25?
True
Let s be (1 - 1)/(5 - 4). Let m(n) = -n + 84. Let q be m(s). Suppose -4*f = -l - 93, 2*f - q = -2*f + 4*l. Does 8 divide f?
True
Let q(g) = g**2 + 12*g + 13. Let l be q(-9). Let j = -98 + 125. Let w = j + l. Does 11 divide w?
False
Suppose 0 = 30*n - 33*n + 456. Is n a multiple of 17?
Fals