 16*i - 60. Suppose 5*a + 34 = 2*b - 76, 4*b + 44 = -2*a. Is 36 a factor of w(a)?
True
Let z(g) = 23*g**2 + 81*g - 402. Is 4 a factor of z(8)?
False
Is 0 - -5 - (4/(-7) + (-6141305)/707) a multiple of 83?
False
Suppose 20 = 4*v + 3*n + 7, 5*v - 16 = -4*n. Suppose c + v = 8. Suppose -45 = c*s - 7*s. Does 4 divide s?
False
Let x(r) = 6*r**2 + 7*r - 7. Let i be (-5 - -5) + 4 + 1. Let m be x(i). Suppose 48 = -5*k + m. Is 16 a factor of k?
False
Suppose -3*u + 4193 = 5*y, 5*u - 5*y = 7843 - 908. Does 19 divide u?
False
Let f = -1146 - -4618. Suppose 16*s = 12*s + f. Is 28 a factor of s?
True
Let b(v) = v. Let l(f) = -2*f**2 + 10*f - 3. Let s(y) = 5*b(y) - l(y). Let m = -1002 - -998. Does 11 divide s(m)?
True
Suppose 41*n - 8523 = 7016. Suppose 23 = 3*j + 14, -n = -4*h + 3*j. Is 59 a factor of h?
False
Let x = 6162 + -4609. Does 19 divide x?
False
Suppose 7*w + 1453 = -1928. Let i = -253 - w. Does 37 divide i?
False
Let p(u) = 3*u - 3. Let t(n) = -n. Suppose 21*j - 27*j = -30. Let r(o) = j*t(o) + p(o). Is r(-4) a multiple of 5?
True
Let q(y) = -3*y**3 - 45*y**2 - 41*y + 100. Is 15 a factor of q(-23)?
False
Let w be ((-16)/(-14))/(8/28). Suppose -w*v - 4 = -12. Suppose u + v*y + 292 = 3*u, 0 = -2*u + y + 296. Does 35 divide u?
False
Let h = -12506 + 14044. Does 8 divide h?
False
Does 79 divide (-153514)/34*-1 + (-8)/204*3?
False
Is 0/((0 - 1)*1) + 1600 a multiple of 8?
True
Let c(x) = 2*x**3 - 21*x**2 - 13*x + 27. Let q be c(11). Suppose -4*m = q*w - 460 - 428, w = 2*m + 186. Does 20 divide w?
True
Suppose 27*g = 26*g - 510. Let j = -227 - g. Is j a multiple of 27?
False
Let n = 536 + -753. Let m = n - -322. Is 7 a factor of m?
True
Suppose -14 = -r - 3*m, -5*r + r + 22 = -5*m. Is 7 a factor of -5*(8 - 50)/(10/r)?
True
Let u(x) = -x**2 - x + 288. Let v be u(-28). Is 32 a factor of (62 + -1 + 3)/((-39)/v)?
True
Suppose 2*h - 258960 = -24*h - 0*h. Is h a multiple of 8?
True
Let c(u) = u**3 + 18*u**2 - 16. Let l be c(-17). Let i = l - 113. Is 5 a factor of i?
True
Suppose -8*z + 4*z - 3*s = -3, 3*z - 12 = s. Suppose z*y = 4*y - 288. Is 6 a factor of y?
True
Let o = 13 + -28. Let f = 15 + o. Suppose 4*l - 440 = -f*r + 3*r, -550 = -5*l - 2*r. Is l a multiple of 22?
True
Let x = -2455 + 6600. Is 40 a factor of x?
False
Suppose -63*y = 23*y + 74*y - 1010880. Does 81 divide y?
True
Suppose 3*v - 2 = 10. Suppose 4*u + v*n = 4, 7*n + 6 = 4*u + 9*n. Suppose p = z + 211, p + z + u*z = 199. Is p a multiple of 16?
True
Let i be (-11)/((-22)/4) + -6. Let b(u) = 8*u**2 - 3*u - 8. Is b(i) a multiple of 11?
True
Let y(a) = -a**3 + 26*a**2 - 23*a - 50. Let z be y(25). Suppose -5*n - o + 2328 = z, 3*o + 476 = n - 2*o. Is 24 a factor of n?
False
Suppose 0 = -4*r - 3*c - 0*c - 570, 5*r + 718 = -c. Let l = 301 + r. Does 8 divide l?
False
Suppose 0 = k + k - z + 20, 0 = 2*k - 5*z + 36. Let s(d) = 2*d**2 + 15*d - 11. Let u be s(k). Does 21 divide u/(3 - (-212)/(-70))?
True
Let a(z) = 480*z**2 + z - 4. Is a(2) a multiple of 44?
False
Suppose 0 = 8*f - 36 + 692. Let q = 122 - f. Is 15 a factor of q?
False
Suppose -8*f + 3*f = -1155. Suppose 45 = 2*g - f. Let j = -95 + g. Is 23 a factor of j?
False
Let q be (-6)/(-10)*((-38)/(-1) - 3). Let f be 9/q - (-16715)/35. Suppose 0*a + 2*u + f = 4*a, -5*a + 601 = u. Is a a multiple of 30?
True
Let z be (6 - 2) + 3 + -3. Suppose z*h - d = -h + 1101, -446 = -2*h - d. Is h a multiple of 13?
True
Let s(f) = -f**2 - 11*f + 22. Let k = -55 - -43. Let r be s(k). Suppose -r*i + 8*i + 18 = 0. Is 3 a factor of i?
True
Let r = 909 + 341. Suppose 5*j - 2*k = 1250, 11*j - r = 6*j - 2*k. Is 22 a factor of j?
False
Let q = -8628 - -16234. Does 2 divide q?
True
Let v = 635 - 629. Suppose -11*z = 2*t - v*z - 2162, 2*z + 2148 = 2*t. Is t a multiple of 57?
False
Let o = 81020 + -54292. Does 104 divide o?
True
Suppose 2*t - 6 = 3*b, 149*b = 2*t + 151*b + 14. Let w(u) = u - 3. Let l be w(6). Does 24 divide 73/l - (t - 70/(-21))?
True
Let m(g) = -g**3 - 29*g**2 + 94*g - 57. Let t be m(-32). Let p(v) = 4*v**2 + 6*v + 34. Is 22 a factor of p(t)?
False
Let j(t) = -5*t - 46. Let h be j(-10). Suppose -4*f + 0*f = 4*v + 4, 0 = -h*f - 3*v + 1. Is 4 a factor of f?
True
Suppose -5*b = 3*y - 300, 5*b - 4*y = -33 + 333. Let q = b + -45. Suppose -19*k + q*k = -248. Is 13 a factor of k?
False
Let x(k) = -190*k**3 + k**2 - 2*k - 4. Let v be 40 + -43 + (0 - -2). Is x(v) a multiple of 21?
True
Suppose -2457*m + 2455*m - 3*g + 46777 = 0, -2*m + 46772 = -2*g. Does 13 divide m?
True
Suppose 0 = 2*s + 20*s - 5280. Suppose 58*t = 52*t + s. Is 40 a factor of t?
True
Suppose -16*c - i + 13303 = -11*c, -4*i + 7992 = 3*c. Suppose -58*h + 44*h = -c. Does 19 divide h?
True
Suppose c - 10 = -2*i, i + 2 = 4*i - 5*c. Suppose -28*j = -i*j - 1152. Is j a multiple of 12?
True
Let l be ((-6)/(-4))/((-16)/(-32)). Suppose l*m - 3*c = 2*c - 108, 3*c = -5*m - 180. Does 14 divide (24/m)/(1/(-42))?
True
Let h(y) = -19*y + 268. Let o be h(12). Let w = 176 + o. Is 18 a factor of w?
True
Let o be ((-116)/10)/((-20)/50). Suppose -o*n + 10*n + 57 = 0. Suppose 2*h - 383 = -4*i - n*h, -5*h = -2*i + 229. Does 6 divide i?
True
Let l be -28 + -4 + (-16)/(-2). Let k = l + 131. Suppose 5*d = -20, 2*r - r - 5*d - k = 0. Is r a multiple of 18?
False
Suppose 0 = h - 13331 - 5482. Is 60 a factor of h?
False
Suppose 4*d = 2*r - 10026, -58*d - 8 = -56*d. Is r a multiple of 112?
False
Suppose 43*x - 2*v = 38*x + 58, x = 2*v + 10. Does 9 divide (5 + 222/x)*18?
True
Suppose -8*r + 0*r = -0*r - 12832. Is 2 a factor of r?
True
Let v(z) = z**3 + 30*z**2 + 29*z + 24. Let d be v(-29). Suppose -r = 11*r + d. Is 16 a factor of 899/13 + r/13?
False
Let n(w) = -11*w + 35. Let l be n(4). Is 21 a factor of l/36*4*(0 + -97)?
False
Let n(u) = 785*u + 8151. Does 14 divide n(25)?
True
Suppose 91*t - 94*t = 4*o - 532, -5*o + 5*t + 665 = 0. Is o a multiple of 3?
False
Let f(s) = -s**2 - 2*s + 1522. Let q be f(0). Suppose -2*a + 2*h = -1038, a + 2*a = -4*h + q. Is a a multiple of 30?
False
Let o(r) = 2*r**3 - 3*r**2 + 3*r - 4. Let j be o(3). Let l = -31 + j. Does 10 divide ((-21)/(-6))/(l/18)?
False
Let i(b) = 26*b - 1. Let z be i(1). Let m be -9 + (10/5 - -13). Suppose z + 41 = m*q. Is 5 a factor of q?
False
Let l be (35/7)/(3/69). Let y = 245 - l. Is y a multiple of 10?
True
Let k = 26 + -24. Suppose s - 59 = a - 4*a, 0 = -k*s - 4*a + 122. Is 30 a factor of s?
False
Suppose 0 = 74*o - 997306 + 327606. Is o a multiple of 25?
True
Let m = -7968 - -11692. Is 98 a factor of m?
True
Does 142 divide ((-2)/(-5) + (-708)/(-5))*(64 + 2)?
True
Let x(a) = 13*a**2. Let p be x(2). Let q = 57 - p. Suppose -q*g + 7*g = 24. Does 4 divide g?
True
Let g(v) = -v**2 - 6*v + 56. Let z be g(6). Does 2 divide (-195)/(-52)*z/(-10)?
True
Suppose 4*z = -2*j + 40, -5*j + 20 = -0*j. Suppose -z*u - 4*m = -5*u - 868, -291 = -u - 3*m. Does 38 divide u?
False
Suppose 15340 = 3*a + 4*h, -a + 97*h + 5092 = 93*h. Is a a multiple of 7?
False
Suppose q - 8378 = -10*b + 11*b, -4*b - 8396 = -q. Is q a multiple of 132?
False
Let b(i) = 179*i**2 - 260*i - 1649. Is b(-6) a multiple of 155?
True
Let i be (6/(-2) - -4)/((-3)/(-12)). Suppose 2*n = i*s + 71 + 87, 405 = 5*n - 5*s. Is 13 a factor of n?
False
Suppose 46*i - 1298 = 36. Is (-14)/3*i/(116/(-360)) a multiple of 6?
True
Let k(o) = -7*o + 43. Suppose 41*a = 38*a. Let t be k(a). Suppose 324 = 3*s + 4*b, 2*s - b = t + 162. Is s a multiple of 26?
True
Let w be 4/(-26) - 106050/195. Let x = w - -592. Is x a multiple of 16?
True
Is (106776/60 - 0) + 1*10/25 a multiple of 4?
True
Suppose 102 - 30 = 3*h - 5*v, 4*h - 96 = -5*v. Suppose h = 3*f + 3*f. Suppose -5*c + 84 = -f*b, c - b + 3 = 19. Does 13 divide c?
False
Suppose -8*x - 2 = -7*x, -4*j - x = -36746. Does 116 divide j?
False
Let f = 342 + -331. Let j = 80 - f. Is 14 a factor of j?
False
Is ((-560)/(-84))/(2 - (32716/4674 + -5)) a multiple of 25?
False
Let p = 16564 + -12562. Does 174 divide p?
True
Let d = -403 - -273. Let k = -134 - d. Is 26 a factor of (-2)/k + 1565/10?
False
Is 94 a factor of ((-2)/(9 - 7))/((-1)/3478)?
True
Suppose 3*p - 176 - 13 = 0. Let m(l) = 2*l**2 - 47*l - 132. Let r be m(27). Let a = p - r. Is a a multiple of 5?
False
Let n be 2/9 + 15*(-10)/(-54). Suppose 4*d + j - 8 - 6 = 0, 4*d + n*j = 10. Suppose -14 = -2*l - 0*l + 2*q, -3*l = d*q. Is 