
Let y be 2/12 - 301/6. Let r = -31 - y. Does 19 divide r?
True
Suppose -134 = -2*s - 28. Suppose 2*q - r + 2 = s, -r = 4*q - 117. Is 8 a factor of q?
False
Suppose k = -3*s + 114, -251 = -4*k + 5*s + 222. Is k a multiple of 39?
True
Let g = 201 - 57. Is 12 a factor of g?
True
Let m = 133 - 95. Suppose 3*v + m = 164. Let n = v + -21. Is n a multiple of 10?
False
Let x(f) = f**2 + 7*f + 2. Let q = -8 - -1. Let m be x(q). Suppose 0 = -2*a - t + m, 2*a - 5*a = -t - 13. Is a a multiple of 3?
True
Let p(r) = -r**3 - 2*r**2 + 8*r + 2. Let i(n) = -n**3 - 2*n**2 + 9*n + 2. Let z(o) = -4*i(o) + 5*p(o). Does 6 divide z(-4)?
True
Suppose -4*j + 694 = 5*n, -2*n - j - 2*j + 279 = 0. Is 17 a factor of n?
False
Suppose 0 = -0*y - 4*y - 140. Let l = y - -79. Is 17 a factor of l?
False
Suppose 2*n + 25 = 3*f + 4*n, 3*f = -3*n + 24. Suppose 39 = 2*b + f. Is 15 a factor of b?
True
Suppose 0 = -5*c + p + 9 + 3, -4*c = 2*p - 4. Suppose -3*f + 34 = c*u + f, 2*u - 36 = -5*f. Is 5 a factor of u?
False
Suppose -3*i + 9*p = 4*p - 2, -p = 2*i - 23. Let f be (-43)/(-3) - 3/i. Suppose 0 = 3*a - f - 19. Is a a multiple of 5?
False
Let u = 5 - 3. Suppose -u*a + 6 = 4*f, 47 - 11 = 5*a + 3*f. Suppose 4*c - 131 - a = 0. Is c a multiple of 12?
False
Let c(f) = -2*f**2 - f + 19. Does 14 divide c(0)?
False
Let c be (-5)/(-6 - -3 - -4). Let k(u) = -u**2 - 8*u. Is 15 a factor of k(c)?
True
Suppose j + 321 = 4*j. Does 6 divide j/15 - (-10)/(-75)?
False
Suppose i = -5*s + 247, 0 = -2*s + 2*i + 25 + 69. Is s a multiple of 7?
True
Suppose 43 = 4*v - 3*m, 3*m + 71 = 5*v + 5*m. Is v even?
False
Suppose 13 = -5*q + 8. Let d = q - -4. Does 2 divide d?
False
Suppose 2*c - 2 = -0. Let o = c - -6. Does 3 divide o?
False
Suppose 0*d - 254 = -4*o + 2*d, -247 = -4*o - 5*d. Is o a multiple of 17?
False
Let d be ((-2)/(-6))/((-4)/(-228)). Suppose o = 9 + d. Is 16 a factor of o - (-5 + 2 + 0)?
False
Let g = 11 - -2. Does 4 divide g?
False
Suppose q + 55 = -2*r, 4*r = -7*q + 3*q - 200. Does 17 divide (q/(-2))/((-2)/(-4))?
False
Suppose -4*m - 2*n + 148 = 0, m + n - 35 - 1 = 0. Is 21 a factor of m?
False
Let v(h) = -15*h - 64. Does 45 divide v(-22)?
False
Suppose 3*v = -v + 56. Is (v/3)/((-4)/(-12)) a multiple of 7?
True
Suppose 2*a + 0*k - 98 = -2*k, 4*k - 8 = 0. Let y be -1 + (0 - -2) + 4. Suppose y*f - 232 = -a. Is 16 a factor of f?
False
Suppose 4*w = 2*k + 46, 0 = -w - 3*w - 3*k + 51. Is 3 a factor of w?
True
Suppose 0 = -4*t - 0*t + 376. Suppose -6 - t = -4*z. Does 6 divide z?
False
Let v(y) = -3*y - 13. Let k(x) = 13*x + 51. Let r(l) = -2*k(l) - 9*v(l). Is r(-8) even?
False
Let d(j) = 3*j**3 - j**2 + j - 1. Let t be d(1). Let f(y) = 3*y**2 - 2*y - 1. Is 7 a factor of f(t)?
True
Suppose 2*l - 4*l = -60. Is l even?
True
Let h be (-1)/(3 - 116/38). Let u = 32 + h. Is u a multiple of 20?
False
Let o = -27 + 10. Let l = 1 - o. Is l a multiple of 9?
True
Let a = 11 - 43. Let j = 54 + a. Is j a multiple of 14?
False
Let q(x) = 5*x**2 - 1. Let c be q(-4). Let y = c + -52. Is y a multiple of 27?
True
Let v = -149 + 89. Let p(l) = l**3 - l**2 - l + 84. Let x be p(0). Let j = v + x. Is 10 a factor of j?
False
Let k = 36 - 29. Is k a multiple of 4?
False
Suppose 0 = -4*h + 8*h - 16. Suppose 3*u = h*u - 5*o - 69, 83 = 2*u + o. Does 22 divide u?
True
Let x(d) = 4*d**3 + 2*d**2 + 3*d - 1. Let h(l) = -11*l**3 - 5*l**2 - 9*l + 3. Let a(u) = -3*h(u) - 8*x(u). Is 13 a factor of a(3)?
True
Is (132/22)/((-3)/(-10)) a multiple of 10?
True
Let h = 13 - 21. Let l = h - -14. Is l a multiple of 3?
True
Suppose 5*r = 4*k - 28, 3*k - 4*r - 16 = r. Is k a multiple of 4?
True
Suppose -150 = -2*t + 4*j, 2*t + 0*t = 3*j + 154. Is t a multiple of 27?
False
Is 2 a factor of (-4 - 20)/(-3) - 0?
True
Let z(d) = 2*d**2 - 7*d + 10. Let x(m) = m**2 - 7*m + 10. Let b(h) = 3*x(h) - 2*z(h). Let i(l) = -l**3 + 8*l**2 + 9*l - 7. Let r be i(9). Does 5 divide b(r)?
True
Let y be 6/(-4)*12/(-9). Suppose -q = -y*q - 2. Let p = q - -12. Is p a multiple of 10?
True
Let d be 321 + 4/2 + -3. Suppose -142 = -6*x + d. Is x a multiple of 11?
True
Let c be (-4)/(-10) - (-28)/5. Suppose -c + 2 = -2*h. Is 7 a factor of h*((-34)/(-4) + -1)?
False
Let f be (-16)/(-6) + 10/(-15). Suppose -3*o + f*o = 16. Let j = -10 - o. Does 4 divide j?
False
Let j be 1 + 1 - (0 + -2). Suppose -2*q + j = 4*y, -1 = 4*y + 5*q + 7. Suppose 2*c - 4*s + 104 = 7*c, 4*s + 56 = y*c. Is c a multiple of 10?
True
Is 6 a factor of (108/5)/((-48)/(-160))?
True
Suppose 54 = u + 2*u. Let r be 1 - 3/(3/(-2)). Suppose h = r*h - u. Is 5 a factor of h?
False
Let y be 278/6 + (-2)/6. Suppose y = 4*w + 6. Is 10 a factor of w?
True
Suppose -p = x + 5, 4*x - 1 = -13. Let m be 4 - -1*(3 + p). Suppose -3*j + 10*n = 5*n - 109, -j = m*n - 3. Is j a multiple of 14?
True
Suppose -10 = 3*j + 2*j. Let g be (j - -2)/1*1. Suppose g = 5*p - 52 - 33. Does 8 divide p?
False
Is ((16 - 0) + (-1)/1)*25 a multiple of 25?
True
Suppose 0 = s - 53 - 63. Does 58 divide s?
True
Suppose 0 = 8*n - 4*n - 8. Suppose r + 5*h = 61, -2*h = n*h - 20. Does 12 divide r?
True
Suppose 0 = -2*s + 6*s + 776. Is 13 a factor of s/(-5) - 4/(-20)?
True
Let x(w) = -10*w - 4. Suppose -5*t + t - 12 = 0. Is x(t) a multiple of 13?
True
Let s = -16 - -78. Suppose 4*u = s + 18. Is 10 a factor of u?
True
Let x(q) = -q + 1. Let k be x(-3). Let l be (-34)/(-8) + (-1)/k. Is 15 a factor of l/3*21 - -2?
True
Let x be -3 + (46 - -3 - 1). Does 14 divide 236/9 + (-10)/x?
False
Suppose 0 = -s + 123 + 102. Does 45 divide s?
True
Suppose 0 = -13*a + 12*a + 40. Is 5 a factor of a?
True
Let y = -41 - -58. Does 17 divide y?
True
Let y = -5 - 41. Let v = y + 106. Does 20 divide v?
True
Suppose 2*p - 89 - 175 = 0. Is 22 a factor of p?
True
Suppose 4*z - 369 = -109. Does 21 divide z?
False
Let a(u) = u**3 - 5*u**2 - 5*u - 8. Let m be a(6). Let k be ((-36)/10)/(m/10). Does 9 divide 12/k*(37 - 1)?
False
Suppose -z + 9 = 2*z. Suppose 1 - 9 = -2*f, z*m = -f + 16. Suppose w - 55 = -3*w + o, 4*o - 60 = -m*w. Is 7 a factor of w?
True
Let k be (-2)/(-7) + (-3138)/(-42). Is (-3)/(-2 - k/(-42)) a multiple of 7?
True
Let i(k) = 4*k - 9. Let h be i(6). Let m = 18 + h. Does 13 divide m?
False
Let f = -5 + 9. Let q be f/(-14) + (-27)/(-21). Is (3/(-1))/(q/(-11)) a multiple of 12?
False
Let g be (-1)/(-2) + (-39)/6. Is 10 a factor of 82/4 + 3/g?
True
Let i(b) = -7*b + 4. Let x be i(-3). Is 1/2 + x/2 a multiple of 6?
False
Suppose 6*w - 2*w - 56 = 0. Suppose g = -2*i + 4*i + w, 2*g = -5*i - 17. Suppose 5*p - 37 = 4*u + 32, 16 = g*u. Is 8 a factor of p?
False
Suppose -20 - 37 = 3*g. Let s = g + 75. Does 30 divide s?
False
Let r(q) = -q**2 + 6*q - 7. Let n be r(-7). Does 10 divide n/(-6) + (-2)/6?
False
Let x = 39 - 11. Is 28 a factor of x?
True
Suppose 3*u = -4*a + 93, 3*u - 114 = 4*a - a. Does 12 divide u?
False
Let m be (0 + 0)/(-1 - -3). Suppose 5*a = -5*v + 135, m*a + v + 39 = 2*a. Suppose -y + 4*i + a = 0, 5*i + 14 = y - 9. Is y a multiple of 6?
True
Let p be (2/(-4) - 1)*-4. Let h = p - -4. Is h a multiple of 9?
False
Is 14 a factor of (-102 + (3 - 0) - -1)/(-1)?
True
Suppose x - 528 = -2*x. Suppose x - 41 = 3*z. Is 10 a factor of z?
False
Suppose -4*f = -3*f - 6. Suppose -d - 60 = -f*d. Does 6 divide d?
True
Let n(c) = -c**3 + 4*c**2 - 2*c - 2. Let q be n(2). Let u = 312 - 122. Suppose -3*o = q*o - u. Does 19 divide o?
True
Suppose 3*a - 887 = 4*b, 0 = -3*a - 2*b + 4*b + 895. Is 38 a factor of a?
False
Let g(i) = -i + 5. Let x be g(0). Let l = 9 - x. Let f(m) = 3*m - 2. Is 7 a factor of f(l)?
False
Suppose -2*q - 144 = -6*q. Is 12 a factor of q?
True
Let v be (-205)/(-6) + 9/(-54). Let g = 75 - v. Is g a multiple of 10?
False
Let n = 17 - 6. Is n even?
False
Let f(s) = -s - 2. Let a be f(-3). Let z = -1 + -10. Does 10 divide z/(a*2/(-2))?
False
Let q = 50 - 34. Let r = q + -5. Is 11 a factor of r?
True
Suppose 0 = r - 5*r - 20. Let n be (-2 - r - 2)*-1. Let i = n + 54. Is 19 a factor of i?
False
Let f = -8 + 13. Suppose -3*w + 7 = -f. Is 3 a factor of w?
False
Let r be 148 - ((-2 - 2) + 2). Suppose 3*o - r = -51. Suppose -67 = -5*q + o. Is q a multiple of 10?
True
Suppose 5*d + 4 = -1. Let u = d - -9. Let w = u + 26. Is 17 a factor of w?
True
Suppose -o = 3*d - 0*o - 31, 4*d = -2*o + 44. Let x = d + 19. Does 14 divide x?
True
Suppose 5*f = 12 + 23. Let a = f -