 9 = 3*q, -5*q = -v*g + 690. Does 15 divide g?
False
Let u(r) = -r**3 + 16*r**2 - 3. Let g be u(16). Let v be (388/16)/(g/(-12)). Let j = v + -18. Does 10 divide j?
False
Let w = -99 - -175. Let v = -16549 + 16571. Let b = w - v. Is b a multiple of 9?
True
Let p(h) = 17 - 10*h + 10 - 17*h**2 - h**3 + 1 - 2. Let z be p(-16). Let s = z + 174. Is 13 a factor of s?
True
Suppose -5*y - c + 16858 = 0, 23*y - 10126 = 20*y + 5*c. Is 12 a factor of y?
True
Let x be ((-38)/(-4))/((-36)/1728). Let z = x - -987. Is z a multiple of 59?
True
Let m = 163 - 143. Is 42 a factor of (4 + 40/(-3))*(-1350)/m?
True
Is ((-15)/(-12))/(14/80304) a multiple of 73?
False
Let i = 8957 + -5097. Is i a multiple of 115?
False
Let q = -24 + 32. Suppose 0 = -q*g + 5*g - b + 132, 3*b = 4*g - 176. Is 22 a factor of g?
True
Let w(s) = -s**3 + 16*s**2 + 21*s - 56. Let u be w(17). Does 61 divide (u/(-8))/(3/(-420))?
False
Let u(p) = 137 - 162*p + 292*p - 207*p. Is u(-6) a multiple of 7?
False
Let t = 393 - -343. Is t a multiple of 3?
False
Let z be 4 - -89*18 - (-1 - 3). Suppose -s = l - 209 - 195, 4*l = -2*s + z. Suppose 0 = -3*i + l + 79. Does 21 divide i?
False
Let k be (-2)/8 - (8070/(-24))/5. Let n = k - 59. Is (-290)/(-2) - (n + 5 + -10) a multiple of 16?
False
Let j = -716 - -6622. Is 3 a factor of j?
False
Let v(j) = -695*j - 7489. Does 51 divide v(-28)?
False
Let h be (-183)/9*1*(-104 + -7). Let i = h + -1515. Is 42 a factor of i?
False
Suppose 15*n - 10*n + 4*o = 18578, 0 = -5*n + 2*o + 18626. Is n a multiple of 74?
False
Let l(w) = -133*w**3 + w**2 - w - 3. Let q(b) = 20*b + 27. Let n be q(-6). Let g = n - -92. Is l(g) a multiple of 12?
True
Let j(m) = 19*m + 43 - 7*m - 6*m. Let y be j(-6). Is 24 a factor of 206*1 - 1*21/y?
False
Let j(x) be the third derivative of 2/15*x**5 + 13*x**2 + 0*x + 0 - 2/3*x**3 + 1/12*x**4. Is j(-2) a multiple of 4?
True
Suppose -9*f + 6 = -8*f. Suppose -f*p + 16*p - 1320 = 0. Is 6 a factor of p?
True
Let s(b) = -4*b + 64. Let w be s(21). Is w*1/(-8)*28 a multiple of 11?
False
Let o(v) = -1398*v**3 + 5*v**2 + 3*v + 3. Is 14 a factor of o(-1)?
False
Let d(z) = 5604*z + 5524. Does 220 divide d(4)?
True
Suppose -5*b - 5330 = -5*o, 6*b = -o + 877 + 168. Is o a multiple of 89?
False
Let j(o) = 9*o + 2*o - 29 + 7*o + 189. Does 12 divide j(28)?
False
Let p = 45 - 38. Let t(u) be the third derivative of u**5/60 - 5*u**4/24 - u**3/6 - 5*u**2. Does 6 divide t(p)?
False
Let u(m) = 34*m - 20. Suppose g - 6 = -1. Let v be u(g). Suppose 0 = -11*t + v - 7. Is 11 a factor of t?
False
Let x = 328 + -573. Let m = 62 - x. Is 16 a factor of m?
False
Suppose -3*t + 274 - 4 = 0. Is 35 a factor of (480/18 - 8)*t/8?
True
Suppose 0 = -127*g + 134*g - 14. Let p be (1 - 1)/(-1 - -2). Suppose p = g*o - 1 - 57. Is 10 a factor of o?
False
Let l be 4 - 10/(-4)*2. Suppose -7*o + l*o - i = 303, -i + 1 = 0. Is 8 a factor of o?
True
Let z(c) be the third derivative of c**6/120 + c**4/24 - c**3/3 - 11*c**2. Let i be z(0). Let g(n) = -53*n + 1. Is 6 a factor of g(i)?
False
Let s be (-20)/(-110) + (-1252)/(-11). Let n = 74 + s. Is n a multiple of 16?
False
Suppose 0 = -k + 19*h - 14*h - 27, -3*h = -4*k - 159. Suppose 7*d - 8 = 3*d. Does 22 divide -14*k/8 + d/(-4)?
False
Let y be 2 + 6/8 + (-11)/4. Suppose -26*s + 13*s - 351 = y. Let p = s + 117. Is 45 a factor of p?
True
Suppose 11*h - 23*h + 4776 = 0. Let z = 428 + h. Does 14 divide z?
True
Let t = 4229 - 143. Is t a multiple of 14?
False
Suppose 19*u + 102 = 22*u. Suppose 248 = -u*h + 38*h. Is 4 + 0 + h/2 a multiple of 5?
True
Let c(k) = 179*k + 3220. Does 13 divide c(54)?
False
Let g(n) = -n - 290. Let r(x) = 2*x + 290. Let j(w) = 4*g(w) + 5*r(w). Does 4 divide j(-33)?
True
Suppose 1876 + 3164 = 9*v. Is 43 a factor of v?
False
Let g(f) = 7*f + 8. Let t be g(-4). Let z be 354*(t/6 + 3). Is 26/(-1*3 - z/38) a multiple of 13?
True
Let n = -54 - -60. Let a be (-39)/9 - ((-2)/n - 0). Is 14 a factor of (-28)/a*(1 + (-143)/(-7))?
False
Let f(t) = 135*t**2 + 414*t - 145. Does 22 divide f(15)?
False
Let a = -22758 - -24316. Is 41 a factor of a?
True
Suppose 0 = 5*n + u - 39905, -3*n + u + 16157 = -7778. Does 114 divide n?
True
Let l(m) = -13*m + 99. Let i be l(14). Let g = 397 - i. Is 20 a factor of g?
True
Suppose -6957 = 7*b - 18934. Let v = b - 982. Is v a multiple of 27?
True
Let k = 17 + -14. Suppose -3*d = k*u - 81, -2*u = 2*u + d - 102. Suppose 23*p - u*p + 180 = 0. Does 45 divide p?
True
Suppose -14*g - 61281 = 7*q - 10*q, 3*q = -3*g + 61128. Is 9 a factor of q?
True
Let z(m) = 2*m**2 + 3*m - 2. Let k be z(-4). Suppose 3*q = -k - 24. Does 3 divide (-48)/(-10) + q/5 + 3?
False
Let k(x) = 5*x + 54. Let p be k(17). Let r = 151 - p. Is r a multiple of 12?
True
Let r be (-1)/(-3)*1*-21 + 3. Is 2 a factor of 60/3*(-4)/(r - 0)?
True
Let c(m) = 5575*m**2 - 7*m + 9. Does 33 divide c(1)?
True
Suppose 13*p + 8 = -18. Let x be p*-1*(1 - (1 - 1)). Suppose -26 = -2*v + x. Is v a multiple of 9?
False
Suppose 0 - 19 = -2*q + 3*k, 2*k + 2 = 0. Suppose q*t + 3885 = 23*t. Does 37 divide t?
True
Let d = -295 - -301. Suppose -d*y + 840 = -4200. Is y a multiple of 60?
True
Suppose 0 = l + 3 - 4. Let s be ((-10)/20)/(l/(-86)). Suppose 63 = w - 2*y - s, 2*w + y = 217. Is 42 a factor of w?
False
Suppose -2*q = x + 3*x + 84, 0 = q - x + 33. Let h be 12*(q/(-8) + 0). Suppose 9*t - 6*t - h = 0. Does 18 divide t?
True
Suppose 7 + 25 = -8*h. Let j be (16/(-6))/(h/(-18)). Let w = j - -113. Is w a multiple of 31?
False
Let s be 6 + -6*(-1)/3. Let v(y) be the second derivative of -y**5/20 + 2*y**4/3 + y**3/6 + 3*y**2 + 3*y. Does 14 divide v(s)?
True
Let a(g) = -515*g + 7334. Is 5 a factor of a(0)?
False
Is 165 a factor of ((-1150002)/30 - 12/20)*-1?
False
Let g(q) = -q**3 + 15*q**2 - 24*q + 38. Let x be g(13). Suppose -x = -4*j + 40. Is j a multiple of 2?
True
Let i(c) = -c**2 - 17*c - 70. Let w be i(-6). Is w + (4/3)/(1/201) a multiple of 25?
False
Suppose 11*d = 19*d. Suppose d = -5*x + 427 + 228. Is 4 a factor of x?
False
Suppose -l = 25 - 12. Is (47*-7)/(l/39) a multiple of 13?
False
Suppose -3*o = d + 4, 7*o = 2*d + 4*o - 10. Suppose 181 = d*p - 91. Is 14 a factor of p?
False
Let r(v) be the second derivative of -33/2*v**2 + 0 - 27*v + 23/6*v**3. Is 15 a factor of r(11)?
False
Suppose 3*d + 0*d = 18. Let z(n) = -n**2 + 8*n + 20. Let v be z(d). Does 25 divide (v - 2)*(27/6 - 2)?
True
Suppose -11*t = -63*t - 207252 + 1414172. Is 62 a factor of t?
False
Let w(b) = 45900*b**3 + 2*b**2 - 33*b + 31. Does 12 divide w(1)?
True
Let u(p) = -9*p**3 + 37*p**2 + 8*p - 95. Let g(h) = -4*h**3 + 18*h**2 + 3*h - 48. Let s(i) = 7*g(i) - 3*u(i). Is s(13) a multiple of 23?
False
Let h = 232 + -226. Suppose 10*f = h*f + 3200. Does 16 divide f?
True
Let l be 16/20*30/4. Suppose 14 + 294 = 4*p + 4*h, 2*h = l. Suppose 3*r - 4*j - 218 + p = 0, -5*j + 161 = 4*r. Is 5 a factor of r?
False
Suppose -5*y - 6 = -4*d, -y - 4*d + 14 = -4. Let g be (3/y)/((-13)/(-182)). Let k = g - -2. Is 3 a factor of k?
False
Let l = -27 + 27. Suppose -2*h + 2 = z, -3*h - 2*h - 5 = l. Suppose -3*v - z*y + 97 = -96, 4*v - 255 = -3*y. Is 21 a factor of v?
True
Let h = 163 + -158. Suppose 867 = 3*p + h*b, -8*b + 6 = -6*b. Is 23 a factor of p?
False
Let h = -17347 - -21289. Is 6 a factor of h?
True
Suppose n = a + 1749, -818 = -2*n - 4*a + 2638. Is 54 a factor of n?
False
Suppose 0 = 116*n - 80*n - 89208. Is n a multiple of 21?
True
Let y(c) = -2*c - 31. Let m be y(-15). Let r(h) = 68*h**2 + h + 2. Is r(m) a multiple of 3?
True
Suppose 5*i + 475 + 2535 = 0. Let g = -285 - i. Is 53 a factor of g?
False
Does 9 divide (-108)/45 + 3 - 1376648/(-70)?
False
Let x(i) = 11*i - 3. Let p be x(4). Suppose -5*g = -10*g - 3*n + 224, -5*g + 240 = -5*n. Suppose -p*t - 170 = -g*t. Does 34 divide t?
True
Suppose 0 = z - 2*s + 8, -2*z + 2*s - 17 + 5 = 0. Let q(v) = -v**3 - 6*v**2 - 5*v. Let g be q(-5). Is 2 a factor of z + (12 - 1) + g?
False
Suppose -277*i + 270*i + 4109 = 0. Suppose -584*f = -i*f + 3618. Is f a multiple of 96?
False
Suppose -3*z = -159 - 33. Let d = z - -44. Does 7 divide d?
False
Let n = -2553 - -3032. Does 120 divide n?
False
Let c(b) = b**2 - 52*b + 1218. Does 88 divide c(183)?
False
Suppose -2*u = 6*u - 2112. Suppose -2*h + 120 = 2*v, 11*h - 4*v - u = 6*h. Is 7 a factor of h?
True
Does 12 divide (