 Suppose -3*u = -z + 196. Suppose 2*c - u = -2*c. Is 15 a factor of c?
False
Does 64 divide 2978 - (19 + 120/(-12))?
False
Suppose -2*j - 136 - 8 = 0. Let b = 101 + j. Does 3 divide b?
False
Suppose 5*o - 19 = z, -2*o - 3*z = z - 12. Let f(t) = 14*t - 12. Is 26 a factor of f(o)?
False
Let r(t) = t**2 - 3*t + 9. Let s = 19 - 13. Is r(s) a multiple of 27?
True
Suppose 0 = -x - 6*x + 28. Suppose 0 = -z - 2*z - 6, -4*z = x*f. Is 2 a factor of f?
True
Suppose -4080 = 40*v - 45*v. Is 68 a factor of v?
True
Let s(i) = i**3 + 7*i**2 - 6*i + 6. Let m be s(-8). Is (-912)/m - (4 - (-38)/(-10)) a multiple of 9?
False
Suppose 85*y - 2250 = 75*y. Does 7 divide y?
False
Let z(l) = l + 175. Let g be (-3 - -3)/(0 + 1). Let t be z(g). Suppose b + 4*b - t = 0. Is b a multiple of 5?
True
Let w be (-54)/(-72) - (-586)/8. Let v = 126 - w. Does 20 divide v?
False
Let k = -1288 + 1932. Is k a multiple of 3?
False
Let m be 3/(-9)*0 + 119. Does 8 divide 2842/m + (-2)/(-17)?
True
Let y(m) = 12*m**2 - 1. Let i be y(1). Let k = i + 3. Does 5 divide k?
False
Let m(q) = 4*q + 63. Is m(0) a multiple of 9?
True
Suppose 1222*o - 1230*o + 10056 = 0. Does 14 divide o?
False
Let a be ((-10)/(-8))/(-4 - 99/(-24)). Suppose -7*j - 336 = -a*j. Is 15 a factor of j?
False
Suppose 4528 = 23*n - 15*n. Does 35 divide n?
False
Let s(i) = 31*i - 3. Let b be 5/((-80)/(-12))*4. Is 30 a factor of s(b)?
True
Is 8 a factor of 62*6/16 - (-192)/256?
True
Suppose -y = -0*y + 10. Let w = 13 + y. Suppose r - 17 = -u, -3*r - 2*r = -w*u - 69. Does 9 divide r?
False
Let b = 24 - -57. Does 9 divide b?
True
Suppose 32*a = 26*a + 780. Let t = 2 + a. Does 7 divide t?
False
Let p be (-75)/(-4) - (-1)/4. Let j = p + -1. Is j a multiple of 3?
True
Suppose 0 = -2*y - 2*v + 2, -3*y + 5 = -2*v + 17. Let f(s) = 2 - 3 - 15*s - 2 + 2*s. Is 5 a factor of f(y)?
False
Let s(q) = -370*q - 64. Is s(-2) a multiple of 29?
False
Let g(a) = a**2 + a + 30. Suppose 0 = 3*n - 3*i, 3*n - 4*i = -3*i. Does 4 divide g(n)?
False
Suppose r - 5*c = -16, -2*c - c = 3. Is ((-72)/7)/(3/r) a multiple of 8?
True
Suppose -4116*m - 330 = -4127*m. Is 18 a factor of m?
False
Let a = 3 - -32. Does 7 divide a?
True
Let q(d) be the third derivative of -7/3*d**3 - 5*d**2 - 1/4*d**4 + 0*d + 1/6*d**5 + 0 + 1/120*d**6. Does 23 divide q(-10)?
True
Let z(v) = -v**3 - 5*v**2 - 2*v - 37. Does 30 divide z(-7)?
False
Let a be 72/2 + 2/(-1). Let x = a + -21. Suppose -k + x + 4 = 0. Is k a multiple of 10?
False
Does 16 divide (16224/(-30))/(12/(-60))?
True
Does 18 divide ((-207)/4)/(29/(-232))?
True
Suppose 2*r + 0 = 3*z + 17, -33 = -3*r + 3*z. Let s(k) = k - 20. Let o be s(r). Let v = o - -27. Is v a multiple of 7?
False
Let k(y) = -185*y - 84. Does 26 divide k(-7)?
False
Suppose 0 = -4*j - 1223 + 15. Let h = j - -431. Is 9 a factor of h?
False
Let t = 8 - 33. Let p = 19 + t. Does 26 divide ((-202)/6)/(2/p)?
False
Let n(h) = h**3 + h**2 - h + 6. Let k be (-65)/(-26)*(-6)/(-5). Is n(k) a multiple of 8?
False
Let j(a) = -3*a - 26. Let x be j(6). Let n = x - -52. Is 8 a factor of n?
True
Suppose 0 = -4*x + 3*f + 2389, 2*f - 7*f - 2985 = -5*x. Does 23 divide x?
True
Suppose -3*x + 700 + 809 = 0. Suppose x = v + 2*v + 4*m, 3*v + 2*m = 499. Is 31 a factor of v?
False
Suppose -5*u + 23 = 4*r - 59, -3*r + 3*u = -75. Let d = 32 - r. Is d a multiple of 2?
False
Let c = 1 - -81. Let y = 132 - c. Is 10 a factor of y?
True
Suppose -3*m - 9 = -2*d - 2*m, -5*m + 21 = d. Suppose -52 = 7*i - d*i. Is 1/((-56)/i + -1) a multiple of 5?
False
Let c(n) = 3*n**2 - 8*n + 7. Let q(r) be the second derivative of -r**3/6 - r**2 + 4*r. Let h be q(-7). Is 14 a factor of c(h)?
True
Suppose -2*j + 252 = 2*y, j - 124 = -11*y + 8*y. Does 2 divide j?
False
Suppose -6*s + 8*s + 28 = 0. Let q = -9 - s. Suppose 5*y - 2*r = r + 459, -2*y + 195 = -q*r. Is 26 a factor of y?
False
Suppose 0 = -780*c + 772*c + 2168. Is c a multiple of 12?
False
Suppose 4*p = 4*z + 72, p - 31 = 2*z - 0. Is (-3 - -5)/((-2)/z)*1 a multiple of 2?
False
Let u = 1308 + 540. Suppose 0 = -19*g + 8*g + u. Is 28 a factor of g?
True
Let y(m) = 16 - 6 - 3*m + 18*m. Let g be y(9). Suppose -5*j + j = 5*t - 116, g = 5*j - 3*t. Is 29 a factor of j?
True
Let g = 318 - 106. Suppose g - 594 = -2*c. Does 24 divide c?
False
Suppose t + 3 = -4*h, -3*h - 4 = -h. Suppose t*k - 6*k + 3*d = -185, 545 = 3*k - 4*d. Is k a multiple of 15?
False
Suppose -2*z = -6*z - 24. Let c(l) = 6*l - 63. Let d be c(17). Is z/d + 548/13 a multiple of 31?
False
Is 7 a factor of (-310)/(-4) - (-1)/(-10)*5?
True
Let p be 0 + -3 + (-24)/(-8). Suppose p = 3*c - 21 + 6. Suppose 6*d - c*d + 2*k = 56, -3*d + 3*k = -177. Does 16 divide d?
False
Suppose -19*u + 16*u + 21 = 0. Let j = u + 13. Is j a multiple of 20?
True
Suppose -4 = 4*t + 3*q, 0*t - 4*q + 4 = -4*t. Let j = 2 - t. Is j a multiple of 3?
True
Let j = 42 + -21. Is 21 a factor of j?
True
Let j be -4 - (0/(-1) - 9). Suppose 2*h + 3*t + 95 = 0, 211 = -4*h - 4*t + j*t. Let m = -29 - h. Does 3 divide m?
False
Let p = -1222 + 1651. Is 13 a factor of p?
True
Let a(w) = -w**3 + 4*w**2 - 3*w + 3. Let c be a(3). Suppose -3*t + c*r = -2*t - 21, -3*r = 2*t - 6. Is 6 a factor of t?
False
Let p be (6/10)/((-1)/(-5)). Let d(u) = 3*u + 9 + u**3 + 3*u - 8 + 7*u**2 - p*u. Does 4 divide d(-6)?
False
Does 100 divide 234102/63 - (-72)/756?
False
Suppose 3 = -k + 10. Suppose -2*r = -k*r + 345. Is 23 a factor of r?
True
Suppose 4*i + 3*w + 27 = 0, -i = -0*w + 2*w + 8. Let x(r) = 2*r**3 + 16*r**2 + 8*r - 5. Let g be x(i). Let s = g - 65. Is 13 a factor of s?
True
Let l(k) = -2*k + 2. Let a be l(-1). Suppose -8 = a*r - 64. Suppose 4*m = 3*m + r. Is m a multiple of 3?
False
Let b = 1490 + -723. Is b a multiple of 59?
True
Let g be (-2*16 - 1) + 0. Suppose 4*p = -i + 3, 5*i + 12 = -3*p + 61. Is 7 a factor of 44/6 + i/g?
True
Let d = -21 - -56. Suppose 5*s - 10 = d. Does 3 divide s?
True
Let r(s) be the third derivative of -s**4/12 + 2*s**3 - 7*s**2. Let c be r(-9). Suppose 0 = -5*g + 4*w + 42, 4*g = 2*w - 0*w + c. Does 3 divide g?
True
Let k = -732 + 512. Let v = -130 - k. Is 9 a factor of v?
True
Let s be 10/(-4)*(-12)/15. Suppose 0 = 3*v + d - 897, -s*v - 5*d = -0*v - 611. Is 38 a factor of (-3)/(-4) - v/(-8)?
True
Is 648/((-16)/(-4)) - -4 a multiple of 4?
False
Let r = 10616 - 6746. Is 18 a factor of r?
True
Suppose -o - 2*i = -3*o + 2, o - 11 = -4*i. Suppose -3*s - 5*q = -24, -o*s - s + 3 = -3*q. Suppose 3*a + 24 = s*f, 0 = 2*f - 4*a - 7 - 3. Is f a multiple of 4?
False
Is 2*508/16 + (-1)/2 a multiple of 12?
False
Let g = -2440 - -5939. Is g a multiple of 17?
False
Let m(h) = 2*h**2 + h - 2. Let t be m(-2). Suppose 3 = t*v - 1. Does 2 divide (-8*(-4)/8)/v?
True
Let r(g) = 2*g**2 - 9*g + 11. Let m(b) = b + 5. Let o be m(6). Suppose -38 = -7*a + o. Does 23 divide r(a)?
True
Let n = -9 - -11. Suppose 28 = w + 4*s, -n*s + 74 = 2*w - 3*s. Is w a multiple of 9?
True
Let a(n) = n**2 + 7*n - 8. Let i be a(-8). Let y(k) = 2*k - 15. Let p be y(i). Is ((-72)/(-10))/(p/(-100)) a multiple of 12?
True
Suppose -5*j - 2 = t, -t - 3 = -j - 1. Is (-2 + t)*(-55)/5 a multiple of 12?
False
Suppose -d = -5*d + 100. Suppose d + 59 = 3*k. Suppose -2*z + 192 = k. Is z a multiple of 17?
False
Is (-2 + 3616/(-28))/((-66)/308) a multiple of 17?
True
Suppose -l + 53 = z, -2*l + 82 = z + 26. Is z a multiple of 10?
True
Suppose 62*b - 101 = 85. Let c be 1/1*(0 - -38). Suppose 0 = 2*f - b*r - 32, -2*r + c = 3*f - 4*r. Is f a multiple of 5?
True
Let q = 5 - 1. Suppose -10 - 2 = -q*r + 4*g, -17 = -4*r - g. Is 13 a factor of ((-10)/r)/(1/(-14))?
False
Let l = 2 + -2. Suppose -2*w + 3*w = 1. Suppose l = 2*t - 2*u - 12, 2*t - 5*u + 4 = w. Does 11 divide t?
True
Suppose -32*v + 28*v + 544 = 0. Let i = v - 39. Is 40 a factor of i?
False
Let d be 2/(-7) - (-96)/42. Suppose 0 = -d*l - 3*l. Suppose 22 = 3*b + m - 0*m, -2*b + 5*m + 43 = l. Is 9 a factor of b?
True
Let c = -3062 + 4687. Is 55 a factor of c?
False
Let l be ((-3)/3)/((-1)/2). Suppose 5*q - 4 = 3*q. Suppose -5*x = -q*a - 370, 222 = l*x + x + a. Does 19 divide x?
False
Let w(n) = -n**3 + 8*n**2 - 5*n + 4. Let r = -6 - -9. Suppose 0*s - r*s = -4*g + 14, -g + 1 = -2*s. Does 19 divide w(g)?
False
Let s(d) = d**2 - 13*d - 18. Suppose -w + 2*z - 12 = 0, 0 = -3*w - w + 5*z - 39. Let l(i) = -i**3 - 7*i**2 - 8*i