. Suppose -2 = -s - 2*t + 7, a*s - t = 27. Is v(s) a multiple of 4?
False
Let o = -29 + 18. Let p = o - -19. Suppose -4*n = z - p, -2*n = -4*n. Is z a multiple of 8?
True
Suppose k + 237 = 4*j - 0*k, j - 2*k - 54 = 0. Let x = j + 23. Is 24 a factor of x?
False
Suppose 4 = -2*m - 2*w, -2*m = -m + 4*w - 4. Let l = 6 + m. Suppose l*o - 26 = -z, o = 4 - 0. Is z a multiple of 9?
True
Suppose 7*i - 3*i = 72. Suppose 4*v - i = 2*v. Suppose 60 = 3*a + 4*b, a - 5*b + v = 29. Is 13 a factor of a?
False
Let f = 33 + 17. Suppose f = -4*d - 14. Let b = d - -26. Does 10 divide b?
True
Does 12 divide (2/2 + 83)*180/105?
True
Let g be -2 + 1 - (4 + -5). Suppose 74 = -g*f + f + 2*r, -4*r = -5*f + 440. Does 16 divide f?
False
Let n = -27 + 32. Suppose y + 19 = 2*y + 3*o, 0 = -n*o. Does 19 divide y?
True
Let w = -10 + 22. Let n = 31 - w. Is n a multiple of 19?
True
Suppose 0 = -m - m + 2. Suppose -5*g = -2*b - 25, -2*g + b - 2*b + m = 0. Suppose -5*w + g*j + 37 = -4*w, -167 = -5*w - 3*j. Does 17 divide w?
True
Suppose 2*h + v = -0*v + 225, v = h - 117. Suppose 0 = -k - 5*d + 42, -6*k + 2*k - 2*d = -h. Is k a multiple of 7?
False
Let g(a) = -a**2 - a + 6. Let w be g(0). Suppose -5*v = -3*c - 79, 3*c + 0 - w = 0. Is 16 a factor of v?
False
Let d(w) = -2*w - 4. Let z be d(-3). Let x be (-5)/15 + 8/(-3). Is x + z + (3 - -36) a multiple of 12?
False
Suppose 0 = 5*j + 4*d + 39, 2 + 8 = -2*j + 4*d. Is 12 a factor of (12/(-10))/(j/210)?
True
Suppose -6*u - 78 = -3*u. Let w = 39 + u. Does 6 divide w?
False
Suppose -100 = -4*s + 4*p, -5*s + 4*p + 26 + 102 = 0. Suppose 3*o + s = 5*o. Does 12 divide o?
False
Let j = 1 + 2. Suppose -2*f + f = j*c - 163, 257 = 5*c - 2*f. Is c a multiple of 11?
False
Suppose 9 - 1 = 4*h. Suppose -2*n = h*n - 32. Suppose 0 = 2*f - 6 - n. Does 7 divide f?
True
Suppose -5*i + 185 = -205. Does 26 divide i?
True
Let r(i) = -i**3 + 2*i**2 + 2*i + 4. Suppose -2*o = -2*m - 4 + 2, 25 = 3*m + 4*o. Let y be r(m). Let q = y + 7. Is 8 a factor of q?
True
Let b(j) = j**3 + j**2 + j + 1. Let k be b(-2). Let o = -73 - -74. Let s = o - k. Is s a multiple of 5?
False
Does 10 divide 59/(2 - -1 - 2)?
False
Let k(n) = n**2 - 10*n - 2. Let f be k(8). Let v = 34 + f. Suppose -x - v = -5*x. Does 4 divide x?
True
Let j = 72 + -43. Does 10 divide j?
False
Is 13 a factor of (-52)/(-4*5/10)?
True
Let b(t) = -2*t**2 + 7*t + 6. Let o be b(7). Let s = o + 76. Does 9 divide s?
False
Let o = -8 - -7. Let a = 9 + o. Let x = a + 30. Is 18 a factor of x?
False
Let m(o) be the first derivative of -o**4 - o**2/2 - 1. Let b be m(-1). Suppose b = 2*l - 3. Is l even?
True
Suppose -3*v = -398 - 217. Is v a multiple of 41?
True
Suppose 2*j = 4*j + 16. Let m = -5 - j. Suppose -2*k + 14 = -5*d - 4, -m*d - 22 = -4*k. Does 2 divide k?
True
Let c = -47 + 67. Does 3 divide c?
False
Does 26 divide 2814/18 - (-4)/(-12)?
True
Suppose -3*z + r + r + 9 = 0, -14 = z + 5*r. Suppose -2*c - z + 5 = 0. Suppose 0 = 3*g + c*g - 115. Is g a multiple of 14?
False
Suppose 4*g = 2*g. Suppose g*j + j = 9. Is j a multiple of 7?
False
Let j(r) be the third derivative of 7*r**4/24 + r**3/3 + 5*r**2. Is j(3) a multiple of 22?
False
Let l = 149 + -62. Is 29 a factor of l?
True
Suppose 37 = 4*o - s, 0 = 2*o - 4*o - 4*s + 14. Let v(z) = -z**3 + 8*z**2 + 12*z + 3. Is 9 a factor of v(o)?
False
Let y = 110 + 21. Is y a multiple of 63?
False
Suppose 2*q + 44 = 118. Suppose -19 - q = -4*j. Is 7 a factor of j?
True
Let v(h) = h**2 - h + 10. Let q be v(0). Suppose d - 4*w = 2*d - q, -d + 2*w = -10. Is d a multiple of 5?
True
Does 8 divide 92/(-8)*1*-2?
False
Let k(o) be the first derivative of -o**4/4 - 7*o**3/3 + o**2 + o + 2. Let z be k(-7). Let q = z - -29. Is q a multiple of 16?
True
Let j = -41 + 80. Is j a multiple of 13?
True
Suppose -136 + 40 = -3*j. Is j a multiple of 16?
True
Suppose 3*b = -2*b. Is 10 a factor of (6 - (-2 + b))*5?
True
Suppose 3*j - 4*j = -58. Let w = -28 + j. Is w a multiple of 13?
False
Let g = -7 - -10. Let c be (-15)/(g/12*-3). Suppose -z = 3*p - c, -p - 2*p + 5 = -2*z. Does 2 divide p?
False
Suppose 4*t + 5 = 25. Suppose 375 - 85 = t*g. Suppose -2*s + 3*s + g = 2*n, -20 = 5*s. Does 10 divide n?
False
Suppose -37 = -4*r + 5*n + 16, 1 = 3*r + 4*n. Is 3 a factor of r?
False
Let h(f) = f + 3. Does 2 divide h(3)?
True
Suppose 3 = 6*a - 267. Is 9 a factor of a?
True
Let h(y) = -y**3 + 7*y**2 + 7*y + 3. Is h(6) a multiple of 27?
True
Let w(o) = -3*o + 12. Is 14 a factor of w(-8)?
False
Suppose 0 = -27*t + 19*t + 1040. Does 13 divide t?
True
Let d = -35 - -107. Is d a multiple of 36?
True
Is (2/3)/((-24)/(-612)) a multiple of 5?
False
Let v be 2/(-2)*0 - -10. Let h be 14/6 - v/(-15). Suppose 78 = h*d + 24. Is 9 a factor of d?
True
Let x = 22 - 14. Let i = 2 + x. Does 10 divide i?
True
Let m(h) = 38*h - 22. Is 12 a factor of m(5)?
True
Let n(j) = -j**3 + 4*j**2 + 4*j - 2. Let q(g) = -g - 3. Let r be q(-6). Let f(y) = y**3 - 3*y**2 - 5*y + 2. Let k(a) = r*f(a) + 4*n(a). Is k(7) a multiple of 3?
False
Suppose -4*f + 135 = 2*a - a, 2*a = f - 36. Is 17 a factor of f?
True
Suppose -2*q = -q - 8. Let l = -2 + q. Suppose 3*x = l*x - 12. Does 2 divide x?
True
Let l = -108 + 62. Let f = -57 - -124. Let t = f + l. Does 11 divide t?
False
Let r(n) = -n**3 + 7*n**2 - 5*n - 4. Let q be r(6). Suppose 5*k = -q + 132. Does 13 divide k?
True
Let m(h) be the first derivative of -h**2/2 + 5*h + 2. Let v be m(-5). Let l(j) = j - 4. Is l(v) a multiple of 3?
True
Let u(l) = 5*l**3 - l**2 + l. Let t be u(1). Let n(f) = 2*f - 4. Let k be n(3). Suppose t*x - 42 = -k. Is 3 a factor of x?
False
Suppose -5*t + 27 = i, -4*t + 5*t + 5 = 5*i. Suppose -2*u - i*u + 8 = 0. Suppose 7*j - 150 = u*j. Is j a multiple of 15?
True
Let q(t) = 4*t - 2. Let z(p) = p**2 + 5*p + 6. Let s be z(-5). Let b be q(s). Is 11 a factor of (-3)/(-2)*b/3?
True
Let b(c) be the third derivative of c**4/24 + 11*c**3/6 + 2*c**2. Let p be b(0). Suppose -m + 4*n + 14 = -p, 0 = 2*m + 4*n + 10. Is 2 a factor of m?
False
Suppose 2*w = 6*w, -i + 4*w + 3 = 0. Suppose 3*b = -2 - 10, -97 = -i*t - 5*b. Does 13 divide t?
True
Is 5 a factor of 2/4 - (3498/12)/(-11)?
False
Let u be 59/7 + (-8)/(-14). Let m = 2 + u. Does 9 divide m?
False
Let y be (-1*2 - -4) + 5. Suppose -2*d - d + 5 = w, 0 = 5*d + 3*w - y. Suppose -d*v + 46 = 20. Is v a multiple of 13?
True
Let j = -11 - -9. Is (3/j)/(18/(-528)) a multiple of 13?
False
Suppose 2*c - 5*z = 1, 5*z = -2*c + 25 + 26. Suppose 0 = 2*l - 2*j - 20, 0*l + 4*j = l - c. Is 9 a factor of l?
True
Let a(q) = -q**2 - 14*q - 2. Let p be a(-7). Suppose y = 5*w - 0*y - p, -2*w = -3*y - 11. Is 5 a factor of w?
True
Suppose -5*j = -4*f + 229, -f + 7*j = 6*j - 58. Is 36 a factor of f?
False
Suppose 0*g + 4*j + 42 = 3*g, -3*g - 3*j + 63 = 0. Let w = 4 + g. Does 11 divide w?
True
Let h(q) = -q**2 + 12*q - 15. Let c be h(10). Suppose 5*l = -3*v, 45 = -c*v + 4*l + 8. Is 13 a factor of (-132)/(-3) - (-2 - v)?
False
Suppose 3*f + 23 = -4*r, 5*r + f = 20 - 57. Let h(l) = l**2 + 3*l - 10. Is 15 a factor of h(r)?
True
Suppose x - 283 = -3*n + 2*x, -3*n - 4*x + 263 = 0. Suppose 3*h = 3*z - n, 11 - 1 = -5*h. Is z a multiple of 29?
True
Suppose 4*t = -3*g + 53 + 20, 3*g - 4*t = 65. Is 23 a factor of g?
True
Let w(x) = -x**2 + x + 3. Let d be w(0). Let l(q) = 4*q**3 - q**3 - 4*q**d + 6 + 5*q - 3*q**2. Is 13 a factor of l(-5)?
False
Suppose 755 = 9*y - 4*y. Is 14 a factor of y?
False
Let v(c) = 2*c - 13. Let b be v(9). Suppose 2*u - 5*t = 41, -u - b*t + 17 + 26 = 0. Is u a multiple of 14?
True
Suppose -2 = -3*d - n - 1, -2*n = -4*d + 18. Suppose 2*p - 35 = 4*o - 5, 0 = -2*p - d*o. Suppose -p*j + 98 = 3*y, 3 = -4*j + 19. Is y a multiple of 13?
True
Let y be (2 - 3)*(0 - -5). Let k(b) = -b**3 - 3*b**2 + 4*b + 2. Is k(y) a multiple of 16?
True
Let d = -2 + 13. Does 3 divide d?
False
Let l(i) = 11*i - 3. Does 15 divide l(3)?
True
Is 149/4 - 12/(-16) a multiple of 34?
False
Let n(c) = -c**3 - 3*c**2 + c - 2. Let a(m) = -5*m**3 + m**2 - 1. Let l be a(1). Is n(l) a multiple of 21?
False
Let b = 53 - 32. Is 12 a factor of b?
False
Suppose 18*i = 22*i - 280. Is i a multiple of 7?
True
Let n(v) = -2*v - 5. Is 3 a factor of n(-6)?
False
Suppose -5*p + 309 + 221 = 0. Suppose 0 = 3*c + 2*k - 153, -98 - p = -4*c - 4*k. Suppose 3*t - 3*f = -0*f + c, 3*t = -3*f + 2