 - 417963 = 0. Does 100 divide v?
True
Suppose -11*l - 14 - 184 = 0. Is 195/2 + (-135)/l + -6 a multiple of 11?
True
Let i be -2 - 3/15*5. Let k be -1 - -26*(i + 2). Let q = 43 + k. Is 16 a factor of q?
True
Suppose 0 = 6*s + 7*s - 7839. Let c = 297 + s. Is c a multiple of 61?
False
Let v be 7632 - (-5 - (-20)/4). Suppose 11*b = -13*b + v. Is b a multiple of 70?
False
Let i be ((-300)/80)/(1/(-28)). Suppose -13*o - i = -20*o. Does 17 divide 2/(-6) + (2690/o - -7)?
False
Let l be 19 + -170 - (0 - 1). Let v = l - -282. Is 11 a factor of v?
True
Let k(m) = 123*m**3 + 50*m - 168. Is 15 a factor of k(4)?
False
Does 13 divide 111/1998 + (-16143)/(-54)?
True
Suppose -4*r - 959 = 1941. Does 14 divide ((-198)/10)/(87/r)?
False
Let y(l) = l - 12. Let z be y(16). Suppose -4 = 4*i, 5*i + z = -5*o + i. Suppose -5*s + 359 + 86 = o. Does 11 divide s?
False
Let s(w) = 2*w**3 + 54*w**2 + 107*w - 100. Is s(-22) a multiple of 8?
False
Suppose -3*f = 3*o - 78, f + 0*f + 16 = o. Suppose -4557 = o*z - 24192. Is z a multiple of 17?
True
Suppose 0 = 10*h + 252 - 112. Is (24/112 + (-4)/h)*88 even?
True
Let i = -136 - -122. Let m(s) = -5*s + 48. Is m(i) a multiple of 4?
False
Is 36 a factor of 12/(-30)*(-10)/4 + 35?
True
Let g(q) = 9*q + 25 - 15*q + 2*q. Let j = 21 + -26. Is g(j) a multiple of 9?
True
Suppose -4*n - 2*y = -3*y - 664, -5*y = 2*n - 354. Suppose 4*m + r = n + 78, -40 = -m + 4*r. Let b = m + -32. Is 7 a factor of b?
True
Suppose -3*f - 4*m = m + 114, -3*f - 108 = 3*m. Let v = f - -167. Is 25 a factor of v?
False
Let i(r) = r**3 - 23*r**2 - 18*r + 68. Let y be i(-17). Is 13 a factor of 2/(-9) + y/(-846)?
True
Let p(i) = i**3 - 2*i + 3. Let z be p(1). Let a be 98/(-28) + z/4. Let r(j) = -j**3 - 3*j**2 - 4*j + 7. Is 4 a factor of r(a)?
False
Suppose 11*c - 17*c + 126 = 0. Suppose 22*z - 331 = c*z. Let f = -217 + z. Is f a multiple of 38?
True
Let k(q) = q**3 + q**2 - q. Let u be k(0). Suppose -102*o + 255 = -97*o. Suppose 4*s + 3*x - o = u, -4*s - x = x - 46. Is 6 a factor of s?
False
Let o(w) = w**2 - 12*w + 12. Let x be o(12). Suppose -3*l + x = 0, 2*f - 726 - 118 = -l. Is 30 a factor of f?
True
Let t = 71561 - 26395. Is 11 a factor of t?
True
Let g be 2/6*(-225)/(-3). Let n(p) = 9*p**2 - 18*p - 4. Let b be n(2). Does 13 divide b/(-20) + 320/g?
True
Is 16/192 - (4 - (-224058)/(-72)) a multiple of 58?
False
Suppose -9*u + 550 - 145 = 0. Let b(c) = -c**2 + 44*c + 169. Is 4 a factor of b(u)?
True
Let k be ((-17)/5)/(-1) + 16/(-40). Suppose 5*d - 29 = -k*o, 0*d + 5*d - 5 = 5*o. Let p(g) = g**3 + 8*g**2 + 5*g - 2. Does 30 divide p(d)?
True
Let j(h) be the second derivative of -8*h**3 - 62*h**2 - 2*h + 61. Is 13 a factor of j(-4)?
False
Is (1 - 3/(39/(-52063))) + (-88)/(-572) a multiple of 79?
False
Let v(b) = 2*b + 40. Let f be v(-15). Let w be (-204)/(-60) - (-6)/f. Suppose 4*h - o = 226, -w*h + 9*h - o = 282. Is h a multiple of 7?
True
Let p(q) = 8*q**3 + q**2 - 3*q + 2. Let i(f) be the third derivative of -f**5/60 + 3*f**4/8 - 7*f**3/6 + 7*f**2. Let k be i(8). Is 2 a factor of p(k)?
True
Let u(i) = 74*i + 2*i**3 - 3*i**2 - i**3 - 77*i. Suppose -12*f + 10*f = -14. Is 15 a factor of u(f)?
False
Is 42*(-2)/(3*(177372/(-22167) - -8)) a multiple of 21?
True
Let d(i) = 89*i**2 - 8*i + 9. Let l be d(-5). Let p = l + -1437. Is p a multiple of 31?
True
Suppose -35*l + 32*l = -309. Suppose h - l = 57. Suppose 7*v - 5*v - h = 0. Is v a multiple of 16?
True
Let o be 56/(-8) - -3 - -208. Let m = 12 + o. Is 6 a factor of m?
True
Suppose 3*r = 4*c - 0*r - 22, 8 = 3*c + 2*r. Let x be (-1624)/(-42) + c/(-6). Let k = x + -28. Is k a multiple of 10?
True
Suppose 4*o - 5*p - 1107 = 0, -o + 426 = -5*p + 138. Suppose 36*v - o = 29*v. Does 8 divide (-2)/(v/52 - (-1 + 2))?
True
Suppose 132012 = -x + 37*x. Is 51 a factor of x?
False
Is ((-1770)/(-1))/((-28)/(-154)) a multiple of 59?
True
Let m = -251 + 234. Let f(v) = 2*v**2 + 15*v + 85. Is 24 a factor of f(m)?
True
Suppose -5188*y + 5168*y + 33160 = 0. Is y a multiple of 98?
False
Let c(l) = -5*l + 0 - 3*l**2 - 2*l**3 + l**2 - 5. Let z = -1607 - -1604. Is 7 a factor of c(z)?
False
Is 3 a factor of (-1)/(2 + -6 + 5) - (-23 - 409)?
False
Suppose -i - 5*z = -1409, -4*i + 1598 + 4038 = 3*z. Is i a multiple of 45?
False
Let l be (-24)/(-84) - 4/14. Let t(n) = -n**2 - 3*n + 245. Let o be t(l). Suppose -4*i + 125 = -5*v - 80, -5*v + o = 5*i. Is i a multiple of 44?
False
Let v be (-78)/13*(-1 - 1). Let h(p) = 3*p**2 - 19*p + 15. Is 33 a factor of h(v)?
False
Suppose 26 = 4*p + 9*p. Suppose m = 5*l - 978, 11*l + p*m - 788 = 7*l. Is l a multiple of 14?
True
Suppose 3*k = 4*n + 5682, 4*n = 5*k + 15*n - 9364. Is 23 a factor of k?
True
Let v(p) = p**3 + 37*p**2 + 238*p + 26. Is 160 a factor of v(-17)?
True
Let k(b) = -687*b + 3238. Is k(4) a multiple of 14?
True
Let h = 41 - 44. Let y(s) = 23*s**2 + 3*s + 4. Let n be y(h). Suppose -3*l = -n + 40. Is l a multiple of 27?
True
Suppose 144 = -5*a - 371. Let n(h) = -2*h**2 - 12*h - 46. Let x be n(-4). Let o = x - a. Is o a multiple of 18?
False
Let x be ((-88)/(-12))/((-2)/(-57)). Let h = x - 144. Does 5 divide h?
True
Suppose 0 = 4*n + y - 2*y - 140, 4 = y. Let j = n + 492. Is 33 a factor of j?
True
Suppose -9*f = -16*f + 2723. Suppose 4*m - f = -p, 5*m - 475 = -10*p + 5*p. Is 7 a factor of m?
True
Let v be 1 + (-58)/9 + (-8)/(-18). Does 19 divide (-5 - -910) + (-2 - v)?
False
Let w = 31 - 29. Suppose -3985 = -5*o - 5*a, -1405 - 195 = -w*o + 4*a. Does 57 divide o?
True
Let z = -865 + 614. Let c = 266 + z. Is c a multiple of 5?
True
Let i(p) = -5*p - 16. Let a be i(-4). Let h(k) = k**3 + 4*k**2 - 6*k + 7. Let n be h(a). Suppose -4*t - 39 = -n. Is t a multiple of 9?
True
Let h(t) = -57*t - 2. Let i(d) = 28*d + 1. Let z(s) = -3*h(s) - 7*i(s). Let r be z(-1). Suppose y = -0*y - 2*o, 5*y = -2*o + r. Is y a multiple of 3?
True
Suppose 933*q = 1838*q - 954*q + 1473087. Is q a multiple of 35?
False
Let v = -82 + 82. Suppose v = b + 3*b + 100. Let h = 51 + b. Is h a multiple of 10?
False
Let f = 9085 - 6127. Is f a multiple of 7?
False
Let t(o) = -10*o - 2*o + 19*o**2 - 15 + o**3 - 5 - 7*o. Let c be t(-20). Let h = c + 47. Is 2 a factor of h?
False
Let h = 172 - -215. Suppose 6*k = 7*k + 5*y - h, 2*k - y - 785 = 0. Is 49 a factor of k?
True
Suppose 3*w + 2 = 4*y - 7, 7 = 2*y + w. Suppose -2*q + 5*g + 170 = 0, -7*q + 166 = -5*q - y*g. Is 17 a factor of q?
False
Suppose -25 = 4*b - 4*f - 93, -35 = -b - 5*f. Let l(s) = -2*s**2 + 170*s - 1622. Let n be l(74). Is 11 a factor of 3315/b - n/8?
True
Suppose 4*l + 51 + 217 = 0. Let o = -65 - l. Suppose 4*h = -o*q + 222, 32 = 4*h - q - 205. Is 5 a factor of h?
False
Suppose 3*r = -6*t + 2*t - 482, 470 = -4*t + 3*r. Let c be (1*-1)/((-7)/t). Let h(x) = -3*x - 2. Is 15 a factor of h(c)?
False
Let b = 268 + -265. Suppose 3*u - 5*u - 380 = -b*s, -2*s - 5*u = -285. Is s a multiple of 66?
False
Is 129 a factor of (22 - -28702)*(9/12 + 0)?
True
Suppose -36*d + 20*d - 211848 = -113*d. Does 21 divide d?
True
Does 17 divide 23858/(-395)*5*-17?
True
Let q(z) = -z + 3. Let w be q(-8). Suppose -t - w + 33 = 0. Does 2 divide t/(-88) + (-33)/(-4)?
True
Is 46 a factor of 121716/189 + 1 + -1?
True
Let w be -1*6*6/12. Let i be (-5 - w)/((-3)/(-57)). Does 3 divide i/(-171) - (-52)/9?
True
Suppose 0 = -w - 5*p + 147, -w + 179 = -33*p + 30*p. Does 15 divide w?
False
Suppose 10*z + 328*z = 2666588 + 5203742. Is 73 a factor of z?
False
Let y(r) = 10798*r - 5718. Is y(5) a multiple of 16?
True
Let y be 40/12 - 10/(-15). Suppose 6*t - t = -2*d + 380, -y*t - 164 = -d. Is 20 a factor of d?
True
Let n = -13450 + 14959. Does 55 divide n?
False
Suppose 0 = -5*p + 4*p. Suppose -3*f + 9 = p, -k - 2*k - 5*f - 210 = 0. Is (-18)/48 + k/(-8) a multiple of 3?
True
Let n be 170 - (3/6 - 6/(-4)). Suppose 2*t - n = 5*t. Let i = t - -137. Does 27 divide i?
True
Is (204 + -16)*(1 + 1) a multiple of 4?
True
Suppose -2*j = -2*l + 9832, -10*j = 5*l - 9*j - 24604. Is l a multiple of 82?
True
Suppose -5*y = q - 12, q = y + 4*y - 8. Suppose -q*a - 1 = 3, -j + 3*a = -86. Does 9 divide j?
False
Is (-155727)/(-66) - 3/(-2) a multiple of 3?
True
Let m(h) = h**2 - 2*h - 12. Let w be m(5). Suppose -3*y + 21 = -z - 2, -w*y + 2*z = -28. Is (33/y)/((-5)/(-10)) a multiple of 11?
True
Let b = 512 + -504. Let x(g) = 2*g**