ltiple of 39?
True
Let b be 3/((-147)/(-14)) + 38/14. Suppose 0 = t - 0*t - 5*g - 268, -2*g + 736 = b*t. Is t a multiple of 27?
False
Let m be ((-144)/28)/(4/(-42)). Let z = -53 + m. Is 33 a factor of ((-3)/6 - z/(-2)) + 105?
False
Suppose 0 = 19*f + 164 - 107. Suppose 0 = -2*x - 210 - 2. Does 46 divide (-2344)/(-17) + (f - x/34)?
True
Let j(i) = -i**3 - 100*i**2 - 139*i - 440. Is 45 a factor of j(-99)?
False
Let s(k) = -k**2 + 5*k - 11. Let p be s(8). Let g be -11 - p - (-2)/2. Let m = 20 + g. Is 22 a factor of m?
False
Let h(g) = 3*g - 25. Let w be h(9). Let y be w*(2 - 4) + 4. Suppose -7*z - 6*z + 1092 = y. Is z a multiple of 21?
True
Suppose 7*v = -37 + 51. Suppose -625 = -v*k + 1797. Is k a multiple of 54?
False
Suppose 0 = l - 5*q - 42086, -82*l = -87*l - 5*q + 210310. Is 76 a factor of l?
False
Let q(y) = -50*y**2 + 45*y - 16. Let l be q(13). Is 25 a factor of 2 + (-64)/28 - l/21?
True
Let s(k) = k**3 - 2*k**2 - 5*k + 5. Let n(r) = r - 6. Let l be n(6). Suppose 4 = -w, w = -5*m - l*w + 21. Is s(m) a multiple of 8?
False
Let z = -500 - -256. Let f = z - -254. Is f even?
True
Let l = -86 + 106. Is 5 a factor of (51/(-15))/((-4)/l)?
False
Suppose 4*i - 302 = -121*f + 118*f, i = 2. Suppose 4*r + 0*r = -116. Let w = f + r. Is 12 a factor of w?
False
Suppose 4*t - 5*s - 6912 = 39485, 10*t - 4*s = 115950. Does 57 divide t?
False
Suppose 0 = -49*u + 40*u + 2007. Suppose -19*z = -1962 - u. Is 9 a factor of z?
False
Is 52 a factor of (25542/3311)/((-3)/(-910))?
True
Let s(w) = 8*w + 2*w + 22*w**2 + 66 + 0 + w**3 + 5*w. Does 12 divide s(-18)?
True
Let g(k) = 7*k + 32. Let m be g(12). Let c = -111 + m. Suppose 2*l - 4*q + 209 = c*l, 0 = -2*l - 5*q + 144. Does 17 divide l?
False
Suppose -1452 - 3948 = -30*x. Is 6/(((-138)/x)/(-23)) a multiple of 13?
False
Let v(b) = -9*b**2 + 4*b**2 + 68 - 53 + 97*b. Is v(19) a multiple of 7?
False
Let i(n) = -4*n**2 + n - 1. Let b(m) = -m**2 - m. Let k(o) = -3*b(o) + i(o). Let u be k(3). Suppose 4*a + 2 = -2*g + 26, u*a = 2*g + 12. Is 3 a factor of a?
True
Let h(f) = 9*f**2 + 32*f - 233. Does 110 divide h(20)?
False
Suppose 439*h = 300*h + 19877. Is 2 a factor of h?
False
Let n(y) = -2*y + 24. Let z(c) = -1. Let p(o) = -n(o) + 10*z(o). Let g be p(17). Let i = 112 - g. Does 14 divide i?
True
Suppose 146 + 337 = 7*i. Suppose 64*b = i*b - 1955. Suppose 0 = -15*c + b + 374. Is c a multiple of 17?
True
Suppose 0 = 4*a + 3*o - 207, 0 = -13*a + 15*a + 3*o - 111. Suppose 0 = 4*g - 3*p - 1438, -4*p + a = 2*g - 682. Is g a multiple of 19?
True
Let f be -13*((2 - 0) + 0). Does 5 divide (-90)/(-5)*(f/(-4) - 4)?
True
Suppose 0 = -8*t + 9758 + 1570. Does 4 divide t?
True
Let l be 20461/21 + (-1)/3. Let a = l + -674. Does 25 divide a?
True
Let b(r) = r**2 + 30*r + 18. Let h be b(-30). Does 11 divide 4236/h + (-4)/(-6)?
False
Suppose 0*o - 4 = -4*o. Let p(u) = 4*u + 6*u**2 + 1 + 0*u - 7*u. Is 2 a factor of p(o)?
True
Let i(p) = 3*p + 113. Suppose 0 = -17*r + 20*r + 33. Is 5 a factor of i(r)?
True
Suppose 6*f = 3*f + 5*m + 6, 0 = -4*f - 5*m + 8. Does 6 divide -2*2073/(-18) + f/3?
False
Suppose u - 4*h - 3150 = 2543, -4*u = -2*h - 22856. Does 7 divide u?
False
Is (-423480)/(-85) - ((-88)/(-170) + 112/(-280)) a multiple of 4?
False
Let j be (-6)/(-75) - (-20740)/125. Let z = 188 - j. Does 22 divide z?
True
Suppose -56*w = -58*w - 3*l + 44136, 3*w + 2*l = 66189. Is w a multiple of 129?
True
Let q = 8224 - 3681. Is 7 a factor of q?
True
Suppose 33*l - 6 = 30*l. Suppose 5*y - 104 = 3*p, l*y + 66 = 5*y - 3*p. Suppose -y*t = -17*t - 220. Is t a multiple of 22?
True
Suppose -9 = -7*m - 2. Suppose -2*q - 14 = 5*r + m, -3 = -4*q + r. Let n = q + 15. Is n a multiple of 9?
False
Let g(y) = y**3 + 3*y**2 - 6*y - 6. Let p be g(-4). Let x be 1*(p + -3 - 0). Is ((-7)/4)/(x/64) a multiple of 20?
False
Let h(m) = -217*m + 280. Is 12 a factor of h(-21)?
False
Let h(p) = -4*p**3 + p**2 - p - 3. Let f be h(-1). Suppose 636 = 4*c + 2*z, -2*c + f*z = -z - 298. Does 9 divide c?
False
Suppose 3*o = x - 16, 13 + 5 = -2*o - 3*x. Is o + (-555)/(-5 + 0) a multiple of 35?
True
Suppose 4*s = 2*j - 104 + 20, 0 = 2*j + 4*s - 44. Suppose 6*v - j = 10*v. Let y(w) = w**2 + 5*w + 12. Does 18 divide y(v)?
True
Suppose w + 30 = 36. Does 15 divide 2 - 5 - (-369 + w)?
True
Suppose 71*x - 83570 = -16673 + 58631. Is x a multiple of 45?
False
Let w(m) be the second derivative of -61*m**3/6 + 25*m**2/2 - 72*m. Is 15 a factor of w(-7)?
False
Suppose 3*u = -4*n + 2681, 0 = 2*u + 2*n - 5*n - 1759. Let a = u + -421. Let y = a + -321. Does 12 divide y?
False
Suppose -39757 = -15*n + 11*n + 3*s, -3*n = 5*s - 29825. Does 28 divide n?
True
Let z(a) = a**2 - 5*a + 1. Let f be z(5). Is 34 a factor of ((-11)/(308/240))/(f/(-7))?
False
Let n(t) = -t**2 + 3*t + 37. Let o be n(-5). Is (-296)/2*-4 + (-1 - o) a multiple of 31?
False
Does 39 divide 1924/(-111)*(-5)/(120/10314)?
True
Suppose 0 = 10*d - 7736 + 6676. Let p(u) = u**3 - 5*u**2 - 7*u + 10. Let x be p(7). Let g = d + x. Is g a multiple of 11?
True
Let z(n) = -140*n - 342. Is 14 a factor of z(-12)?
False
Suppose 4*k - 113 = 67. Is (117/k)/(-13) - (-2182)/10 a multiple of 4?
False
Let s = 7341 + -2904. Does 29 divide s?
True
Is 64/144 + (-94)/(1/71*-9) a multiple of 2?
True
Suppose 3*p + 3*v = -3, -3*p - 5*v - 14 + 5 = 0. Let l be 12*(2418/72 + p/3). Let o = l + -261. Is 25 a factor of o?
True
Suppose 3 = -3*v + 3. Suppose -2*l - 4*m + 32 = -v*l, -2*m + 120 = 5*l. Suppose -5*z - r = -203, -4*r - l - 2 = -z. Is 5 a factor of z?
True
Let v = 5535 - 2989. Is v a multiple of 67?
True
Suppose 0 = 5*x - 3*p + 1205 + 194, 5*x + 2*p = -1409. Let n be x/5 - (-1)/5. Let u = n + 97. Is 17 a factor of u?
False
Suppose z - 5*z - q + 5 = 0, -2*q = 3*z - 10. Suppose z = -t + 4*t. Suppose -3*s = -t*s - 159. Does 14 divide s?
False
Let u(h) = -10*h - 48. Suppose 27*t = 8*t - 95. Let v be u(t). Suppose -1540 = -16*j + v*j. Is j a multiple of 10?
True
Let b = 336 - -4011. Is b a multiple of 22?
False
Let r be -3 - 4/((-660)/327 - -2). Suppose 12*b = r + 61. Is 20 a factor of b?
False
Suppose -4*d = -338 - 1946. Suppose 4*m - d = 3*y, m + 3*y - 51 - 73 = 0. Suppose -m = -5*a - 2*f, -2*a + 128 = 2*a - 4*f. Does 6 divide a?
False
Let b = 9368 - 6366. Does 31 divide b?
False
Let w(y) = -102*y - 371. Let c be w(-13). Let d = c - 636. Is d a multiple of 45?
False
Let b be (1 + 20/(-16))/((-6)/24). Let h(a) = 14*a. Is h(b) a multiple of 5?
False
Suppose 25*a - 30*a = -30*a + 45900. Is 18 a factor of a?
True
Suppose 0 = -7*l + 416 - 38. Suppose -4*u + 1494 = 2*f, 0 = -3*u + 53*f - l*f + 1120. Does 26 divide u?
False
Suppose 3*h = 4*x + 4993 + 3937, 2*x + 5950 = 2*h. Suppose 0 = 7*k - k - h. Is 41 a factor of k?
False
Let d(x) = -x**3 + 8*x**2 - 5*x - 3. Let m be d(-6). Suppose 0 = -5*s - 4*w + m, 12*s + w + 215 = 14*s. Does 58 divide s?
False
Suppose -30 + 0 = 5*a + 5*z, -4*a + 5*z + 21 = 0. Is a + 103 + -4*60/48 a multiple of 2?
False
Let k(s) be the second derivative of s**4/8 + 3*s**3/2 - 11*s**2/2 + 5*s. Let c(u) be the first derivative of k(u). Is c(4) a multiple of 7?
True
Let m(x) = -18*x**3 - 4*x**2 + 17*x + 50. Does 116 divide m(-3)?
False
Suppose 15*o - 16*o + 20 = 2*v, -16 = -4*o. Suppose z - a - 3 = 0, 5*z + 2 = 3*a + 17. Suppose 3*q + 222 = 3*d, v = -z*q + 2. Does 12 divide d?
True
Suppose -23*q = -26*q + 924. Suppose -18*a + 7*a = -q. Let t = 82 + a. Is 22 a factor of t?
True
Let s(p) = -p**3 - 5*p**2 - 6*p - 1. Let d(b) = 2*b**3 - 6*b**2 - 2*b + 2. Let x be d(3). Let y be s(x). Suppose y*a - 8*a = -270. Is a a multiple of 25?
False
Does 14 divide (-880549)/(-170) + (108/40)/9?
True
Let q = 34 - 27. Suppose -q*b - 4 = -60. Suppose b*r - 67 = 77. Is 2 a factor of r?
True
Suppose 28 = 3*r + 13. Suppose -11*m + 1674 = -r*m. Is 40 a factor of m?
False
Suppose 0 = -738*y + 740*y - 4*q - 5518, -5539 = -2*y - 3*q. Is y a multiple of 57?
False
Let n(g) = -g**3 - 10*g**2 - 4 - 1 - 3 - 2*g - 5. Let t be n(-10). Does 6 divide (4/10)/(t/210)?
True
Let p(q) = -3*q**3 - 4*q**2 - 6*q + 4. Let s be p(-4). Let z = 429 - s. Let r = z - 86. Does 29 divide r?
False
Let v = 112 - -164. Does 12 divide v?
True
Suppose -29*s = -22*s - 18261 - 85535. Does 11 divide s?
True
Let s = -8909 + 20197. Does 166 divide s?
True
Let i(m) = -m**2 - 11*m - 21. Let y be i(-8). Su