ppose 431 - n = -10*u. Is u a multiple of 6?
True
Let c(s) = 3*s + 107. Let q be (-1 - 4)/(-1 + 12/15). Is c(q) a multiple of 37?
False
Suppose 5*p - 426 = 79. Suppose -p + 21 = -5*k. Suppose 815 - 63 = k*w. Does 6 divide w?
False
Let m = 6 - 12. Let l(f) = -54 + 12 + 34 - f**2 - 11*f. Is 16 a factor of l(m)?
False
Suppose -498*v + 1710 = -495*v. Suppose 14*g - 8452 = -v. Is 11 a factor of g?
False
Suppose -3*f + 3*v + 3786 = 0, 69*v - 74*v - 5052 = -4*f. Is 34 a factor of f?
True
Suppose v - 4*u + u - 4 = 0, -7 = -4*v + 3*u. Let b be v/4 - (-1177)/44. Let a = 17 + b. Is 7 a factor of a?
False
Let o = -30 - -34. Suppose -2*f = -5*f + 4*u + 4, -u - 1 = -5*f. Suppose f = -6*b - o*b + 500. Is b a multiple of 5?
True
Let g be -2 - 1 - (0 - 8). Suppose g*r - 25 = 3*p, 5*p - 5 = -0*r - r. Suppose -m - 2 + 4 = p. Is m a multiple of 2?
True
Suppose 0 = -p + 2*u + 8, 5*p + 0*u - 24 = 2*u. Suppose x = 5*o + 98, -4*x + p*o + 308 = 5*o. Is x a multiple of 13?
True
Suppose -2*a + 5*o = -48629, -47*o - 24325 = -a - 43*o. Is a a multiple of 13?
True
Suppose 34*x = -204*x + 3223472. Is x a multiple of 17?
False
Suppose 0 = d - 4*p - 29, d - 7 = -5*p + 13. Suppose 0 = -d*t + 30*t - 5*n - 1840, 0 = t - 2*n - 368. Does 16 divide t?
True
Suppose 0 = -72*c + 71*c + i + 2721, -2*i = 4*c - 10878. Does 20 divide c?
True
Does 69 divide (-23 - 24)/(7/(-2821))?
False
Suppose 138303 = 216*d - 19335 - 690. Is 6 a factor of d?
False
Let t = 1342 + 26738. Does 39 divide t?
True
Let q(n) = 3*n**3 + 48*n**2 - 110*n - 13. Does 19 divide q(-13)?
False
Let o be 0/((3 - 4) + 2). Suppose b - m - 6 = 2*b, 2*b + 3*m + 15 = o. Is b + (4 - 4) + 32 a multiple of 6?
False
Suppose 4*f - 8*f - 40 = 0. Let r(g) be the first derivative of g**4/4 + 4*g**3 - g**2/2 - 12*g - 17. Is 33 a factor of r(f)?
True
Suppose -57*f + 34*f = -9016. Suppose w - 2*m = f, 5*w - 10*m + 14*m = 2016. Is 16 a factor of w?
True
Let i(h) = h**3 - 8*h**2 + h - 4. Let c = -22 - -30. Let v be i(c). Suppose 0 = -v*a + 6*a - 304. Is a a multiple of 37?
False
Let d = -316 - -467. Suppose -4*m + 556 = -4*w, 4*w + d = 2*m - 135. Is 5 a factor of m?
True
Suppose -6*i + 65 = -79. Suppose 8*r = i + 128. Is r a multiple of 3?
False
Suppose -636 - 95393 = -109*w. Does 4 divide w?
False
Does 3 divide 821 + (-3 - (1 - 17))?
True
Suppose 4*k = -3*r + 63, -57 - 40 = -5*r - 4*k. Suppose v + 3*j + 0 = r, -3*v - 19 = -5*j. Suppose -4*f = x - 13 - 5, -2 = -v*f. Does 7 divide x?
True
Suppose 288*h + 95368 = 316*h. Is h a multiple of 131?
True
Is -4 + (-1337290)/240*-2 + (-1)/12 a multiple of 5?
True
Suppose -48339 = -50*k + 9*k. Does 131 divide k?
True
Let h(l) = 17*l - 245. Let d be h(14). Let o(s) = 8*s**2 - 2*s - 6. Is o(d) a multiple of 16?
True
Suppose 33*z - 35*z = 0. Let p be (-12*(-1 + z))/(9/6). Suppose p*f - 735 = 3*f. Is 28 a factor of f?
False
Suppose -7*p + 1 = -6. Let a be 2*-2*(p - 2). Suppose -a*x - 3*y - y + 44 = 0, 15 = x + 3*y. Does 3 divide x?
True
Let x(y) = 2*y**2 - 3*y + 1. Let n be x(2). Let z be -172*(-2 + n)*3/(-6). Suppose -a - 13 = -2*j - z, -j = a - 85. Does 5 divide a?
False
Let a = -3964 + 7164. Does 16 divide a?
True
Is 14 - 3927*(5 - 6) a multiple of 70?
False
Let x(i) = 83*i - 8. Suppose 2*w + 4 = 5*w + 2*a, -4*a = -20. Let g be x(w). Let y = 281 + g. Is y a multiple of 4?
False
Let k(j) = 49*j**3 + 12*j**2 - 81*j + 639. Does 83 divide k(9)?
True
Let x(y) = -12 - 5 - 39847044*y**3 + 39847045*y**3 - 17*y**2 + 27*y. Suppose -48 = -4*a + a. Does 36 divide x(a)?
False
Let o be (-12)/(-3) - 17/1. Let t = o - -19. Suppose -t*n = -4*n - 160. Is n a multiple of 16?
True
Let q = 24243 + -16043. Is 72 a factor of q?
False
Does 43 divide 12 - -717*(180/(-27) - -8)?
False
Let a be (-55)/15 - -4*(-1)/(-6). Let k be 5 - -10*a/(-6). Suppose k*m - 120 = 6*m. Is m a multiple of 16?
False
Suppose -10 + 61 = 3*y. Let i(s) = 3*s**3 - 35*s**2 - 5*s + 72. Let r(g) = -g**3 + 12*g**2 + 2*g - 24. Let p(t) = y*r(t) + 6*i(t). Is p(6) a multiple of 16?
True
Suppose 5*a = -3*g - 1589, -6*g - 2*a = -4*g + 1066. Let w be (-7)/(-21) - g/6. Suppose 4*c + 5*s - w = 3*s, s = c - 27. Does 4 divide c?
True
Let c = 4691 + 73. Does 12 divide c?
True
Let w = -20419 + 30355. Suppose -15*j - w = -24*j. Is 36 a factor of j?
False
Let a(t) = -1485*t + 6439. Is 8 a factor of a(3)?
True
Let x(v) = -v**3 + 7*v**2 - 3*v - 8. Let n be x(6). Suppose 5*b + n = 0, 0 = d + 2*b - 5*b - 38. Does 8 divide d?
True
Suppose 329 + 296 = -25*i. Is i/5 + -4 - -315 a multiple of 18?
True
Let n be 17 + 63/36*-4. Suppose -332 = n*i - 1412. Is 18 a factor of i?
True
Let y(z) = 180*z**2 - 26*z - 15. Is y(4) a multiple of 14?
False
Suppose 9*z - 8*z + 6 = -3*s, 0 = 3*s + 3*z. Is (184 - (-14)/2) + s a multiple of 6?
False
Suppose 2425*x + 35406 = 2467*x. Is x a multiple of 47?
False
Let c(q) = 19*q**2 + 7*q + 12. Let z be c(13). Let u = -4726 + z. Is u/(-4) - (-7 + 0 + 3) a multiple of 51?
True
Let o(r) = -r**3 + 7*r**2 + 17*r + 13. Let i = 17 - 8. Let b be o(i). Is 2/4 + 310/b a multiple of 13?
True
Let p be 1*(-1192)/(-10) + 180/225. Suppose 23*k - 27*k = -p. Is 10 a factor of k?
True
Let a be (-4)/(-1) + -2 + 5 + -4. Suppose 0 = -2*m, a*m = 7*v - 2*v + 930. Let t = v - -298. Does 14 divide t?
True
Let o(q) = 8*q**3 - 3*q**2 + 7*q - 4. Let r be (-5)/(8/3 + -3). Let s be (-15)/r*(1 + -3). Is o(s) a multiple of 29?
False
Suppose -j + 41421 = 3*p, 663*p = j + 664*p - 41407. Is j a multiple of 46?
True
Let q = 5010 + -2692. Does 9 divide q?
False
Suppose -2096 = 22*b - 26*b. Suppose 46*z = 42*z + b. Is 5 a factor of z?
False
Let f = 101 - -424. Suppose 0 = 5*k - 12*k + f. Does 15 divide k?
True
Suppose -3089*n = -3124*n + 961380 - 314020. Does 68 divide n?
True
Suppose 4*n = -3*v - 20, 3*n + 6*v = 3*v - 15. Let d(u) = -20*u + 10. Is 10 a factor of d(n)?
True
Let z be (-2)/11 - (-8 - (-384)/66). Suppose 0 = -f - 3*m - 4, z*f + 5 = -3*m - 0. Does 37 divide (295 + 2 + f)*(-63)/(-126)?
True
Let h = 10830 + -6366. Is h a multiple of 24?
True
Let i = 599 + -295. Is 38 a factor of i?
True
Let g(f) = f**2 + 22*f - 20. Let v be g(-23). Let a be 7 + (-3)/((-6)/4). Is 15 a factor of (-299)/(-3) + v/(a/1)?
False
Let p = -1 - 33. Let x = -29 - p. Suppose 2*n + 2 = a + 27, -x*n + 2*a = -60. Is 5 a factor of n?
True
Let c(z) = 8*z**2 + 14*z + 1. Let h = 601 + -592. Is 25 a factor of c(h)?
True
Suppose -5*s = u + 4*u - 10, 4*u - 6 = -3*s. Let j(m) = m**3 - 5*m**2 + m**2 + 48 - m**2 + 6*m - 7*m**s. Does 10 divide j(12)?
True
Suppose 0 = 17*o - 21*o - 4. Let h be 29/29 - o*4*41. Let u = -137 + h. Is 19 a factor of u?
False
Suppose -4*j + 15*j = 165550. Suppose -46*l + j = -11*l. Is 4 a factor of l?
False
Let y(j) = -708*j + 3716. Does 53 divide y(0)?
False
Suppose -5*v - l - 33985 = -88826, -v + 10991 = 4*l. Is v a multiple of 18?
False
Let q(m) = -2*m**3 - 51*m**2 - 4*m - 30. Let k(v) = -6*v**3 - 152*v**2 - 14*v - 90. Let b(g) = -3*k(g) + 8*q(g). Is 39 a factor of b(-23)?
True
Let v = 30 + -27. Suppose -b - 20 = v*b. Let y = b - -57. Is y a multiple of 13?
True
Let v = 1515 - 3145. Let t = v - -2928. Does 22 divide t?
True
Let x be (15 - 16)/(1 - 13/12). Does 11 divide 45714/76 + 3/x*-2?
False
Suppose 80 = 4*w + 3*d - 5*d, 12 = 3*d. Let t = w + -21. Is 3696/28 - t*2/1 a multiple of 24?
False
Suppose 6*u - 8*u = -3*r + 3, -6 = r - 3*u. Suppose 12*m + 36 = r*m. Does 9 divide m/10 - (-1638)/45?
True
Suppose 0 = -29*o + 20*o + 162. Does 2 divide 66/(-297) + 1264/o?
True
Let y(m) = m**2 + 15*m + 36. Let l be y(-11). Let k(r) = 4*r**2 - 21*r - 244. Does 12 divide k(l)?
True
Let p(l) = 18*l**2 + 39*l - 127. Let q be p(26). Suppose -q + 705 = -13*k. Is 21 a factor of k?
False
Let d = 31392 - -5208. Is 8 a factor of d?
True
Let u(m) be the first derivative of -m**4/4 + m**3/3 + 59*m + 38. Let r be u(0). Let s = 107 - r. Is s a multiple of 6?
True
Let y(z) = -z**2 + 23*z - 30. Let x(f) = -15*f**2 - 3*f. Let a be x(-1). Let c be 6*(-1)/4*a. Is 30 a factor of y(c)?
True
Suppose 5*u - j - 832 = -239, 0 = 2*u - 3*j - 245. Suppose -u*h = -119*h + 1156. Suppose 0 = 37*t - 41*t + h. Is 17 a factor of t?
True
Let y(n) = n**2 - 55*n + 279. Let g be y(0). Suppose 4 + 2 = -3*a, -12 = -2*l + 3*a. Suppose -l*r = -0*r - g. Is r a multiple of 16?
False
Let l(f) = 286*f - 24. Suppose -195 = 5*y - 215. Is l(y)