?
True
Suppose -75 = -19*y - 4 + 81. Let n be (-1 - 0)*21/(-1). Is 8 a factor of (-1*y/(-5))/(n/420)?
True
Let d = 6000 + -1998. Is d a multiple of 58?
True
Let h(g) = 568*g + 324. Is h(5) a multiple of 20?
False
Let n(k) = 69*k**2 - 57*k - 244. Does 28 divide n(-11)?
False
Let f(y) = -y**3 - 15*y**2 - 4*y - 49. Let d be f(-15). Suppose 0 = d*q - 20303 + 6916. Is 30 a factor of q?
False
Suppose -4*l + 9*l = -30*f + 31*f - 27195, 3*l = 0. Is f a multiple of 184?
False
Suppose 224 = 10*l - 9*l. Let q = -121 + l. Let p = -68 + q. Is p a multiple of 22?
False
Let y be (-3)/(-9)*62*3. Let t = 142 + -67. Let a = t - y. Is 2 a factor of a?
False
Let h(b) = -b**2 + 2549 + 7*b - 2577 + 9*b. Let i be h(13). Suppose 6*k - i*k + a = -1021, 3*k - 3*a - 603 = 0. Does 21 divide k?
False
Let x be (2/8)/((-37)/1036). Does 8 divide 2877/x*-1 - 3?
True
Let i(h) = -h**2 + 558*h + 5871. Is 57 a factor of i(0)?
True
Suppose 36*z = 17*z + 886464. Suppose 66*b = 30*b + z. Is 48 a factor of b?
True
Suppose i + 0 = -15. Let l(y) be the third derivative of -y**4/24 + 11*y**3/6 - 14*y**2. Is l(i) a multiple of 14?
False
Let w(u) = -9*u**3 - 19*u**2 + 18*u + 30. Let g(r) = -2*r**3 + r + 1. Let s(b) = 4*g(b) - w(b). Is 12 a factor of s(-19)?
True
Suppose 0 = -4*b - 3*n + 4675 + 10535, 0 = 4*b - 3*n - 15246. Is 37 a factor of b?
False
Suppose -5 = -4*d + 11. Suppose -d*f = 2*p - 10, 3*p + 2 = -5*f + 13. Is 13 a factor of 98/p*3/(-2)?
False
Suppose 17*t - 25*t + 77252 = 6*t. Does 62 divide t?
True
Is 3/(((-630)/25928)/(-15)) a multiple of 4?
True
Suppose 2*t = 1616*b - 1615*b - 8638, 3*t - 25923 = -3*b. Does 10 divide b?
True
Let g = 9212 + -4892. Is g a multiple of 45?
True
Suppose -6*r + 112 = -68. Let v = r + -24. Suppose 170 = 11*k - v*k. Does 3 divide k?
False
Let t(b) = -58*b - 7. Let z be t(0). Let p(r) = r + 1. Let u(g) = -4*g**2 + 12*g + 34. Let o(s) = 6*p(s) - u(s). Is 35 a factor of o(z)?
True
Let x(m) = 8*m**2 + 11*m - 7. Let k be x(8). Suppose -k - 280 = -3*s. Suppose -5*f + 3*w = -s, -4*w = -w + 6. Is 19 a factor of f?
True
Suppose -5*g - 2*y = -19366, -2*g = -30*y + 25*y - 7729. Does 88 divide g?
True
Suppose -41*y = 25*y - 386298. Is 125 a factor of y?
False
Let n(x) be the third derivative of x**6/120 + x**5/12 - 4*x**3/3 - 7*x**2. Let k be n(-4). Suppose 8*y = 96 - k. Is y a multiple of 5?
False
Let g(r) = -r**3 + 40*r**2 - 28*r - 245. Is 15 a factor of g(26)?
False
Let l be (-3)/4 + 238*(-4)/(-32). Let g = -26 + l. Suppose 0 = -g*c + 69 + 21. Is 5 a factor of c?
True
Let o(j) = -2*j**3 + 16*j**2 - 22*j + 14. Suppose 21*h = 8*h + 78. Let k be o(h). Suppose b = -3*w + 129, -4*b - k - 4 = -w. Does 21 divide w?
True
Let h(b) = 2*b**2 - 2*b - 89. Let n be 234/13 - (-1 + 1 - -1). Is h(n) a multiple of 6?
False
Suppose 4*v - 19268 = -16144. Is v a multiple of 11?
True
Let f = -456 + -208. Let q = 261 - f. Is q a multiple of 25?
True
Suppose -99 = -20*y - 39. Suppose 0 = -d - y, 109 = 3*z - 2*d - 20. Is z a multiple of 2?
False
Let l(r) be the second derivative of -r**3/6 + 8*r**2 - 15*r. Let d be l(18). Is 13 a factor of (1/d)/((-2)/(-104)*-2)?
True
Let u be (-4)/((1 + 3)*(-2)/12). Suppose -4*w = -u*w + 2016. Suppose -55*f + 59*f = w. Is 42 a factor of f?
True
Suppose 0*g + 5*g - 5*o = 55, 0 = -4*g + o + 41. Let j(f) = 2*f**2 - 20*f + 5. Let i be j(g). Is 4 a factor of ((-6)/i)/(18/20)*-18?
True
Let g be (2 - 3) + -1 + 43 + 1. Let n be ((56/(-3))/2)/((-2)/g). Suppose -49*x + n = -47*x. Does 14 divide x?
True
Suppose -4*o + 3*c = -35, 10*o - 2*c - 34 = 6*o. Suppose -2*h - 3*d + o*d + 133 = 0, h - 4*d - 68 = 0. Is h a multiple of 4?
True
Let m = 6465 - 5574. Is m a multiple of 33?
True
Let n = -344 + 347. Is 14 a factor of 193 + 1 + (n - 7) + 5?
False
Suppose 3*a - 4*f + 2 - 14 = 0, 5*a = -2*f - 6. Suppose a = -2*x - 25 + 215. Let n = x - 59. Is 6 a factor of n?
True
Suppose -f = -5*t + 353, -2*t - 2*t - 2*f + 274 = 0. Let a = 186 - 206. Does 3 divide (86/7 - 1) + a/t?
False
Let a(q) be the third derivative of q**5/60 - 5*q**4/8 + 3*q**3/2 + 8*q**2. Let l be a(17). Let j = l + 76. Is 31 a factor of j?
False
Let w = 4093 + -1309. Suppose 16*o = 22*o - w. Is 10 a factor of o?
False
Suppose 9*p - 962 = 226 + 117. Let i = 478 - 256. Let s = i - p. Is s a multiple of 7?
True
Suppose 3*t + 3*p = -p - 18, -5*t + 3*p = 59. Let f(c) = -76*c**2 - 5 - 16 - 78*c**2 - 14*c + 153*c**2. Is 4 a factor of f(t)?
False
Suppose 2*k - 5*o = 893, k + 3*o = 816 - 342. Suppose 0 = -38*h + 35*h + k. Is 40 a factor of h?
False
Let i = -138 - -400. Let y = 34 + i. Is 10 a factor of y?
False
Let p(g) = 98*g**2 + 180*g - 925. Does 25 divide p(5)?
True
Suppose 2*y = 3*w + 65, -y + 0*w + 5*w = -36. Suppose 0 = -61*s + 59*s - 48. Let f = s + y. Is f a multiple of 4?
False
Let o = 7247 + 5962. Does 119 divide o?
True
Let x(h) = 20*h - 293 - 274 + 558. Suppose 0 = -2*p + 10, -5*a = -3*a - 5*p + 11. Does 12 divide x(a)?
False
Let r be 2/(-7) - 744/(-56). Suppose b + 2*d - r = 0, 0 = 3*b + 5*d - 5 - 29. Suppose -5 = t - b*a - 31, 5*a + 32 = t. Does 6 divide t?
False
Let u(f) = -5*f - 18. Suppose -1 = -9*i - 37. Let c be u(i). Is 20 a factor of (c/(20/315))/(2/8)?
False
Suppose 3624851 = 326*h - 2389849. Is 15 a factor of h?
True
Let k(n) be the first derivative of -25*n**2/2 + 48*n + 87. Is k(-2) a multiple of 21?
False
Suppose 11*u = -4*g + 15*u + 16424, -5*g + 20518 = -2*u. Is 73 a factor of g?
False
Let r = -3 + 8. Suppose 53*c = 54*c - 1 - 1. Suppose n = -r*i + 160, c*i + 6 = 2*n + 70. Is i a multiple of 12?
False
Let p(y) = y**3 + 14*y**2 - 32*y + 25. Let m be p(-16). Let j(d) = 54*d - 284. Does 18 divide j(m)?
False
Let w be 1 + 139 + 3 - 4/2. Let g = -298 - w. Let c = -299 - g. Is 14 a factor of c?
True
Let t = 57 + -159. Let f = 375 + t. Is 10 a factor of f?
False
Let o(b) = 18*b**2 + 35*b + 835. Is 228 a factor of o(-35)?
True
Let d(k) = -61*k + 4011. Is d(-55) a multiple of 29?
True
Suppose 2*s + 136 = -2*z - 96, -5 = -5*s. Let l = 352 + z. Suppose -3*j - 166 = -l. Is 9 a factor of j?
False
Let q(r) = r**3 - 5*r**2 + 3*r - 11. Let c be q(5). Suppose 0 = -3*s - c*k + 94, 4*s - 2*k - 23 = 95. Is 4 a factor of s?
False
Let i be (1/(-2))/((-4)/8). Suppose -17 = -2*z + i. Let r(d) = -d**2 + 11*d + 16. Does 17 divide r(z)?
True
Let w(b) = -b**3 + 6*b**2 + 180*b - 81. Is 9 a factor of w(15)?
True
Does 35 divide ((-587785)/22)/((-15)/6)?
False
Suppose 29690*q - 29687*q = 16437. Is q a multiple of 17?
False
Let d(r) = -7*r**2 - 3*r + 47. Let u be d(-7). Is (3/2)/(-4 + u/(-66)) a multiple of 5?
False
Let c(h) be the third derivative of h**6/360 + 19*h**5/120 + 13*h**4/24 - 9*h**2. Let o(v) be the second derivative of c(v). Is 5 a factor of o(0)?
False
Let s(u) = u**3 + 25*u**2 + 24*u + 21. Let y be s(-24). Let p = 85 - y. Is 39 a factor of p?
False
Let w = 175 + -980. Let x = w + 1249. Is 74 a factor of x?
True
Suppose -2*g + 38 = -j, -j - 2*j = g - 12. Suppose g*t = 19*t - 996. Does 38 divide t?
False
Let c be -2 - ((-45)/36)/((-2)/80). Let p = c + 227. Is 54 a factor of p?
False
Let b be (-5)/(-2 + 52/28). Suppose -b = -0*q - 7*q. Suppose q*n - 305 = 125. Does 16 divide n?
False
Let r = 137 - 279. Let w be -2*1 - (-311 + 1). Let b = w + r. Is 39 a factor of b?
False
Let f(l) = 3*l**2 + 24*l + 10. Let v be f(-14). Suppose -v = 11*c - 1736. Does 67 divide c?
True
Does 11 divide (-44992)/(-114) + (-4)/(-3)?
True
Suppose -12 - 20 = f - 5*l, 20 = -3*f - 4*l. Let a = 285 - 171. Is 9 a factor of a*3/f*(-8)/6?
False
Suppose 48 = -5*n + 198. Suppose -8*g - 6 = -n. Suppose 4*x = -g*p + 463, -p - x + 107 + 48 = 0. Is p a multiple of 30?
False
Let f(t) = t**3 + 5*t**2 + 4*t - 1. Let h be f(-3). Suppose -l - 1332 = -h*l. Let x = l - 194. Does 23 divide x?
False
Let s = -27 - -30. Suppose 46 + 56 = -s*a. Let k = 61 + a. Does 9 divide k?
True
Let v(d) = d**3 + 6*d**2 + 6*d + 3. Let h be v(-5). Let j be 4/20*h*-5. Suppose 5*s - 26 = j*y, -s - 4*s = 3*y - 36. Is 2 a factor of s?
True
Suppose -4*q - 2 = 10. Let y be ((-13)/q)/(6/18). Let v = 51 + y. Does 16 divide v?
True
Let f(i) = 4*i**3 - 6*i**2 + 7*i - 6. Suppose -3*x - 12 = -6*x. Is 13 a factor of f(x)?
True
Suppose 2*s = 2*o - 8, 0 = 3*o + 2*s + 2 + 1. Let f(z) = 12*z**3 + z**2 - 4*z + 2. Does 11 divide f(o)?
True
Let y(r) = 7*r**3 + 17*r**2 + 6*r - 14. L