- 4344. Does 76 divide h?
True
Let i(y) be the first derivative of -y**4 + y**3/3 + 3*y**2 + 33*y + 75. Is 25 a factor of i(-4)?
False
Suppose 0 = 4*v + 8, 4*z - 438 = -5*v + 20. Let c = z - -63. Suppose -7*b - c = -11*b. Does 5 divide b?
True
Suppose 244 = -0*l + l. Suppose -5*i + 61 = -2*w + 167, 2*i + l = 5*w. Is 6 a factor of w?
True
Let n be 2/15*-6*(1 + -6). Let h(s) = 18*s**2 + 3*s - 15. Is 25 a factor of h(n)?
False
Suppose 376*q - 277*q - 281853 = 0. Does 84 divide q?
False
Suppose -i - 22 = -w, 3*w + 86 = -4*i - i. Let a = i - -27. Suppose b + 280 = a*b. Is 10 a factor of b?
True
Let g(h) = -h**2 - 12*h - 18. Let r be g(-10). Suppose -3078 = -r*b + 5*u, -22*b + 3062 = -20*b - u. Is b a multiple of 62?
False
Suppose -218 = -2*m - 5*b, -2*m - 2*m + 412 = -2*b. Suppose -2*j = m + 54. Let g = j - -109. Is 2 a factor of g?
True
Suppose -9*d - 2*d = -99. Let x(u) = -5 + 30 + 4*u - 18*u + d*u. Is 5 a factor of x(-4)?
True
Let p be 13*37 + 5*6/30. Suppose -3*y - 68 = -p. Is y a multiple of 19?
False
Let z(c) = -c**3 - 127*c**2 - 187*c - 162. Is z(-126) a multiple of 38?
True
Let a = 85 + -46. Let d = 44 - a. Suppose -d*r + 888 - 153 = 0. Is 25 a factor of r?
False
Suppose -20 = -4*b + k - 1, b - 26 = -4*k. Suppose -24 = b*p - 8*p. Is 12 a factor of p?
True
Let h = -833 + 833. Suppose h = 4*p - 4, 5*i + 3*p = 11538 - 2320. Is 51 a factor of i?
False
Let y = 643 + -514. Does 6 divide (-14)/(-63) - 38*y/(-54)?
False
Let o(q) = 19*q - 225. Is o(107) a multiple of 25?
False
Suppose -33*z - 125 = -32*z. Let l = 290 + z. Is 15 a factor of l?
True
Suppose -143*h = -101791 - 40065. Is 32 a factor of h?
True
Let h be -4 - -2 - (-1 + (-1 - 2)). Suppose -4*u - 4*s = 348, 0*s + s = h*u + 177. Is (u/5)/(2*(-1)/20) a multiple of 31?
False
Suppose -19 + 22 = -3*b. Let k(m) = -402*m**3 - 6*m**2 - 4*m. Is k(b) a multiple of 20?
True
Suppose -31 = 51*z - 52*z. Suppose 0 = 29*r - z*r + 374. Is 22 a factor of r?
False
Suppose 3*l = 2*l - 2*i + 4, -3*i = -3. Suppose 5*r - c = 9, 3 = r - c + l*c. Suppose -r*j - 3*x = -7*j + 1650, -353 = -j - 4*x. Is 47 a factor of j?
False
Let y = -7129 + 7593. Is y a multiple of 8?
True
Suppose 31*z - 35*z = 3*f + 3, -f - 6 = 3*z. Suppose -3*l = -6, 3*l + 434 = -4*n - 120. Let j = f - n. Does 19 divide j?
False
Suppose 3*h - 2*h = -5. Let i be (-2 - 651/15)*h. Suppose -2*r - 286 = -5*o, 4*o + 2*r - i = 3*r. Is o a multiple of 14?
True
Let y = -240 + 261. Let a(c) = -c**3 + 21*c**2 + 21*c - 1. Is 37 a factor of a(y)?
False
Let u(r) = 15*r**3 + 4*r**2 + 2*r + 2. Let h be u(-3). Let x = 195 + -408. Let g = x - h. Is 32 a factor of g?
True
Suppose 30*t = 37*t - 1575. Suppose 4*j = 2*a - 252, -9*a + t = -7*a + 5*j. Is a a multiple of 8?
True
Suppose b = 3*m - 20, -5*m + 11*b = 8*b - 40. Suppose 1174 = m*n + 4*a, n = 6*n + 2*a - 1182. Does 17 divide n?
True
Suppose -13*o + 28*o = 75. Suppose -341 = -l + 3*p, -341 = l - 2*l - o*p. Is 32 a factor of l?
False
Is 44 a factor of (-8888 + 2)*((-9)/11 - (-104)/(-572))?
False
Suppose -29*s + 16*s - 26 = 0. Is 17 a factor of ((-167)/s)/((-44)/8 + 6)?
False
Let h(m) = 22*m + 12 - 253*m**2 + 145*m**2 + 47 + 124*m**2. Does 13 divide h(-9)?
True
Suppose 0 = -5*r - 2*r. Suppose r = 4*m - 19 - 69. Let x = m + -19. Does 3 divide x?
True
Let j be -52 + 51 - 5/((-15)/18). Suppose 5*d + s - 8702 = -s, 0 = 2*d + j*s - 3485. Is d a multiple of 12?
True
Does 20 divide -6 + 17/(680/25968)*5?
True
Suppose 2*y + 5 = 5*i, 1 = -y + 5*i - 9. Suppose k = 2*g + y, -g + 5 = -0*k + 2*k. Suppose 5*p + 3*s = 2*s + 101, k*p - 67 = s. Does 21 divide p?
True
Let j = 11508 - 1504. Is 119 a factor of j?
False
Let a(d) = d**2 - 20*d + 6. Let i be a(20). Let r be (344/(-16) + 1/(-2))/(-2). Is 8/i - (-7)/3*r a multiple of 9?
True
Let g(w) = 3*w**2 - 13*w - 52. Let s be g(12). Suppose -d = 4 - s. Does 22 divide d?
True
Is (635 + (16 - 7))*36 a multiple of 138?
True
Suppose 533*n - 535*n + m = -27502, 20 = 5*m. Is 67 a factor of n?
False
Let n(h) be the first derivative of 50*h**2 - 4*h - 20. Is n(1) a multiple of 16?
True
Let n = -3841 + 6920. Is n a multiple of 74?
False
Suppose 8*v = 3*v + 15. Suppose -5*h + 2*f + 20 = -v*f, -5*f + 4 = 3*h. Suppose -3*x + 259 = 2*d - 0*x, h*x + 134 = d. Is d a multiple of 34?
False
Let y(c) = 5 + c - 18*c**2 + 19*c**2 + 32 + 17*c. Let s be y(-17). Does 25 divide (-55*(-1)/(-4))/((-1)/s)?
True
Let z(s) = 2*s**3 + 2*s**2 - s - 1. Let c be z(1). Suppose 5*w = -2*b + 881, -c*w - 2225 = -5*b - 7*w. Is b a multiple of 14?
True
Let k be (-2)/8 + (-18)/(-8). Suppose 3*r - 755 - 122 = -q, 0 = -r - k*q + 284. Suppose 5*b = -b + r. Is b a multiple of 7?
True
Let k = 3 - 0. Let h(f) = f**3 + 3*f**2 + f + 3. Let s be h(-3). Suppose t + n - 30 = 0, -k*n + s*n - 65 = -2*t. Is t a multiple of 16?
False
Suppose 35*l = 38*l. Suppose 13*y - 12*y - 385 = l. Does 77 divide y?
True
Let z(c) = -c**3 - 37*c**2 - 156*c - 64. Does 2 divide z(-35)?
True
Is 91 a factor of 14857 + 1 + (64/(-10))/(336/(-420))?
False
Let a = -2756 - -25949. Is a a multiple of 20?
False
Suppose -32*m + 18966 + 101994 = 0. Is 14 a factor of m?
True
Let l = 309 + -333. Let v = l + 51. Is 6 a factor of v?
False
Let q(f) = -f. Let l(n) = 7*n - 18. Let z(m) = 2*l(m) + 10*q(m). Let h be z(23). Is (h/70)/(2/115) a multiple of 13?
False
Suppose 3*k - r - 9 = 0, -5*k = -9*k - r + 12. Suppose 14*p = 11*p + 15, 5*d = k*p + 2885. Is d a multiple of 29?
True
Suppose 43*s + 11000 = i + 41*s, s + 33005 = 3*i. Is 31 a factor of i?
False
Suppose -6*g = -13391 - 5747 - 23912. Does 25 divide g?
True
Suppose 11*d - 70796 = 218636. Does 258 divide d?
False
Suppose 0 = -k - k, -3*k + 56 = 2*q - 3002. Is q even?
False
Let o = -51 + 54. Suppose 3*b = -o*v + 4*v + 16, -4*v - 12 = b. Suppose -75 = -5*t - 3*r + 8*r, -2*r - 62 = -b*t. Is t a multiple of 3?
False
Suppose -97 = 5*m + 8. Let l be 13*3*(-154)/m. Suppose 0 = -5*b + l + 44. Is 11 a factor of b?
True
Suppose -8*q + 1 = -7*q. Let v be q/1 - (-10 + 5). Is 15 a factor of 1959/v - 3/(-2)?
False
Is 5 a factor of 15/(-4)*(2232/(-54) - -17)*4?
True
Let y be -4 + 1*6*42/36. Let t be (2 - -14)/(2/48). Suppose 2*l = 4*v - t, -3*v = -y*l - l - 293. Does 19 divide v?
True
Let k(v) = -v**2 + 6*v. Let i be k(0). Is 17 a factor of (80/(-6) + i)*(288 + -312)?
False
Let c = 2216 + -2216. Let y = 4 - 2. Suppose -5*h + c*h - 144 = -y*w, 206 = 3*w - 5*h. Is w a multiple of 13?
False
Suppose 0 = r - b - 14362, 0 = -125*b + 120*b - 35. Does 33 divide r?
True
Suppose 10*q - 9391 + 1840 = 37449. Does 45 divide q?
True
Let v be ((-4)/13)/2 - (-1720)/26. Suppose 0 - v = -3*w + 3*f, 64 = 3*w - 4*f. Is 6 a factor of w?
True
Suppose -g - 11 = -17. Let y(o) = -o**2 + 5*o + 9. Let v be y(g). Does 11 divide (2 + -3)/(v*(-1)/231)?
True
Is 85 a factor of ((-31)/(-2))/((-80)/(-40800))?
True
Suppose 9*s = -3229 + 10627. Let r = 135 + s. Is r a multiple of 33?
True
Let t(a) = -45*a - 80. Let b be t(-9). Is 19 a factor of b + (9/3 - 5)?
True
Suppose 0 = 5*h - 2*a - 170, 3*a = 8*a. Let m = h + 142. Does 11 divide m?
True
Let v(s) = -10 + 2*s + 4*s**2 + s - 53*s**3 + 26*s**3 + 28*s**3. Let n be v(-6). Let a = -38 - n. Does 5 divide a?
False
Let w = -194 + 195. Is (10/((-80)/244))/(w/(-2)) a multiple of 18?
False
Let j(l) be the third derivative of l**5/20 - l**4/3 - 23*l**3/6 - 19*l**2. Let s(b) = b**2 - 1. Let x(z) = -j(z) + 4*s(z). Is 7 a factor of x(-9)?
True
Let m(i) be the third derivative of i**6/60 + i**5/4 + 5*i**4/24 + 5*i**3/3 + 108*i**2. Does 6 divide m(-7)?
True
Suppose 11*m = 10*m + 4. Let t(c) = 45*c + 39. Is t(m) a multiple of 9?
False
Let u(p) = p**3 + 9*p**2 + 3*p - 12. Let v(s) = s**3 + 8*s**2 + 2*s - 12. Let l(g) = -2*u(g) + 3*v(g). Is 14 a factor of l(-4)?
False
Suppose -2870 = 4*h - 11*h. Let f = -507 + 293. Let n = h + f. Is 14 a factor of n?
True
Does 20 divide 356 + 5 - (-1)/8*-8?
True
Suppose 2*l + l = -3*d + 501, 0 = 2*d + 3*l - 339. Suppose d = 5*u + u. Suppose -u = m - 121. Is 8 a factor of m?
False
Is ((-5400)/(-40))/(-5 + 476/95) a multiple of 25?
True
Let m(h) = -6*h + 22. Suppose -5*x = -5*f - 40, x + 2*f = -6 - 1. Let y be m(x). Suppose -g = 4*g - 3*q - 426, -y*g + q + 345 = 0. Is g a multiple of 8?
False
Suppose 0 = 10*l + 5*l - 1125. Let g = 10 - 7. Suppose -l = -g*q - b, 2*q = q + 5*b + 41. Is 13 a factor o