 13*v - 10. Let n be u(12). Suppose -3*b + 45 = n*y, -2*y - 3*b + b + 46 = 0. Does 24 divide y?
True
Suppose -2035 = -20*n + 2565. Is n a multiple of 23?
True
Suppose -3*x - 5*i - 11 = 0, 3*x = 4*i - 12 - 44. Let k be 34/3*(-18)/x. Let d = k + 16. Is 13 a factor of d?
False
Suppose -4*q - 5*q = 1062. Let u = -70 - q. Is 13 a factor of u?
False
Suppose 3*m + 288 = 3*n, -677 = -5*n + 2*m - 206. Does 3 divide n?
True
Let q(c) = -3 + 4*c - 3 - 4*c - 2*c. Let m be q(-5). Let v(f) = 12*f - 2. Is 23 a factor of v(m)?
True
Let k(v) = 2*v**2 + 10*v + 3. Let o be k(-5). Suppose o*g + 3456 = g. Is g/(-60) - 2/(-10) a multiple of 23?
False
Let m = -94 + 98. Suppose m*h + 371 = 11*h. Is h a multiple of 13?
False
Suppose 4*s - 16 = 4*w, -s = 5*w - w - 19. Suppose -4*u = 5*f + s, -u - 2 = 4*f + 8. Is u - 5 - (-18 + 0) a multiple of 9?
False
Let d = 1494 - 290. Does 14 divide d?
True
Let q = -78 + 121. Suppose -5*k + q = -4*k - 4*i, -i = -4*k + 112. Is -1*(-6)/(-3) + k a multiple of 17?
False
Let t be 2 + 3 + -4 + 2. Let g = 246 + -51. Suppose g + 102 = t*r. Does 28 divide r?
False
Is 1/(11077/(-1584) - -7) a multiple of 20?
False
Let m(b) = 4*b - 5. Let x be m(6). Let a = -9 + x. Does 5 divide (-288)/(-15) - 2/a?
False
Suppose 0 = 32*x - 27*x + 420. Let g = -36 - x. Is 16 a factor of g?
True
Suppose 11 = f + 43. Does 20 divide -1*2/8 - 6408/f?
True
Let u be (-6)/(-21) + 1054/(-14). Let a = u + 119. Does 11 divide a?
True
Let l = 204 - 144. Is l a multiple of 30?
True
Let c(y) = y**3 + 15*y**2 - 15*y + 16. Let b be c(-16). Is 14 a factor of (b + -1)*1*-29?
False
Let r(y) = y**3 + 20*y**2 + 13*y + 49. Does 36 divide r(-16)?
False
Does 35 divide 1*-4 + (547 - 14)?
False
Suppose -4*v = 3*p + 2*p - 138, 5*p = 2*v - 84. Let l be v - (9/3)/(-1). Let r = 112 - l. Is r a multiple of 24?
True
Suppose 24*n + 2*q + 76 = 26*n, -2*n = -q - 77. Suppose -5*u = -0*u + 85. Let k = u + n. Does 15 divide k?
False
Suppose -5*l - 350 = -5*q, l + 66 = q + 4*l. Is 12 a factor of q?
False
Let a be ((-6)/(-4) - 2)*-4. Suppose -2*j - 64 = -w, 4*j + 7*w = a*w - 142. Is (j/(-6))/((-1)/(-6)) a multiple of 11?
True
Suppose -l + 4*w = -154, 5*w + 2 = -3. Does 6 divide l?
True
Suppose -5*u + 16 = -9. Suppose -4*y - 95 = -u*y. Is 16 a factor of y?
False
Suppose 4*z + 5*w - 180 = w, 3*z - 3*w - 141 = 0. Suppose 0 = -z*v + 51*v - 240. Is v a multiple of 7?
False
Let w = -20 + 41. Let l = w + 97. Is 45 a factor of l?
False
Suppose 4*n + 4*a = -0*a + 356, -2*n = -a - 163. Let c be 3 + (10 + 0 - -2). Does 19 divide (-2 - n/c)*-10?
True
Suppose 3*a - n = -5*n, -2*n = -2*a - 14. Let x(i) = i**2 - 15*i + 12. Let u be x(14). Does 2 divide a/(-2) + 4 + u?
True
Is (-7)/(49/(-714)) - 7 even?
False
Suppose 1224 = 4*m - 1564. Does 15 divide m?
False
Suppose 5*r - 387 = -2*d + 1829, -d = -3. Does 26 divide r?
True
Let l = -42 - -31. Let d = -11 - l. Suppose d = 2*t - 84 + 24. Does 10 divide t?
True
Let m(x) = 52*x**2 + 4*x + 8. Does 8 divide m(-2)?
True
Let b(a) = 29*a**2 - 5*a - 39. Is 89 a factor of b(-4)?
True
Suppose 0*f - 67 = -4*i + f, 0 = -4*i - 4*f + 92. Let x = i - 15. Suppose 3*j - 4*j - x*d + 15 = 0, -3*d + 9 = 0. Does 3 divide j?
True
Let q(h) = -2*h + 6. Let y be q(2). Suppose -c - z - 33 = 0, 2*c = c + y*z - 30. Let k = 88 + c. Is k a multiple of 8?
True
Let y(r) = 21*r - 12. Let f be y(8). Suppose 7*g - f + 2 = 0. Suppose -g*s = -26*s + 392. Does 14 divide s?
True
Suppose d - 864 = -8*d. Is 3 a factor of d?
True
Suppose 3*b = -4*b + 490. Is b a multiple of 5?
True
Suppose 39*q - 40*q = -1080. Does 18 divide q?
True
Let t(h) = -h**3 - 24*h**2 + 118*h + 55. Is t(-30) a multiple of 99?
False
Is 12 a factor of 8/(-20) - 6935/(-25)?
False
Let a(l) = 14*l**2 + 4*l + 2. Let c be a(-4). Suppose -6*u + 5*n + c = -u, -3*n = 4*u - 182. Is u a multiple of 11?
True
Suppose -4*p = -7*p - 2*c + 159, 205 = 4*p + 5*c. Suppose 4*f - 3*f - p = 0. Is f a multiple of 14?
False
Let u = -21 + 28. Does 8 divide 3/u + 1 + (-316)/(-14)?
True
Suppose -2*m = -n - 3, -4 = 2*m - 3*n + 3. Suppose 27 = m*d - 77. Is 17 a factor of d?
False
Suppose 0 = -10*r + 2095 + 2275. Is r a multiple of 5?
False
Let p(v) = v**2. Let u be p(2). Suppose 0 = 5*i - 4*i + m - 185, u*m + 205 = i. Does 19 divide (-2)/(-1 - i/(-195))?
False
Is 8 a factor of (((-20)/25 + 2)*-80)/(-1)?
True
Let f = -120 + 175. Does 16 divide f?
False
Let n = -258 - -292. Does 4 divide n?
False
Let m = -519 + 544. Is m a multiple of 4?
False
Let n(z) = -z**2 - 8*z + 5. Let a(y) = y**3 - 11*y**2 - 2*y + 11. Let k be a(11). Let s be n(k). Is ((-144)/s)/((-9)/(-42)) a multiple of 12?
True
Let k(h) = -h - 1. Let l(z) = 8*z - 21*z - 26*z. Let v(x) = -6*k(x) + l(x). Is 18 a factor of v(-2)?
True
Let a(t) = -t**2 + 8*t - 5. Let p be a(5). Let u be (-364)/(-10) + (-4)/p. Suppose 0 = 4*x - 4*l + 2*l - u, -x + 18 = 4*l. Is x a multiple of 7?
False
Suppose 6*y - 3*w = 1494, -3*y = -5*w + 69 - 823. Is y a multiple of 14?
False
Suppose 0 = 2*y - 3*i - 15, i + 5 = 2. Let m be 17/51*(y - 0). Does 2 divide (-6 + 9)*3/m?
False
Let f = -336 - -676. Is 17 a factor of f?
True
Let z(w) = -4*w + 10. Let r be 2/3 - 96/9. Let j be z(r). Suppose -3*h + 3*c + 2*c + j = 0, c = -4*h + 59. Is 5 a factor of h?
True
Let i(z) = -4*z**2 + 174*z - 60. Is i(42) a multiple of 16?
True
Let t be (-4)/18 + 380/90. Suppose -92 = l - t*l + 2*j, 2*j = -2. Does 10 divide l?
True
Let w(g) = 11*g - 42. Let u be w(12). Suppose -5*h - 20 = -o, 2*h = 3*o - 3*h - u. Is 11 a factor of o?
False
Let q(y) = -y**3 - 1. Let t(l) = 6*l**3 - 7*l**2 - 12*l + 20. Let w(m) = -5*q(m) - t(m). Suppose -4*z = -z - 24. Is w(z) a multiple of 17?
True
Let q(s) = 16*s**2 - 5*s + 3. Let f(r) = 4*r**2 - r + 1. Let w = -6 - -4. Let l(m) = w*q(m) + 9*f(m). Is l(-4) a multiple of 21?
True
Suppose -5*a + 371 + 514 = 0. Suppose 0 = -y - 2*y + a. Suppose 2*m - 4*o + 116 = 6*m, -y = -2*m - 3*o. Does 9 divide m?
False
Suppose 2728 = 17*l - 2304. Is l even?
True
Let v = 2 - -5. Suppose m = -2*i + v + 69, -344 = -5*m + 2*i. Does 13 divide (-2)/7 + 2680/m?
False
Let p(f) be the second derivative of f**4/12 - f**2 + 17*f. Is p(4) a multiple of 7?
True
Let t(l) = 31*l - 26. Let u be t(-9). Let n = u + 547. Does 11 divide n?
True
Let r be 50 + 2 + (6 - 4). Suppose 5*b - 2 - 8 = 0. Suppose -c = 3*q - 97, -r = -q + 6*c - b*c. Is 13 a factor of q?
False
Let w be -3*(-6)/(-9)*-1. Is 11 a factor of 21/w - (-3)/6?
True
Suppose 0 = -4*u + 66*u - 166408. Is u a multiple of 11?
True
Let q(n) = -2*n**2 + 3*n + 623. Is 7 a factor of q(0)?
True
Let f(i) = -18*i. Let p(l) = 9*l. Let t(j) = 3*f(j) + 7*p(j). Is 18 a factor of t(2)?
True
Is 26/(-3)*(-315)/6 a multiple of 35?
True
Suppose -2*n + 3 = -n. Suppose -97 = -n*a - 37. Does 4 divide a?
True
Let z(c) = -357*c**3 - 15*c**2 + 2*c + 3. Does 14 divide z(-2)?
False
Let m = -1 + 5. Suppose m = -v + 1, -58 = -4*k - 2*v. Is 2 a factor of k?
True
Let z be 2 + -3 + (16*3 - 5). Does 44 divide z*-2*-1 + 4?
True
Suppose -7*l = -8*l + 160. Let k = -16 + 76. Suppose k = v - 3*a, l = 2*v - 4*a + 30. Is 22 a factor of v?
False
Let d = -7 + 9. Suppose -3*y - d*h + 63 = 0, 23 = y + y - 5*h. Is y a multiple of 12?
False
Suppose 4*t = 2*x - 4*x - 280, 277 = -2*x - 5*t. Is (9/6)/((-3)/x) a multiple of 9?
False
Suppose 4*s = -3*s + 84. Let y be 3/s - (-23)/4. Suppose -g = -2*p - y, -4*g - 7 + 40 = -5*p. Is g a multiple of 3?
True
Let r = 1154 + -416. Is r a multiple of 34?
False
Let o be (2/(-8))/((-2)/56). Let j(c) = c**2 + 6*c - 17. Does 27 divide j(o)?
False
Let y be 3/(-15) + 252/10. Let b = y + -38. Let n = b - -25. Is 12 a factor of n?
True
Let z be (-155)/(-15) - 2/6. Let h = -10 + z. Suppose -4*v + 120 = -h*v. Is v a multiple of 9?
False
Suppose -n + 122 = 3*m, 4*m + 4*n - 201 = -m. Let q = -28 + m. Is q a multiple of 6?
False
Suppose 3*z - 160 = -5*z. Suppose z = -4*a, -197 = -4*s + 3*a + 2*a. Does 4 divide s?
False
Suppose -2*i + 178 = 52. Does 7 divide i?
True
Let m be (0 + 0 + 0)/1. Suppose m = s - 2*u - 1, 2*u = 3*s + 3*u - 10. Is (s - 1)*93/6 a multiple of 10?
False
Let f be 48/(-168) - (256/(-14))/1. Let n(m) = m. Let o be n(-3). Is 9 a factor of (-220)/(-24) + o/f?
True
Let g(c) = 2*c. Let m be g(0). Suppose 2*n + 13 = 5*y, m*y + 2*y - 2 = 4*n. Suppose -3*l + 5*o + 13 = 0, 2*l = y*o + 1 + 8. Does 3 divide l