 m?
True
Suppose -4*r + s = -3*s - 60, 0 = -4*r - s + 45. Let c(t) = -t**2 + 5*t + 11. Let i be c(r). Let w = -10 - i. Is 21 a factor of w?
True
Let i = 7493 + -840. Does 75 divide i?
False
Suppose -4*d + 2*d = 5*s - 2666, 0 = s - 2*d - 526. Suppose 2*n + 5*n - s = 0. Let f = n + -46. Is f a multiple of 30?
True
Let p(i) = -763*i - 1893. Is 94 a factor of p(-65)?
False
Suppose -5*j - 5*x + 160 = 0, -7*j + 5*x = -6*j - 32. Let k = -28 - -33. Suppose -3*l + 108 = b, -l = k*b + 10 - j. Does 2 divide l?
False
Let t(h) = 3*h**2 - 2*h - 6. Let y(r) = -7*r**2 + 5*r + 13 + 4 - 5 - 2*r. Let i(x) = 5*t(x) + 2*y(x). Is i(-5) a multiple of 18?
False
Let q(s) = -193*s - 1035. Does 21 divide q(-12)?
True
Let v = 82 + -75. Suppose f = -4*w - 8, 2*f + v = 6*f + 3*w. Suppose -11 = -2*l + g, 0 = -2*l - 2*l + f*g + 12. Is l a multiple of 3?
False
Suppose 1652 = 2*a - 4*n + 6*n, 2*a + n - 1654 = 0. Is 16 a factor of a?
False
Suppose 118 = o - 3*f - 98, -3*o + 648 = 3*f. Let a = -36 + o. Is a a multiple of 90?
True
Let m(k) = 4*k**2 - 2*k - 3. Let v be m(-4). Suppose -584 = -4*x - 2*g, -4*g - 95 = -x + v. Suppose 0*z + x = 4*z - 4*l, -4*l + 44 = 2*z. Does 21 divide z?
False
Let i(o) = -5*o + 5*o + 31*o + 16. Let d be i(8). Suppose 4*a + 264 = 3*l, -2*a = 4*l - l - d. Is l a multiple of 15?
False
Let d(r) = 206*r**2 + 0*r**3 + 2*r**3 + 11 - 9*r - 214*r**2. Let x be d(7). Let j = -151 + x. Is j a multiple of 13?
True
Let m = -14559 - -26943. Does 129 divide m?
True
Suppose 5*j - 3*o = -12, -o - 2 = 3*j - 6. Suppose 5*s - 864 = -4*x, j*x = 5*s - x - 884. Is 45 a factor of s?
False
Let s(l) = 15*l**3 + 23*l + 3*l - 10*l**3 - 4*l**2 - 16*l - 32. Is 6 a factor of s(4)?
True
Suppose -2*g = -16 + 6. Suppose 9*l - g*l + x - 550 = 0, -4*l + 3*x = -542. Is 35 a factor of l?
False
Suppose 8*c - 608 = 24*c. Let j = 12 + c. Let m(p) = -8*p - 64. Is m(j) a multiple of 16?
True
Let k(f) = 20*f - 80. Let n be k(14). Let y = -92 + n. Does 3 divide y?
True
Let q(b) = 26*b**3 - 2*b**2 + b + 1. Let x be q(-2). Let p = 464 + x. Is p a multiple of 11?
False
Does 2 divide 51/102 + (-60798)/(-12)?
False
Suppose -31*q + 7*q + 168 = 0. Suppose -q*l + 921 = 3*w - 4*l, -4*w = -2*l - 1216. Does 11 divide w?
False
Let j(n) = -9*n + 1319. Let z be j(0). Let p = -671 + z. Is 54 a factor of p?
True
Suppose 4*s + 5 + 15 = 0. Let j = s - -13. Suppose 83 = j*z - 29. Is 14 a factor of z?
True
Let o(r) = 11*r - 18. Let v(u) = u**3 + 5*u**2 - 6*u + 5. Let q be v(-6). Is 37 a factor of o(q)?
True
Let o(f) = f**2 + 12*f - 24. Let i be o(-14). Let g(l) = -4 - 4*l - 8 - 14*l + i*l. Does 5 divide g(-3)?
True
Suppose 3*d = 4*p - 59799, 3*p - 34*d + 29*d = 44863. Does 53 divide p?
True
Let f = 648 - 648. Suppose 2*m + 4930 = 5*q, 3*q = -f*q - 3*m + 2979. Is 19 a factor of q?
True
Let y(q) = 2*q**2 - 20*q - 7. Let l be y(14). Let o = 100 - l. Does 2 divide o + 25 + (-3)/(2/2)?
False
Suppose 191916 + 236717 = 463*y - 277442. Is 80 a factor of y?
False
Suppose -2375 = 12*q - 5640 - 11423. Is q a multiple of 51?
True
Suppose 6*y - 43*y + 128744 + 114568 = 0. Does 48 divide y?
True
Suppose -2*w + 42 - 32 = 0. Suppose -5*o + w + 17 = -3*a, -3*o + 4*a = -22. Suppose -2*k - 2 + 74 = -2*m, -m = -o. Is k a multiple of 19?
True
Suppose -b = 2*k - 25035, 10*k = 15*k - 3*b - 62560. Is 5 a factor of k?
True
Suppose 4320 = -40*q + 100*q. Suppose -51*f - 25200 = -q*f. Does 24 divide f?
True
Let w = 3172 - 2669. Does 77 divide w?
False
Let o = 8062 - 5291. Does 16 divide o?
False
Let v = -64707 + 106677. Is v a multiple of 10?
True
Suppose 6*v - 2*v - 236 = 0. Let a = v + 8. Does 4 divide a?
False
Let p = -3866 - -5741. Is p a multiple of 15?
True
Is 13 a factor of 21/(-6) + ((-1354384)/(-32) - 17)?
False
Let o(s) = s**2 + 3*s + 14. Let h be o(15). Suppose l - h - 4 = 0. Is l a multiple of 24?
True
Let h(y) = -2*y. Let k be h(-6). Suppose -234 = 9*u - k*u. Suppose -3*z - 2*i + 55 = -u, 226 = 5*z - i. Is 9 a factor of z?
True
Let s(y) = -y**3 - y**2 - 3*y + 3. Let k be s(0). Suppose 3*v + 14*z - 13*z - 788 = 0, k*z = -3*v + 792. Does 41 divide v?
False
Let z(k) = k**3 - 5*k**2 - 6*k + 5. Let n be z(6). Let x(i) be the second derivative of -i**5/20 + 2*i**4/3 - 15*i**2/2 - 30*i + 1. Is x(n) a multiple of 16?
False
Is (603/2 - -5)/(6/120) a multiple of 37?
False
Suppose -d = -15 + 11. Let u be (-2 - 3 - -5) + -1 + d. Suppose 545 - 116 = u*f. Is f a multiple of 12?
False
Suppose 57 = -2*w - 4*v + 185, v - 5 = 0. Is ((-12)/(-3) - 8) + w a multiple of 25?
True
Let a(g) = -7*g**3 + 35*g**2 - 19*g - 46. Let c(h) = -3*h**3 + 18*h**2 - 9*h - 24. Let x(l) = -4*a(l) + 9*c(l). Does 3 divide x(-22)?
True
Let w(n) = 2*n**2 + 23*n + 42. Let d be w(-11). Suppose -2079 = d*l - 40*l. Is 11 a factor of l?
True
Let z be (12/(-8) + 0)*268/(-6). Suppose -3*u - z = -55. Is 7 a factor of (2 + -62)/(u/2)?
False
Let g(p) = -p**3 - p. Let k be g(0). Let i be ((-192)/1152)/(1/(-54)). Suppose k = -i*a + 7*a + 84. Is 5 a factor of a?
False
Suppose 23037 = 19*t + 50*t - 112755. Is 21 a factor of t?
False
Let l(q) = 3*q + 43. Let f be l(-14). Is -6 + f - (-406 - -11) a multiple of 15?
True
Suppose -13*l = -8*l - 330. Let j = l + -73. Is (2/((-8)/(-6)))/(j/(-126)) a multiple of 3?
True
Let a be (-79828)/(-16) - 84/(-48). Suppose a = -151*c + 158*c. Is c a multiple of 72?
False
Let g(h) = -5*h**3 - 33*h**2 + 12*h + 32. Let m(l) = l**3 + 8*l**2 - 3*l - 8. Let z(d) = -2*g(d) - 9*m(d). Let c = 427 - 421. Is 13 a factor of z(c)?
True
Suppose 3*g = v - 226, 2*g - 4*v - 236 = 5*g. Let i = g + 48. Is 13 a factor of 208*(-3 - i/8)?
True
Suppose 0*v - 35 = -5*v. Let j be (84/(-30))/v + 7/5. Is 9 a factor of -6*(3 + 34/(-4) + j)?
True
Let d = -851 - -846. Does 22 divide d/(-25) + (-3076)/(-20)?
True
Suppose 10*q + 14*q - 126362 = -17*q. Is q a multiple of 69?
False
Let b(c) = -14*c**2 + 0*c**3 + 14 - c**3 + 6*c**3 - 13*c - 4*c**3. Let n be b(14). Is (-27825)/n + 6/16 a multiple of 10?
False
Let a be ((-4)/(-10))/(2/5). Suppose 7 = 3*z + a. Is z/(0 + 0 + (-1)/(-4)) a multiple of 3?
False
Let t be -4 + (-11)/((-55)/25). Suppose 4*u + 66 = 5*u. Suppose -2*a - 4*n = -u, 0 = 4*n + t + 7. Is a a multiple of 22?
False
Let t = 43 - -15. Suppose -64 = -3*h - t. Suppose 5*g - 4*r = 820, -g + h*r + 183 = 5*r. Is g a multiple of 23?
False
Suppose 0 = 3*g + 2*b - 7, 2*b + 16 + 2 = 2*g. Let d be 4636/24 + (g/6 - 1). Let o = d + -74. Is 28 a factor of o?
False
Suppose -4*d = -64*d + d + 514716. Does 66 divide d?
False
Suppose 5*l - 18090 = 5*j, 3615 = -26*l + 27*l - 2*j. Is l a multiple of 51?
True
Let x(r) = 819*r + 853. Is 7 a factor of x(14)?
False
Suppose 4*z + 31692 = 3*h + 5248, 2*h = -2*z + 17648. Is 93 a factor of h?
False
Suppose -5*v = 2*z - 26861, -3*v + 39*z + 16109 = 44*z. Is 27 a factor of v?
True
Does 131 divide 6358 - 42 - (-7)/(-1)?
False
Let o(q) = 89*q**2 - 1044*q - 5216. Is o(-5) a multiple of 21?
False
Is (-1)/((-10)/85422) + 6/(-30) - -2 a multiple of 6?
True
Suppose 1960737 + 1744633 = 216*q - 1706726. Is q a multiple of 108?
True
Let l = 162 + -160. Suppose 4*i - 5*i - l*r + 420 = 0, 3*r - 1263 = -3*i. Is i a multiple of 50?
False
Let j = 50432 + -28830. Does 12 divide j?
False
Let k be 54/36*(-4)/(-15)*10. Is (84/k)/((-6)/(-136)) a multiple of 34?
True
Suppose h + 3 = -3*z, 3*h = -h + 4*z + 20. Suppose s - h*p = 2*p + 111, 3*p = s - 121. Suppose 9*m + 19 = s. Is 4 a factor of m?
False
Let a(j) = 11*j + 137. Let s(b) = -144*b - 1782. Let p(q) = 27*a(q) + 2*s(q). Does 21 divide p(12)?
False
Let l(o) = 28*o**2 - 24*o - 7. Let k be l(-16). Suppose 13*c - k = 3557. Does 45 divide c?
False
Suppose 3*b - 790 = -4*z, b - 6*z = -z + 295. Let o be -4 + b/33 - 2/11. Suppose -v + 31 = u, -o*v + 5*u - u + 148 = 0. Is 18 a factor of v?
False
Suppose -2354420 = -170*m + 2587140. Is m a multiple of 104?
False
Suppose 137 = -4*k + 5*h, 3*h = 7*h - 20. Is 5 a factor of ((-21)/k)/(3/2)*190?
True
Let h(o) = -10 - 2*o - 9 - 22 + 23. Let k be h(-13). Let f = k + 3. Is f a multiple of 2?
False
Suppose -4*d + 0 = 4*n - 12, 0 = 4*d - 16. Let c(l) = -68*l + 2. Let g be c(n). Is 3*(g/6 - 2) a multiple of 29?
True
Let x(k) = -k - 3. Let m be x(-5). Let c(z) be the second derivative of 11*z**3/2 - 229*z - 4. Does 12 divide c(m)?
False
Suppose 511262 = 26*i + 41624. Is 81 a factor of i