of 2/(-14) + 28857824/1288?
False
Let g(d) = d + 16. Let h be g(-11). Suppose 93 = -5*z - 4*r + 24, 0 = -h*r - 5. Let o = z - -23. Is 3 a factor of o?
False
Let c(w) = w - 5. Let i be c(9). Suppose k = -n + 7, 2*n - 3*k + i*k = 10. Suppose n*b - 5*b - p = -274, 670 = 5*b - 5*p. Does 17 divide b?
True
Let k be -7 - -12 - (-4)/((-4)/3). Suppose 0 = -k*i + 104 + 16. Is i a multiple of 3?
True
Let g(y) = -3*y - 52. Let x be g(-19). Suppose -3*m + 232 = -0*m + d, 2*m - x*d = 149. Is (-62)/(-14) + (-33)/m - -3 a multiple of 3?
False
Let b(f) = -705*f + 4001. Is b(0) a multiple of 19?
False
Let k = 18308 + -12040. Is k a multiple of 176?
False
Let b be (-14)/77 - (-70)/22. Suppose f + 2*a - 17 = 32, -b*f + 3*a = -156. Suppose 8*y - 5*k = 5*y + f, -85 = -5*y - 4*k. Is 5 a factor of y?
False
Let v(t) = t**3 + 6*t**2 - 11*t + 30. Let l be v(-10). Is 16 a factor of (l/15)/(-3*(-8)/(-2016))?
True
Suppose 10*i - 79*i = -230046. Is 62 a factor of i?
False
Suppose 0 = 9*a - 6*a + 2*b - 6644, -a + 2218 = 4*b. Suppose 0 = 14*p - 5*p - a. Is 25 a factor of p?
False
Let q(k) = -k**2 - 13*k. Let z be q(-7). Suppose z*v - 1799 = 35*v. Is 50 a factor of v?
False
Is ((-133340)/15)/(29/(-87)) a multiple of 83?
False
Suppose 3*v + 3 = 21. Suppose -v*k = -3*k - 69. Is (-5)/((1/k)/(-1)) a multiple of 19?
False
Let p be (-342)/(-4) + (-16)/(-32). Let v = -76 + p. Suppose -13*q + 54 = -v*q. Is 9 a factor of q?
True
Let q(a) = 679*a**2 - 18*a + 20. Is 34 a factor of q(4)?
True
Suppose -3*l = -w + 13, 0 = 2*w - 0*w - l - 51. Suppose 23*o = w*o - 210. Suppose -17*n + o = -15*n. Is n a multiple of 15?
False
Let q = -16848 + 29514. Is 60 a factor of q?
False
Let q be (-76)/19 - (-1 - 59). Let r = q + -31. Is 25 a factor of r?
True
Let f be (6 - 2)*(-35)/10*-191. Let j = f - 1881. Does 13 divide j?
True
Let d(l) = -l + 306. Let g be d(0). Let c = g - 93. Suppose -3*b + c = 5*q, 2*q + 3*q = -4*b + 289. Is 19 a factor of b?
True
Suppose n = 7, -3*c - 17*n + 85904 = -21*n. Does 62 divide c?
True
Let y = -11 + 11. Suppose -5*g - 15 = 0, -4*z - 3*g = -y*g - 39. Does 9 divide 9/z*(74 + -2)?
True
Suppose 18*w = -4*x + 20*w + 7624, -2*w = 5*x - 9521. Is x a multiple of 15?
True
Let f = 9014 - 3494. Is f a multiple of 276?
True
Suppose -3*d = -3*c + 97407, 129888 = -165*c + 169*c - 2*d. Is c a multiple of 124?
False
Suppose -o + 4*g + 1888 = -4707, -26401 = -4*o - 5*g. Does 11 divide o?
False
Let x(m) = -m**3 - m**2 + 4*m - 8. Is 5 a factor of x(-5)?
False
Let a(h) = -602*h - 1762. Does 5 divide a(-14)?
False
Suppose -16*h + 23*h = -26*h + 572220. Does 30 divide h?
True
Let a(b) be the first derivative of b**4/4 - 2*b**3 - 20*b**2 - 18*b + 176. Is a(13) a multiple of 15?
True
Suppose -3*w + 69 = 378. Let t(a) = 56*a - 250. Let l be t(2). Let u = w - l. Is 5 a factor of u?
True
Let q = -1342 + -1290. Let n be q/(-10) + (-24)/(-30). Suppose -19*l = -23*l + n. Does 22 divide l?
True
Suppose 2*x = -2*y - 4444, 7*x + 11110 = 2*x + 2*y. Let n be 3/2*x/(-33). Suppose 3*t - j = 109, 3*t - t - n = -5*j. Is t a multiple of 15?
False
Let r = -2680 - -4135. Is 97 a factor of r?
True
Suppose -3*b = -3*q - 252, -2*b - 5*q = -0 - 182. Suppose 3*s = -4*x + b, -s + 2*s = -2*x + 26. Let z = -16 + s. Is 3 a factor of z?
True
Let q be 80/(1/(-2) + 50/20). Suppose 5*b + 45 + q = v, -5*v + 521 = -b. Is 101 a factor of v?
False
Let m(r) = -r**3 - 33*r**2 + 81*r - 202. Does 9 divide m(-37)?
True
Let z be -1285*(-21)/245 - (-1)/(-7). Suppose 4*f = 2*q - 142, -4*f + z = -3*q + 327. Is 2 a factor of q?
False
Suppose -5*y - 2*i + 72343 = -129178, -3*y = -2*i - 120919. Does 15 divide y?
True
Let p be -5 - -20 - (0 + 3)/(-3). Suppose -494 - 194 = -p*r. Is r a multiple of 43?
True
Does 29 divide 16510/1905*(0 - (-174)/4)?
True
Does 72 divide ((-36)/(-4) - (31 - 14)) + 9518?
False
Let s = 11 - -17. Let w be (-1 + 1)/1 - (s - -24). Let m = 79 + w. Is m a multiple of 4?
False
Let u(m) = 49*m**3 + 4*m**2 + 13*m + 28. Let z(i) = 74*i**3 + 6*i**2 + 19*i + 42. Let l(s) = -8*u(s) + 5*z(s). Let p be l(-3). Does 21 divide p/4 - (-5)/(-20)?
True
Suppose -5*z - 8*i = -6*i + 217, 4*i - 106 = 2*z. Is 25 - (z/(-18) + 3/(-2)) a multiple of 8?
True
Let a be (-5548)/(-22) - (-6 + 136/22). Suppose 97*s = 99*s - a. Is s a multiple of 3?
True
Suppose 71*a - 18 = 72*a. Let h(z) = -15*z - 46. Does 8 divide h(a)?
True
Let l be (1 - (-282 + 0))/(-1). Let r = l + 487. Is 68 a factor of r?
True
Suppose -48*u - 39361 = -427969. Does 92 divide u?
True
Let v(k) = 873*k + 939. Does 52 divide v(6)?
False
Suppose -4*l + 285 = -9*l. Let b = -54 - l. Is 21 a factor of 1*-82*b/(24/(-4))?
False
Suppose -43*s + 466440 = -13*s. Is s a multiple of 176?
False
Let f be (-6)/27 - 64/36. Let b be (-12)/9*(35/f + 1). Let y(g) = -g**3 + 23*g**2 - 19*g + 26. Is y(b) a multiple of 8?
False
Suppose 90 = -6*n - 78. Does 18 divide 207 - 7/(n/8)?
False
Let j(c) = c**3 + c**2 + 24*c + 480. Is j(21) a multiple of 52?
False
Let m be (-15)/60 - ((-138)/8 - -2). Suppose -i + 2 = -2*u - 8, 0 = -3*u - m. Suppose i = 2*p + k - 219, 5*p = -0*p + k + 544. Is 20 a factor of p?
False
Suppose -861*v + 863*v - 37650 = -5*q, -4*q - 37704 = -2*v. Does 20 divide v?
True
Let w be (40 - 37)*(-6692)/6. Is (-7)/(14/4) + w/(-7) a multiple of 14?
True
Let o(k) = -2*k**3 + 2*k**2. Let q(v) = 2*v - 32. Let n be q(15). Let t be o(n). Let p(g) = -g**3 + 25*g**2 - 16*g + 10. Does 18 divide p(t)?
False
Suppose -1530 = -2*y - 4*v, -4*v - v - 1494 = -2*y. Let o = -530 + y. Does 5 divide o?
False
Let r(j) = 5*j**3 + 2*j - 2. Let k be r(1). Suppose -3*v = 2*d + 35, -k*d = -3*d - 2*v + 20. Let y = d - -37. Is y a multiple of 12?
True
Suppose 4*j + 12 = 0, 4*j + 13 = -2*w + 1. Let l(q) = 5*q - 4*q - 3*q**3 + 64 + 4*q**3 + 33*q**2 - 35*q**2. Is l(w) a multiple of 37?
False
Suppose 38565 + 3059 = -22*r. Let m = -992 - r. Is 13 a factor of m?
False
Let b(t) = t**2 + 7*t - 16. Let n be b(-9). Suppose h = -2*d + 16, 2*h = -d + n*d + 37. Does 3 divide h*1*(-2)/(-4)?
True
Suppose 4*m - 2*w - 125360 = 0, 156702 = 5*m + 26*w - 29*w. Does 18 divide m?
True
Suppose 90*b = 86*b + 312. Suppose -2*p - 2*p - 94 = -5*f, -3*f - 3*p + b = 0. Is (-4)/18 + f/18 + 65 a multiple of 18?
False
Is 7 a factor of (-49588)/(-21)*2/(12/9)?
True
Let v = -152 - -165. Let d(b) = -b**3 + 13*b**2 + 16*b + 35. Does 30 divide d(v)?
False
Suppose 39*b - 24*b - 43320 = 0. Is 76 a factor of b?
True
Let v = -14477 - -22420. Is v a multiple of 28?
False
Let c(z) = 1695*z + 3708. Is c(16) a multiple of 28?
True
Suppose -5*a = -6*a + 2, 5*a = 3*d + 1. Suppose 0 = -3*y + 2*q + 527, -d*q - 176 = -y - 2*q. Suppose 4*x - y = 325. Is 25 a factor of x?
True
Suppose -4*o - 14 + 42 = -n, -5*o = -2*n - 38. Suppose -o*a - 9 = -33. Suppose -3*v = a*w - 38 - 942, v + w = 326. Is v a multiple of 27?
True
Suppose 9*f - 4*f + 20 = 0. Let m be -236*(-1)/4 + 0 + f. Suppose c = 2*s - 23, s + 5*c = 5*s - m. Is 3 a factor of s?
False
Let h be (8/5)/((-2)/30). Let s be h/60 - (-12)/5. Does 13 divide s/4 + (-1170)/(-12)?
False
Let u(n) = -21*n + 402. Let f be u(0). Suppose -640 = -f*v + 401*v. Is v a multiple of 10?
True
Let r(f) = -f**2 + 64*f - 818. Does 3 divide r(40)?
False
Suppose 3*t - 26*t = -92. Suppose -1144 = -t*k - 12. Does 42 divide k?
False
Let w(l) = -79*l - 6. Let k(z) = -720*z + 10. Let y(r) = 80*r - 1. Let n(v) = -6*k(v) - 55*y(v). Let q(b) = -6*n(b) + 5*w(b). Is q(1) a multiple of 19?
False
Suppose 7*b + 29 = 5*b + 5*r, -37 = 4*b - 3*r. Does 7 divide (b/4)/((-52)/1872)?
True
Let q be -14 + 7 + 2 - -275. Suppose 5*n = 2*o + q, -6*o - 5 = -5*o. Is 7 a factor of n?
False
Suppose -3*f - 48035 = -4*t + 6744, 0 = -5*t + 3*f + 68473. Is 167 a factor of t?
True
Is (7 + 9/((-396)/77))/(2/6088) a multiple of 9?
False
Suppose -5*f + 2085 = 2*i - 704, f - 559 = -i. Let j = 977 - f. Does 28 divide j?
True
Let i = -7 - -47. Is (-12)/(-10)*i/3 a multiple of 8?
True
Suppose 2*a + 124 = -5*v - 38, 0 = 2*v - 3*a + 80. Let n = v + 18. Is 48/n*61/(-6)*2 a multiple of 12?
False
Let c(a) = 2*a**2 - 116*a + 222. Does 22 divide c(71)?
True
Let v(b) be the first derivative of 2*b**2 - 5*b - 263. Suppose 0 = -q - 0*q + 26. Is v(q) a multiple of 9?
True
Is 54 a factor of ((-10)/6)/(14 - 9092/648)?
True
Let u be (-133)/14*(-1 + -3*3). Let x be ((-2)/10)/((-19)/u). Let i(