 - g - 2. Let l(n) = -17*n**2 - 1. Let m(u) = 2*k(u) - 5*l(u). Suppose 3*z + y = 2*z, -2*z - 4*y = 2. Is m(z) a multiple of 7?
True
Let u = -266 + 408. Let z = u - 73. Does 23 divide z?
True
Suppose -r + d = 2*d - 66, -2*r + 138 = 5*d. Let o = -29 + r. Is 8 a factor of o?
False
Let a(p) = 3*p - 1. Let l be a(-2). Let f = l + 33. Is f a multiple of 10?
False
Let x = 52 + 2. Suppose 2*u - 5*u = -x. Does 9 divide u?
True
Suppose 4*x + 52 = -0*x. Let o = 25 + x. Does 6 divide o?
True
Suppose 4*x - 449 - 159 = 0. Does 16 divide x?
False
Suppose -5*x + 940 = -5*f, 544 = x + 2*x + 2*f. Suppose -3*k + 5*w = -x, -3*k = -0*w - w - 188. Does 17 divide k?
False
Suppose -98 = -4*q - 2*j, 4*q - 74 = q - j. Is 25 a factor of q?
True
Let t = -10 - 9. Let j = t - -13. Is 10 a factor of 19 - (j/3)/2?
True
Suppose -2 + 5 = g. Suppose 3*q = g*d - 99, 3*d - q = q + 104. Does 7 divide d?
False
Suppose k - r = 31, -5*k + k + 3*r = -124. Is 24 a factor of k?
False
Let j be (-11 + 8)*(-76)/3. Let n = j + 10. Is 24 a factor of n?
False
Suppose -3*j = 0, 2*j + 0*j = 3*o - 108. Suppose 3 = -p + o. Suppose -3*w = -t + p, t - 80 = -t - w. Is 16 a factor of t?
False
Is (2 - 3)/(2/(-1*48)) a multiple of 7?
False
Is 5 a factor of 4 + (-1)/((-3)/93)?
True
Let a(i) = -2*i. Let o be a(-2). Let d = o - -14. Is d a multiple of 18?
True
Let v(d) = 30*d**2 + d - 1. Let u be v(1). Suppose -g + u = g. Does 9 divide g?
False
Let f = -13 - -19. Suppose -g = g - f. Is g/(-3 + 0) + 7 a multiple of 3?
True
Suppose g - 2*v = 4*g - 316, -v + 107 = g. Does 17 divide g?
True
Let p = 419 - 254. Is 15 a factor of p?
True
Let g = 11 - 24. Let l = 29 + g. Is l a multiple of 7?
False
Let z(c) = c**2 - 3*c + 2. Let m be z(2). Let d be (2 - m/(-1)) + -2. Suppose d*x = x - 3*b - 49, -2*x = 3*b - 71. Is x a multiple of 19?
False
Let s(w) = 14*w + 1. Is 9 a factor of s(1)?
False
Suppose -2*d = 3*d - 25. Suppose -d*m - 2*w + 319 = 0, 0 = -5*m - 3*w + 2*w + 322. Does 12 divide m?
False
Let j be (-1*5)/((-1)/4). Let i = 10 - 6. Suppose -h - i*h = -j. Is h a multiple of 4?
True
Is 9 a factor of 8/36 + (-133)/(-9)?
False
Let c = 240 - 136. Does 13 divide c?
True
Is 23 a factor of -4 + 7/((-7)/(-50))?
True
Let o be -1*-2*1/2. Let s(u) = u. Let f(z) = 7*z - 4. Let n(v) = o*f(v) - 3*s(v). Does 18 divide n(10)?
True
Let p(r) = -r + 18. Let m be p(0). Let a be (-2 + m/4)*2. Suppose a*c = u - 24 - 5, -5*u = c - 119. Is 16 a factor of u?
False
Let z(r) = -r**2 + 42. Let p be z(0). Suppose -5*b + 4*w = -119, -3*b = -3*w - p - 27. Is 10 a factor of b?
False
Let h(t) = -t**3 + 6*t**2 + 8*t - 2. Let u be 3/2 - 22/(-4). Is 4 a factor of h(u)?
False
Let v(h) = 5 - 6*h - 5. Is 2 a factor of v(-1)?
True
Let a = 10 - 5. Suppose -2*w + 3*w - 13 = -l, -a*w - 15 = -3*l. Is l a multiple of 4?
False
Let j(o) = 3*o - 3. Let z be j(2). Is (-3 + 24)/(z/2) a multiple of 7?
True
Let p = -99 - -152. Is p a multiple of 21?
False
Let m = -4 + 6. Suppose m*x - 72 = -x. Is 12 a factor of x?
True
Let i = -111 - -225. Suppose i - 4 = 5*h. Is 11 a factor of h?
True
Suppose m = n + 24 + 21, 5*m + 3*n - 217 = 0. Suppose 0 = -2*y + 6*y - m. Does 3 divide y?
False
Let o(g) = -g**2 + 32*g**3 - 3*g + 3*g - 21*g**3. Suppose -3*b + 2*m - 1 = 0, -5*b - 2*m + m + 7 = 0. Is o(b) a multiple of 10?
True
Suppose 4*r = 5 + 23. Is r a multiple of 2?
False
Suppose 0 = -n - 3*t + 67, n - 351 = -4*n + t. Is n a multiple of 14?
True
Suppose -28*s + 1288 = -20*s. Is 23 a factor of s?
True
Suppose 3*m + 37 = 3*y - y, 4*m = -y + 2. Suppose y = c - 14. Is c a multiple of 14?
True
Let u be (-45)/(-35) - (-2)/(-7). Let q be -4*2/(-2)*u. Suppose j = -q*j + 60. Does 5 divide j?
False
Suppose -p - 932 = -4*j, -2*p - 2*p = -16. Is j a multiple of 18?
True
Let q = -428 + 688. Is 10 a factor of q?
True
Let b = 82 - 10. Is b a multiple of 9?
True
Let q be 18/3 + 16/(-4). Suppose 0 = -q*s + 4*s - 6. Is 3 a factor of s?
True
Suppose -4*l = -5*s - 13 - 70, -2*l + s + 49 = 0. Is 17 a factor of l?
False
Let p be -1 + (1 - 1) - 7. Let z be (-10)/(-4)*p/(-20). Let n(i) = 21*i**2 - 2*i + 1. Does 10 divide n(z)?
True
Suppose -m = -29 - 20. Is m a multiple of 7?
True
Let z(b) = -93*b. Let d be z(-1). Suppose -t - p - 73 = -5*t, -5*t + d = -3*p. Is 6 a factor of t?
True
Suppose t = -2*h + 3*h, 3*h - 16 = -5*t. Let o(n) = 5*n**2 - 3*n + 2. Let s be o(h). Suppose -l - v = -29, s = -2*l + 4*v + 44. Is 8 a factor of l?
True
Let f = -4 + 18. Suppose 4*y - 12 = -2*l, -3*l - 3*y = l - f. Suppose 2*v + 14 = 5*n, -l*v = -5*v + 9. Is n a multiple of 2?
True
Let y(c) = -c + 18. Does 3 divide y(-7)?
False
Suppose 4*c - 2*s = 72, -c + 3*s = -2*s - 36. Is 5 a factor of c?
False
Let v = 15 + -9. Suppose 5*o = 3*o + v, 4*b - 13 = o. Suppose b*m - 13 = 123. Does 17 divide m?
True
Suppose 9 - 109 = 4*k. Let b = k - -44. Does 19 divide b?
True
Suppose -5*y + 23 = -2. Suppose -y*w + a = -51 - 63, 3*w = -a + 62. Is 10 a factor of w?
False
Let y = 0 - -2. Let n(m) = m - 4 - 4*m**y + m**2 + 6*m**2 - 2*m**2. Is 2 a factor of n(-3)?
True
Let i = 861 + -560. Is i a multiple of 17?
False
Let k(b) = b. Let n be k(-7). Let t(z) = -5*z + 6. Does 12 divide t(n)?
False
Let l = -3 - -7. Suppose 0 = -7*d + 3*d + 2*k + 16, l*d + k - 4 = 0. Suppose -6*q = -d*q - 20. Is 5 a factor of q?
True
Let h = -13 + 70. Does 19 divide h?
True
Suppose 6*u = -u + 1155. Is 15 a factor of u?
True
Let q = -15 + 19. Is 4 a factor of q?
True
Let t = 8 + -3. Suppose f - 18 = 4*g, -28 - 14 = -2*f + t*g. Is 7 a factor of f?
False
Let d(h) = -h**2 - 9*h - 9. Let p be d(-7). Let b(j) = 2*j - j - p*j - j**2. Is 3 a factor of b(-3)?
True
Let f = 23 + -23. Let d(n) = -n**2 + 9*n + 1. Let a be d(4). Suppose u = -f*u + a. Is 21 a factor of u?
True
Let d = -3 - -2. Does 10 divide (54 + d + 1)/1?
False
Let y(n) = n**2 + 2*n - 3. Let g be y(-11). Suppose 6*k + g = 378. Is 24 a factor of k?
False
Let l = -5 + -2. Is 4 a factor of l*(-7)/(98/12)?
False
Let x be (1 - 1)/(1 + 0). Suppose x = -0*g + 5*g - 65. Does 3 divide g?
False
Suppose 0 = -4*b - 5*x + 310, 0*x - 2*x - 404 = -5*b. Does 24 divide b?
False
Let s(f) = -f**3 + 12*f**2 + 6*f + 33. Is 22 a factor of s(9)?
True
Let c = 10 - 7. Is (-14)/c*(-3)/2 a multiple of 7?
True
Let i be (-3 - (-42)/9)*33. Is 10/i + 388/44 a multiple of 4?
False
Let t(p) = p**2 + 2*p - 4. Is 11 a factor of t(6)?
True
Suppose -10 - 7 = -g. Is 3 a factor of g?
False
Let z(i) be the second derivative of i**4/4 - i**2 - 43*i. Suppose -12 = -2*r + 2*y, 0*r + y = 2*r - 8. Is z(r) a multiple of 5?
True
Let p = 114 - 82. Does 6 divide p?
False
Suppose -2*v + 9 - 1 = 0. Suppose 0 = -3*t + 9, 0*y + 2*y + v*t = 14. Does 14 divide y*9*(-9)/(-3)?
False
Suppose 9*v - 220 = 4*v. Let m = 6 + 5. Is (-1 + m)*v/10 a multiple of 22?
True
Suppose 4*h - 64 = -4*f, 5*h + 7*f = 4*f + 84. Is -2*7/((-21)/h) a multiple of 6?
True
Let i be 2/5 + (-40)/(-25). Let c(t) = -t + 11 - 10*t**2 - t**2 + i*t**2 - t**3. Is 20 a factor of c(-9)?
True
Suppose -4*v = 3*m - 90 + 1, -m = -4*v - 51. Is 7 a factor of m?
True
Suppose -17*o = -12*o - 785. Is 38 a factor of o?
False
Suppose -4*a + 21 = 5*d, -a = -d - 0 - 3. Suppose a*p + 15 = 63. Suppose -3*o + 33 = -p. Is o a multiple of 14?
False
Suppose -4*f = -4, -5*m = -2*f - f + 28. Let v = 73 + -49. Let z = v + m. Does 19 divide z?
True
Suppose 63 = -u + 2*i, 0 = -5*i + 12 - 2. Let s = u - -89. Is 15 a factor of s?
True
Let p(t) = t**2 + 6*t - 4. Let a be -3*(-2 - 13/(-3)). Let f be p(a). Suppose 11 = f*v - 13. Is 8 a factor of v?
True
Let o = 2 + -2. Let j = 1 + o. Let c(y) = 40*y. Is 16 a factor of c(j)?
False
Suppose 2*x - 3*z = 8, 2*x + 3*x + 2*z - 20 = 0. Suppose 3*t + 5*a - 2 - 26 = 0, 4*a + 80 = x*t. Is 8 a factor of t?
True
Let c be 20 + 0 - (-8)/4. Suppose o - c = 14. Suppose 3*v - o = 2*v. Is v a multiple of 18?
True
Let m(p) = 8*p**2 - 12*p + 7. Let n(z) = -3*z**2 + 4*z - 2. Let d(g) = -4*m(g) - 11*n(g). Is d(-7) a multiple of 11?
False
Let x(f) = -7*f - 3. Suppose 4 = -3*k - 2, 3*j - 3*k = 21. Let p = -8 + j. Is 9 a factor of x(p)?
True
Suppose -914 = -10*a + 336. Is 16 a factor of a?
False
Let k(v) = v**3 - v. Let f be k(1). Suppose 0 = -4*z - f*z - 176. Does 11 divide (1/(-2))/(2/z)?
True
Let i = -10 - -17. Let w(y) = y - 9. Let k be w(i). Is 11 a factor of (-2)/k*24/1?
False
Suppose 3*h = -65