1160 = 10*n. Suppose n*i - 2726 = 11*i. Does 15 divide i?
False
Suppose 3*i + 2*n = -611, i - 5*n + 9*n = -197. Let w = -173 - i. Is w a multiple of 32?
True
Let b(g) = -3*g + 29. Let j = -29 + 23. Let u be b(j). Let x = u - -7. Does 6 divide x?
True
Suppose -2*k - 2088 = -l, -l - 4761 = 4*k - 579. Let s = -409 - k. Is s a multiple of 15?
False
Let k be ((-1)/9 + 4/(-18))*39. Let j(p) = 4*p + 55. Let g be j(k). Suppose -g*t = -22 - 53. Is t a multiple of 4?
False
Let s(d) = -d + 102. Suppose -3*o + 4*g - 2*g - 69 = 0, 5*o + g = -115. Is s(o) a multiple of 5?
True
Let d be -1143*(-7 + (-112)/(-21)). Suppose 26*p = 21*p + d. Is 12 a factor of p?
False
Suppose -243*d + 207636 = -217*d. Is 33 a factor of d?
True
Let v = -13399 + 13646. Does 151 divide v?
False
Suppose 0 = -2*n - 10*n + 48, 0 = 4*k + 5*n - 28980. Is k a multiple of 8?
True
Suppose 0 = -2*h - 1059 + 95. Let v(m) = -16*m**2 - 20*m + 190. Let b be v(7). Let u = h - b. Does 36 divide u?
True
Let o(f) = -f**2 + 59*f - 97. Does 10 divide o(25)?
False
Let t be (-10194)/30 - 16/(-20). Let c = t + 447. Is 18 a factor of c?
True
Let u = 9423 + -6905. Is 7 a factor of u?
False
Suppose -7*f + 25 = -262. Let a = f - 7. Is 5 a factor of a?
False
Suppose 73 - 2338 = -3*b. Let p = b + -597. Is p a multiple of 7?
False
Let w(l) = -124*l + 3. Let h(m) = m - 1. Let s(k) = -h(k) + w(k). Let b be s(-4). Suppose 5*j = -3*j + b. Is j a multiple of 11?
False
Let v = 17364 + -12304. Is 23 a factor of v?
True
Let z(w) = 7*w**2 - 3*w + 44. Does 6 divide z(14)?
True
Let h be -1 + 3*60/18. Let z be 0/(7/((-28)/12)). Suppose h*p - 11*p + 204 = z. Is p a multiple of 14?
False
Let y(k) = k**3 + 5*k**2 - 8*k - 13. Let l be y(7). Let q = l - 439. Is q a multiple of 8?
True
Let w = 1539 + -2283. Let h = -2 - w. Is h a multiple of 48?
False
Suppose 11 = -p + 13. Suppose -p*k - 38 = -0*v - 2*v, 0 = -2*k + 2. Suppose -19*x + v*x - 51 = 0. Is x a multiple of 8?
False
Let q = 8583 + -4404. Is q a multiple of 22?
False
Suppose -f + 128 = 7*f. Suppose 2*b - 16 = -5*v, -4*v - f = -4*b - 6*v. Does 10 divide 0 + (241/6 - b/18)?
True
Suppose 33*z - 6*z = -21033. Let b = 1514 + z. Is b a multiple of 105?
True
Let p = -52 + 33. Let l = 31 + p. Suppose 0 = -2*q + l*q - 1340. Is 11 a factor of q?
False
Suppose -46*y + 102410 = 11*y - 2*y. Is y a multiple of 5?
False
Let y = 24967 + -17400. Is 7 a factor of y?
True
Suppose -35 = 4*s - 3*h, -4*s + 2*h = s + 35. Let g(f) = -7*f + 9. Is 13 a factor of g(s)?
False
Let x(g) be the third derivative of g**4/24 - 11*g**3/6 - 21*g**2. Let p be x(14). Does 11 divide p - 52/(-4)*4?
True
Let f = -27 + 28. Let o be (-3352)/(-8) + (0 - f - 2). Suppose -15*q - o = -23*q. Is 26 a factor of q?
True
Let z(h) = -h**2 + 2*h**2 + 674 - h - 671. Let g be z(0). Suppose g*k - 6*p - 25 = -p, 0 = 5*k - 2*p - 67. Is k a multiple of 15?
True
Let s be (142/(-6))/((-6)/234). Suppose -4*k + s = 27. Suppose -2*t = -3*n + k, 328 = 3*n + t + 89. Is 8 a factor of n?
False
Suppose 43*s + 34*s - 66*s = 102058. Is s a multiple of 12?
False
Suppose 102*i - 98*i - 14336 = 0. Suppose -13*y - i = -29*y. Is 23 a factor of y?
False
Let d(z) = z**2 + 124*z - 132. Is 6 a factor of d(36)?
True
Let k(f) = 20*f**2 + 8*f + 17. Let i be k(-5). Suppose 3*r - 477 = i. Is r a multiple of 53?
True
Suppose 4*i + v - 3362 = 0, -2*i + 2*v + 1806 = 130. Suppose 8*t + 0*t = i. Is 9 a factor of t?
False
Let m = -10423 + 10531. Does 14 divide m?
False
Let p be (34 + -35)/(1/(-3077)). Let q = -2152 + p. Does 25 divide q?
True
Suppose 106*h - 45 = 105*h. Suppose 0 = -5*b - 5*a + 590, 4*a + 48 = b - h. Is 18 a factor of b?
False
Let g = 64 - 61. Let f(d) = d**2 - 5*d**2 + g*d**2 - 4*d + 7 + 3. Is f(-4) even?
True
Let g(x) = -x**3 + 179*x**2 - 527*x - 657. Is 26 a factor of g(175)?
False
Does 57 divide 49249/4 + 10/(160/(-4))?
True
Let a(l) = 208*l**2 - 3*l + 18. Let w(f) = -312*f**2 + 4*f - 28. Let v(q) = 8*a(q) + 5*w(q). Does 9 divide v(2)?
False
Let q(z) = -z**2 - 10*z + 3. Let x be q(-10). Suppose 2*n - 4*g - 210 = 0, 7*n - 3*n = -x*g + 365. Does 5 divide n?
True
Let h = -179 + 69. Let x = 17 + h. Let o = x + 186. Is o a multiple of 13?
False
Let q = 19820 + -10696. Does 4 divide q?
True
Let d be ((-9)/(-6))/((-3)/476). Let i = -3032 - -2902. Let k = i - d. Is k a multiple of 37?
False
Suppose -27 + 30 = -h. Let l be (-10)/(-15) + 2/h. Suppose l = -3*i + 9, 0 = -3*p - 6*i + i + 321. Is 10 a factor of p?
False
Suppose -277*i = -276*i - 63. Does 19 divide 18/i + 12367/7?
True
Suppose 0*r = -2*r + 682. Let m = -184 + r. Let p = -91 + m. Is 22 a factor of p?
True
Let n(a) = 4*a**3 - 11*a**2 + 14*a - 84. Does 44 divide n(12)?
True
Suppose -66*m + 46*m - 5360 = 0. Let o = m + 385. Does 9 divide o?
True
Suppose 7*z + b - 20772 = 0, 19*b = 2*z + 16*b - 5948. Is z a multiple of 29?
False
Let c = -591 + 598. Suppose s + 2*n = 1361, -c*s + 2*s = 5*n - 6805. Does 40 divide s?
False
Suppose 4*h - 156 = 4*u, -100 = -4*h - 3*u + 49. Let i = h - 45. Let p = 13 - i. Does 20 divide p?
True
Let g = 497 - -3881. Is g a multiple of 41?
False
Let r = 3834 + 5699. Does 92 divide r?
False
Let o = -50871 + 71679. Is o a multiple of 102?
True
Let a(b) = 15*b**2 - 37*b - 17. Let i be a(-7). Let m = i + -772. Is m a multiple of 9?
False
Let f = -24993 - -45054. Is f a multiple of 38?
False
Let p be ((-6)/10)/(12 + (-944)/80). Let k(z) = -22*z**2 + 2*z + 5. Let o(n) = -110*n**2 + 9*n + 24. Let h(t) = -11*k(t) + 2*o(t). Is 8 a factor of h(p)?
False
Suppose w = 2*b + 9903, 14*w + 2*b = 10*w + 39682. Is 211 a factor of w?
True
Let k(d) = -3*d**2 - 6*d - 12. Let z(n) = 3*n**2 + 6*n + 12. Let t(w) = 4*k(w) + 5*z(w). Let q be t(-8). Suppose q*o - 288 = 152*o. Is 12 a factor of o?
True
Suppose -9*l - 11772 = -3*y - 13*l, -3*y + 11766 = 3*l. Is 22 a factor of y?
True
Let z(s) be the third derivative of 5*s**7/504 + s**6/720 - s**5/60 + s**4/2 + 11*s**2. Let x(o) be the second derivative of z(o). Is x(1) a multiple of 12?
True
Suppose 4*a - 9*a = 3*s - 28992, 6*s = 4*a + 58026. Is s a multiple of 19?
False
Let r be (14/6)/(23/7107). Let g = 1111 - r. Is g a multiple of 13?
True
Suppose -31*v - 47*v + 417336 = -66*v. Is 143 a factor of v?
False
Let v be -7 - 0 - (-2 + (5 - 378)). Let u = 9 + -5. Suppose -4*l + v = u*h, 5*l = h - 2*h + 112. Is h a multiple of 16?
False
Let n(p) = -8*p**2 - 16*p - 18. Let x be n(-8). Let t = 1467 + x. Is t a multiple of 71?
True
Suppose -2*v - 32 = 6*v. Let d be v/(-16) + 33/12. Suppose -4*b + d*h + 451 = 0, b - 114 = -0*b + h. Is 28 a factor of b?
False
Suppose 0 = -2*j + 2, j - 3*j + 1410 = 4*o. Let v be (88/(-6))/(6/(-18)). Suppose o = v*l - 40*l. Is l a multiple of 9?
False
Suppose -62*t = -60*t + 2. Let z(r) = 58*r**2 - 4*r - 2. Is 10 a factor of z(t)?
True
Let v(h) = -2*h**2 + 4*h - 24. Let r(z) = -2*z**2 + 2*z - 23. Let k(t) = -5*r(t) + 4*v(t). Is 25 a factor of k(-7)?
True
Let t = -252 - -432. Suppose -2*g = -2*n - t, 0 = -3*g + 6 - 0. Let d = 130 + n. Is 17 a factor of d?
False
Suppose 16254 = -16556*o + 16574*o. Does 3 divide o?
True
Suppose -266 = -32*h + 470. Let o = 86 - 32. Let i = h + o. Is i a multiple of 6?
False
Suppose 32*k - 37008 = 70768. Let i = k + -1604. Does 14 divide i?
True
Let c = 2353 - 776. Let r = -1071 + c. Does 23 divide r?
True
Let k(r) = -r**3 - 8*r**2 - 8*r - 4. Let p be k(-7). Suppose 5*w = 4*h - 40, 0*w - p*h + 3 = 3*w. Is 14 a factor of -4 + (1 - (-68 - w))?
False
Suppose -400*f + 535*f = 5039280. Is 8 a factor of f?
True
Let p = 1214 + 228. Is 7 a factor of p?
True
Let o(l) = 4*l**2 + 4*l + 20. Let f = 557 + -547. Is 10 a factor of o(f)?
True
Suppose -99*i - 174910 = 64*i - 927970. Does 33 divide i?
True
Is 16 a factor of (8 + -13447 - -14)*8/(-10)?
False
Let q(y) = 19*y**2 - 14*y - 18. Suppose 3*k = 4*s + 18, 31*k = -2*s + 27*k - 20. Does 16 divide q(s)?
False
Let a = -277 + 305. Is ((-14)/(-2))/(a/1288) a multiple of 14?
True
Let l(x) = 6574*x + 31. Let k be l(1). Suppose k = 39*z - 12271. Is z a multiple of 11?
True
Let g(z) = -14*z**3 - 2*z**2 - 6*z - 13. Let n be g(-2). Let i = 220 - n. Is i a multiple of 13?
True
Let u(l) = -6*l - 140. Let f(z) = -5*z - 143. Let w(t) = -4*f(t) + 3*u(t). Is 11 a factor of w(44)?
False
Does 272 divide 762/1905 - ((-533146)/10 - -3)?
True
Let c be (-6 + 2490/12)/((-1)/