actor of x(3)?
False
Let o be (0*(1 + 9/(-6)))/(-2). Suppose o = 4*c - 4*w + 176, w - 133 = 3*c - w. Let m = c - -61. Is m a multiple of 11?
False
Suppose -4*g - 6*k + 3*k = -1792, -4*k = -16. Suppose 4*m - 426 + 79 = 5*c, -5*m + g = -4*c. Suppose -m = -3*u - 9. Is u a multiple of 3?
False
Let y(t) = -2*t**3 - 4*t**2 - t + 3. Let v be (12/16)/(27/(-72)). Is 5 a factor of y(v)?
True
Suppose -9*t - 13709 = -43841. Is 54 a factor of t?
True
Suppose 36*s - 8268 = -g + 40*s, 2*g - 16536 = 4*s. Is 26 a factor of g?
True
Let a = 39 + -27. Let c(n) = -n + 1. Let z(p) = 15*p + 3. Let g(j) = a*c(j) + 3*z(j). Is 46 a factor of g(7)?
False
Is ((-6083 + -26)/(-41))/((-1)/(-13)) a multiple of 13?
True
Let z(o) = 4*o - 22. Let l be z(-10). Let n(h) = 5*h**3 - 4*h**2 + h + 2. Let t be n(3). Let s = t + l. Is 6 a factor of s?
True
Is (12033/382)/((-1)/(-194)*1) a multiple of 9?
True
Suppose -265405 - 107091 = -36*r + 220208. Is 28 a factor of r?
True
Suppose -685*g + 7664520 = -4054460. Is 91 a factor of g?
True
Suppose 30816 - 4270 = -13*c. Let x = -1311 - c. Is x a multiple of 17?
True
Does 24 divide (-291596)/(-30) + 107/15 + -7?
True
Suppose 0 = -43*u + 39*u + 9800. Does 98 divide u?
True
Let v(r) = 48*r**2 - 57*r - 1141. Is 25 a factor of v(-17)?
True
Let s = 11972 + -4766. Is 69 a factor of s?
False
Let q(r) be the second derivative of -r**4/12 + 7*r**3/3 - 4*r**2 - 49*r. Is q(12) a multiple of 7?
False
Let k be (-18)/63 + 153/21. Suppose q + 104 = -k*q. Let v(a) = -6*a - 30. Does 24 divide v(q)?
True
Suppose 3*d - 1164 = -4*j, -572 = 8*j - 10*j + d. Suppose 21*r - 12*r = j. Is 3 a factor of r?
False
Suppose 14*c = 18*c + 24, -3*v + 3*c + 28773 = 0. Is v a multiple of 2?
False
Let k(d) = 363*d - 2200. Does 16 divide k(8)?
True
Suppose i - 5 = 62. Let g be (4 - (-3 + -62))/(-1*(-2)/6). Let s = g - i. Is s a multiple of 10?
True
Let v be (10/12)/(-5)*-18. Suppose -31 - 308 = -v*k. Is k a multiple of 30?
False
Let h(z) = -1095*z**3 - 4*z**2 + 174*z + 353. Is h(-2) a multiple of 134?
False
Suppose -25*v = -33626 + 15997 - 32171. Does 12 divide v?
True
Suppose -2*o - 5*p + 623 = -1396, 0 = o - 4*p - 1003. Does 41 divide o?
False
Let o(g) = -34*g - g**3 + 3*g**2 - 33 + g**2 + 38*g. Is o(-8) a multiple of 23?
False
Suppose -9*n = -13*n + 3*c + 38, 0 = -4*n - 3*c + 26. Suppose -l - 98 = -4*o - 3*l, -60 = -3*o + 3*l. Does 9 divide 7/14*n*o/4?
False
Suppose -8564 - 22577 = -19*k. Does 110 divide k?
False
Let z(g) be the second derivative of -37*g**3/6 - 8*g**2 - g. Let s be ((-11 - -6) + -2 - (2 + 2)) + 7. Is z(s) a multiple of 21?
False
Suppose -90*k - 8726 = -809816. Is 23 a factor of k?
True
Suppose 9*l + 0 - 72 = 0. Is 40 a factor of 1919/l + 10/80?
True
Let h(q) = q**3 - 8*q**2 + 7*q + 15. Let m be h(5). Let r = -99 - -168. Let p = m + r. Is p a multiple of 13?
False
Suppose 6*o - 3*o - 5*f = -7, 0 = 2*o + 3*f - 8. Suppose -3*d - o = 17. Is 864/9 + (-2 - d) a multiple of 23?
False
Let h = 48 + -54. Is (4 + (-9 - h))*113 a multiple of 26?
False
Suppose j - 18166 = 3*h, -74*h + 79*h = 4*j - 72685. Does 28 divide j?
False
Let z = 63 + -58. Suppose z*m = 4*r - 173, -3*m + 40 = r + 1. Is 20 a factor of (-6)/(-21) - (-7548)/r?
True
Does 13 divide (4 + (-30)/10)/(2/8042)?
False
Suppose 3*i - 15 = -3*h, 4*i - 26 + 8 = -5*h. Suppose 5*v - 7 = 3*d, 0 = 4*v + d - 15 + 6. Suppose -v*r + i*r = 440. Is 8 a factor of r?
True
Suppose 136*a + 53*a - 753242 = 16*a. Does 16 divide a?
False
Let x = 98 - -31. Let a = -19 + x. Does 22 divide a?
True
Is 4 a factor of -12 - -10 - -649 - 6?
False
Suppose 264 = -5*n - 4*l, n = -n + 3*l - 124. Suppose 113*x - 110*x = -498. Let q = n - x. Is 10 a factor of q?
True
Suppose 17439 - 15698 = 296*j - 40883. Does 40 divide j?
False
Suppose -1648 = -13*k + 393. Let v be -79*(5 + -3 - 3). Let u = k - v. Is 16 a factor of u?
False
Suppose -4 = -26*d + 28*d. Let s be 10/d - 50/(-10). Suppose -11*m + 387 + 141 = s. Is m a multiple of 6?
True
Let y(t) = 14*t + 259. Let d(j) = j**3 - j**2 + 32*j - 85. Let m be d(3). Is y(m) a multiple of 6?
False
Suppose -27*b + 304 + 155 = 0. Is (1 - -5 - -25)*b a multiple of 17?
True
Let p(t) = t + 41. Let b be p(24). Let j = b - 63. Suppose 160 = 6*q - j*q. Is 8 a factor of q?
True
Let c(p) = 10*p**2 + 16*p - 3. Does 22 divide c(-7)?
False
Let j(s) = 176*s + 6. Is 23 a factor of j(38)?
False
Let r be -9*(6/21 - 993/21). Suppose 5*s - 163 + r = 0. Let l = s - -58. Is 3 a factor of l?
True
Let t(r) = 4*r**2 + 48*r. Let b be t(-12). Suppose 4*i + 0*l + 5*l - 1518 = b, -2*i - 5*l = -764. Does 8 divide i?
False
Let u be (-17)/(-4) - (76/(-16))/(-19). Suppose u*i = -3*h + 549, -448 = -0*i - 3*i + 5*h. Is 11 a factor of i?
False
Suppose 1056 = -5*g + 13*g. Suppose -3*s + 153 = 3*r - r, g = 2*r - 4*s. Does 4 divide r?
True
Let h(p) = 10*p**2 + 9*p + 1003. Is h(-27) a multiple of 115?
True
Suppose 93*x + 24*x - 45747 = 0. Is x a multiple of 54?
False
Suppose -3*t - k = -9, -5*t + 2*k - 5*k + 19 = 0. Is (-1)/(((-6 - -2)/232)/t) even?
True
Let c(k) = k**2 + 35*k + 69. Let s be c(-2). Suppose -s*a - 2*p + 2005 = 0, 0 = -6*p + 3*p + 15. Is a a multiple of 13?
False
Does 26 divide 624/(-18)*-9*(-106)/(-12)?
True
Suppose 5*w + 6 = 3*i, 8 + 0 = 4*i + 4*w. Suppose -5*p - 3*f = -90, -2 = -i*p + 4*f + 8. Suppose -b = -x - p, 4*x = -4*b + 3*x + 60. Does 15 divide b?
True
Let p = 4776 - 3854. Is p a multiple of 3?
False
Suppose -4*n + 312857 = 25*n - 226311. Is n a multiple of 112?
True
Suppose 0 = -8*x + 11*x - 15. Suppose 3*b = -5*i + 571, 5*i + x*b - 567 = 4*b. Let j = i + -75. Does 11 divide j?
False
Suppose -43*z = 277 - 3588. Is z a multiple of 4?
False
Suppose 0 = 2*c - 23 - 601. Let s = 4368 - 4130. Suppose -2*k - v = -c, k + 83 = -v + s. Is 20 a factor of k?
False
Let w(o) = 5 - 11*o**3 + 28*o**3 - 16*o**3 - 13*o**2 + 24*o. Let b be w(11). Suppose 18 = -t + b. Does 9 divide t?
True
Is 3238200/(-1380)*(-30)/4 + 4/46 a multiple of 22?
False
Suppose 58 = -5*s - 5*m + 4498, 7*s + m - 6228 = 0. Is s a multiple of 21?
False
Let x(k) = 5*k**2 + 14*k - 1. Let v be x(6). Suppose 0 = -y + 3, v = 5*n - 4*y - 100. Does 3 divide n?
True
Let p(r) = -r**2 - 3*r + 67. Let a be p(6). Suppose -4469 = -5*i + 2*j, a*i - 8*i - 5*j = 4460. Is i a multiple of 40?
False
Let s be (55/4)/((-1)/4). Let j = s + 55. Suppose v + 3*m = -3*v + 46, -m + 2 = j. Does 6 divide v?
False
Let g(f) be the first derivative of 2*f**2 + 8*f + 69. Is 15 a factor of g(28)?
True
Let t be (-6 - -2)*(3 + 13). Let w = 29 - t. Is w a multiple of 31?
True
Let z(n) = n**3 - 6*n**2 + 9*n - 11. Suppose 0 = 5*g - 10*g + 40. Does 31 divide z(g)?
False
Let k(q) = -4*q - 4*q - 15 + 5 - 32*q**2 - 94*q**2. Let b(x) = -63*x**2 - 4*x - 5. Let p(v) = 5*b(v) - 3*k(v). Is p(-1) a multiple of 15?
False
Is (-8 - -12)*4/2 - -5512 a multiple of 24?
True
Let i(p) = p**2 + 20*p + 89. Let x be i(-15). Suppose 3432 = -x*o + 17250. Is o a multiple of 47?
True
Let j = -40709 + 45430. Is 9 a factor of j?
False
Let r(t) = 96*t + 3990. Is r(25) a multiple of 15?
True
Let a(j) = j**3 - 8*j**2 + 6*j - 51. Let f be a(8). Is (-1 - -432) + f/((-24)/32) a multiple of 15?
True
Let s be (-4)/(-6)*(-483)/(-14). Suppose s*m = 24*m - 16. Suppose 9*v = m*v - 1456. Does 36 divide v?
False
Suppose -2*p + 159 - 49 = -3*r, 145 = -4*r + p. Let x = r + 32. Let v(c) = 3*c**2 + 8*c - 1. Is v(x) a multiple of 3?
True
Suppose 20672 = 4*u + 2*j - 2832, -3*u + 5*j + 17680 = 0. Is u a multiple of 12?
True
Let y(d) = -37*d**2 - 46*d - 116. Let s be y(-16). Does 19 divide ((-66)/(-88))/(1 + s/8864)?
False
Let p(g) = 6467*g + 468. Does 26 divide p(2)?
False
Let p be (-4)/6 + (-130)/(-6). Suppose -28*c + p*c = -574. Is c a multiple of 10?
False
Is 109 a factor of (7 + 41)*((-133)/(-2) + -17 + 23)?
False
Suppose 24*u - 5 + 5 = 0. Suppose 27*z + 2638 - 44758 = u. Is z a multiple of 20?
True
Let b = 85 + -51. Suppose 2*n + 154 + b = 4*f, -144 = -3*f + 3*n. Is 5 a factor of (f/(-8))/((-2)/8)?
False
Let r(b) = 2*b**2 - 25*b + 11. Let g be r(21). Suppose 1400 + g = 17*n. Does 4 divide n?
True
Let l = 25 - -5. Let v = -604 - -862. Let p = l + v. Is 12 a factor of p?
True
Suppose l + 4 = 3*l. Suppose -2*j + d + l*d + 945 = 0, 5*j = 4*d + 2345. Let q = -310 + j. Does 35 divide q?
False
Let r(i) = -33*i + 1542. Does 78 divide r(-37)?
