True
Suppose 28*v + 956 = 30*v. Let x = 894 - v. Is x a multiple of 21?
False
Suppose -2*b - 2*b - 5*g - 3120 = 0, 2*b + 1542 = 2*g. Let x = 1364 + b. Is x a multiple of 7?
False
Suppose -z + 4585 = -3*k, 4*z - 43*k - 18270 = -41*k. Does 15 divide z?
False
Let n(u) = 195*u**3 - 18*u**2 - 17*u + 29. Does 45 divide n(4)?
False
Let z = 807 + -803. Suppose 3*v - 4*o = 3160, -z*v - 6*o + 2*o = -4260. Is v a multiple of 12?
False
Let u(w) = w**2 + 7*w - 24. Let b(g) = 5*g + 51. Let n(a) = -a - 13. Let p(s) = 2*b(s) + 9*n(s). Let l be p(3). Is u(l) a multiple of 5?
False
Suppose 4*l - n - 2*n - 28 = 0, 5*n = -3*l + 21. Suppose -3*g + l*g - 16 = 0. Suppose 21 = a - 5*i, -g*a - 5*i = -4*i - 189. Is a a multiple of 26?
False
Let y be 2*-18 + (-5)/(-10)*0. Let m be y/(-45) - (-479)/(-5). Let z = -56 - m. Is 39 a factor of z?
True
Let o = -158 + 65. Let j = -138 - o. Does 2 divide (-477)/j - (-4)/10?
False
Suppose 0 = -274*v + 730475 + 611727 + 1518632. Does 29 divide v?
False
Let b(r) = 4*r - 58. Let k be b(15). Let i(v) = 75*v + 10. Is i(k) a multiple of 16?
True
Suppose -8*w - 68 = 76. Let d be ((-32)/48)/(4/w). Suppose 2*i - i + 5*j = 54, -54 = -i - d*j. Is 7 a factor of i?
False
Is 4 a factor of 16770/(-9)*36/(-24)?
False
Suppose 4*x + 5*h - 61173 = 60395, -30410 = -x + h. Is x a multiple of 6?
True
Suppose 0 = -139*l + 150*l + 4609. Let x = l - -997. Is 17 a factor of x?
True
Suppose -4546 = -y + 2*s + 1078, -3*y + 5*s = -16874. Is y a multiple of 21?
True
Let u = -128 + 133. Suppose -a = -3*q + 250, -a - 4*a = -u*q + 410. Does 28 divide q?
True
Suppose -f - 151823 = -3*b - 16873, -3*b = -5*f - 134966. Is 294 a factor of b?
True
Suppose -100*o = -83*o - 6970. Is o a multiple of 82?
True
Suppose 19*u = 17*u + 11842. Suppose -u - 3583 = -27*x. Is 38 a factor of x?
False
Suppose -s - 66 = 2*c, 0 = 4*c + 9 - 5. Let t = 168 + s. Does 8 divide t?
True
Let j(w) = w**2 - 6*w - 24. Let o be j(9). Let y(k) = k**3 - 2*k**2 - k + 1. Let f be y(o). Suppose f*d = 2*d + 950. Does 38 divide d?
True
Let x = -8 + 13. Is -3*4/10*x + 178 a multiple of 25?
False
Let c(u) be the first derivative of 13*u**3 + 19*u - 6*u**2 - 27 - 8*u**3 - 4*u**3 + u**3. Is 15 a factor of c(6)?
False
Let n(k) = 35*k + 246. Let i be n(-7). Is 969 + i + 8 + -8 a multiple of 50?
False
Let l(s) = 8*s**3 + 22*s**2 - s + 2. Let j be l(-10). Is 98 a factor of (-1 - (-4)/10) + j/(-5)?
False
Let m = 645 + 1005. Is m a multiple of 55?
True
Let u = 666 - 653. Suppose 754 = u*l - 4485. Is 35 a factor of l?
False
Let p(r) = 19*r + 1515. Is p(-45) a multiple of 3?
True
Let y be (72/(-15))/(2/20). Suppose 0 = 4*s + 5*c + 12, 0 = -15*s - c - 10 + 36. Does 4 divide -3 + ((-18)/12)/(s/y)?
False
Let u be 31 + (-2)/5*-5. Let z(o) = 64 - 13 - o**2 - 15*o - u. Is z(-12) a multiple of 5?
False
Let m = 14728 + -8435. Is 67 a factor of m?
False
Suppose h - 4*i - i = -15, -4*i + 6 = -2*h. Suppose 0 = -18*w + 206 - 170. Suppose -3*p + 9 = 0, -w*p - 41 = -h*a + p. Is a a multiple of 3?
False
Suppose r + 0 - 3 = 0. Suppose z + r*y = 2*z - 10, -z - 4*y = -24. Suppose 14*t + 18 = z*t. Is t even?
False
Let f = -3285 - -1983. Let x = 2955 + f. Is 13 a factor of x?
False
Let z = 58 - 277. Let s = z - -1599. Does 69 divide s?
True
Let s be (-3528838)/(-1258) - (-2)/(-17). Let h = s - 1265. Does 110 divide h?
True
Suppose -203554 = -31*g - 69293. Is g a multiple of 71?
True
Let a(f) = f**2 + 11*f - 38. Let i be a(-14). Suppose -7*z = -i - 24. Is 10 a factor of (-2 - 228/(-16))*z?
False
Let n = 17169 + -14299. Is n a multiple of 70?
True
Suppose -66 = 8*v - 2*v. Let y = 235 + v. Does 28 divide y?
True
Does 5 divide (148/(-18))/(64/(-45216))?
False
Let g be (-24)/(-2)*(-6)/(-36). Suppose 2*u - 4*u = -2*b + 1478, -734 = -b + g*u. Is 14 a factor of b?
False
Let p(w) = -4*w + 91. Let i be p(21). Suppose 0 = i*a - 220 - 655. Is a a multiple of 56?
False
Let a(l) = -l**2 - l + 1. Let r(k) = 2*k**3 + 2*k**2 - 12*k + 12. Let g(p) = 8*a(p) - r(p). Let t be g(-5). Is 3 a factor of (-6)/t - (-107)/4?
True
Suppose 0 = 75*s - 39*s + 281*s - 80835. Is 8 a factor of s?
False
Suppose -2*z - 7 = -3*y + 8, 3*y - 4*z - 21 = 0. Suppose y*i + 7*b - 1639 = 2*b, -3*b + 2705 = 5*i. Is i a multiple of 24?
False
Suppose -10*n + b + 9959 = -5*n, 4*b - 9964 = -5*n. Is n a multiple of 12?
True
Is 16 a factor of (-2)/(-1 + (9/3 - 0)) - -3193?
False
Suppose -25*p - 64 = -33*p. Is (-4)/(24/(-405))*p/10 a multiple of 6?
True
Let q(k) = 17*k**2 + 162*k - 23. Is 72 a factor of q(7)?
True
Suppose 0 = 5*f - 25, 0 = -2*t + 4*t - 3*f - 25. Suppose 23*n - 360 = t*n. Is n a multiple of 10?
True
Let o = -269 + 249. Is 472/32 + 15/o a multiple of 4?
False
Let y = 27 + -25. Suppose y*z = -5*g, -2*g - 2*g = 0. Suppose z = -4*v - 2*j + 104, 0 = 5*v + 5*j - 10*j - 130. Does 8 divide v?
False
Suppose -2*o - 2*i = 1699 - 5789, 0 = 5*o - i - 10195. Is o a multiple of 9?
False
Let i(o) = -o - 3. Let z be 0 + (-4)/10 - (-13)/(-5). Let y be i(z). Suppose y = 2*m - 8 - 14. Is 11 a factor of m?
True
Let t(x) = -877*x - 16. Is 43 a factor of t(-6)?
True
Let d(h) = -3*h**2 + 5*h + 9 - 3*h - 5*h**3 + 6*h**3 - 12*h. Is 15 a factor of d(7)?
True
Suppose -42 = 15*n + 33. Is n/(-30) + 2626/12 + 2 a multiple of 49?
False
Suppose -4*g = -2*g. Let p = -12234 - -12238. Suppose 2*m + 760 = -g*t + p*t, 3*m = t - 195. Is t a multiple of 21?
True
Let a(i) = -37*i + 1 - 29 - 16 + 8. Is a(-5) a multiple of 32?
False
Suppose 15*d = 71 - 41. Is ((-124)/8 - d)*96/(-5) a multiple of 14?
True
Let w(p) = 26*p**3 - p**2 + 12*p + 4. Does 36 divide w(6)?
False
Let c be -321 - 15 - 6*1/1. Let g = 759 + c. Is 47 a factor of g?
False
Suppose -5*q = -4993 + 1413. Let y = q + -442. Let l = y + -148. Is l a multiple of 17?
False
Suppose -947*p - 1683 = -938*p. Let j = p - -711. Is 6 a factor of j?
False
Let s = -770 + 774. Suppose -4*q = r - 3473, 0*r + 4336 = 5*q - s*r. Does 50 divide q?
False
Let g(z) = 74*z + 3. Let n(t) = -t**3 - 5*t**2 - 3. Let c be n(-5). Let l(r) = -r - 2. Let m be l(c). Does 26 divide g(m)?
False
Suppose 99*b - 103*b = -28. Let p be (3/3)/(705/234 - 3). Suppose b*o - p = 804. Is o a multiple of 14?
True
Does 59 divide 2/4 + ((-19)/((-19)/(-942)))/(-4)?
True
Let x(s) = -12*s + 22. Let z be x(6). Let m = z - -776. Does 7 divide -1 - -1 - (-5)/(30/m)?
False
Let d = -170 - -173. Suppose d*l - k = 2658 - 807, 6 = -2*k. Is l a multiple of 11?
True
Let l = 150 - 145. Suppose 0 = 2*p - 5*p + 3*x + 111, -l*p + 192 = 2*x. Is 21 a factor of p?
False
Suppose -25*c - 2129 + 39164 = -161340. Does 69 divide c?
True
Let t be 35*((-44)/(-7) + (-3 - -1)). Let f = -82 + t. Suppose -2*q + f = -94. Does 11 divide q?
False
Suppose 2*z - 12 = 2*o, 3*z - 14 = -9*o + 8*o. Does 73 divide (o - 41)/(86/(-3139))?
True
Let t = 11530 - 7446. Is 11 a factor of t?
False
Suppose -v + 4 = 0, 2*f = 11*v - 16*v + 34. Does 34 divide -272*f/14*-10?
True
Is -3 - (-9)/(-18)*-3186 a multiple of 15?
True
Let d(h) = 14*h**2 - 63*h + 341. Does 26 divide d(27)?
False
Suppose -2*f = -5*v + 5658, 0 = -5*v + 17*f - 13*f + 5646. Is v a multiple of 18?
True
Let f = 129 + -129. Is (-6)/(-14) + (f - (-1556)/28) a multiple of 16?
False
Suppose o - 6 = 0, 34*o = 5*h + 39*o - 31295. Does 13 divide h?
True
Let p be 2/((-3)/(6/4)) - -61. Suppose j - 490 = -2*u, j + 1028 - p = 4*u. Is 5 a factor of u?
False
Let c be 709/2 - 1/(-2). Let v = -15874 - -16110. Suppose 3*a - c = v. Is 23 a factor of a?
False
Let d(i) = -2*i**2 + 2*i + 1. Let f be d(-1). Let p be 0*f/(-6) - (-198 - 5). Suppose -5*b = -p - 147. Does 14 divide b?
True
Suppose -8*b + 13932 + 2284 = 0. Is 55 a factor of b?
False
Suppose -125897 = -17*d - 8393. Does 54 divide d?
True
Let l = -8083 + 8654. Does 59 divide l?
False
Let x be 1/(8/6 - 1) - 0. Suppose -3*z = -x*b - 9, b + 0*b + 2*z + 12 = 0. Is 9 + b - (-153)/3 a multiple of 27?
True
Suppose 18*y - 86*y = -431460. Is y a multiple of 45?
True
Let z = 71327 + -44831. Is z a multiple of 96?
True
Suppose -26 = -2*x + x - 2*r, -x = -3*r - 11. Does 3 divide (-24)/x*(-810)/12?
True
Does 53 divide 15 - -7 - (-34267 + -2)?
True
Suppose d - 202 = 5*p, -p - 988 = -5*d + 2*p. Let c = 527 - d. Suppose -2*w = -c + 114. Is 19 a factor of w?
False
Let y(u) = -u**2 - 2 + 2*u**2 + 0*u**2 - 4*u. Let w be y(4). Is (-1)/w + 611/26 a multiple o