 i. Is 12 a factor of q?
True
Let a be 4 - 696/44 - (-8)/(-44). Let f(p) = -3*p - 9. Is 9 a factor of f(a)?
True
Let r(j) = -j. Let h(w) = -9*w + 45. Let b(p) = -h(p) + 15*r(p). Is b(-15) a multiple of 15?
True
Is (15/6)/(-5)*7992/(-4) a multiple of 37?
True
Let g(o) = 2*o**3 - 46*o**2 - 14*o - 176. Does 10 divide g(24)?
True
Suppose 4*f - 9 = f. Suppose -173 = -2*j + c + 150, 165 = j + f*c. Suppose -3*i - 11 = 2*m - 119, 3*m = 3*i + j. Is m a multiple of 18?
True
Let q(s) = 2*s**2 + 3*s + 1. Let v be q(-2). Let x = 204 - 197. Suppose v*w + 152 = x*w. Is w a multiple of 8?
False
Let q(y) = y**2 - y - 136. Let v be q(0). Let f be -51 + ((-22)/66)/(2/(-36)). Let m = f - v. Is m a multiple of 16?
False
Suppose -31*q = -35*q + 1488. Suppose 7*y = 4*y + q. Does 16 divide y?
False
Let u = 173 + -113. Suppose 0*f = 4*i - 4*f - 120, 3*f + u = 2*i. Does 11 divide i?
False
Suppose -5*w + 16 = -2*b, 0 = w + 3*b - b + 4. Suppose 11*o = w*o + 252. Does 7 divide o?
True
Let p(r) = -r - 4. Suppose -4*c = 42 + 6. Let d be p(c). Is (2 - -1)/(12/d) a multiple of 2?
True
Let g = -5363 + 11874. Is g a multiple of 51?
False
Let q(v) = v**3 + 7*v**2 + 8*v + 6. Let p be q(-6). Does 5 divide p/(-24) - (-118)/8?
True
Suppose 2*m - 2 = 2. Suppose -m*p - 2*y + 107 = -31, 3*y = -5*p + 347. Is p a multiple of 11?
False
Is 61 a factor of (285 - -43)*1/2?
False
Let s = -1576 - -4054. Is 130 a factor of s?
False
Let j be -20*(2 + (-27)/12) + -1. Let k(p) = -6*p**2 + 4*p**2 + 5*p + 3*p**2. Is k(j) a multiple of 18?
True
Suppose -4*n + 2*x + 5 + 5 = 0, x + 2 = n. Suppose 0 = n*j + j - 2*r - 318, 0 = -3*j + r + 240. Suppose 0 = -2*f + j - 25. Is 14 a factor of f?
True
Suppose -7*p = -2*p. Suppose -q + p*q = -6. Suppose -10*s + 68 = -q*s. Does 9 divide s?
False
Let f be 4/(-22) - (-194)/(-22). Let l be (264/f)/((-5)/(-15)). Let o = 144 + l. Is o a multiple of 14?
True
Let b be 32/2 - -2 - 2. Does 18 divide -1 + 1 - -6*b?
False
Let z(o) = 11*o - o - 8*o**2 - 3*o + 18*o**3. Is z(1) a multiple of 3?
False
Let m(b) = 2*b - 15. Let y be m(9). Suppose 0 = -y*l + 144 + 159. Is l a multiple of 37?
False
Let y be ((-2)/6)/((-5)/150). Suppose -n + 15 = g + n, g = 3*n - y. Is (-42)/g*(-25)/10 a multiple of 9?
False
Let s(y) = -3*y - 32. Let m be s(-12). Suppose -2*i + m*r = -150, 1 = r - 2. Does 9 divide i?
True
Suppose 196 + 354 = 5*h. Suppose 0 = v - 4*w - 142, -v - 5*w + w = -h. Suppose 4*g + v = 6*g. Does 17 divide g?
False
Let k = -15 - -29. Let b(j) = -j**2 + 14*j + 19. Let x be b(k). Let p = 28 - x. Is p a multiple of 9?
True
Let y(t) = t**2 + 6*t - 2. Let m be (-256)/26 + (-14)/91. Does 19 divide y(m)?
True
Let m(b) = -2*b**2 - 2. Let g be m(-6). Let x = 98 + g. Is 4 a factor of x?
True
Suppose 4*q + 0*q + 3*m - 41 = 0, 0 = -q + m + 19. Suppose -3*t + 95 = -5*u + 27, -u + 28 = 2*t. Let s = q + t. Is 20 a factor of s?
False
Let o(a) = a**2 - 2*a. Let y be o(1). Let n be y/((-1)/3) + 2. Is (-15)/(-6)*22/n a multiple of 3?
False
Suppose 2*o - 31 = -t - o, -3*t - 3*o + 75 = 0. Let g = -5 + t. Does 9 divide g?
False
Suppose 0 = -4*n + 6*n + 5*g - 1057, -2*g + 2074 = 4*n. Does 43 divide n?
True
Let i(x) = 5*x - 5*x + 4*x**3 + x**2. Let l be i(-1). Let p(h) = -12*h + 4. Does 20 divide p(l)?
True
Let g(u) = u**2 - 6*u - 3. Let r be g(7). Let c be -3*((-24)/(-9))/r. Let m(q) = q**3 + 3*q**2 - 1. Is 2 a factor of m(c)?
False
Let g(k) = -k**3 - 7*k**2 + 10. Let f be g(-7). Let u be 232/f*(-10)/(-4). Suppose -20 = -3*n + u. Is n a multiple of 8?
False
Suppose -3*r - f + 3*f = -2, -3*f - 18 = 3*r. Let s(g) = -18*g + 2. Is s(r) a multiple of 19?
True
Let h = -1408 - -1900. Is 6 a factor of h?
True
Suppose 0 = -13*z + 16*z - 4*j - 405, -2*z - 5*j + 270 = 0. Suppose 0 = -o + z - 91. Is 22 a factor of o?
True
Suppose -720 = -71*o + 61*o. Is o a multiple of 7?
False
Suppose -4*k + 5*u + 146 + 21 = 0, -3*k + 3*u + 126 = 0. Let o = k + -29. Does 5 divide o?
False
Suppose 2*p - 367 = 3*m, -p = -6*p + 4*m + 914. Is 7 a factor of p?
True
Let u be (-10)/(1*(-2)/73). Suppose -z = -2*l + 3*z + 146, -u = -5*l - 3*z. Is 21 a factor of l?
False
Let h(r) = 62*r - 83. Is 53 a factor of h(6)?
False
Suppose 4*r - 2*r = -18. Is r/(-3)*(1 + 44) a multiple of 15?
True
Let o = 1468 - -2756. Does 88 divide o?
True
Let t be (197 + 1)/(1 + 0). Suppose -4*i = -2*j + t, -7*j = -2*j - 4*i - 483. Does 19 divide j?
True
Suppose -a + 4 = 2. Let y be ((-5)/a)/((-20)/40). Suppose 394 = y*z + 114. Is 14 a factor of z?
True
Let k(c) = -c**3 - 11*c**2 + 15*c + 21. Let g be k(-12). Is (190/g - -2)/(2/(-12)) a multiple of 13?
False
Let r(v) = v**3 - v**2 - v + 1. Let x(j) = 4*j**3 + 14*j**2 + 14*j - 15. Let o(n) = 3*r(n) - x(n). Let q be (-8)/(-5)*5*-2. Is o(q) a multiple of 10?
False
Let s(x) = 0*x + 0*x + 0*x - x + 19. Is s(-10) a multiple of 4?
False
Let v = -774 + 2674. Does 95 divide v?
True
Let a(n) = -n**3 + 13*n**2 - 13*n + 1. Let u be a(12). Let j(y) = y**3 + 12*y**2 + 3*y - 12. Does 19 divide j(u)?
True
Let f(u) = -2*u + 9. Let p be f(8). Let n be (p - -771) + (-6)/2. Is 27 a factor of (-10)/80 + n/8?
False
Let w = 1561 - 1085. Is w a multiple of 7?
True
Let i = 1420 - 928. Is i a multiple of 12?
True
Suppose j = -h + 584, 3*j = -2*h + 6*j + 1158. Is 6 a factor of h?
True
Suppose -4*q + 4*w = -372, -5*w = q - 59 - 46. Let m(a) = 10*a**2 + 6*a - 12. Let s be m(2). Let i = q - s. Does 26 divide i?
False
Let d(i) = 36*i**2 - 7*i - 9. Let y be d(-6). Suppose -5*m - 354 = -y. Suppose -a + m = 4*a. Is a a multiple of 13?
True
Let o(k) = 3*k**2 - k + 2. Let g(t) = 2*t - 2. Let u be g(2). Suppose 3*a - 15 + 2 = -q, q - u*a + 12 = 0. Does 8 divide o(q)?
True
Let g(p) = -p**3 + 8*p**2 - 8*p + 9. Let w be g(7). Suppose -w*y + 70 = -y. Let m = -22 + y. Is 14 a factor of m?
False
Let x = 3 + -35. Let j = x - -35. Is 266/j + 4/3 a multiple of 22?
False
Suppose -9*d = -0*d - 441. Suppose -3*l + 4*o = 10 - d, l - 13 = 5*o. Is l a multiple of 4?
False
Let y(v) = -8*v**2 - 3*v - 2. Let c be y(-1). Let w = 16 + c. Does 3 divide w?
True
Suppose u - c + 2*c - 629 = 0, -c + 1877 = 3*u. Is u a multiple of 19?
False
Let m(i) = -135*i**3 + i**2 + 2*i + 1. Let t be m(-1). Let n = 24 + t. Suppose -n = -3*a - 3*o, -3*o - 2*o - 119 = -3*a. Is 12 a factor of a?
True
Suppose 0*f + 1088 = 2*f. Is f a multiple of 68?
True
Let u(t) = t**3 + 6*t**2 - t - 2. Let j be u(-6). Is 2 a factor of (28/(-10))/(j/(-40))?
True
Let o(m) = -489*m - 126. Does 12 divide o(-2)?
True
Let j be 166/(4 + 2 + -4). Suppose 0 = -4*h + 219 - j. Is h a multiple of 30?
False
Let c = -199 - -433. Does 13 divide c?
True
Does 18 divide (-236)/3*((-10)/20 + -1)?
False
Let g(i) = 2*i - 21 + 4*i + 1 + 5*i. Is 4 a factor of g(6)?
False
Let l be (-3)/(-2) - (-39)/(-26). Suppose 2*u + 47 = 3*c - 108, 2*c + 3*u - 125 = l. Does 11 divide c?
True
Let h(d) = d + 7. Let s = -3 + 10. Let c be h(s). Let w = -6 + c. Is 7 a factor of w?
False
Suppose 2*s + 25*y - 196 = 20*y, -4*s + 5*y + 392 = 0. Is s a multiple of 49?
True
Suppose -5*w + 4*z = 2, -w - 2*z + 14 = 3*w. Suppose 0 = 10*i - 14*i - 12. Is w/i + (-8)/(-3) even?
True
Let n = 16 - 17. Let b = 4 + n. Is 3 a factor of b?
True
Let y(o) = -15*o + 13. Let t be y(3). Let w = t + 62. Does 6 divide w?
True
Is 38 a factor of (38/(-76))/(-1*2/1976)?
True
Suppose -17*a = -15*a - 346. Is a a multiple of 3?
False
Suppose 0 = -10*q - 4*q + 12740. Is q a multiple of 26?
True
Let y(i) = -4*i + 1. Let c(q) = -7*q + 1. Let d(n) = -3*c(n) + 5*y(n). Let m = 28 - 19. Does 5 divide d(m)?
False
Let q be (4 + -2)/(0 + 1). Suppose 4*g + 3*f - 85 = 0, 0 = -g - q*f - 3*f + 17. Suppose 2 = -h, 2*k = 4*h - 5*h + g. Is k a multiple of 4?
True
Let b be (16/40)/(1/120). Let k be (-2)/(-6) + b/18. Is 27 a factor of 2 + 12/k + 48?
True
Suppose -2*y = 2 + 16. Let d(w) = -6*w + 23. Is 8 a factor of d(y)?
False
Let v = -2 + -7. Let m(x) = -x**2 - x - 12. Let n be m(v). Is 35 a factor of (-7116)/n + (-2)/(-7)?
False
Let n = 478 - 245. Does 86 divide n?
False
Let z(g) = 13*g**2 + 9*g + 6. Is z(-9) a multiple of 33?
False
Let r = -21 - 44. Let l = 107 + r. Does 9 divide l?
False
Suppose -u - 2*u = -45. Let o be (-1717)/187 - (-4)/22. Let n = o + u. Is 3 a factor of n?
True
Is (38 + 2)/(32/512) a multiple of 16?
True
Suppose -2*n = -5*b + 25 - 4, 3*b - 18 = 3*n. Suppose b*l + 4