-6))/1?
True
Let l = -119 + 75. Let u = 77 - l. Is 13 a factor of u?
False
Does 39 divide 7*4662/27 - 2/(-6)?
True
Is 3/2*120/(-36) + 58 a multiple of 12?
False
Let q = -15 + 22. Suppose 181 + 89 = u. Suppose -3*r + f = -162, 3*f - u = 2*r - q*r. Is r a multiple of 18?
True
Suppose 0 = -29*r + 30*r + 51. Let s = -25 - r. Suppose -z - 5*c + 23 = -2*c, 4*c = -z + s. Is 5 a factor of z?
False
Suppose 3*h + 12 = 4*j, h - 9 = -2*h - 3*j. Suppose -4*b + 89 + 15 = 3*f, h = 4*f + 3*b - 148. Is f a multiple of 10?
True
Let s = 5 + -8. Is -2 - (2 + s)*72 a multiple of 14?
True
Suppose 39*y - 51*y + 24 = 0. Let x be 3/6*-2 - -34. Suppose -27 = -y*k + x. Is k a multiple of 7?
False
Suppose 437*f - 430*f = 3094. Is f a multiple of 34?
True
Let a(j) = -3*j**3 + 4*j**2 + j + 2. Let v be a(2). Is 21 a factor of (-10)/v*21*2?
True
Let q(i) = -i**3 + 25*i**2 - 36*i + 36. Is q(23) a multiple of 7?
True
Let j(v) = -4*v + 27. Let b(r) = -2*r + 14. Let z(n) = -5*b(n) + 3*j(n). Does 18 divide z(-7)?
False
Suppose -5*p + 2*u + 2176 = -539, 0 = 5*p + u - 2700. Is p a multiple of 9?
False
Suppose -9*r - 62 = -251. Is (-2)/3 + 1526/r a multiple of 8?
True
Let i(w) = -2*w - 6. Let k be i(-5). Let b = k - 1. Suppose 113 + 4 = b*j. Does 19 divide j?
False
Let c = -224 + 584. Does 52 divide (13 + -4 - 5) + c?
True
Suppose b + 4*p = 34 + 4, -3*b - 3*p = -141. Suppose 64 = z + b. Is z a multiple of 14?
True
Let p = 2 - 14. Let y(r) = 7*r**3 + 22*r**2 - 27*r - 24. Let h(n) = -4*n**3 - 11*n**2 + 14*n + 12. Let s(q) = -5*h(q) - 3*y(q). Is s(p) a multiple of 12?
True
Suppose 0 = -15*q + 12*q + 150. Let p = q - -40. Does 30 divide p?
True
Let f(j) = j**2 + 6*j - 5. Let a be f(-7). Let z(d) = -d - 5*d + 9*d + 2 - d. Is z(a) a multiple of 4?
False
Suppose -4*y = -467 - 397. Is y a multiple of 24?
True
Suppose 647 = 10*i - 183. Does 29 divide i?
False
Suppose -32 = 2*k - 4*b, -2*k + 0*k + 3*b - 27 = 0. Is 2 a factor of (27/(-6))/(k/16)?
True
Suppose -1 - 9 = 2*t, -3*t = f + 6. Suppose -10 = 4*j - 3*i, -5*j - f = -i - i. Let l(x) = -20*x**3 + x**2 + x. Does 7 divide l(j)?
False
Is 10 a factor of 1/1 + 133 + 707?
False
Let g be 16/(-10) + (-2)/5 - -657. Suppose g = 6*a - 185. Is 27 a factor of a?
False
Let w(z) = 3*z**2 - 50*z - 70. Is w(26) a multiple of 38?
False
Let h(q) = 6 + 7*q + 4 - 4*q. Let c be h(-3). Does 23 divide c*-1*598/(-13)?
True
Suppose 3*q - 160 = -5*u, 4*q + u - 210 = -8. Is q a multiple of 10?
True
Is -3 + 1/(4/72)*16 a multiple of 15?
True
Let l(i) = -i**3 - 2*i**2 + i - 3. Let b be -8 + 0/(-5) + 3. Let k(v) = v**3 + 6*v**2 + 5*v - 5. Let o be k(b). Is 12 a factor of l(o)?
False
Suppose -5*d = -5*s - 932 - 1793, 0 = -5*d + 2*s + 2719. Is 58 a factor of d?
False
Suppose -x = -4, 2*x - 42 = -2*h + x. Suppose 1624 = 26*s - h*s. Is s a multiple of 23?
False
Let c(r) = -9*r - 1. Suppose -5*m - 4 = 2*a - m, -2 = a - 2*m. Is 11 a factor of c(a)?
False
Let q = 12 - 17. Let t = q + -13. Let u = t - -34. Is 16 a factor of u?
True
Suppose 4*g + 2*k - 102 = 0, -k - 74 + 102 = g. Is g a multiple of 3?
False
Let f = -111 + 165. Suppose -f = -3*v - 6*v. Is 6 a factor of v?
True
Let z(c) = 2*c**2 + 19*c - 30. Let w be z(-11). Suppose w*p = -71 + 407. Is p a multiple of 16?
True
Does 10 divide 5/45 + (886690/45)/7?
False
Suppose -24*y + 242 = 26. Is 2 a factor of y?
False
Let r(n) = 2*n**2 + 14*n - 20. Let p be r(-11). Suppose 113 = 3*l - 4*z - p, -4*l = 3*z - 258. Is 7 a factor of l?
True
Let u(n) = n**3 + 11*n**2 + 4*n - 6. Let y(v) = -3*v**2 - 4*v - 5. Let s be y(-2). Is 10 a factor of u(s)?
True
Suppose 3*z + 7*p - 5113 = 5*p, 5118 = 3*z - 3*p. Is 28 a factor of z?
False
Suppose -42*a + 55*a = 4108. Does 4 divide a?
True
Let p(s) = 3*s**2 - 15*s - 13. Does 7 divide p(-5)?
False
Suppose -544 = 7*s - 2140. Is s a multiple of 50?
False
Let j be (-6)/(-27) + (-34)/(-9). Suppose -j = -w, 3*w + w + 12 = y. Is y a multiple of 7?
True
Suppose 3*z - 5*q - 1879 = 0, -141*q + 3075 = 5*z - 138*q. Does 41 divide z?
False
Suppose 0 = 2*i - 5*a - 198, -5*a = -a. Let b = -11 + i. Is 22 a factor of b?
True
Suppose 10 = -5*f - 5*o, 2*o = f - 3 - 1. Suppose f*m = -3*m, d - 3*m = 59. Does 9 divide d?
False
Let b be 8/20 - 24/(-15). Let r be 3/b*(-664)/(-12). Is 2/14 + r/7 a multiple of 6?
True
Suppose 0 = -3*p + k - 483, 2*p - 4*k = -246 - 76. Let r = -72 - p. Is r a multiple of 27?
False
Let o = 45 + -56. Let f(m) = 2*m**2 + 5*m + 3. Does 29 divide f(o)?
False
Let j(r) = -r**3 + 14*r**2 + 20*r - 17. Let k be j(15). Let m = -42 + k. Is 5 a factor of m?
False
Let q(x) = -2*x**3 - 4*x**2 + 3*x - 5. Let w be q(-6). Suppose 0 = 4*c + c + w. Let z = -38 - c. Is z a multiple of 15?
True
Is 7 a factor of 968/(-17 - -8 - -11)?
False
Let d = -46 + 66. Suppose -2*p - n + 173 = 0, -p + 2*n = 58 - 152. Let y = p - d. Is y a multiple of 34?
True
Let q(o) = -3*o**2 + 4*o + 2. Let s(c) = c**2 + 1. Let f(i) = q(i) + 2*s(i). Let m be f(3). Suppose z - m = 8. Is z a multiple of 5?
True
Suppose -841 = -2*w - 5*a + 528, -2*a + 2746 = 4*w. Is 15 a factor of w?
False
Suppose t + 3*t + 5*y - 1209 = 0, 2*t = -4*y + 600. Is 9 a factor of t?
True
Let h(l) = -5 + l**3 + 2*l - 2 + 1 - 5*l**2. Let g be h(6). Let s = g + -22. Does 9 divide s?
False
Suppose -4*r - 85 = -5*g + r, 4*r = g - 23. Is 3 a factor of (-4)/3 + 500/g?
False
Let n(c) = 33*c**3 - 5*c**2 + 2*c + 2. Is 8 a factor of n(1)?
True
Let k(w) = 295*w**2 - 10*w - 25. Is k(-3) a multiple of 70?
True
Let x = -81 - -71. Does 8 divide 2 + 26/x + 153/5?
False
Suppose 4*f = 2*g + 148, 0*f + 2*g = -4*f + 132. Let y = 44 - f. Is y a multiple of 5?
False
Let t = 127 + 146. Does 21 divide t?
True
Suppose 0 = 5*n + 25, -n + 869 + 320 = o. Is o a multiple of 6?
True
Suppose 4*i = k + 1, -5*k + k + 8 = -4*i. Let b(t) = 8 - 19 + 9 + k*t**2 + 2*t. Does 19 divide b(-3)?
True
Suppose 0 = -13*o + 8*o + 20. Suppose -73 = -r - 0*b - b, 2*b - 294 = -o*r. Is r a multiple of 28?
False
Suppose -5*t + 16 = 1. Does 11 divide -1 + 68 - (7 - t)?
False
Suppose -2*t + 25 = -t. Suppose -2*j - 3*x + 74 = t, 0 = 4*j - x - 91. Does 6 divide j?
False
Suppose 0 = n - 102 - 91. Let b = n - 48. Does 20 divide b?
False
Let f(a) = 2*a**3 - 25*a**2 - 18*a - 50. Let z(n) = n**3 - 13*n**2 - 9*n - 25. Let u(k) = -2*f(k) + 5*z(k). Is u(16) a multiple of 3?
True
Let y(x) = -x. Suppose 4*q = -2*q. Let k be y(q). Let d(n) = n**3 + 16. Is d(k) a multiple of 4?
True
Let b be 874/7 + (-4)/(-28). Let q = b + -47. Is q a multiple of 34?
False
Let n = -1883 - -4476. Is n a multiple of 118?
False
Let r(v) = v**2 + 6*v - 5. Let z be r(-7). Suppose z*w = 17 + 49. Is w a multiple of 11?
True
Suppose 2*v - 6 = z, 6 = z - v + 7. Suppose -6*h + 4*h - 5*l + 123 = 0, 4*h = z*l + 176. Is 7 a factor of h?
True
Is 64354/322 - 2/(-14) even?
True
Is 4 a factor of 30*2 - (21 + -23)?
False
Suppose -2*l - 248 = -5*z, 3*z - 254 = -2*z - 4*l. Suppose n + z = 2*n. Is 5 a factor of 18/(-4)*n/(-15)?
True
Suppose -5*b + 35 = -25. Let w = -12 + b. Let q(o) = o**3 - o**2 - o + 29. Does 15 divide q(w)?
False
Suppose -5*x + 2315 = 5*t, -6*x + 11*x - 2299 = -t. Is 17 a factor of x?
True
Let d(z) = -26*z - 11. Does 32 divide d(-18)?
False
Let w = -323 + 352. Let s = 0 + 17. Let m = w - s. Does 9 divide m?
False
Is (46 + -71)*26*-1 a multiple of 65?
True
Let d(i) = 2*i + 28. Let b = -57 - -46. Is d(b) a multiple of 3?
True
Let k = -25 - -25. Suppose k = v - 3*q - 346, 3*q - 648 = -2*v - 2*q. Suppose -5*j + v - 44 = 0. Is j a multiple of 29?
True
Let s(d) = -79*d - 49. Is s(-11) a multiple of 31?
False
Let w = -3 + 7. Suppose 3*t - 3*g + 12 = 0, 3*t - w*g + 22 - 6 = 0. Suppose -a + 2*s + t*s = -79, 267 = 3*a + 4*s. Does 27 divide a?
False
Let u(v) = -2*v + 6. Let m be u(3). Suppose 4 = -n - m. Is 1*(-92)/n + -3 a multiple of 4?
True
Let n(i) = -7*i - 60. Let t be n(-18). Suppose 150 = 3*x - t. Is x a multiple of 4?
True
Let g = 189 - 87. Let o be 6/(-1 - -7)*-2. Is 28 a factor of (o + g/(-2))/(-1)?
False
Let i(u) = 77*u**3 - u**2 - 2*u + 5. Is 39 a factor of i(2)?
False
Let m be (-4)/(-14) + (-40)/(-56). Let z be (1 - -3) + (m - 3). Is 9 a factor of z/8 - (-1881)/76?
False
Suppose -4*m = -5*b + m + 65, -4*b - 3*m + 59 = 0. Suppose 3*v - 5*v - 4*w = -4, 2*w - b = -2*v. Does 12 divide v?
True
Let h be ((-8)/10)/(20/(-450)). Is 6/(-4)*((-426)/h + 