ide i?
True
Suppose 190 = 2*n + 5*g - 236, 5*n = -2*g + 1044. Is n a multiple of 104?
True
Let p = -14 - -23. Is 20 a factor of (2/3 - (-42)/p)*15?
True
Does 8 divide (-1)/(22/(-4220)) - 8/(-44)?
True
Suppose 3*b + 3 - 18 = 0. Suppose -n = -0*n - 2, 4*n + 97 = b*x. Is 7 a factor of x?
True
Let a(k) = 2*k**2 - 18*k + 35. Is 16 a factor of a(-16)?
False
Let a = -55 + 23. Let v = a - -70. Is 9 a factor of v?
False
Suppose 4*c = -2*a + 462, 0 = c - 4*c + 9. Is a a multiple of 10?
False
Let r = 471 - 417. Is r a multiple of 27?
True
Let c(i) = 5*i + 182. Is c(-9) a multiple of 12?
False
Let z be (-1 + 2 + 0)*(-13 + 23). Let j = 33 + z. Does 16 divide j?
False
Let d = -18 - -20. Suppose 0 = -x + 4*o - 15, 4*o - 19 = -d*x + 11. Suppose 3*a - 5*k + k = 146, 255 = 5*a + x*k. Does 25 divide a?
True
Suppose -28*b - 1821 = -145433. Is b a multiple of 23?
True
Suppose -2*f = -260 - 270. Does 49 divide f?
False
Suppose 2*t = 5*g + 6*t + 250, 240 = -5*g - 2*t. Let x = 52 + g. Is 2 a factor of x?
True
Let q be 21*7/(42/20). Suppose -v - q = -6*v. Is v a multiple of 7?
True
Let w = -104 - -109. Suppose 2*a - 1099 = -3*j - 308, a = -w. Is 28 a factor of j?
False
Let l = -6 + -21. Let n = l + 39. Is n a multiple of 4?
True
Let t = -1599 - -2613. Does 18 divide t/11 + -2 + 4/(-22)?
True
Let t(q) be the first derivative of -q**2/2 - q + 7. Let l be t(-4). Suppose l*o - 2 = 103. Does 11 divide o?
False
Suppose -4 + 4 = -v. Suppose v = 5*c - 15, 2*c + 2*c + 945 = 3*n. Is 48 a factor of n?
False
Let o be 32/(-12)*(-3)/2. Suppose -44 + o = -2*x. Does 11 divide x?
False
Let w(f) = -5*f + 13. Let x be w(-4). Does 19 divide ((-11)/x)/((-2)/300)?
False
Let n be 3 + (-7 - -4 - -6). Let s = n + -2. Suppose -y - 4*m + 10 = 0, 2 + 0 = -s*y + 5*m. Is 2 a factor of y?
True
Let b = 1750 + -1201. Does 9 divide b?
True
Let x be (2/4)/(-1 - 366/(-364)). Suppose v - 93 = 4*y, -3*y - x - 5 = -v. Is v a multiple of 35?
True
Let r = 11 - -5. Let a = -13 + r. Is 35 - a/(-1) - 2 a multiple of 12?
True
Let l be (-2)/((-8)/(-12)) + 5. Let s be 1/(1 + (-1)/l). Suppose 20 = s*k - 18. Does 6 divide k?
False
Suppose 5*z = 10, v - 1320 = -3*z - 450. Does 58 divide v?
False
Let v = 7 + 47. Suppose -11 = 2*h + 53. Let j = h + v. Is j a multiple of 22?
True
Let c be (-17 - -18)/((-1)/14). Let z be (8 + -2)/(c/7). Does 17 divide -5 - z - -38 - 2?
True
Let l = -1232 - -1980. Is 17 a factor of l?
True
Let o = -29 - -94. Is 2 a factor of o?
False
Let l(i) = -i**3 + 16*i**2 - 13*i - 20. Does 8 divide l(15)?
False
Let f be (-1 - (-1 + -409))/(1 - 2). Let n = -59 - f. Is n a multiple of 25?
True
Does 8 divide (24/(-15))/(8/(-80))?
True
Suppose 0*v - 5*v = -5. Does 19 divide v/(0 + 1)*73?
False
Suppose 3*a = 5*a + 2. Let n(o) = -24*o - 3. Does 17 divide n(a)?
False
Let a be 172 + 1 + (-1)/1. Let i = -2 + 6. Suppose 5*b - 6*m - 211 = -2*m, -4*b + i*m = -a. Does 13 divide b?
True
Let l be 14/8*(-8 - 0). Let o = l - -13. Is 3 a factor of 2 + (4 - o) - 0?
False
Let i(g) = g + 16. Let t be i(-10). Suppose t*h - 458 = -146. Suppose -5*u + 5*j + 162 = h, 0 = j - 4. Is 4 a factor of u?
False
Let p = 69 + 11. Is 33 a factor of p?
False
Let t(c) = -c**2 - 4*c + 5. Let z be t(-5). Suppose z = -3*j - j + 316. Is 12 a factor of j?
False
Suppose 360 + 188 = l + 5*f, f + 2688 = 5*l. Does 4 divide l?
False
Suppose 0*s - r - 2 = -5*s, -4*s + 3*r + 6 = 0. Suppose 5*o - 4*y - 55 = s, -3*o - 5*y + 111 = 41. Is 3 a factor of o?
True
Let q(y) = -8*y + 39. Suppose 0 = 5*n - 5*g + 45, -3*n + 6 = -g + 41. Does 18 divide q(n)?
False
Is 27 a factor of ((-3480)/28)/(24/(-112))?
False
Let u be (-3 - -3)/(-4 - -6). Suppose -z - 3*z + 236 = u. Suppose -11 + z = g. Is g a multiple of 8?
True
Let y be 1*(-3 + 0 + 271). Let j = -154 + y. Is 14 a factor of ((-28)/(-21))/(4/j)?
False
Let c(h) = h**2 + 12*h - 5. Suppose 52 = -5*n - 4*i, -5*n - 23 - 43 = -3*i. Let b be c(n). Does 5 divide (b/(-3))/((-5)/(-15))?
True
Let n(u) = -31*u - 13. Suppose -5*c - 34 - 21 = 0. Let i be n(c). Suppose -3*s + 267 = -4*l, 6*l - 2*l - i = -4*s. Is 17 a factor of s?
True
Let a(v) = v**3 + 3*v**2 + 238. Does 34 divide a(0)?
True
Suppose -2*n + 1565 = 5*o, -n - 7*o = -10*o - 766. Is n a multiple of 14?
False
Suppose -u + 526 = -5*a, -u - 5*a + 803 - 237 = 0. Is u a multiple of 39?
True
Let n(i) = -14 - 8*i**2 + i**2 + 5*i + 8*i**2. Is 9 a factor of n(5)?
True
Let c(k) = 3*k**3 + k. Let b be c(-1). Is 4 a factor of 780/66 - b/22?
True
Let n(d) = 91*d + 1. Let a be n(1). Suppose -4*p + a = -132. Does 4 divide p?
True
Let b = 231 - 43. Is b a multiple of 3?
False
Is (918/119)/3*7*86 a multiple of 43?
True
Suppose 0 = -3*t + 29 + 1. Suppose 221 = f + 3*q, 0 = -11*f + t*f + q + 221. Does 17 divide f?
True
Suppose -8*r = 4 + 12. Is -4 - (r - 1) - -7 a multiple of 3?
True
Suppose -4*s + s = 2*r - 42, -5*r - 2*s = -94. Does 6 divide r?
True
Let x(l) = 1 + l**2 + 18*l - 4 - 3*l - 8. Is 13 a factor of x(-19)?
True
Suppose -y = -p + 800, -5*y - 1600 = -0*p - 2*p. Does 5 divide p?
True
Let z = -3 - 0. Let d be (-2)/(-3)*(-9)/z. Is 9 a factor of 9/2*(d - -6)?
True
Suppose 198 = w + 3*q - 0*q, 2*w + 5*q - 396 = 0. Let s = w + -49. Suppose -5*v - 5*k + 229 = -21, 3*v - s = -4*k. Is v a multiple of 11?
False
Let t be 1 + 2 - 3*2/(-3). Suppose 5*m + 38 - 203 = 4*k, -205 = -t*m - 4*k. Is m a multiple of 9?
False
Suppose 153 = 3*b - 540. Is b a multiple of 29?
False
Let v(d) = -d**3 + 2*d**2 + 3*d + 4. Let i be v(3). Let y = -354 + 487. Suppose y + 47 = i*t. Is 10 a factor of t?
False
Suppose -2*k - 5*g = -35, 0 = -k + 4*k - 3*g. Let z(n) = 4*n + 9. Is z(k) a multiple of 8?
False
Let b = -137 + 137. Suppose b = -7*i + 12 + 93. Does 10 divide i?
False
Let c(i) = 117*i + 47. Is 71 a factor of c(11)?
False
Suppose -151 = -2*q - k, 2*q + 4*k = 8*k + 176. Is q a multiple of 42?
False
Let b be (-88)/(-24)*-6*6/4. Let c = b + 57. Is c a multiple of 4?
True
Suppose 3*g = 3*q, 5*q - 3*g = -4*g. Suppose 2*p - 357 = -5*m, 210 = -q*m + 3*m - 3*p. Is 8 a factor of m?
False
Let r(i) = 1088*i**2 - 28*i - 27. Is r(-1) a multiple of 9?
True
Suppose 0 = -6*n + 2523 - 447. Does 31 divide n?
False
Suppose 0 = -0*j - j + 369. Suppose 40*k = 28*k + 60. Suppose -156 = -k*x + j. Is 27 a factor of x?
False
Suppose 4*k + 2*x - 50 = -0*k, -x - 19 = -2*k. Is 1 + 2 + 1 + k a multiple of 5?
True
Let l(f) = -2*f + 7. Let i be l(2). Suppose -m - 31 = -q + 3*m, q - i*m - 29 = 0. Is q a multiple of 4?
False
Let w(y) = 2*y**2 + 14*y + 11. Let h be w(-5). Let v be 290/90 + 2/h. Is 238/42 - 2/v even?
False
Let d(p) = p**3 - 32*p**2 - 58*p + 20. Does 18 divide d(34)?
True
Suppose -5*i = 4*m - 591, 0 = -4*m - 1 - 3. Let j = i + -113. Is j even?
True
Is 39 a factor of (8/((-120)/65))/((-1)/9)?
True
Let s(t) = -t - 3. Let l be s(-3). Suppose 2*g + 344 = -0*g + 3*d, -3*d + 6 = l. Let n = -97 - g. Is n a multiple of 18?
True
Let t be 0 + ((-4)/(-2) - -13). Suppose -4*g + 5*g - t = 0. Is 20/(-2)*(-63)/g a multiple of 14?
True
Let w(q) = 5*q**2 - 3*q + 10. Let u(s) = s**2 - 3*s - 5. Let h be u(5). Does 15 divide w(h)?
True
Suppose 2*j + 2*t = 0, 4*t = -5*j + 1 - 5. Does 13 divide (-3*292/(-30))/(j/(-10))?
False
Let b(y) = 5*y**2 + 9*y + 6. Is b(-9) a multiple of 6?
True
Let c = -8 - -13. Suppose c*y + 2 - 17 = 0, -3*j + 5*y + 183 = 0. Does 11 divide j?
True
Let t = 0 - -8. Let g = 30 + t. Is 8 a factor of g?
False
Let b(k) = -134*k + 30. Is 21 a factor of b(-2)?
False
Suppose -t + 3*t = 5*m - 97, 2*m = -3*t + 54. Suppose -2*c - 11 = -3*j + 26, 0 = 2*j - 5*c - m. Let a = 29 - j. Does 8 divide a?
True
Let z(d) = -3*d + 24. Let r be z(-8). Is 40 a factor of r/20*50*(-3 + 4)?
True
Suppose -182 = -3*q + 5*y, -4*q = -6*y + 5*y - 254. Is q a multiple of 8?
True
Let a = -10 - -20. Let j be 0 + ((-480)/36)/(1/3). Let b = a - j. Does 32 divide b?
False
Suppose -9 = -u + 4*u. Is 27 a factor of (u - 15/1)*-9?
True
Let s(h) = 4*h**3 + 4*h**2 + 9*h + 8. Is s(5) a multiple of 74?
False
Let t = 781 + -344. Does 24 divide t?
False
Let x = 35 - 23. Let g = -12 + x. Let b = g + 39. Is 13 a factor of b?
True
Let h(y) = -12*y + 11. Let x(t) = t + 1. Let i(r) = h(r) - 3*x(r). Is i(-4) a multiple of 23?
False
Suppose -1626*k + 6240 = -1621*k. Is k a multiple of 12?
True
Let o = -3 - -80. Suppose 26*a - 19*a = o. Is a a multiple of 3?
False
S