tor of o?
True
Let l be 3/(-12) - (-43)/(-4). Let x(j) = -3*j**3 + 27*j**2 + 14*j + 33. Let d(k) = -k**3 + 13*k**2 + 6*k + 16. Let v(t) = -5*d(t) + 2*x(t). Does 8 divide v(l)?
True
Let g be (2 - 2) + 2 - -2. Suppose -2*r + 8 = -2*p + 2*r, p - g*r + 12 = 0. Suppose 1 = z - p. Is z even?
False
Suppose 12 = -8*r + 12*r. Suppose -z = -r*u + 17, 4*u - 40 = z - 4*z. Is 6 a factor of u?
False
Suppose -4*s - 93 - 159 = -3*u, -367 = -4*u - 5*s. Suppose -4*b = -6*b + u. Is b a multiple of 11?
True
Let d be 0/(3 - (0 - -4)). Suppose d = -2*w - 2*w. Suppose s - 2*s + 26 = w. Is 8 a factor of s?
False
Suppose 0 = 5*o + 3 - 13. Let p(s) = -10*s - 41. Let n be p(-5). Let x = n - o. Does 2 divide x?
False
Suppose -6*k = -11*k + 160. Is k a multiple of 7?
False
Suppose -2*c + 2 = -c + 5*g, -2*c + 49 = -5*g. Suppose -5*p - 4*k = 86, 5*k - 2 = 3. Let n = c - p. Is n a multiple of 16?
False
Let h be (96/8)/(3/2). Suppose h*f - 3*f = -4*a - 546, f + a = -110. Let y = f + 171. Does 18 divide y?
False
Is 85 + -2*(-1 - (-6 - -3)) a multiple of 4?
False
Suppose -15*g - 120 = -17*g. Is 10 a factor of (-4)/(-3*8/g)?
True
Suppose 0 = -6*q + 3051 - 2535. Does 15 divide q?
False
Let x be (-12 + 21)/(1/20). Suppose -2*g = -v + 2*g + x, 177 = v - g. Is v a multiple of 10?
False
Suppose 2*u = 6*u - 4*g - 380, 4*g = -u + 80. Suppose 0 = -6*y + 8*y + u. Let o = y + 78. Does 6 divide o?
False
Suppose -5*m + 0 = -5. Let w be (0 - m)/((-2)/6). Does 19 divide w + -3 + 32*1?
False
Suppose -1812*l = -1801*l - 1485. Does 9 divide l?
True
Suppose -3*j - c + 4 = 0, -2*j = -0*j - 5*c - 14. Suppose -5*b - j*b = -637. Does 21 divide b?
False
Does 26 divide 33/88 - -1*4407/24?
False
Suppose -2*c = 2*h - 948, -3*c - 5*h = -1448 + 36. Is c a multiple of 10?
False
Let z(u) be the first derivative of -u**3/3 + 28*u - 5. Is 23 a factor of z(0)?
False
Let t be (8 - 1) + 1*-2. Suppose -t*k - 513 = -93. Let r = -15 - k. Is 23 a factor of r?
True
Does 13 divide (-26 + 0/(-2))*(8 - 9)?
True
Suppose 25*d + 92 = 21*d. Let n be 2*(2 - 8/2). Let r = n - d. Is r a multiple of 19?
True
Let v = 114 + -73. Let u(o) = o**3 + 11*o**2 - 10. Let g be u(-11). Let y = v + g. Is y a multiple of 10?
False
Let x be (-4)/8 - (-102)/4. Suppose -7*i + 2*i + x = 0, 0 = -5*y - 3*i + 65. Let u = 27 + y. Is u a multiple of 8?
False
Suppose 411*c - 416*c = -2365. Is 57 a factor of c?
False
Let b(h) = h**3 + 14*h**2 - 14*h + 15. Let i be b(-15). Suppose -14*y + 16*y = 5*u - 894, i = -3*y + 9. Is 18 a factor of u?
True
Let l = 1100 - 781. Does 13 divide l?
False
Let q = 218 - 83. Let c = -78 + q. Does 19 divide c?
True
Suppose 0 = -t + 3*x - 0 - 7, -4*t - 3*x = -32. Suppose -2*d + 2*a = -4, -4*d + 2*a + 16 = d. Let k = d + t. Does 9 divide k?
True
Let y(u) = u**3 + 3*u**2 + 4. Let a be y(-3). Does 16 divide a + 1 + -1 - (4 + -48)?
True
Suppose 14*o - 3021 = 7143. Does 22 divide o?
True
Is 14 a factor of 4/26 - 4*24840/(-78)?
True
Let m(b) be the second derivative of -5*b**3/6 + 8*b**2 - b. Suppose -f - 6 = 5*d + 30, 4 = -4*f. Is 17 a factor of m(d)?
True
Suppose -44 + 30 = -2*b. Suppose b*y - 192 = 3*y. Is y a multiple of 5?
False
Let f(h) be the first derivative of 5*h**3/3 - 3*h**2 + 7*h - 37. Suppose -15 = -2*v - 3*v. Is f(v) a multiple of 13?
False
Let i be 3/2*180/(-27). Let x(m) = -m**3 - 11*m**2 - 10*m + 2. Let c be x(i). Suppose c*z - 110 = -3*z. Is z a multiple of 8?
False
Let f(b) = 5*b**2 + 25*b + 36. Is 13 a factor of f(-8)?
True
Suppose -2*r - 7*r = 0. Suppose -x = t + 4*x - 145, t + 2*x - 133 = r. Does 18 divide t?
False
Let d(m) be the second derivative of m**3/3 - m**2/2 + 6*m. Let l be d(-7). Let y = -8 - l. Is y a multiple of 4?
False
Let r = -41 + 206. Let f = r + -57. Is f a multiple of 43?
False
Let t be (-8)/(-2) + (-4)/4. Is (1 - -1) + (t - -107) a multiple of 8?
True
Let r = -134 + 177. Is r a multiple of 2?
False
Let n(a) = a**3 + 3*a**2 + 4*a - 2. Let p be n(3). Suppose -5*y + p = 3*j, 3*j - 4*j = -2*y + 30. Is y a multiple of 5?
False
Let n = 338 + -259. Is 7 a factor of n?
False
Let d(r) = 2*r + 14. Let s be d(-5). Does 9 divide (135/6)/(3/s)?
False
Suppose -i - 5*p = 13, 0*i = -3*i - p - 25. Is (i/(-3) + -2)*93 a multiple of 52?
False
Let o(k) = 2 - 3 + 3 - 1 + 64*k. Is o(2) a multiple of 43?
True
Let u = 2 - 3. Let v be (-2)/u - (3 + -4). Suppose 5*x = 5*d + 405, -v*x + 255 = -0*x + d. Is 21 a factor of x?
True
Let f(a) = 20*a + 4. Suppose 2*p = 3*p + m - 9, 2*m = 2*p + 2. Let n(c) = 3*c - 8. Let t be n(p). Is 28 a factor of f(t)?
True
Let m(c) = 6 + 28 - 3*c - 25 + 22. Is m(-12) a multiple of 9?
False
Let i = 6 + -6. Suppose i = -6*z - 8 - 4. Is (0 + z)*(-99)/6 a multiple of 11?
True
Suppose -9*s - 81 = -12*s. Is (-418)/(-18) - ((-48)/s + 2) a multiple of 23?
True
Is 28 a factor of (103 - 99)*(1 - -69)?
True
Suppose -5*o = -2*r - 3411, 2055 = 9*o - 6*o - 4*r. Does 15 divide o?
False
Let l(x) = 42*x**3 + 5*x**2 - 6*x - 9. Is 77 a factor of l(2)?
False
Let q(t) = -t**3 + 6*t**2 - 2*t + 7. Let p be q(6). Let u = p - -65. Suppose g + y = 3*g - 30, -u = -4*g + y. Is 14 a factor of g?
False
Let z = 96 + 34. Suppose 0 = -4*j - 2*p + z, -2*p + 6*p + 100 = 4*j. Let b = j - 9. Is b a multiple of 8?
False
Let x(o) = -54*o**3 - o**2 - o. Let z be x(-1). Suppose c = -0*c + z. Let b = -27 + c. Does 27 divide b?
True
Does 57 divide 568708/399 + 2/(-6)?
True
Let n(m) = -5*m + 6. Let k be n(5). Let t = -19 - k. Let c = 27 + t. Is 5 a factor of c?
False
Let f(v) = -9*v**3 - v**2 + v. Let r be f(1). Let z be (7 + r)*(-65)/2. Suppose -z = -0*x - x. Is x a multiple of 13?
True
Let s(b) = 9*b**3 - 4*b**2 - 10*b - 4. Does 42 divide s(6)?
False
Let v = 24 + -20. Suppose -v*k + 5*s = 2 - 230, -4*s = -4*k + 224. Does 15 divide k?
False
Let m = 4 - 76. Let x = -7 - m. Does 21 divide x?
False
Suppose 4 = n - 1. Let c = 5 - n. Suppose 4*g - 6*g + 48 = c. Is g a multiple of 6?
True
Let y be (-4)/(-26) - 10044/(-117). Suppose -3*a = -136 - y. Does 37 divide a?
True
Suppose -5*p = -6*n + 2*n - 245, -3*n = -2*p + 98. Suppose -2*g + p = -247. Does 17 divide g?
False
Is (-18)/(-8)*2848/24 a multiple of 27?
False
Let c = 373 + -229. Is 18 a factor of c?
True
Suppose -14*p + 12*p = 2*i - 1448, 3*p = 5*i - 3588. Is i a multiple of 36?
True
Let t be 4/(-1 + -1)*-22. Let s = -16 + t. Is s a multiple of 14?
True
Suppose 0 = -3*y + j + 2213, 5*j + 584 + 177 = y. Does 14 divide y?
False
Does 4 divide (-36)/(-30)*510/18?
False
Let d be 517 - (-4)/(16/4). Suppose -2*m + 6*f + 352 = 2*f, 0 = 3*m - 4*f - d. Is 19 a factor of m?
False
Is 68 a factor of 548 - ((-108)/(-9))/(-2)?
False
Suppose -3*u + 115 = -515. Suppose 0 = 3*f + 5*p - 0*p - 175, 4*f - u = -2*p. Does 25 divide f?
True
Is 6 a factor of -1*(-91)/5 - 37/185?
True
Let i(j) = -63*j - 3. Let g(t) = 5*t**2 - 1. Let n be g(-1). Let p(h) = h + 1. Let o(m) = n*p(m) + i(m). Does 21 divide o(-1)?
False
Let i be -3 + (3 - 1 - 115). Let d = -76 - i. Is 11 a factor of d/(-8)*104/(-10)?
False
Suppose 0 = i + 3*i + 3*y - 23, 2*i + 3*y - 7 = 0. Suppose -i*u = -13*u + 900. Is u a multiple of 30?
True
Suppose 243 - 3147 = -b - 3*o, -3*b = 5*o - 8696. Is b a multiple of 11?
False
Let a = -81 - -36. Let v be (12/5)/((-18)/a). Suppose 0 = v*g - 3*g - 144. Is g a multiple of 12?
True
Let i(l) = l**3 + 7*l**2 + 5. Let c be i(-7). Suppose 0 = c*q - 7*q + 144. Suppose 2*w - q = -w. Is 24 a factor of w?
True
Let y(u) = -11*u + 4. Let v be y(-6). Let n = -57 + 59. Suppose -n*z + v = -26. Does 23 divide z?
False
Let o be (1 - 0) + 0 - (36 + -40). Suppose b + 13 - 75 = -o*y, 0 = 4*y - 4. Does 3 divide b?
True
Suppose 11*p = 8*p + 273. Suppose 11*u = -p + 311. Is 10 a factor of u?
True
Suppose 48*l - 17193 = 15*l. Is l a multiple of 15?
False
Suppose -3*j - 365 + 377 = 0. Is j a multiple of 2?
True
Let w(m) = -m**2 - 12*m + 15. Let l be w(-8). Let k = l + 57. Does 11 divide k?
False
Suppose 2*y - y = -2*y. Suppose -348 = -4*r - 4*m, 0 = 2*r - y*r - m - 165. Is r a multiple of 12?
True
Let w(x) be the first derivative of -5*x**2/2 + 14*x - 1. Let q be (21/2)/(18/(-24)). Is w(q) a multiple of 21?
True
Does 34 divide (28 - -208) + 2/1?
True
Suppose m = -0*m + 9. Let y = m + 244. Is 17 a factor of y?
False
Let d = -595 + 929. Is 15 a factor of d?
False
Let d be (-13)/(-6) + 16/(-96). Let a = d - -64. Is 6 a f