
False
Is (-1 - 0)/(((-28)/460)/7) a multiple of 23?
True
Is 2 a factor of (1 - 5)/(-3*(-3)/(-9))?
True
Suppose -u = u - 52. Suppose -5*n + 2*o = 59, n + 3*n + 67 = -5*o. Let t = n + u. Is 10 a factor of t?
False
Let t = 50 + -36. Is t a multiple of 14?
True
Let r(o) = -o + 1. Let l be r(9). Let i be (l/(-3) - 3)*-12. Let n(x) = x**2 - 3. Does 4 divide n(i)?
False
Suppose g - 5*q - 107 = 0, 5*g - 3*q = 501 - 10. Does 13 divide g?
False
Suppose 0 = -l + 5 + 25. Is 10 a factor of l?
True
Let n(i) = i**2 - 13*i - 26. Is n(17) a multiple of 14?
True
Suppose 0 = -4*z + 4, 4*a - 5*z = 60 + 35. Let u be (-3)/(-6) - 3/2. Let j = a + u. Is j a multiple of 18?
False
Let b(t) = -t**3 - 4*t**2 + 6*t + 7. Is b(-7) a multiple of 7?
True
Let m be (-1)/(-4) - (-53)/(-4). Let q(b) = -16*b + 4. Let i be q(-3). Let o = i + m. Is o a multiple of 17?
False
Let b(f) be the second derivative of 5*f**3 - 3*f - f**3 + 2*f. Does 9 divide b(1)?
False
Let f be (-2)/7 - (-184)/7. Let u = f - 12. Is u a multiple of 5?
False
Suppose 3*b = -2*m + 60, 3*m + 2*m - 137 = -b. Is 5 a factor of m?
False
Suppose 2*x - 319 = -2*w + 97, 3*w = -5*x + 1046. Is 13 a factor of x?
False
Let x be 1 - 0 - (3 - 6). Suppose 3 = -x*o + 15. Is 2 a factor of o?
False
Let u = 0 + 0. Let c be 6/(-4)*(-8)/3. Suppose u = -m - c*m + 70. Does 7 divide m?
True
Let h = -92 + 552. Suppose -2*b - 3*a = 207, -5*a + h = -5*b - a. Is 12 a factor of ((-2)/4)/(2/b)?
True
Suppose 0 = -17*d + 19*d - 64. Does 8 divide d?
True
Let h(c) = -c**2 - 2*c + 2. Let p be h(-4). Let z be ((-20)/p)/((-2)/(-3)). Suppose -z*l + 6*l = 15. Does 7 divide l?
False
Is 9 a factor of (-1)/2 - 182/(-4)?
True
Let v = 10 - 16. Is ((-4)/v)/((-1)/(-18)) a multiple of 12?
True
Let r(s) = -s**3 + 15*s**2 - 11*s + 10. Does 17 divide r(14)?
False
Let h = 533 + -317. Suppose 0*t + h = 4*t. Suppose 7*c - t = 4*c. Is 9 a factor of c?
True
Let h(i) = -7*i - 1. Is h(-5) a multiple of 9?
False
Let m = -12 - -16. Does 7 divide m*11/2*1?
False
Suppose -26 + 299 = 13*o. Is 3 a factor of o?
True
Let y = -27 + 49. Suppose -3*o + 52 = -4*p, 2*p - 4*o + 28 = 12. Let q = p + y. Is q a multiple of 2?
True
Suppose 4*c - 5*l + 3 = -0*l, 5*l + 5 = 0. Let p be ((-16)/(-10))/(c/(-10)). Let u = 36 - p. Does 13 divide u?
False
Let q(i) = -3*i - 4*i + i**2 + 4 + 5. Let w be q(8). Let z = 31 - w. Is 11 a factor of z?
False
Suppose -m - 4*h - 8 = 0, -2 = m - 0*h + 2*h. Does 4 divide m?
True
Suppose -5*b - 4*y = -90, -4*b + 9*y = 4*y - 31. Is b a multiple of 7?
True
Let i = 245 + -102. Does 13 divide i?
True
Suppose -c - 1 = -5. Suppose 4*d = c*u + 68, -u = d - 6*d + 105. Is d a multiple of 11?
True
Let i be (-10)/35 - (-38)/(-14). Let d = i + 2. Is 1 - d - (-40)/2 a multiple of 14?
False
Suppose -180 = -5*a + 2*t + 2*t, -4*t + 72 = 2*a. Suppose 5*u = -5*s - 10, 5*u - 19 = 3*s + 11. Suppose -z = -u*z + a. Is z a multiple of 9?
True
Let f be 4/14 - (-170)/(-7). Does 6 divide (f/10)/((-2)/5)?
True
Suppose r + 0 = 2. Let o(n) = 3*n**3 + 4*n**2 - 2*n - 1. Let u be o(r). Let v = -13 + u. Is 11 a factor of v?
True
Let l be 12/20 + 34/10. Suppose 4*a + 4*h - 100 = 0, 2*h = -l*a + 119 - 23. Does 18 divide a?
False
Let m(l) = -l**2 + 3*l. Let f be m(2). Suppose 5*w + 0*d = -d + 7, 0 = w + 5*d + 13. Suppose w*y + f*q = 82, 3*q + 67 = -3*y + 5*y. Does 16 divide y?
False
Let x(m) = m**3 + m**2 + m. Let o(t) = 4*t**3 + 3*t**2 + 9*t - 1. Let a(j) = -o(j) + 5*x(j). Let z be a(-3). Is 186/(-4)*z/(-6) a multiple of 10?
False
Let f = 68 + -41. Let i = f + -12. Let b = i + -3. Is 12 a factor of b?
True
Suppose 3*l = -f - 25, 2*l - 5*f = 3*l - 15. Suppose -p - 3*h + 21 = 0, -h - 46 - 38 = -4*p. Let y = l + p. Is y a multiple of 5?
False
Let f(v) = v**3 - 5*v + 2. Let o be f(5). Suppose -o = -5*s - 27. Is 5 a factor of s?
True
Let j be 12/4 + (4 - 0). Suppose 6*m - 3*m - 93 = 0. Suppose -h = j - m. Is h a multiple of 10?
False
Let z be (-10)/2 - 1/(-1). Suppose 4*d + 3*w + 18 = 0, 2*d - w + 1 = d. Is 7 a factor of (d - (-1)/(-2))*z?
True
Let g = 40 + 8. Is 12 a factor of g + -2 + (0 - 2)?
False
Let m = 4 - 1. Suppose -29 = s + n - m*n, -3*n = 3*s + 42. Let r = s + 49. Is r a multiple of 15?
True
Let d(v) = -2*v**3 + 2*v**2 + v + 2. Let q be d(2). Let k(g) = g**2 - 4. Is k(q) a multiple of 12?
True
Let l be ((-6)/(-9))/(1/(-6)). Is l/(-18) + (-129)/(-27) even?
False
Let a(s) = -26*s - 2. Suppose -3*l + 2*f - 9 = 0, 2*l = -3*l - 3*f - 15. Let o be a(l). Suppose o = -3*k + 7*k. Is k a multiple of 8?
False
Let b = 11 - 7. Suppose 4*z + b*c = 12, -z + 3*z = -3*c + 7. Is 12 a factor of (30/(-12))/(z/(-12))?
False
Suppose -2*i = -0 - 4. Suppose q + 59 = i*x, -4*x + 124 = 2*q + 2*q. Does 15 divide x?
True
Let z(k) = -7*k**3 - k**2 - k - 1. Let c be z(-1). Suppose c = -g + 17. Is 3 a factor of g?
False
Does 9 divide (-1 - 1)*(-3)/2 - -123?
True
Suppose 32 = j - 2. Is j a multiple of 14?
False
Let y(p) = p**2 - 3*p - 4. Let d be y(4). Suppose d = 5*i + 31 - 316. Let z = i + -40. Is 16 a factor of z?
False
Let c = -13 - -10. Let k(m) = -m**3 - m**2 + 1. Does 11 divide k(c)?
False
Let g(t) = 12*t - 2. Does 5 divide g(1)?
True
Suppose -4*b = -7 - 9. Let i be 94/b - 8/(-16). Is (-1 + 25)/(8/i) a multiple of 19?
False
Suppose -2 = 4*t - 18. Let w(u) = -4*u**3 + 2*u**3 + 3*u**3 - 3*u - u**2 - 2. Is w(t) a multiple of 14?
False
Let y(c) = 2*c - 5*c**2 - 1 + 15*c**2 + 10*c**2. Is y(1) a multiple of 21?
True
Let n be 1/4 - 658/8. Let u be (-49)/14*(-28)/(-2). Let w = u - n. Does 10 divide w?
False
Suppose -3*i + 203 = 3*a + i, -a = -i - 56. Let z = 87 - a. Is z a multiple of 13?
True
Let z be 0*((-2)/4 + 1). Suppose z*t + 20 = 4*t. Suppose -t*d + 77 = 4*r - 58, 3*r = -3*d + 81. Does 10 divide d?
False
Let m be (8/10)/((-6)/(-495)). Suppose v - x - 10 = 0, 0 = 5*v - 0*v + 3*x - m. Is v a multiple of 12?
True
Let v = -1 + 5. Suppose -v*n + 7*n - 36 = 0. Is 17 a factor of (-65)/(-3) + (-8)/n?
False
Let s be 3/(-12) + (-417)/12. Let u = s - -60. Does 5 divide u?
True
Suppose -3*l = -2*l - 22. Does 22 divide l?
True
Let x = -278 + 413. Suppose -s + 4*s - x = 0. Suppose -2*p + s = p. Does 7 divide p?
False
Let y(q) = 5*q + 1. Let j be y(1). Let k(h) = -h + 6. Let l be k(j). Suppose l = 4*g + 2*w - 109 + 7, -2*g - 3*w + 45 = 0. Is 13 a factor of g?
False
Let n(r) = r**2 + 2*r - 5. Let k be n(-4). Suppose -2*j - 3*b + 44 = -b, j - k*b - 14 = 0. Does 10 divide j?
True
Suppose -3*i - 114 = -2*o, -5*o - 4*i + 0*i = -308. Let h = o - 21. Is h a multiple of 22?
False
Let t be 10*(24/20)/3. Suppose 0*v + 276 = t*v. Does 23 divide v?
True
Let d(h) = 9*h + 3. Let t(p) = -p**2 - 4*p. Let k be t(-3). Is d(k) a multiple of 15?
True
Let p = 0 + 4. Suppose -p*o - c + 51 = 0, 4*c - 2 - 10 = 0. Is 7 a factor of o?
False
Is 20 a factor of 0 + (-25)/(-5) + 99?
False
Let a be 2/((-10)/4 - -2). Let u = a - -8. Let d = u - -10. Does 14 divide d?
True
Let j = 17 - 26. Let f = j - -16. Is 7 a factor of f?
True
Let b = -15 - -188. Is b a multiple of 13?
False
Suppose 0 = -f - 5 + 34. Is f a multiple of 16?
False
Let h(q) be the first derivative of -q**3/3 - 4*q**2 - 5*q - 1. Let s be h(-7). Suppose 5*u = -5*y + 70, 0*u + s = u + 4*y. Is u a multiple of 9?
True
Suppose 3*v - 5*r = v + 339, 3*v + 2*r = 461. Let z = 83 - v. Let l = 106 + z. Does 16 divide l?
True
Let r(f) = 5*f - 12. Suppose -7*l + 3*l + 32 = 0. Is r(l) a multiple of 7?
True
Suppose 0 = -5*b - 2*i + 710, -4*b + i = -2*i - 545. Is b a multiple of 10?
True
Let i(v) = -3*v**2 + 3*v. Let c be i(2). Let j = 14 + c. Does 8 divide j?
True
Let a = 4 + 0. Suppose 12 = 4*r, -6*h + 2*h + 152 = -a*r. Is 17 a factor of h?
False
Let y be (-33)/2*(-20)/15. Does 22 divide y/(-3)*(-1 + -5)?
True
Let m(r) = -r**2 + 7*r + 10. Does 2 divide m(7)?
True
Let n(f) = f + 1. Let w(p) = -4*p - 2. Let d(a) = 2*n(a) - w(a). Let t(j) = -j + 1. Let l be t(-2). Is d(l) a multiple of 9?
False
Suppose 0 = -u + q + 6, -6 = -4*u + q + 15. Suppose u*f - 1 = 5*a - 56, 0 = -4*a + f + 41. Does 4 divide (a/(-4))/(5/(-10))?
False
Suppose 0*j = 2*j - 6. Let x = 7 - j. Let c = x + 13. Is c a multiple of 17?
True
Suppose 110 = y - 4*c, -165 = -4*y - 2*c + 257. Let s = y + -65. Does 11 divide s?
False
Let o = -3 - -3. Suppose o*g + 64 = 2*g. Does 16 divide g?
True
Let f(d) = d**2 - 18*d - 7. Is 12 a factor of f(2