 50 a factor of h?
False
Suppose 10*h - 16 = 6*h. Suppose -4*l + 791 = 5*n - 2*l, -l = -h*n + 625. Is 3 a factor of n?
False
Suppose 0 = 5*c - 15, 16*h + 1002 = 20*h - 2*c. Is h a multiple of 5?
False
Let q(a) = 177*a - 344*a + 165*a + 6*a**2 + 3*a**3 - 8. Is q(5) a multiple of 48?
False
Suppose -5*g = 6 - 36, 39812 = f - 2*g. Is 131 a factor of f?
True
Let i(d) = 272*d**3 - 2*d**2 - 425*d + 1264. Does 35 divide i(3)?
True
Let s(f) = -f**2 - 12*f + 11. Let n be s(-11). Suppose 3*d - d - n = -4*b, -5*b - 3*d = -28. Is 9 a factor of (18/b)/(11/55)?
True
Is 5 a factor of 15*9/(-27) - -12*415?
True
Suppose 11445 = z + q, 16294 = 3*z - q - 18013. Does 86 divide z?
True
Suppose -4*a = 4*s + 44, -79 + 28 = 5*a + 4*s. Let b(n) = -55*n - 33. Let c be b(a). Suppose -5*k + 2*x + c = 0, x - 2 = 3*x. Is 10 a factor of k?
True
Let f = 4705 + -1480. Is f a multiple of 7?
False
Let w be ((-2)/(-4))/(13/(-11648)). Let a be (-2)/((-2)/w*-2). Suppose -3*f = 2*q - 0*f - 112, -4*q + a = f. Does 28 divide q?
True
Let w = -8109 + 9054. Is w a multiple of 9?
True
Suppose 0*k + 2*k + 33 = 5*n, 4*n = -k - 36. Let h be (-6)/k + 638/8. Suppose -p + 3 = 0, -h = 4*y + 2*p - 494. Is 17 a factor of y?
True
Let a = 194 + -193. Is 35 a factor of -4 + a*(40 + -5 + 4)?
True
Does 15 divide 2 + 0/(-4) - (28 - 946)?
False
Let k(s) = -7*s**3 + 9*s**2 - 12*s + 32. Let j be k(6). Let b = 1820 + j. Is b a multiple of 16?
True
Suppose -9 = -3*t + 12. Suppose -31*o = t*o - 44194. Does 93 divide o?
False
Let f(p) = -30 - 19*p + 11*p + 11*p. Is f(16) even?
True
Let h be ((-20)/3)/(-4 - 5128/(-1284)). Suppose -p = 3*z - h - 1719, 2809 = 3*z + 5*p. Is 58 a factor of z?
True
Let v = 1635 - 2292. Let j = -628 - v. Is 6 a factor of j?
False
Let t = 44904 + -27968. Is 29 a factor of t?
True
Does 125 divide 5480 + (-48)/8 - (-3 - (2 - 0))?
False
Suppose -6*r + 60 = 4*r. Suppose -4*c + r = -h - 11, 0 = -h - 1. Suppose 7*x - 3*x = c*l + 80, 3*x = -l + 64. Is x a multiple of 7?
True
Suppose 3*u + 2*d - 452 = -145, 0 = -4*u - 2*d + 412. Let k = u + -51. Is 3 a factor of k?
True
Suppose 5*y - 4*a - 39 = 0, 3*y - 3*a + 0*a = 24. Suppose 0 = -y*z + 51 + 1419. Does 10 divide z?
True
Suppose -66*j + 97*j = 1457. Let t be 686 + -2 + (-2 - -2). Suppose t = -j*g + 51*g. Is 9 a factor of g?
True
Let d(k) = -47*k + 103*k - 57*k + 2*k**2 - 9 + 2*k**3. Is 26 a factor of d(5)?
True
Let h(t) = 161*t**3 - t**2 + 2*t - 2. Let y be h(1). Suppose c = 3*k + 513, -2*k - 182 - y = -4*c. Let f = -65 - k. Is 10 a factor of f?
False
Does 4 divide 1602 + 30/(-3) + 11?
False
Let g be (-13)/((-26)/28)*6/7. Suppose -4*z + g + 12 = 0. Let c = z - 1. Is c even?
False
Suppose -3*r = m - 849, -r + 283 = -0*r - 4*m. Let g be 1 - (-12)/(-10) - (-14976)/80. Let k = r - g. Is k a multiple of 16?
True
Suppose -97 + 1362 = -5*f. Let c = 352 + f. Does 11 divide c?
True
Let a(h) = -2*h**3 - 30*h**2 - 1313*h - 63. Is a(-23) a multiple of 200?
True
Is 73830/16 + 222/(-592) a multiple of 58?
False
Let n(p) = p**2 - 7*p - 39. Let x be n(26). Suppose 0*j + 5*d = -5*j + 455, 2*d - x = -5*j. Is 3 a factor of j?
False
Let i(z) = -z**2 - 16*z - 9. Let r be i(-13). Is 10 a factor of (-20)/r*1860/(-8)?
False
Let r(k) = -9*k**2 + 205*k + 63. Does 31 divide r(22)?
True
Suppose -8*o - 5608 = -26040. Suppose -12*r = -o - 4238. Does 9 divide r?
False
Let u(g) = 8*g - 6. Let m be u(1). Suppose 4*v - 3*b - 10 = 0, 0 = 2*v + m*b + 2*b - 16. Suppose -175 = -3*o - v*o. Is 16 a factor of o?
False
Let g = -43 + 45. Suppose 3*w + 5*c - g = 4*w, 2*w - c = 5. Is (105 - (-1 + w)) + (0 - 1) a multiple of 17?
True
Is ((5/(-10))/(3/906))/((-2)/152) a multiple of 12?
False
Let d(j) = 175*j - 3. Let m be d(3). Suppose -f + m - 28 = 0. Suppose 3*u + 2*u = 2*l - 346, 3*l = -5*u + f. Does 42 divide l?
True
Let a(w) = 29*w + 6 + 4*w**2 - 5*w**2 - 5 - 35. Does 9 divide a(25)?
False
Let m(w) = w**3 + 9*w**2 - 18*w - 425 - 429 + 861. Is 13 a factor of m(-9)?
True
Let n(x) = -x**2 + 3*x + 4. Let b be n(4). Suppose 11*d + 2*d - 130 = b. Suppose d*f - 254 - 76 = 0. Is f a multiple of 5?
False
Suppose 8*d - 10*d = -3*j - 27623, -j = -5*d + 69077. Is 187 a factor of d?
False
Let g = -60517 + 104249. Is 24 a factor of g?
False
Let g be 4/((-9)/((-189)/(-28))). Is 44 - (-3 - -2) - (1 + g) even?
False
Let s(b) = -b**2 + 10*b - 14. Let k be s(8). Let r(o) = o**2 - 3*o - 6. Let p be r(-4). Suppose -k*n = -0*n - p. Does 8 divide n?
False
Let n = 100 - 139. Let i = -33 - n. Is i a multiple of 3?
True
Let w(o) = -o**3 - 22*o**2 - 71*o + 30. Let y be w(-18). Let c(n) = 47*n + 60. Is 46 a factor of c(y)?
False
Let i = 78 + -75. Suppose 5*o + 5*y = 442 + 553, -5*o + i*y = -971. Is o a multiple of 7?
True
Let l be 1/4*-4 - (-1968 - 1). Suppose 2*f + 39*f = l. Is f a multiple of 3?
True
Suppose 151691 = 30*o - 681499. Does 103 divide o?
False
Let u(t) = 1206*t**2 + 13*t - 159. Does 7 divide u(-4)?
False
Is 16 a factor of (-26342)/(-2) - (230 - 230)?
False
Let v(t) = -740*t + 890. Is 10 a factor of v(-2)?
True
Let r be (-2 + 3)/((-5)/(-15)). Suppose r*n - 87 = 3*y, 5*n - 103 - 30 = y. Is n a multiple of 4?
False
Let o(m) be the second derivative of m**4/6 + 26*m**2 - 23*m - 2. Is 12 a factor of o(10)?
True
Let i(z) be the second derivative of z**4/12 - 4*z**3/3 + 15*z**2/2 + 24*z. Let l be i(3). Suppose l = 6*f - 13*f + 1309. Is f a multiple of 17?
True
Let t = 62 - 60. Suppose 0 = 2*v + 4*y - 310, t*y - 308 = -2*v + 2. Is 31 a factor of v?
True
Let c be (-6 + 51/9)*-9 + 0. Suppose 4*k = 5*w - 893, 352 + 200 = c*w + 3*k. Is w a multiple of 18?
False
Is 35 a factor of ((-302)/(-10))/(185/46250)?
False
Let r(j) be the first derivative of 3/2*j**2 - 15 - 6*j + 13/3*j**3. Is 31 a factor of r(3)?
False
Suppose 0 = -19*u + 25*u - 37152. Suppose 6*b + 18*b = u. Does 43 divide b?
True
Let b = -8044 - -9948. Is b a multiple of 28?
True
Let o be (-900)/27 - 2/3. Suppose -8*c + 22*c = 728. Let g = o + c. Is g a multiple of 11?
False
Let d(y) = 2*y**2 + 6*y - 81. Let n be d(5). Is ((-6840)/70)/6*(-92 - n) a multiple of 13?
True
Suppose 3*z - 4 = -4*n - 25, -3 = -2*n + 3*z. Suppose 0 = 79*d - 105*d + 364. Is n + (d/(-6))/((-5)/135) a multiple of 36?
False
Suppose -2*y + 7*b - 5*b = -1286, -b = 2*y - 1280. Suppose -y = -5*j + 359. Does 20 divide j?
True
Let n(p) = 1568*p**2 + 4*p + 7. Is 33 a factor of n(-6)?
False
Let l(d) = 6*d**3 - 8*d**2 + 67. Let o(s) = -5*s**3 + 7*s**2 - 67. Let p(t) = -6*l(t) - 7*o(t). Let x be p(0). Suppose -58 - x = -f. Is 25 a factor of f?
True
Suppose -2*r = 2*s - 281 - 93, 0 = -5*s - 4*r + 940. Let x = s + -72. Suppose -x = -14*n + 9*n. Is n a multiple of 8?
True
Suppose 0 = -127*x + 1027989 + 758266. Is 78 a factor of x?
False
Suppose 0 = 5*n + 2450 + 400. Let j = n - -1011. Is j a multiple of 63?
True
Suppose 8 = -4*h - 4*w - 0*w, -8 = 2*w. Suppose -15 = -5*y + 5*t, 5*y - h*t + 1 - 25 = 0. Is 6 a factor of y?
True
Let t be 181 + ((-36)/(-6) - 7)*0. Let n = t - 7. Is 29 a factor of n?
True
Let d(z) = z**2 - z - 3. Let g be d(-2). Suppose 177 + 12 = g*s. Is (s + 1)/(12 - 11) a multiple of 8?
True
Suppose 0 = -3*f + 4*f - 146. Let k = 88 - f. Does 14 divide (-11 + 2)/(3 - (-177)/k)?
False
Suppose -9*r + 6*r - 423 = 0. Let d = 55 + r. Let o = 92 + d. Is 3 a factor of o?
True
Suppose 5*z - 24935 = -5*l, 19*l - 3*z + 4975 = 20*l. Is l a multiple of 16?
False
Suppose -6*s = 3*s + 9*s - 48960. Is s a multiple of 80?
True
Suppose 31*q - 104515 = 165092. Is 30 a factor of q?
False
Let x be (0/(-3))/(8 + -4 + -7). Suppose x = -n - 12*n + 4446. Does 57 divide n?
True
Suppose 4*r = g + 4 - 106, 3*g - 3*r - 297 = 0. Suppose 3*o - 4*w = 189 + 105, o - g = -5*w. Is o a multiple of 7?
True
Does 116 divide ((-144)/81)/(-8) - (-671306)/18?
False
Suppose 343*f - 32907 = -2*s + 338*f, 49329 = 3*s - 3*f. Is s a multiple of 12?
False
Suppose 5*r - 3*d = 2*d + 50, -19 = -2*r + 3*d. Let m(u) = -27*u + r*u + 15*u + 5*u - 2. Does 4 divide m(2)?
False
Suppose 3*i + 570 = 4*i. Suppose 0 = -m + 4*l + 136, 0 = -7*m + 3*m + 3*l + i. Let c = m - -143. Is c a multiple of 41?
True
Is 13 a factor of 7485330/105 - 220/(-70)?
True
Let z = -10 + 52. Let v be ((-8)/14)/(70/(-1960)). Let g = z - v. Is 13 a factor of g?
True
Let q = -122 + 254. Suppose 4*p + 2*g = g + 9, p = g + 6. Suppose -t - 5*s = p*t - 87, -4*t 