*f. Suppose 8 = -2*i + 6*i. Suppose 2 + 4 = w - 5*z, p*z = i. Does 4 divide w?
False
Suppose -70*a + 1413 = -1107. Is 3 a factor of a?
True
Does 40 divide 1944*(160/(-3))/(-16)?
True
Let r = -35 + -41. Let y = 0 - r. Let h = y - -64. Does 35 divide h?
True
Does 8 divide -3*(0 - -2) + 4292?
False
Suppose -2083 = -6*s - 511. Is 4 a factor of s*5/(-10)*-1?
False
Let c = -4557 - -5974. Does 2 divide c?
False
Suppose 2*y - 11 = u, 0 = -4*y + 2*y + 2*u + 14. Suppose y*a - 29 = 15. Let l(h) = -h**3 + 10*h**2 + 16*h - 1. Is 6 a factor of l(a)?
True
Suppose 2*j + 0*j + 63 = i, 0 = -5*i - 3*j + 250. Suppose -i*l + 410 = -51*l. Is 41 a factor of l?
True
Let d(b) = -12*b**3 - 9*b**2 - 48*b - 23. Is 11 a factor of d(-8)?
True
Let v(h) = -h**3 - 3*h**2 - 7*h + 83. Let x be v(-11). Suppose -4*u + 9*q + x = 5*q, u - 5*q - 270 = 0. Is u a multiple of 15?
True
Let q be 2/(-3)*54/(-12). Suppose -q*v - 7 = -13. Suppose 2*s + k - 2*k = 156, v*s - 156 = -4*k. Is 26 a factor of s?
True
Suppose -16 = -2*k - 12. Suppose 26 = -6*l + k. Does 17 divide 123 - (-4 - l)/(-2)?
False
Let w be (-2502)/(-45) - 2/(-5). Suppose -65*b + 693 = -w*b. Does 9 divide b?
False
Let u be 6 - (0 + (-28)/(-7)). Let l(v) = 33*v**3 - 2*v. Is 20 a factor of l(u)?
True
Suppose -8*r + 60 = 4*r. Suppose -2*o - r = 27. Does 20 divide (7 - (-364)/o)/((-2)/24)?
False
Suppose -o + 5*i + 8902 = 0, -3*o + 116*i = 119*i - 26832. Is o a multiple of 27?
True
Let h(r) = -206*r - 1390. Does 17 divide h(-15)?
True
Suppose -s + 5*w = -29, 8*w + 57 = 3*s + 3*w. Suppose -4*a + 10080 = s*a. Is a a multiple of 16?
True
Let o(v) = v**3 + 13*v**2 - 17*v - 33. Let q = -34 - -20. Let k be o(q). Let j(w) = 5*w**2 - 22*w + 3. Is 15 a factor of j(k)?
True
Let i be (47840/56)/(1/7). Suppose 6*y = y + i. Is 23 a factor of y?
True
Let p(c) = -10*c - 26. Let z be p(-3). Suppose 0 = -z*f + 478 + 682. Does 29 divide f?
True
Suppose -24 = -4*i - 4, 0 = -g - 4*i + 22. Let v(c) be the first derivative of 13*c**4/4 + c**2/2 - 42. Is v(g) a multiple of 42?
False
Suppose 2*k + 886 = -m - 3*m, -2*k - 886 = -4*m. Let h = -335 - k. Is h a multiple of 18?
True
Let q(n) = -4*n**3 + n**2. Let j be (9/(-18))/(1/2). Let a be q(j). Suppose -3*m - a*h - 7 = -49, -2*h = 0. Is 12 a factor of m?
False
Let k(t) = 202*t - 664. Is 10 a factor of k(7)?
True
Suppose 16*x - 8947 = -a + 19*x, -4*a = -x - 35832. Is 38 a factor of a?
False
Let p(m) = -m**2 + 283*m + 5130. Does 9 divide p(0)?
True
Does 51 divide (-300)/(-450)*(7199 - (4/(-8) - -1))?
False
Let n(f) = -6*f**3 - 34*f**2 - 101*f + 97. Does 55 divide n(-21)?
True
Suppose -1845 = -2*f + 5*v, 8*f = v - 2294 + 9731. Does 5 divide f?
True
Let x(o) = 6*o**2 + 45*o - 969. Is x(35) a multiple of 153?
True
Suppose -v + 4*a + 231 = 0, 0*v + 3*v = 2*a + 693. Let w = 856 - v. Is 16 a factor of w?
False
Let c(k) = 71 - 34*k + 24*k + 37*k. Is c(14) a multiple of 11?
False
Let c(p) = -p**2 + 27*p + 94. Let k be c(30). Suppose -k*z + g = 185 - 1261, 0 = -5*g - 20. Is 67 a factor of z?
True
Let b = -5029 - -12021. Is 8 a factor of b?
True
Let y(o) = 4*o + 30. Let r be y(-8). Let m be 1138/(-18) + r/(-9). Does 14 divide (m/36)/((-2)/208)?
True
Suppose -10*p = -3*l - 6*p + 695, l - 237 = 4*p. Is 21 a factor of l?
False
Suppose -9*d = -1464 - 390. Suppose u - 3*a - 303 = 0, -2*u - 5*a + d = -444. Is u a multiple of 35?
True
Suppose -o = -2, -p + o = 2*o + 6. Let z(l) = -6*l + 9. Let u be z(p). Let k = -40 + u. Is k a multiple of 10?
False
Let j be 6/24 - (-17)/(-4). Suppose -18*u + 17*u - 22 = -5*b, b - 62 = 5*u. Does 23 divide 112 - j/((-16)/u)?
True
Suppose 2*z = 5*v - 3*z - 245, -3*v - 2*z + 172 = 0. Let i = -127 - -29. Let b = v - i. Does 38 divide b?
True
Let x(f) = f**3 + 113*f**2 - 497*f + 199. Is x(-116) a multiple of 217?
False
Let i(k) = -345*k + 72*k - 312*k - 26 - 22 - 245*k. Does 66 divide i(-1)?
False
Let w(g) = -g**2 - 31*g - 169. Let o be w(-7). Is 14 a factor of 1*o + (-7 - 1) + 121?
True
Suppose -1237*m = -1241*m + s + 14391, 0 = -5*s + 5. Is m a multiple of 2?
True
Suppose 0 = -0*o - 2*o - i + 33, -5 = -5*i. Let c = o - 16. Suppose -4*p = -5*q + 299 + 52, c = 4*q + 4*p - 288. Is 25 a factor of q?
False
Let x(r) = r**3 + 6*r**2 - r - 3. Let y be x(-6). Suppose -8*i + 3*i = 5*s - 330, 2*s + y*i - 129 = 0. Is 3 a factor of s?
True
Let o(a) = 2*a**2 + 2*a + 2. Suppose 0 = -2*s - d + 4*d - 20, 2*d = 8. Let l be o(s). Let v = 45 - l. Is 3 a factor of v?
False
Suppose 180723 = 5*l + 2*d, -l - 102*d + 107*d + 36123 = 0. Does 28 divide l?
False
Suppose -521 = i + d + 4*d, 0 = -3*i + 5*d - 1603. Let a = i - -587. Is a a multiple of 4?
True
Suppose 3*g = 15, 4*g - 8*g + 2710 = 5*v. Is 21 a factor of v?
False
Let z(j) = 8*j**3 + j**2 - 5*j + 3. Let n be z(1). Does 14 divide n/42 - ((-1931)/6 - 0)?
True
Let k(c) = -c**3 - 3*c**2 - 3*c - 3. Let f be k(-3). Is f/42 - 984/(-21) a multiple of 4?
False
Let f(z) = 1751*z**2 + 17*z + 13. Is f(-1) a multiple of 81?
False
Let p = -1573 + 1863. Let m = -1449 - -2038. Suppose -k = k + a - m, k + 2*a = p. Is k a multiple of 55?
False
Let y(h) = h**3 + 25*h**2 + 45*h - 21. Let s be y(-23). Suppose 0 = 4*r + 2*u - 8 - 70, -2*r + 36 = -s*u. Suppose -23*x + 1072 = -r*x. Does 36 divide x?
False
Let p be 1409 + (22/33)/(3/(-18)). Let n = p + -1000. Is 15 a factor of n?
True
Let c = 23601 + -10649. Is 22 a factor of c?
False
Let b(y) = -5*y - 16*y - 31 - 95 + 6*y. Is b(-34) a multiple of 32?
True
Let d = -18284 - -32675. Does 27 divide d?
True
Let h(j) = j**3 - 16*j**2 - 12*j + 15. Let p be h(17). Let v = 8 - p. Let i = v + 232. Is 35 a factor of i?
True
Let x be (3 + -4)/(1/(-27)*-3). Does 35 divide 2/4 + x/(90/(-3145))?
True
Suppose 3*p + 7083 = u, -35271 = -5*u + 9*p - 10*p. Is u a multiple of 28?
True
Let a(c) = -2*c**2 - 65*c - 29. Let z be a(-32). Suppose 0 = 5*q + 5*x - 5065, 0*q - z*q + 5*x = -2999. Is 42 a factor of q?
True
Is (413364/(-152))/((-9)/12) a multiple of 14?
True
Let y = 29 - -3975. Suppose -28*t = -15*t - y. Does 6 divide t?
False
Let l be (-1150)/15*(-3)/2. Does 24 divide (-6004)/(-5) - 92/l?
True
Let n(f) = 55*f**3 + 12*f**2 - 52*f + 171. Is n(4) a multiple of 10?
False
Suppose 22*i = 677641 - 90153. Is i a multiple of 16?
True
Suppose -4*s - 23*u + 16666 = -18321, s = -u + 8780. Does 87 divide s?
True
Suppose -776 = 9*v - 5*v. Let y = -113 - v. Suppose -3*k + 163 = -o + 2*o, 0 = k - 5*o - y. Is k a multiple of 14?
True
Suppose -70*n = 62 + 11068. Is 78 a factor of 937/3 - (-53)/n?
True
Let s = 2572 - 394. Suppose 7*f = -2*f + s. Is 22 a factor of f?
True
Suppose 5*v - 3 = 12. Suppose -1315 = -4*o - v*s, 0 = -13*s + 8*s + 5. Is o a multiple of 18?
False
Let g(x) = -4*x**3 + 49*x**2 - 6*x - 30. Is 101 a factor of g(8)?
True
Let x(i) = i + 23. Let h be x(-23). Suppose 4*r + s + 553 = h, 2*s + 147 = 3*r - 4*r. Let f = -97 - r. Is 10 a factor of f?
True
Let a(z) = 20*z - 30. Let c(x) = -18*x + 31. Let n(s) = 6*a(s) + 7*c(s). Does 24 divide n(2)?
False
Suppose -5*x + 17*x - 16560 = 0. Is 27 a factor of x + (-3 - 7) + 7?
True
Let i = -1 - -3. Suppose -7*u = -26 - 9. Suppose -22 = -o + 4*z - 3*z, u*o - 116 = i*z. Is 6 a factor of o?
True
Let a be 2*(-1)/6*1293. Let w = a + 750. Let i = w - 164. Is i a multiple of 31?
True
Let p(q) = 12*q + q**3 - 2*q**2 + 1 - 10 + 0. Let w be (6/54)/(3/135). Is p(w) a multiple of 6?
True
Let d = -714 - -720. Let p(z) = 103*z + 75. Is 11 a factor of p(d)?
True
Let d(r) = 2*r + 43. Let l be d(-19). Suppose 2*a = -l*x + 3653, 0 = 3*a - 3*x + 4*x - 5460. Suppose a + 533 = 14*h. Does 14 divide h?
True
Let t(s) = 30*s + 91. Let m be t(9). Let y = m + 35. Is y a multiple of 36?
True
Suppose 0 = 204*d - 177*d - 3699. Is d a multiple of 6?
False
Let a = -740 + 740. Suppose -59*u + 8*u + 44217 = a. Is 14 a factor of u?
False
Let s = 652 + -1302. Let y = -479 - s. Is y a multiple of 10?
False
Suppose -3*n = 2*d + n - 10, 0 = 4*d - 5*n - 72. Suppose -1099 = -d*q + 383. Let x = q + -77. Is 17 a factor of x?
False
Let o be -3188*(-2)/4 - 5. Suppose -3*d - 455 = -o. Does 14 divide d?
True
Let c be (5/1)/(2/(-34)). Is (c/35 - -3) + (-1389)/(-7) a multiple of 40?
False
Let j be 1 + 0 + (-184)/(-4). Let m = -45 + j. Is 17 a factor of ((-68)/(-5))/((-22)/(-10) - m)?
True
Suppose 4*b - 170*j - 177053 = -169*j, 2*b - j - 88523 = 0. Is b a 