- 39 = 0, 3*h - 3*b + s = 0. Is ((-1)/(-2))/(h/(-1734)) even?
False
Suppose -4*p + 4*n + 27428 = 0, 103*p - 104*p - 3*n = -6881. Is 4 a factor of p?
False
Let i(c) = -27 + 8*c**2 + 5 + 8*c + 8 - 26. Is 20 a factor of i(-10)?
True
Let c(f) = 4*f**3 + 92*f**2 - 5*f - 111. Let j be c(-23). Let n = 173 + 46. Suppose r + 7*q = j*q + n, -3*q = 5*r - 1095. Is r a multiple of 22?
False
Suppose 29764 = 7*z - 14476. Is 32 a factor of z?
False
Let n(q) = q**2 - 15*q - 9. Let d be n(16). Suppose 3*p - d*p - 221 = -5*a, 5*a = 25. Let m = -45 - p. Is 4 a factor of m?
True
Suppose -3*i - 35 = 5*r, 0*r - 8 = -4*r. Let v = 5 - i. Suppose -v = 4*m, -5*n = -0*m - 2*m - 270. Is 7 a factor of n?
False
Suppose -183644 = -74*v + 111468. Is v a multiple of 4?
True
Is ((-44618)/(-21) - 12)/((-3)/(-9)) a multiple of 146?
False
Let p = 94 - 89. Suppose 3894 = 3*n - 11*l + 13*l, 2*l = p*n - 6474. Does 16 divide n?
True
Let f(k) = 6*k - 162. Let v(n) = n**3 + 9*n**2 + 6*n + 3. Let b be v(-3). Is f(b) a multiple of 12?
True
Let r = 759 - 477. Suppose 495 = -279*b + r*b. Does 15 divide b?
True
Suppose 67*u + 23*u = -70*u + 19200. Let q(n) = 13*n + 4. Let d be q(4). Suppose d*k = 59*k - u. Is k a multiple of 10?
True
Suppose -84*x - 4 = -86*x. Suppose x*k + 20*g = 15*g + 628, 0 = k + 3*g - 316. Is k a multiple of 16?
True
Suppose -6 = -7*m + 22. Suppose -2*u + 6 = 0, -m*y = -u - 504 - 821. Is y a multiple of 49?
False
Suppose -o - 79 = 90. Is 9 a factor of o/2*-4 + -5 + 9?
True
Let m(r) = -2*r + 1. Let n(b) = -7*b + 7. Let d(y) = -2*m(y) + n(y). Suppose c = -3*g - 23, -2*c - 3 = 1. Does 5 divide d(g)?
False
Let v(k) = -k**2 + 72*k + 151. Is 27 a factor of v(32)?
True
Let u(n) = 4*n**3 - 4*n**2 - 19*n - 42. Let x = 354 + -346. Is 19 a factor of u(x)?
False
Let k(f) = 2*f**2 - f - 3. Let w(d) = d**2 - 2. Let x(j) = 3*k(j) - 4*w(j). Let s be x(5). Suppose -4*a = -2*a - 4*q - s, -a + q = -17. Is a a multiple of 5?
False
Let r = -2138 - -1219. Let q = r - -1459. Is q a multiple of 30?
True
Suppose 4*l + 3*j - 7606 = 0, 9*l - 9521 = 4*l + 3*j. Let z = l - 1259. Is 14 a factor of z?
True
Suppose 65*m - 426663 - 97172 = 0. Is 118 a factor of m?
False
Suppose 4*k - 14 = v, 5*k - 28 = -v - 6. Suppose v = 7*f - 12. Suppose 4*o - 170 = f*o. Is o a multiple of 25?
False
Let z(b) = 2*b + 16. Let o be z(-7). Suppose -h = -q, -o*q + 3*q + 8 = 5*h. Is 36 a factor of (2/5)/(-6*q/(-6840))?
False
Suppose 1249920 = 329*m - 281*m. Is m a multiple of 168?
True
Suppose -x = 2 - 25. Let a = 35 - x. Suppose 7*w = 10*w - a. Is 4 a factor of w?
True
Let w(s) = s**2 + 14*s - 358. Is w(-31) a multiple of 31?
False
Let c = 919 - 525. Let l(m) = m**3 + 6*m**2 - 19*m + 8. Let j be l(2). Suppose 0 = -o + 6 - 3, 4*a - j*o = c. Does 21 divide a?
False
Let a be 32 + 2 + 6 + 0. Suppose -a*x + 43*x = 864. Is x a multiple of 24?
True
Let r(f) = -650*f - 328. Does 64 divide r(-20)?
True
Let x(n) = 168 + 161 - 337 + 54*n. Suppose 3 = 3*h - 5*c - 20, -5*h = 2*c - 28. Is x(h) a multiple of 42?
False
Let w(z) = -3*z**2 - 41*z - 6. Let h be w(-13). Suppose -2*f = 2*f - h. Suppose -b = -2*x + 285, -9*x = -4*x + f*b - 690. Is x a multiple of 9?
False
Let w(m) = m**2 + 5*m + 12. Let x = -63 - -57. Let d be w(x). Suppose 13*j + 175 = d*j. Is 14 a factor of j?
False
Suppose 287*b = 288*b + 2*i - 23789, b + 4*i - 23771 = 0. Is 19 a factor of b?
True
Let w(c) = -17*c - 21. Suppose 52 = -h + 42. Let r be w(h). Suppose 2*o - 2*v - 62 = 0, 5*o + 5*v = 4*v + r. Is 6 a factor of o?
True
Is (-230)/(-161)*10133 + (-2)/(-7) a multiple of 154?
True
Let x(w) = -636*w + 7656. Does 12 divide x(-11)?
True
Let z be 7 - (1 + 1/(1/2)). Let v be (-1)/((z - 0)/(-996)). Suppose 2*d - 2*w - v = -3*d, -5*d + 4*w + 243 = 0. Is d a multiple of 11?
False
Let n(u) = -u**3 - 5*u**2 - 7*u - 3. Let p(a) = -11*a**3 + a**2 + 5*a - 5. Let f be p(1). Let w be (-10)/3*((-42)/f + -3). Is 9 a factor of n(w)?
True
Suppose -m - 3*q + 17 = 0, -5*m + q + 0 = -5. Suppose 0*p = m*p. Let r(l) = -l**2 + 36. Is r(p) a multiple of 12?
True
Let r(u) = 17*u**2 + 5*u + 3. Let a be r(6). Let w be -7 + (-20)/(-5) - (-7)/(28/24). Suppose 3*d = -2*c + 651, a = 2*c - 6*d + w*d. Does 20 divide c?
False
Suppose -6 = -3*n + 3. Suppose 5*u + 55 = 6*u + 3*y, 0 = n*u + 4*y - 155. Is u a multiple of 49?
True
Suppose 5 = -13*y + 18*y + g, -20 = 2*y - 4*g. Suppose y = 2*l - 190 - 176. Is l a multiple of 9?
False
Let z = -27 - -34. Suppose -z*s = s - 584. Suppose -2*c + 3*c - 3*g = s, -43 = -c - 3*g. Does 15 divide c?
False
Suppose z - t = -2*t + 15, 5*t = 5*z - 75. Let h = z - -41. Let r = h - 34. Does 11 divide r?
True
Suppose -2*j - 1135 = -2*d - 5*j, 2*d - 1132 = -2*j. Let i(w) = -730*w + 7. Let n be i(-1). Suppose n = 5*h - d. Is h a multiple of 21?
False
Let w(j) be the second derivative of -5*j**3/6 - 26*j**2 + 5*j - 6. Is w(-27) a multiple of 40?
False
Suppose -1134 = -5*t + 2*d - 314, -337 = -2*t - d. Suppose 5*b - 966 + t = 0. Is b a multiple of 6?
False
Suppose 11*x - 3 = 19. Let r be 25/((-175)/84)*1/x. Is (180/25 + r)*(1 - -164) a multiple of 18?
True
Suppose -3772*y + 3688*y = -1712256. Is y a multiple of 16?
True
Let h = 20944 - 11142. Is 58 a factor of h?
True
Suppose -4*a - 19 + 119 = 0. Suppose a*o = 20*o + 65. Does 2 divide o?
False
Let a(m) = -4*m + 7. Let k be a(-5). Suppose 2*x - 3*h - k = 0, -4*h + 0*h - 3 = x. Suppose -180 = x*o - 1215. Is 18 a factor of o?
False
Let v be 4 - (2 - 4/2). Suppose 3*i + 5*g - 17 + 0 = 0, -3*i + 16 = v*g. Suppose -3*z = -i*z + 13. Does 12 divide z?
False
Suppose -10*v + 7748 = 1317 - 1969. Is 12 a factor of v?
True
Let d = 336 + -40. Let m = d - -134. Does 34 divide 4 + 3/(6/m)?
False
Suppose 3*j - 108 = -4*t, 0 = -3*t - 2*j + 33 + 48. Let s = 38 - t. Suppose 15*u - s*u - 20 = 0. Is u a multiple of 3?
False
Suppose 3*h = 782 + 586. Suppose -h*c + 450*c = -2634. Is c a multiple of 29?
False
Let k(u) = -u**2 + 40*u - 111. Let x be k(25). Let n = 414 - x. Is n a multiple of 15?
True
Let s = 56277 + -6107. Is s a multiple of 29?
True
Suppose 3*c = -0*c + 4*d + 5, -5*d = 5*c - 20. Suppose 20 - 11 = c*i. Suppose -55 = -i*a - 2*w, -5*w = 4*a - w - 72. Is 4 a factor of a?
False
Suppose 35*f = 99*f - 888320. Is 17 a factor of f?
False
Let f(g) = 6*g**3 - 6*g**2 + 6*g. Let h be f(5). Let j be (12/10)/(12/h*1). Suppose -2*d = -0*d + 5*p - j, 3*p + 80 = 5*d. Does 14 divide d?
False
Is (-86)/(-43) - 14/6 - 52202/(-6) a multiple of 58?
True
Let s(d) = 3*d + 20. Let p be 12/(-1) - (56/7 - 7). Let i be s(p). Let k = -11 - i. Does 4 divide k?
True
Let r(z) = 8*z**2 - 178*z + 37. Let s be r(22). Let w be 10/(-4)*2*5. Let a = s - w. Does 6 divide a?
True
Let k(b) = 406*b + 13350. Does 94 divide k(-22)?
True
Suppose 10 - 10 = -2*t. Let o be (-9)/((-3)/(-2) + -3 + t). Suppose -2*j + 4*a + 36 = 0, o*j = j - 5*a + 165. Is j even?
True
Let q be (-6)/8 + 1212/(-48). Let y = -7 + q. Let o = 39 + y. Is o a multiple of 6?
True
Let u(d) = 3*d**2 - 3*d + 2. Let j be u(3). Suppose -2*s + 7 = 3*m, -s + j = 5*m - 6*s. Suppose m*n = -2*n + 230. Does 5 divide n?
False
Let u = 23900 - 15597. Does 15 divide u?
False
Let r be (-170)/6 - (28/6 + -5). Let n = r + 35. Suppose n*f = 6*f + 60. Is 5 a factor of f?
True
Suppose 20*s - 19*s - 829 = 4*b, -3*s + 2454 = -b. Suppose -2*t = -2*a - s + 277, -810 = -3*t + 2*a. Is t a multiple of 19?
False
Let n be 20/(-15)*(-27)/12. Let k be n + 76 + (0 - -4). Suppose 0 = 2*a + 4*m - 48, 0 = -0*a - 4*a + 5*m + k. Is 22 a factor of a?
True
Suppose 5*j + b - 34555 = 0, 5265 = j - 5*b - 1620. Is j a multiple of 5?
True
Suppose 0 = -33*h + 24506 - 4607. Is 5 a factor of h?
False
Suppose 5*l - 3*f = 10209, 167*l - 168*l + 2052 = -4*f. Is 30 a factor of l?
True
Suppose -5*m - 64*b = -61*b - 21368, 0 = m + 2*b - 4268. Does 13 divide m?
False
Let h(o) = 2*o**3 + 73*o**2 + 280*o - 74. Is h(-32) a multiple of 103?
False
Suppose 2*w - 12 = 0, 3*w - 1013 - 3801 = -2*j. Is j a multiple of 22?
True
Let f be (-12)/6*(-3)/(-6) - -1. Suppose 2*j = 7*i - 5*i + 1634, f = 2*i. Does 19 divide j?
True
Suppose 107*b + 88*b = 3082950. Is 17 a factor of b?
True
Let p(i) = -61*i**2 + 3*i + 359. Let t be p(0). Let g be (-6)/4*(-4)/3. Suppose c + c = -5*v + t, c - g*v = 175. Does 32 divide c?
False
Let y = -18 - 62. Let w = y - -72. Let b = 166 - w. Is 29 a fa