rue
Let z = 16 - -97. Let m(n) = 4*n**2 + 1. Let d be m(7). Let t = d - z. Is t a multiple of 21?
True
Suppose 12*g = 5838 + 2622. Does 15 divide g?
True
Let b be (36/(-45))/(2/(-5)). Suppose 186 = 3*v + 3*y, -183 = -3*v - 6*y + b*y. Does 18 divide v?
False
Let b(z) be the first derivative of z**4/4 - 2*z**3 - z**2 + 4*z - 8. Let h be b(7). Suppose 0 = -3*t - h + 321. Does 18 divide t?
False
Let j(a) = -a**2 + 30*a - 26. Is j(20) a multiple of 6?
True
Suppose -a + 2*y = -522, 0 = -2*a + y + 1251 - 210. Is 40 a factor of a?
True
Let a = 9 - 7. Suppose 5*c = 5*m - 65, a*m + 5*c - 25 = -3*m. Is 8 a factor of 123/m + (-6)/9?
False
Let c = -570 - -3375. Is 18 a factor of c?
False
Suppose -3*j = w - 1415, -3*w - 2*w = -5*j - 6975. Is 40 a factor of w?
True
Let q be (-9 + 7)/(2 + 19/(-9)). Let p(l) = 2*l**2 - l - 4. Let s be p(-3). Suppose 2*r - s = -v + q, 0 = r - 2*v - 25. Is 8 a factor of r?
False
Let y(i) = -i**2 - 22*i - 43. Let d be y(-18). Suppose d = z - 2*j, -30 = -3*z + z - 3*j. Does 3 divide z?
True
Let l(y) = y + 32. Let z be l(-17). Let d = -15 + z. Does 8 divide -1 + 1 + 60 - d?
False
Suppose -1073 - 727 = -3*c. Does 60 divide c?
True
Let q = 61 - 80. Let f = q + 227. Does 33 divide f?
False
Let a be 4*(-3)/(-48)*8. Suppose 3*v - a*l = 3*l + 43, -9 = -v - l. Is 7 a factor of v?
False
Let a = 22 + -15. Is 2 a factor of a/(-2)*16/(-7)?
True
Let f = 9 + 266. Is f a multiple of 14?
False
Suppose -2*x + 326 = -0*x + 3*d, -x - 5*d = -156. Is 26 a factor of x?
False
Does 61 divide 141/3*61/1?
True
Let c be (-1)/7 + (-740)/14. Let q = 88 + c. Is q a multiple of 20?
False
Let f = 167 + 624. Is 6 a factor of f?
False
Let i be 4 + (40/5)/(-2). Suppose -d + 336 = 2*q, 2*q + i*d + 2*d = 334. Does 29 divide q?
False
Suppose -11 - 9 = -2*t. Let a(h) = -h**3 + 11*h**2 - 3*h - 4. Is 16 a factor of a(t)?
False
Let k(v) = -v**3 + 13*v**2 + 2*v - 9. Let h = -29 + 42. Is 12 a factor of k(h)?
False
Let c(u) = u + 30. Suppose -2*g = 4*t - 18, 5*g + 36 = 5*t + 6. Let r = t - 5. Does 15 divide c(r)?
True
Suppose 4*r - 142 - 38 = 0. Let y(s) = s**3 + 3*s**2 - 4*s + 5. Let a be y(-5). Let w = r + a. Is w a multiple of 10?
True
Let y = -19 + 119. Let j = y - 53. Does 13 divide j?
False
Let h(j) = 73*j - 9. Is h(4) a multiple of 21?
False
Let g be 8/(-2) - -6 - -5. Is g/(-2)*(-280)/98 a multiple of 3?
False
Let m = 12 + -7. Let h = 359 + -229. Suppose -h - 80 = -5*z + m*l, -180 = -4*z - 2*l. Is 21 a factor of z?
False
Let s(n) = 238*n - 11. Is 31 a factor of s(2)?
True
Suppose -82 = -u - v, 4*u - u = -5*v + 242. Is u a multiple of 3?
True
Let w(k) = -2*k**2 - 36*k - 4. Let r be w(-18). Is 13 a factor of 6/r*854/(-21)?
False
Let o = 1195 - -65. Is o a multiple of 80?
False
Let s(g) = -g. Let u be s(1). Let a(f) = 2*f**2 - f. Let k be a(u). Suppose 3*w + 40 = 4*v, 4*v + v = k*w + 53. Is 13 a factor of v?
True
Let f(x) = -14*x + 214. Is f(15) a multiple of 2?
True
Suppose 5 = -2*h + 13. Suppose -h*l - 35 = 2*x + 1, 5*l = -25. Is 9 a factor of (-154)/x - (-9)/(-36)?
False
Suppose -2*s - 1226 = -3*o, 4*o = -0*o - 2*s + 1630. Suppose 6*t = 14*t - o. Is t a multiple of 13?
False
Let i be 15*(3 + -1 - 3). Is (i/(-30))/(2/180) a multiple of 15?
True
Let j = -402 - -827. Is 52 a factor of j?
False
Suppose 0 = -4*s + 2*q + 254, -4*s + 4*q - 7*q + 249 = 0. Does 9 divide s?
True
Let m = 56 - 82. Let f(c) = 71*c**2 + c - 1. Let g be f(1). Let z = m + g. Does 15 divide z?
True
Suppose 30 = 2*g - 42. Suppose 5*z - 8*z = 66. Let d = z + g. Is d a multiple of 7?
True
Suppose -5*d = -2*d - 18. Suppose -d = -4*r + r. Suppose -39 = -r*y - 17. Does 3 divide y?
False
Let x(f) = f**3 - 4*f**2 + 3*f + 8. Let z be x(4). Let q = 4 + z. Is q a multiple of 12?
True
Does 24 divide (4/6)/((-8)/19668*-11)?
False
Let w = -15 + 19. Suppose -w*s + 2*o + 176 = -0*s, s - 34 = 3*o. Is 11 a factor of s?
False
Suppose m + 3*m - 96 = 0. Suppose -c + m = c. Let s = c - 9. Does 3 divide s?
True
Let n = -15 - -36. Suppose -s - 3*u - n = -u, 0 = 3*s + u + 43. Let c = s - -25. Does 4 divide c?
True
Suppose -4 = -5*n + 4*m + 12, -n - 1 = -5*m. Suppose -2*g + n*g = 342. Is 20 a factor of g?
False
Let r = -3 + 6. Suppose -164 = r*s - 3*d + 4*d, -3*d = s + 60. Let j = s + 82. Is 7 a factor of j?
True
Let s be (-40)/(-3)*(28/8 - 2). Suppose -7*o = -s - 603. Is 17 a factor of o?
False
Let n = 142 + 504. Is n a multiple of 45?
False
Suppose l + 8 = -5*t - 3, -3*t = -l + 13. Suppose 2*j + 3*r - 107 = 0, -l*j - 3*r + 213 = 2*r. Suppose -q + j = q. Does 13 divide q?
True
Does 22 divide (268/6)/((-24)/(-792))?
True
Let u be 4 + 576/4 + 0. Let h = -106 + u. Is h a multiple of 10?
False
Suppose 0 = -137*u + 136*u + 2. Let v = 6 - 2. Suppose 4*o - 428 = v*m, -2*m - 222 = -u*o + 2*m. Is 34 a factor of o?
False
Let p(d) = 2*d - 31. Let l be p(-7). Does 11 divide (252/l)/((12/110)/(-3))?
True
Suppose m + 0*o + 47 = -2*o, -4*o + 70 = -2*m. Let j = m - 2. Is 14 a factor of -4 + 2 - -1 - j?
True
Let i(x) = x - 5. Let t be i(3). Let d be t/(-6) + 2/3. Suppose n + d = 7. Is 6 a factor of n?
True
Let o(s) = 0*s**3 + 3 - 8*s**2 + 3 + 10*s + 3 - s**3. Let z be o(-9). Suppose -2*r + 2*n + 36 = z, 5*r + 6 = -2*n + 89. Does 4 divide r?
False
Suppose q = -2*q - y - 702, 5*q + 1159 = 2*y. Let o = 421 - q. Is 33 a factor of o/10 + 14/(-35)?
False
Does 19 divide 14483*15/35 + 0 + 0?
False
Suppose -17*a + 1246 = -1083. Is a a multiple of 4?
False
Let q = 95 + 103. Is q a multiple of 7?
False
Suppose 0 = 5*y - 3*y - 40. Suppose y = 4*i, -3*c + 2*i - 452 = -2*i. Is (-1)/(4/c*2) a multiple of 4?
False
Suppose -5*t + 10*t = 10. Let x = 14 - 4. Does 31 divide (2 - -14)/(t/x)?
False
Let b(g) = 2*g**2 - g + 57. Let m be b(0). Suppose 27 = 2*t - m. Does 14 divide t?
True
Suppose -13 = -6*d + 41. Let h = 5 - 14. Let i = d - h. Is 9 a factor of i?
True
Let i be -158 - ((-4 - 3) + 4). Let y = i + 401. Is y a multiple of 29?
False
Let g = 20 + -5. Suppose -4*u + 9*u - g = 0. Suppose 0 = -u*j + j + 3*q + 23, j - 22 = 5*q. Does 7 divide j?
True
Does 14 divide (-29)/87 - (-818)/6?
False
Suppose -19*z - 2244 = -31*z. Does 2 divide z?
False
Let s(d) = 2*d**2 - 4. Let x be s(2). Suppose -3*h - 14 - 2 = -k, -2*h - x*k - 34 = 0. Let a(l) = -l**3 - 7*l**2 - l + 5. Does 3 divide a(h)?
True
Let b(p) = 16*p**2 + 3*p - 4. Does 15 divide b(2)?
False
Suppose -2*r + z + 4276 = -0*r, 0 = -3*r - 3*z + 6432. Does 51 divide r?
False
Suppose -176 = -7*m + 314. Is m a multiple of 10?
True
Suppose 3*f + 2*n - 1 = 2*f, 0 = f - n - 1. Is (f - (-4)/(-8)*4)*-120 a multiple of 42?
False
Let j(o) = -o**3 + o - 2. Let f be (11/2)/((-17)/34). Let t(n) = n**2 + 12*n + 9. Let r be t(f). Is 2 a factor of j(r)?
True
Let u(v) = v**2 + 8*v - 37. Is u(-12) a multiple of 2?
False
Suppose -38*v + 3709 + 1535 = 0. Is v a multiple of 3?
True
Let g be (3/(-9))/(4/(-2580)) - 3. Suppose 0 = 11*j - 7*j - g. Is j a multiple of 5?
False
Suppose t = 2*t - 6. Let y be (t - 4) + (-10 - 2). Does 3 divide (60/50)/((-3)/y)?
False
Let u = 21 - 13. Does 8 divide 0/12 + 3*u?
True
Suppose f = -5*d + 215, -4*f = 5*d + 337 - 1182. Does 30 divide f?
True
Let g be 34/51 - 2/3. Suppose g = 2*m + 251 + 9. Does 13 divide (16/40)/((-4)/m)?
True
Let f(h) = -h**2 + 27*h - 7. Let g be f(18). Let u = g - 64. Is 32 a factor of u?
False
Let v = 0 + 8. Let r be v/(4*(-1)/(-2)). Suppose r*m - 12 = -4*q, 0 = 5*m - 5*q - 46 + 11. Does 5 divide m?
True
Let s be (-4)/(-2)*3/(-6). Let j = 599 - 597. Does 14 divide (-1 + j + -31)/s?
False
Suppose -7*t + 5*t - 4*d + 2024 = 0, -5*t - 3*d + 5081 = 0. Is t a multiple of 16?
False
Let i(v) = 185*v - 1. Let g be i(1). Suppose 4*w = 104 + g. Does 12 divide w?
True
Let v(z) = 3*z**3 - 2*z**2 + 2. Let t be v(2). Let w be t/(-6) - 1*-7. Suppose -5*d = -2*d + 3, o - 30 = -w*d. Is 7 a factor of o?
False
Suppose 4*s = -68 - 36. Let t = -6 - s. Suppose 0 = i - 6 - t. Is i a multiple of 4?
False
Does 40 divide 564 + -1 - (23 + 8 + -28)?
True
Let t = 457 - 348. Is t a multiple of 7?
False
Suppose 22*h - 1240 = 14*h. Does 31 divide h?
True
Suppose -219 = -z - 18*q + 22*q, -3*z + q = -624. Does 33 divide z?
False
Let m(q) = 3*q**2 + 32*q - 35. Is m(-15) a multiple of 16?
True
Suppose 0 = 2*g + 5*g + 1652. Let p = -166 - g. Is p a multiple of 35?
True
Suppose -3*p - 9 = -t, 7*t - 3*t - 2*p = -4. 