d - 11550 = 964*d. Is 6 a factor of d?
True
Let j be (2/4)/((-22)/(-132)). Let n(d) = 4*d**j + 10*d**3 + 7*d**3 - 10*d**2 - 20*d**3 + 20. Does 10 divide n(10)?
True
Let q(y) = -5*y**3 - 14*y**2 - 21*y - 43. Is 52 a factor of q(-7)?
False
Is 58 a factor of (26264/(-10) - -2)/(-11 - (-583)/55)?
False
Suppose -3*f + 3 = m - 2*m, 3*m + 4*f + 22 = 0. Is 11 a factor of m/6*-127*1?
False
Suppose 3*z + 32038 = -5*l + 137723, -5*z - 3*l = -176131. Is 25 a factor of z?
True
Suppose 9*p = 38*p - 67280. Is p a multiple of 29?
True
Let a(i) = -i**2 - 202*i + 431. Is a(-67) a multiple of 24?
False
Suppose -15*g + 11492 = -6*g - 5*g. Is 16 a factor of g?
False
Suppose 13*q = 17 + 35. Suppose -3*u + 837 = q*n, -3*u - 837 = -6*u - 2*n. Is 9 a factor of u?
True
Suppose 23*s - 75594 - 8080 = 0. Does 34 divide s?
True
Let i = 12824 - 11649. Does 3 divide i?
False
Let i(n) = 357*n**2 + 162*n - 13. Is i(-7) a multiple of 22?
True
Let f(h) = -448*h + 1752. Is 119 a factor of f(-27)?
False
Suppose 5*y - z = -62, 5*z + 82 - 28 = -3*y. Let f(a) = a**2 + 9*a + 17. Let b be f(y). Suppose x = 5*n + b, 2*x = 5*x + 2*n - 275. Is 13 a factor of x?
False
Suppose 162*p - 702522 = 161910. Does 8 divide p?
True
Let c = -195 + 201. Does 35 divide 3*(-4461)/(-54)*c - 2?
False
Let n = -329 - 52. Let p = n - -411. Is p a multiple of 30?
True
Suppose 0 = 4*q - 3*z - 84, -25 - 4 = -3*q - 2*z. Is 5 a factor of q?
True
Let c(i) = 93*i**3 - 3*i**2 + 2*i + 1. Let t be c(1). Let w = 233 - t. Is w a multiple of 4?
True
Let u(x) = -2*x - 26. Let y be u(-17). Suppose -2*h + 4*g = -y, -5*h + 0*g - 3*g + 7 = 0. Suppose -127 = -k + h*t, -2*k + 496 = 2*k - 5*t. Does 31 divide k?
False
Suppose -3*w = -6, w = 5*l + 16 + 36. Suppose -s = o - 44, -2*s = o + 14 - 61. Does 28 divide 2*o*(25/l - -3)?
False
Suppose 199*z = 202*z - 5*x - 615, 0 = 4*z - 3*x - 831. Is 5 a factor of z?
True
Let u be 5216/1 + (-6 - (-15)/3). Suppose 1318 = j - 5*d, j - d - u = -3*j. Suppose -9*g + j = 511. Does 22 divide g?
True
Let i = 87 - 63. Suppose -z = 3*z + i. Does 8 divide -3 - (2041/(-39))/((-2)/z)?
False
Let k(n) = -3*n**2 + 24*n + 18. Let d(b) = b**2 - b + 1. Let z(x) = -2*d(x) - k(x). Let g be z(23). Suppose -4*l + 145 = -g*l. Is l a multiple of 13?
False
Suppose 6*v + 90 = -12*v. Let o(x) = -3*x**3 - 7*x**2 - 7*x + 8. Is 9 a factor of o(v)?
True
Suppose 5*u - 7 = 5*h + 23, -h = 2*u - 6. Suppose -21 = -p + u*l - l, -3*p + 4*l = -83. Suppose -f = -0 - p. Is f a multiple of 11?
True
Suppose -665 = -6*r + 415. Suppose 0 = -4*n + 3*g + r, 188 = 4*n - 0*g - g. Let x = -8 + n. Is x a multiple of 12?
False
Suppose 0 = 1204*w - 976*w - 4017816. Is 89 a factor of w?
True
Let g = 8 - 6. Suppose 0 = -m - g*m + 21. Suppose m*b - 71 = 34. Is b a multiple of 5?
True
Let j be (-104)/(-520) - 19/(-5). Is ((-5)/j)/5*6*-342 a multiple of 9?
True
Suppose -6033 = -f + 5*m, -13*m - 30142 = -5*f - 11*m. Is f a multiple of 22?
True
Let s(t) = 165*t**3 - 2*t**2 - 14*t + 21. Let w be s(3). Is 44 a factor of (-4)/1 + w/8?
False
Let o = 56 + -51. Let g be (3 + o + -2)/(-2). Is g/(6/(-136)) - (-59 - -58) a multiple of 8?
False
Let k(q) be the second derivative of q**3/3 + 5*q**2 - 8*q. Let t be k(-3). Suppose c + 327 = t*c. Is 16 a factor of c?
False
Let c = -3865 + 4345. Is 96 a factor of c?
True
Suppose 33*h = 24161 - 3239. Let j = -338 + h. Does 74 divide j?
True
Let b = 33 + -47. Let v be ((-288)/112)/((-2)/b). Let t = v + 66. Is 12 a factor of t?
True
Suppose 4*g - 41247 = -5047. Is g a multiple of 9?
False
Suppose 3 = 2*v + v, -5*f + 27 = 2*v. Suppose 3*l + t - 26 = -3*t, 5*l - 3*t = -f. Suppose -l*u + 4*g = 2*u - 200, 2*g + 8 = 0. Does 8 divide u?
False
Suppose 81*y = 84*y. Suppose 224 = n + n + g, 3*n - g - 331 = y. Suppose 2*p - n - 141 = 0. Is p a multiple of 18?
True
Suppose 12*w - 40 = 7*w. Let k be w/((-96)/(-270))*2/3. Suppose 0 = 2*y, -b = 3*y - k - 183. Is b a multiple of 9?
True
Suppose z - 5*v = 3*z - 1658, -2*v = z - 827. Does 13 divide z?
True
Is 24 a factor of 54/36 + (4/(-26) - 29723389/(-806))?
False
Is (582/970 + (-114)/10)*15/(-1) a multiple of 3?
True
Suppose 2*g + 4817 - 22833 = -4*w, -3*w = -g + 8988. Suppose 701*r = 692*r + g. Is r a multiple of 20?
True
Let h = 115 - 99. Let n = -18 + h. Is 29 a factor of (n*2)/((-12)/522)?
True
Let f(g) = -654*g - 345. Is 21 a factor of f(-10)?
True
Does 88 divide -1036*((-249)/12 + -6) + 7?
True
Suppose n - 5*h - 52 = 0, -3*n - 152 = -5*n - 2*h. Let i = -63 + n. Is 3 a factor of i?
True
Let p = -36 + 20. Let r be 174/((-54)/p + -3). Suppose 5*f - 1 - r = 0. Is 40 a factor of f?
False
Suppose -s + 96 = -3*j, 2*j - 3*j = -4*s + 340. Suppose -2*o + 4*c - 15 - 61 = 0, -2*c = -4. Let h = o + s. Is h a multiple of 10?
True
Let c be 2/8 + ((-875)/(-20))/5. Let a(y) = 195*y**3 + 5*y + 5*y**2 + y**2 - c + 8*y - 196*y**3. Does 29 divide a(7)?
False
Does 43 divide -8*(16 - (-15509)/(-26))?
True
Let z(d) = 9*d - 6. Let i be z(-6). Let w = 343 - i. Is 13 a factor of w?
True
Is 103 a factor of (-80 - 20035)*6/(-6)*(-4)/(-10)?
False
Let s = 425 + -260. Suppose 2*d - 129 = s. Suppose 0 = -5*g + 4*w + d + 150, 2*w = -6. Does 10 divide g?
False
Let l be 1*10*(21 - -31). Does 30 divide (l/(-6))/((-34)/153)?
True
Suppose 11 = 4*q - z, -3*q + 4*q + 1 = 4*z. Suppose -2*i + q*i = -n + 42, -3*i = n - 48. Suppose 5*f = 151 + n. Is f a multiple of 4?
False
Is 1332*(-506)/198*-12 a multiple of 184?
True
Is 25 a factor of 2833 - -1 - (22/(-2) - -10)*2?
False
Suppose 0*k = 2*k + b + 13, b - 2 = k. Let d be (-4196)/(-10) - k/(25/2). Suppose -d = -4*z + 4*c, 2*c + 0*c = -5*z + 511. Does 10 divide z?
False
Suppose -s = 3*c - 3 - 20, -c = 2*s - 11. Let d(g) = 16*g + 103. Is 12 a factor of d(c)?
False
Does 6 divide (1631/(-35) + -3)*(259/(-2) - -2)?
True
Suppose -223*t + 6717 = -211*t - 30099. Does 13 divide t?
True
Let v(s) = 5*s**2 - 2*s - 2. Let d be v(-1). Let n = d - 1. Suppose -27 = -n*m - 3*u, -4*u = 6 + 6. Is 9 a factor of m?
True
Let v = 28807 - 17162. Is 209 a factor of v?
False
Let z be ((-3)/5)/(196/40 + -5). Suppose 711 + 249 = z*n. Does 8 divide n?
True
Suppose 3057 = -10*n + 1097. Let c = n + 201. Is c a multiple of 4?
False
Let d(c) = -7*c + 46. Let n be d(6). Does 14 divide n/20 - (-2)/((-30)/(-4407))?
True
Let b(x) = -5*x - 11. Let h be b(-3). Suppose 2*j - 218 = -f - 0*f, 1020 = 5*f - h*j. Is 43 a factor of f?
False
Let i = 3678 - 2259. Does 43 divide i?
True
Let t be (-11940)/(-180)*1*6. Suppose c = 3*y + t, 402 = c + 2*y - 4*y. Is c a multiple of 13?
False
Let s(m) = 69*m**3 + m - 5. Let u(x) = 208*x**3 + 4*x - 16. Let o(i) = -20*s(i) + 6*u(i). Does 12 divide o(-1)?
True
Let m(q) = 142*q**2 + 148*q - 890. Does 27 divide m(6)?
False
Suppose 3*t = 2*s - 6*s + 12156, 2*t - 5*s - 8150 = 0. Is 28 a factor of t?
True
Let w(i) = -39*i**2 + 6*i - 18. Let c(v) = -39*v**2 + 7*v - 18. Let t(k) = 5*c(k) - 6*w(k). Does 42 divide t(-6)?
True
Let p(j) = -j**3 + 32*j**2 + 91*j + 238. Does 40 divide p(29)?
True
Let m(y) = 6*y**2 + 5*y - 4. Let f be (-1)/(-2)*(-13 - -7). Is 17 a factor of m(f)?
False
Let m = -193 + 280. Let x = 87 - m. Suppose 6*w + w - 70 = x. Does 5 divide w?
True
Let f(g) = -2*g**2 - 6*g + 2. Let t be f(-4). Let x be 1779/12 + t/(-8). Suppose -l + 471 = 2*l + 5*i, -l = -i - x. Is l a multiple of 38?
True
Let g(q) = -6*q**2 - 21*q - 38. Let x(s) = 23*s**2 - 8*s**2 + 1 - 14*s**2. Let f(d) = g(d) + 5*x(d). Is f(-16) a multiple of 11?
False
Let w = 9854 - 5266. Is w a multiple of 74?
True
Let y be (-3 + 1)/(4/(-528)). Let f = y - -232. Let t = f + -310. Is t a multiple of 31?
True
Suppose -532272 = -144*v + 19*v - 83*v. Does 162 divide v?
False
Does 14 divide (0 - ((-110)/(-25) - 4))/((-12)/21540)?
False
Let m be 19 - (-7 + 25/(7 - 2)). Suppose -54 = -c - 5*p, -m*c - 3*p = -16*c - 160. Is c a multiple of 9?
False
Suppose -4*f - 4*g + g = 7, 2*f - g = 9. Suppose -2*z - 132 = -f*x - 2, 133 = -2*z + 3*x. Does 6 divide z/(-4) + (-2)/(-4)?
False
Let b = 30165 + -25731. Does 6 divide b?
True
Suppose 2*l - z - 28 = 3*z, -5*l + 4*z = -94. Let s be 33/l*4/(-3) - -5. Is 20 a factor of 36/8 + s/(-2) - -17?
True
Suppose -3*z - 309 = 4*u - 0*z, -369 = 5*u - 2*z. Let x = 79 + u. Suppose k = y + 43, -x*k + 8*k = 2*y + 166. Is 10 a factor of k?
True
Let t be 8/28 - 209/(-77). Let j = t + 117. Does 8 di