*z, 14*d = 9*d + k*z + 6148. Is 22 a factor of d?
True
Let x be ((-78)/15 + 4)*(-20)/6. Is 6 a factor of (-100)/(6 - x - 24/9)?
True
Suppose -2*z = -3*z + 4. Suppose -4*a = -s + 244, z*a = -a - 5. Does 15 divide s?
True
Let h(x) = -3*x + 3*x + 13*x + 6*x - 4*x - 5. Let v(w) = -3*w**3 - w**2 - w - 1. Let n be v(-1). Does 18 divide h(n)?
False
Suppose -150*p = -301273 - 238127. Is 8 a factor of p?
False
Let c = -5712 + 7216. Does 16 divide c?
True
Suppose -465*o - 42*o + 10519236 = 0. Is o a multiple of 21?
True
Suppose -110*t = -52*t - 54*t - 15120. Is t a multiple of 30?
True
Let r(l) = -3842*l - 9266. Does 7 divide r(-7)?
False
Is 153 a factor of (10 - -3) + 4 + 12223?
True
Suppose -4*f - 1423 = -32*y + 35*y, -4*y = f + 346. Let s = 278 - f. Does 40 divide s?
False
Suppose 3*v = -5*v. Suppose t - 12 = -3*r, v = r - 3*t - 10 - 4. Suppose -4*z - 7*d + 25 = -2*d, -15 = -3*z - r*d. Is 10 a factor of z?
True
Let z(x) = x**3 + 25*x**2 + x + 30. Let q be z(-25). Suppose -q*n = -5*h - 240, -8*n - 3*h + 71 = -6*n. Does 7 divide n?
False
Suppose 0 = -3*x + 5*x. Suppose -k + 4 = -x*k. Suppose 0 = -k*v + 15 + 33. Does 12 divide v?
True
Let d(r) = 2*r**2 + 5*r - 3. Let h = 37 + -41. Let o be d(h). Suppose -2*w - w - o = -5*a, -4*w + 8 = 0. Does 2 divide a?
False
Let p be (-20)/(-170) + (-914)/(-34) + -1. Let w = 10 + p. Is w a multiple of 4?
True
Suppose -116584 - 72338 = -23*l. Is 18 a factor of l?
False
Suppose 2*m - 4*m + 24 = 0. Let w = m + -1. Suppose 0 = -w*g + 14*g - 15. Is g even?
False
Let q = 3885 - -12868. Is q a multiple of 20?
False
Let s = 78 - 75. Suppose s*p + 16 = 5*b, 4*b = -2 + 22. Suppose 266 = p*y + 32. Is 14 a factor of y?
False
Let t(u) = 165*u - 41. Let f(g) = -14*g - 64. Let v be f(-5). Does 13 divide t(v)?
True
Is 7/(-42) - 253373/(-174) a multiple of 16?
True
Suppose -4*p - p - g - 17 = 0, -8 = 4*g. Does 16 divide 51 - (-4)/p*(-81)/(-36)?
True
Suppose -2*h = -f - 6*h + 24, -h = 2*f - 20. Suppose f*j + 989 = 293. Is 12 a factor of j/(-2)*(6 - 4)?
False
Let f(h) = -2*h + 22. Suppose 32 = -9*d + 13*d. Does 2 divide f(d)?
True
Let w = -10717 - -17257. Does 218 divide w?
True
Suppose -5*m = -0*o - 2*o - 40, 4*m - 5*o = 32. Suppose 0 = m*l + 5*l - 5*l. Suppose -5*g + 744 = -v, l = 2*g - 4*v + 78 - 372. Is g a multiple of 19?
False
Let u(v) be the first derivative of -337*v**2/2 - 38*v + 184. Does 13 divide u(-1)?
True
Let y(f) = 56*f**3 + 19*f**2 - 4*f - 235. Is 10 a factor of y(7)?
False
Suppose 0 = -39*n + 36*n - 750. Let g = 265 - n. Is 83 a factor of g?
False
Let t(l) = l**3 + 31*l**2 + 17*l + 260. Is 101 a factor of t(-22)?
True
Let z(b) = -5*b**3 - 17*b**2 + 13*b - 192. Is z(-14) a multiple of 7?
False
Let u = 1168 - -271. Does 71 divide u?
False
Let o be (-5)/(40/16) + -1996. Let x = o + 3038. Is x a multiple of 40?
True
Let b be (4 - (0 + 6)) + 2. Suppose b*g - 4*s = 5*g - 2, 3*s = -g - 4. Suppose 3*a = 3*u + 69, 0*a = -g*a - u + 31. Is a a multiple of 6?
True
Let k(j) = -j**2 + 41*j - 56. Let d(b) be the second derivative of 16*b**3/3 + 21*b. Let s be d(1). Is 18 a factor of k(s)?
False
Let h(u) = -u**2 - u + 11. Let i be h(4). Let t = i - -13. Suppose 3*s - t*s = -65. Is s a multiple of 13?
True
Suppose 4895 = w + 4*o, -27887 + 3412 = -5*w + 5*o. Is w a multiple of 89?
True
Let m(u) = -27*u - 1090. Let c be m(-41). Let d be ((-18)/(-8))/((-1)/4). Let b = c - d. Is 8 a factor of b?
False
Let u(m) = -3*m**2 - 37*m + 26. Let v be u(-13). Suppose v = -9*g + 3837 - 57. Does 12 divide g?
True
Let t = 6654 + -153. Is t a multiple of 106?
False
Let k = 5493 + 19323. Does 141 divide k?
True
Suppose 0 = -4*t - 2*c + 12, -16*t + 14*t + 3*c = -22. Does 13 divide 1 + t + 0 + 241?
True
Let f(v) = 100*v + 7. Suppose -2*b + 10 = -0*b. Does 27 divide f(b)?
False
Let b(q) = q**2 - 138. Let n be b(12). Let v(d) = d**3 - d**2 + 32*d - 5. Does 21 divide v(n)?
False
Let f = -47 - -49. Suppose 0 = -f*i + 151 + 221. Let x = i - 73. Does 11 divide x?
False
Let d be (10/(-30))/((-2)/48). Suppose r + 3*r - d = 0. Suppose -3*n - r*n = -315. Is 21 a factor of n?
True
Suppose 0 = -447*v + 450*v - 12. Suppose -v*u + 74 + 90 = 3*d, -178 = -5*u + 3*d. Is u a multiple of 16?
False
Let j(i) = -615*i**3 + 2*i**2 + i. Let v be j(-1). Suppose 30*o = 37*o - v. Does 4 divide o?
True
Let q(n) = n**2 + 62. Suppose -2*k - 3*s - 8 = -k, 3*k - 3*s - 36 = 0. Does 14 divide q(k)?
False
Suppose 0 = -5*a - 5*j + 245, -3*j + 43 = 4*a - 153. Suppose a*m - 4650 = 24*m. Is 13 a factor of m?
False
Let n(w) = -2*w**2 - 122*w - 6. Is n(-33) a multiple of 95?
False
Let m(y) = -8615*y - 423. Is m(-1) a multiple of 161?
False
Suppose 0 = -4*o - 5*f + 40158, 5*o + 5*f = 9*o - 40098. Does 44 divide o?
True
Suppose -40 + 190 = 75*p. Let a(s) = -80*s**3 - s**2 - 3*s + 2. Let i be a(2). Is ((-9)/18)/(p*3/i) a multiple of 6?
True
Let v be (-31)/(-9) - (-37 + 40) - 69/(-27). Let a be 2/5 + 24/(-10). Is 8 a factor of v + a/(-1) + 46?
False
Let s = -86 + 92. Let o(i) = 2*i - 13. Let q be o(s). Let l = q + 129. Does 32 divide l?
True
Let d(p) = -p**3 - 3*p**2 - 5*p - 13. Let v be d(-3). Suppose 5*y - 131 = v*z + 434, -4*y = -5*z - 469. Is y a multiple of 8?
False
Let b(g) = -g**3 + 85*g**2 - 230*g - 117. Does 51 divide b(81)?
True
Suppose -s = -5*s - 16, -w - 2*s - 243 = 0. Let k = w - -588. Is 21 a factor of k?
False
Suppose 119 = 73*t - 72*t. Suppose 5*l - 2*g = 123, 0 = 3*l - 7*g + 2*g - 89. Let r = t - l. Is r a multiple of 16?
True
Let o = -4225 - -6510. Suppose -o = -7*h - 150. Suppose 487 = 5*v + 3*n + n, -3*v = -4*n - h. Is v a multiple of 10?
False
Suppose 2*m = t - 7, -m - 4*m - 1 = 3*t. Suppose -x - 2 = -3*p, -4*x - 2*p - t*p + 60 = 0. Let q(n) = n**2 - 9*n + 20. Is 30 a factor of q(x)?
True
Suppose 12339*i - 44096 = 12331*i. Is 106 a factor of i?
True
Suppose -40 = -2*d - d + 4*r, 3*r = -12. Suppose 0 = d*n - 12*n + 20. Suppose -7*l + n*l + 298 = 0. Is l a multiple of 17?
False
Let c = -69 - -100. Let b = 74 - c. Is b a multiple of 4?
False
Let h = 21 + 2091. Is 44 a factor of h?
True
Suppose -i + 53 = -3*p, -3*i - 2*p = -2*i - 33. Let y = i - 45. Let d(r) = 2*r**2 + 8. Does 13 divide d(y)?
False
Let c be 87 + (-4 - (-1 + -4)). Let p = c - 74. Let a = 41 - p. Is 4 a factor of a?
False
Let d(y) = 268*y**2 + 4486*y - 12. Is 100 a factor of d(5)?
False
Let c = 200 + -290. Is ((-339)/27)/(10/c) a multiple of 2?
False
Let i = 267 + -264. Suppose 4*r - 1228 = -2*j, -2*j - i*r = -0*j - 1232. Is 61 a factor of j?
False
Suppose u - 4 = -2*i, i - 2*u + 8 = -i. Suppose i = -10*g + 11*g - 394. Does 22 divide g?
False
Let c(g) = 1070*g**2 - 79*g - 386. Is c(-6) a multiple of 152?
True
Let t = -231 + 236. Suppose 5*v = 5*z + 947 - 47, t*v - 850 = -5*z. Does 7 divide v?
True
Let g = 9 - 47. Let n = g - -38. Does 2 divide ((-16)/10 + n)*-10?
True
Let n be 4 + (2 - (3 - -3)). Let q be 3752/98 + (-2)/7. Is 19 a factor of q + n*(-1)/(-2)?
True
Let l(y) = 396*y**3 + 7*y**2 + 33*y - 125. Does 19 divide l(3)?
False
Suppose 0 = 3*l + 4*b - 1619, -9*b + 10*b - 1631 = -3*l. Is 17 a factor of l?
False
Suppose 0*b = -3*b + 6. Suppose 0 = 4*y - 9*y + 25, -10 = -3*o - b*y. Is (-11)/((9 - 8)/(-1 - o)) a multiple of 6?
False
Suppose 84*j - 108503 - 136105 = 0. Is j a multiple of 14?
True
Let m(h) = 641*h**2 + 9*h + 12. Is m(4) a multiple of 43?
False
Suppose 0 = -0*u + u - 58. Suppose j = 34 + u. Suppose l - 141 = 5*q, 5*q - 59 = -l + j. Does 12 divide l?
False
Let b = 49526 - 29184. Does 130 divide b?
False
Let h = 4387 - 2511. Is h a multiple of 8?
False
Let n(c) = -c**2 - 2*c + 681. Does 3 divide n(-11)?
True
Suppose 12*y + 3 = -57. Let o(i) = 91*i**2 + 10 + 93*i**2 - 189*i**2 - 2*i - i**3. Is 2 a factor of o(y)?
True
Let o = -27934 + 47240. Does 14 divide o?
True
Let m = 4917 + -1324. Is m a multiple of 54?
False
Suppose 0 = -5*g + 4*z + 8, 2*g = 5*g - 2*z - 4. Suppose g*r = 5*r - 25. Suppose -5*n - 255 = -r*m - 6*n, 30 = m - 4*n. Does 23 divide m?
False
Let x be ((-780)/182)/((-3)/(-14)). Is 40/(-32)*5/(x/64) a multiple of 2?
True
Suppose 0 = -o - 5*o + 6947 + 6049. Is o a multiple of 19?
True
Suppose 7*p + 5*m = 2*p - 90, m = -2*p - 34. Let c(l) = 15*l**2 + 2 - 15*l + 5*l - 7*l - l**3 + 2*l**3. Does 18 divide c(p)?
True
Let y(o) = 27*o**2 - 43*o + 12. Is 121 a factor of y(6)?
True
Let k be (-10)/8 + 