-21))?
False
Is 12 a factor of (38/(-57))/((-9)/((-636876)/(-8)))?
False
Is 2 + ((-6932634)/(-306) - (-16)/(-6)) a multiple of 39?
False
Suppose -83*u + 82*u = -18. Suppose 2*a + u*a = 5480. Is a a multiple of 12?
False
Suppose 0 = -r + 4*r + n - 3, 0 = 4*r - n - 11. Let y(h) = -40 + h**3 + 107 - 15 + 16*h + 17*h**r. Is 16 a factor of y(-16)?
False
Let p(k) = 13*k**2 + 3*k - 1. Let s be p(1). Suppose s*m - 354 = 576. Suppose -4*f + m = -242. Does 38 divide f?
True
Let p be ((88/(-16))/(-1))/((-1)/(-8)). Suppose -3*j - 2*x + p = 0, 9*j - 7*j - x = 41. Does 6 divide j?
True
Let g(h) = -h**2 + 23*h + 23. Let s be g(21). Let z be (-10)/s + (-184)/(-13). Let l = z - -66. Does 40 divide l?
True
Suppose -128*y + 123*y + 630 = 0. Suppose -y = -u + 3*z, 893 = 5*u + 3*z + 299. Does 15 divide u?
True
Let y(a) = -14*a**2 + 2*a + a - 13*a**3 + 13*a**2 + 77*a**3 + 2. Does 12 divide y(2)?
True
Suppose 360 = 189*v - 188*v - 4*m, -v - 2*m = -324. Is 28 a factor of v?
True
Suppose -2*v - 72 - 208 = 0. Does 4 divide 1/(-4) + (-5)/(v/1043)?
False
Suppose 0 = 34*x + 17*x - 1296212 - 123679. Is 11 a factor of x?
True
Let j(p) = 210*p - 1614. Is j(30) a multiple of 142?
True
Suppose -3 = 3*o - 9. Let r(u) = 2 + 47*u + 11*u + 4*u - 7. Is r(o) a multiple of 22?
False
Does 20 divide ((144/30)/4)/(5/14250) - 0?
True
Suppose 7*u = 392 - 49. Let d = u + 255. Is 76 a factor of d?
True
Let h(j) = 4*j**2 + 54*j + 13. Let o be h(-14). Suppose -27072 = -o*s - 6*s. Is s a multiple of 32?
True
Suppose -34*h - 12870 = -45*h. Suppose 4*r + 4*m + 98 = h, 0 = -r + 4*m + 288. Is 17 a factor of r?
True
Suppose 447464 = 57*i - 13940 - 449684. Does 4 divide i?
True
Suppose 52*s = 19*s + 6435. Does 13 divide s?
True
Let t(z) be the second derivative of -z**4/12 + z**3/2 + 78*z**2 - 107*z. Let m = 1 - 1. Is 36 a factor of t(m)?
False
Let x(y) = -660*y + 60. Let l be x(-31). Is (13 - l/(-136)) + 2/17 a multiple of 49?
False
Let m(q) be the third derivative of q**5/30 - 10*q**3/3 + q**2 - 3. Is 6 a factor of m(6)?
False
Let p be -3 - (-5 + -4) - 3. Suppose 687 = 2*c + p*d, -9*c = -6*c - 5*d - 983. Is 12 a factor of c?
True
Let t(j) = -12*j**3 + 3*j**2 + 5*j + 9. Let x be t(-2). Suppose -v = 3*n - 146, 2*n + v - x = -11. Is n a multiple of 3?
False
Suppose 0 = 11*y + 3301 - 13300. Is 101 a factor of y?
True
Let k be (-3 + -39)/(((-42)/(-76))/(-7)). Suppose -11*b = -4*b - k. Suppose 4*l - 4*u - b = 0, 7*l - 104 = 2*l - 4*u. Is l a multiple of 5?
True
Let l be (-50)/125 - (-2 - (-20672)/(-5)). Suppose -17*g = -21*g + l. Is g a multiple of 8?
False
Let i(y) = y**2 + 0*y + 3*y - y + 16 - 20. Let p be i(2). Suppose 51 = -p*w + 291. Is w a multiple of 3?
True
Let t = -16 - -18. Let b be (t/(-3))/(14/(-63)). Is 2 a factor of -2 + 18 - (b - 5)?
True
Let s = -5682 - -9714. Suppose 0 = 5*t - h - s, -4*h - 825 = -3*t + 1584. Is t a multiple of 12?
False
Let x be 2 + 3/5 + (-177)/295. Suppose 0 = -4*u + x*i + 4108, 0 = -4*u - 0*u - 4*i + 4108. Does 38 divide u?
False
Suppose -5*b - 13 - 17 = 0, -2*b + 408 = 5*a. Is a a multiple of 42?
True
Let n(q) = -q + 5. Let v be n(8). Let f be (v + -2)/((-3)/9*1). Suppose 0 = -3*h + f, 0 = -5*y + 3*y + 4*h + 212. Does 26 divide y?
False
Suppose -4*p = p + 4*j - 1743, -4*p = 4*j - 1396. Let w = 606 - p. Let k = w + -30. Is k a multiple of 13?
False
Let y(o) = -o**3 - 18*o**2 + 18*o - 28. Let s be y(-19). Let b = 39 + s. Does 26 divide b?
False
Suppose -2*r = -h - 4*h + 25, 0 = -h + 5. Suppose 2*m + 67 = -5*o, r*m - 5*m + 20 = 0. Let p = o + 129. Is p a multiple of 21?
False
Let p(h) = -5*h**3 + 4*h**2 + 21*h - 13. Let i be p(-8). Suppose 4581 + i = 16*r. Is r a multiple of 41?
True
Suppose -2*p = p + 6, -5*p = -2*l - 66. Let o be (3 + l/10)/((-2)/5). Suppose 2*r = -o*w + 96, 2*w = -2*r + 4*r - 104. Is r a multiple of 10?
True
Suppose 17784 = -30*x + 39*x. Suppose -s = -3*s - v + x, 2*s - v = 1976. Is s a multiple of 13?
True
Suppose -16*m + 22*m = -72. Suppose k + 4*g + 72 = 4*k, -4*g = -k + 32. Let h = k - m. Is h a multiple of 3?
False
Suppose -7*b - 16 = 369. Does 10 divide 6/(-33)*-1 - 5490/b?
True
Let u be -2 + (1 - -2) - 4/(-4). Suppose 6 = 3*n + t + u, -4*n - 3*t = 3. Suppose 4*a = -8, -5*z = -0*z + n*a - 1234. Is z a multiple of 32?
False
Let b = 79 + -121. Let w be (-193)/(-5) + b/70. Let c = w + -8. Does 8 divide c?
False
Suppose -v + 7 = -d, 4*v - 10 = -0*v - 2*d. Suppose 0 = -v*f - 85 + 469. Does 8 divide (55/33)/(2/f)?
True
Suppose 4*b - p - 489 = 471, -3*b - p = -720. Does 15 divide b?
True
Let x = -154 - -162. Does 2 divide -4*((-62)/x + -7)?
False
Suppose 3*y + 240*s = 245*s + 75667, y = 2*s + 25223. Does 12 divide y?
False
Let k = 4528 + 494. Is k a multiple of 81?
True
Suppose -8*w - 176 = -4*w. Let f = w + 63. Let k = 97 - f. Is 13 a factor of k?
True
Let a(r) = -2*r + 6 + 0 + 4*r - 5*r. Let i be a(-3). Does 4 divide (-12)/i*((-2)/2 - 29)?
True
Let x(t) = -306*t + 2700. Is 166 a factor of x(-29)?
False
Let v = -18 + 43. Suppose 0 = l - v + 21. Suppose w - 17 - l = 0. Is w a multiple of 11?
False
Let k(g) be the second derivative of 29*g**3/6 + g**2 - 14*g. Let v be k(3). Let q = 171 - v. Is 8 a factor of q?
False
Let l(i) = -1332*i - 13001. Is l(-22) a multiple of 7?
True
Let s(n) = -n**2 - n + 10. Let m be s(-4). Let c be 45/(-60)*(29 + 1 + m). Let r(k) = -7*k + 37. Does 7 divide r(c)?
False
Let k = -38 + 78. Suppose -k*d + 45*d = 0. Suppose -2*n - 4*b + 130 = d, -4*b = 3*n - 130 - 61. Is n a multiple of 8?
False
Let l(x) = 2*x**3 + 67*x**2 + 46*x + 49. Let j be l(-32). Suppose 0 = 7*a - 864 - j. Is a a multiple of 24?
False
Let m(t) be the second derivative of 37*t**4/6 + t**3/3 - 2*t**2 + 14*t. Let j(h) = -295*h**2 - 7*h + 15. Let k(g) = -6*j(g) - 22*m(g). Does 25 divide k(-1)?
False
Suppose -3*w + 11332 = 4*m - 17567, m - 7*w - 7217 = 0. Does 24 divide m?
True
Let r(v) = 3*v**3 - 2*v**2 + 4*v - 4. Let n be r(2). Is (-1 - -19) + -12 + n a multiple of 26?
True
Is 8 a factor of ((-74235)/75 - -17)*-5?
True
Suppose 23242*a - 23252*a = -71040. Is 96 a factor of a?
True
Let y(b) = 5*b**2 - 11*b - 141. Is y(-10) a multiple of 14?
False
Suppose 15738 + 94870 + 106052 = 20*u. Is 23 a factor of u?
True
Suppose -12*i = -8*i - 20. Suppose -8*a = -i*y - 9*a + 2373, y - 486 = -4*a. Is 43 a factor of y?
False
Let y(b) = b**2 + 7*b + 16. Let f be y(-15). Suppose 4*x + 2*g = 272, -5*x + 3*x + 4*g = -f. Does 68 divide x?
True
Suppose -3*a = -4*w - 1845 - 2223, 2*w = 2*a - 2714. Suppose 2*m - 72 - a = 0. Is 26 a factor of m?
False
Is -13 + 6 + (41299 - 2 - -10) a multiple of 118?
True
Suppose 5 = 9*z - 40. Suppose -7*u + 11388 = z*u. Is u a multiple of 13?
True
Let u(a) = a**2 - 9*a - 15. Let z(q) = -4*q**2 + 25*q + 44. Let g(v) = -7*u(v) - 2*z(v). Let o be g(-12). Suppose 0 = -d + o*d - 564. Does 9 divide d?
False
Let t = -78 - -791. Suppose -2*r + f + 1394 + t = 0, 4*f = -5*r + 5287. Suppose 4*q - r = -139. Is 30 a factor of q?
False
Suppose -6 = -5*i + p, 30 = 3*i + 2*i + 5*p. Suppose h - i = 2*h, -4*h - 8 = -5*r. Suppose r = -4*m - 0*m + 412. Is 11 a factor of m?
False
Suppose -15*r = -6 - 69. Suppose r*o = 2*b + 3213, o - 15*b = -10*b + 638. Does 28 divide o?
False
Let y = 213 - 211. Suppose 4*g + 337 = 5*s, 30 = 3*s - y*g - 171. Does 7 divide s?
False
Suppose 4*i - 1150 = 1774. Let m = -300 + i. Does 10 divide m?
False
Suppose -2*l = 0, -4*s + s + 4*l = 18. Let k(w) = 10*w**2 - 10*w - 60. Is 36 a factor of k(s)?
True
Let g(n) = 9*n**2 - 12*n - 1. Let w(k) = -10*k**2 + 11*k + 1. Let r(c) = 5*g(c) + 4*w(c). Suppose -3*v + 8 = -v. Is r(v) a multiple of 15?
True
Is (-53628)/8*3/(72/(-16)) a multiple of 43?
False
Let y(d) = 1. Let w(l) = -111*l**2 - 5. Let p(g) = -w(g) - 4*y(g). Let m be p(1). Suppose 11*v - m = 9*v. Does 28 divide v?
True
Let x(c) = 171*c + 4866. Is 2 a factor of x(-28)?
True
Let x = -167 - -160. Is -9*26/(x + 5) a multiple of 9?
True
Suppose -2*f - 3*p = -f - 177, 4*p + 374 = 2*f. Suppose -18 - 388 = -2*v - 2*i, -v + 3*i = -f. Does 33 divide v?
True
Let p(i) be the second derivative of 2*i**3 + 5*i**2/2 - 27*i. Let o be p(4). Suppose 541 + o = 9*d. Is d a multiple of 11?
True
Suppose -2*c - 435 = -3931. Suppose -26*j = -3*j - c. Is 38 a factor of j?
True
Let v be 3 + (-2)/7 + (-192)/(-84). Suppose v*j - 12*j = -9*j. Suppose -2*l + 3*o + 