x**2 + 69*x - 400. Does 3 divide c(-76)?
True
Suppose -2*u + o = -1016, -28*u + 5*o = -30*u + 1016. Is 4 a factor of u?
True
Let f be 20/(-8) + 4 + (-7047)/(-6). Suppose -22*r + 18*r = -f. Is 37 a factor of r?
False
Suppose 609*y = 156*y - 602870 + 2806715. Is y even?
False
Suppose 4*q - 4*c - 16 = 0, -3*c = 5*q - 2*c - 8. Suppose 4*h = -q*g + 1034, -2*h + 3*g + 0*g + 521 = 0. Is 37 a factor of h?
True
Suppose -3*u + 42808 = -2*z, 9*z + 19468 = 2*u - 9017. Does 78 divide u?
True
Let r = -79 + -10. Let z = 299 + r. Suppose -2*c - 3*c - 5*n + z = 0, -4*c + 2*n = -174. Is 6 a factor of c?
False
Let b(h) = -h**3 - 24*h**2 - 27*h - 576. Is b(-24) a multiple of 8?
True
Suppose -2*r - 84 = -3*b, 5 = -b - 5*r + 33. Suppose -24*w + b*w - 20 = 0. Suppose v = -w*v + 192. Does 19 divide v?
False
Suppose 26512 = -236*x + 246*x - 9888. Is x a multiple of 14?
True
Let h = 233 - 235. Let l(v) = 5*v**3 + 3*v - 2. Let d be l(2). Let x = h + d. Is x a multiple of 7?
True
Suppose 0 = 9*b - 916 + 377 - 1657. Is 8 a factor of b?
False
Let p(h) = 4*h - 87. Let u be p(21). Does 3 divide ((108/8)/3)/(u/(-6))?
True
Is 55 a factor of ((-7)/(21/30))/(19 + 3141330/(-165330))?
True
Let g be 10/(-5) + 1 + 3. Suppose 5*d - 2*f - 9 = 0, -262*d + 2*f - 18 = -266*d. Suppose 34 = v - g*z, 4*v + d*z - 75 = 2*v. Does 6 divide v?
True
Suppose 0 = 13*l - 107733 + 23129. Suppose -l - 12812 = -14*i. Does 69 divide i?
True
Let w = -79 + 44. Let p = w - -39. Suppose 4*g + 28 + 4 = p*b, g = 3. Does 9 divide b?
False
Let n be (-1 - -1)/(-1 + 2 + 3). Let o be (2 - -1 - 5) + n + -3. Let m(z) = -26*z + 20. Is 24 a factor of m(o)?
False
Suppose -y - 13 - 12 = 2*w, -4*w = 3*y + 45. Suppose -6*i + 87 = -10*i + v, -3*i + 2*v = 74. Is 32 a factor of -12*i/(-3)*24/w?
True
Let r(x) = -11 - 12 + 0 - 6*x + x. Let m = 11 - 26. Is r(m) a multiple of 8?
False
Suppose -2*o + 3*a + 10 = 0, 0 = 2*o - a - 9 + 3. Suppose -p = -3*p + o*k - 2, 6 = 2*k. Suppose 5*r + 2 - 247 = 5*f, -3*f - 93 = -p*r. Is r a multiple of 27?
True
Let v(x) = -4*x**2 - 10*x - 1 + 9*x + x + 5*x. Let b be v(2). Does 6 divide b + 10 - (-1 + -15)?
False
Suppose 12229 = 3*w - 5*o, -2*w + 97*o - 102*o = -8186. Does 42 divide w?
False
Suppose 23712*z = 23695*z + 58514. Does 16 divide z?
False
Suppose -2*y + 7 = -g, 15 = -y + 5*g - 4. Let q(i) = -2*i**2 + 14*i - 9. Let h be q(y). Suppose -4*s - 348 = -h*x, -2*s + s + 3 = 0. Is x a multiple of 24?
True
Suppose 6*y + 3*f - 268 = 5*y, -2*y = -4*f - 566. Let i = y + 131. Does 17 divide i?
True
Let q(i) = 14*i**2 - 12*i - 152 + 77 + 76. Is 23 a factor of q(-3)?
False
Let k(b) = 1288*b + 1063. Is k(25) a multiple of 62?
False
Let s(j) = j**3 + 7*j**2 + 22*j - 82. Is s(4) a multiple of 44?
False
Does 65 divide (-28150)/(-20)*(-40)/(-50)?
False
Let t = -190 - -685. Let l = -387 + t. Is 4 a factor of l?
True
Let t(m) = -693*m + 93. Does 12 divide t(-19)?
True
Let d(k) = 129*k**2 - 34*k + 116. Does 9 divide d(3)?
False
Let f(o) = -117*o + 115. Let p be f(-5). Suppose 1500 = 10*g + p. Does 4 divide g?
True
Let h be 1 + -4 - (4 + 10). Let v(j) = -j**3 - 14*j**2 + 24*j + 17. Let w be v(h). Let t = -223 + w. Is 23 a factor of t?
True
Let r = -22082 + 24541. Does 17 divide r?
False
Let j = -26 - -31. Suppose 3*t - 2*o - 7 = 0, 5*t + j*o - 11 = 9. Suppose 15 = 2*f + f, -t*f = -4*i + 181. Is i a multiple of 13?
False
Let y(x) = 1610*x**2 - 5*x - 52. Is 149 a factor of y(-3)?
True
Let w = -3328 + 1991. Let h = -824 - w. Is h a multiple of 57?
True
Is -39*(-24376)/55 - (-12)/10 a multiple of 15?
False
Is 7 a factor of (-1 - -305) + (29 - (7 + 17))?
False
Suppose 92 = -50*w + 51*w. Let i = -88 + w. Is 6 a factor of (162/i + 2)*(-36)/(-30)?
False
Let t = 389 + -385. Suppose t*v - 595 = 505. Is 8 a factor of v?
False
Suppose 11*x + 108 = 8*x. Is 4 a factor of (66/9)/((-6)/x)?
True
Let o be (-69)/(-6) - (-6)/(-12). Suppose o*y + 40 = y. Let w(p) = -p**3 - 3*p**2 - p - 8. Is 2 a factor of w(y)?
True
Suppose -11*h - 234 = 7*h. Let d(s) = s**2 + 5*s + 26. Is 7 a factor of d(h)?
False
Let y(g) = -6*g - 75. Let x be y(-12). Does 26 divide 11/(-33) + 1 + (-154)/x?
True
Let n(k) = -2*k + 32. Let x be n(16). Suppose x*z + 861 = 7*z. Is 3 a factor of z?
True
Let n(t) = -7*t - 4. Let m be n(-1). Suppose 0 = -3*k - 4*f - 0*f + 13, -58 = -m*k + 5*f. Let u(w) = -2*w**3 + 22*w**2 + 4*w + 7. Is 17 a factor of u(k)?
True
Suppose 24*x = 43*x - 176130. Is x a multiple of 9?
True
Suppose -5*z + 18 = -3*y, -4*y + 2*z = 286 - 290. Suppose 4*q = w - 2, 2*w + 3*q - 6 = -w. Is (-1 - 3 - w)*(-74)/y a multiple of 13?
False
Suppose -252 = -38*t + 24*t. Let r be 31/(-1 + 2) - 1. Let b = r - t. Is b a multiple of 2?
True
Let y = 95 - 56. Let b(o) = -31*o - 1607. Let p be b(-52). Suppose p*n - 71 = -3*q, -2*q - 4*n + y = n. Is q a multiple of 9?
False
Let y(a) = -a**2 + 11*a - 8. Let l be y(10). Suppose -l*h = -390 - 136. Is 26 a factor of h?
False
Suppose -2*o = 2*s - 16, 4*s = -4*o + 6*o + 8. Suppose 4*n - 3596 = 21*r - 25*r, -5*n - s*r = -4492. Does 14 divide n?
True
Suppose -3 = -4*y + a - 8, a - 5 = 5*y. Suppose 0 = b - 4, y*i - i + b = -74. Is i a multiple of 6?
True
Let c = -58 + 60. Suppose 0*z - c*z + 22 = j, -100 = -5*j - 5*z. Is 6 a factor of j/((-5)/(-10) - -1)?
True
Let n = -157 - -171. Let x(m) = 32*m - 87. Is 13 a factor of x(n)?
False
Let d(v) = 21*v**3 + 6*v**2 - 2*v - 1. Let b be d(3). Suppose 0 = -b*t + 621*t - 427. Is t a multiple of 61?
True
Let s(d) = 2*d - 18. Let a be s(6). Does 4 divide (18 - (-3 - -5))/(a/(-48))?
True
Let s(c) = c**2 - 31*c - 136. Let q be s(35). Suppose q*i - 2664 = -4*f + i, 3*i + 2640 = 4*f. Is 53 a factor of f?
False
Let i(n) be the second derivative of -n**5/10 - n**3/2 + 1271*n**2/2 + 200*n. Is 28 a factor of i(0)?
False
Let x = -80 + 74. Let b(z) = -24*z - 102. Does 5 divide b(x)?
False
Does 97 divide ((-4)/((-64)/(-84)))/(114/(-221160))?
True
Let v(h) = 444*h**2 - 2023*h - 10083. Does 44 divide v(-5)?
True
Does 8 divide 15/((-45)/(-16302)) + 40/(-20)?
True
Suppose 5*f + 10 = 0, l + 2*f + 0*f + 7 = 0. Let k be (-2)/(l/315*-6). Let h = 23 - k. Is 33 a factor of h?
False
Suppose -18*w = 32*w - 44600. Is w a multiple of 41?
False
Suppose 2*v + 0*v - 3*j - 468 = 0, j - 936 = -4*v. Let s be v - ((-2)/(-14) - 20/(-7)). Is 7 a factor of s/6 - (-4)/(-8) - -4?
True
Let c(z) = -z - 29. Let h(r) = 12*r + 159. Let i(b) = 6*c(b) + h(b). Suppose 4*m - 8 = 16. Is i(m) a multiple of 3?
True
Suppose 4*t - 198*y + 203*y - 5443 = 0, -2*t - 2*y + 2720 = 0. Is 59 a factor of t?
True
Let k(i) = 18*i**2 + 7*i - 29. Let q(w) = -2*w**2 + 12*w + 85. Let v be q(-4). Is 57 a factor of k(v)?
True
Suppose 4*c = p - 4255, -5*p = -3*c - 757 - 2447. Let q = c - -2229. Is 95 a factor of q?
False
Let y be 3/2 - 950/100. Let w be 4/(((-2)/12)/1). Does 12 divide (-2190)/w - 2/y*-1?
False
Let s be (1/3)/((-3)/(-9))*23. Suppose 5*y - s = -4*z, z + 0*y = -y + 5. Suppose -595 - 75 = -4*t - 3*a, z*t - 328 = 2*a. Is t a multiple of 14?
False
Let y(w) = 23*w**2. Let p be y(-1). Let m(d) be the first derivative of d**3/3 - 19*d**2/2 - 26*d - 46. Does 20 divide m(p)?
False
Suppose 0 = x + 5*v - 296, 3*x - 14*v = -16*v + 901. Let t = -49 + x. Is t a multiple of 21?
True
Is 9 a factor of (-10)/(-40)*(-5 + 33) + 2662?
False
Let w = 13043 + -8717. Does 79 divide w?
False
Suppose 0 = 153*p - 168*p + 24360. Is 29 a factor of p?
True
Let o = -7 - -7. Let d(v) be the first derivative of v**4/4 + v**3/3 + v**2/2 + 7*v - 96. Is d(o) a multiple of 4?
False
Let k = 463 + -233. Suppose 0 = -5*c + k + 30. Let o = c + -21. Is 12 a factor of o?
False
Suppose 69*r - 834735 = -150393. Is 12 a factor of r?
False
Let z = -16 + 30. Let m be (-75)/150 - 27/(-2). Suppose -150 = -z*g + m*g. Is g a multiple of 26?
False
Suppose 607*p - 611*p + 12728 = 5*c, 2*c = -p + 5093. Is 91 a factor of c?
True
Suppose -510*l + 498*l = -27588. Is l a multiple of 67?
False
Let z = 946 + -1345. Let x = 462 + z. Is 9 a factor of x?
True
Let m(t) = 79*t + 55. Let f be m(2). Suppose -14*p + f = -1705. Does 2 divide p?
False
Let c(d) be the third derivative of -d**5/60 - 5*d**4/6 - 41*d**3/3 - 9*d**2 + 2. Does 6 divide c(-10)?
True
Is (50/(-30))/(8/(-32568)) a multiple of 7?
False
Suppose -4*y + 6*p + 12 = 11*p, 0 = p. Suppose 3*n + 4*l = 391, -n - 7*l + y*l = -117. Is 19 a fa