- 12. Is o(w) a multiple of 4?
True
Let r be (-13)/(39/(-1272))*2/4. Let j = 235 - r. Is 23 a factor of j?
True
Suppose -11 = -2*k - 7. Let x(u) = -18*u**2 + u + 2. Let v be x(k). Let s = 155 + v. Does 26 divide s?
False
Suppose 2*n = 18, -1126*v + 1125*v = 2*n - 17443. Is v a multiple of 39?
False
Let j(i) = -4*i - 11*i - 36 + 14*i - 9*i + i**2. Is 3 a factor of j(15)?
True
Let q = 733 - 728. Suppose -7134 = -q*d - 2434. Does 19 divide d?
False
Suppose -30 + 32 = 2*c. Does 33 divide 4 - (-74 - -2)*c?
False
Suppose -188*s + 184*s - 25246 = -o, o = -2*s + 25240. Does 14 divide o?
True
Let y(a) = -3*a + 6*a + 2*a**2 - a + 0 + 2. Does 21 divide y(-9)?
False
Let k = -429 - -429. Suppose k = -10*a - 94 + 964. Is a a multiple of 3?
True
Suppose -337954 = -5*h + 3*o, 5*o - 127 + 117 = 0. Is 136 a factor of h?
True
Suppose 25*j + 5 = 26*j. Suppose -5*w + 10 = -0*w, -w = j*i - 4482. Is i a multiple of 76?
False
Suppose 3*f + 41 - 56 = 0. Suppose -b + f*a - 25 = -3*b, -2*b = 4*a - 20. Is 10 a factor of ((-4620)/42)/(-1 - b/(-1))?
True
Suppose 52*y - 81779 = 49885. Is 12 a factor of y?
True
Suppose 3*p = 2*x + 14, 3 = 5*p - 2*x - 15. Let c(j) = -17*j + 6*j - 20*j**p - j**3 + 13*j**2. Is c(-8) a multiple of 19?
True
Suppose -158*b + 908628 = 144005 - 704303. Is 10 a factor of b?
False
Suppose 0*x = 6*x - 1200. Let r(u) = u**2 - 4*u - 1. Let a be r(6). Suppose -6*w = -a*w + x. Does 8 divide w?
True
Suppose -17*r - 448 = h - 13*r, -5*h + 5*r = 2190. Let y = 76 - h. Is 43 a factor of y?
True
Let k(h) = h**3 + 4*h**2 + 7*h - 6. Let y = -26 + 30. Let z be k(y). Let a = z + -73. Is 11 a factor of a?
True
Let n(g) = g**3 - 10*g**2 + 35*g + 362. Is 50 a factor of n(27)?
True
Suppose -5*l + 4*u - 123 = 0, -3*l - 6*u + 10*u - 77 = 0. Let b = l + 126. Does 11 divide b?
False
Let b be 6/(-3) - (1 + -66). Let k = -48 + 34. Is 24 a factor of (0 - 1) + b + k?
True
Let g be ((-24)/(4 - 1))/((-10)/25). Suppose g*u - 3623 + 583 = 0. Is 19 a factor of u?
True
Let i(u) be the second derivative of u**5/20 + 5*u**4/12 - 23*u**3/6 - 15*u**2/2 + 5*u + 8. Does 5 divide i(-6)?
False
Let u = 17806 + -14206. Is u a multiple of 48?
True
Let x = 6510 + -5418. Does 3 divide x?
True
Suppose 0 = -2*j - 4*x - 12, -x - 4*x = 0. Let z be ((-24)/16)/(j/68). Let h(k) = 9*k - 32. Is h(z) a multiple of 26?
False
Let b(j) = -j**3 + 12*j**2 + 3*j. Let c = -52 - 2. Let q be (-6 - 0)/(c/36). Is 35 a factor of b(q)?
True
Suppose -x = 4 - 3. Is 7 a factor of x/((-2)/6 - (-3120)/9576)?
True
Let j(d) = -d**2 - d + 15. Let r be j(-4). Suppose -5*q + r*p + 1168 = p, 2*q = -5*p + 473. Suppose -n - n + q = 0. Does 14 divide n?
False
Suppose 14 = l + 4*y, -11*l + 7*l = 5*y - 34. Let u(i) = 45*i - 60. Is u(l) a multiple of 12?
False
Suppose -67 = -12*h - 31. Is 5 + 0 - (-10 + h - 46) a multiple of 8?
False
Let q be (3/4)/((-12)/(-80)). Suppose h + 0*s = 2*s + 2, 0 = 3*h + q*s - 28. Is 7 a factor of (-1)/(-3) - (-142)/h?
False
Suppose -2*c + 6736 = -5*r, -10*r + 6736 = 2*c - 5*r. Is c a multiple of 30?
False
Let m(r) = 3*r - 4. Let k = -3 + 5. Let g be m(k). Suppose -193 = -g*a + 115. Does 22 divide a?
True
Let n be (-6)/9 + 14/3. Suppose n*i + 3*h = -2*h + 40, 0 = -5*h. Suppose -5*t + 0*t - 5*b = -95, -2*t + 5*b = -i. Is 9 a factor of t?
False
Is (0 + 45/25)/((-66)/(-4840)) a multiple of 2?
True
Let i(s) = -s**3 - 11*s**2 - 20*s - 21. Let c be i(-9). Is ((c - -1)/(-2))/((-13)/(-1313)) a multiple of 19?
False
Suppose -4*g = -2*j + 3*j - 2, 4*j - 2*g - 44 = 0. Suppose 12*x = -j + 106. Suppose 4*m = x*m - 384. Is 12 a factor of m?
True
Suppose 8*s = 181*s + 72*s - 202125. Is s a multiple of 72?
False
Suppose -15*w + 16*w = 69. Does 17 divide -68*(w/(-12) - -2)?
True
Let o(j) = j**2 - 10*j + 10. Let k be 1*-6*10/(-15). Let w be o(k). Let c = 26 + w. Does 7 divide c?
False
Let f = -29 - -38. Suppose -6*d = -f - 3. Suppose 3*u = -3*g + 201, -u = 2*g + d*u - 139. Does 39 divide g?
False
Is 2 a factor of ((-165)/(-25))/((2/(-12))/((-315)/42))?
False
Let w = 4912 - -2498. Is 130 a factor of w?
True
Let u(g) = 2*g + 17. Let c be u(5). Suppose -4*q + c = 11. Suppose 0 = -2*h - q + 34. Is h a multiple of 5?
True
Suppose b = 2*b + 77. Let r = b - -114. Suppose i = -15 + r. Is 7 a factor of i?
False
Let t = 15288 - 9985. Suppose -t = -15*z - 1838. Is z a multiple of 11?
True
Let a = 9352 + -4987. Does 108 divide a?
False
Suppose 12 + 4 = 4*o. Let h(v) = v**2 - 3*v. Let r be h(o). Suppose -r*j + 61 = -175. Is j a multiple of 9?
False
Let f = 25 + -34. Let k be f/(-6) + 1 + (-1)/2. Suppose 4*j + 841 = 5*g, k*g = -0*j + j + 337. Is g a multiple of 30?
False
Suppose 5*n = 2*n + m + 13956, -3*m = 2*n - 9315. Is n a multiple of 37?
False
Let t = -298 - -176. Let w = t - -125. Suppose 3*a = 3*g + 201, -w*a + 201 = -0*a + 5*g. Is 12 a factor of a?
False
Let l be (3 + -7)/(2*1/(-2)). Suppose -j + l*i = -94, -i = -j - 0*i + 82. Suppose 0 = -2*n + 4*x + 72, x = -5*n + 58 + j. Is 2 a factor of n?
True
Let v(s) = -s**2 + 2*s - 8. Let y be v(-6). Let j = -63 - y. Let p(g) = 4*g**2 + 5*g - 17. Is 16 a factor of p(j)?
True
Suppose -4*a = -0*a. Suppose a*v + 21 = 5*v + 2*h, -5*h = -v + 15. Suppose -57 - 73 = -v*k. Is 19 a factor of k?
False
Let z be (1 + -2)/(8/16). Does 18 divide (z + -94)*2/(-6)?
False
Is ((1 + 0)*2/(-4))/((-32)/355072) a multiple of 9?
False
Let f = 2541 + -1048. Suppose -2*y + f = 417. Does 12 divide y?
False
Suppose 17*l - 96*l + 52597 + 45600 = 0. Is l a multiple of 11?
True
Let r(j) = -j**2 - 20*j - 1. Let z be r(-19). Suppose m - z = 5*k, -m + 2*k - 3 = 4*k. Does 3 divide m?
True
Let j(o) = -887*o + 6832. Is j(-32) a multiple of 62?
True
Let l(n) = 2*n**2 - 3*n - 1. Let h be l(-1). Suppose h*b + 1939 = 5*g - 52, 5*b = g - 394. Does 19 divide g?
True
Let l(o) = -3*o**3 + 0*o**3 - 391 + 2*o + 401. Does 34 divide l(-4)?
False
Suppose -106647 = -457*y + 1545865. Is 4 a factor of y?
True
Let a(k) = k - 2. Let c(l) = -189*l + 3. Let i(x) = -a(x) - c(x). Let g be i(2). Suppose 17*v + g = 22*v. Does 11 divide v?
False
Let c = -343 + 610. Let n = c - 170. Does 6 divide n?
False
Let t(l) = 2*l**3 - 2*l**2 - 3*l - 1. Let r be t(-2). Let a = r - -19. Suppose -5*z + 3*z + 122 = 5*k, a = 3*k - 2*z - 70. Is k a multiple of 22?
False
Suppose -15*s + 2156301 = 174*s. Is s a multiple of 45?
False
Suppose 0 = 5*b - 7 + 2, -153 = j - 4*b. Let s = j - -278. Is 43 a factor of s?
True
Suppose -1284*h = -1276*h + 784. Let g = 506 + h. Is 8 a factor of g?
True
Let d be 1 - -1 - (0 + -2). Let z(b) be the third derivative of 17*b**4/24 + 2*b**3/3 - 3*b**2 + 2. Is 14 a factor of z(d)?
False
Let z = 806 - 1378. Let o = 1002 + z. Does 43 divide o?
True
Let f = 384 - 539. Let g = 287 - 1. Let z = g + f. Does 23 divide z?
False
Suppose -3592 = 14*z - 22*z. Let f = -261 + z. Is f a multiple of 47?
True
Let a be 5/40 - (-117)/24. Suppose 17*c + g = 15*c + 1057, a*c + 3*g - 2640 = 0. Does 9 divide c?
True
Suppose -4*t - 8 = 0, h - 3*t + 0*t = 10. Let i(j) = 5*j**2 - 7*j - 3*j**2 - j**2 + h. Does 5 divide i(8)?
False
Let g be -6*(-1 - 20/(-6)). Let v = 101 - 87. Is 38 a factor of v/49 + -10*106/g?
True
Let a(z) be the second derivative of 119/6*z**4 + 37*z - 1/3*z**3 + z**2 + 0. Is a(1) a multiple of 14?
True
Let r be 3 - 3 - (1 + -4) - -88. Let j = r + 166. Does 6 divide j?
False
Let v(t) = -88*t + 3. Let g be v(2). Suppose 6*k + 276 = 2*w, -18*k - 222 = -13*k - 3*w. Let l = k - g. Is 6 a factor of l?
False
Let k be (4/10)/(9 + (-2817)/315). Does 13 divide 171 + (-8 - (1 - k))?
True
Let l = 4688 + 388. Is 36 a factor of l?
True
Let g be ((-1)/2)/(10/(-31560)). Suppose -1524*l = -1530*l + g. Does 36 divide l?
False
Let a be ((-12)/(-10))/(57/(-52060)). Does 13 divide a/(-2)*(3/4 - -1)?
False
Suppose w - 27 = 16. Suppose -a + 232 = w. Suppose 2*z = 5*z - a. Is 7 a factor of z?
True
Let x = -220 + 72. Is 39*(x/(-12) + (0 - -3)) a multiple of 17?
False
Let o(s) = 16021*s**2 + 50*s - 41. Is 131 a factor of o(1)?
False
Let p = 64039 + -27747. Does 23 divide p?
False
Let j be (-6)/((-4)/8 - 1). Does 47 divide (-8)/32*2 + 1318/j?
True
Let p(a) = -4*a**2 + 29*a - 10. Let x be p(6). Is (-6)/(-30) - (-1716)/x - 1 a multiple of 3?
False
Suppose 131338 = 33*a + 64*a. Does 14 divide a?
False
Let m(i) = 635*i - 1293. Is 18 a factor of m(3)?
True
Let d(w) = 9