Is (-10 - -115)*p/7 a multiple of 15?
True
Let t(q) be the second derivative of 5*q**4/12 + 2*q**3 - 21*q**2 + 2*q - 1. Is t(6) a multiple of 85?
False
Let r = -51 - -44. Let z = r + 31. Is 16 a factor of z?
False
Let q = 64 - 25. Suppose -9*u = -q*u + 20700. Does 60 divide u?
False
Is (-2137 + -3)*((-6)/(-30) - (-111)/(-30)) a multiple of 169?
False
Suppose -3*n + 212316 = -21856 + 38464. Does 31 divide n?
False
Let z = -4342 - -4454. Is z a multiple of 80?
False
Suppose -16*q + 17*q - 243 = 0. Suppose 4*r - 292 = 5*v + q, -4*r = -4*v - 540. Does 10 divide r?
True
Suppose 8*z - 11*z = -9*z + 8562. Is z a multiple of 3?
False
Is 86 a factor of -1 + 3179 - ((-385)/(-11) + -39)?
True
Let i(t) = 2*t + 52. Let o = 339 - 344. Is 14 a factor of i(o)?
True
Let c be (72/15 - (2 + 4))*-70. Let z = -112 - -64. Let d = z + c. Is 12 a factor of d?
True
Let i(t) = -49 + 20 - 24*t - 49. Is 18 a factor of i(-10)?
True
Let k(h) = -13*h + 18 + 2*h**2 + 6*h**2 + 14*h**3 + 6*h**2 - 15*h**3. Suppose -16 - 1 = -3*p - 4*a, -2*p + 38 = -4*a. Is k(p) a multiple of 50?
False
Let j(h) = 3*h**2 - 45*h + 5784. Does 12 divide j(60)?
True
Let i(l) = 7*l**2 + 9*l + 3. Let n(t) = -t**2 + 1. Let p(w) = i(w) + 6*n(w). Let m be p(-5). Let q = m + 29. Is 9 a factor of q?
True
Suppose -5*o = -5*j + 60, 4*j - 89 = -5*o - 5. Let a(h) = -h**3 - 4*h**2 + 4*h + 4. Let t be a(-4). Does 11 divide t/(-24)*11*j?
True
Suppose 3*z + 12 = -3*r - 3, 9 = -2*r - 3*z. Let l(t) be the second derivative of t**4/12 + 3*t**2 + 21*t. Is 12 a factor of l(r)?
False
Let o = -11422 + 15945. Is o a multiple of 5?
False
Let n be 5 + 144/(-27) - 2/(-6). Suppose 9*z - 7*z - 1650 = n. Is z a multiple of 45?
False
Suppose 3 = 3*m - 9, -m - 2519 = -3*x. Let s = -501 + x. Does 34 divide s?
True
Is 15 a factor of (2/(5/((-22250)/16)))/(161/(-3864))?
True
Suppose -2*k = 3*k + 150. Does 17 divide (24/k)/(4 + (-2361)/590)?
False
Suppose -178 = 10*l - 2548. Suppose l - 1263 = -3*b. Does 9 divide b?
True
Is 73 a factor of 2/(12/3009)*15/60*40?
False
Suppose -2*b - k + 112 = 2*k, -2*b + 108 = 2*k. Suppose -4*s - 6 = -b. Suppose 0 = -3*f + s*f - 80. Does 4 divide f?
False
Let m = 3399 - 2300. Suppose 3*n - 1653 = 3*y, n + y - m = -n. Does 11 divide n?
True
Let r be 1/3*6 - -4. Suppose 153 = 5*f - r*f. Let k = f + 215. Is 11 a factor of k?
False
Let h(g) = 4*g**2 - 7*g - 24. Let a(m) = -2*m - 3*m + 8*m - 2*m - 1 + m**2. Let q(t) = -3*a(t) + h(t). Is 10 a factor of q(-5)?
False
Suppose 3*q = -2*d + 6, 4*q - 8 = -2*d + 2. Suppose 0 = -3*r - 12, 2*p + 2*r = 4*p - 106. Suppose 23 = q*b - p. Is 6 a factor of b?
True
Let n(u) = u**3 - 6*u**2 + 4*u - 7. Let m be n(3). Let k(x) = x**3 + 25*x**2 + 47*x - 44. Is 34 a factor of k(m)?
True
Let z = 2 - 119. Let u = 117 + z. Suppose -10*o - 414 + 1294 = u. Is o a multiple of 9?
False
Let s(k) = k**3 + 5*k + 370. Let v be s(0). Let i = 658 - v. Is 9 a factor of i?
True
Let k(a) = -a**3 - 8*a**2 - 36*a. Let m be k(-4). Is (-21 + 9)*m/(-6) a multiple of 17?
False
Let h(j) = 11*j**3 + 20*j**2 + 15*j + 6. Let t(d) = -5*d**3 - 10*d**2 - 8*d - 3. Suppose 5*w + 8 = -37. Let c(m) = w*t(m) - 4*h(m). Is 3 a factor of c(-8)?
False
Let b(u) = 91*u**2 + 5*u - 1. Let r be b(-1). Let s = 91 + 0. Suppose 2*p - r = s. Does 15 divide p?
False
Suppose -22*h = -83*h - 16*h + 577346. Is h a multiple of 46?
True
Suppose -11*l + 37712 = -32578. Suppose -44*v = l - 39390. Does 6 divide v?
True
Let q be -2 - -3 - (-1 + -1). Let s(p) = -210*p - 663. Let l be s(-4). Suppose -2*a = f - 66, l = q*f + a - 2*a. Does 10 divide f?
True
Let r = 63 - -254. Suppose -204 = -2*x + 4*g, 3*x - g + 6*g = r. Is 4 a factor of x?
True
Suppose c + 567 = 5*a + 12, 0 = -3*a - 5*c + 361. Suppose 0 = -2*s + a - 80. Does 11 divide s?
False
Let x(f) = 51*f + 342. Let o(t) = -34*t - 227. Let s(k) = 8*o(k) + 5*x(k). Is s(-14) a multiple of 22?
True
Let w(j) = -190*j + 964. Is 92 a factor of w(-8)?
True
Suppose 4 = 3*r + 1, 2*r = 2*z + 80. Let a = 81 - 162. Let b = z - a. Is 7 a factor of b?
True
Let m(o) = 194*o**2 - 9*o + 46. Is 4 a factor of m(-2)?
True
Let g(o) = 25*o**2 + 306*o + 136. Is 22 a factor of g(27)?
False
Suppose -z + 98 = -3*h + 6*h, -156 = -2*z + 4*h. Let w = 80 - z. Is ((-3)/w)/(((-1)/(-1))/36) a multiple of 3?
True
Let f(t) = -28*t + 45. Let b(s) = -26*s + 45. Let j(z) = 2*b(z) - 3*f(z). Does 21 divide j(6)?
True
Let o(q) = -1 + 3*q**2 + 19 - 2*q**2 - 1. Does 9 divide o(-7)?
False
Suppose -4*m + 8 = c - 31, -c + 25 = -3*m. Let u = c - -25. Suppose -338 = -5*v - 5*n - 108, -n = -v + u. Does 17 divide v?
True
Suppose -g + 240 = 5*o + 4*g, 0 = -2*o + 2*g + 76. Suppose -3*s = -c - 37 - o, 5*s - 160 = -5*c. Is s a multiple of 9?
False
Let x be 8 + -2 + -4 + 3. Suppose 0 = -x*u - 3*p - 5, 0 = 3*p - 7 + 22. Suppose u*a + 5*n = 5*a - 232, -2*a = 5*n - 138. Is a a multiple of 37?
True
Suppose b - 2*b = 4*s, -3*b + 5*s + 51 = 0. Suppose 837 + 4155 = b*g. Is g a multiple of 12?
False
Suppose -5*n = z + z - 15519, -5*n - z = -15522. Is n a multiple of 115?
True
Is (0 + (-8)/(-128)*-12)/(2/(-32104)) a multiple of 120?
False
Is -1 - (-3 + -11 - 3027) a multiple of 76?
True
Is 34 a factor of (824 + (-8)/(-2))*(-1 - (-120)/18)?
True
Suppose -13*s + 20 + 19 = 0. Suppose -3*f + 2*f - 3*q = -360, -378 = -f + s*q. Is f a multiple of 41?
True
Suppose -4*c - 4*a = -8964, 8*c - 5*c - 6717 = 3*a. Is c a multiple of 4?
True
Suppose 9*q - 99385 = 2*t, -3*q - 3*t + 14097 + 19002 = 0. Does 61 divide q?
True
Suppose -5533 - 32834 = -9*q. Is 49 a factor of q?
True
Let w(z) = -136*z + 510. Is 4 a factor of w(-48)?
False
Suppose -4783145 - 14259271 = -471*r + 25*r. Does 12 divide r?
True
Let r be (-14)/(-10) + 0 - (-6)/10. Suppose r*o - 16 - 8 = 0. Is (((-189)/6)/(-3))/(9/o) a multiple of 3?
False
Let n(d) = d + 10. Let c(t) = -t**3 - t**2 - t - 14. Let o be c(-3). Let f be n(o). Suppose -u + 5 + f = -3*r, 0 = 4*r. Is u a multiple of 6?
False
Suppose 0 = -45*z - 142*z + 996984 + 1851026. Is 63 a factor of z?
False
Let l = 69 + -479. Let j = 595 + l. Suppose -7*q = -j - 18. Is q a multiple of 4?
False
Suppose -l + o + 1477 = 0, l + 2*o - 828 - 634 = 0. Is l a multiple of 16?
True
Let y = -145 + 159. Suppose 0 = y*k + 487 - 1495. Is 8 a factor of k?
True
Suppose b - 18 = -4. Let t(d) = -d**3 + 15*d**2 - 10*d - 28. Does 7 divide t(b)?
True
Suppose 0 = -3*j + 4*q + 24092, -58*j + 63*j - 40176 = q. Is j a multiple of 98?
True
Let b(c) = -3*c**3 + 2*c**2 - c - 3. Let z be b(3). Let j(x) = 30*x**2 - 11*x - 16. Let q be j(-2). Let u = q + z. Is 19 a factor of u?
True
Let i = 10891 + -5772. Does 123 divide i?
False
Suppose g + 17 - 241 = 0. Let u = -91 + g. Is u a multiple of 17?
False
Suppose -4*h + 3*u + 8701 = 0, -4*h = 14*u - 12*u - 8686. Does 53 divide h?
True
Let h be 153 - ((-1)/(-3) - (-8)/(-6)). Suppose 12*l - 1826 = h. Is (-5)/(l/(-160) + 1) a multiple of 18?
False
Let y be (0 + -1 - -1)*(-7)/(-7). Suppose j - 6 = -y*j. Suppose -j*v = -v - 50. Is v even?
True
Is (-3)/(-8) - (-25606)/112 a multiple of 2?
False
Let y(s) = -97*s**3 - 1. Let r be y(-2). Suppose -i + r = 265. Is 17 a factor of i?
True
Suppose -5*m - 3*g = -66, -4*m + 26 = 4*g - 22. Suppose m*j = 4 + 41. Suppose 3*o + j*r - 288 = 0, 4*r + 108 = o + 2. Does 11 divide o?
False
Suppose 1622 = 2*c - 1178. Let i = 146 - 137. Suppose -c = b - i*b. Is b a multiple of 27?
False
Suppose -6*j + 4 = -8*j. Let g be 3/(-3*j/(-6)). Does 6 divide (-79)/g + 2/3?
False
Let h(a) = a + 28. Let p(x) = -x**3 + x**2 - x - 7. Let c be p(0). Let r(g) = g + 42. Let b(m) = c*h(m) + 5*r(m). Does 9 divide b(-20)?
True
Let o = -225 - -62. Let j = 190 + o. Is 17 a factor of j?
False
Let r(v) = -v**2 - 22*v + 59. Let k be r(3). Let h(p) = -27*p - 48. Let j(x) = -x. Let u(c) = h(c) - 2*j(c). Is 44 a factor of u(k)?
True
Suppose 17*g - 25*g = -43576. Does 13 divide g?
True
Let r be (5 - 9)/(27/(-26) + (-2)/(-2)). Let s be 261/6*2*1. Let g = r - s. Is 11 a factor of g?
False
Suppose 0 = -5*z - 2*z. Suppose z = -14*u + 10*u + 380. Let g = 137 - u. Is g a multiple of 4?
False
Let g = 4 + 1. Let k(z) = 17*z**2 + 2*z - 41. Is 9 a factor of k(g)?
False
Let u = -320 - -326. Let c(a) = 10*a + 18. Is 26 a factor of c(u)?
True
Let h(s) = 4*s**3 - s**2 + s + 8. Let m be h(6). Suppose 1003 = 5*q - m. Suppose 8*z - q = 191. Is z 