7). Suppose 5*r + 30 = v. Is 16 a factor of r?
True
Let z(i) = 53*i**3 - 3*i. Let v(s) = 2*s**3 + 4*s**2 + 3*s + 8. Let q be v(-2). Is 19 a factor of z(q)?
True
Is 242/(-3)*(-1764)/49 a multiple of 88?
True
Suppose 25*u + 24483 = 8308. Let q = u - -740. Is q a multiple of 31?
True
Suppose 11*a = 31*a + 20. Does 13 divide (-11 - -1019)*a/(-2)?
False
Let z = -100079 + 66793. Is z/(-77) + 2/(-7) a multiple of 12?
True
Let t = -2958 - -7004. Does 14 divide t?
True
Suppose -7*v = 2*v + 1161. Let l = v + 256. Is l a multiple of 25?
False
Let z be 8/(-10)*-5 - 124. Let u = -13 + z. Let j = -53 - u. Is j a multiple of 26?
False
Let u(m) = 5*m**2 + 20 - m**3 - 5*m**3 + 5*m**3 + 0. Is u(5) a multiple of 2?
True
Let b be -23 - 0 - 3/6*-2. Let a be (-8)/(-20) + 2*b/10. Does 37 divide (-1158)/(-24) - (2 - (-11)/a)?
False
Let f(z) = z + 43. Suppose 20 = 6*c - 2*c. Suppose 5*v = -2*i - 25, c*i - 2*v + 7 = -99. Is 10 a factor of f(i)?
False
Let o(n) = 5*n**3 - 28*n**2 - 23*n + 18. Is o(9) a multiple of 44?
True
Let a(x) = -96*x**2 - 187 + 207*x**2 - x**3 - 81*x**2. Is 9 a factor of a(29)?
False
Let d = 55 - 46. Suppose 3*t = -m - 2*t + 17, d = 3*m + t. Is m*1/4 + (-4375)/(-70) a multiple of 8?
False
Let s(x) = -4 + 15 - 61*x + 3 + 0. Is 38 a factor of s(-6)?
True
Suppose 237*u - 232*u + x - 56443 = 0, -u + 11276 = -4*x. Is 31 a factor of u?
False
Suppose 0 = -2*v - 900 - 684. Let c = -225 - v. Is 14 a factor of c?
False
Let n be 15/9*-1*3. Let w be (-2 - n)*-1 - 14/1. Is -2 + (3 - 1 - w) a multiple of 17?
True
Suppose 5*c + 2*u = 148, 2*c + 6*u = 2*u + 56. Does 79 divide 2328/c*(12 + -2)?
False
Let v be 12/10*9/(108/40). Let c(k) = -102*k + 25. Let y be c(v). Let u = -183 - y. Does 20 divide u?
True
Suppose 0 = 5*u + 144 - 5979. Suppose -15*f + 232 = p - 14*f, u = 5*p - 2*f. Is p a multiple of 4?
False
Suppose -10434 = -13*b - 34*b. Is b a multiple of 48?
False
Let v(t) = -t**3 - t**2. Let s(b) = 3*b**3 + 2*b**2 + b. Let g(j) = 2*s(j) + 5*v(j). Let n be g(1). Suppose 0 = -n*a + 70 + 40. Is 12 a factor of a?
False
Suppose 3*c - 8*t - 1648 = 2*c, 6422 = 4*c + 2*t. Does 12 divide c?
True
Let w(y) = 8*y + 4 + 10*y - 5*y + 4*y - y**2. Let g be w(17). Suppose 162 = g*i - 78. Is 20 a factor of i?
True
Suppose 1020 = 167*m - 161*m. Suppose -710 + m = -5*f + 4*r, -4*r + 396 = 4*f. Is 8 a factor of f?
True
Let p(v) be the first derivative of 6*v**3 - 3*v**2/2 + 33*v - 7. Let x be p(7). Suppose -x - 846 = -15*a. Is 18 a factor of a?
False
Does 33 divide (-6)/(-45) - (-1324072)/60?
False
Suppose 3*o + 22404 = 3*t, -10*o + 66 - 46 = 0. Is t a multiple of 6?
True
Let a be 4*(5 - (-6 + 10)). Suppose -a*b = -5*j - 176, b = 6*b - 3*j - 220. Is b a multiple of 22?
True
Let c be 0/(4 + -10) + 950. Suppose -v - v = -o + 330, 4*v - c = -3*o. Does 8 divide o?
False
Let r(x) = x**2 - 2*x - 23. Let b be r(6). Let h be 1378/4 - b/2. Suppose 11*y = h + 162. Does 23 divide y?
True
Let q = -128 + 133. Suppose 10410 - 2260 = -q*j. Is 14 a factor of ((-1)/(-2))/(-4 - 6525/j)?
False
Let w be (8/12)/((-3)/(-9)). Does 16 divide 1910/20 + w/4?
True
Is 13 a factor of (-40)/(-5)*(-5 - -1 - -545)?
False
Let x be (-8)/6*(-3)/2. Suppose d + x + 1 = 0. Let b(o) = 4*o**2 + 2*o - 2. Does 6 divide b(d)?
False
Let n(i) = 22*i**2 + 66*i + 14. Let y(a) = -2*a**3 - 64*a**2 + 2*a + 54. Let s be y(-32). Does 37 divide n(s)?
True
Let k be 6 - -1 - (-83 + -16). Suppose -2*q = 3*q - 130. Let i = k + q. Is 22 a factor of i?
True
Suppose -139392 = -2470*j + 2448*j. Does 192 divide j?
True
Is 30536/2 - (42 + -44) a multiple of 10?
True
Let t(l) = 2*l + 74. Let p(h) = -h**2 - 12*h - 19. Let a be p(-9). Is t(a) a multiple of 32?
False
Does 33 divide (-1074360)/(-176) - 1/(-2) - (-12)/66?
True
Let o(x) = -18*x - 6. Let q be o(-5). Suppose 0 = 2*v + 10*v + q. Let r(j) = -j**2 - 18*j + 7. Is r(v) a multiple of 14?
True
Let c be (36/9)/(1 + 1). Let r(x) = -17*x - 8 - c - 3 + 2. Does 18 divide r(-5)?
False
Let z(m) = 5*m**3 + 4*m**2 - 2*m - 1. Let l be z(2). Let d(x) = -2*x + 21. Let i be d(9). Suppose -i = -2*b + l. Is 4 a factor of b?
False
Let y(n) = -n**3 - 21*n**2 - 56*n + 13. Let j be y(-10). Let r = 583 + j. Is r a multiple of 14?
True
Suppose -3*h - 1341 = -3*r, 4*r + 2*h - 1796 = -2*h. Is 32 a factor of r?
True
Let d be -2 + 4 + (0 - 0). Suppose -4*w + 412 + 565 = q, -1976 = -d*q + 3*w. Is 18 a factor of q?
False
Let j = 10736 + 14725. Is 69 a factor of j?
True
Let z(b) = b**3 + 32*b**2 + 13*b - 39. Is z(-13) a multiple of 91?
True
Does 110 divide 36730/16 - 120/(-320)?
False
Let n be (20/12)/(1/(-3)). Let s(q) = 8*q**2 - 3*q + 1. Let r be s(-3). Let v = r + n. Is 19 a factor of v?
False
Suppose 5093 = 4*c - t - 452, 3*c - 4153 = -5*t. Is 42 a factor of c?
True
Let b be ((-4)/12)/((-3)/2385). Suppose -t + a = -70, -b = -4*t + a - 0*a. Is (-78)/t*(-142 - -2) a multiple of 14?
True
Let k = 18331 - 10183. Is k a multiple of 42?
True
Is 5190/20*(-2244)/(-22) a multiple of 17?
True
Let a(y) = -15*y - 5. Let v be a(-1). Is (-105)/(-6 + 13)*(-292)/v a multiple of 25?
False
Let d(g) = 25*g**3 - 4*g**2 - 11*g + 191. Is d(7) a multiple of 161?
False
Let d = -62 + 65. Suppose -d = 4*k - 7. Is 14 a factor of -25*(-3 + 1 - (k + 2))?
False
Let l(t) = -12*t + 25. Let h be l(-12). Suppose -h = -6*p + 467. Does 9 divide p?
False
Let u be (-1)/(-3)*237*1. Let s = -12978 - -12951. Let g = u + s. Does 4 divide g?
True
Let g = -169 + 173. Suppose -6501 = g*t - 15*t. Is t a multiple of 27?
False
Suppose 39*r = 43*r - 2*p - 112528, r - 6*p = 28176. Is r a multiple of 9?
False
Let j(h) = -h**3 + 10*h**2 - 17*h + 17. Suppose -p + 24 = -c - 3*c, 4*c - 8 = -3*p. Let d be j(p). Suppose 0 = -d*z - 168 + 528. Is z even?
True
Suppose -a - 3809 = -4*l - 0*a, -5*a = 4*l - 3779. Suppose -4*t - 5*b + 1493 = 0, 5*t + b = l + 910. Is t/(-9)*((-10)/4 + 1) a multiple of 31?
True
Suppose 0 = -206*v + 197*v + 17550. Suppose 3*u = -2*u + v. Is u a multiple of 10?
True
Suppose -d - 2*t - 1380 + 6661 = 0, -d = 3*t - 5275. Is d a multiple of 33?
False
Let h = -87 - -89. Let u(i) = -2*i - 2*i + 19*i**2 - 17*i**h + 3. Is 9 a factor of u(-6)?
True
Suppose -4*k - 11322 = -2*x, 0 = -3*x + 3*k + 12359 + 4618. Is 94 a factor of x?
False
Let k be 1 - 3 - (-11 - -10). Let z(o) be the first derivative of -51*o**2 - 14*o - 379. Is z(k) a multiple of 7?
False
Let g = -44491 - -67874. Does 131 divide g?
False
Let v = -3391 + 12701. Is v a multiple of 19?
True
Let y = 399 + 186. Let q = y + -335. Is 5 a factor of q?
True
Let r be (-190)/(-38) + -2*(390 + -1). Let i = r + 1293. Does 34 divide i?
False
Let z(d) be the second derivative of 0 - 13/12*d**4 + 19*d + 5/2*d**2 - 1/20*d**5 - 7/6*d**3. Does 12 divide z(-13)?
True
Suppose g = 2*d - 2440, 2*d = g + 4*g + 2424. Is 13 a factor of d?
True
Let n(t) = -3*t**3 + 7*t**2 - 8*t - 228. Is 20 a factor of n(-14)?
False
Let j be (-4716)/(-7) + (-34)/(-119). Let k = 989 - j. Does 63 divide k?
True
Let f = 2185 - 1303. Does 49 divide f?
True
Let j be ((-72)/60)/(2/(-5)). Suppose 3 = 4*f - 0*x - 5*x, 0 = j*f - 4*x - 2. Suppose -4*p + f*v + 188 = -0*v, -5*v - 20 = 0. Does 15 divide p?
True
Let x be 4/5 + 171/(-45)*1. Is (-5850)/100*((-8)/x)/(-4) a multiple of 8?
False
Let p be 4/(-10) + 103194/210. Suppose -12*l + 661 = -p. Is 27 a factor of l?
False
Let y be (-126)/(-147)*294/9. Let j(m) = -m**2 + 34*m + 202. Does 34 divide j(y)?
False
Let x(s) = 12*s**2 + 37*s - 332. Is x(11) a multiple of 23?
False
Let z(x) = 2*x**2 - 6*x - 2. Let v be (-1)/(3*(-4)/36). Let p be z(v). Let n(h) = 5*h**2 - 6*h - 8. Is 15 a factor of n(p)?
False
Let j be (-8)/(-6)*135/60. Suppose -5 = -j*f + 154. Is f a multiple of 2?
False
Let l be 282 + (4 - 0) + 2. Is 10 a factor of (1 + -33)*12/(l/(-30))?
True
Suppose 806*t = 3*q + 809*t - 708, 0 = 5*q + 4*t - 1175. Is 7 a factor of q?
True
Suppose -382*o + 9621 = -381*o + w, 5*w = 5*o - 48195. Does 7 divide o?
False
Let h(l) be the first derivative of -l**2 + 17*l + 21. Let s = -10 + 10. Does 3 divide h(s)?
False
Let x(y) = -y**3 + 5*y**2 + 8*y - 8. Let q be x(6). Suppose -3*u + 243 = s, u = -4*s + 133 + 795. Suppose -q*z + s = -z. Is 11 a factor of z?
True
Let m(q) = -5*q**2 - 36*q - 14. Let d be m(-7). Let z(j) = -2*j**3 - 9*j**2 - j + 35. Does 11 divide z(d)?
False
Let f = -19 + 55. Suppose 3*w - 237 