81*v - 24. Is 12 a factor of w(5)?
True
Let w(j) = j**2 - 113*j + 1040. Let f be w(10). Let q = -1274 + -190. Does 15 divide 1 - q/f - (-38)/(-95)?
False
Let f = -17229 - -34341. Does 92 divide f?
True
Let i = 71 - 67. Suppose -2*v + 418 = -0*v - d, i*v = 4*d + 832. Is v a multiple of 10?
True
Suppose -q = 3*q + 5*k - 58, -5*q - k = -62. Let f be ((-30)/q)/(((-2)/1)/20). Suppose 127 = 8*z - f. Is 6 a factor of z?
False
Suppose 857 - 4497 = 35*u. Let t = u - -334. Is t a multiple of 10?
True
Let o = 2141 - 33. Is o a multiple of 62?
True
Let g(p) = 2*p**2 - 25*p + 235. Does 3 divide g(13)?
False
Let z(w) = -87*w - 112. Let c(t) = -29*t - 38. Let y(f) = 8*c(f) - 3*z(f). Is y(11) a multiple of 62?
False
Suppose -36*z - 224 - 64 = 0. Is 11 a factor of z - -1*56 - 4?
True
Suppose -3*o = 2*o + 15. Is 10 a factor of -2 - (-3 + -391) - (5 + o)?
True
Let l(g) = 384*g**2 + 337*g - 2365. Is l(7) a multiple of 33?
True
Is ((-1444)/48 - 36/(-48))*(-210)/4 a multiple of 22?
True
Suppose 2*i + 2*g - 42 = 4*g, -i + 5*g + 13 = 0. Suppose -k + 5*k - 3*m - i = 0, -k - m - 3 = 0. Suppose k*u = -u + 4*p + 133, -p = -5. Does 4 divide u?
False
Let j(o) = -o**3 + 7*o**2 + o - 9. Let n be j(7). Let l(k) = k**2 - k - 4. Let q be l(n). Let s(f) = 21*f**2 - 4*f + 2. Does 13 divide s(q)?
True
Suppose -5*r + 320 = 5*b, -2 = 2*b - 10. Suppose -952 = -62*y + r*y. Does 28 divide y?
True
Let u(d) = 12*d + 2. Let y be u(3). Suppose -42*o = -y*o - 8. Suppose 55 = 5*c + o*n, 0 = c - 2*n - 9 - 2. Does 9 divide c?
False
Let p(l) = 109*l**2 - 67*l - 20. Is p(-3) a multiple of 39?
False
Suppose 2*k - 3252 = 2*b, -b - 3 + 5 = 0. Is 51 a factor of k?
False
Let j(y) = 9*y + 74. Let c be j(-9). Let z = c - -231. Is z a multiple of 16?
True
Let a = 12165 - 11301. Is a a multiple of 9?
True
Suppose 0 = 7*x - 9*x - 2. Let f be (22*4/16*-14)/x. Suppose -5*s + 2*b = -186, -2*s = 2*b + 11 - f. Does 12 divide s?
True
Let s(q) = 525*q + 2. Let a be s(-1). Let c = a + 193. Let o = c - -470. Does 27 divide o?
False
Let k be (0 - 1126) + 6*3/(-6). Let w = -721 - k. Suppose 0*f = -3*f + w. Is 17 a factor of f?
True
Suppose -27*w + 27136 = 5*w. Does 55 divide w?
False
Suppose -1984 + 310 = -9*c. Let o(m) = m**3 - 7*m**2 + 2*m - 9. Let g be o(7). Suppose -374 - c = -g*q. Is q a multiple of 11?
False
Suppose 11*m - 3201 = -5*o + 12*m, -4*o + 2556 = 4*m. Suppose 3*i - 3*c - o = -8*c, 5*i + 2*c - 1054 = 0. Does 5 divide i?
True
Suppose 0 = -3*a + 795 + 447. Suppose -113*k + a = -112*k. Is k a multiple of 23?
True
Let d = -30 - -33. Suppose -4*g = 0, -d*h + 4*g + 4 - 1 = 0. Is 3 a factor of (39 - (3 - 4))/h?
False
Suppose 0*f + 3*j = 4*f - 31, -3*f + 22 = -2*j. Suppose 4*h + 2*g = 4*g + 1230, 5*h - f*g - 1533 = 0. Does 13 divide h?
False
Let k = -1513 - -2608. Is 15 a factor of k?
True
Let v be (-39 - 7)/((-1)/5). Suppose -25*i = -27*i - v. Let k = 141 + i. Does 2 divide k?
True
Let t(r) = -193*r - 12. Suppose h + 28*p - 23*p = 23, -h - 27 = -5*p. Does 17 divide t(h)?
True
Let c = 4106 + 7059. Is c a multiple of 55?
True
Suppose 8*p = -13*p - 3*p + 100152. Is 107 a factor of p?
True
Let m(g) = g**3 + 22*g**2 + 8*g + 39. Let j(h) = h**2 + h - 1. Let s(i) = -6*j(i) + m(i). Does 5 divide s(-15)?
True
Suppose -y - n - 6 = -6*n, 0 = -2*y - 5*n + 18. Suppose -u + 98 = u + y*b, -u + 58 = 5*b. Is u a multiple of 3?
False
Let m(v) = -1174*v**3 + 2*v**2 + 3*v + 6. Does 10 divide m(-2)?
True
Suppose 5*y - 1234 = -64. Suppose -4*c + y = -178. Suppose 3*j - 489 = -5*t, 5*t - 4*t - 2*j - c = 0. Is 9 a factor of t?
True
Let o = -286 + 1486. Does 12 divide o?
True
Let l(r) = -239*r - 7. Let m be l(-1). Let n = m - 94. Is n a multiple of 46?
True
Let b(n) = -n**3 + 13*n**2 + 3*n - 31. Let i be b(13). Suppose 3*s = 3*w + 447, -i*s + 9*s + 4*w - 129 = 0. Is 25 a factor of s?
False
Let c = 113353 + -79621. Is 94 a factor of c?
False
Suppose 2*r - 36282 = 5*h, -233*r - 54366 = -236*r - 2*h. Does 159 divide r?
True
Suppose 0 = -3*a + 4*a - b, -20 = -4*b. Suppose 3*f = 2*n - 6*n + 19, f - a = -n. Does 3 divide (-3)/f - 9*-2?
True
Let y(a) = -a - 15. Let q be y(-21). Let l = q + -6. Suppose -d + 5*i + 40 = l, 0*i + 214 = 4*d - 2*i. Is 5 a factor of d?
True
Suppose 36*c - 42*c + 18 = 0. Suppose -4*y - q = -1720, 11*y - 16*y = -c*q - 2150. Is y a multiple of 43?
True
Let r(u) = 15*u**2 - 4*u - 77. Is 21 a factor of r(-17)?
True
Let u = 48 - 46. Suppose 3*r = -2*o + u, -3*o + 0*r + r = -25. Suppose x = -o*c + 2*c + 118, 5*c = -25. Is 22 a factor of x?
False
Suppose -10*f + 9*f - 9 = 0. Is 19 a factor of f + 303 - 2*2?
False
Does 6 divide 1124334/234 - (-4)/26?
False
Is 1034 - 20 - 5/(15/18) a multiple of 9?
True
Suppose 0 = 3*w + 4*b - 34, 0*w - 5*b = -2*w + 38. Suppose 0 = 4*q - 5*q - 2*d + 7336, 3*d = 5*q - 36615. Is 29 a factor of (-4)/w + q/63?
True
Let v(u) = -u**3 + 131*u**2 + 237*u - 3102. Does 171 divide v(131)?
False
Suppose -21*a - 2*a = -2392. Suppose a + 92 = 4*k. Does 38 divide k?
False
Let u(g) = g**3 - 10*g**2 - 5*g + 25. Let v = 507 - 495. Is 32 a factor of u(v)?
False
Suppose 15*r - 4*a - 12 = 11*r, 5*a = 15. Is 984/16 - -4 - (-3)/r a multiple of 3?
True
Suppose -4*h + 12 = -0*h. Suppose 5*g + 4*u = 53, 2*g + 0*g - 12 = h*u. Suppose 124 = 2*v + 4*p, -4*p - g = 4*v - 253. Is 7 a factor of v?
False
Let k(c) = 2*c + 1. Let p(g) = g**3 - 4*g**2 + 3*g - 6. Let b be p(4). Is k(b) a multiple of 3?
False
Let b = 5525 - -6123. Does 32 divide b?
True
Suppose 4*i - u = 3*u + 32, -i + 4*u + 17 = 0. Suppose 1285 = 2*s - 3*t - 1085, 3*s - 3554 = i*t. Is 54 a factor of s?
True
Let q = 6424 - -2864. Is q a multiple of 18?
True
Let n(o) = 14 + 48 + 43 - 9 + 13*o. Does 62 divide n(26)?
True
Let i(h) = -2523*h + 300. Is i(-10) a multiple of 18?
False
Let s = -733 - -737. Is 53 a factor of 1/((-42)/s) + (-33280)/(-168)?
False
Let s(w) = w**3 + 32*w**2 + 29*w - 4. Let h be s(-31). Suppose 64*a = h*a + 756. Does 7 divide a?
True
Let j(t) = -14*t - 17. Let v(i) = -5*i - 6. Let u(r) = -6*j(r) + 17*v(r). Let b be u(-3). Suppose 2*p + b*p = 150. Does 6 divide p?
True
Let d(n) = 246*n + 4359. Is d(59) a multiple of 9?
True
Suppose -4*g + 4 = -4. Let v(p) = 652 - 622 + 4*p - g*p. Is 6 a factor of v(21)?
True
Suppose -9*f + 1542 = 156. Let i = 202 + f. Is 13 a factor of i?
False
Suppose -6*u + 8863 = -23405. Does 16 divide u?
False
Suppose -3*g + 3*k + 4431 = 0, k = 7*g - 3*g - 5896. Suppose 6*j = g + 1959. Is 13 a factor of j?
True
Let o = -7819 + 29579. Is o a multiple of 13?
False
Suppose 5*o - 5*s = -6*s + 33325, 4*s = -3*o + 19978. Does 6 divide o?
True
Let l(z) = 2136*z + 450. Does 75 divide l(5)?
False
Let h = -36 - -37. Let s be (-3)/(h - 2) - (-3 + 5). Is 12 a factor of (s - 5)/(1*3/(-54))?
True
Let q(x) = -2*x + 1. Let k be q(-1). Suppose -l + 5*t + 54 = 14, 0 = -k*t - 12. Let m = 77 + l. Is 9 a factor of m?
False
Let i = -61 + 59. Does 15 divide (-128)/(-10) + (-8)/(-40) - i?
True
Let z be (-28)/(-238) + (-66)/(-17). Suppose 0 = 2*k - 4*u - 4 - 56, 120 = 5*k - z*u. Is 5 a factor of k?
True
Let f(l) = -4*l + 1. Let m be f(-3). Let o(a) = -a**3 + 15*a**2 + 7*a - 22. Is 7 a factor of o(m)?
False
Suppose -14132 = -3*q + 5*l, -13*l = 3*q - 16*l - 14124. Is 6 a factor of q?
True
Suppose -z = -5*w - 10, -w + 7 = -z + 25. Suppose 0 = 5*p - z, 2*r = -0*p + p + 686. Is r a multiple of 69?
True
Let f = -123 - -125. Let x be 4/(-20)*(-5)/f*0. Suppose -3*w + 78 + x = 0. Is 13 a factor of w?
True
Suppose -1022 + 322 = -b. Suppose 5*h + b = -905. Does 19 divide -4*(h/8)/((-15)/(-10))?
False
Let v(d) = d**2 + 27*d - 26. Let t be v(-28). Suppose 5*g - 1815 = -3*h, 0 = -t*h - 3*h + 25. Is 30 a factor of g?
True
Suppose 5*b - 854 = -2*n, -5*b - 4*n + 137 + 711 = 0. Is 43 a factor of b?
True
Suppose 184 = 4*t - 4*v, 100 = 2*t - 2*v + 4*v. Suppose -3*i + 26 = -22. Is (t/(-16))/((-3)/i) a multiple of 16?
True
Suppose 3*s = 12 + 36. Is (-4)/(s/(-1244)) - (-30)/(-6) a multiple of 17?
True
Suppose 0 = 2*i - 7*i - 4*k + 78408, -62726 = -4*i - 3*k. Does 49 divide i?
True
Suppose -20*k + 135 = 155. Is (-447)/(-2) + (8/(-16) - k) a multiple of 16?
True
Let g(y) be the first derivative of -y**3/3 + 6*y**2 + 14*y + 109. Is 3 a factor of g(11)?
False
Suppose 6*x + 39 = -k + 2*x, 210 = -4*k + 2*x. Let j = k + 54. Suppose 0 = j*c - 7*c + 180. Is c a multiple of