False
Let r = -55 - -3690. Is 5 a factor of r?
True
Let g(j) = j**3 - 6*j**2 - 12*j + 16. Let h be g(7). Let r(n) = -n**3 - 17*n**2 + 15*n + 9. Let s be r(h). Suppose -319 = -3*p + s. Is p a multiple of 51?
True
Let r = -266 + 256. Is (-2916)/r + 98/245 a multiple of 10?
False
Let y = -6 + 12. Let g(m) = 3*m**2 + 2*m - 3. Let s be g(2). Suppose -y*h = -s*h + 1470. Is h a multiple of 30?
True
Let a be 7/28 - (-707)/(-28). Let k(p) = p**3 + 26*p**2 + 21*p - 22. Is 2 a factor of k(a)?
True
Let p(f) = 52*f**2 + 16*f - 38. Let y be p(9). Suppose -15*i + y + 2102 = 0. Is 4 a factor of i?
True
Suppose o + 5*s = 10404, -104*o + 5*s + 41616 = -100*o. Is o a multiple of 102?
True
Let w(j) be the second derivative of 13*j**5/120 - 19*j**4/12 + 11*j**3/2 - 30*j. Let r(k) be the second derivative of w(k). Is r(14) a multiple of 18?
True
Suppose 3*y + 0*v = 2*v + 4, -5*v = 2*y + 29. Let q(s) = 15*s**2 - 6*s - 12. Is 20 a factor of q(y)?
True
Suppose k = 9*k - 32. Let s(l) = 8 - k - 22*l**2 + 13 - 22*l + l**3. Is 21 a factor of s(23)?
False
Suppose 25*x - 40*x + 45 = 0. Suppose -1534 = -x*t - 5*q, -7*q = -5*t - 6*q + 2510. Is t a multiple of 24?
False
Let w = -7064 - -8728. Is 104 a factor of w?
True
Suppose 3*r + 5*g - 843 = 0, 5*r - 2*g - 270 = 4*r. Does 21 divide r?
False
Suppose -5*n = -3*v + 4540, 95*v = 93*v + 4*n + 3026. Is v a multiple of 36?
False
Does 14 divide 49/(-3)*(-55 - 191)?
True
Let x = -4 - 2. Is (((-12)/(-5))/x)/((-2)/40) a multiple of 5?
False
Let c = -2370 + 5153. Suppose 10*v - 12183 = -c. Does 50 divide v?
False
Is ((-110768)/(-21))/((-2)/(-10)*65/39) a multiple of 23?
True
Let h(r) = 54*r + 3. Let q be h(-2). Let m = q + 147. Is (-1510)/(-7) - m/(-147) a multiple of 24?
True
Let u(n) = -n**3 - 39*n**2 + 13*n + 12. Is u(-40) a multiple of 21?
True
Suppose -3*q + 3447 = -2*n + 5*n, 5718 = 5*n - 4*q. Suppose s + s - 4 = 0, 4*f = -s + n. Suppose 3*r = 3*g + r - 316, f = 3*g + 4*r. Is 13 a factor of g?
False
Let b be (-5628)/(-196)*(-28)/(-6). Let s(w) = 3*w**2 + 1. Let g be s(-5). Suppose -5*d = -g - b. Is d a multiple of 14?
True
Suppose -4*u - u = -2*d - 19, 0 = 2*u + 5*d - 25. Suppose u*s - 5*a = 4170, -s + 840 = -3*a - a. Is s a multiple of 26?
True
Let y(t) = -t**2 - 61*t - 120. Does 2 divide y(-9)?
True
Suppose 10*d - 204 = 26. Suppose 12*n + 1353 = d*n. Does 7 divide n?
False
Suppose 10 = -w + 4*t, -183*w + 186*w = 4*t - 6. Let l(p) = -81*p. Let c be l(-1). Suppose 107 + c = w*r. Is r a multiple of 36?
False
Suppose 12*t = 8*t + 12. Suppose -k = -5*b - 203 - 237, -252 = t*b - 3*k. Let x = 129 + b. Is x a multiple of 10?
True
Let u(j) = -j + 32. Let i = -31 + 41. Let c be u(i). Does 25 divide (-3)/1 + c + 6?
True
Let w = -77 - -79. Let b(q) = -11 + 0 + 79*q**w - 78*q**2. Is 5 a factor of b(4)?
True
Let v = 28 + -71. Let q = 28 - 53. Let w = q - v. Is 2 a factor of w?
True
Let w(n) = -n**2 + 3*n. Let z be w(2). Suppose -4*t + 7 = 3*k, z = t - 4*k - 14. Is (153/15 + -1)*10/t a multiple of 5?
False
Suppose -3694*r - 579768 = -3752*r. Is 15 a factor of r?
False
Let l = 483 - 711. Let f = 276 + l. Does 16 divide f?
True
Suppose -66 - 63 = -86*u + 43. Suppose -5*b + 3*b = -1634. Suppose 7*f + 3*n = u*f + b, 5*f - 785 = 5*n. Does 23 divide f?
True
Let y(r) be the first derivative of -3*r**2/2 - 26*r - 73. Is 4 a factor of y(-20)?
False
Let r(q) = -870 + 872 - q + 2*q**3 + 5*q + 10*q**2. Does 13 divide r(4)?
False
Suppose -x - 5*h = -97, -2*x + 254 = -17*h + 15*h. Does 115 divide x?
False
Let m(l) = -l - 10. Let j be m(-10). Suppose 3*q - 6 = 4*t, 4*q + 23 = -j*q - 5*t. Is 7 a factor of -2*(45/(-2) - q)?
False
Let y = 410 + -406. Let k be 4/(-14) + 40/(-7). Is y*(405/k)/(-5) a multiple of 14?
False
Let x(t) = 65*t + 6886. Is x(-60) a multiple of 6?
False
Let d be 760/1 + -9 + 7 + -2. Suppose -d = -8*q + 492. Is 6 a factor of q?
True
Suppose -u = 22671 - 26760. Is 29 a factor of u?
True
Suppose -66*o = -169329 - 9069. Does 100 divide o?
False
Let m(l) = 36 - 2*l - 76 + l**2 + 34. Let b be m(-2). Suppose b*o + x = 138, -4*o + 165 = -3*x - 111. Is 11 a factor of o?
False
Suppose -7*l + 4*l = 3*l. Let r(u) = l*u**2 - 2*u**2 - 3*u - 5*u**2 - 7*u**3 - 2 + 4*u**2. Is r(-2) a multiple of 6?
True
Suppose -2*y + 4*o + 1961 + 205 = 0, y + 5*o = 1048. Suppose 11*d - 467 = y. Is d a multiple of 5?
True
Suppose 265*f - 3185847 = 4199703. Is 30 a factor of f?
True
Let q be 3 - (209/1 + 14/(-2)). Let n be -2 - (1/1 + 51). Let p = n - q. Does 29 divide p?
True
Is (2159/889)/(3/34629) a multiple of 289?
True
Suppose -22976 = 18*i + 14*i. Let m = i - -830. Is m a multiple of 14?
True
Is 12 a factor of 17/(357/(-399)) - -12666?
False
Suppose 2*a + 8 = -3*f, 2*a + 9 = -4*f + a. Is 7 a factor of (42/3)/f*-7?
True
Suppose -5*q - 10 + 5 = 0, 115735 = 4*o + q. Is o a multiple of 23?
True
Let z = 574 + -572. Suppose o = -d + 401, -3*o - z*o + 2026 = -2*d. Does 13 divide o?
False
Let i be 43/(-2*(-6)/12). Let o = 13 + i. Is 28 a factor of o?
True
Let h(m) = -3*m + 9. Let o be h(2). Suppose -o*t = -2*r + 19, 4*t - 2*r = -0*t - 22. Is 47 - t - (-5)/(-1) a multiple of 9?
True
Is 15140/(-14 - 814/(-55)) a multiple of 8?
False
Let k be -4*(-42)/5*(-945)/(-126). Let n = k - 88. Is n even?
True
Let m(b) = -72*b**2 + 4*b + 9. Let k be m(5). Does 29 divide 4*(k/(-84) + (-2)/(-3))?
True
Let x(n) = -9*n**3 + n**2 + 3*n - 3. Let v be x(2). Let i = -64 - v. Is (-3)/i*(-79 + 5 + 7) a multiple of 48?
False
Suppose -3*n + 44789 = -2*b, 5*n + 24*b - 19*b - 74665 = 0. Is n a multiple of 189?
True
Suppose x - s - 12 = -58, x + 40 = -s. Let w = x - -55. Let j(k) = 3*k - 22. Does 3 divide j(w)?
False
Let h be -3 + 14/2 + -1 + -49. Let s = h - -53. Suppose 4*y - s*y + 98 = 2*x, 147 = 3*x + 2*y. Is x a multiple of 5?
False
Let p be (20/(-100))/((-3)/(-15)). Let t be (-16)/12*(-18)/4. Does 15 divide p + t/(-12) + 153/2?
True
Let q = 137 - 134. Suppose 3*a - 1 = 2, q*c - a = 662. Is 16 a factor of c?
False
Let r = 2820 - 1978. Let j = r - 753. Is 2 a factor of j?
False
Let k = -47 - -50. Let m be (2/(4/(-3)))/((-63)/168). Suppose 0 = m*c + l - 1125, -2*l - 835 = -k*c - l. Does 35 divide c?
True
Let q(g) = -g**2 + 12*g - 37. Let i be q(8). Is 7 a factor of (i/10*-3)/((-12)/(-272))?
False
Let g be 3154/19*(-1 + 3). Is g/6 - 50/(-75) a multiple of 7?
True
Suppose -21034 = -4*w - 3*g + 12252, 5*g + 33334 = 4*w. Is 10 a factor of w?
False
Suppose 32*y - 83730 = -18834. Suppose -10*f + 22*f = y. Does 13 divide f?
True
Let t = -176 + 150. Suppose 4*w - 80 = -0*w. Does 20 divide (-210)/(t/w - 6/30)?
True
Let g = 4382 + -864. Does 61 divide g?
False
Let x be (-3197)/(-15) + 4/(-30). Suppose 0 = -5*w + 327 + x. Suppose 2*g - 3*v = -6*v + w, 53 = g + v. Does 8 divide g?
False
Suppose 0 = -8*b + 28910 + 89026. Is b a multiple of 26?
True
Let t = -159 + -87. Let d = 382 + t. Is d a multiple of 4?
True
Suppose 4*a + 422 = 4*b - 6*b, 0 = -4*b - 4. Let n = 123 + a. Is n even?
True
Let t = 1017 - -739. Suppose -11*o + 7*o = -t. Does 32 divide o?
False
Is 67 a factor of (56252/(-84) + 22)/((-105)/(-108) - 1)?
True
Let i be 10/((-6)/(3/(-1))). Suppose 9 = 2*b - v - 1, -4*b = 5*v - 20. Suppose l = j - 5, -b*j - i*l = -2*l - 65. Is j a multiple of 10?
True
Let t(b) = -b**3 - 9*b**2 - 6*b + 51. Let k = 335 - 344. Does 21 divide t(k)?
True
Let s(i) = -25*i - 65. Let p(u) = -51*u - 129. Let l(z) = -6*p(z) + 11*s(z). Is l(11) a multiple of 40?
True
Let z(x) = -149*x - 37. Let y = -513 + 507. Does 18 divide z(y)?
False
Let p(y) = y**3 + 4*y**2 - 1. Let n be 5/(1/(1 + -2)). Let o be p(n). Is o*1*(-8)/(8/3) a multiple of 39?
True
Suppose -14*g - 396657 = -5*g - 36*g. Is 8 a factor of g?
False
Let f(q) = 38*q + 7. Let n be f(-2). Let z = 32 + n. Is ((-15)/3 - z)*1/1 a multiple of 8?
True
Let t(r) = -r**3 - 12*r**2 - 8*r + 35. Let d be t(-11). Suppose 0 = 5*o + 5*k - 2065, 2*k = d*o - 150 - 656. Does 8 divide o?
True
Let z(f) = 50*f**2 + 9*f + 1014. Is 35 a factor of z(24)?
True
Let o(r) be the first derivative of -29*r**2/2 - 142*r + 127. Does 2 divide o(-5)?
False
Suppose 0*u = 5*u + 3*x - 35, 2*u = x + 3. Suppose w = -3*w + 12, -3*l - u*w = -33. Is 3/7 - (-33)/l*19 a multiple of 9?
True
Suppose -4*a - 4 = 0, 2*l - 33*a + 30*a = 9993. Is 67 a factor of l?
False
Suppose 2905*g - 337932 = 2899*g. Does 42 divide g?
