3/3 + 13*t - 1. Suppose -7*j = x + 23, -4*x + 15 = -5*j - 5*x. Does 7 divide i(j)?
False
Suppose -2*k + 0*k + 4*x = 0, 4*x = 4*k. Suppose 4*y - 5*q = -8, 5*y + 3*q - 4 - 23 = k. Does 49 divide -1*(-154 + 2) + y?
False
Let m = 567 - 553. Let b(h) = 29*h - 210. Does 49 divide b(m)?
True
Let n = 7268 - 1444. Is n a multiple of 64?
True
Let c(m) = -m**2 - 2*m + 2. Let n be c(2). Let y = 18 + n. Let u(z) = 15*z + 15. Is 15 a factor of u(y)?
True
Suppose c + 9 = 8. Let b be -2*((-3)/2 + c). Suppose -4*t - b*t = -639. Is 18 a factor of t?
False
Does 10 divide (-2 + (-654)/9)/(116/(-2958))?
False
Let o(l) = -6*l**3 - 3*l - 4. Let m be o(-2). Suppose -36*r + m*r = 2002. Does 13 divide r?
True
Let l = -5060 + 5062. Suppose 2*p - 5*b = 164, p - 81 = -4*b + 27. Suppose 5*k + l*t = 10*k - p, 3*k - 2*t = 56. Is k a multiple of 3?
True
Suppose c + y - 56 = 2, 2*y = 4*c - 220. Suppose 54*t + 4 = c*t. Suppose 0 = t*l - 107 - 11. Does 5 divide l?
False
Let u(v) = 28*v**2 - 37*v + 262. Is 15 a factor of u(17)?
True
Let s = -286 - -195. Let d = s - -427. Suppose d = m + 13*m. Is m a multiple of 4?
True
Suppose 6 = 4*k + 10. Is (-253 - -136)/((-6)/(-8)*k) a multiple of 39?
True
Let z be (-26)/78 + 13/3. Suppose -4*j + 3*v - 13 = 16, j - 4*v + z = 0. Let u(m) = -3*m - 6. Does 4 divide u(j)?
False
Let i(h) = 8*h**2 + 10*h + 51. Is 81 a factor of i(-9)?
False
Suppose -5*p = 5*l - 13365, 534*l = 533*l - 2*p + 2666. Is l a multiple of 201?
False
Let y(m) = 643*m**2 + 457*m + 1379. Does 26 divide y(-3)?
False
Let b = -616 + 622. Does 42 divide (-2696)/(-3) - b/(-18)?
False
Let p be 2/(-5) + (-36)/(-15). Let y(q) be the second derivative of 2*q**4/3 + q**2/2 - 35*q. Is 13 a factor of y(p)?
False
Let j(k) = -3*k**3 + 101*k**2 + 138. Is 18 a factor of j(33)?
False
Let k = 30 + -26. Suppose 0 = n + 3*x - 142, k*n + 4*x = -0*x + 600. Let u = n - 78. Does 19 divide u?
True
Suppose -y - 267 = -5*x, -x = 20 - 18. Let n = 753 + y. Is n a multiple of 14?
True
Let u(d) = 2*d**2 - 3. Let h be u(3). Suppose 2*g = x + h, 2*g - 4*x - 23 = 7. Suppose 7*i - 3*i - g*k = 311, k = -3*i + 257. Is 12 a factor of i?
True
Is 0 + (-79465)/(-8) - (-295)/(-2360) a multiple of 77?
True
Let m(l) = 50*l + 6518. Does 9 divide m(-76)?
True
Let c = -1387 + 3531. Is c a multiple of 6?
False
Let x be 3/6 - 805/(-10) - -3. Let g = 138 + x. Let c = g + -103. Is c a multiple of 39?
False
Let h(z) = 2225*z**2 + 36*z + 107. Is h(-2) a multiple of 11?
False
Suppose -2*i + 5*x + 3 = 2, -5*i + 3*x = -31. Suppose n + j - 334 = 0, -5*n + i*n + 4*j = 1000. Is n a multiple of 16?
True
Let h(m) = 4*m**3 - 180*m**2 + 49*m + 270. Is h(46) a multiple of 134?
True
Let u = 1695 - 168. Is 5 a factor of u?
False
Let s(p) = 20*p + 24. Let k be s(-1). Suppose 0 = -n - 2*n + 276. Suppose 2*t = k*c - c - 92, n = 4*c + 5*t. Is c a multiple of 2?
True
Suppose -24675 + 6735 = -4*x. Is x a multiple of 39?
True
Let f = -54760 - -82606. Does 51 divide f?
True
Suppose 5*i - 4 = -134. Let s = i - -30. Suppose 384 = s*c + 5*b, 2*c - 178 = 5*b - 16. Is 18 a factor of c?
False
Let r = 29150 - 20648. Does 39 divide r?
True
Let s be ((-10)/(-25))/(3/15). Suppose -s*h + 6 = -2. Let q(p) = p**3 - 2*p**2 + 5*p - 7. Is q(h) a multiple of 15?
True
Suppose 4*h + 428 = 4*v, -3*h - 321 = 2*v - 0*v. Let z be ((-10)/1)/(5/(-80)). Let t = z + h. Does 18 divide t?
False
Let v be (5 + -3)*(9 + -7) - 0. Suppose 33*i - 28*i + v*n - 7926 = 0, -4*n = -16. Is 71 a factor of i?
False
Let w(i) = -3*i - 17. Let q be w(-7). Let s be q*4/(11 - 3). Suppose -4*a = 3*v - 476, -v - 238 = -4*a + s*a. Does 17 divide a?
True
Let t(z) = 1279*z - 306. Does 13 divide t(4)?
True
Let y(t) = -t**2 + 8*t + 2. Suppose 13*o - 33 - 32 = 0. Suppose -o = -2*i + x, -i + 2*x + 0*x = 2. Is y(i) a multiple of 17?
False
Let l(c) = -9*c**3 + c + 1. Let v be ((-7)/(28/(-8)))/(-2). Let o be l(v). Let k(y) = -y**3 + 10*y**2 + 5*y + 17. Is k(o) a multiple of 13?
True
Is ((-19152)/(-1330))/((-1)/(-2475)) a multiple of 165?
True
Suppose 0*l + 6*l - 1056 = 0. Suppose 206 = s - 3*t - 2*t, -5*t + l = s. Let q = -46 + s. Does 29 divide q?
True
Suppose 13864 = 4*m - 2*c, 3*m + 3*c - 10403 = 7*c. Is 55 a factor of m?
True
Let a(o) = -173*o**3 + 28*o**3 - 3 - 4*o + 2*o**2 - 2*o**2 - 2*o**2. Is 18 a factor of a(-1)?
True
Let s(k) = k - 8. Let c be s(12). Does 2 divide (-10)/c*(-4826)/95?
False
Suppose 0 = 6*r - 5*r - 48. Let i = 33 - r. Is 6 a factor of (-3)/i + 870/25?
False
Let o(g) be the second derivative of 5/6*g**3 - 10*g + 1/20*g**5 + 0 - g**2 + 11/12*g**4. Does 10 divide o(-4)?
True
Let d(q) = 422*q**2 + 19*q + 95. Is 50 a factor of d(-5)?
True
Suppose 26*w - 7*w = 429989. Is 9 a factor of w?
False
Let w(x) = -5*x + 11. Let o be w(11). Let i = 46 + o. Is 40 a factor of (i/4)/((-7)/(-1694))?
False
Let h(d) = d**3 + 23*d**2 - 187*d + 141. Is h(-26) a multiple of 17?
True
Let t(v) = 32*v + 117. Let s be t(-5). Let z(l) = -l**2 - 52*l + 198. Does 39 divide z(s)?
True
Let q(a) = -105*a - 438. Let j be q(-7). Let o be 28/(5/((-75)/(-2))). Let z = j - o. Is z a multiple of 11?
False
Let u(s) = 2*s**2 - 6. Suppose -v + 2*y = 0, 2*y + 14 = 5*v - y. Does 3 divide u(v)?
False
Suppose j - 20 = -4*x, x + 2*x = j + 15. Suppose u = l - 917, 4*l + x*u + 705 = 4328. Is l a multiple of 12?
True
Suppose -5*p = -3*x - 4*p + 1726, -4*p = 2*x - 1146. Let q = x + -311. Is 6 a factor of q?
True
Let s = 24781 + -18887. Is s a multiple of 156?
False
Let c = 193 + -191. Suppose 999 = 2*n + n + 4*l, -5*n + 1665 = c*l. Does 37 divide n?
True
Let h(r) = -r**3 - 20*r**2 + 2*r + 49. Let a be h(-20). Suppose -a*v = -21*v + 7056. Does 49 divide v?
True
Let j(h) = 14 + 3*h**3 + 8*h + 12 - 4*h**2 + 14 - 41. Is j(6) a multiple of 65?
False
Let j be ((-68)/(-8))/(2/(-4)). Let d = 27 + j. Does 17 divide 675/d*4*(-6)/(-15)?
False
Suppose -3*u + 2*u - 49 = 0. Let d = 37 + u. Does 37 divide (-9 - d)/(3/97)?
False
Is (2/(16/12))/((-36)/(-20928)) a multiple of 50?
False
Let l = -413 - -394. Let g(o) = o**3 + 20*o**2 + 16*o - 21. Does 9 divide g(l)?
True
Suppose -4*w = o - 2499, 4*o - 30*w = -33*w + 9970. Does 232 divide o?
False
Let h(p) = 50*p - 438. Is h(11) a multiple of 2?
True
Suppose -6*l + 0 = -12. Suppose l = -h, 7*g - 574 = 3*g - h. Let d = g + -93. Is 14 a factor of d?
False
Let h be ((-10)/(-4) + -1)*228/9. Suppose h + 10 = 4*z. Is 18 a factor of (-184)/(-5) - z*(-2)/(-30)?
True
Let q be -5*(2 + 192/20). Let j be (q/(-4))/((1/8)/1). Is 2/(124/j + -1) a multiple of 11?
False
Suppose -u - 15*u + 34330 = -94694. Is 112 a factor of u?
True
Let t = 229 + -583. Is (1 + t/4)*(12 + -24) a multiple of 42?
True
Suppose -2*z + 935 = -1137. Let i = -633 + z. Is 56 a factor of i?
False
Let f(v) = -v**2 + 12*v + 5. Let l(w) = 5*w + 27. Let y be l(-4). Let p(o) = 2*o**2 - 18*o - 8. Let g(j) = y*f(j) + 5*p(j). Does 7 divide g(7)?
False
Let k be (-926)/(-10) + 2/5. Suppose -36*n + 7*n + 11792 = 59*n. Let z = n - k. Is z even?
False
Let s(w) = -13*w**3 + 2*w**2 + 2*w - 3. Let t be s(1). Let v be -1*(-3)/t - (-669)/4. Suppose -5*p = -4*c + 623, -c = -p - 4*p - v. Is c a multiple of 38?
True
Let t = -35 - -36. Let v(x) = 2*x + 2*x + t + x + 4 + 4*x**2. Is v(-2) a multiple of 5?
False
Suppose 0 = -j + 64 - 54. Let i be (j - -68)/(2 - 18/10). Let u = 570 - i. Is u a multiple of 12?
True
Suppose -73866 = -1365*x + 1339*x. Does 54 divide x?
False
Suppose -19803 = -4*n + 196*r - 193*r, -1 = r. Is 50 a factor of n?
True
Suppose -10*o + 38*o = -75541 + 239593. Does 63 divide o?
True
Let w = -653 + -345. Does 2 divide w/(-14) - (-4 - 150/(-35))?
False
Suppose -11 + 9 = -d. Let g be 892/(-3) + d/6. Let u = g + 422. Is u a multiple of 11?
False
Is 158 a factor of ((-1)/(-2)*11)/((-31)/(-9238))?
False
Let s(v) = -3*v + 12. Let b be s(4). Suppose o + 0*o - 126 = b. Does 18 divide o?
True
Does 32 divide 24478/3 + (-17)/(357/(-14))?
True
Let n(j) = j + 17. Let w be n(-17). Let d be (6 - (w + 2))*1. Suppose 3*l - 2*x = 606, d*l - 785 = -2*x - 3*x. Is 40 a factor of l?
True
Suppose 655512 = -6207*b + 6231*b. Does 185 divide b?
False
Let s = -336 + 337. Is 28 a factor of (12/10 - s) + 4743/85?
True
Suppose 12 = -5*h + 27. Suppose -h*q - 6 = 3*x - 7*x, x = 5*q - 7. Suppose -2*n - 6*l + 3*l = -295, -765 = -5*n - q*l. Does 31 divide n?
True
Let y(l) = 79*l - 5