 a factor of q?
False
Suppose -57 = 4*o - 45. Let y be (-544)/10 - 6/(-15). Does 18 divide y/((o/(-2))/(-1))?
True
Let o = 100 + -100. Suppose 11*x - 125 + 37 = o. Is x a multiple of 8?
True
Let z = 182 - -58. Suppose 2*h = 5*h - z. Does 16 divide h?
True
Let o be (-30)/(-12) - (-10)/(-4). Suppose -n - 3*n + 16 = o. Is 4 a factor of n?
True
Let c = 2309 - 1100. Does 28 divide c?
False
Does 55 divide 21470/130 + 1 - (-4)/(-26)?
False
Let b = 119 + 28. Is b a multiple of 7?
True
Let n(a) = 568*a**2 - 3*a - 1. Does 19 divide n(-1)?
True
Let n(d) = 2*d**2 - d + 0*d + d - 5*d**3. Let k be n(2). Let l = 64 + k. Does 9 divide l?
False
Let k be (-6)/3*2 + 4. Suppose 2*w = -k*w + 20. Does 5 divide w?
True
Suppose 4*a = -8, -q + 3*a + 549 = -682. Is q a multiple of 7?
True
Let q(v) = 4*v**2 - 5*v - 5. Let l be 0 - 3 - 40/(-5). Let t be q(l). Suppose -s + t = s. Does 10 divide s?
False
Suppose 0 = -7*q + 1036 + 336. Is 28 a factor of q?
True
Suppose -6*y + y + 20 = 0. Suppose -a + 72 = t + 4*t, 0 = -y*t + a + 54. Is 4 a factor of t?
False
Let b(k) = k**2 + k - 2. Let v be b(0). Let g be (6*-1 + 2)/v. Suppose 14 + 30 = g*t. Does 22 divide t?
True
Suppose -5*i + 106 + 44 = 0. Let z be -5 + (-2)/(1/1). Is 7 a factor of z/14 - i/(-4)?
True
Suppose 2*a + 35 = 7. Is 7 a factor of (-6)/a - 442/(-14)?
False
Let t(b) be the first derivative of 5*b**3/6 - 11*b**2/2 - 2*b + 3. Let c(z) be the first derivative of t(z). Does 17 divide c(9)?
True
Let b = -985 - -1378. Is 28 a factor of b?
False
Suppose -2*o + 0*o + 4 = 0. Let y be 1299/6 + (-3)/o. Does 9 divide (y/15)/(2/6)?
False
Let s be 92/22 - (-2)/(-11). Let c be s/10 - 99/(-15). Suppose -2*w + c*w - 135 = 0. Is 16 a factor of w?
False
Suppose 2896 = 3*i - 4*k, -88*i + 1929 = -86*i - k. Does 7 divide i?
False
Suppose 0 = -3*x + 662 + 1195. Is x a multiple of 10?
False
Let h = -146 - -259. Let f = 152 + h. Does 12 divide f?
False
Is 6 a factor of (78/(-156))/((-1)/306)?
False
Let h(i) = -4*i - 21. Let u be h(-7). Suppose 0 = 3*s - 4*z - 27, 2*z + 2 = s - u. Does 6 divide s?
False
Let q(z) = 15*z**2 - 2*z + 2. Suppose 5*w - 2*u - 1 = 0, -2*u = 3*w - 11 + 4. Let a be q(w). Suppose 91 + a = 2*p. Is 12 a factor of p?
False
Let y(s) = 15994*s**2 - 15994*s**2 + 3 + 0*s**3 + s + s**3. Let k = 6 - 3. Is y(k) a multiple of 11?
True
Suppose 1075*n + 67 = 1076*n. Does 3 divide n?
False
Let l(n) = n + 9. Let a = 11 + -1. Let v(o) = o**3 - 11*o**2 + 11*o - 10. Let s be v(a). Is 9 a factor of l(s)?
True
Let q be (0 - 8)/2 - -6. Suppose 3*d = 2*j - 186, q*d = -2*d + 16. Does 11 divide j?
True
Let l(a) = -a**3 + 2*a**2 + 26*a. Does 3 divide l(-5)?
True
Let q be 10/6 - 26/39 - 46. Does 8 divide (60/q)/(1/(-12))?
True
Suppose 45 = 21*h - 20*h. Suppose 4 = f - h. Suppose -4*z - f = -v - 3*z, 2*v = -3*z + 73. Does 20 divide v?
False
Let g = 32 + -28. Suppose 0 = g*h - 8*h + 240. Suppose h = 3*u - 0*u. Does 4 divide u?
True
Is -1062*14/147*189/(-18) a multiple of 73?
False
Suppose 0 = -5*x + 3*x + 4. Suppose 0 = -x*v - 25 + 207. Is v a multiple of 13?
True
Let t(h) = 3*h**2 - h. Let r be t(1). Suppose 0 = 4*b + r*m - 1160, -5*b + m + 1457 = -0*m. Suppose -5*n + b + 84 = 0. Is 15 a factor of n?
True
Let b be 5 + 0 + 2 + -4. Suppose 3*v = -4*s + 197, -3*v = -v - b*s - 137. Is 13 a factor of v?
False
Suppose -8914 = -25*c + 186. Is 26 a factor of c?
True
Let d = -1323 + 2913. Does 40 divide d?
False
Let u(t) = -t**3 - 8*t**2 - 7*t + 2. Let r be u(-7). Suppose -22 + r = -5*w. Suppose s + 2*k = 6 + 3, -4*s + w*k = -36. Is 2 a factor of s?
False
Let n(o) = 62*o**2 - 31*o - 91. Does 28 divide n(-3)?
True
Is ((-27)/18)/(18/(-10704)) a multiple of 19?
False
Suppose 0 = -2*r - 0*r + 16. Let q(h) = h - 4. Let s be q(r). Suppose z - 40 = 5*n, s*z - 91 = -n + 6. Is z a multiple of 25?
True
Let b be 6/15*(4 + 21). Suppose b = -4*d + 5*x, -4*d + 4*x - 10 = -2. Suppose -5*j = 5*z - 90, -5*z + 2*j + 27 + 42 = d. Is z a multiple of 4?
False
Let q(k) be the third derivative of -k**4/2 - 4*k**3 - 13*k**2. Does 28 divide q(-9)?
True
Suppose -3*v + 6*f + 9 = 3*f, 2*v + 5*f = -1. Suppose -4*d = v*d - 660. Is 27 a factor of d?
False
Let f(p) = -6*p + 26. Let l be f(4). Is 29 a factor of 467*l/4 + 15/(-10)?
True
Suppose 1 + 44 = 5*a. Let w(x) = x - 9. Let g be w(a). Suppose g = -5*q + 2*q + 48. Is q a multiple of 16?
True
Let s = -39 - -14. Let p be (s/(-20))/(1/(-8)). Is (24/p)/(4/(-50)) a multiple of 5?
True
Let c(u) = -2*u**3 + 2*u**2 + u - 9. Let b(h) = -h**3 + h**2 - 8. Let i(q) = 3*b(q) - 2*c(q). Let r be i(5). Let z = r + -50. Is z a multiple of 19?
False
Let o(j) = j + 10. Let s be o(-6). Is 19 a factor of 4 - (s + -3) - -16?
True
Suppose -26 = 3*y + 4*j, -2*y - y - 25 = 5*j. Let h(r) = -5*r + 3. Does 14 divide h(y)?
False
Let f(v) = v**2 - 3*v - 6. Let m be f(5). Suppose -i + 1 + m = 0. Is (-1 + i/2)*36 a multiple of 23?
False
Let n(z) = -z**2 - 11*z - 6. Let t be n(-10). Suppose l - 202 = 2*j, 4*l - t*j + 317 = 1137. Does 26 divide l?
True
Suppose -1150 = -2*i - 292. Does 11 divide i?
True
Let z(v) = 2*v**3 + v**2 - 2*v + 36. Let i(x) = x. Let k be i(0). Does 9 divide z(k)?
True
Suppose -7 = -4*z + 5. Does 8 divide (z/6)/((-7)/(-840))?
False
Let p = -4675 - -8048. Is 11 a factor of p?
False
Let n = -3575 + 7871. Does 13 divide n?
False
Suppose 2*u = o - 203, -3*u + 9 - 419 = -2*o. Is o a multiple of 19?
False
Suppose -h - 3 = 2*x, 2*h - x = h + 9. Suppose 2*t + 6*j - 3*j - 3 = 0, -2*t - h*j = 3. Does 6 divide t?
True
Does 7 divide 4/(-1*(-5)/290)?
False
Suppose -d = -3*s - 4 + 51, 4*d = -20. Is ((-104)/(-10))/(s/35) a multiple of 7?
False
Let s = -91 - -241. Does 15 divide s?
True
Let r be ((-6)/4)/(3/(-68)). Suppose 0 = -2*i - 118 + r. Let c = i - -59. Is c a multiple of 12?
False
Let g(w) = 2*w + 14. Let k be g(-9). Let o(x) = x**3 + 5*x**2 + 4*x + 4. Let f be o(k). Suppose 5*v - 36 = -f*r, 3*v - 5*r + 5 + 3 = 0. Is v even?
True
Let z(j) = 57*j**2 + j + 1. Let u be z(-1). Let b(t) = 17*t + 42. Let f be b(-3). Let v = f + u. Does 6 divide v?
True
Suppose 5*m - 18 = 2. Suppose 0 = -4*d + m*j + 296, 2*d - 3*j + 1 - 151 = 0. Is 3 a factor of d?
True
Let o = 0 + 4. Suppose 5*z - 18 = 4*z - 5*c, -o*c = -2*z - 6. Suppose 4*d = -z - 17, l - 9 = -3*d. Is l a multiple of 15?
False
Let w(k) = -k**2 + 14*k - 8. Let p be w(7). Let o = 29 - p. Is 6 a factor of 27/5*(-40)/o?
True
Suppose 250 = -5*p + 30. Let l(a) = -7*a**2 - 4*a + 4. Let h be l(3). Let g = p - h. Is 9 a factor of g?
True
Suppose -14*a + 5772 = 1880. Suppose -a + 18 = -2*v. Is 24 a factor of v?
False
Suppose -2*a = 3*r - 1407, 5*r - 3*a + 320 - 2684 = 0. Suppose 3*n - 3*g - r = 0, n = -2*n - 2*g + 486. Is 16 a factor of n?
True
Let g(o) = o**2 - 7*o + 8. Let l be g(6). Suppose -l*q = q - 54. Suppose 4*a - 26 - q = 0. Is a a multiple of 11?
True
Let p be (-192)/(-2 + 6) - 3. Let m = 3 - p. Let b = -22 + m. Does 18 divide b?
False
Let d(s) = -s - 7. Let i be d(-7). Suppose m + 3*b - 1 = i, 4*b = 2*m - 4*m + 6. Suppose 0 = 9*a - m*a - 52. Is 13 a factor of a?
True
Let c = -8872 + 14560. Does 37 divide c?
False
Let u(a) = -85*a - 25. Is 38 a factor of u(-7)?
True
Suppose -12*f + 15 = -9*f. Suppose 3*l - 57 = 2*z - f*z, 23 = z - 3*l. Does 7 divide z?
False
Let r(b) = -b**3 - 3*b**2 - 5. Let v = 11 - 16. Does 9 divide r(v)?
True
Let n be (-418)/(-18) - (-4)/(-18). Suppose n = -2*c + 269. Is c a multiple of 33?
False
Let x be (4/10)/((-7)/245). Let h(z) = -z**3 - 15*z**2 - 20*z - 19. Does 27 divide h(x)?
False
Suppose -2*r + 0 = -4. Suppose -17 = -r*d + 5*o + 11, -4*d - 5*o = 4. Suppose -3 = -3*h, 18 = -d*q - 2*h + 84. Is 8 a factor of q?
True
Suppose 28*v = 23*v + 50. Suppose 5*y + 30 = l, y = 5*l - v*l + 46. Is l even?
True
Let d(h) = -2*h - 12. Let r be d(-8). Suppose -167 = -p + s, r*p = s + 305 + 348. Does 9 divide p?
True
Suppose 10*g + g - 275 = 0. Let q(k) = 3*k - 7. Does 17 divide q(g)?
True
Suppose -11*c = -10*c - 4*z - 1920, -z + 9516 = 5*c. Is c a multiple of 56?
True
Suppose -3*g = -209 - 25. Is 26 a factor of g/(-4 + (-22)/(-4))?
True
Let d be (-7)/((-1)/15*3). Is (-16)/(-96) + d/6 a multiple of 5?
False
Suppose 4*p = -2*d - 3*d - 1417, -2*p - 3*d = 709. Is (6 - (-39)/(-6)) + p/(-2) a multiple of 15?
False
Let s = -195 + 406. Is 5 a factor of s?
False
Suppose 10 = 6*w - 4*w. Suppose 0