*y = v*y + 3*z - n. Does 18 divide y?
True
Suppose -40 = -5*y + 220. Is y a multiple of 18?
False
Let z be 148*((-10)/(-4))/5. Suppose z - 22 = 2*h. Does 3 divide h?
False
Suppose 0 = 2*y + c - 938, -5*y + 0*c + 2350 = 5*c. Does 13 divide y?
True
Is 15 a factor of (56*(-2)/5)/((-24)/60)?
False
Let m = -35 - -39. Is (-8)/(-5)*(56 + m) a multiple of 12?
True
Let v(s) = 0 - 6*s + 3*s**2 + 2 - 1 + 2*s - 4*s**3. Is v(-3) a multiple of 10?
False
Let m be (0 + -2 - 0)*-10. Suppose -2*z - 4*q = -m, -5*z + q - 6*q + 70 = 0. Is z a multiple of 3?
True
Let q(j) be the first derivative of -5*j**2/2 + 4*j - 1. Suppose 14 = -23*z + 21*z. Is 8 a factor of q(z)?
False
Suppose -2*r = 4*i + 52 - 162, 5*i + 69 = r. Let v(a) = -a**2 + 21*a - 1. Let y be v(14). Suppose 3*c - y - r = 2*l, -5*c + 253 = -l. Does 10 divide c?
True
Suppose 12 = -20*p + 23*p. Suppose 32 = 3*m - z, -2*m + 2*z - p = -28. Is 5 a factor of m?
True
Let g(c) = -26*c**3 - 3*c - 2. Let r be g(-1). Suppose 7*y - 4*y - r = 0. Suppose -11*z = -y*z - 30. Does 5 divide z?
True
Let v = 146 - 149. Let d = 3947 - 2099. Does 24 divide d/(-16)*2/v?
False
Suppose -2*l = 8, 2*r - 8 = 6*r - 2*l. Let a = -3 + -11. Let u = r - a. Is u a multiple of 7?
False
Suppose 0 = 5*g - 4*n - 28, g - 16 = -g + 4*n. Suppose -4*c + j = 218 - 922, g*j = 2*c - 352. Is 23 a factor of c?
False
Let i be (-4)/(-1 - 3)*-65. Let s = 5 - i. Is s a multiple of 15?
False
Suppose -q = -k + 7, -2*q + 0*k - 2*k = 2. Suppose p - 57 = -147. Does 3 divide (q/(-5))/((-12)/p)?
True
Suppose 1720 = 4*z - 1808. Is 6 a factor of z?
True
Let q(b) = 44*b - 42*b + 0 + 2. Does 3 divide q(3)?
False
Let z be -7*5*12/(-5). Is -10*(3 - z/20) even?
True
Let j(l) be the third derivative of -l**6/60 - 7*l**5/60 - l**4/12 - 5*l**3/3 + 9*l**2. Is j(-5) a multiple of 16?
False
Suppose -4*a + 39 = 7*h - 2*h, 4*a - h - 21 = 0. Suppose -1039 + 43 = -a*o. Is o a multiple of 14?
False
Let p = -147 - -258. Let a = p + -47. Does 6 divide a?
False
Suppose -3*x = -5*d + 2134, 424 = d - 0*d - 2*x. Is 24 a factor of 2/((-8)/d*-1)?
False
Suppose 4059 + 573 = 6*p. Is 12 a factor of p?
False
Let d(n) = n**3 - 36*n**2 + 2*n - 29. Is 7 a factor of d(36)?
False
Let k(v) = 2*v - 5. Let r be k(-23). Let z = 95 + r. Is 14 a factor of z?
False
Let n(w) = -5*w + w**3 + 8*w**3 + 11 + 8*w**2 - 10*w**3. Does 2 divide n(7)?
False
Is 9 a factor of 3856/24 + (-7)/(21/(-4))?
True
Let m(h) = h**2 + 8*h + 5. Let o be m(-7). Let s = 5 + o. Suppose -7*b + 2*b = -5*d - 40, s*b + d = 16. Does 6 divide b?
True
Let k = 5740 + -1294. Is k a multiple of 26?
True
Suppose 0 = -2*i + 185 + 15. Suppose -4*a - 30 = -10, 0 = 5*q - 2*a - i. Suppose 0 = x - 3*x + q. Is 3 a factor of x?
True
Let v(y) = y + 6. Let g(f) = -f + 1. Suppose p + 10 = 6*p. Let b(a) = p*g(a) - v(a). Is b(-7) a multiple of 4?
False
Let h = 14 + -14. Suppose 4*o + 52 - 288 = h. Is 20 a factor of o?
False
Suppose -2*s + b = -2*b + 6, -9 = 3*s - 5*b. Let v be 1/(2*s/66). Let k = 23 - v. Is 8 a factor of k?
False
Suppose c = -2*k + 17, k + 2*k - c = 23. Let a = 11 - k. Let d(n) = 2*n**3 - 3*n**2 + n. Is 15 a factor of d(a)?
True
Suppose 5*t = u + 684, 4*t - 528 = -0*t - 4*u. Suppose -3*x - t = -1306. Is 65 a factor of x?
True
Let i = -11 - -12. Let w(y) = 36*y**3 + y**2 - 2*y. Let x be w(i). Is 10 a factor of ((-250)/x)/((-3)/21)?
True
Let u(t) be the first derivative of -t**4/4 + 14*t**3/3 - 11*t**2 + 6*t + 5. Does 15 divide u(12)?
True
Let w(u) = 5*u - 6. Let t = 6 - 22. Let x be t/(-40)*3*5. Does 20 divide w(x)?
False
Let l(q) = -q**2 - 9*q - 8. Let s be l(-8). Suppose -21 - 11 = -4*o + 4*j, o + 2*j - 8 = s. Is 5 a factor of o?
False
Suppose 2*d - 2 = 2. Let h be (d/(-4))/((-6)/(-12)). Is (-7)/(h/3 + 0) a multiple of 10?
False
Let i(o) = -329*o - 5. Is 81 a factor of i(-1)?
True
Does 10 divide (-32 + 30)/(1/(-24))?
False
Let x(q) = -q**2 + 3*q + 2. Let o be x(6). Let h = -13 - o. Suppose 5*b - g = h*g + 107, -3*b = -4*g - 61. Does 23 divide b?
True
Let m = -10 + 15. Suppose 3*w = h + 127 + 19, m*w - 270 = -5*h. Suppose -k = 6*q - q - w, -5*k - 4*q = -145. Is k a multiple of 7?
False
Let d be 14/28*(10 - 0). Suppose -15 = d*n - 85. Is n a multiple of 5?
False
Suppose 12*q = 2*q + 3760. Is q a multiple of 6?
False
Does 8 divide 258/((-50)/40 + 2)?
True
Let p(o) = 2*o + 2. Let u be p(4). Suppose 3*b = 2*q - 61, -1 = -3*b + 2. Let i = q + u. Does 21 divide i?
True
Let c(z) = -z**2 + 17*z + 26. Let i be c(18). Is (0 - -82) + i/4 a multiple of 32?
False
Suppose -5*b + 21648 = -3*o, 2*b = o + 2*o + 8661. Is 23 a factor of b?
False
Let d(j) = -9*j**2 + j + 33. Let s(q) = 4*q**2 - q - 16. Let v(g) = 2*d(g) + 5*s(g). Is v(-7) a multiple of 35?
True
Let t be (-27)/(-12) - (1 + 14/(-8)). Suppose 5*s - 73 = t*z, -2*z = 3*s - 29 - 30. Is s a multiple of 2?
False
Let c be 7/((10/36)/5). Let p = -75 + c. Is p a multiple of 17?
True
Let g(c) = 47*c. Let q(f) = -2*f - 3. Let d be q(-3). Does 29 divide g(d)?
False
Suppose -10*t - 4320 = -19*t. Does 10 divide t?
True
Let c(h) = -7*h**3 - h**2 - 2*h - 1. Let q be c(-1). Let o(g) = -6 + 3*g**3 - 10*g**2 + 6*g**2 - 2*g**2 + g - 2*g**3. Is o(q) a multiple of 14?
False
Does 61 divide ((-62972)/(-126) - (-2)/9) + 0?
False
Let s = 20 + -16. Suppose 12 = s*n - 0*n. Suppose 0*t - 153 = -n*t + d, d + 3 = 0. Is t a multiple of 25?
True
Let a be -4 + 1*(-3 + 0). Let v(w) = -w - 4. Let u be v(a). Suppose u*h + 7*i - 4*i - 174 = 0, -3*i = h - 66. Is h a multiple of 18?
True
Suppose 0 = -3*d + 4*d. Let q = 122 + -82. Suppose 4*r = d, -3*k + 4*r + q = -44. Is 20 a factor of k?
False
Let q = 563 - 167. Is 33 a factor of q?
True
Let r(w) = w**3 - 4*w**2 - 7*w + 2. Let h be r(5). Let m(n) = n - 17. Let d be m(h). Let b = 41 + d. Is b a multiple of 11?
False
Let p be 135/25 - 2/5. Suppose -2*i = n, -2*n = i - p*n. Suppose i + 192 = 3*q. Is 22 a factor of q?
False
Does 59 divide ((-15)/80*-108)/((-6)/(-32))?
False
Let t(l) = -l**2 - 38*l + 78. Is 12 a factor of t(-32)?
False
Let c(n) = -n**2 + 14*n - 36. Let v be c(10). Suppose 0 = -2*a - u + 305, 0 = 4*a - a + v*u - 465. Does 22 divide a?
False
Let o = 140 - 137. Suppose 0 = 3*w - 2 + 5, 5*s + 5*w - 15 = 0. Suppose -s*k = -o*k - 36. Is 10 a factor of k?
False
Let n = -36 + 154. Is n a multiple of 3?
False
Let n = 567 - 61. Let v = -356 + n. Is v a multiple of 6?
True
Suppose 2*n + 3*b + 973 = 6*n, -262 = -n - 3*b. Is n a multiple of 18?
False
Let l = -283 - -5. Let h = -146 - l. Is 44 a factor of h?
True
Let g = -808 - -2082. Does 49 divide g?
True
Let x(i) = 2*i**2 - 8*i - 9. Does 4 divide x(-5)?
False
Suppose -2*g + 3 = -1. Suppose 2*p + g = 4. Does 9 divide p/((-5)/135*-1)?
True
Let p(h) = 12*h - 3. Let r be p(8). Suppose -5*t = 2*b - 98, -4*b + 4*t = -r - 47. Suppose -4*y = -4, -2*u - 2*y + b = y. Is 9 a factor of u?
True
Is 122 a factor of (122/6)/(((-51)/126)/(-17))?
True
Let q(b) = 5*b**3 - 17*b**2 + 22*b - 11. Does 19 divide q(6)?
True
Let v = 20 - 18. Suppose 0 = 4*b - 4*s + 8, 2*s = v*b + 5*s - 21. Suppose 5*z - 2*p - 80 = b*p, 2*p = z - 20. Is 12 a factor of z?
True
Let n be (-10)/(-45) + 500/18. Let u = n + -10. Suppose 5*z + 10 = 0, -5*v = -z - 9 - u. Is v a multiple of 2?
False
Suppose -15 = 3*n, 89 = 2*y + y + 2*n. Suppose 26 = -4*r - 3*a, 3*r = -2*r - 4*a - y. Does 15 divide 11 - ((-40)/(-2))/r?
True
Let l = 20 - 4. Let z be (l/6)/((-2)/21). Let v = z - -84. Does 27 divide v?
False
Let a(b) = b**2 + 36*b - 98. Does 18 divide a(-43)?
False
Suppose -8 = -5*q + 7. Suppose q*m - 143 = 4*y + 54, m - 69 = 3*y. Is (6/9)/(1/m) a multiple of 6?
True
Suppose 0 = -4*d + 4*d + 5*d. Does 4 divide (-2 + 1)*(d - 10)?
False
Suppose 5*a + 243 = 3*d, -2*a - 3*a = -15. Suppose 2*g = -4*z + d, -7*g + 215 = -2*g - 2*z. Suppose 0 = 4*n + r - g, -n + 3*r + 14 = -0*r. Does 11 divide n?
True
Let m = 70 + -31. Does 3 divide m?
True
Let k(u) = -3*u**3 + u. Let s be k(-2). Let t = 130 + -89. Let x = t - s. Is x a multiple of 14?
False
Let h(g) be the second derivative of g**4/6 - 7*g**3/6 + 9*g. Does 5 divide h(5)?
True
Suppose 0 = 5*b - 8*b + 6. Suppose 0 = m - 3*v + 7, 2*v = -2*m + 4*v - b. Suppose -3*q + 42 = z, -3*z - m*q - 3*q + 110 = 0. Is 14 a factor of z?
False
Suppose -3*p - 12 = 3, -5*q - p = 10. Let y be q - 2 - (-10 + 2). Suppose 3*i + i - 5*f - 315 = 0, -2*f = -y*i 