ive of l(i). Is 18 a factor of r(3)?
False
Suppose -12*a = -2*a - 30. Suppose q - 4 = -a*q, 2*q = 5*z + 502. Let d = -49 - z. Is d a multiple of 31?
False
Let g(w) be the first derivative of w**4/4 - w**3/3 + w**2/2 - 28. Let u(q) = -34*q**3 + 7*q**2 - 7*q - 1. Let y(d) = 6*g(d) + u(d). Is 6 a factor of y(-1)?
False
Suppose 7*g - 2695 = -48*g. Suppose 134 = 2*t + 4*d, -5*d - 25 = -t + g. Is 23 a factor of t?
True
Suppose -t - 6*b = -3*b + 14, 3*t - b = 8. Is 14 a factor of -4 - t/(5/(-860))?
True
Suppose 0 = a + a + u + 1, -4*u - 1 = 5*a. Let o be (-6 + 5)*(2 + a). Let j(m) = 128*m**2 + 5*m + 1. Is 31 a factor of j(o)?
True
Is 24*2/(-6) + 1 + 3 - -11967 a multiple of 23?
False
Let h(g) = -g**3 + 5*g**2 + g - 1. Let f be h(-5). Let k = 606 + -606. Suppose 3*w = -0*b + b - 125, k = -2*b + 4*w + f. Does 25 divide b?
False
Let d(r) = 32*r - 21. Suppose 3*q - 98 = 4*v, 0*q - q = -4*v - 38. Let n = -26 + q. Is d(n) a multiple of 39?
False
Let m(z) = -72*z - 3024. Does 83 divide m(-102)?
False
Let o be 5*10/75 + 10/(-6). Let u(n) = 311*n**2 + 5*n + 5. Is u(o) a multiple of 12?
False
Let i(m) = -69*m + 4829. Is i(53) a multiple of 13?
False
Suppose -4*n = -2*p + 3328, 8*n + 4*p = 5*n - 2507. Is (-24)/(-28)*n/(-17) even?
True
Suppose 5*u + 28*t - 24163 = 30*t, 4*u - t = 19331. Is 9 a factor of u?
True
Suppose -3*h + 24387 = 3*b, 66*h - 6*b = 69*h - 24390. Does 161 divide h?
False
Suppose -5*p - l - 2914 = 64, -4*p = 2*l + 2380. Let j = -1086 - p. Is (-3)/(j/(-124) - 4) a multiple of 37?
False
Let q = 26038 + -18103. Is 5 a factor of q?
True
Suppose 0 = 12*q - 1440 - 204. Suppose -12*t + 665 = q. Is t a multiple of 11?
True
Does 4 divide (-30220)/(-14) + (-372)/651?
False
Let g = 941 + -941. Suppose g = 4*b - 4*n - 264, -6*b - 3*n = -2*b - 243. Does 9 divide b?
True
Suppose -4382 = -39*n + 18*n + 8554. Does 14 divide n?
True
Suppose m + s + 2*s = 7862, -m = -s - 7882. Does 136 divide m?
False
Let m(g) = -5*g - 54. Let b be m(-8). Does 10 divide ((-27)/63)/(2/b) - -184?
False
Let w be ((-20)/4)/((-2)/2). Let t be (-51)/(-12) + (-2)/8. Suppose -t*u = o + o - 218, -w*u = -o - 262. Is 7 a factor of u?
False
Let t(b) = -2*b - 13. Let u be t(-15). Let o be 3/(2 + -3) - (u + -3). Let s = o - -41. Does 8 divide s?
True
Let t(z) = 81*z + 2*z**2 - 18 - 216*z + 103*z. Is 19 a factor of t(23)?
True
Let c be 22194/(-144) + (-2)/(-16). Let t = -493 + 713. Let d = t + c. Is d a multiple of 11?
True
Suppose 0 = -5*j + 4*l + 16, 4*j + 5*l - 21 = -0*j. Suppose j*x + 2*x = 1200. Does 12 divide x?
False
Suppose 11*r = -3*r - 910. Does 20 divide (-10)/r - (-6429)/39?
False
Let g(p) = 120*p**2 + 127*p + 35. Is 14 a factor of g(-7)?
True
Suppose -4*h - g - 10 + 20 = 0, 0 = -2*h - 4*g - 2. Suppose 0 = m + 4*w - 988, 6*w = -h*m + 4*w + 2934. Does 42 divide m?
False
Suppose 0 = -1313*v + 1310*v + 4320. Is 12 a factor of v?
True
Let b = -529 - -184. Let y = 825 + b. Is 8 a factor of y?
True
Suppose 2*j + j + 3 = 0, -67 = 2*o - 5*j. Let x be ((-796)/(-6))/((-24)/o). Is 46 a factor of x - (4 + (-4)/4)?
False
Let f be 1/(-1) + -1 + 18. Let c(s) be the third derivative of s**6/120 - 4*s**5/15 + 13*s**4/24 - 7*s**3/2 + 172*s**2. Does 27 divide c(f)?
False
Suppose 18*a - 16*a - 48090 = -3*n, 3*n - 2*a - 48066 = 0. Does 34 divide n?
False
Suppose 0 = 5*x - 15, 2*a - 6*x - 372 = -2*x. Let d = -87 + a. Let c = d - 62. Does 6 divide c?
False
Let g = -57 - -81. Suppose q = 2*q - t + 9, -4*q + t = g. Does 31 divide (2/4)/(q/190)*-9?
False
Suppose -601 = -6*r - 577. Let k(m) = 28*m**2 - 15*m + 28. Does 13 divide k(r)?
True
Let d(r) = -r**2 + 30*r - 27. Let p be d(29). Suppose -3*h + 1272 = v, 27*h = -p*v + 29*h + 2544. Is v a multiple of 33?
False
Suppose 0 = -15*q - 5*q - 10*q + 355080. Is q a multiple of 32?
False
Let p(b) = -b**2 - 15*b + 13. Let y be p(-15). Suppose -t + y*t - 288 = 0. Is (99/(-27) + 2)/((-2)/t) a multiple of 2?
True
Suppose -32*x + 24624 = -16*x. Let z = -785 + x. Is z a multiple of 18?
False
Let s(i) = -2*i + 3. Let q be s(0). Let d be 40/(-10)*q/4. Is (-12)/8*134/d a multiple of 10?
False
Let b = 182 + 823. Suppose -819 - b = -6*t. Does 11 divide t?
False
Let j(l) = -104*l - 1802. Does 12 divide j(-38)?
False
Let u(m) = 3*m**2 + 62*m + 91. Is u(49) a multiple of 12?
True
Let g(q) = 190*q + 207*q + 11 - 390*q + 7. Suppose l - 2 = 27. Is g(l) a multiple of 15?
False
Let g = -50 - -54. Suppose -4*j + g*v = -1420, j + 3*v = 3*j - 705. Suppose j = 10*a - 0*a. Does 18 divide a?
True
Let p = -74 + 228. Let r = p + 286. Is r a multiple of 11?
True
Let w = 12133 + -9101. Is 77 a factor of w?
False
Let t = -5261 - -14451. Is 50 a factor of t?
False
Let h(t) = 8*t + 11. Let d be h(-7). Let f = -42 - d. Suppose 84 = r - f*m, -2*m - 2 - 4 = 0. Is 25 a factor of r?
True
Suppose 19*w + 12929 = 41258. Suppose 24*p + w = 15891. Does 75 divide p?
True
Suppose -5*s + 306 = 4*j, 2*s - 4*s = -4*j - 128. Suppose 2*b + 77 = -4*q - 43, b + s = -q. Let i = b - -100. Does 36 divide i?
True
Let t = 288 - 338. Let v = t - -365. Is 5 a factor of v?
True
Suppose -326 = -3*j + 103. Suppose -5*x + j = -907. Does 70 divide x?
True
Let p be (-1)/((-1)/4*(-4)/(-3)). Is (7*p/(-2))/((-6)/72) a multiple of 18?
True
Let g = 5750 - -620. Is g a multiple of 91?
True
Let l(u) = -2*u**3 - 13*u**2 + 19*u + 24. Does 87 divide l(-19)?
False
Suppose 2*s - 3 - 7 = 0, -2*z + 2*s + 12 = 0. Suppose 0 = -5*b + z + 14. Suppose 119 = b*r + 39. Is 7 a factor of r?
False
Suppose -105*i + 84*i = -48027. Is 3 a factor of i?
False
Suppose -3*i + 4 = -2*i + 2*t, -5*t + 31 = 4*i. Suppose -i*x + 13130 = -4*x. Is x a multiple of 20?
False
Suppose -q - 5*l - 16 = q, 4*l + 8 = 0. Let a be (8/(-10))/(q*(-8)/(-4740)). Suppose 3*m - 338 = -5*r, 0 = 2*m + 3*r - 69 - a. Is m a multiple of 22?
False
Let i = 22 - 10. Suppose 17*p = i*p + 20. Does 3 divide (p/(0 + 8))/((-4)/(-48))?
True
Suppose -30*f + 497 + 253 = 0. Suppose -4388 = -f*s + 487. Does 13 divide s?
True
Suppose 6*w - y = 2*w + 332, 5*w - y = 415. Suppose v - w = 3*f, -3*v + v = -4*f - 110. Let h = f - -41. Does 7 divide h?
False
Let t(y) = y**3 + 3*y**2 - 8*y + 5. Let r be t(4). Let d be (-1)/2 - (-22)/4. Suppose -5*m + j = d*j - r, -m + 46 = -5*j. Is 3 a factor of m?
True
Let u = 69320 - 33405. Is 11 a factor of u?
True
Let s = 155 + -91. Let z = 64 - s. Suppose z = 11*o - 3*o - 240. Is o a multiple of 5?
True
Let p = 37712 - 18839. Is p a multiple of 233?
True
Is (2705/(-4))/((-2805)/118932) a multiple of 54?
False
Let t be 2215*(4/(-8)*-4 + 0). Suppose -16*u + 26*u = t. Is u a multiple of 8?
False
Suppose -2*l + 143 + 1405 = 0. Suppose 402 = 3*q - l. Suppose -5*x = -x - q. Is x a multiple of 20?
False
Let o(g) = 6848*g**2 - 394*g + 789. Does 23 divide o(2)?
True
Let j = 1487 + 235. Is j a multiple of 82?
True
Let v = 32905 + -8410. Does 69 divide v?
True
Let u be (-72)/28*1/((-3)/14). Suppose u*d - 16*d = -4. Let n(c) = 188*c**3 + c. Is n(d) a multiple of 10?
False
Let r(f) = 32*f - 7. Let y be r(14). Does 10 divide y/15 + -6 + 231/35?
True
Let i(c) = -23*c - 101. Let s(v) = -4*v**2 + 29*v - 41. Let n be s(6). Does 38 divide i(n)?
True
Let w be -5 - 4*6/(-4). Let y be 0 + 7 + -10 + 1 + w. Let b(p) = 299*p**2 + 5*p + 6. Is b(y) a multiple of 27?
False
Let y be 3*(-164)/(-6)*-1. Let m = 28 + 131. Let b = y + m. Is b a multiple of 11?
True
Let s(x) = -4*x + 44. Let p be s(13). Let v(b) = 2*b**2 - 17*b - 44. Is v(p) a multiple of 16?
False
Suppose -78*s - 107*s + 1283136 = -21*s. Is 50 a factor of s?
False
Let m = 7090 + -2587. Does 18 divide m?
False
Let b = -406 + 789. Suppose -9708 = -b*w + 371*w. Is w a multiple of 31?
False
Let c(f) = 1432*f + 434. Is c(7) a multiple of 21?
True
Let q(o) = o - 7. Let i be q(13). Let g(j) = -j**3 + 3*j**2 + 7*j - 7. Let m be g(i). Let c = m + 125. Is 16 a factor of c?
False
Suppose -10 = -2*h - 12. Let g(l) = -l**2 - 2*l - 3. Let w be g(h). Does 12 divide (-2 + 49/w)/(3/(-6))?
False
Let l be 4/6*-15*223/(-10). Let q(b) = 47*b**2 - 2*b - 3. Let d be q(-2). Suppose -4*y + 5*m + d = -46, 4*y - l = m. Is 29 a factor of y?
False
Let b(z) = -3 - 6 + 112 - 9*z + 23. Does 7 divide b(-11)?
False
Suppose 3*v + 144 - 135 = 0, 4*z - 4*v = 4788. Is z a multiple of 6?
True
Let j(q) = 2*q**3 + 2*q**2 + 6*q - 5. Let z be 10/4*(-8)/(-5). Is j(z) a mult