4*q. Is 22 a factor of y?
False
Let u = -13 - -14. Is u/(2/(650/5)) a multiple of 7?
False
Let p(i) = -38*i**3 + 3*i**2 - i - 3. Suppose -5*o + 24 = -8*n + 6*n, -22 = n - 5*o. Is 45 a factor of p(n)?
True
Let q be (48/(-18))/8 - 16/(-3). Suppose q*u - 71 = -3*n, 5*n + 6*u - u = 135. Is n a multiple of 16?
True
Suppose 183 = -2*c + 3*l + 66, 2*l = 2*c + 114. Let h = -6 - c. Is 4 a factor of h?
True
Let x = -831 + 1171. Does 17 divide x?
True
Is 25 a factor of ((-35)/14)/(-2 + 5109/2556)?
False
Suppose 3*s - 2*c - 172 = 0, -20*s = -23*s + c + 176. Is s a multiple of 12?
True
Let n(d) = d**2 - 9*d - 20. Let l be n(12). Let j = l + -9. Does 7 divide j?
True
Suppose -w - 4*w + 80 = 0. Let c = w + -4. Suppose c = y + 2*y. Is y a multiple of 2?
True
Let g = 1 + -1. Let h(a) be the third derivative of a**6/120 - a**5/60 - a**4/12 + 2*a**3 + 77*a**2. Is h(g) a multiple of 3?
True
Let p(y) = -y**3 - 2*y**2 - 3*y - 3. Let z be p(-3). Let v = z - 17. Is 5/v*(-348)/30 a multiple of 29?
True
Let q be 1/(-3 - 235/(-80)). Does 6 divide (-108)/q*16/6?
True
Let x be 4/2 - (-2 - -1). Suppose -6 = -v + a, 5*v + x*a - 27 = 7*a. Suppose v*f - 17 + 5 = 0. Is f a multiple of 3?
False
Let v(f) = f**3 + 9*f**2 + 7*f - 13. Let r be v(-8). Is 3 a factor of (r - 26)*-2*(-3)/(-6)?
False
Suppose -12 = -2*m + 24. Is 3 a factor of m?
True
Let v(q) = 77*q + 132. Is v(18) a multiple of 38?
False
Suppose 2*n + 176 = 2*x - 3*x, x = -n - 175. Let u be x/(-3) - (0 - 2). Let z = 87 - u. Does 27 divide z?
True
Let y be (1 + -1)/1 - -7. Let c be 1/(-7) - (-148)/y. Suppose -3*q + j = -30, -q + j - 9 + c = 0. Is q a multiple of 8?
False
Let z = 27 + -29. Let c(g) = -g**3 - 2*g + 1. Let j be c(z). Suppose t - 50 = -2*q + j, 4*q - 2*t = 106. Is 4 a factor of q?
False
Is -10*(2/(-1) + 6/(-1)) a multiple of 10?
True
Let i = 81 - 71. Suppose o - i = -2*g - 2, 2*g - 24 = -3*o. Is 6 a factor of o?
False
Suppose -3*l - 1 + 4 = 0. Let q be l/(28/(-16) + 2). Suppose -q*t - 108 = -7*t. Is 9 a factor of t?
True
Let b = 799 + -515. Let f = b - 172. Does 13 divide f?
False
Is 473518/342 + 1/((-9)/(-4)) a multiple of 10?
False
Let s = 478 - 335. Does 3 divide s?
False
Suppose 0 = -4*j + p + 18, j - 2*p = -0*p + 8. Let s(f) = 10*f + 16. Is s(j) a multiple of 13?
False
Suppose -178*n = -184*n + 1338. Is n a multiple of 17?
False
Let g be (65*2/8)/((-2)/40). Let a = 465 + g. Is a a multiple of 14?
True
Let b = 405 + -237. Is 14 a factor of b?
True
Let x(m) = 16*m - 10. Let p be x(10). Let r(t) = 11*t - 4. Let q be r(-7). Let d = q + p. Is 23 a factor of d?
True
Let c = 3590 - 1614. Is c a multiple of 19?
True
Let m = 591 - -80. Is 61 a factor of m?
True
Suppose 3 - 279 = -w. Is 9 a factor of w?
False
Let s = 80 - 20. Suppose -n + 5*n - s = 0. Suppose 23 = i - n. Is 23 a factor of i?
False
Let l(d) = -67*d**3 + 2*d**2 - 1. Let y be l(-1). Let u = 121 - y. Does 23 divide u?
False
Let o = -283 - -423. Is 5 a factor of o?
True
Suppose -4*x - 4*h - h = -11, -18 = -5*x - 2*h. Suppose -x*d + 8*d - 192 = 0. Does 12 divide d?
True
Let i be (-37)/(-7) + (-4)/14. Suppose 0*c + 3*c = -s + 5, 35 = i*c - 5*s. Suppose c*k + 52 = 4*k. Is 21 a factor of k?
False
Is -23 + 10 + 12 + (-3458)/(-2) a multiple of 108?
True
Let g be ((3 - 2)/1)/(-1). Is 15 a factor of (-16)/(-48) - (538/6)/g?
True
Suppose 3*a = a + 92. Suppose -5*w = g - 26, -5*w - 4 = -3*g - a. Suppose -3*n - 117 = -w*n. Does 13 divide n?
True
Let l = -58 + 68. Suppose -9*k = -l*k + 44. Is 20 a factor of k?
False
Let w = -8 + 8. Let h be -1 + 0 - w/(-2). Is 12 a factor of 69*2*h/(-3)?
False
Let n be 0/(0 - -1)*1. Suppose 2*v - 2*y - 242 = n, -4*v + 5*y + 227 + 261 = 0. Does 10 divide v?
False
Let l(j) be the second derivative of -j**4/12 - 11*j**3/6 - 15*j**2/2 + 6*j. Let d be l(-10). Does 4 divide 3/d - (-69)/15?
True
Let b(p) = -10*p**3 + 6*p**2 - 12*p + 6. Let d be b(3). Let q = d - -462. Does 54 divide q?
True
Let q(b) = b**3 - 3*b**2 - 2*b - 5. Let v be q(4). Suppose -105 = v*d + 2*d. Let u = d + 39. Does 9 divide u?
True
Suppose 3093 + 2091 = 4*m. Is 8 a factor of m?
True
Let h(z) = 3*z**2 - 6*z + 1. Let n be h(3). Suppose 322 = -n*k + 932. Does 14 divide k?
False
Suppose -3*a + 0*a - 351 = -3*p, 5*p - 603 = -a. Let h be (-2)/7 - (-46)/14. Suppose -5*u = h*r - p, r = 6*u - 4*u + 40. Is r a multiple of 10?
True
Let j be (-11)/(-3) - 12/18. Suppose -8*o + 9*o + j = 0. Is 2/o*1*-18 a multiple of 12?
True
Let v be (2 - -3)/(2/30). Suppose 63 = 3*s - v. Does 9 divide s?
False
Let h(j) = 7*j**3 + 4*j. Is 20 a factor of h(3)?
False
Suppose -1244 = -z - 3*d + 187, 3*z - 4*d - 4358 = 0. Is z a multiple of 67?
False
Suppose 52*x = -3*o + 48*x + 3271, 5*o + x = 5429. Does 74 divide o?
False
Is (1 + (-382)/10)*60/(-8) a multiple of 31?
True
Suppose 2*g + 0*g - 44 = 0. Suppose -d + g = 3*n, 2*d + 3*n = 6*d - 28. Is d a multiple of 5?
True
Suppose 0 = 3*g - 2*t + 2 + 8, -5*g - 3*t + 15 = 0. Suppose -2*o + 0 - 20 = g. Is (-1)/2 + (-65)/o a multiple of 3?
True
Let r be (-15)/(3/(-1)) + -120. Does 43 divide 23/r + 642/10?
False
Let d(o) be the first derivative of -o**4/4 + o**3 - o**2 + 2*o - 1. Let m be d(4). Let g = m - -36. Is 5 a factor of g?
False
Let k(s) = -s**3 - s + 596. Let c be k(0). Is 1/(-3) - c/(-6) a multiple of 20?
False
Suppose -4718 = -7*n - 1694. Is 27 a factor of n?
True
Let h be (10/(-6))/1*-3. Suppose -h*g = -567 - 93. Is g a multiple of 29?
False
Suppose 3*s = 4*z + 862, s - 5*z + 36 = 316. Is 10 a factor of s?
True
Suppose 0 = -y + 1, 3*y = -2*k + 4*k - 1. Suppose k*d + 4*g = 40, -2*d + g - 91 = -7*d. Suppose q + 3*u - d = 0, 3*q - u - 38 = 6. Does 15 divide q?
True
Let t(i) = i**3 - 9*i**2 + i - 11. Let q be t(9). Let d be (q*33)/(0 - 1). Suppose 4*g - d = 42. Does 9 divide g?
True
Suppose -210 = -5*j + 170. Is 13 a factor of j?
False
Suppose c + 729 = b, -b = -2*c + 107 - 837. Does 7 divide b?
True
Let a be 103 + 4/((-16)/12). Let m = 142 - a. Is 14 a factor of m?
True
Let c be 0 + 1 + 2 + 0. Suppose 5*b = r - 58, -2*b = r + c*b - 28. Does 5 divide r?
False
Let l be (8/6)/((-2)/(-129)). Suppose -2*a + 3*u + 73 = 0, 5*a + 2*u + 0*u = 173. Let q = l - a. Is 11 a factor of q?
False
Let s = -5 - -2. Does 20 divide -60*s*(-4)/(-9)?
True
Let g be 5/(-25) + (-2)/(-10). Suppose r - 5*w = -13, g = 2*r - 5*r + 2*w. Is 2*(-4 + 77/r) a multiple of 23?
True
Let a(i) = -2*i**2 - 10*i - 6. Let h be a(-7). Let y be h*1 + 4 - 4. Let p = -8 - y. Is 13 a factor of p?
True
Let y = 19 - 15. Let v be (4 - -1)*y/(-10). Does 30 divide v/(-12) + (-3400)/(-48)?
False
Let p be (52/130)/((-2)/40). Is 3 a factor of 178/16 + 1/p?
False
Suppose -2*y + 2*a = -6, -y + 0*y = 2*a. Suppose 0 = -3*d + y*d + 123. Is 41 a factor of d?
True
Let t = -28 - -33. Suppose 3*f = 3*b + 57, -t*b + 48 = 4*f + 8. Is 10 a factor of f?
False
Suppose 660 = 2*b - 474. Is 9 a factor of b?
True
Suppose -2 = -2*f + f. Let q be 5*(f - (-1 + 2)). Suppose q*z = z + 216. Is z a multiple of 27?
True
Let d = 44 + -39. Suppose 0*h = d*h - 280. Is 9 a factor of h?
False
Suppose b = -3*z - 0 + 2, -3*z = 2*b - 7. Suppose -2*q + b*t = 6 - 0, 5*q + 4*t - 18 = 0. Suppose r = -q*r + 48. Is 4 a factor of r?
True
Suppose 3*b - 49 + 34 = 0. Suppose r + 0*c = 5*c + 89, -b*r + 355 = 5*c. Is r a multiple of 21?
False
Let m = 218 + -110. Is m a multiple of 10?
False
Let t(p) = -p**3 - p**2 - 16*p - 130. Does 39 divide t(-13)?
True
Suppose 2*m - 8 = 0, 0 = 3*h - 5*m - 6035 - 14. Is 9 a factor of h?
False
Let c(t) be the first derivative of t**4/4 + 8*t**3/3 - 7*t**2 - 9*t + 2. Does 9 divide c(-9)?
True
Suppose 14*q - 23*q + 15444 = 0. Is 52 a factor of q?
True
Let g(t) = -17*t - 24. Let c be g(-3). Suppose b + 2*p - 73 = c, 0 = 5*b + 4*p - 482. Does 21 divide b?
False
Let w be (-42)/(-6)*(5 + -2). Let n = w + -21. Is (n + (-4 - -3))*-25 a multiple of 23?
False
Let b(p) = p**3 + 13*p**2 + 9*p. Is 15 a factor of b(-10)?
True
Let i = 307 + -211. Is 8 a factor of i?
True
Suppose 3*a + 7*x - 1250 = 2*x, 0 = -5*a - 4*x + 2079. Does 24 divide a?
False
Let y = 11 + -14. Is -3 - (513/y)/3 a multiple of 18?
True
Suppose 0 = 40*i - 674 - 10086. Does 23 divide i?
False
Suppose 3*g - 251 = -5*z + 280, 2*z - g = 219. Does 12 divide z?
True
Let n = 8 - 2. Suppose -2*a = -0*a - n. Suppose 0 = 4*v - a*h - 130, 5*h = 4*v - 32 - 94. Is 