Is f(x) a multiple of 30?
True
Let k = -3 - -12. Does 2 divide k?
False
Is (-4)/((-168)/4542) - (-2)/(-14) a multiple of 9?
True
Suppose -4*o + q + 0*q + 96 = 0, -q + 72 = 3*o. Is 5 a factor of o?
False
Let u = 59 + -24. Is 7 a factor of u?
True
Let c be 3*(8/6 - 0). Let l(u) = -u**3 - u**2 - 6*u + 4. Let x be l(c). Is 2/9 + x/(-36) a multiple of 2?
False
Suppose 31*t + 3600 = 46*t. Is t a multiple of 10?
True
Let o = -4 + 7. Let b = 19 - -1. Is 5 a factor of (75/b)/(o/8)?
True
Suppose 6*s = 2*s + 8. Suppose 0 = -s*h + 155 + 5. Let x = h + -56. Is 12 a factor of x?
True
Suppose 2*t - 5*t - 24 = 0. Let f = 2 - t. Is 5 a factor of f?
True
Let r(k) be the second derivative of -k**6/360 - k**5/12 - 5*k**4/24 + k**3/3 - 2*k. Let f(y) be the second derivative of r(y). Does 8 divide f(-6)?
False
Let n(x) = -x. Let y be n(2). Let l = y - -4. Suppose l + 18 = h. Does 10 divide h?
True
Does 11 divide 123 + 63 + (1 - (0 + 0))?
True
Let a = 80 + -46. Let m = a - 23. Does 11 divide m?
True
Let m(p) = 2*p**3 - p**2 + 2*p - 1. Let a be m(1). Suppose -a*g - g = -15. Suppose 0 = h - 4 - g. Is h a multiple of 4?
False
Let d(z) = -z**3 + 5*z**2 - 5*z + 2. Let t be d(3). Suppose -4*i = -13 + t. Is 2 a factor of i?
True
Suppose 4*y - 214 = 5*v, -3*v = -y + 2*y - 62. Is y a multiple of 8?
True
Let w(f) = -2*f. Let x = -15 - -12. Is w(x) a multiple of 3?
True
Is 5/10 - 125/(-2) a multiple of 21?
True
Suppose -2*b + 4*f = -10, -3*b - 3*f - 18 = -8*b. Let v = 11 + b. Is v a multiple of 12?
False
Let r(z) = z**2 + 9*z - 12. Let i be r(-10). Let a(f) = 11*f**2 + f + 2. Does 22 divide a(i)?
True
Let p(u) = 4*u - 10. Suppose 2 = n - 2. Is 6 a factor of p(n)?
True
Suppose -5*x + 25 = -2*z, 8 = 5*x + 5*z - 17. Suppose -3*m = -5*q + 54, -q + x*m + 2 = -0. Is 4 a factor of q?
True
Let k(g) = -g + 5. Let s be k(6). Is 3 a factor of 70/21 + s/3?
True
Let k(i) = 3*i**2 - 5*i + 3. Let d(f) = f**2 - 1. Let s(g) = -2*d(g) + k(g). Let y be s(5). Suppose -20 = -y*a + 5. Is 2 a factor of a?
False
Suppose -2*u + 10 = 0, -2*g + 5*u + 760 = -7*g. Let v = g - -252. Suppose 25 - v = -5*x. Is 14 a factor of x?
True
Let g = 3 + -3. Let l = g + 5. Let d = 14 - l. Is 9 a factor of d?
True
Suppose -2*p + 87 + 199 = 0. Let y = 208 - p. Is y a multiple of 11?
False
Let y(n) = 31*n - 57. Is y(5) a multiple of 49?
True
Let g(l) = -2*l - l + 5*l**2 + 4*l. Let q be g(-1). Suppose -5*y + 79 = -0*y - z, -3*y + q*z = -61. Is y a multiple of 10?
False
Suppose 21 = 6*t - 87. Is 16 a factor of t?
False
Let z = -42 - -89. Does 10 divide z?
False
Let n(d) = d**2 - 2*d - 3. Let x be n(4). Suppose q - 14 = 3*a + 19, q + x*a = 41. Suppose 0 = v + 3*v - q. Is 4 a factor of v?
False
Let i(q) = q + 24. Let m = -3 + 3. Let t be m/(0 + 2 + 0). Is i(t) a multiple of 9?
False
Let l = 12 - 20. Let d = l + 14. Suppose -q + 1 + d = 0. Is 3 a factor of q?
False
Let n(d) = d + 27. Is n(0) a multiple of 18?
False
Suppose 0 = -4*p - 2*v + 300, 65 = 2*p - 3*v - 85. Is 25 a factor of p?
True
Let m(z) = -z**2 + 3*z + 5. Let o be m(5). Let b = o - -9. Suppose -20 = -b*j, -s + j - 8 = -j. Is 2 a factor of s?
True
Let y(g) = g**2 - 8*g + 7. Let c be y(7). Suppose 2*q + c*q - 108 = 0. Suppose 5*r - q = 2*r. Is 18 a factor of r?
True
Let c = 52 + -81. Let n(s) = 23*s + 1. Let o be n(-2). Let u = c - o. Is 8 a factor of u?
True
Let v(k) = 4*k**2 - 4. Is v(-3) a multiple of 32?
True
Suppose -b = -2 + 3. Let u = 4 - b. Suppose -u*i + 188 = 38. Is 15 a factor of i?
True
Let v(o) = -7*o**3 + o**2. Let t be 3 - (-1)/(2/(-8)). Let f be ((-4)/(-4))/(t/1). Is 3 a factor of v(f)?
False
Does 15 divide (-4026)/(-88) - (-6)/(-8)?
True
Is 2 a factor of 3/(35/(-25) - -2)?
False
Let f(i) = -i**2 - 17*i - 4. Is f(-16) a multiple of 11?
False
Let u be 24/18 + (-2)/(-3). Suppose u + 22 = 3*b. Does 3 divide b?
False
Let a(g) = g**2 + 3*g + 4. Let t be a(-4). Let p(o) = 5 + 1 + 3*o + o**2 - 9*o. Does 9 divide p(t)?
False
Let k(p) = -2*p - 4. Is 8 a factor of k(-6)?
True
Suppose 276 = 4*h - 5*k, 58 = 2*h - h - 4*k. Suppose 2*y = 4*y - h. Is y a multiple of 11?
False
Let p(g) = -g**2 + 8*g - 7. Let z = 4 - 5. Let v be 3 + (-2 - (-5 - z)). Does 8 divide p(v)?
True
Suppose 862 = -10*p + 2222. Is p a multiple of 34?
True
Let y(u) = u**2 - 4*u + 4. Let f be y(4). Let k = f + 1. Is k a multiple of 2?
False
Let j(k) = -10 + 2*k**2 + k - 6*k - 3*k. Suppose z + 17 = 2*z - 3*m, 5*z - 55 = 5*m. Does 21 divide j(z)?
False
Suppose 4*o - 5*u + 72 = 0, -4*o + 41 = -u + 113. Is (-4)/(-18) - 374/o a multiple of 7?
True
Suppose 4*a - 132 = -2*i, 0*a = 5*i - 4*a - 330. Let x = i - 45. Is x a multiple of 7?
True
Let n(l) = 14*l - 40. Is 15 a factor of n(4)?
False
Let t(l) = l**2 - 5*l + 21. Does 21 divide t(-9)?
True
Suppose 0 = -0*l + 5*l. Suppose 0*r + 3*m = 4*r - 56, -3*r + 5*m + 31 = l. Is 7 a factor of r?
False
Suppose 3*z - a - 5 = 0, -2*z - 2*z + 6 = -2*a. Suppose 5*p + 69 = 2*t, -z*t - 2*p + 17 = -31. Is 12 a factor of t?
False
Suppose 0 = 2*q - 2*l - 12, -4*q - 3*l = -5*l - 20. Let d be (-1 + 2)/(q/12). Is d + 4 + (-3)/3 even?
True
Is (5/(125/390))/((-1)/(-5)) a multiple of 4?
False
Suppose -58 = -u + 2*a, 0 = -5*u + 2*a + 344 - 38. Suppose 2*v + 2*g - 28 = 0, -u = -3*v + 3*g - g. Is 9 a factor of v?
True
Is (35 - (3 + -2)) + 3 a multiple of 12?
False
Suppose 3*p - p + 2*r = 200, 2*p - 3*r = 195. Is 26 a factor of p?
False
Suppose 81 = -4*s - 119. Is -1*1/2*s a multiple of 9?
False
Let w be ((-9)/3)/((-6)/4). Let h = w - 0. Does 2 divide h?
True
Let i(j) = 2*j**2 + 4*j + 2. Does 10 divide i(4)?
True
Suppose -3*j + 0*j - 12 = 0. Let l(h) = -h**2 - 4*h + 2. Let b be l(j). Suppose 2*r = -b*d, -2*d - 3*r + 4*r = -12. Is d a multiple of 4?
True
Suppose 0 = 4*i + 3*l - 171, 0*i - 3*i = 3*l - 126. Suppose 15 = 3*y - i. Is 11 a factor of y?
False
Let y = 14 - 10. Let w be 119/35 - (-2)/(-5). Suppose -3*l + y*m + 31 = 0, -5*m - 30 = -w*l + l. Is l a multiple of 5?
True
Let m = 16 + -11. Suppose -m*o - 275 = -0*l - 5*l, 4*l - 208 = o. Is l a multiple of 17?
True
Let n(c) = c**2 - 6*c + 6. Is 8 a factor of n(9)?
False
Suppose 0 = 2*o - 0*o + 4. Let s(r) = 10*r**2 - r - 1. Is s(o) a multiple of 9?
False
Suppose -4*b - 16 = -k, -4*k + 2*k - 12 = 3*b. Suppose 4*j - 23 = -o - 2*o, k = 5*j - 3*o + 5. Suppose 0 = -v + j*q + 38, 235 = 7*v - 2*v - q. Does 18 divide v?
False
Let b = 93 + -64. Is b a multiple of 15?
False
Let z(o) = o**2 - o - 4 + 4*o**2 - 5*o + 2*o. Does 21 divide z(4)?
False
Suppose 0*b + b - 130 = 0. Suppose -2*o - 3*d + 96 = 40, -4*o + 3*d + b = 0. Let n = o - 8. Is n a multiple of 11?
False
Let h = 13 + -2. Is h a multiple of 11?
True
Suppose 3*a - 4*a - 86 = 0. Let o = a + 161. Let k = -51 + o. Is k a multiple of 12?
True
Suppose i + 13 = -3*o, -2*o - 26 = -3*i + 2*o. Let m(u) = i - 11*u - 2 + 0. Is 4 a factor of m(-1)?
False
Let u(s) = s**3 - 5*s**2 + s - 4. Let l be u(5). Let r(j) = 2 - j - l - 2 + 5*j. Is r(2) a multiple of 7?
True
Suppose -l + 5*l - 450 = -5*z, 2*l = 0. Suppose 7*y - 2*y = -z. Is 8 a factor of (-374)/(-18) + (-4)/y?
False
Let r = 114 - 66. Does 18 divide r?
False
Let r(b) = -2*b**3 + 2*b**2 + b. Let s be r(-1). Suppose s*w - 116 = -5*k - 0*k, 4*w = 3*k - 58. Is 11 a factor of k?
True
Let c(j) = j**3 - 6*j**2 + 2*j - 7. Let s be c(6). Suppose s*h = -d + 7, d + 9 + 0 = 3*h. Suppose h*z = -2*p + 58, -2*z + 5*p = -29 - 22. Does 13 divide z?
False
Suppose -2*d = -12 - 4. Suppose 4*o - d = -2*g, -5*g + 3*o = -50 - 22. Let y = g - 0. Does 12 divide y?
True
Let z be -5*1*(-42)/10. Suppose a + z = -2*a. Let n(g) = -5*g - 3. Does 16 divide n(a)?
True
Let i be (0 - 7)/(4/(-4)). Suppose -i = -4*p + 17. Is p a multiple of 4?
False
Does 13 divide (-3 - 69/(-6))*2?
False
Suppose -5*i + i + 80 = 0. Does 5 divide i?
True
Let l = -4 + 8. Let p = -10 + 40. Suppose p = l*n - 2*n. Is 5 a factor of n?
True
Let n(v) = 19*v + 3. Let r be n(6). Is (44/(-6))/((-26)/r) a multiple of 18?
False
Suppose -3*y - 1 = -52. Does 17 divide y?
True
Let f be 387 - (3 + 4 + -4). Suppose -4*a - q + 369 = 0, 0*a = -4*a + 4*q + f. Is 25 a factor of a?
False
Let d(q) = -q**3 + 4*q**2 - 2*q - 3. Let u be d(3). Suppose o = -3*y - o + 19, 3*o - 18 = -y. Suppose u + y = k. Is 3 a factor of k?
True
Suppose 3*d = 17 + 142. Does 24 divide d?
False
Suppose -467 = -5*t - 122. Suppose 2*w 