oes 4 divide h?
False
Let p(h) = -1 - 3*h**3 - h**2 + 2*h**3 + 4*h - h. Let s(v) = -v - 7. Let q be s(-4). Is p(q) a multiple of 3?
False
Suppose 0*j - 4*j + 20 = 0, -b + 5*j = 5. Let s be b/6*(-18)/(-12). Suppose 3*n + 4*c + 0*c - 173 = 0, -s*n + 2*c = -323. Is n a multiple of 20?
False
Suppose 0 = -704*j + 712*j - 22112. Is 75 a factor of j?
False
Let m(z) = -z + 12. Let c be m(9). Suppose c*t = 5*t - 4. Let n = t + 15. Is 17 a factor of n?
True
Let n(b) = 102*b - 85. Is 12 a factor of n(5)?
False
Let r(p) = 9*p + 312. Is 42 a factor of r(12)?
True
Let o = 62 + -106. Let j = o + 95. Does 8 divide j?
False
Let f(g) = 19*g**2 - g + 21. Let p(d) = -10*d**2 + d - 11. Let c(n) = 6*f(n) + 11*p(n). Let s be c(-4). Let w = 89 - s. Does 29 divide w?
False
Suppose 0 = -3*j + 3, 1029 - 4695 = -4*a - 2*j. Is 36 a factor of a?
False
Let b = 4 - 2. Suppose 4*m - 220 = -6*m. Suppose 4*q = b*q + m. Is q a multiple of 9?
False
Let v = 3183 - 2168. Does 30 divide v?
False
Suppose 6 = -5*b - 34. Let i(j) = -2*j - 7. Let d(q) = -4*q - 16. Let w(m) = -4*d(m) + 10*i(m). Is 13 a factor of w(b)?
True
Let x(n) = -13*n + 1. Let y be x(-9). Let d = 200 - y. Is d a multiple of 34?
False
Let j(p) = -73*p - 6. Is j(-6) a multiple of 39?
False
Let v(z) = z - 2. Let c be v(7). Suppose d + 896 = 6*d + 4*l, 3*d + c*l = 548. Is 11 a factor of d?
True
Suppose 50*p - 47*p = 1152. Is 12 a factor of p?
True
Suppose -6*b + 15*b = 9837. Suppose 5*s + 0*r - b = -3*r, -2 = -2*r. Does 17 divide s?
False
Suppose 3*r + 59 = -4*o, 2*o + o - 45 = 3*r. Let t = 47 + r. Is t a multiple of 8?
False
Is 3*5 - (-6)/9*6 even?
False
Let w be ((-5)/(75/198))/(15/(-50)). Suppose -1 = -p + 1. Suppose -3*b + w = -p*b. Is 10 a factor of b?
False
Let u(j) = 16*j**2 + 35*j + 154. Is u(-11) a multiple of 9?
False
Suppose 12*m = 4*m - 3*m. Suppose -a - 40 + 78 = m. Is 19 a factor of a?
True
Let q be 8*((-48)/(-1) + 2)/1. Suppose 5*t - q = t. Is t a multiple of 22?
False
Let v(k) = -k**2 + 28*k + 68. Does 19 divide v(27)?
True
Suppose 3*f - 96 = -84. Suppose -f*w - 5*p = -320, 0 = w + p + 3*p - 80. Does 27 divide w?
False
Let h(o) be the second derivative of -69*o**5/20 - o**4/6 + o**2/2 + 4*o. Is 17 a factor of h(-1)?
True
Let n(u) = 17*u**2 - 317*u + 5. Is n(21) a multiple of 36?
False
Let y be 51/(-3) + (-6)/3. Let x = -15 - y. Suppose 0*d - 5*p = -3*d + 139, 5*d = x*p + 249. Is 20 a factor of d?
False
Let p be (-1 + -9)*3/(-6). Suppose -2*o - 3*z + 51 = 0, -o = 3*o + p*z - 97. Is o a multiple of 9?
True
Let c be (-541 - -3)/2 - -2. Does 32 divide c*(-12)/54*3?
False
Let k be (21/5)/(12/(-60)). Let y = k + 28. Is y a multiple of 7?
True
Let x(i) = -4*i + 9. Suppose -2*d = 3*r - 1, -4*r - 5*d + 6 = 14. Let f be x(r). Is 15 a factor of 9/f - -1 - -62?
True
Let m(b) be the first derivative of b**6/120 + b**5/20 + b**3 + 5. Let c(n) be the third derivative of m(n). Is 12 a factor of c(-4)?
True
Suppose 6 = -3*n + 3*d, 5*d = -2*n - 0*d + 24. Let r(w) = 18*w - 4. Let x(o) = 9*o - 2. Let a(f) = n*r(f) - 5*x(f). Is 12 a factor of a(-5)?
False
Suppose 2*z = 3*l - 773, -5*l + 176 = 4*z - 1083. Is 15 a factor of l?
True
Let x be ((-3)/(-1))/((-3)/(-4)). Suppose 43*u - 3125 = 18*u. Suppose -f - x*f = -u. Is 8 a factor of f?
False
Let j(z) = z**3 + 6*z**2 - 2*z - 6. Let f be j(-6). Let o(l) = 2*l**2 - l + 22. Does 22 divide o(f)?
True
Suppose t - 40 = -4*t. Let l be t/52 + (-724)/(-26). Is 9 a factor of 6/(4 + -7) + l?
False
Suppose 11*u - 471 = 13. Let g = 97 + u. Is 18 a factor of g?
False
Suppose -u - 3*u - 20 = 0. Let x = -7 - u. Is (17*x)/(-2 + 0) a multiple of 7?
False
Let n be (-1)/3 + (-3)/(-9). Suppose n*i + 6 = 3*i. Let h = i + 12. Does 7 divide h?
True
Let k be (-6)/(-30) - 2/10. Suppose k = -11*o + 6*o + 30. Suppose -o*b = 4 - 106. Is 17 a factor of b?
True
Let y(k) = -7*k - 2. Let q be y(-1). Suppose q*i - 172 - 723 = 0. Is 31 a factor of i?
False
Let p be (-6)/(-15)*5 - 0. Let a be -2 - p - (-50 - -1). Suppose 15 = 2*l - a. Is 9 a factor of l?
False
Let w = 84 + -88. Is 15 a factor of (-1 - w)*(-190)/(-10) - -3?
True
Let y be (-4)/(-10) + (-56)/(-10) + -1. Suppose 13 = y*p - 4*p. Does 13 divide p?
True
Is 18 a factor of (1890/(-12) + -6)*(-4)/3?
False
Suppose -20 = -5*v, -16 = -2*d - 2*v - 2*v. Suppose -3*r + 5*r - t - 177 = d, 3*r - 3*t - 258 = 0. Is r a multiple of 13?
True
Let n(z) = 13*z**2 + 5*z + 87. Is n(15) a multiple of 9?
True
Let y = 4132 + -1890. Is 59 a factor of y?
True
Let o be (-363 - -13)/((-2)/8). Let b = o + -972. Is 12 a factor of 34/153 - b/(-18)?
True
Suppose -3*l + 54 = 2*o - 38, 3*l - o - 89 = 0. Let r = 64 - l. Is 8 a factor of r?
False
Let v be (-4)/14 - (-90)/21. Suppose -2*r + 6*i = 2*i - 44, v*r + 2*i = 108. Does 6 divide r?
False
Suppose i - 71 = 38. Let q be i - ((-4)/(-1) - 3). Suppose 3*s = 2*k - q, 292 = 6*k - k - 2*s. Does 13 divide k?
False
Let h = 1411 - 1102. Does 103 divide h?
True
Let z = 3848 - 1795. Is 39 a factor of z?
False
Let f = -1904 - -4991. Is f a multiple of 20?
False
Suppose 4*c = 4, -5*d + 0*d + c - 891 = 0. Let f = -106 - d. Does 18 divide f?
True
Let y = 10 - -14. Let t = 42 - y. Is t a multiple of 6?
True
Let c(m) = 7*m - 2. Let b be c(1). Suppose -2*n + 3*f = 2*f - 45, -5*n = b*f - 105. Let o = n - 1. Is o a multiple of 3?
True
Let a(q) be the first derivative of 2 - 1/3*q**3 + 7*q**2 + 7*q. Is 15 a factor of a(12)?
False
Let m be ((-4)/(-3))/((-18)/(-27)). Suppose m*t = -2*r - 15 + 401, 559 = 3*r - 2*t. Is r a multiple of 34?
False
Let u(t) = 65*t**3 - 2*t**2 + t + 2. Let z be u(2). Let d = 840 - z. Suppose -7*m + 3*m + d = 0. Is 27 a factor of m?
True
Does 79 divide (-17390)/(-15) + -4 - (-4)/6?
False
Let s be 22/6 + 2/6. Suppose s*u - 583 = 5*k, -k - 145 = -3*u + 2*u. Is 13 a factor of u?
False
Suppose 0 = -5*a - 71 - 4. Let n be (a/(-9))/((-5)/(-15)). Suppose 0 = -3*o + 6*r - 2*r + 58, -n*o - 4*r = -86. Is 6 a factor of o?
True
Is ((-152076)/(-368))/((-6)/(-32)) a multiple of 38?
True
Suppose 0*o = 3*o - 18. Suppose 0 = 5*c - p - 4*p - 20, 2*c - 4*p = o. Let l(y) = 6*y - 3. Does 8 divide l(c)?
False
Let o(a) = 7 - a**3 - 4*a**2 - 2 - 58*a + 57*a. Is o(-5) a multiple of 5?
True
Suppose 3*c + 0 = 12. Suppose t = -3*t - 20, 4*l + 60 = c*t. Let x = 33 + l. Is 4 a factor of x?
False
Let r be ((-1)/(-3))/((-2)/30). Let g be 52/(-65)*r/2. Suppose 0 = -g*f + 4*f - 6. Is f a multiple of 3?
True
Let q be 6 - 4/(-8)*0. Let w = 5 + q. Does 3 divide w?
False
Let f = -82 - -92. Let a = -5 + f. Does 2 divide a?
False
Suppose -6*f + 1426 = -230. Does 23 divide f?
True
Suppose 0 = -3*c - 0*t - 5*t + 309, -377 = -4*c + 5*t. Is 7 a factor of c?
True
Suppose -v + 360 = 2*v. Let p = v + -81. Is p a multiple of 13?
True
Let n = 0 - 4. Let o(g) = g**3 + 11*g**2 + 17*g - 11. Let r be o(-9). Is 17 a factor of (-135)/n - r/8?
True
Let c be (24/14)/(6/21). Let u(x) = 2*x**2 - 5*x + 0*x + 5*x - c + 4*x. Is 14 a factor of u(-6)?
True
Let t(w) = w**3 - 5*w**2 + 3*w + 12. Is t(10) a multiple of 32?
False
Let o = -328 + 1044. Is 58 a factor of o?
False
Let b = -7 - -9. Suppose -3*h + b*w = -95, -w - 125 = 3*h - 7*h. Suppose -g + 4*i - i = -3, 3*g - h = -2*i. Is g a multiple of 3?
True
Let l = 1245 + -683. Does 31 divide l?
False
Let b be 1 - (-3 + 0/(-4)). Suppose 4*x + 4*k = -40, -b*k - 3 = 2*x + 11. Let f = 20 + x. Is f a multiple of 2?
False
Let p = 14 - 12. Let f(c) = 7 - 13*c**2 + 3*c**3 - p*c**3 - 3*c + c**2 + 6*c. Does 12 divide f(12)?
False
Let h(y) = 10*y**2 - 35*y - 215. Is 40 a factor of h(-7)?
True
Suppose -5062 = -17*v + 3506. Does 14 divide v?
True
Let r(i) = 2*i**2 - 3*i + 9. Let b = -9 + 12. Is 3 a factor of r(b)?
True
Let f(s) = -3*s + 5. Let l = -29 - -24. Is 6 a factor of f(l)?
False
Let v = -4712 + 7848. Is 77 a factor of v?
False
Let d(u) = -u**3 - 5*u**2 + 6*u - 6. Let w be d(-7). Suppose w = 5*y - 0*y. Is 5 a factor of y?
True
Suppose -112 = -x + 3*z, -31*x + 28*x + 5*z + 320 = 0. Does 100 divide x?
True
Suppose -5*z = -5*x + x + 397, -5*z + 387 = 4*x. Suppose x = 3*i - 34. Does 22 divide i?
True
Let q = -310 - -3418. Is q a multiple of 42?
True
Let i be ((-15)/(-21) - 1)/(2/(-14)). Suppose g = -2*g + 4*r + 224, 5*g = -i*r + 356. Is g a multiple of 18?
True
Suppose -98*k - 728 = -105*k. Is 3 a factor of k?
False
Is 14 a factor of 69/184 + (-8669)/