36?
False
Suppose 4*s + 1452 = z, 0*z - z - 3*s + 1459 = 0. Is 28 a factor of z?
True
Is 22 a factor of 44050*(12/((-144)/132) + 12)?
False
Suppose 5*v - 4*q - 13 = 0, 7*v - 2*v - 37 = -4*q. Suppose 4225 = v*j + 5*w, 0 = -5*j - 6*w + 9*w + 4185. Is j a multiple of 34?
False
Suppose -11*n + 21 = -4*n. Suppose -n*o = -o. Suppose -2*g = -3*g + 3*p + 18, o = -5*p + 25. Is 11 a factor of g?
True
Let f be (-1)/1 - 12/(-4). Suppose -f*a - 12*a - 154 = 0. Let d = 35 - a. Does 46 divide d?
True
Let w = -1583 + 3285. Is w a multiple of 46?
True
Let k be 6/1 - (-56 - 600). Does 5 divide 18/(-36) + k/4?
True
Let t = 73035 - 27561. Is t a multiple of 39?
True
Let d(v) be the first derivative of v**6/360 - 11*v**5/120 + 7*v**4/8 - 15*v**3 - 8. Let n(c) be the third derivative of d(c). Is n(15) a multiple of 26?
False
Suppose -13*s + 50 = -12*s. Suppose s = -i + 54. Let p = i - -32. Does 36 divide p?
True
Suppose 11*l - 7504 = -5*l. Suppose 4*s + 101 = l. Is 23 a factor of s?
True
Suppose 3071 = -2*v + 6*v - 5*i, v - 3*i - 759 = 0. Does 15 divide 10/(-1 - v/(-768))?
False
Let q(p) = 680*p + 9810. Let a be q(-14). Let r(b) = -13*b**2 + 3*b + 2. Let j be r(4). Let d = a + j. Is d a multiple of 6?
True
Suppose 0 = -g - 3*o + 5, -2*g + 3*o + 15 = 4*o. Suppose 0 = -z + 5, 4*p + 1 = 5*z + g. Suppose p*d + 24 = 10*d. Is 12 a factor of d?
True
Let b = -3539 - -17128. Is b a multiple of 4?
False
Let j be 11/(-22) - 606/(-12). Suppose -4*z + j*v = 51*v - 2046, 5*z = -4*v + 2563. Is 7 a factor of z?
True
Suppose -16*n = -12*n - w - 5280, -5*n + 6600 = 4*w. Is n a multiple of 33?
True
Let d = 248 + -244. Suppose 64*q - 62*q + f - 1358 = 0, d*f = 5*q - 3408. Is q a multiple of 8?
True
Suppose 17*r + 18507 - 85946 = 0. Does 13 divide r?
False
Let w = -5 + 29. Suppose -3*y - 4*b + 11 = -2*y, -4*y + 4*b = -w. Suppose 5*x = -o + 107, 2*x = -3*o + y*x + 241. Is 29 a factor of o?
True
Suppose -4*c + 5*c = -7*c. Suppose f - 300 - 740 = c. Does 13 divide f?
True
Let n be (-2)/(6/(-5))*36. Suppose 4*c + 5*y - 49 = 0, 0 = -3*c - y + 5*y + n. Suppose -20*x + 8 = -c*x. Is x even?
True
Let o be (5 + 70/(-21))*3. Suppose 3*h + o*s - 157 = 0, 17*s = 12*s + 10. Is h a multiple of 3?
False
Let c(l) = -2545*l - 544. Is c(-4) a multiple of 12?
True
Let v(f) = -5667*f - 5001. Is v(-3) a multiple of 12?
True
Does 3 divide (4/2 - -3) + 1977 + 191?
False
Let d(h) = -87*h - 119. Let f(x) = -132*x - 178. Let g(v) = 8*d(v) - 5*f(v). Is 34 a factor of g(-8)?
False
Let x(b) = 3*b**3 + 22*b**2 + 15*b + 31. Let q be x(-9). Let s = -194 - q. Is 21 a factor of s?
True
Suppose 110*w - 8436830 - 1635210 = 0. Is 23 a factor of w?
False
Let w(q) = -q**3 - 6*q**2 + 3*q + 6. Let s = -379 - -371. Does 5 divide w(s)?
True
Let v = -513 + 830. Let w = v + -51. Does 19 divide w?
True
Let s = -1287 - -48764. Is s a multiple of 10?
False
Let q = 259 + -76. Suppose 6*l = -3*h + l + q, -5*h - l = -305. Let s = 115 - h. Is s a multiple of 13?
False
Suppose -37*v - 206*v = -38*v - 3302960. Is v a multiple of 4?
True
Suppose -3*j = -f - 61 - 197, -4*j + 2*f = -344. Does 28 divide 860/(-3)*(-129)/j?
False
Let v(y) = 6*y**2 + 1. Let r be v(1). Suppose -r*u = 6 - 20. Suppose 0 = -u*j, -5*s + 2*j = 5*j - 550. Does 13 divide s?
False
Let x(v) = 4*v**2 + 22*v - 391. Does 18 divide x(-28)?
False
Let w be ((-76)/(-57))/((-2)/504). Let p = -112 - w. Let o = p + -149. Does 10 divide o?
False
Suppose -15*s = 16*s - 46*s + 60375. Is s a multiple of 25?
True
Let u(o) = o**2 - 2*o - 9. Let w(j) = 51*j - 3. Let q be w(1). Suppose -30*k = -33*k + q. Is 43 a factor of u(k)?
True
Let k = 222 + -139. Let s = 153 - k. Is s a multiple of 35?
True
Let s(k) = -k**2 + 6*k + 10. Let c be s(7). Suppose -158 = -c*a + 205. Let z = a + -88. Is z a multiple of 33?
True
Let i be (1 - 1 - 3) + 1044/3. Suppose -18*z + 20*z + x - i = 0, 25 = -5*x. Is z a multiple of 14?
False
Suppose -4*x + 411 = 4*v + x, -2*v = -5*x - 243. Suppose 0 = 9*b + 1 - 10. Let j = v - b. Is j a multiple of 18?
True
Let k(r) = 11*r**3 + 7*r**2 - 3. Let j(o) = -30*o**3 - 18*o**2 + o + 8. Let x(g) = -4*j(g) - 11*k(g). Let z = -7 - -1. Does 6 divide x(z)?
False
Let s(j) = j**3 - 17*j**2 + 80*j - 12. Let m be s(8). Let r = m + 182. Is r a multiple of 16?
False
Suppose 2*q + 2*m - 7*m = 988, -3*q + 1532 = 5*m. Let u = -293 + q. Is 24 a factor of u?
False
Let b = -75 - -75. Suppose b = -i - c + 93, 4*i - 4*c - 357 = -5*c. Is 11 a factor of i?
True
Suppose 101*c = -5*f + 105*c + 46808, -5*f - 4*c = -46832. Is f a multiple of 97?
False
Let o(l) be the second derivative of -l**5/60 - 31*l**4/24 - 7*l**3/3 - 10*l**2 + 20*l. Let n(g) be the first derivative of o(g). Is 14 a factor of n(-24)?
True
Suppose 3*r = 3*x - 6, 3*r - 7*x + 5*x = -2. Suppose -29*y = -27*y + 3*m - 1478, r*y + m = 1482. Does 14 divide y?
True
Is 116 a factor of 14*(-12)/126*13422*(-6)/8?
False
Suppose 4*v = 13 - 17. Is 12 a factor of (-29)/(29/120)*v?
True
Suppose -4*y - 21 = -n + 4, 3*n - 15 = 2*y. Let h(a) = a**3 + 8*a**2 + 8*a + 0*a**2 - a + 0*a - 7. Does 23 divide h(y)?
True
Let g = -12341 - -17483. Is 40 a factor of g?
False
Let z = 81 + -81. Suppose 16*u - 17*u - 4 = z. Does 31 divide (-2455)/(-20) + (-1)/u?
False
Let v(i) = i**3 - 2*i**2 - 1. Let y be v(-2). Let l(p) be the third derivative of -p**4/12 + 5*p**3/6 + 35*p**2. Is 19 a factor of l(y)?
False
Let u(o) = -88*o + 338. Does 13 divide u(-14)?
False
Let l be (-228)/(-14) - 6/21. Let a(n) = -3*n**3 + 49*n**2 - 14*n + 4. Is 9 a factor of a(l)?
True
Does 27 divide (-98*6 + 2)*(-12 + 11)?
False
Suppose -17*a + 2 = 3453. Let p = 951 - a. Is p a multiple of 18?
False
Suppose -5*z + 50 = n, -4*n = -0*n - 4*z - 296. Let k = -55 + n. Suppose 4*w - k = -w. Is 3 a factor of w?
True
Suppose -37*r + 95942 = 17243. Does 3 divide r?
True
Let p(h) = 220*h + 4314. Is p(-7) a multiple of 19?
True
Let y be 142/12 - (-5)/30. Suppose -3*r = 3*r - y. Does 15 divide (-11)/(7/(-35) + 0/r)?
False
Let a = 43 + 43. Suppose 2*m - 608 = -2*m. Let t = m - a. Is t a multiple of 11?
True
Let x = 1114 - 720. Let b = x - 381. Is b a multiple of 6?
False
Suppose 2*x = w - 9, 4*w - 5*x - 30 = -0*w. Is (-850)/(-15)*6/w a multiple of 14?
False
Let j(a) = -13*a + 29 - 6 - 14. Let c(v) = -25*v + 17. Let r(b) = 4*c(b) - 9*j(b). Is 21 a factor of r(4)?
False
Suppose 16*m + 270144 = 43*m - 5742. Is 26 a factor of m?
True
Let t = 182 - 180. Is 28 a factor of t/(-12) - 33045/(-90)?
False
Let b = 2534 - -1030. Is b a multiple of 11?
True
Suppose -3*l = 3*j - 5805, 9*l = -3*j + 8*l + 5811. Is 38 a factor of j?
True
Let p(f) = 3537*f**3 + 5*f**2 - 11*f + 6. Is p(1) a multiple of 27?
True
Let v be (3 + 6 + -10)/((-1)/551). Does 9 divide v/3 + 46/(-69)?
False
Let c(b) = -10*b + 84 + 3*b - 7*b + 10*b. Is 30 a factor of c(-24)?
True
Suppose 69*k + 3043 = 52*k. Let b = 266 - k. Is b a multiple of 59?
False
Let q(m) = 1558*m**2 - 48*m - 156. Is 258 a factor of q(-4)?
False
Let o = -12602 + 14690. Does 24 divide o?
True
Let l be (-498)/(-8) + 2 - (-33)/44. Suppose 3*j + 56 = 4*c - 26, 3*j + 3*c + 96 = 0. Let b = j + l. Does 7 divide b?
True
Suppose -4*h + 3*o = -87356, 1788*h - 1792*h = 5*o - 87420. Is h a multiple of 249?
False
Suppose -4*t + 6*t = -4*z + 3330, 0 = 3*z + 2*t - 2500. Is 166 a factor of z?
True
Let p(j) = j - 1. Let d be p(6). Suppose d*x + 4*n = 644, -x - 5*n + 160 - 48 = 0. Let m = x - 90. Is m a multiple of 6?
True
Let j(s) = s**3 - 63*s**2 + 37*s - 254. Is j(64) a multiple of 129?
False
Suppose 4*j + 5*a - 27 + 174 = 0, -93 = 3*j - 2*a. Let c(w) = -23*w - 27. Does 16 divide c(j)?
False
Suppose 0 = 17*c - 55 - 47. Suppose 2*x - 300 = c*n - 7*n, 0 = 5*n + 2*x - 1500. Is n a multiple of 25?
True
Let k(z) = -797*z + 1269. Is 56 a factor of k(-23)?
True
Let a = 20117 - -5526. Is a a multiple of 13?
False
Let h = 22 - 21. Let n(f) = 5 + h + 24 - 12*f. Does 23 divide n(-9)?
True
Is 32 a factor of (-8)/(-36) + (-11 - (-437206)/63)?
False
Suppose -475 = -4*h - 3*j, 2*j = -29*h + 27*h + 238. Suppose h*g - 127*g = -1638. Is 11 a factor of g?
False
Let i(d) = -5 - 41 - 51 + 7 - 3*d. Does 4 divide i(-34)?
True
Let x be 906/3*(6/(-3))/(-4). Let m = 335 - x. Is 46 a factor of m?
True
Let a = 433 - 313. Let g = a + -71. Does 7 divide g?
True
Suppose 0 = 95*t - 221053 - 1227602. Does 13 divide t?
Tru