*p - 4709, 0 = v + 5*p - 4715. Does 55 divide v?
False
Suppose 0 = -k - 138 + 4. Let u = 1488 + -1257. Let v = u + k. Is v a multiple of 15?
False
Let o = 107 - 193. Let u = o - -184. Suppose -37 = -u*g + 97*g. Does 15 divide g?
False
Let f(o) = 2*o - 4. Let u be f(3). Suppose 4*s = u*s - 2. Is 8 a factor of 26/((2/(-3))/s)?
False
Let m(l) = 67*l**2 + 24*l + 120. Let v(w) = 18*w**2 + 6*w + 32. Let x(q) = 3*m(q) - 11*v(q). Let r be (4/(-10))/(2/10). Is x(r) a multiple of 4?
True
Suppose -3*i = -5*q + 21137, 4*q - 25*i = -30*i + 16880. Does 25 divide q?
True
Suppose -24 = 5*v - 8*v. Is 78 a factor of 34/v + (-11)/44 - -698?
True
Let a be (0 - -1)*0/8. Suppose d - 1 - 4 = a. Suppose -d*x - 57 = -307. Is 12 a factor of x?
False
Let o(v) = v**2 - 10*v - 2. Let y be o(10). Let b be (228/(-18))/(y/27). Let a = b - 27. Is 36 a factor of a?
True
Let w(o) = -o**3 + 15*o**2 + 11*o - 19. Let s be w(16). Let a = -154 - s. Does 6 divide (-40)/6*528/a?
False
Suppose 46*n - 32*n - 5040 = 0. Does 10 divide n?
True
Let t be 2/55*11 - 5674/10. Let x = t + 895. Is 41 a factor of x?
True
Let o = 301 - 275. Suppose 5331 = o*h - 883. Is 27 a factor of h?
False
Suppose 16*u - 44*u = -20*u. Suppose 46*l - 51*l + 770 = u. Is l a multiple of 22?
True
Let w(r) be the third derivative of -r**4/12 + 2*r**2. Let b be w(-9). Suppose 6*z = -b + 102. Is z even?
True
Suppose 0 = -3*j - 61 + 13. Let c be 6/4*j/12. Is c - (-6 + 5 - 17) a multiple of 8?
True
Let o(g) = 3*g**2 - 33*g + 213. Let m be o(19). Let h = 1124 - m. Does 91 divide h?
True
Let w(c) = 8*c**3 - c**2 + 9*c - 19. Let a be (-7)/35 + 78/15 - 3. Is w(a) a multiple of 4?
False
Let x = -9 - -25. Suppose -z + 9 = -4*z - 5*d, 0 = -5*z + 2*d + x. Suppose 279 = 5*c + z*l - 163, 1 = l. Is 11 a factor of c?
True
Let u(p) be the second derivative of p**4/6 + p**3/2 + p**2 + 10*p. Let b be u(-2). Is 19 a factor of b/(-22) + -1465*(-2)/22?
True
Let b = 1808 + -3304. Let c = 0 - 4. Is 25 a factor of b/(-32) + 3/c?
False
Let v be (6 - (-4)/(-2)) + -46. Let y = 99 + v. Does 3 divide y?
True
Suppose -153*k - 954 = -162*k. Suppose -n = k - 227. Does 21 divide n?
False
Suppose 0 = 3*l - 3631 - 32360. Is 31 a factor of l?
True
Let y be (-6519)/(-689) + 12/(-26). Is 1064/7 + y/(-3) + -1 a multiple of 37?
True
Let f = -2596 - -5077. Is f a multiple of 178?
False
Suppose 0 = n - 39 + 13. Let t = n - -184. Is 35 a factor of t?
True
Let z(s) = s. Let j(u) = -9*u - 12. Let g(i) = j(i) + 15*z(i). Let y be g(-6). Is (544/y)/((-4)/6)*6 a multiple of 43?
False
Suppose q = 5, l - 5*l - 3*q = 189. Let r = 66 + l. Is 12 a factor of ((-63)/28)/((r/(-112))/5)?
True
Let g(a) = 3*a + 55. Let u(v) = v + 27. Let j(y) = -3*g(y) + 7*u(y). Let s be j(10). Let k(t) = 3*t**2 - 9*t + 15. Is k(s) a multiple of 9?
True
Suppose 0 = -2*s + 11*s - 45. Suppose -5*r + 199 = -3*y + y, -56 = -r - s*y. Does 35 divide r?
False
Suppose -2*u + 4*z + 417 = -615, -2*u + 1028 = -5*z. Suppose 2*y + 2*x - u = 14, -5*y = x - 1329. Is 53 a factor of y?
True
Let k(s) = -s**3 + 18*s**2 - 15*s - 4. Let i be k(18). Let m = i - -872. Is m a multiple of 31?
False
Let w(j) = 8*j**2 + 182*j - 51. Is 43 a factor of w(-27)?
False
Let x be (4/(-16))/((-3)/24). Suppose 0 = -3*w - 5*l + 35, -2*w + 2*l + l = x. Suppose -2*y - t = -414, 0 = 5*y - w*t - 1066 + 61. Is y a multiple of 24?
False
Does 8 divide ((-112)/(-1092)*52)/((-2)/(-960))?
True
Let c(y) = y**3 - 13*y**2 + 8*y + 14. Let z be c(11). Let r = 28 - z. Is r a multiple of 42?
True
Suppose -335 = -2*n + 4613. Is 20 a factor of n?
False
Let m(k) = 737*k**3 + 1 + 857*k**3 - k - 236*k**3 + 233*k**3. Is 46 a factor of m(1)?
False
Suppose 14*g - 257973 = -24243. Is 105 a factor of g?
True
Let p(c) = 391*c**2 + 262*c. Is 15 a factor of p(-2)?
False
Let x(r) = 6*r**2 - r - 75. Is x(7) a multiple of 7?
False
Let x be (((-62)/(-3))/1)/(10/(-45)). Let w be (-1 - 0 - x)*22/8. Let i = w + -51. Does 54 divide i?
False
Let o(c) = -31 - 7 + 16 - 239*c - 14. Is 42 a factor of o(-3)?
False
Let b(a) = a**2 - 2*a + 9. Let t be b(6). Suppose -4*w - 3*k = -w - 36, -4*w + t = k. Suppose w*v = 2*v + 115. Does 11 divide v?
False
Let c(a) = -5*a**2 - 181*a + 53. Does 21 divide c(-36)?
False
Let y(h) = -5*h**2 - 5. Let u be y(3). Let q = 71 + u. Does 58 divide 4870/14 + 3/q?
True
Let i(b) = -16*b**3 - 6*b**2 + 53*b + 157. Is 71 a factor of i(-7)?
False
Let z be 10/(30/(-87)) - 3. Is 38 a factor of z/16 + (-477)/(-1)?
False
Let b = -17195 - -18905. Is b a multiple of 18?
True
Suppose n - 5*n - 80 = 0. Let g be (-70)/(-17) - 68/578. Is 4 a factor of (g - (0 - -1)) + n + 49?
True
Let x be (1/1 + -3)*-67. Let v = -132 + x. Suppose -2*c - 3*i + 301 = 0, -c - v*i + i = -152. Does 31 divide c?
True
Let c(i) = 71*i**3 + 10*i**2 - 20*i + 48. Does 16 divide c(4)?
True
Is 233 a factor of 7906 + -3 + (228/(-133))/((-6)/(-21))?
False
Suppose 2038 + 110 = 4*r. Suppose 0 = -4*h + 5*p + 527, -4*p = 4*h - 7*p - r. Is h a multiple of 46?
True
Let f be (32/(-5) + 0)/(126/945). Let a = 51 + f. Suppose -3*g = -a, -3*q = -0*g - 5*g - 322. Is q a multiple of 7?
False
Let w(x) = 86*x**2 + 256*x - 138. Is w(-25) a multiple of 11?
True
Let f(j) = j**3 + 110*j**2 - 50*j + 430. Is f(-105) a multiple of 7?
False
Let u(a) = -20*a**2 + 23*a - 11. Let k(c) = 5*c**2 - 6*c + 3. Let z(x) = -9*k(x) - 2*u(x). Let m be z(2). Does 4 divide (-348)/m - 4/6?
False
Let r be 99/(-22)*(-1342)/3. Suppose 239*o - 250*o = -r. Does 43 divide o?
False
Let o(f) = 3*f**2 + 13*f + 9. Let j be o(-14). Let w = j + -396. Does 5 divide w?
False
Let r = -12 - -68. Suppose 349 - 85 = -12*p. Is 14 a factor of (3/(6/r))/((-4)/p)?
True
Let i = 17283 - -10457. Is 190 a factor of i?
True
Let d = 249 - 240. Suppose -11 = -4*l + d. Is l even?
False
Suppose 2*a - 7009 = -w, -1491*w + 1486*w = -3*a - 35136. Is 49 a factor of w?
False
Suppose 4732 + 163570 = 21*j + 20966. Is j a multiple of 8?
True
Let r(p) = p**2 - 5*p + 470. Is 7 a factor of r(46)?
False
Suppose -11*z + 57*z - 30912 = 0. Let y = -605 + z. Does 6 divide y?
False
Let y(a) = 7 - 5*a - 6 + 5*a - 2*a**2. Let c be y(-1). Let v(f) = -57*f - 3. Is 9 a factor of v(c)?
True
Let w(c) = 3*c. Let i(u) = u - 865 - 3*u + 862. Let d be i(-6). Is 3 a factor of w(d)?
True
Let l be (0 - 6)/(42/(-28)). Suppose l*u = 14*u - 1240. Is 2 a factor of u?
True
Let m = -125 + 93. Let c = m - -101. Suppose 2*v - 101 - c = 0. Is v a multiple of 19?
False
Suppose 0 = 8*m - 17*m. Suppose m = -4*r + 3*r + 377. Is 15 a factor of r?
False
Let d be -3*(-1)/6 + (-6)/(-4). Suppose -6*t = -9*t - 5*f + 1917, d*t + 4*f - 1280 = 0. Does 27 divide t?
False
Let w be 2 + 821 + 10 + -6. Let m = w + -397. Does 12 divide m?
False
Let c = -241 + 245. Suppose 3*p = -5*l + 3174, c*l + 17*p - 16*p = 2542. Is l a multiple of 16?
False
Suppose -2*z + 2430 = 5*t, z = t + 201 + 1021. Is z a multiple of 10?
True
Let t = 41 - 39. Let i be -2 + 10 - 9/6*t. Suppose 2*z + i*y = 128, 142 = 3*z - 3*y - 2*y. Does 17 divide z?
False
Suppose 2*h + 1254 = 3*r, 3*h = 5*r - 875 - 1214. Let m = r + -64. Does 22 divide m?
True
Suppose 0 = 3*z - 12, -18*z + 538 = n - 20*z. Suppose 0 = 64*w - 70*w + n. Is 12 a factor of w?
False
Let l(p) = 2*p - 6. Let n be l(-26). Let c = 77 + n. Let f = c + 3. Is f a multiple of 8?
False
Let m be -1159*1 + (-44)/(-11). Is m/(-28) - (-3)/(-12) a multiple of 12?
False
Suppose 2*r - 2*a - 88 = 0, -r + 5*a = -61 - 3. Let j be r/12*56/2. Let n = 316 - j. Does 51 divide n?
False
Suppose 2*j - 33*p + 31*p = 4582, 2*p + 11455 = 5*j. Does 5 divide j?
False
Let b be (0 + -1)*(-591)/(-3). Let p be b/((-1)/6*2). Suppose 5 = -r, -k = -3*k - 5*r + p. Is k a multiple of 14?
True
Suppose -32 = q + 4*j - 168, -332 = -2*q + 4*j. Does 12 divide q?
True
Let a(i) = -595*i - 143. Is 43 a factor of a(-3)?
False
Let t = 121058 - 50902. Is t a multiple of 13?
False
Suppose -14678 = -3*k + 105866 + 9524. Is 12 a factor of k?
True
Let x = 950 + -485. Suppose -4*r - 429 = -x. Does 2 divide r?
False
Let c be (-3 - (-2 + -2)) + 4. Suppose 1187 = c*z - 4*w - 206, 0 = -2*z - 2*w + 568. Suppose -5*u + 7 + z = -3*l, u + 2*l = 55. Is u a multiple of 10?
False
Suppose 4*v + 6 + 2 = 0. Let g be v/((-525)/(-515) - 1). Let d = g - -180. Does 12 divide d?
False
Is 3 a factor of (-2)/(-10) - 15/((-750)/15640)?
False
Let l be 2/(