f d?
False
Let l(n) = n + 23. Let x be l(5). Let v(b) = b**2 - 26*b - 36. Does 13 divide v(x)?
False
Is 11 a factor of (-6)/(-2) + (-14 - (-5895)/15)?
False
Let z(t) = -3*t**3 + t**2 + t + 4. Let f be z(2). Let r = f + 101. Does 14 divide r?
False
Let v = -668 - -1010. Does 18 divide v?
True
Suppose 3*u - 24 = -3*a, 4*a - 2*u + u = 22. Suppose -k + a = 1. Suppose 3*d + 4*m - 168 = 0, -40 - 35 = -d + k*m. Is d a multiple of 30?
True
Suppose -5*n = 5*u - 44 + 9, -16 = -2*u - 4*n. Suppose -2*j + u*j = 36. Is (-189)/(-28)*24/j a multiple of 6?
True
Is 14 a factor of ((-12)/10)/((-30)/1400)?
True
Suppose -3*o + 7398 = 4*n, -5*n - 2*o + 3693 = -5551. Is n a multiple of 77?
True
Let z be -3*(-3)/(-9) - -2. Does 39 divide z/((3 + -1)/234)?
True
Suppose -o - 2*i - 2*i = 178, -5*i + 466 = -3*o. Let h = o + 232. Is h a multiple of 10?
True
Does 25 divide 1*(-6 - 1) + 507?
True
Let a = 125 + -38. Let n = 117 - a. Is 5 a factor of n?
True
Suppose -u + 2*u + 4*v + 11 = 0, -3*u - 2*v + 7 = 0. Let i be 5/15 - (-241)/(-3). Does 2 divide (i/25)/((-2)/u)?
True
Suppose -4*b = -382 - 1154. Is b a multiple of 6?
True
Let x(f) = -2*f**2 + 90*f - 71. Does 33 divide x(26)?
False
Suppose 5*q = 4*q - 21. Let s = q + 126. Suppose -s = -4*d - 3*k, -2*d + 35 = -0*d + 5*k. Is 10 a factor of d?
True
Let a be 5/10*(-2 + 8). Suppose a*o + 7 = 2*q, o = q + 2*o + 4. Is 19 a factor of -5 - -3 - q - -20?
True
Suppose -4*i + 4*c + 4 = -20, -2*i - 4*c = -12. Suppose i = p + 2*p. Suppose -p*r = -2*y + 3*r - 11, -43 = -4*y - 3*r. Is 7 a factor of y?
True
Suppose 5*p - p - 5 = -5*j, 5*p - 3*j = -3. Suppose -3*d + 5*v + 231 = 0, v + p*v - 3 = 0. Is d a multiple of 41?
True
Let m(c) = -c**2. Let o(y) = 3*y**2 - 7*y - 18. Let d(p) = 2*m(p) + o(p). Is d(11) a multiple of 24?
False
Let m = 53 + -51. Suppose m*h = 213 - 45. Is h a multiple of 14?
True
Let q be 867/17*(-1)/(-3). Suppose 0 = 4*j - 237 + q. Is 9 a factor of j?
False
Let w(o) = -o**2 + 7*o + 6. Let s be w(5). Let g = 26 - s. Is 10 a factor of g?
True
Suppose 0 = -3*h - 2*w + 148, -196 = -4*h - 4*w + w. Is 11 a factor of h?
False
Suppose 8*b - b = 231. Let y be (-12)/2*(-44)/b. Suppose 2 - y = 2*w, -5*h + 400 = 5*w. Is 28 a factor of h?
False
Let a be 2/(-1) + 6*-44. Let g = 385 + a. Is g a multiple of 17?
True
Let l = -271 + 156. Let g = l + -10. Let k = 177 + g. Does 26 divide k?
True
Let w = 9 - 1. Let x(m) = 3*m**2 - 8*m - 8. Let g be x(w). Does 8 divide ((-12)/15)/((-3)/g)?
True
Suppose 4*g + 3524 = 5*h, -5*g = h + 157 - 885. Is h a multiple of 12?
True
Let c(g) = g**2 + 8*g + 19. Let n be c(-5). Suppose -n*z - 38 + 790 = 0. Is 47 a factor of z?
True
Let g(z) = z**3 - 11*z**2 + z + 4. Suppose -52 = -5*u - 17. Suppose 2*x - u = 3*q, -3*x + 8*x + 2*q - 65 = 0. Does 5 divide g(x)?
True
Let t(f) = -f**2 - f - 1. Let p(q) = 6*q**2 + q + 6. Let l(m) = -p(m) - 5*t(m). Let s be l(4). Is (1 - 54)*s + -2 a multiple of 17?
True
Suppose 2*b + 9*c = 6*c + 9493, 3*c + 3 = 0. Does 121 divide b?
False
Suppose 3*h - 66 + 18 = 0. Let p = 14 - h. Let t = 7 + p. Is 5 a factor of t?
True
Let f(d) = -d**2 + d. Let z be f(5). Let s be (-39 + 3)/(6/z). Suppose g - 3*g + s = 0. Is g a multiple of 19?
False
Let f = 568 - 324. Does 61 divide f?
True
Suppose 5*q - 3 = 4*q. Suppose -q*g = -575 + 17. Does 49 divide g?
False
Suppose 0*p + 8 = 4*p, 0 = 5*t + 5*p - 930. Is t a multiple of 23?
True
Suppose 0 = -3*u - 3, 2*g - 4*g + 4*u = -68. Is ((-14)/6 - 12/(-36)) + g a multiple of 12?
False
Let o(d) = -d**3 - 9*d**2 + 12. Let x be o(-9). Suppose 4*i = x*i - 464. Does 27 divide i?
False
Suppose 3*o + 2*w - 1178 = 0, -2*w = -o - o + 782. Does 14 divide o*(15/5)/6?
True
Let a(p) be the second derivative of p**5/20 - p**4/6 - 2*p**2 + 5*p. Let f be a(3). Suppose 3*l - f*z - 61 = 0, -4*z - 29 = -l - 4. Does 17 divide l?
True
Suppose -23 = -5*a - 3. Suppose -4 = a*j + 4. Does 15 divide (-364)/(-6) + j/3?
True
Suppose -5*c + 3*n = -4815 - 5246, -c = -4*n - 2002. Is 20 a factor of c?
False
Let k = 16 - 13. Suppose k*q - 6 = g, q + 0*q = g + 2. Suppose 6*d - d - 40 = g. Is d a multiple of 8?
True
Suppose -4*s - 25 = -5*s. Suppose -s*v - 276 = -29*v. Is v a multiple of 19?
False
Let j = -24 - -21. Let c(z) = -3*z - 4. Let f be c(j). Suppose -2*y + 4*b = 2*b - 84, -f*b + 24 = y. Is y a multiple of 10?
False
Suppose 0 = 2*w - 4*g - 108 - 218, 4*w - 630 = -3*g. Does 20 divide w?
False
Suppose 3*v = 5*y + 8685 - 3298, y + 8971 = 5*v. Is 17 a factor of v?
False
Suppose -5*g + 7*g = 4. Does 12 divide (-26 + -70)/(g/(-5))?
True
Let x(g) = -4*g**3 + 11*g + 17. Let w(n) = 7*n**3 - n**2 - 21*n - 34. Let d(i) = -3*w(i) - 5*x(i). Is d(5) even?
False
Let f(q) = -q**2 + 7*q + 8. Let j be f(6). Let z = -53 + j. Does 15 divide z/(-2)*20/6?
False
Let l(z) = z**2 + 5*z - 10. Let q be l(-6). Let c(g) = 2*g**2 + 3. Let r(v) = v**2 + v + 2. Let p(y) = 2*c(y) - 3*r(y). Does 28 divide p(q)?
True
Let i be 9 + -3 + -1*(-1 - -2). Let p be -5 - -4 - (0 - -74). Does 3 divide (-3)/i*p/5?
True
Let m be (-172)/(-16) - 1/(-4). Let f = -9 + m. Suppose -f*t = 4*u - 3*u - 73, -3*t + 110 = u. Is t a multiple of 19?
False
Suppose -l - 10 = -3*l. Suppose 3*v + 5 = 5*f - 1, 0 = l*v - 3*f - 6. Suppose o - 140 = -v*o. Does 17 divide o?
False
Suppose 0 = z - 80 - 26. Does 3 divide z?
False
Let t be (-12)/4 + (-33)/(-3). Suppose 11*p - 168 = t*p. Is p a multiple of 6?
False
Suppose -2*o = c - 5, -4*o + 5*c = -2*o - 11. Suppose -2*h - 66 = -5*h - 4*l, -2*h + o*l + 44 = 0. Is h a multiple of 22?
True
Suppose -u + 4*p = -15, -u + 11 = -0*p - 2*p. Let s = u - -33. Is 8 a factor of s?
True
Does 20 divide 8/((-16)/(-6))*15?
False
Let s(h) = h**3 + 11*h**2 - 8*h - 26. Let l(q) = -q**3 + q**2 + 3*q - 2. Let c be l(3). Is s(c) a multiple of 13?
False
Let o be 8/12*15/10. Suppose 11 = 4*t - w, -2*t + o = w - 6*w. Suppose -t*m = -3*n + 135, -3*n = 2*n + m - 195. Does 8 divide n?
True
Let a(h) = 6*h**2 + 15 - 3*h + h - 5*h**2. Is 6 a factor of a(0)?
False
Suppose -743 = 13*v + 50. Let h = -319 - -189. Let k = v - h. Is k a multiple of 23?
True
Let l(y) = -4*y + 8. Let s be l(8). Is 8 a factor of 0/(8/(-4)) - s?
True
Suppose -5*a - 3 = -2*a. Let o be a + (-1 - -3) + 0. Does 11 divide (177 + 6)*o/3?
False
Suppose 4*o + 1 - 5 = 0, x - 181 = -4*o. Is x a multiple of 5?
False
Let n be (-43)/(-1) + 28/(-7). Suppose -4*z + 9 = -n. Is z a multiple of 4?
True
Suppose 4*u = 16, 0 = -4*p - 10*u + 6*u + 552. Does 7 divide p?
False
Is 24/54 - ((-4456)/18 + -4) a multiple of 37?
False
Suppose 1354 = 14*s - 158. Is 9 a factor of s?
True
Suppose 5*o - 3068 = -2*a, -1947 = -a - o - 413. Is 13 a factor of a?
True
Let p = 621 - -417. Suppose 886 + p = 13*f. Does 37 divide f?
True
Suppose -29*d + 5115 = -14*d. Is 11 a factor of d?
True
Let z(i) = 3*i**3 - 13*i**2 + 2*i + 11. Is z(6) a multiple of 17?
False
Is (-99)/22 + 5 + 1679/2 a multiple of 15?
True
Suppose 29*c = 26*c + 1620. Does 36 divide c?
True
Let p(w) = -14*w. Let g be p(-1). Let a = g + -1. Let c = 15 - a. Does 2 divide c?
True
Suppose -4*y - 5*v + 13 + 15 = 0, 2*y = -4*v + 14. Let t = 176 - 178. Let z = y - t. Is 2 a factor of z?
False
Suppose -6*v + 4 = -2*v + 2*d, -5 = v - d. Let j(u) = -101*u**3 + u**2. Let w be j(v). Let q = -58 + w. Is q a multiple of 22?
True
Suppose -t - 3*b + b - 2 = 0, -2 = -5*t + 2*b. Let m be 1 + -3 + t + 3. Does 15 divide (2 - m)*-1 - -16?
True
Let t(p) = -p**3 - p + 11. Suppose 0*w + 3*d + 15 = -3*w, -3*d - 15 = 5*w. Let y be t(w). Let n = y + 1. Does 12 divide n?
True
Suppose 0 = z + w + 3*w - 13, 2*z = w - 1. Does 12 divide 6*(1 - -12*z)?
False
Is 7 a factor of (16/1)/(-4) + 1*75?
False
Let m(a) = a**3 - 8*a**2 + 4*a + 4. Suppose 2*g - g - 3 = 0. Let v(h) = h**3 - 9*h**2 + 5*h + 4. Let w(d) = g*m(d) - 2*v(d). Is 16 a factor of w(6)?
True
Suppose -4 = -3*t + 4*t + 4*c, -5*c = 2*t - 4. Let v = 17 - t. Suppose -v*d + 17 = -18. Does 7 divide d?
True
Let z = 1634 - 487. Does 37 divide z?
True
Let q(r) = -53 + 19*r + 20 + 20. Is 11 a factor of q(4)?
False
Let h(o) = o**3 + 16*o**2 - 4*o + 43. Does 14 divide h(-13)?
True
Let t(v) = -2*v**2 + 6*v + 2. Let d be t(6). Let m(p) = 5*p**3 + 2*p**2 + 9*p + 18. Let a be m(-2). Let q = a - d. Is 2 a factor of q?
True
Let h be -5*(-1)/(2/8). Suppose n + 5*a + h = -47, -3*n = 2*a + 175. Let m = 105 + n. Is 