r of h?
True
Let w be (1/(-3))/((-2)/12). Let t(b) be the second derivative of 3*b**3/2 - 2*b**2 - 6*b - 1. Is t(w) a multiple of 7?
True
Is (-6804)/(-54) - (2 + 4/2) a multiple of 2?
True
Let i = 8 + -3. Let t(h) be the first derivative of -h**4/4 + 2*h**3 + 3*h**2/2 + 11*h + 178. Does 17 divide t(i)?
True
Let a be (0 + -4)*6/(-12). Let q = 7 - a. Suppose 5*g + 300 = 5*l, -4*l + 244 = -q*g + 2*g. Does 16 divide l?
True
Suppose 496 + 477 = -7*m. Let f = -109 - m. Is f a multiple of 14?
False
Suppose -4*g = -2*t + 472, 19*g - 18*g + 718 = 3*t. Is t a multiple of 12?
True
Suppose 4*d = -2*p + 70, -4*d + 4*p + 30 = -2*d. Let z = -168 + 347. Suppose d + z = 4*v. Is 15 a factor of v?
False
Suppose -3*i - 18*b = -20*b - 3756, -i - 3*b = -1241. Is i a multiple of 50?
True
Let b be (-1)/1 + (-3 - -2). Let s(d) = 6*d**2 + 3*d + 4. Is 5 a factor of s(b)?
False
Let p = 664 - -449. Does 57 divide p?
False
Let u = -159 + 153. Suppose 96 = -5*n + 2*f, 4*n + f - 2*f + 75 = 0. Let d = u - n. Is d a multiple of 12?
True
Suppose -2*i + 146 = x, -3*x + 370 = -4*i - 68. Does 32 divide x?
False
Let w(k) = 8*k - 2. Let i be w(7). Suppose -4*a + 2*a = 5*m + i, 4*m - 201 = 5*a. Let x = a + 94. Is x a multiple of 13?
False
Suppose 0 = -5*l - 0*l + 15. Suppose -5*w - 114 = 2*q, 4*w + 30 = l*w + 2*q. Is 19 a factor of w/9*342/(-12)?
True
Suppose -2*u + 10 = -12*u. Does 7 divide 15/(3/u)*63/(-5)?
True
Let o(u) = 2*u + 12. Let b(f) = 2*f + 13. Let k(p) = 4*b(p) - 3*o(p). Let z(g) = 2*g**2 - g + 2. Let a be z(2). Is 5 a factor of k(a)?
False
Let m(w) = -2. Let i(l) = 298*l - 6. Let x(n) = -i(n) + 5*m(n). Is 17 a factor of x(-1)?
False
Let n(z) = 1. Let a(r) = -r**2 + 12*r - 14. Let m(b) = a(b) + 6*n(b). Is m(7) a multiple of 9?
True
Is 3 a factor of (-132)/726 - 7858/(-22)?
True
Suppose -5918 = -3*o - 10*k + 6*k, -1982 = -o + k. Is 46 a factor of o?
True
Suppose 673 = 3*w + 4*r, 0 = -5*w - 4*r - 0*r + 1135. Let s = w - 120. Let l = s + -29. Is l a multiple of 18?
False
Let g = 461 - 321. Is 37 a factor of g?
False
Does 24 divide ((-108)/21)/(9/(-798))?
True
Let j be -13 + 3*(-2 + (-21)/(-9)). Is 3 a factor of (48/j)/(5/6 - 1)?
True
Suppose -2*z = -3*x + 542, 2*x + 2*z - 3*z - 361 = 0. Is x a multiple of 30?
True
Suppose 729*i - 468 = 723*i. Does 13 divide i?
True
Let k(c) = -3*c + 18. Let m be k(8). Let f be (-636)/18 - 2/m. Let r = f + 62. Is r a multiple of 27?
True
Suppose 1 = 2*x - 0*x + 3*p, 3*p + 1 = -x. Suppose y = x*y - 17. Is 17 a factor of y?
True
Let c be 156/((-5)/(-5 - 10)). Is ((-2)/(-3) + 1)/(6/c) a multiple of 39?
False
Suppose -66 = x - 4*x. Let h be -20 + 1 + 88/x. Let i(p) = p**2 + 11*p - 22. Does 19 divide i(h)?
True
Suppose 10*y - 5*y = -2*w + 8, -22 = 3*w - y. Let d(r) = r**2 + 6*r + 4. Let c(m) = 4*m**2 + 24*m + 16. Let j(g) = -4*c(g) + 18*d(g). Is 4 a factor of j(w)?
True
Suppose -s - v - 2 = 0, 0 = s - 3*v - 2*v - 22. Let p = 0 - -1. Is 3 a factor of s + -4 + p + 4?
True
Let s = -3 - -13. Suppose m = 6*m + 4*g - 1325, 0 = -2*g + s. Does 22 divide m?
False
Suppose 5*l - 26 = -u, 0 = -0*l - 5*l + 5*u + 20. Suppose -237 = -5*z + 153. Suppose -7 = i - 2*r - 45, -2*i + l*r = -z. Is 34 a factor of i?
True
Let z(r) = 2*r + 5. Let k be z(-3). Is 17 a factor of ((-25)/1)/k + (-1 - -4)?
False
Let d = -21 - -145. Is d a multiple of 3?
False
Suppose -3*n - 2*x + 218 + 86 = 0, -2*n - 3*x + 206 = 0. Is n a multiple of 25?
True
Suppose 0*s = 4*s - 2*j - 484, -5*j = 10. Let t = 337 - s. Does 31 divide t?
True
Let g(m) = -m**3 + 5*m**2 + 9*m - 4. Let c be g(6). Let a(w) = w**2 - 15*w + 17. Let l be a(c). Suppose 0*q - l*q + 123 = 0. Does 10 divide q?
False
Is 9 a factor of -292*2/12*(-5 + 2)?
False
Let c = -122 - -322. Suppose 6*j - c - 28 = 0. Does 19 divide j?
True
Is 3 a factor of (-12)/(-258) + 11860/172?
True
Suppose -18 = -2*o - 2*q, -7*q = -4*o - 3*q - 4. Let y(s) = -3 - 3*s**2 + 0*s + 2*s**3 + 0*s**3 - 4*s + 4. Does 13 divide y(o)?
True
Let s(z) = -148*z**3 - 8*z**2 - 11*z - 13. Is 101 a factor of s(-3)?
False
Let w = 28 - 94. Let o = w - -112. Is 6 a factor of o?
False
Suppose 0 = -y + 5*v + 54, -v - 11 = -y + 31. Let l be (-1)/(-2)*(y - 13). Let d = l + -10. Is 3 a factor of d?
True
Let s be (10/(-6) - -1)*18. Let v = 17 + s. Suppose 5*k - v = 25. Does 6 divide k?
True
Let p = -67 + 70. Let w(d) = 6*d**3 + 4*d**2 - 4*d + 11. Does 34 divide w(p)?
False
Let g = -143 + 188. Does 15 divide g?
True
Let v = -133 - -131. Is 10 a factor of (63/28)/(v/(-184))?
False
Suppose 2*t = 8 + 2. Suppose -2*j - d = -75 + 19, 0 = -3*j + t*d + 71. Is 8 a factor of j?
False
Suppose -8110 - 10940 = -50*m. Does 16 divide m?
False
Let g(x) = -x**2 - 5*x + 4. Let l be g(-7). Let d(m) = 2*m + 24. Let a be d(l). Suppose -2*c = -a*h + 118, 3*c - c = -10. Does 17 divide h?
False
Let s(l) = 2*l**3 + 9*l**2 + 9*l - 1. Let m(z) = z**3 + 4*z**2 + 5*z - 1. Let v(c) = -7*m(c) + 4*s(c). Let u be v(-8). Let i = u + 32. Does 11 divide i?
False
Let z = -7 - -11. Suppose -d - 3*j - 19 = -2*d, -z*j + 31 = 3*d. Is 6 a factor of d?
False
Let z be (-1)/(-3) - 53/(-3). Let w(b) = b**2 - 15*b + 7. Let p be w(15). Let t = z - p. Does 8 divide t?
False
Suppose -14696 = 24*c - 35*c. Is c a multiple of 34?
False
Let y = 655 + 626. Does 61 divide y?
True
Let w(h) = 155*h + 7. Suppose -4*v = -2*l + 22, -5*l - 16 = 3*v - 6. Is w(l) a multiple of 54?
True
Let q(a) = 25*a**2 + 2*a + 1. Let i be q(-1). Let b = i - 15. Does 3 divide (3 + 0 - 0) + b?
True
Let t be (28/6)/(2/(-18)). Suppose -2*w + z + 370 = 0, -8*z + 3*z = w - 163. Let o = t + w. Is 33 a factor of o?
False
Suppose -2*g - 8 = 0, -q + 2*g + 18 = -1. Let l(d) = -d**3 + 10*d**2 + 13*d - 13. Let a be l(q). Suppose -a = -k + 3*x, -k + 5*k + x = 36. Does 3 divide k?
True
Let g(h) = h**2 + 2*h + 1. Let p = 4 + -4. Let c be g(p). Let o(m) = 72*m**3 + m**2 - 1. Is 17 a factor of o(c)?
False
Let p(u) = 14*u - 80. Let c be p(6). Suppose 3*a + 0*a - 865 = c*o, 0 = 2*a - 2*o - 574. Does 29 divide a?
False
Let t = 538 - 395. Is t a multiple of 13?
True
Suppose 8*f - 3*t = 12*f - 5977, 0 = 5*f + 5*t - 7475. Suppose -4*w - f = -4*b, 4*b + 2*w = 8*b - 1484. Is 15 a factor of b?
False
Let w(l) = l**2 + 3*l + 1. Let q be w(-4). Suppose -430 = -q*h - 40. Is h a multiple of 26?
True
Let w be (-481)/(-13) - 3/3. Let u = 48 + -24. Let o = w - u. Does 12 divide o?
True
Let l(f) = 6*f + 19. Let o be 12/((-5)/(20/(-6))). Does 21 divide l(o)?
False
Let h = 245 + -194. Is h a multiple of 6?
False
Suppose 0 = 3*m - s - 2564, 41*s - 40*s + 5 = 0. Is 30 a factor of m?
False
Suppose 2*u + 7*f - 3*f = -288, -3*f + 432 = -3*u. Let o = u - -219. Suppose 0*s + 3*s = o. Does 15 divide s?
False
Let u = 273 + 106. Is u a multiple of 16?
False
Let o(t) = t**2 + 5*t + 3. Let y = -19 - -14. Let k be o(y). Suppose -3*h + 54 = k*f, 4*h - 2*f = -0*f + 90. Is 14 a factor of h?
False
Suppose -4*l + 861 = -3*a, -4*l + 239 = -3*l + 4*a. Let z = l - 139. Suppose -6*n + z = -100. Is n a multiple of 5?
True
Let w = 813 - 295. Is 14 a factor of w?
True
Let c(b) = 11*b**2 - 3*b - 7. Let m be c(-3). Let u = 149 - m. Is u a multiple of 24?
True
Let f(n) = 209*n**2 + 5*n - 1. Is 3 a factor of f(1)?
True
Suppose -13 = -2*b - 3. Let r = -137 + 408. Suppose -b*a - r + 4 = -4*i, 2*i - 137 = -a. Does 17 divide i?
True
Let d(i) = -33*i**3 - 5*i**2 + 21*i - 1. Let t(v) = 8*v**3 + v**2 - 5*v. Let m(j) = -2*d(j) - 9*t(j). Is 3 a factor of m(-1)?
True
Suppose -15*l - 768 = -47*l. Is 17 a factor of l?
False
Let l(g) = 2*g - 10. Let c be l(7). Suppose 4*p + c*w + 196 = 0, 4*p - 3*w + 2*w + 216 = 0. Let b = 92 + p. Is b a multiple of 13?
True
Suppose 3*o = 2*c - 31, -c = -4*o - 3*c - 18. Does 16 divide 26/91 - ((-6210)/o)/(-3)?
False
Let g = -1015 - -519. Let i = -351 - g. Is 29 a factor of i?
True
Suppose 2*x = 6 + 2. Suppose 4*l = 5*l - x. Suppose l*u = 9*u - 345. Is 24 a factor of u?
False
Suppose -446 = 5*h + 19. Let r = h + 219. Does 18 divide r?
True
Suppose 3*j + 2*m - 1304 = 0, 2*j - 502 = 5*m + 399. Suppose 5*t - j = 2*f, -14 + 363 = 4*t - 3*f. Is 11 a factor of t?
True
Let q be -87 + -1 + -2 + 4. Let t = q - -140. Is t a multiple of 11?
False
Let g = -313 - -443. Suppose k = -2*l + g, -4*k - 4*l + 508 = -0*l. Is k a multiple of 30?
False
Suppose -3*l - 3*z + 98 = 308, 3*l - 4*z + 182 = 0. Let y = 42 + 