?
False
Suppose -4*z - 5*t = -75, 5*t - 9*t = 4. Suppose 64 = 4*c - z. Does 7 divide c?
True
Let i be (-2)/(4/(-130)*1). Let l = -61 - -27. Let d = l + i. Does 13 divide d?
False
Suppose 34 = 4*b + 390. Let v = b - -128. Is 13 a factor of v?
True
Let g = 10 - 13. Is 17 a factor of g - (2 + (-46 - 0))?
False
Suppose -3*c + 4*l = -2*c - 3, -2*l + 3 = c. Suppose h + c*w - 16 = 0, 5*h - w = -0*h + 16. Suppose 7*y + i = 2*y + 272, h*i = 3*y - 154. Is 27 a factor of y?
True
Let v(q) = 41*q - 5. Let g be v(4). Suppose -3*j + g = -0*j. Is j a multiple of 25?
False
Suppose 48 - 316 = -2*d + 2*r, -532 = -4*d + 5*r. Is d a multiple of 33?
False
Let v(c) = 2*c + 4. Is 5 a factor of v(3)?
True
Let l = 7 + -4. Let t = -8 - -18. Is 9 a factor of t*((-9)/(-2))/l?
False
Suppose -c = 2*c. Let l be 20/(1*2/4). Suppose -m - l = -4*m + 4*w, 5*m - 5*w - 70 = c. Does 6 divide m?
False
Let v(a) = a + 4. Let n be v(-2). Suppose 4*j - 5*x - 17 = 0, -x - 8 - n = -3*j. Suppose 4*f + 3*c - 137 = 0, j*f + c + 10 = 109. Is f a multiple of 16?
True
Suppose 0 = 3*c - 12, 4*c = 3*u - 0*u + 7. Suppose p = -u*p + 20. Is 2 a factor of p?
False
Let l = -2251 - -1337. Does 13 divide l/(-14) + (-22)/77?
True
Suppose 3*s = 5*u + 178, -10 = -3*u + 5*u. Is 17 a factor of s?
True
Let l = 149 - 236. Let v(o) = -21*o + 1. Let q be v(-6). Let y = q + l. Is y a multiple of 20?
True
Suppose 5*b - 23 = 2. Suppose 61 = b*k - 4*n + 9, -k = 2*n - 16. Is 4 a factor of k?
True
Suppose 0 = -5*p + 84 + 156. Does 12 divide p?
True
Is 35 a factor of (-1)/(-3 + 2) + 10*8?
False
Suppose 3*x = -5*u + 1014, -3*x - 6 = -0. Is u a multiple of 17?
True
Let j(r) = -7*r + 15. Is 10 a factor of j(-15)?
True
Let x = 369 - 189. Is x a multiple of 36?
True
Let i(o) = -o**3 + 6*o**2 - o - 1. Let m be i(5). Let w be 1/(-4*(-1)/64). Suppose 0 = v - m - w. Is 9 a factor of v?
False
Suppose -3*v = -3*t + 37 + 41, -3*t - 2*v = -98. Is 6 a factor of t?
True
Suppose -5*w + 0*f + 5*f = -35, -10 = -w + 2*f. Suppose 2 = -3*r - w. Does 10 divide ((-5)/r)/((-6)/(-24))?
True
Suppose 7 = 4*c - 1. Suppose -4*v = -c*x + 76, x - 3*v + 4*v = 26. Is x a multiple of 15?
True
Let t be 4/(-10) + 28/(-5). Is 4 a factor of 30/4 - (-3)/t?
False
Let p be 24/(-14) - (-8)/(-28). Let q be 74/6 + p/6. Suppose -4*w + q = -40. Is w a multiple of 13?
True
Suppose 2*b + 2 = 0, 5*b - 7 = -4*l - 0*b. Suppose 0 = l*p + 3 + 3. Let k(v) = 11*v**2 - 2. Is k(p) a multiple of 21?
True
Let c(v) = -2 + 0 - 2*v + 6. Suppose 2*d + 32 = -4*p, 0 = 3*p - 0*p - 3*d + 6. Does 16 divide c(p)?
True
Let x = 22 - 13. Let a(y) = 3*y. Is 9 a factor of a(x)?
True
Suppose -5*t + 927 = 52. Is 35 a factor of t?
True
Suppose -2*d = -6*d + 156. Is 7 a factor of d?
False
Suppose -5*z + 9 = -6. Suppose -2*i - p + 56 = i, -3*i + 66 = z*p. Does 17 divide i?
True
Let y(t) = t**2 - 1. Let i(o) = 4*o**2 + 7*o. Let f(u) = -i(u) + 3*y(u). Is 7 a factor of f(-5)?
True
Let d = -24 - -283. Is d a multiple of 37?
True
Let l be (-14)/(-4)*(2 + 0). Let v(q) = -q**2 + 9*q + 1. Is v(l) a multiple of 13?
False
Suppose -12*i + 6*i + 1140 = 0. Is i a multiple of 66?
False
Suppose 0 = -2*m - 17 + 129. Suppose -2*p - u + 0*u + m = 0, 3*u = -4*p + 108. Is 6 a factor of p?
True
Suppose -2*v + 3*z + 19 = -12, 2*v + z - 11 = 0. Let g = -5 + 4. Let t = v + g. Does 3 divide t?
False
Let m(z) = z**2 - 5*z + 5. Let b be m(4). Is 327/12 + b/(-4) a multiple of 15?
False
Let u = 7 + -4. Suppose 0*a = -3*a + 72. Suppose -2*r - u*h = -a, 3*r = -r + 2*h + 16. Is r a multiple of 6?
True
Let g(x) = -x**3 + 10*x**2 - 8*x - 2. Does 30 divide g(8)?
False
Suppose 0 = -9*d + 247 + 563. Does 13 divide d?
False
Suppose 1246 = 3*h + 214. Is h a multiple of 43?
True
Let p(j) = -3*j**3 + 4*j**2 + 12. Let t(d) = -8*d**3 + 11*d**2 + 36. Let y(b) = -11*p(b) + 4*t(b). Let r be y(0). Suppose z + r = 3*z. Is z a multiple of 2?
True
Suppose c = -2*i - 2*c + 3, 4*i + 4*c = -4. Suppose 2*n - 1 = 7, 2*g + 5*n - 18 = 0. Let h = g - i. Is 5 a factor of h?
True
Let b(x) = 5 + 1 + 2 + x. Let w be b(-8). Is 3 a factor of -6*((-1)/1 + w)?
True
Let b(i) = 6*i. Let g = -1 + 2. Is b(g) a multiple of 3?
True
Suppose -42 = -5*a - 2*l, a = 6*a + 4*l - 34. Let c = -7 + a. Is 6 a factor of 3/c - 3 - -18?
False
Let h = 26 + -22. Suppose -h*v = -0*v + 2*p - 62, 0 = 4*v - 3*p - 77. Is 11 a factor of v?
False
Let x(n) = 2*n**3 - 2*n**2 + 2*n. Let p be x(3). Suppose 4*c = p + 22. Is c a multiple of 8?
True
Let p(r) = 18*r**3 - 3*r**2 + r - 1. Is 19 a factor of p(2)?
True
Let d be 2/(-7) - 14/(-49). Let w(x) = 0*x - 4 - x + 30. Is w(d) a multiple of 13?
True
Let o = -18 + 36. Does 6 divide o?
True
Let p(l) = -l**2 - 7*l + 4. Let z be p(-7). Let m(o) = -3 - z*o**3 + 6*o**3 + o - 5*o**2 + 5. Is m(3) a multiple of 7?
True
Let c be 1*(-6)/(-2) + 13. Suppose -2*m = -q - 7, 2*q - 4*m + c = -2*q. Is (-56)/6*(-2 + q) a multiple of 14?
True
Let g(v) = -3*v + 18. Let a be g(8). Is 3 a factor of a/(-3) + -6 + 14?
False
Is 2 a factor of 43 - (4 - 5) - 1?
False
Let t = -1 + 9. Suppose -3*g + t + 1 = 0. Is 3 a factor of g?
True
Let o be (-3 - -2)*-3 - 2. Let n(u) = -3*u + 1. Let r be n(o). Is r/7 - (-30)/7 a multiple of 4?
True
Let t(h) = h**3 + 5*h**2 + 5*h + 7. Is t(-4) a multiple of 2?
False
Let y(i) be the second derivative of -i**3/2 - 3*i**2/2 - 3*i. Suppose 4*x + 24 = 4. Is 5 a factor of y(x)?
False
Let w = -44 - -144. Does 25 divide w?
True
Let a(d) = -d + 2. Let o(i) = -3. Let b(m) = -3*a(m) - 2*o(m). Is b(12) a multiple of 14?
False
Let p = -5 - -18. Let l = 19 - p. Suppose 0 = 2*b - l. Does 3 divide b?
True
Let x(l) = -l**3 - 7*l**2 - 5*l + 4. Suppose -4*p - 26 = -f, -4 = -2*f - 0. Let i be x(p). Is 4 a factor of 12 + 0 + i + -1?
False
Let n(c) = 56*c**2 + c. Let x be n(-1). Suppose x = -2*k - 5*o, -5*o - 1 + 191 = -5*k. Let s = 49 + k. Does 5 divide s?
False
Suppose 0 = -0*n - n. Suppose 0 = -k - n*k + 5. Does 5 divide k?
True
Let t = -13 - -10. Is -1 + (t + 11)*4 a multiple of 10?
False
Suppose 3*n + 2*x - 88 = 0, 2*x = 5*n - 137 + 1. Is n a multiple of 4?
True
Suppose -4*w + 221 = p, 3*p + 0 = -9. Is 8 a factor of w?
True
Is 16 a factor of 290 + 3 + -9 + 4?
True
Let r = 23 + 113. Does 17 divide r?
True
Suppose 0 = 2*g + 8, v + g - 47 = 0. Let n = 111 - v. Does 14 divide n?
False
Suppose -6 = -3*y + 3. Suppose y*l - l = 10, -m - 2*l + 18 = 0. Suppose -m*g = -4*g - 132. Does 14 divide g?
False
Suppose -11*p = -1171 + 181. Does 15 divide p?
True
Let h be 2/(-4) + (-33)/2. Let l = 39 + h. Is l a multiple of 16?
False
Let r(h) = -7*h**3 + 2*h**2 - h. Let o be r(1). Does 10 divide 23 + o/(-1 + -1)?
False
Let g = -10 - -16. Is 6 a factor of g?
True
Suppose 0 = 2*x - 160 + 30. Suppose -5*w + 338 = 2*u, 0*w - x = -w - 3*u. Does 34 divide w?
True
Suppose -3 + 9 = 3*y, 0 = f + 5*y - 11. Is (-8)/((-4)/f) + 81 a multiple of 12?
False
Suppose 6*p = -0*p + 42. Is 7 a factor of p?
True
Suppose -4*l - 3*p = -6*p - 112, -l + 5*p + 28 = 0. Is 9 a factor of l?
False
Suppose 2*g + 3*g = 385. Is 11 a factor of g?
True
Let z(r) = -r**3 - 2*r**2 - 2*r + 2. Is z(-5) a multiple of 29?
True
Suppose 4*m + 3*c - 211 = 4*c, 0 = -c + 1. Is 22 a factor of m?
False
Let h = -1 - -3. Suppose -r = 5*d - 10*d + 39, 30 = h*d - 4*r. Suppose j = -2*z, 4*z - 5 - d = j. Is z even?
True
Let i(v) = 5*v + 3 + 0*v**2 + v**2 - 2. Let l be i(-6). Suppose 2*m + 60 = l*m. Is 12 a factor of m?
True
Let r(g) = -g + 2. Let u be r(3). Let c(m) = -m**2 + m + 1. Let v(a) = 18*a**2 + 4*a + 5. Let y(d) = -6*c(d) + v(d). Is 21 a factor of y(u)?
False
Suppose 5*h = 134 + 256. Is h a multiple of 38?
False
Let x = -74 + 122. Does 8 divide x?
True
Let d = -36 + 24. Does 12 divide d/(-15) + 528/15?
True
Suppose 3*s + 308 = 5*n, s - 1 = 3. Is n a multiple of 16?
True
Suppose -2*r + r = -34. Is 17 a factor of r?
True
Suppose 3*d + c + 9 = 0, -5*d + 4*c = -d + 12. Is d/((-1)/((-105)/(-9))) a multiple of 9?
False
Suppose 2*w - 4 = 192. Is 5 a factor of w?
False
Is 237/27 + 4/18 even?
False
Let i(h) = -h - 3. Let z be i(-3). Suppose 2*o + 3*o - 10 = z. Is o + 11 + 2 - 1 a multiple of 11?
False
Let g = 0 + -3. Let p(z) = z**2 + 3*z + 0*z**2 - 4*z. Is 12 a factor of p(g)?
True
Suppose -2*u = -24 - 6. Does 8 divide u?
False
Let t = -5 - -8. Let m be 0*2/(-8) - 1. Let r = m + t. Does 2 divide r?
True
Suppose 6*w = 2*l +