) = u**2 + 2*u + 8. Let t be y(0). Suppose -t*p = -5*p + 3. Is 11 a factor of (34 - 24)*p/((-10)/88)?
True
Let n(y) = 1394*y + 425. Let a be n(15). Suppose -53*g + 3469 = -a. Is g a multiple of 36?
True
Suppose 2*p = -2, -2*r + 1513 = r - 4*p. Let z = r - 162. Suppose -2*b - z = -5*m, 9*m - 5*m - 266 = 5*b. Does 7 divide m?
False
Suppose 2*w + 3*o + 2 = 0, 8*o - 6 = 2*w + 12*o. Let p(m) be the first derivative of 7*m**2 + 4*m - 2. Is 39 a factor of p(w)?
False
Let c(h) = 33*h**2 + 74*h + 39. Is c(-20) a multiple of 44?
False
Let n be 1/2*-9*(-4)/9. Suppose -b + n*t - t = -113, -b = -5*t - 101. Let k = 239 - b. Does 41 divide k?
True
Let o = 9 + -4. Suppose o*j - 45 + 25 = 0. Suppose -795 = -j*y - y. Is y a multiple of 47?
False
Suppose 3*f - 356 - 90 = 4*j, -3*f = 2*j - 416. Let g = f - 133. Does 3 divide g?
True
Let c = -4 + -5. Let x(n) = -n**2 - 11*n + 10. Let p be x(c). Is 18 a factor of (9 + 26)*p/10?
False
Is 36 a factor of (-4)/(-26) + 9584172/1014?
False
Let u = 36 - 32. Suppose 0 = u*v - 28 + 8. Suppose 5*n + 4*c = 558, v*n - 2*c - 2*c = 542. Does 26 divide n?
False
Let c be (6 - 117/15) + (-1)/5. Let k(s) = 225*s**2 - s. Is k(c) a multiple of 104?
False
Let p be -41 + (-3 + 3)/(-1). Let v = 50 + p. Does 12 divide 781/v + (-28)/(-126)?
False
Let d(y) = y**3 - 64*y**2 + 78*y - 274. Does 61 divide d(63)?
True
Let z(b) = 2*b**2 + 14*b - 22. Let f be z(-10). Let r = 41 + f. Is 37 a factor of r?
False
Let a(g) = 13*g - g**2 - 689 + 4*g + 687. Is 6 a factor of a(10)?
False
Is 71 a factor of 25004 + 7/((-49)/(-140))?
False
Let p(j) = -3*j**2 - 13*j. Let q be p(-4). Let h(k) = q*k - 2*k**2 + 101 - 86 + k**2. Is h(5) a multiple of 9?
False
Suppose -4*d + 42 + 17 = 5*p, -2*d - 9 = -p. Suppose 2*x = -q - 1, q - p = 3*x - 2. Suppose -q*w + 5*n + 283 = 0, 0*n - 195 = -2*w - 3*n. Is 11 a factor of w?
False
Suppose 0 = -l + 3*a + 603, -2*l - 6*a = -676 - 494. Is 10 a factor of l?
False
Let q(p) = 0*p - 1 + 8*p - 9*p + 2*p. Let x be q(8). Suppose x*s - 340 - 353 = 0. Is s a multiple of 9?
True
Let a be (-26)/6 - 114/171. Let k(w) = -w**3 + 7*w**2 + 9*w + 13. Is 67 a factor of k(a)?
True
Suppose 1937 = -14*x + 19955. Let w = 821 + x. Is 68 a factor of w?
True
Let i(t) = 19*t + 17. Let k be i(7). Suppose 2*v - k = 2*p, -5*p + 75 = v - p. Is 15 a factor of v?
True
Let s = -365 - -358. Is 12 a factor of s/63 - (-23135)/45?
False
Let v(z) = -1246*z + 3498. Is v(-14) a multiple of 64?
False
Let x(o) = 2*o**2 + 19*o - 58. Let k be x(-12). Let p(c) = 32*c**3 + 4*c**2 - 4*c + 6. Is 45 a factor of p(k)?
True
Let b(n) = 2*n - 1. Let p(j) = -281*j + 3. Let k(x) = 2*b(x) - p(x). Is k(1) a multiple of 8?
True
Suppose -4*b + 345 = 5*i - 4620, -i + 2481 = 2*b. Suppose 5*t - 5*l - b = 0, 1 + 5 = 2*l. Is 15 a factor of t?
False
Let c(y) = 2*y + 20. Let w be c(-10). Does 6 divide w - 5 - -3*(-144)/(-27)?
False
Let g be 1/6 - 161/(-42). Suppose -9*s + 2 = -2*v - 4*s, 0 = 2*s - g. Suppose -3*l - v*b = -49 - 75, 0 = 4*l + 4*b - 164. Does 10 divide l?
True
Let w be (-55)/33*1*-3. Suppose 218 = 2*u - w*o - 87, -o + 3 = 0. Is u a multiple of 10?
True
Let u(b) = 19*b - b**3 + 45*b**2 + 11*b - 30*b**2 - 11. Does 20 divide u(16)?
False
Let i(o) = -2*o**3 - 58*o**2 + 75*o + 2. Is i(-31) a multiple of 10?
False
Let z(k) = -k**2 + 31*k - 27. Let r be z(30). Suppose -1962 = -0*l - r*l - 3*g, -4*l + 2598 = -2*g. Is l a multiple of 31?
True
Let p = 7437 + -6879. Does 5 divide p?
False
Let x(y) = 3*y**3 + 16*y**2 - 9*y - 2. Let u(j) = -j**3 - j**2. Let l(d) = 4*u(d) + x(d). Suppose -5*p + 2*t = -51, 29*p - 28*p - 3 = 4*t. Does 10 divide l(p)?
True
Suppose 8 = 4*w - 2*w, 5*w = 4*x + 1320. Let q = x - -349. Is q a multiple of 4?
True
Let m(y) = 36*y - 6 - 37*y + 6 + 27. Does 9 divide m(-9)?
True
Suppose q - 6 = -q. Suppose -l - q*a = -3, -2*l + 3*l - 4*a - 17 = 0. Is 24/((81/6)/l) a multiple of 16?
True
Let n be (20/(-6))/(-4*12/5904). Let x = n + -365. Is x a multiple of 5?
True
Let z = -74 + 336. Suppose z = 9*j - 7*j. Does 20 divide j?
False
Suppose -5*p + 3*p - 2 = 0. Suppose -q + 6*q = 10. Is 21 a factor of ((-308)/(-4))/(q + p)?
False
Let y be 12/48*-2*472/2. Let x = 11 + 69. Let k = x - y. Does 22 divide k?
True
Let r = -448 + 453. Suppose r*l + 7*h - 3*h = 1096, -4*l = 2*h - 872. Is 24 a factor of l?
True
Let t(u) = -2*u + 606. Let n be (-1 + 2)*(0/5)/(-4). Is 14 a factor of t(n)?
False
Suppose -2*t + 12435 = 3*t. Suppose 0 = -4*q + 3*p + t, -3*q - p = 4*p - 1858. Does 27 divide q?
True
Let l(f) = 4*f**2 - 3*f + 2. Let k = -25 - -26. Let n be l(k). Suppose n*q + 154 = 697. Does 13 divide q?
False
Suppose 330*f - 323*f = -210. Is ((-40)/f)/(4/438) a multiple of 6?
False
Is 5 a factor of -2 + 19466/8 - 231/(-308)?
False
Let h(d) = -d**2 + 21*d + 32. Let p be h(16). Let l = -126 + p. Let v = l + 229. Does 43 divide v?
True
Let m(f) = -58*f - 303. Does 70 divide m(-15)?
False
Let i = 65 - 61. Suppose -i*p + 10*p - 30 = 0. Suppose 2*n - p*n - a = -141, -2*a = 6. Does 12 divide n?
True
Let n = -96 + 120. Suppose 1440 = -n*j + 26904. Does 8 divide j?
False
Let a(o) be the first derivative of -4*o**2 + 26*o - 128. Is 88 a factor of a(-35)?
False
Suppose 3*h - 4*d = -2*d - 644, 0 = 3*h + 3*d + 639. Let l = 364 + h. Is 5 a factor of l?
True
Suppose -2*y + 4 = 0, 3*r - 8922 = y + 1039. Is r a multiple of 9?
True
Let w(d) = -d**3 - 2*d**2 - d - 2. Let c be w(-2). Suppose 3*m - 15*m + 468 = c. Is m + 1 + 2 - 2 a multiple of 8?
True
Let c = -572 - -1126. Let b = 1074 - c. Is 65 a factor of b?
True
Suppose -5*p - 9*z + 10*z - 47 = 0, 0 = 2*p - 3*z + 24. Let i(c) = 2*c**2 + 2*c + 1. Let q be i(5). Let x = q + p. Does 4 divide x?
True
Suppose 0 = n - 10 + 9. Let h(b) = -b - 3. Let i be h(-15). Does 13 divide 364/i*3/n?
True
Let p(t) = -5*t + t**2 + 3*t - 25 + 10*t + 9*t. Does 5 divide p(-21)?
False
Suppose 0 = 63*b - 23*b - 29240. Is b a multiple of 17?
True
Let n(f) = -f**3 - 7*f**2 + 9*f + 10. Let r be n(-8). Suppose -m = -5*y - 445, 10*y - 9*y + r = 0. Is 15 a factor of m?
True
Let m = 12854 + -12746. Is 36 a factor of m?
True
Suppose 5*b = -3*m - 395 - 338, 5*b - 713 = 3*m. Is 6 a factor of -4 - m - 2 - (0 - -3)?
False
Suppose 479 = -f + 5*w, 5*f + 5*w - 8*w = -2329. Does 81 divide ((-472)/(-16) + -4)*f/(-12)?
False
Let x(f) = 2*f**2 - 65. Let l be -1 + 3 - 4 - -2. Let r be x(l). Let w = r + 100. Is w even?
False
Let j(i) be the first derivative of 43*i**2/2 - 28*i + 2. Is j(6) a multiple of 22?
False
Let y be (-2)/6 + 17/(-3). Let f(j) = -15*j**2 - 78 + 105 + 9*j + 17*j**2. Does 15 divide f(y)?
True
Suppose -4*h = -2677 - 5879. Is h a multiple of 7?
False
Let o(s) = 3008*s**2 - 457*s + 905. Is 3 a factor of o(2)?
False
Let n(s) = 2*s**3 - 68*s**2 - 2*s + 76. Let i be n(34). Let f(k) = 7*k + 4. Does 10 divide f(i)?
True
Let g(x) = 5*x + 2*x - 414 + 423. Let m(t) = -t**3 - 11*t**2 - 11*t + 2. Let q be m(-10). Is 37 a factor of g(q)?
False
Suppose 139*k - 135*k - 8 = 0. Suppose 395 + 77 = k*y + x, 4*y + 3*x - 948 = 0. Is y a multiple of 19?
False
Let i(s) = -5*s**3 + s**2 - 13. Let p(b) = 4*b**3 - b**2 - b + 13. Let j(z) = -5*i(z) - 6*p(z). Let y be j(-4). Let v = y - -217. Does 32 divide v?
False
Let f(g) = 0*g + 122 - 7*g + 0*g + 0*g. Is 22 a factor of f(-14)?
True
Let r(y) = 27*y - 198. Let a be r(8). Let m(q) = -q**3 + 18*q**2 + 12*q + 45. Is m(a) a multiple of 9?
True
Let r(x) = 10*x - 37. Let z be 3/(35/20 - 1). Let o be r(z). Suppose 2*g + 4*n + 94 = o*g, 0 = 4*n + 20. Is g a multiple of 11?
False
Let x be ((-14)/21)/(2*2/(-12)). Suppose -s - 554 = 2*j + s, x*s = -4. Let l = 412 + j. Is 42 a factor of l?
False
Let x(y) = -48 + 121 - 50 + 43*y. Is 10 a factor of x(7)?
False
Suppose -13*a + 35381 + 22287 = 0. Does 64 divide a?
False
Let u be 3/(-9) - (1 + (-12)/9). Suppose -4*g + 12 = -u, -g = -2*f + 165. Is 7 a factor of f?
True
Suppose 10*v - 8845 = 39*v. Let q = 800 + v. Does 15 divide q?
True
Let c = -1191 + 1292. Is 101 a factor of c?
True
Suppose 53197 = -98*c + 785845. Does 28 divide c?
True
Let w be -7 - -3 - 17*-1. Suppose -2*c = 3*x + w + 1, 2*c - 2 = x. Let d = 27 + c. Is d a multiple of 13?
True
Let s(k) = -6*k**2 - 5*k - 9. Suppose 0*l - 28 = 7*l. Let p be s(l). Let i = -55 - p. Is i a multiple of 6?
True
Suppose -2*x + 5*r + 615 = 0, 3*x + r - 711 - 186 = 0. Is x a mult