, 4*v - 2*w = 90. Does 7 divide v?
True
Let w be 2/(4*(-1)/(-58)). Let t = w - 23. Is t a multiple of 5?
False
Let g = -200 + 230. Is g a multiple of 15?
True
Let q = -162 - -307. Is 5 a factor of q?
True
Suppose 8*z - 187 + 11 = 0. Does 2 divide z?
True
Suppose -z + 0*z + 77 = 0. Let a = z + 53. Suppose 5*n + 15 = 0, -5*n - 20 = -5*c + a. Is c a multiple of 11?
False
Let g = 17 + 3. Suppose -m + 6*q - 2*q = -g, 92 = 4*m - 4*q. Is m a multiple of 9?
False
Let v(x) = 4*x**2 - 7*x + 12. Let m be v(4). Suppose 0 = -4*z - 2*r + m + 218, 5*z = r + 336. Is 10 a factor of z?
False
Is (-14)/(-7) + -2 + 67 a multiple of 4?
False
Suppose -13*n + 4552 = -5*n. Suppose 9*y - n - 322 = 0. Is 33 a factor of y?
True
Suppose -55*p = -44*p - 7425. Is p a multiple of 45?
True
Suppose c = 5*c. Suppose 0 = 4*u - 3*m + 3, -4*u - 2 = -5*m + 3. Suppose u = -z - c*z + 8. Is z a multiple of 8?
True
Let s = 68 + -33. Does 6 divide s?
False
Suppose -2*z + 20 = 5*d, -2*d - 2 + 10 = -z. Suppose 20 = w + d*w. Does 4 divide w?
True
Let u = 251 - 143. Suppose 27 + u = 3*g. Is 9 a factor of g?
True
Let j(s) = 3*s - 1. Let d be j(-1). Let p = d - -10. Suppose -4*x + 2*x + p = 0, 5*f = -2*x + 51. Does 9 divide f?
True
Let p(l) = -2*l**3 - 13*l**2 - 9*l - 5. Let g be p(-8). Let r = -179 + g. Is 16 a factor of r?
True
Suppose 1124 = 5*c + 4*b, -9*c + 7*c + 444 = -4*b. Is c a multiple of 21?
False
Suppose 2*a = o + 7 - 5, -5*a + 10 = 0. Suppose 5*c = -k - k + 645, o*c - 258 = -k. Does 57 divide c?
False
Suppose 0 = -3*i + 9, -i = -2*h - 38 - 13. Suppose -o = 3*o - 216. Let t = o + h. Is 10 a factor of t?
True
Is ((-95)/20 + 3)/((-3)/192) a multiple of 14?
True
Suppose 5*a + 0*a - 25 = 0. Suppose -5*f + 2*i + 26 = 0, -4*f - f = 5*i - a. Suppose f*b - 2*b - 246 = 4*n, 15 = -3*n. Is b a multiple of 31?
False
Let f be (-5)/(3*2/(-474)). Suppose 0 = -r + 3*z + 21 + 116, f = 3*r - 5*z. Does 25 divide r?
True
Let p = -94 - -364. Does 15 divide p?
True
Suppose 0*m = -9*m + 423. Let y = 8 + m. Is 17 a factor of y?
False
Suppose -49*j + 85*j - 51192 = 0. Does 18 divide j?
True
Let c = -40 + 42. Suppose -a + 12 = 2*o - 4, 41 = 5*o + c*a. Is 8 a factor of o?
False
Let d(m) = 32 + 6 + 2*m**2 + 5*m - 22. Is d(-7) a multiple of 5?
False
Let a = 3 + -7. Let y be (-1)/(-1) - 16/a. Suppose -2*l - y*k = -134, -13 - 3 = -4*k. Is l a multiple of 19?
True
Let o = 661 + -288. Does 28 divide o?
False
Let u be ((-2)/(-3))/(4/6) + 25. Let s = u + -2. Does 12 divide s?
True
Let q(y) = -8*y - 5. Let c be q(-4). Suppose -2*p + 0*j + c = -j, -5*p = 3*j - 40. Is p a multiple of 4?
False
Suppose -64 = -3*i - i - 2*p, -5*p = 4*i - 70. Suppose -m + 9 = 2*g, -3*m + 10 + i = 5*g. Is (9/(-2))/(m/(-20)) a multiple of 9?
True
Suppose -13*x = -5691 - 4059. Is x a multiple of 12?
False
Let r(a) = 2*a - 10. Let l be r(7). Suppose 0*b - 4 = l*b. Let v(c) = -44*c**3 - c**2 - c - 1. Is 9 a factor of v(b)?
False
Suppose 2*j = -4*n - 19 + 59, -j + 30 = 4*n. Let h(u) = u**3 - 9*u**2 - 4*u. Is h(j) a multiple of 19?
False
Suppose -108 = -4*x + 5*w, 8*x - 3*x - 135 = -3*w. Does 3 divide x?
True
Is 14 a factor of (10/3 + 0)*117/3?
False
Let s(q) = q**2 - 6*q - 9. Let r(w) = 4*w + 0*w**2 - 5*w + 2*w**2 - w**2 + 3. Let j be r(3). Is 6 a factor of s(j)?
True
Suppose -5*o + 684 = 2*j - 71, -3*j + 750 = 5*o. Suppose 4*g + 3*w = 50 + o, 5 = 5*w. Is g a multiple of 19?
False
Let q be (-1)/(-2)*(0 - 0). Suppose q = -3*k + k - 94. Let p = -2 - k. Is 24 a factor of p?
False
Suppose 4*m = -5 - 7, 5*m + 21 = -g. Does 17 divide 4 - (-844)/6*(-9)/g?
False
Suppose -5*z = -4*a - 154, -2*z - 2*a = 2*a - 84. Suppose -z = 7*m - 118. Is m a multiple of 6?
True
Suppose 0*b = -6*b - 72. Is -98*(10/b - (-20)/(-30)) a multiple of 49?
True
Let z = -183 + 1494. Suppose 0 = 2*p - s - 525, 3*p = -2*p + 3*s + z. Suppose 3*w + w = p. Is w a multiple of 21?
False
Suppose 3*y = -5*r + 51 + 152, -3*r + 115 = -5*y. Suppose 3*d + 115 = 2*f + r, -4*d - 20 = 0. Is f a multiple of 6?
True
Suppose 0 = -3*c + r + 4*r - 6, -4*c - 43 = 5*r. Let x(o) = o + 10. Let v be x(c). Suppose 3*f = j + 48, -v*f + 36 = 3*j - 0*j. Does 10 divide f?
False
Suppose -3*f + 248 = -2*q, 0*q + 3*q + 3*f + 357 = 0. Let n = q - -200. Does 13 divide n?
False
Suppose u - 4*j = 39, -5*j + 72 = 2*u + 2*u. Suppose -2*l + u = -13. Does 6 divide l?
True
Suppose 0 = 5*p + 3*c - 2040, p - 2*c - 408 = -6*c. Is 9 a factor of p?
False
Suppose 9 = -2*w - 3*n, w + 2*n + 6 = 2*w. Suppose 3*c + 3*q - 90 = w, 3*c - 2*c = -5*q + 10. Is c a multiple of 5?
True
Let n be ((3 + 0)/1)/((-3)/3). Is 11072/88 - (-4)/22 - n a multiple of 26?
False
Let p(u) = 1 + 0*u**2 - 11*u + 2 + u**2. Does 3 divide p(11)?
True
Suppose -3*p - 1 = 2*w - 3*w, p = -3*w + 3. Is ((-210)/(-28))/(w/8) a multiple of 16?
False
Suppose 0 = t - 3*q - 48, 4*q + 97 = 5*t - 121. Is t a multiple of 2?
True
Is (-10 + 1)/((8/178)/(-4)) a multiple of 41?
False
Suppose p + 5*c - 119 + 34 = 0, 4*c = -5*p + 404. Suppose -5*u - 5*g + 65 = -p, 0 = 3*u - 4*g - 52. Is u a multiple of 23?
False
Let f = -1348 + 1910. Does 9 divide f?
False
Let u(b) = b**3 - 3*b**2 + 6. Let k be u(3). Let v(w) = 2*w**3 + 3*w**2 - 16*w + 4. Is v(k) a multiple of 56?
True
Let w = 1266 + -252. Is 14 a factor of w?
False
Suppose -8*f = -4*f. Let k(g) = g**2 - g + 4. Let y be k(f). Is 11 a factor of 12*y*6/9?
False
Suppose 4*h = 2*h. Suppose -5*z + 2*i + 820 = h, 3*z = 6*i - i + 511. Is z a multiple of 27?
True
Let b(j) = -36*j**3 - 2*j**2 + j + 2. Suppose -3*q = -7 + 10. Is 5 a factor of b(q)?
True
Let f(d) = 10*d**2 - 2*d + 2. Let b be f(1). Suppose b*x - 317 = 883. Is 30 a factor of x?
True
Suppose -3*o = -21 - 84. Let g = o + -28. Is g even?
False
Let f(x) = 15*x**2 - 10*x - 6. Let s be f(-4). Suppose -s = -4*m + 374. Does 18 divide m?
True
Let l(r) = 2*r**3 - 33*r**2 + 51*r + 22. Is l(17) a multiple of 19?
True
Let a(i) = -27*i + 1. Let p be a(-4). Let q = p + 71. Is 19 a factor of q?
False
Let n(t) = -t**3 - 8*t**2 - 9*t - 4. Let p be n(-7). Let y = 145 + -172. Does 25 divide y/(-18)*p*5?
True
Suppose 0 = z + 4*z + 2*q - 1068, -1040 = -5*z + 5*q. Suppose -4*l + 5*d + 347 - 123 = 0, -4*l + 2*d = -z. Is l a multiple of 5?
False
Let k be 36/8 + 15/(-10). Suppose k*w - 268 - 47 = 0. Is 12 a factor of ((-10)/(-7))/(3/w)?
False
Let f = 87 + -30. Let w be f/12 - 3/4. Suppose -w*z = -196 - 52. Does 17 divide z?
False
Let n = -112 + 80. Let r be (n/(-6))/((-18)/(-27)). Suppose -r*m = -11*m + 90. Is m a multiple of 10?
True
Suppose -8*f = -6*f. Let y(z) = z**3 + z + 276. Let o be y(f). Suppose 0 = -3*d + 7*d - o. Is 25 a factor of d?
False
Let p = -59 + 33. Suppose 149 = 5*b - 46. Let g = b + p. Is 10 a factor of g?
False
Suppose 7*s + 15 = 12*s. Suppose 2*m = 3 + s, 2*m - 801 = -5*y. Does 24 divide y?
False
Let z(a) = -a**2 + 7*a - 5. Let f(s) = -s**2 + 8*s - 6. Let w(o) = -4*f(o) + 5*z(o). Let c be w(2). Let j = c - -5. Does 3 divide j?
True
Suppose -t - 267 - 446 = -5*l, -3*l - 5*t = -411. Does 26 divide l?
False
Let x = 914 - 610. Is 8 a factor of x?
True
Let f(q) = -q**3 + 11*q**2 + 22*q - 135. Does 9 divide f(7)?
False
Suppose -3*s + 923 = 2*l, -l + 3*s + 461 = 5*s. Does 68 divide l?
False
Suppose 4*a + 206 = 302. Is a a multiple of 11?
False
Suppose 0*o + 4*y = 5*o + 50, -2*y - 10 = 0. Is (o/(-28))/((-1)/(-90)) a multiple of 15?
True
Let z(l) = l**2 + 5*l + 12. Let r be z(-8). Let o = 40 - r. Suppose o*p - 43 = 3*p + 5*d, p + 3*d - 19 = 0. Is p a multiple of 7?
True
Let o(v) = -2 + 52*v - 1 + 2 - 3. Is 17 a factor of o(1)?
False
Suppose c - 2*w = 26, 5*c + 2*w = -w + 91. Suppose -4*o - 5*f + 23 = -3*o, 0 = -5*f + c. Is 3 a factor of o?
True
Let m = 188 + -153. Does 6 divide m?
False
Let k be 2/11 + (155/(-55))/(-1). Suppose -a + 5*v + 80 = 0, k*a - 200 = -2*v + 23. Is 15 a factor of a?
True
Let z(s) = -s - 1. Let b be z(-5). Let a = 469 - 352. Suppose -b*n - 5*c + a = -91, 5*n + 3*c = 273. Does 19 divide n?
True
Let r be 26/(-4)*(25 + 1). Let h = r + 272. Does 11 divide h?
False
Let o(y) = -3*y + 8. Let x be -3*1 + (-335)/(-5). Let v be ((-9)/12)/(4/x). Is o(v) a multiple of 22?
True
Let f(z) = 67*z + 1. Let h(p) = p**2 - 9*p + 13. Let i be h(9). Let n(k) = -k**2 + 14*k - 12. Let x be n(i). Is f(x) a multiple of 31?
False
Let t be (36/(-126))/((-1)/14). Suppose -221 = -t*g + 3