6)/(-4)?
False
Let c = -93 + -137. Let o = -220 - c. Does 3 divide o?
False
Suppose 2*a = -2*k, 3*a - k - 13 - 3 = 0. Suppose -2*n = -v - 3, 0*v - 3*n - 23 = a*v. Is -7*(-20*1 - (6 + v)) a multiple of 32?
False
Suppose -70*f + 1033 = -69*f. Let q = f + -555. Does 57 divide q?
False
Let y(q) = q**2 + 16*q + 16. Let d be y(-15). Let v be (-5 - -16) + d/1. Suppose 4*b = -0*b + v, 5*z - 183 = -b. Does 6 divide z?
True
Let f(w) = 71*w**2 + 10*w - 3. Let r be f(2). Suppose 4*q - 16 = 0, -3*p = q - 0*q - r. Is 17 a factor of p?
False
Let r(b) = -19*b - 22. Let q = -120 + 83. Let o = q - -31. Is r(o) a multiple of 23?
True
Let n(i) = -31*i**3 - 35*i**2 - 220*i - 31. Does 45 divide n(-6)?
False
Suppose -34 = -4*m - 4*y - 6, y + 1 = 3*m. Suppose 0 = 2*t + u - 301, -m*t - 2*u + 71 + 225 = 0. Is t a multiple of 9?
True
Let t = -671 - -676. Let y(u) be the first derivative of 2*u**3/3 - 9*u**2/2 + 10*u - 1. Does 5 divide y(t)?
True
Let u be ((-56)/10)/((-32)/80). Suppose -17*h = -u*h. Is 17 a factor of (h - -4) + (3 - -119)?
False
Let f = 3958 - -403. Is 49 a factor of f?
True
Suppose -2456 = -5*u + 4*c, -5*u + 338*c + 2474 = 337*c. Is u a multiple of 8?
True
Suppose 8 = -3*q + 5*q. Let l be -18*((-6)/q - -1). Suppose l*s = 13*s - 68. Does 17 divide s?
True
Suppose -2*s + 3572 = -24. Does 50 divide s?
False
Does 154 divide ((-8)/16)/(12/168)*-330?
True
Suppose 20990 = 2*g + 2*t, 11*g - 2*t + 31490 = 14*g. Is 70 a factor of g?
True
Is ((-13)/4)/((-59)/(-236)) - -24068 a multiple of 17?
True
Suppose -5*l - n - 5461 = 0, 3*l + 924 = -2*n - 2354. Let g = l - -1783. Is 17 a factor of g?
False
Let j = 8322 + -3119. Does 11 divide j?
True
Let r = -2609 + 3614. Is r a multiple of 11?
False
Let i(b) = b**3 - 5*b**2 + 3*b + 10. Let f be i(4). Let r(z) be the second derivative of z**4/6 - z**3/3 - 2*z**2 - z. Is r(f) a multiple of 14?
True
Let c(u) = 4*u + 27. Let m be c(-8). Let p(s) = -s**2 - 6*s - 2. Let r be p(m). Suppose 5*j - 35 = -2*q, r*j = 2*q + 6*j - 41. Is 4 a factor of q?
False
Suppose w - 9 = -u, -4*w + 0 = -2*u - 12. Suppose -a = w*d - 85, -8*d = -7*d + 2*a - 17. Does 4 divide d?
False
Let b = 26 + -22. Suppose 0 = k + 3*k + b. Does 10 divide (1 + 1)*(9 - k)?
True
Let n(j) = 227*j - 12. Let v(l) = 455*l - 24. Let z(i) = 5*n(i) - 3*v(i). Is 13 a factor of z(-3)?
True
Let y(k) = 3*k**2 - 6*k + 9. Let a be y(4). Suppose 2*m = 5*t - 547, -193 - a = -2*t - m. Let g = -31 + t. Is 20 a factor of g?
True
Let o(g) be the first derivative of g**4/4 - g**3/3 + g**2 + 6*g - 17. Let i be o(0). Is 20 a factor of (-2 - 0) + (i - -187)?
False
Let q(p) = -12*p - 76. Let s = -64 + 39. Is 45 a factor of q(s)?
False
Is (1605 + (7 - 2))*(-2880)/(-224) a multiple of 15?
True
Suppose -7*s = -9*s + 1600. Suppose 11*n - 6*n - s = 0. Is n a multiple of 20?
True
Does 5 divide (-5)/(-3) - 7/((-84)/21436)?
False
Suppose -5*z + 2*z + 4*w + 388 = 0, 0 = 5*z + w - 685. Does 11 divide z - 0 - (2 + 2)?
True
Let m(g) be the second derivative of g**7/840 - g**6/180 - g**5/15 - 31*g**4/12 - 34*g. Let s(o) be the third derivative of m(o). Is s(7) a multiple of 14?
False
Let t = -4033 + 6343. Is 22 a factor of t?
True
Let c(k) = 160*k**2 - 12*k - 28. Does 10 divide c(-7)?
False
Suppose 8*l + 2 - 34 = 0. Let p = 27 + -27. Suppose p*b + b - j - 52 = 0, 80 = 2*b + l*j. Is b a multiple of 5?
False
Let q(y) = 3*y + 50*y**2 - 2*y + 1 + 1 + 2*y. Is 14 a factor of q(-2)?
True
Let c = 956 - -12. Is 22 a factor of c?
True
Let f(s) = -32*s - 52. Let i be f(-7). Let l be 26 + 2 - 0 - -4. Let t = i - l. Is 17 a factor of t?
False
Let d(m) = 4*m**2 - 17*m + 8. Let l be d(4). Suppose n - 106 = l*o + 55, -3*n - 4*o = -563. Is n a multiple of 11?
False
Let n(k) = 2*k**2 + 13*k - 16. Let m be n(-8). Let l(s) = -4*s + 32. Let t be l(m). Suppose t = 2*r + 2 - 12, -5*r - 31 = -2*b. Is 2 a factor of b?
True
Suppose -5*q = -4*c - 0 + 7, -q = 3. Is 3 a factor of (c/3)/(58/(-11397))?
False
Suppose -5*a + 16268 = -12007. Suppose 0 = -9*j + 204 + a. Does 21 divide j?
True
Suppose -6*j = -135 - 27. Is j/(-12)*(-752)/12 even?
False
Is (-786)/2*(-957)/87 a multiple of 33?
True
Is 122634/14 + 426/994 a multiple of 10?
True
Let q = 8 - -3. Let c be 9 + ((-15)/9)/(2/6). Suppose 4*v + t = 29, -3*v + 4*t - q = -c*v. Is 7 a factor of v?
True
Suppose 16*c = -9031 + 91463. Suppose 3*h + 29*h = c. Is 23 a factor of h?
True
Let m = 14426 + -7161. Does 13 divide m?
False
Let y(v) = 62*v**3 + v**2 + 6*v + 25475. Is y(0) a multiple of 5?
True
Let s be (-1227)/(-5) + 9/(225/(-10)). Suppose 0 = -2*h - 4*z + 150, 0 = -4*h + 4*z + s - 5. Is 13 a factor of h?
True
Let s = -1084 - -483. Let l = 257 - s. Is l a multiple of 13?
True
Let w(t) = -23*t - 5. Let b be w(-4). Let l = -3297 - -3305. Let o = l + b. Is 10 a factor of o?
False
Let s(x) = 16*x**2 + 2*x + 2. Let m be s(-2). Let u = -60 + m. Suppose -u*r + 3 - 5 = 0, 2*j = 2*r + 284. Is j a multiple of 38?
False
Let j(x) be the second derivative of -x**5/20 + 13*x**4/12 - 2*x**3 - 6*x**2 - 3*x. Suppose 4 + 23 = u + 4*v, u + v - 15 = 0. Does 14 divide j(u)?
True
Suppose 0 = 4*n - k - 17899, -4*n + 14788 + 3141 = 5*k. Suppose 4*m = -5*a + n, -7*a - 5*m + 2683 = -4*a. Is a a multiple of 56?
True
Is (23090 - -30) + -26 + 5*2 a multiple of 152?
True
Let p = 471 + -686. Let q = p + 322. Is 25 a factor of q?
False
Suppose -5*o - 3*t - 47 = 0, 2*o + 3*t + 19 = o. Let y(p) = -p**3 - 2*p**2 + 8*p - 9. Is 15 a factor of y(o)?
True
Let a = 103324 + -44267. Is 39 a factor of a?
False
Suppose 2 = j - s, 0 = -j - 4*j + 3*s + 6. Let g(f) = f**3 + 4*f + 78. Let o be g(j). Suppose -o = -5*k + 17. Is 7 a factor of k?
False
Let s(r) = -r**3 + r**2 + r - 12. Let x be s(0). Is x/(21/(-7))*115 a multiple of 10?
True
Let z = -213 + 213. Suppose 3*g + 3*m - 324 = z, -328 = -3*g + 7*m - 11*m. Is g a multiple of 35?
False
Let a(m) = 2*m + 34. Let n(k) = k**2 - 10*k - 33. Let s be n(10). Let y = -13 - s. Does 37 divide a(y)?
True
Let f(c) = 26*c - 6. Let w be f(3). Let z = -67 + w. Is z/(-20) + 130/8 even?
True
Let a = -71 + 73. Let l(y) = 1 + 11*y**a - 12*y**2 + 15*y + y. Does 9 divide l(13)?
False
Does 11 divide 22242 + (-19)/(437/207)?
False
Let d = 699 - -125. Does 259 divide d?
False
Let k be -3 + 1101*((-4)/(-12) - 0). Let i = -324 + k. Is 8 a factor of i?
True
Suppose 5*q + 6 = 3*i, -2*q = -i - 6*q + 2. Suppose 260 = 5*l + 3*w, -l + i*w = -0*w - 52. Does 13 divide ((-3 + 4)/4)/(1/l)?
True
Let f = 338 + -335. Suppose 257 = 5*v - 4*r, 8*r - 10*r + 163 = f*v. Is 4 a factor of v?
False
Let g(h) be the second derivative of 35*h**3/6 + 27*h**2/2 + h. Let v be g(7). Let k = 390 - v. Is 24 a factor of k?
False
Let z = 29154 + 7300. Is 17 a factor of z?
False
Let q(l) = l**2 - 2*l - 5. Let u be q(4). Suppose -3 = u*s - 12. Suppose s*y - y = 462. Does 37 divide y?
False
Suppose t - 2*n - 51 = 0, 3*t + 11 = -3*n + 128. Suppose -t + 1039 = 12*s. Does 36 divide s?
False
Suppose -48 + 266 = -2*f. Let y = f + 115. Suppose -2*k = -3*l + 114, 3*l + 2*k - 108 = y*k. Does 9 divide l?
False
Let r(i) be the second derivative of 2*i**3/3 - 22*i**2 - 22*i. Let d be r(11). Suppose 2*o + 3*a - 70 = 0, d = o - 3*a - 8 - 45. Is o a multiple of 6?
False
Suppose 2*t + 54 = 4*t. Let a be (-9)/t*(2 - 5). Suppose q + 5*v - 27 = 0, -4*v - a + 55 = 2*q. Is 4 a factor of q?
False
Let f be 27 - (12/1)/3. Let x(g) = 8*g + 56. Does 15 divide x(f)?
True
Let z be 0 + (3 + -4 + 3)*1. Suppose z*l = 5*a + 6*l - 330, a + 3*l = 77. Suppose a = y - 45. Is y a multiple of 19?
False
Let a be (3/(-2))/((-45)/300). Let d = -253 + 397. Suppose k + d = a*k. Is k a multiple of 16?
True
Let a = -9112 - -13400. Is 32 a factor of a?
True
Suppose 5*h + 4869 = u + 33370, 3*h = -4*u + 17096. Is h a multiple of 25?
True
Let p(c) = c**3 - 4*c + 3. Let j be p(0). Suppose 161 = j*q - k, 5*k - 11 = q - 88. Does 2 divide q?
True
Let c = -296 + 290. Let u(y) = -3*y**3 - 5*y**2 - 19*y + 3. Does 65 divide u(c)?
True
Suppose 24*b + 11303 = 29*b - p, -4*p + 2227 = b. Is 9 a factor of b?
True
Suppose -9*l = -3*i - 7*l + 52474, 0 = 7*i - 3*l - 122436. Is 11 a factor of i?
True
Let n(h) = -1 + h + 4*h - 5*h - 2*h. Suppose 25 = -2*q + 3*s + 1, 4*s = 4*q + 48. Is 9 a factor of n(q)?
False
Suppose -31*i + 47520 = 13*i. Is 135 a factor of i?
True
Suppose 3*y + 5*b + 0 = -1, 2*y 