4 + -998. Suppose -410 - z = -3*h. Is 12 a factor of h?
True
Let o = -279 - -392. Let n = -32 + o. Is n a multiple of 9?
True
Let g(q) = -q**2 - 94*q - 172. Does 43 divide g(-43)?
True
Suppose -2*m = n - 10, -29*n = -34*n - 3*m + 29. Suppose n*k + 1018 = -4*c + 3714, -2*c = -k - 1354. Is c a multiple of 42?
False
Let c = 0 + 0. Let d be 1*(c + -2)/(-1). Let k = 17 - d. Is 2 a factor of k?
False
Suppose 43904 = 4*v - 4*j, 0 = 2*v - 111*j + 112*j - 21940. Is 22 a factor of v?
False
Suppose 385629 + 112698 + 355548 = 15*u. Is 99 a factor of u?
True
Let p = 59 - 55. Suppose k + p*i + 7 = -6, k - 5*i - 14 = 0. Let v(h) = -64*h + 2. Is 11 a factor of v(k)?
True
Let z(q) = q**2 - 3*q - 5. Let n be z(5). Is (63/6 + (8 - n))*10 a multiple of 45?
True
Let v(u) = -39*u**3 + 33*u**2 + 254*u - 115. Does 221 divide v(-11)?
False
Let u(z) be the first derivative of -z**3/3 + 10*z**2 - 42*z - 64. Is u(7) a multiple of 19?
False
Is (19210 - 2/2) + (-1141 - -1137) a multiple of 23?
True
Let f = -81 - -131. Let i = f - 47. Is 6 a factor of (1 + 9/i)*4?
False
Is 90 a factor of 6/(-27) - (-3198230)/441?
False
Let r(n) = 42*n - 55. Let z(k) = 4*k + 97. Let h be z(-23). Is 5 a factor of r(h)?
True
Suppose 4*z = 2*w + 23412, 2*w + 17560 = 6*z - 3*z. Is 6 a factor of z?
False
Suppose 5*t + 41 = 266. Does 9 divide 4/10 - (-4887)/t?
False
Let h = 10070 + -3626. Is h a multiple of 38?
False
Suppose -4*u = 5*v - 70, -3*u - 3*v - 9 = -4*u. Let d be (-6)/15 - (-366)/u. Suppose -39 = -3*a + d. Is 5 a factor of a?
False
Is 208 a factor of ((-26)/3*-100)/(68/408)?
True
Suppose 0*s = -21*s + 168. Does 7 divide 9/((-72)/s) - 41/(-1)?
False
Let c(o) = o**3 + 29*o**2 + 30*o + 37. Let t be c(-28). Does 25 divide 4/(12/3417) - (t + 20)?
False
Suppose k + k = 12. Let h be 3 + (k/2 + -2)*-1. Suppose -q - 4*t = -h*q + 39, 2*q - 102 = 2*t. Does 4 divide q?
False
Suppose -3*o + 5*u + 173 = 0, -4*o + 2*u + 130 + 124 = 0. Let s = 61 - o. Let k(f) = 8*f**2 + 3*f - 3. Is k(s) a multiple of 26?
True
Suppose 22*k + 7*k - 1392 = 0. Suppose -j = 2*j + 48. Let n = j + k. Is 8 a factor of n?
True
Let y be (-3)/6*2*2 - -11. Suppose -y*l + 1092 = -312. Is l a multiple of 13?
True
Let c(r) = -r + 3. Suppose -3 = 25*h - 24*h. Let u(w) = -w + 1. Let m(g) = h*u(g) - 3*c(g). Does 12 divide m(8)?
True
Let d = -38 - -38. Suppose y - 146 - 259 = d. Does 15 divide y?
True
Does 21 divide (-22738)/((-7)/4 + 10 + 328/(-32))?
False
Let k(b) be the first derivative of 5*b**3 + 3*b**2 + 3*b + 8. Let z be k(-4). Suppose 4*f = 21 + z. Is 14 a factor of f?
False
Let i(a) = -6*a + 14. Let o(b) = -5*b + 20. Let x be (-20)/6*(-9)/6. Let t be o(x). Is i(t) a multiple of 4?
True
Let w be -4 + 6 - (-1 - -140). Let f = 374 + w. Let a = -149 + f. Does 44 divide a?
True
Let i(t) be the second derivative of t**4/3 + t**3/2 + 5*t**2 - 3*t + 10. Does 9 divide i(3)?
False
Suppose -q + r = -0*r - 9689, 0 = -4*q - 5*r + 38765. Is 66 a factor of q?
False
Suppose 0*v - 2*v = -6, 5*p - 1369 = -3*v. Is 8 a factor of p?
True
Suppose -15*c = -c + 5166. Let h = 387 + c. Is 2 a factor of h?
True
Suppose 103*x = a + 102*x - 95, -3*x = -4*a + 374. Is a a multiple of 3?
False
Let t(f) = -95*f**3 - 3*f**2 - 10*f + 55. Is 10 a factor of t(-4)?
False
Let v(s) = s**2 + 23*s + 156. Let o be (36/(-54))/((-6)/(-459)). Is v(o) a multiple of 16?
True
Let v(j) = 123*j**2 - 11*j - 292. Is v(13) a multiple of 159?
True
Suppose 5*b - 5*w - 76095 = 0, 60*b - 57*b = -5*w + 45705. Does 37 divide b?
False
Suppose -23*m = -4*m - m. Suppose 46*v - 34*v - 1704 = m. Is v a multiple of 19?
False
Suppose 3*a - 5*t + 0*t = 25, t + 5 = -2*a. Suppose -h = -4*k + 3, a = -3*h - 5*k + 6*k + 2. Let l(q) = 44*q**2 + 1. Is 9 a factor of l(h)?
True
Let h = 34 + -29. Let c be h - 1/3*6. Suppose -2*f = -15 + c. Does 6 divide f?
True
Suppose -604 = 2*n + 5*m, 0 = 2*n + 2*m + 63 + 541. Let j = n + 686. Is 48 a factor of j?
True
Suppose -t + 2*t + 3*p = 25, -5*t - 2*p = -86. Suppose -2331 = 9*x - t*x. Does 9 divide x?
True
Suppose z + 388 = -3*z - 2*f, 5*z + 490 = -5*f. Let u = -94 - z. Suppose j - 4*s - 42 = 0, u*j + 4*s = j + 2. Is 22 a factor of j?
True
Let o(b) = -2*b + 18. Let x be o(8). Suppose h + 10 = -3*j + x, 3*h = -j + 8. Suppose h*k = 4 + 156. Is 10 a factor of k?
True
Let s(p) = -p**2 - 67*p + 94. Does 5 divide s(-11)?
True
Suppose 5*c = -3*h + 53, 2*c + 8 = 4*c. Is (-75)/(-825) - (-1)/(h/4344) a multiple of 21?
False
Let c(m) = -2*m**3 - 79*m**2 - 143*m - 190. Does 23 divide c(-40)?
True
Let q(t) = 2065*t**2 - 6*t + 4. Is q(1) a multiple of 13?
False
Suppose 0 = 3*u + 4*x - 25, -x = 3*u + 4*x - 29. Is 35 a factor of 3/((-27)/(-186))*u?
False
Suppose 0*m = 3*m. Let q(g) = g**2 + 5*g - 11. Let u be q(2). Does 13 divide (232 + 2)/u + m?
True
Suppose -5*j = -5 - 25. Suppose -j = -7*s + 1. Is s/(405/(-205) + 2) a multiple of 6?
False
Let y = -233 + 146. Let k be (-20)/48*-4*y. Let u = 228 + k. Is 12 a factor of u?
False
Let z(n) = -5*n - 49. Let s be z(-8). Let u be s/(-4)*(-4)/(-3). Suppose 0 = 3*h + u*v - 177, -v + 4 = -1. Is h a multiple of 7?
False
Let h be (-2 - 3/(-2))*46. Let y = 26 + h. Suppose -y*d + 58 = 5*s, -s - d - 32 = -4*s. Is s even?
False
Suppose m - 4*y - 2 = 9, 3*m + 3*y - 33 = 0. Let c(i) = 3*i**2 + 13*i + 23. Let f be c(m). Let d = f - 369. Does 40 divide d?
True
Suppose 2410048 = 220*a + 12*a + 478648. Is 10 a factor of a?
False
Let s = 48 + -36. Let n be (2 - s/(-4)) + 0. Does 3 divide ((-55)/(-3))/n - 3/(-9)?
False
Let g = -319 + 193. Let a = -101 - g. Does 6 divide a?
False
Let c(r) be the third derivative of r**9/288 + r**7/2520 - r**6/360 - r**5/15 + 5*r**2. Let t(i) be the third derivative of c(i). Does 14 divide t(1)?
True
Suppose -3065 = -2*u + k, 5*u - 32*k = -30*k + 7661. Does 27 divide u?
False
Suppose n + 0*n - o - 8 = 0, 4*n - 3*o - 27 = 0. Suppose -u - 169 = -4*x - x, -n*u + 71 = 2*x. Is 7 a factor of x?
False
Let q = -36 - -42. Suppose 3*c - 26 = -m + q, -2*m - 2*c = -68. Is 10 a factor of 4 - (4 - 2 - m)?
False
Let a(p) = -p**3 - 4*p**2 + 8*p + 14. Let j be a(-3). Let n be -1 + (-35 - (1 - 0)). Let x = j - n. Is 11 a factor of x?
False
Let p be (-4)/(-10)*16 + 34/(-85). Suppose -249 = p*f + 129. Let x = -14 - f. Is 49 a factor of x?
True
Let t = 21985 - 14029. Is 68 a factor of t?
True
Suppose 5*b - 31 = 2*k - 8, -5*k = -3*b + 10. Suppose 0 = b*y - m - 2, 3*y - 4*m - 8 = -2*y. Does 22 divide -105*(y + (-18)/15)?
False
Is 10 a factor of ((-10559700)/35)/(-5) - 144/126?
True
Suppose -36*j + 9044 = -11404. Is j a multiple of 71?
True
Let a = 34 - 38. Let x be (a/6)/((-8)/1332). Let s = x + -77. Is s a multiple of 34?
True
Suppose 0 = -237*g + 234*g, -4*g + 1818 = d. Does 4 divide d?
False
Let z = 14866 - 9577. Is 11 a factor of z?
False
Let n(o) = 5*o**2 - 22*o - 5. Let y(k) = -k**2 + k + 1. Let d(i) = -n(i) - 6*y(i). Is d(-18) a multiple of 35?
True
Let p = 446 - -51. Let o = 839 - p. Is 9 a factor of o?
True
Let h be (-6)/120*-10 - (-166)/4. Let i = h - -42. Is i a multiple of 21?
True
Let l(b) = -139*b + 48. Let p be l(-6). Suppose 0 = 4*c - 3*y - 1656, 4*y = 5*c - 1187 - p. Is 4 a factor of c?
False
Suppose -5*a + 100*h - 101*h = -43784, -3*a + 26260 = -2*h. Is 51 a factor of a?
False
Let d(w) = -3*w - 81. Let t be d(-28). Let h be (33/t)/((-8)/8). Is (-1 - 0)/(h/99) a multiple of 2?
False
Let g(d) = -d**3 + 7*d - 8. Let f(k) = -k**2 - 7*k + 37. Let b be f(-11). Let n = b + 3. Is g(n) a multiple of 6?
False
Suppose -3650 - 1486 = 16*c. Let y = 728 + c. Does 24 divide y?
False
Let d = -12 + 22. Suppose d*y = -0*y + 7590. Is 23 a factor of y?
True
Let z = 200 + -196. Is 70 a factor of 732 - (z + -15 + 6)?
False
Let v be (2/3)/(1/24). Let f(a) = 3*a**2 + 39*a - 18. Let t(i) = -i**2 - 20*i + 9. Let m(y) = -2*f(y) - 5*t(y). Does 34 divide m(v)?
False
Suppose 2073 + 1434 = 3*v. Suppose 0 = 5*a - v - 1666. Is 27 a factor of a?
True
Is 2/42 + (-5193152)/(-1344) a multiple of 35?
False
Let t be 147/14*290/(-15). Is 14 a factor of 29/(t/(-924)) - 7?
False
Let a(o) = 3*o**3 + 10*o - 3*o**3 - 2 + 6*o - o**3 + 10*o**2. Let g be a(12). Let b = 110 - g. Does 13 divide b?
True
Let r be 16/2*-2*(-2)/(-8). Let w be (-1)/r + 46/8. Suppose v - 1 = w. Is v even?
False
Let g(u) = -u**3 - 9*u**2 + 11*u + 15. Let o be g(-10). Suppose o*w + h - 3358 = 