et r be (5/(-15))/((-2 - -3)/75). Does 10 divide 36/((-15)/r*4/6)?
True
Suppose 2*x + 23 = 5. Does 16 divide (-525)/(-20)*(24/x)/(-1)?
False
Let o = 267 + 272. Does 11 divide o?
True
Suppose -16 = -4*l + 4*g, -l + 4*l - 16 = 2*g. Let o = 25 - l. Does 4 divide o?
False
Let f(v) = -v**2 - 10*v - 11. Let a(r) = -3*r - 4. Let i(o) = 7*a(o) - 2*f(o). Let y be i(-2). Suppose y*n - 208 - 96 = 0. Is n a multiple of 24?
False
Suppose -2 = -3*q - 20. Is 18/(-4)*16/q a multiple of 4?
True
Suppose j = 2*m + 23, -11 = 4*j + 4*m - 103. Let n = 59 - j. Is n a multiple of 4?
True
Suppose -5*p = 3*o - 1488, -5*p - o = -p - 1189. Suppose w - p = -2*w. Does 27 divide w?
False
Let y be 67/(-3) + 3/9. Let m = y + 36. Let s = m - 4. Does 5 divide s?
True
Is ((-9144)/(-9))/8 - (-3 + 0) a multiple of 26?
True
Suppose -2*v - 4*j - 6 = j, -4*v - 3*j = -2. Suppose 5 + 7 = -4*h, -v*h = -3*p + 33. Does 4 divide (-15)/p*(-24)/4?
False
Suppose -5*m - 106 = -2061. Suppose 4*o = -103 + m. Let z = o - 21. Is z a multiple of 17?
True
Suppose 0 = 6*z - 5*z - 60. Suppose -3*f = -7*f + z. Does 2 divide f?
False
Let s be 225/(-6)*(-4)/6. Let n = s - 21. Suppose u - 170 = -n*u. Is u a multiple of 6?
False
Suppose -16 = -2*r + 20. Suppose -35 = 11*y + 196. Let b = r - y. Is 13 a factor of b?
True
Suppose -224 = -2*j - 112. Does 8 divide j?
True
Let c(o) = -3*o + 4. Let f be c(2). Is f/((12/4)/(-30)) a multiple of 10?
True
Let a(j) be the first derivative of -j**4/4 + 20*j**3/3 - 29*j**2/2 + 39*j + 28. Does 16 divide a(18)?
False
Suppose t - 12 = 5*t, -17 = -2*k + 5*t. Is 8 a factor of 4 - -45 - k/1?
True
Let i = 1057 + -715. Does 18 divide i?
True
Suppose -172 = -40*o + 6068. Is 12 a factor of o?
True
Let s be 2*-21*(-18)/7. Suppose -3*f + s = -15. Suppose -3*z = k - 22, f = 2*k - 0*z + 5*z. Is k a multiple of 13?
True
Let i(g) = -g**3 + 8*g**2 + 12*g - 7. Suppose -2*y + 3*o = -11, 0 = -3*o - 3. Suppose c - 8 = -c, p - 3*c + y = 0. Is i(p) a multiple of 17?
False
Let v(h) = 4*h - 1 - 8*h + 1. Let a be v(-3). Suppose -2*n + 0*n + a = 0. Is n a multiple of 6?
True
Suppose -5*j = -0*j - 10. Suppose -5*i = -j*i + 4*y - 55, 4*i - 125 = 5*y. Is i a multiple of 25?
True
Let z(c) = -89*c - 93*c + 249*c - 17. Does 48 divide z(6)?
False
Suppose -i - 104 = -4*d - 4*i, -3*d + i + 78 = 0. Suppose 0*y + 4*y - d = 3*p, y - 3*p - 2 = 0. Suppose -x - x = -y, -380 = -4*o + 3*x. Is o a multiple of 14?
True
Let l(j) = -81*j**3 + 2*j**2 + 2*j + 1. Is l(-1) a multiple of 34?
False
Suppose -u + s - 1 = -2, -10 = -u - 2*s. Is (-99)/(u - 7 - -2) a multiple of 9?
True
Let c(y) = 19*y - 47. Does 11 divide c(19)?
False
Suppose 0*w = 2*b + 3*w - 1947, 5*b + 5*w - 4865 = 0. Is 54 a factor of b?
True
Suppose -6*s + 13929 = 4395. Is s a multiple of 46?
False
Let a(z) = -7*z - 6. Let n(u) = -5*u**2 + 2*u + u**2 + u**3 - 3 + 0. Let s be n(3). Is 12 a factor of a(s)?
True
Suppose 1464 = 2*b + 4*v, -3*b + 2*v + v + 2178 = 0. Let j = -491 + b. Is j a multiple of 36?
False
Let x(i) = 3*i**2 - i. Let m be x(-1). Suppose 3*u = 0, -m*s + 3*s + u - 37 = 0. Let a = s - -79. Is a a multiple of 14?
True
Let o be (0/3)/((-2)/(-1)). Suppose o = -5*j - 266 + 721. Is 31 a factor of j?
False
Let h(d) = -d - 15. Let b be h(-15). Suppose b = 2*y + 3*y + 25. Let q = 15 + y. Is 3 a factor of q?
False
Suppose 5*l - 14 = 1. Let f be -1 - (1 + (-12)/l). Suppose -n + 6 = f*v, n = -4*n - v + 75. Is 16 a factor of n?
True
Suppose -h = 3*h - 76. Suppose h = 3*v + 4. Is 9 a factor of 1/(v/(-2))*-45?
True
Is ((-95931)/18)/17*16/(-12) a multiple of 26?
False
Suppose 0 = -5*d + 11 - 1. Let o be 13 - 1/((-1)/d). Let x = o - 7. Is 4 a factor of x?
True
Is 1/(-7) + (-28600)/(-182) a multiple of 5?
False
Let d(v) be the second derivative of v**4/4 - v**3/2 + 3*v**2/2 + v. Suppose -7 - 5 = -4*c. Is 21 a factor of d(c)?
True
Let y(h) be the second derivative of 3*h**5/20 - h**3/6 + h**2/2 + h. Let v be y(1). Suppose -14 - 37 = -v*f. Is 7 a factor of f?
False
Suppose y - 6 = -y - 2*d, -3*d = -3*y + 39. Suppose -y = -p + 8. Suppose p + 8 = 4*b. Does 2 divide b?
True
Suppose 6*z - 3*z - 9 = 0. Suppose 21 = j + 8. Let a = j - z. Is 2 a factor of a?
True
Let m be 4/(-18) - (2 - 79/(-9)). Is 15 a factor of 3252/22 + (-2)/m?
False
Suppose -5*z + 5*l + 125 = 0, -4*l = 2*z + l - 71. Let u = z - 61. Is 26 a factor of (52/(-3))/(22/u)?
True
Let v = 106 + -332. Is (-12 - -14)*v/(-4) a multiple of 9?
False
Let i = 724 - 569. Is i a multiple of 10?
False
Let f(a) = -2*a**2 - 22*a + 1035. Does 23 divide f(0)?
True
Is 33 a factor of (-36)/6 - -374 - (4 - -1)?
True
Suppose t = 12*t. Suppose 6*z + 9 - 249 = t. Does 5 divide z?
True
Let x(g) = 5*g + 21. Let o be x(-15). Let c be (-3 + (-7)/(-2))*-2. Is 9 a factor of (-4)/(-8)*o/c?
True
Let o be -1*25*108/(-90). Suppose -o = -v + 5. Suppose -2 = 3*p - v. Is p a multiple of 11?
True
Suppose 5*r = -y - 3*y + 62, -5*r = -4*y + 82. Is 44 a factor of 22/3*(30 - y)?
True
Let d = 158 + 247. Is 2 a factor of d?
False
Suppose 5*u = -198 + 38. Let g = 50 + u. Is 13 a factor of g?
False
Let d(r) be the second derivative of 0 + 1/2*r**4 - 1/20*r**5 - r**2 - 4*r + 1/2*r**3. Is d(4) a multiple of 14?
True
Let m(r) = -29*r**3 - 2*r**2 + 2*r + 3. Is m(-1) a multiple of 4?
True
Suppose 0 = 24*n - 35*n + 693. Does 15 divide n?
False
Let w(p) = 12*p**2 - p + 26. Is 13 a factor of w(5)?
False
Let v(i) = -5*i + 72. Is 6 a factor of v(0)?
True
Does 67 divide 946/14 + 15/((-105)/4)?
True
Let z(p) = p**3 + 7*p**2 + 13*p + 3. Let g be z(-5). Is g/(-24) - 23/(-2) a multiple of 6?
True
Let t = 44 + -32. Let v = t - -87. Does 9 divide v?
True
Let x(d) = d**2 + 5*d - 27. Let z be x(6). Let p = z + 39. Is p a multiple of 12?
False
Suppose 5*j - 2*j - 5*a = 12186, -20264 = -5*j - 7*a. Is j a multiple of 131?
False
Let x be ((-20)/60)/((-1)/12). Suppose -5 = -r, 5*l + 10 = x*r - 0*r. Is l a multiple of 2?
True
Let k be ((-6)/(-9))/(6/27). Let q = 5 - k. Suppose q*p - p = 41. Is p a multiple of 12?
False
Does 61 divide (1704/(-60) - -4)*100/(-2)?
True
Let t(w) = -2*w**2 - 5*w + 4. Let f be t(6). Let k = f - -127. Does 2 divide k?
False
Suppose 0 = i + 4*b - 259, 26*i - 22*i = 3*b + 1036. Is 37 a factor of i?
True
Let l(f) = f**3 + f + 2. Let t be l(3). Suppose -2*r - 24 = 3*n, 0*n - 33 = 3*n + 5*r. Let k = n + t. Does 13 divide k?
True
Suppose -2*g + 50 = 3*g. Let o be (228/(-20))/((-2)/g). Suppose 2*v - o = v. Is v a multiple of 19?
True
Suppose -7*q - 6 = -9*q. Let g be q*-1*32/(-24). Suppose 61 = 5*i - g*i. Does 20 divide i?
False
Let h(z) = -z**2 - 19*z + 28. Let k be 3 - (14 - (-1)/(2/4)). Is h(k) a multiple of 21?
False
Suppose 0 = 3*l - 3*i - 435, -4*l - 2*i + 882 = 290. Is l a multiple of 21?
True
Is 24 a factor of 1858/8 + (-69)/(-92)?
False
Suppose -41 = -d + 243. Does 18 divide d?
False
Let b be 8/(-20) - (-687)/5. Suppose -60 = -t + 4*d, 4*t - 5*d - 70 - b = 0. Is 12 a factor of t?
True
Let h(d) = -3*d**2 - 36*d - 18. Is 39 a factor of h(-8)?
True
Is 49 a factor of -40*13724/(-1175)*5/2?
False
Let k = -17 - -140. Is k a multiple of 2?
False
Let g(n) = 40*n**2. Let v be 1 - (-3 - (-5 + 2)). Let q be g(v). Let a = q - 29. Is a a multiple of 3?
False
Let o(m) = m**3 + 9*m**2 + 9*m + 12. Let w be o(-7). Suppose n - 23 = w. Is n a multiple of 14?
True
Suppose -3*k = 2*y - 1094, 2232 = 4*y - 9*k + 4*k. Is y a multiple of 55?
False
Let x be 12/66 + (-20)/(-11). Suppose -x*c - c - 191 = -4*b, 2*c + 186 = 4*b. Suppose -3*z = -116 + b. Is 5 a factor of z?
False
Let s(u) = -u**3 - 7*u**2 + 15*u + 18. Suppose -2*c + 0*c = 20. Is 42 a factor of s(c)?
True
Suppose 207*z - 211*z + 8528 = 0. Does 13 divide z?
True
Suppose -3 = 7*z - 4*z. Is (13/(-26))/(z/410) a multiple of 27?
False
Suppose 45*a - 49*a + 8 = 0. Suppose a*t - 3*s - 136 = -0*s, -t = -s - 67. Does 11 divide t?
False
Suppose 108 + 156 = 12*i. Suppose -f + z + 23 = 0, f - 2*z - i + 1 = 0. Does 5 divide f?
True
Suppose 7 = -2*v + 17. Suppose 4*u - 492 = 4*n, -16 - 4 = -v*n. Is 21 a factor of u?
False
Does 13 divide (-3352)/(-6 + -2) - (4 + -1)?
True
Let k(p) = p**3 - 5*p**2 - 9*p + 9. Let g = 83 - 76. Is k(g) a multiple of 3?
False
Does 37 divide ((-81)/405)/(1/(-15815))?
False
Let i(n) = 107*n**2 + 2*n + 8. Is 108 a factor of i(4)?
True
Let u(w) = 66*w**2 - 23*w + 7. Is 14 a factor of u(3)?
T