f -5*i*(-5 + 2)?
True
Suppose 11*j - 3088 - 1638 = 5603. Does 21 divide j?
False
Suppose n = -3*w + 1, 0*w + w = -5*n + 19. Suppose 2*b - 4 = -2*i - 0*i, -2*i - n = 0. Suppose b*z - 2*z = 270. Does 45 divide z?
True
Is 2/(-5) - (10942283/(-178))/((-10)/(-4)) a multiple of 26?
False
Suppose -2*u = -4*r - 16034, 93*u = 96*u + 3*r - 24087. Is 107 a factor of u?
True
Let h(c) = 148*c**2 + 5*c - 20. Does 16 divide h(4)?
True
Let x be (56/(-10))/(12/(-110))*-3. Let d = x + 196. Does 14 divide d?
True
Suppose -1126*h = -1116*h - 298510. Does 203 divide h?
False
Suppose 36*t - 1679 = 4704 - 1595. Let h = 643 + -367. Let o = h - t. Does 12 divide o?
False
Let w be 14/2*(-33660)/(-315). Let z be (-30)/(-4)*16/12. Suppose -z*a + w = a. Is a a multiple of 17?
True
Suppose -5114 = 3*v + 5*a - 57271, 4*v - 69537 = -a. Is v a multiple of 106?
True
Suppose -u - 2380 + 6698 = -2*y, 3*y - 12954 = -3*u. Is 103 a factor of u?
False
Let x = 147 - 83. Suppose 7865 = -51*m + x*m. Is 85 a factor of m?
False
Let u = 5 + 1. Let g be 0 + 3/(u/(-968)). Is 16 a factor of (-7)/5 + 1 + g/(-10)?
True
Let i = 7433 - 5621. Is 52 a factor of i?
False
Suppose 5*w = 2*n - 5*n + 46418, -2*n + 4*w + 30982 = 0. Suppose 5443 = -14*y + n. Suppose -y = 6*j - 2067. Is 14 a factor of j?
False
Let s be (3/(-2))/3*-12. Let r be (-1)/s - 85/(-6). Let x(p) = p**3 - 12*p**2 - 20*p - 2. Is 16 a factor of x(r)?
False
Let a be (8 - 10)/(2/(-8)*2). Suppose 4*t - 914 = -3*v, -v + 910 = 4*t + a*v. Is t a multiple of 14?
False
Let i(x) = -4*x - 3. Let g be i(-5). Suppose -3718 = -g*d + 583. Is 11 a factor of d?
True
Suppose 0*j + 3*w + 325 = 2*j, 5*w = 2*j - 323. Is 33 a factor of j + 6/(-1) + 5?
False
Suppose 14*f - 9*f = -o + 2371, -4*f - 2*o + 1892 = 0. Let c = -379 + f. Does 3 divide c?
True
Suppose 0 = -83*i + 164*i - 83*i + 23736. Does 43 divide i?
True
Let t(v) = -207*v. Let o be t(3). Is (o/12)/(3/(-16)) a multiple of 22?
False
Suppose 651128 - 347583 = 60*w - 613735. Is w a multiple of 8?
True
Let i(n) be the second derivative of -38*n**3 + 58*n**2 - 10*n + 1. Is i(-2) a multiple of 22?
True
Let s(h) = -h**3 + 16*h**2 - 6*h + 42. Let w(l) = 5*l**3 - 65*l**2 + 26*l - 169. Let o(d) = 9*s(d) + 2*w(d). Is 14 a factor of o(-14)?
False
Let t = 199 - 195. Suppose -j - 4*y = -598 - 678, 2*j + t*y - 2536 = 0. Is 60 a factor of j?
True
Let v(o) = o**3 + 26*o**2 + 33*o. Suppose 6 = 2*r + n + 59, r + n = -29. Is 12 a factor of v(r)?
True
Let s(v) = -10*v**2 + 107*v - 9. Let f be s(16). Let u = f + 1336. Is 63 a factor of u?
False
Suppose -35*n = -8*n - 81. Suppose 2*r - 520 = -n*r. Is r a multiple of 4?
True
Let d be (-8)/44 - 34/11*-2. Let x be (4/d)/(3 - (-20)/(-6)). Is (300/36)/(x/(-12)) a multiple of 7?
False
Let j(m) = 2818*m + 2141. Is j(8) a multiple of 32?
False
Suppose 41 = 2*l + 1. Suppose 4*b - 27 - 9 = -2*k, 0 = -5*k + l. Suppose 180 = b*r - 128. Is r a multiple of 10?
False
Is 20 a factor of 121510/155 + 22/341?
False
Let v(s) = 8*s - 8. Let q = 61 + -44. Suppose -16*d + q*d = 10. Is 9 a factor of v(d)?
True
Let x be (1 + -2)/(-2*1/(-6)). Does 34 divide (-6040)/60*1*x?
False
Let z(l) = l**3 + l**2 + l + 4. Let f be z(0). Let o = -51 + 76. Let r = f + o. Is 12 a factor of r?
False
Suppose -3*n + 14491 = -4*j, -2*n = -4*n - 3*j + 9672. Is n a multiple of 63?
False
Suppose -73*i = -64*i + 369504. Does 27 divide i/(-80) + (-2)/10?
True
Suppose 6*k - 155 = k. Let m = k - 28. Suppose -2*b = -b, 0 = 4*c - m*b - 124. Is c a multiple of 25?
False
Let g = 23 + -18. Suppose -j + 6 = -2*j - 5*o, 0 = 3*j - g*o + 98. Is 10 a factor of j*2*(-10)/4?
True
Let m = 286 + -187. Suppose m = i - 4*i. Is 20 a factor of 16/88 - (-6)/i*-109?
True
Suppose -v = -2122 + 2120. Suppose o = 2*k + 1630 - 3971, 0 = -3*k - v*o + 3522. Is k a multiple of 29?
False
Let m = 65 + -65. Let p be (-5 - -5)*1*(m - 1). Suppose p = 3*h + 4*r - 2 - 118, 2*r + 174 = 5*h. Is 9 a factor of h?
True
Let c be -5*((-120)/25 + 5)*241. Let d = c - -661. Does 60 divide d?
True
Suppose -4*f = 2*u + 16, u + 3*u = 5*f - 6. Let s be 2*(3 + f) + (-2 - -106). Does 15 divide 45/15 - (1 - s)?
False
Suppose 4*b - y - 3*y - 8 = 0, 3*b + 5*y = 22. Is 1406/b - 5/(-10) a multiple of 44?
True
Let m be 8/(-6)*345/5. Does 23 divide (7/(-14)*-3)/((-3)/m)?
True
Suppose 3*h + 2*h - 2*i - 211 = 0, 3*h - 5*i - 138 = 0. Does 11 divide -1*(383/(-1) + h + -37)?
False
Suppose 65*c + 44*c = 22*c + 4857645. Is 13 a factor of c?
True
Let a = -1 + 4. Suppose -284*x + 286*x - 40 = 0. Is 16 a factor of (3 - x/(-5))*a?
False
Is 49 a factor of ((-7)/(-4))/(372/3437280)?
True
Let v(a) = a**3 + 7*a**2 + a + 16. Let j = -60 + 55. Let o be v(j). Suppose 6*s = o - 1. Is s a multiple of 10?
True
Let s(x) = 1404*x**2 - 17*x - 31. Is 77 a factor of s(-2)?
False
Suppose -j = 6*j - 70. Let y(d) = -d + 6*d - 69 + j*d + 48. Is 6 a factor of y(5)?
True
Suppose -118*u = 96*u - 50718. Is 4 a factor of u?
False
Let g be 4592/(-49) + -2*1/7. Let z = 104 + g. Suppose -z*h = 344 - 1384. Is 10 a factor of h?
False
Let z(r) = -240*r**3 + 3*r**2 - 2. Suppose t = w, -8*w = -9*w - 1. Does 41 divide z(t)?
False
Does 111 divide -14 - (-3952 + 7 + -11)?
False
Suppose 32*z - 66 = -z. Is (419 - -16) + (z - 2) + -1 a multiple of 14?
True
Let m(o) = 6*o**2 - 74*o + 35. Let t be m(26). Let f = -1117 + t. Does 21 divide f?
True
Suppose -43*m + 29825 + 188618 = 38875. Does 58 divide m?
True
Let z(p) = p**2 + 14*p - 39. Let c be z(-17). Let r be (-509)/(c/(-3) - -3). Let u = r + -343. Does 32 divide u?
False
Let x be (1 - 7)/((-69)/46). Suppose 4*k + t = -0*k + 1196, x*k + 4*t - 1184 = 0. Does 15 divide k?
True
Suppose 2*w = -14 + 18. Suppose -w*b + 155 = -93. Is 2 a factor of b?
True
Suppose 0 = -2*k + 678 + 1636 + 20. Is 102 a factor of k?
False
Is 179 a factor of (-4 - -14) + -15 + 22033 + -11?
True
Suppose -r + 34 = 18. Suppose a - 96 - r = 0. Does 14 divide a?
True
Suppose 25*y + 79872 = 37*y. Is y a multiple of 104?
True
Is (8 + -13 + (5 - 39/9))*-1584 a multiple of 208?
True
Let q(t) = 27*t**2 - 223*t - 1944. Is 45 a factor of q(-9)?
True
Suppose -7015 = -3*p - l, -2*p - 68*l + 4681 = -63*l. Is p a multiple of 12?
False
Does 28 divide (-2)/(-6) + 33/(-45) + 4040712/780?
True
Let s(k) = 37 - 35*k - 18 - 15. Let b be s(-11). Suppose 7*u = -b + 1838. Is 33 a factor of u?
False
Suppose 5*l + 4*i = 0, -3*i - 11 - 4 = 0. Does 3 divide (3/l)/(3*(-3)/(-684))?
True
Let n = 201 + 24. Let b = 477 - n. Does 42 divide b?
True
Let f(d) = d**2 - 11*d + 3. Let l = 50 + -68. Let m be 532/36 - 4/l. Does 14 divide f(m)?
False
Suppose -32*s + 203 = -29*s + j, 335 = 5*s + 5*j. Suppose -74*w + 2148 = -s*w. Is 21 a factor of w?
False
Let t = -24 - -29. Suppose -452 - 958 = t*j. Let a = -164 - j. Does 18 divide a?
False
Let t = -96 + 99. Suppose 10 = t*u + 3*m - 5, 0 = -m. Suppose -195 = -4*i - 0*r - u*r, r = 3. Is i a multiple of 4?
False
Let x(u) = -u**2 + 6*u. Let z be x(6). Let q be -1*(35/(-105) - -4*(-14)/12). Suppose z = -q*m + 5*j + 65, 10 = m + 4*j - 13. Is 5 a factor of m?
True
Suppose 0 = -31*q - 52*q + 73206. Is 21 a factor of q?
True
Let b be (11 - 0) + (-30)/(1 + 4). Suppose 0 = -5*d - 4*j + 14, -b = 7*j - 12*j. Is 2 a factor of d?
True
Let z = -78 - -71. Let q = 10 - z. Suppose -q*w = -8*w - 180. Is 4 a factor of w?
True
Let i be 1/(-2) - 30/(-4). Suppose -51 = 8*b - i*b. Let h = 73 + b. Is h even?
True
Suppose -12*g - 380 = -7*g. Let r = g - -84. Is 22 a factor of (66/4)/(1/r)?
True
Let o(k) = k**3 - 13*k**2 + 63*k - 232. Is o(22) a multiple of 38?
True
Let q(j) = 403*j**2 + 59*j - 42. Does 20 divide q(6)?
True
Let p be (-10829)/(-26) + (-1)/2. Suppose -5*z = 4*s - 576 - p, 2*s - 490 = -4*z. Does 11 divide s?
True
Suppose -16*c - 8*t + 2021 = -7*t, -2*c + 3*t + 237 = 0. Is c a multiple of 7?
True
Suppose 0*h + 2*h = 3*w - 13, 0 = -h - 2. Suppose -w*g = 2*m + 497, 5*g + 8*m - 4*m = -825. Let i = g - -294. Is i a multiple of 10?
False
Let c be 5 - (3 + 359 - 1). Let z = -331 - c. Does 25 divide z?
True
Let b = 2870 + -1190. Is b a multiple of 30?
True
Suppose -4*q = 3*z - z - 192, -4*q = -z + 114. Let m = 4860 + -4939. Let j = z + m. Does 3 divide j?
False
Let z = 904 + 6804. Is z a multiple of 41?
True
Does 85 divide (5270/(-8))/(4 - 85/20)?
True
Is 20 a factor of (-2873)/(-1) + 72/4 + -11?
True
Suppose 3*b