*u + 133*u = -5*q + 74128. Is u a multiple of 25?
False
Let f = 4779 + -2620. Suppose 9*o - f - 28 = 0. Is 27 a factor of o?
True
Let h = -1418 - -2750. Is 12 a factor of h?
True
Suppose 2*b = 3*t + 3, 4*b + 0*b = 3*t + 3. Is (-44)/(-2) + (-3 - b) even?
False
Suppose 48*c + 6493 = 1074397. Is c a multiple of 122?
False
Let p = -4753 - -6564. Does 5 divide p?
False
Let m be ((-1)/2 + 1)*(36 + -24). Suppose 110 = 2*u + 2*q, m*u - 3*u + 5*q - 163 = 0. Is u a multiple of 8?
True
Let p(o) = -4*o**2 + 16*o + 49. Let q(y) = -3*y**2 + 16*y + 47. Let r(s) = -4*p(s) + 5*q(s). Is r(-20) a multiple of 13?
False
Suppose -3*g - 605 = -5*j, 0 = -j + 5*g + 100 + 21. Let o be (-1 + 2)/((-18)/72) + 78. Let t = j - o. Is 8 a factor of t?
False
Let t(u) = u**2 + u - 69080. Let d be t(0). Does 23 divide (-4)/10 + d/(-200)?
True
Does 77 divide 2 + 220 + -21 + 7?
False
Suppose -2*f - 2*w + 1092 + 5600 = 0, 0 = -5*f - 4*w + 16734. Does 5 divide f?
True
Let x be ((-1842)/15)/(2 + (-666)/330). Suppose -k + 12*k = x. Is k a multiple of 21?
False
Let v be (-4732)/(-98) - (-4)/(-14). Let f = v - 32. Is f/4 + (1 - -109) a multiple of 19?
True
Let m(h) = 104*h**2 + 153*h + 1026. Does 20 divide m(-7)?
False
Let j = 1074 + -718. Suppose -j = 4*i - 3*c - 1342, -i + 235 = 5*c. Is i a multiple of 28?
False
Let j = -47 + 22. Let u = 68 - j. Is u a multiple of 14?
False
Let r(o) = 28*o - 21. Let y(p) = p**2 + 21*p - 44. Let m be y(-23). Suppose 2*n - 3 - 11 = -m*k, 0 = -5*k - 3*n + 41. Is r(k) a multiple of 34?
False
Suppose 1559 - 542 = -4*v + 3*l, -l + 255 = -v. Let m = -186 - v. Is 10 a factor of m?
False
Suppose 3*s + 2*i = 64888, 367*s - 368*s + 21628 = 2*i. Is s a multiple of 70?
True
Let k be 3 + 9/(-3) + 0 - -9. Suppose -3*c = -z - 56, k*c + 5*z - 100 = 4*c. Let t = 47 - c. Is 4 a factor of t?
True
Let q(p) = -3*p + 24. Let r be q(7). Let l be (-1 + r)/(((-10)/3)/5). Does 19 divide -4*(l - -3 - 190/8)?
True
Let n(c) = -2*c - 2. Let t be n(9). Let z(f) = -f - 16. Let s be z(t). Suppose 2*q - 106 = -s*v, 4*v - 3*v = -q + 28. Does 22 divide v?
False
Suppose -15*v + 264 = -9*v. Does 33 divide (-3376)/v*-3 - 6/33?
False
Let y = -368 - -519. Let p = y - -761. Is 16 a factor of p?
True
Suppose 0 = 269*b - 207889 - 175436. Is 5 a factor of b?
True
Let n(l) = -138*l - 3798. Is 141 a factor of n(-97)?
True
Let n = 7 - -23. Suppose -3*k = -3*l - 90, -2*k - l = 3*l - n. Let i = 55 - k. Is i a multiple of 4?
False
Suppose 1 = 2*r - d, -r - 3*d + 13 = 9. Is 6 a factor of (r/(-3))/((-30)/22230) - 1?
True
Is 151910/990 + 8/(-18) a multiple of 25?
False
Let l be ((-20)/(-3))/((-130)/(-18) - 7). Let r be 1894/l + 11/((-825)/10). Let a = -36 + r. Is 5 a factor of a?
False
Suppose 4*k + z = -1, -3*z - 17 + 5 = 3*k. Suppose v + k = 0, -5*a - 135 = -v - 416. Does 5 divide a?
False
Let t(i) = i**3 + 110*i**2 + 130*i - 453. Does 94 divide t(-105)?
False
Let s = -15 - -11. Let d be 7005/20 + 1/s. Suppose 0 = 6*z - z - d. Is 14 a factor of z?
True
Suppose 4*m + 5*n - 683 = 0, -9*m + 511 = -6*m + 5*n. Suppose -4*h + 23 = g, 3*h + m = 5*g + 4*h. Let j = 99 - g. Does 5 divide j?
False
Does 63 divide 4/((10/1031)/10)?
False
Let u be -3 - (-231)/22*(-94)/(-3). Suppose -3*o + 7*o - 8 = 0. Suppose u = o*j + 38. Does 36 divide j?
True
Let l = -265 - 56. Let z = l + 741. Does 21 divide z?
True
Suppose -16 = -7*h + 19. Does 15 divide (1 - (-1 + h + -77)) + 1?
True
Let p = 170 + -66. Let z = 83 - p. Let g = 194 - z. Is g a multiple of 39?
False
Suppose 0 = -3*r - n + 16, -2*r - 3*r - 3*n = -20. Suppose 2*a - 3348 = -r*a. Does 12 divide a?
True
Let r = -11 + -24. Is 14 a factor of (-20)/(2/(-5) - 9/r)?
True
Let u(p) = p**3 + 4*p + 13. Let j be u(4). Let a = j - 58. Is a even?
False
Suppose -4*p = -0*p - 5*z + 97, -92 = 4*p - 4*z. Is (-6236)/p - 80/180 a multiple of 26?
False
Suppose -95*h = -96*h. Suppose h*j + 3*p = -j + 9, 20 = 4*j - 4*p. Suppose 14*o = j*o + 1024. Is o a multiple of 16?
True
Let w(n) = n**2 + 17*n - 4. Let y(m) = -5*m + 13. Let u be y(6). Let j be w(u). Is 5 a factor of j - 20/(-5) - -5?
True
Let j = 9316 + -1619. Does 22 divide j?
False
Let s(q) = q**3 + 5*q**2 - 6*q + 5. Suppose 0 = -73*w + 70*w - 18. Let n be s(w). Suppose 3*u - 59 - 70 = -3*r, 4*u = n*r + 217. Does 5 divide u?
False
Let n = 297 - 296. Suppose -5*c - 5*b + 210 = -0*c, -186 = -4*c + 5*b. Is 9 a factor of n/(c/(-8)) + 2675/11?
True
Is 123 a factor of (-3)/(-1*13/8034)?
False
Suppose 247 = 3*d + 5*j, 0 = -5*d - 3*j - j + 429. Suppose -27*i + 40 = -26*i. Is 23 a factor of 16/i*(d*4 + -1)?
False
Let i(c) = -c - 21. Let o be i(-9). Let w be -141*((-6)/(-24) - 1/o). Let n = w - -74. Is 9 a factor of n?
True
Let b = -39 + 39. Suppose -7*o + 9482 + 1102 = b. Is o a multiple of 56?
True
Let b(g) = 623*g**2 - 53*g + 54. Is 13 a factor of b(4)?
False
Let k = 269 + -263. Suppose 10*b - k*b - 1924 = 0. Is b a multiple of 32?
False
Let l = 99 + -140. Let o(j) = -j**3 + 33*j**2 - 160*j - 67. Let k be o(27). Let p = k - l. Is p a multiple of 3?
False
Let h(z) = -z**3 + 6*z**2 + 3*z - 20. Let d be h(6). Is 13 a factor of -19*(-1 - d)*-4?
False
Let q be 0 + (-2162 + -4)/(-6). Let p = q - 196. Does 11 divide p?
True
Let k(y) = 3*y - 4. Let c be k(2). Suppose -4 = -c*t + 4*i, -5*i = -5*t - i - 14. Is 29 a factor of (((-58)/(-3))/1)/((-4)/t)?
True
Suppose -2*y = t - 706, 4*t - 135*y + 136*y - 2852 = 0. Is 21 a factor of t?
True
Let y be (-15 + 24/4)/(6/4). Is 11 a factor of (1/y*-9)/(9/4422)?
True
Let x(j) = 190*j**2 - 2*j - 12. Does 4 divide x(-2)?
True
Suppose 17*r - 18 = 33. Suppose -r*x = 3*j - 183, -5*j + 3*x + 265 = -j. Is j even?
True
Let a(x) = -x**3 - 7*x**2 - 3*x - 3. Let g be a(-7). Let u(v) = -4*v - 5*v + g - 27. Is u(-3) a multiple of 5?
False
Let z(l) = -l**2 - 12*l + 4. Suppose 11*w = 14*w + 18. Let i be z(w). Is 9 a factor of 2 + i/(-15)*-6?
True
Suppose 5*c - 6193 = -2*v, -8*v + 2475 = 2*c - 5*v. Does 25 divide c?
False
Let w(j) = 81*j + 115. Let x be w(-5). Let o = -150 - x. Does 8 divide o?
False
Let d = 111 + -109. Suppose 4*p + 3*i - 1188 = 0, -p + d*i = -2*p + 297. Is 27 a factor of p?
True
Let k(r) be the first derivative of r**2 - 46*r + 22. Let v be k(22). Is (10 + -9)/(v/(-88)) a multiple of 44?
True
Let x be -4 + 0 - 13/((-78)/4068). Let z = -233 + x. Is z a multiple of 23?
False
Let d be ((-3)/(-9) + 1)*(-738)/(-4). Let h = d - 201. Does 5 divide h?
True
Let n = 243 + -7. Let v = n - 89. Suppose 0 = 11*z - 763 + v. Is 4 a factor of z?
True
Let u(k) = k**3 - k**2 + 3*k + 2. Let i be u(0). Suppose -3*j + 5*r = j - 41, -i*j = r - 3. Suppose -j*y + 102 + 34 = 0. Is y a multiple of 34?
True
Suppose 27 - 27 = -q. Let x be (-3)/(-12)*q*-1. Suppose -s + 4*z + x*z + 2 = 0, 4*z - 12 = 0. Does 14 divide s?
True
Is (-6 - 30)/((-13500)/(-4504) + -3) a multiple of 4?
True
Let s be (2 + -3)/(1/452). Is 13 + -7 + s/(-2) a multiple of 8?
True
Suppose 3*q - 5 = -5*p, 4*q = 5*q + p - 1. Suppose q = 4*u - 9*u + 360. Is u a multiple of 12?
True
Does 119 divide 22/(-2) + (-18 + 28 - -21421)?
True
Does 15 divide -4 + -8 + 23 + 12475?
False
Suppose -11470 = 4*l - 11*l - 3*l. Does 41 divide l?
False
Let q(s) = -s**3 + 28*s**2 + 129*s - 34. Let z be q(32). Does 13 divide (20/(-6) - z)/(14/(-6846))?
False
Let f(w) = w**3 - 9*w**2 + 17*w - 2. Let k = 39 + -47. Let q = 0 - k. Is f(q) a multiple of 4?
False
Suppose -14 = g + 3*y, -2*g - 27 = -4*y + 1. Let d be 18/5 - g/35. Suppose -a = -d*a + 156. Is a a multiple of 21?
False
Does 21 divide 7948*10/40 + 3/1?
False
Let w = 30 + -72. Suppose 298 - 1530 = -8*m. Let y = m + w. Is 26 a factor of y?
False
Suppose 0 = 4*x - 2*c - 12, -2 - 9 = -3*x + c. Suppose 4*u + 165 + 186 = x*z, 4*z - 272 = u. Does 11 divide z?
False
Let r = -194 - -6202. Suppose 395*t = 403*t - r. Is t a multiple of 49?
False
Suppose -2*x + 6 = 0, -4*t - 2*x + 6*x = -84. Let z be (5 + 2)*t/21. Suppose -z*g - 176 = -10*g. Is g a multiple of 16?
False
Is 9 a factor of 16285924/2669 + (-4)/(-34)?
True
Suppose -56*h = -60*h + 12, -4*h - 3387 = -v. Is 27 a factor of v?
False
Let d(c) = 4*c**2 + 20*c + 3. Let p be d(-6). Let g = p + -23. Suppose -6*u = -g*u - 246. Is u a multiple of 15?
False
Let r be 1/4 - 1780/16. Let j = r - -127. Is 8 a factor of j?
True
Let f be 2/11 - ((-522)/33 - 4). Let n(c) = 7*c - 1. Let j be n(5). Let q